Kurs:Algebraische Kurven (Osnabrück 2025-2026)/Arbeitsblatt 27

Übungsaufgaben

Aufgabe

Inwiefern kann man in der algebraischen Geometrie durch $0$ teilen?

Aufgabe

Definiere eine Äquivalenzrelation auf der Menge ${𝔸}_K^{n+1}\setminus \{0\}$ derart, dass der Quotient unter der Äquivalenzrelation der projektive $n$-dimensionale Raum ist.

Aufgabe

Es seien  $P=(a_0,\dots ,a_n)$  und  $Q=(b_0,\dots ,b_n)$  Punkte im projektiven Raum ${\mathbb{P}}_K^n$ über einem Körper $K$. Zeige, dass  $P=Q$  genau dann gilt, wenn  $a_i{b}_j-a_j{b}_i=0$  für alle $i,j$ gilt.

Aufgabe

Es sei  $P=(a_0,\dots ,a_n)\in {\mathbb{P}}_K^n$  ein Punkt im projektiven Raum. Zeige, dass es eine offene affine Umgebung  $U\cong {𝔸}_K^n\subset {\mathbb{P}}_K^n$  derart gibt, dass $P$ in diesem affinen Raum dem Nullpunkt entspricht.

Aufgabe

Es sei ${\mathbb{P}}_K^n$ der projektive Raum der Dimension $n$ über dem Körper $K$ und seien

$D_{+}\left(X_i\right)\cong {𝔸}_K^n,D_{+}\left(X_j\right)\cong {𝔸}_K^n\subset {\mathbb{P}}_K^n$

zwei affine offene Teilmengen. Beschreibe die (nicht überall definierte) Übergangsabbildung von $D_{+}\left(X_i\right)$ nach $D_{+}\left(X_j\right)$.

Aufgabe

Man definiere den Begriff projektiv-linearer Unterraum eines projektiven Raumes ${\mathbb{P}}_K^n$.

Aufgabe

Es sei  $K={𝔽}_q$  ein endlicher Körper mit $q$ Elementen. Berechne auf zwei verschiedene Arten, wie viele Elemente der projektive Raum ${\mathbb{P}}_K^n$ besitzt.

Aufgabe

Es sei  $𝔞\subseteq K[X_1,\dots ,X_n]$  ein Ideal. Zeige, dass $𝔞$ genau dann ein homogenes Ideal ist, wenn es von homogenen Elementen erzeugt wird.

Aufgabe

Skizziere die projektive Nullstellenmenge

$V_{+}(XYZ)\subseteq {\mathbb{P}}_K^2.$

Aufgabe

Es sei $K$ ein Körper und sei ${\mathbb{P}}_K^2$ die projektive Ebene über $K$. Zeige, dass zwei projektive Geraden  $L,M\subseteq {\mathbb{P}}_K^2$  stets einen nichtleeren Durchschnitt besitzen.

Aufgabe *

Bestimme den Schnittpunkt der beiden Geraden

$L=V_{+}(6X-8Y+3Z)$

und

$M=V_{+}(2X+9Y-5Z)$

in der projektiven Ebene.

Aufgabe

Bestimme den Schnittpunkt der beiden Geraden

$L=V_{+}(7X-7Y+6Z)$

und

$M=V_{+}(8X+Y-4Z)$

in der projektiven Ebene.

Aufgabe

Man erläutere, inwiefern das Spiel „Dobble“ mit der projektiven Ebene ${\mathbb{P}}_{{𝔽}_7}^2$ über dem Körper mit sieben Elementen zu tun hat.

Aufgabe *

Erstelle ein Kartenspiel mit insgesamt sieben Symbolen und sieben Karten, wobei auf jeder Karte drei Symbole vorkommen mit der Eigenschaft, dass je zwei Karten genau ein Symbol gemeinsam haben. Tipp: Betrachte die projektive Ebene über dem Körper ${𝔽}_2$ mit zwei Elementen.

Die folgenden Aufgaben besprechen die Zariski-Topologie auf den projektiven Räumen.

Aufgabe

Zeige, dass die Zariski-Topologie auf dem projektiven Raum wirklich eine Topologie ist.

Aufgabe

Es sei $K$ ein unendlicher Körper und ${\mathbb{P}}_K^n$ der projektive Raum. Charakterisiere die homogenen Ideale $𝔞$, für die  $D_{+}(𝔞)=\mathrm{\varnothing }$  ist.

Aufgabe

Es sei $K$ ein unendlicher Körper. Zeige, dass der projektive Raum ${\mathbb{P}}_K^n$ irreduzibel ist.

Aufgabe

