scientific article; zbMATH DE number 1164962
Diese Arbeit ist im wesentlichen identisch mit der Diplomarbeit des Autors. Man kann sich das sphärische Spektrum als ein reelles Analogon zum projektiven Spektrum eines graduierten Ringes vorstellen, so wie es das reelle Spektrum eines kommutativen Ringes zum Zariskispektrum ist. Diesem Übergang entspricht in der reellen algebraischen Geometrie der Übergang vom projektiven Raum über einem reell abgeschlossenen Körper zur Sphäre. Warum macht man diesen dort? Im projektiven Raum repräsentieren \((x_0, \dots, x_n)\) und \((-x_0, \dots, -x_n)\) denselben Punkt. Es macht daher keinen Sinn, nach der Menge \(\{f (x_0, \dots, x_n)>0\}\) zu fragen, wenn \(f\) ein homogenes Polynom von ungeradem Grad ist. -- Die Definition des sphärischen Spektrums geht auf \textit{G. Stengle} und \textit{H. Yousef} zurück, deren Artikel [in Geom. Dedicata 52, No. 2, 195-208 (1994; Zbl 0821.14003)] Grundlage dieser Arbeit ist. Sie nennen eine Ordnung \(P\) eines positiv graduierten Ringes \(S\) homogen, wenn mit \(a\) auch der Leitterm von \(a\) in \(P\) liegt. Das sphärische Spektrum ist dann die Menge aller relevanten homogenen Ordnungen. Eine homogene Ordnung \(P\) heißt dabei relevant, wenn \(P \nsupseteq S_+\) ist. In Abschnitt 1 fassen wir kurz einige Eigenschaften des topologischen Raumes \(\text{Spher} (S)\) zusammen, wie man sie in der zitierten Arbeit von Stengle und Yousef und im Skript ``Das sphärische Spektrum von \textit{M. Knebusch} findet. Aus dieser Arbeit von Knebusch übernehmen wir auch den Begriff des Positionshomomorphismus, der sich bei uns als zentral erwies, denn, wie sich die Punkte des reellen Spektrums eines kommutativen Rings durch Ringhomomorphismen in reell abgeschlossene Körper beschreiben lassen, so lassen sich hier mit ihm die Punkte des sphärischen Spektrums bestimmen. Das projektive Spektrum läßt sich bekanntlich durch Zariskispektren offen überdecken. Wir bekommen also eine Analogie: Für jeden positiv graduierten Ring läßt sich das sphärische Spektrum offen durch reelle Spektren überdecken. Sphärisches und projektives Spektrum hängen eng zusammen. Für einen positiv graduierten Ring \(S\), der als \(S_0\)-Algebra von \(S_1\) erzeugt wird, geben wir eine neue Beschreibung des sphärischen Spektrums vermöge des projektiven: \(\text{Spher} (S)\) läßt sich nämlich mit der Menge aller Tripel \(({\mathfrak p}, f,T)\) mit \({\mathfrak p} \in \text{Proj} (S)\), \(f\in S_1 \setminus {\mathfrak p}_1\) und \(T\) Anordnung von \(k_0({\mathfrak p}): =(\text{Quot} S/{\mathfrak p})_-\) identifizieren (modulo einer Äquivalenzrelation). Später verwenden wir dann diese Beschreibung, um für ein Schema \(X\) und eine graduierte \({\mathcal O}_X\)-Algebra \({\mathcal S}\) ebenfalls ein sphärisches Spektrum zu konstruieren.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4396186)