Es sei  $D_{+}(L)\cong {𝔸}_K^n\subseteq {\mathbb{P}}_K^n$,  wobei $L$ eine homogene Linearform im zugehörigen Polynomring $K[X_0,\dots ,X_n]$ sei. Zeige, dass die Zariski-Topologie auf dem projektiven Raum die Zariski-Topologie auf dem affinen Raum induziert.

Aufgabe *

Zeige, dass unter der Kegelabbildung

$\pi :{𝔸}_K^{n+1}\setminus \{0\}⟶{\mathbb{P}}_K^n$

die Beziehung

${\pi }^{-1}(V_{+}(𝔞))=V(𝔞)\cap ({𝔸}_K^{n+1}\setminus \{0\})$

für jedes homogene Ideal  $𝔞\subseteq K[X_0,X_1,\dots ,X_n]$  gilt. Folgere daraus, dass $\pi$ stetig in der Zariski-Topologie ist.

Aufgabe

Es sei

$Q=V(X_0^2+X_1^2+\cdots +X_n^2-1)\subset {𝔸}_{ℂ}^{n+1}$

und betrachte die Gesamtabbildung

$\phi :Q⟶{𝔸}_{ℂ}^{n+1}\setminus \{0\}⟶{\mathbb{P}}_{ℂ}^n,$

wobei hinten die Kegelabbildung steht. Ist $\phi$ surjektiv? Wie verhält sich $\phi$ zur Einschränkung der Kegelabbildung auf die reell $2n+1$-dimensionale Sphäre  $S^{2n+1}\subseteq {ℝ}^{2n+2}\cong {ℂ}^{n+1}$? 

Aufgaben zum Abgeben

Aufgabe (3 Punkte)

Bestimme den Schnittpunkt der beiden Geraden

$L=V_{+}(-3X-5Y+4Z)$

und

$M=V_{+}(7X+2Y-6Z)$

in der projektiven Ebene.

Aufgabe (3 Punkte)

Zeige, dass zwei verschiedene Punkte $P$ und $Q$ in der projektiven Ebene eindeutig eine projektive Gerade definieren, auf der beide Punkte liegen. Wie berechnet man die Geradengleichung aus den Koordinaten der Punkte?

Bestimme die homogene Geradengleichung für die beiden Punkte $(2,3,7)$ und $(1,5,-2)$.

Aufgabe (3 Punkte)

Es sei ${\mathbb{P}}_K^n$ ein projektiver Raum der Dimension $n$ und es seien  $X,Y\subseteq {\mathbb{P}}_K^n$  projektiv-lineare Unterräume der Dimension $r$ und $s$. Es sei  $r+s\ge n$.  Zeige, dass dann  $X\cap Y\ne \mathrm{\varnothing }$  ist.

Aufgabe (3 Punkte)

Es sei $K$ ein unendlicher Körper und sei $P_1,\dots ,P_m$ eine endliche Ansammlung von Punkten in einem projektiven Raum ${\mathbb{P}}_K^n$. Zeige: Dann gibt es eine homogene Linearform  $L\in K[X_0,\dots ,X_n]$  derart, dass all diese Punkte auf der durch $L$ definierten offenen Teilmenge $D_{+}(L)$ liegen.

Aufgabe (3 Punkte)

Es sei  $𝕂=ℝ$  oder $=ℂ$. Es sei  $H\subset {𝕂}^{n+1}$  ein $n$-dimensionaler affiner Unterraum, der den Nullpunkt nicht enthält, und es sei $\tilde{H}$ der dazu parallele Unterraum durch den Nullpunkt. Es sei  $U\subseteq H$  eine in  $H\cong {𝕂}^n$  offene Menge (in der metrischen Topologie) und es sei $V$ die Vereinigung aller Geraden durch den Nullpunkt und durch einen Punkt von $U$. Zeige, dass der Durchschnitt von $V$ mit ${𝕂}^{n+1}\setminus \tilde{H}$ offen ist.

Die nächste Aufgabe benötigt noch die folgende Definition:

Für ein homogenes Ideal $I$ in  $R=A[X_0,\dots ,X_n]$  mit der Standardgraduierung definiert man die Sättigung (oder Saturierung) von $I$ als

$\{r\in R\mid \text{es existiert ein }n\text{ mit }r\cdot (R_{+}{)}^n\subseteq I\}.$

Dabei ist $R_{+}$ das irrelevante Ideal  $\underset{d\ge 1}{⨁}{R}_d=(X_0,\dots ,X_n)$. 

Aufgabe (3 Punkte)

Es sei $A$ ein kommutativer Ring und  $R=A[X_0,\dots ,X_n]$  der Polynomring mit der Standardgraduierung. Zeige, dass die Sättigung eines homogenen Ideals $I$ wieder ein homogenes Ideal ist.