Kurs:Algebraische Kurven/13/Klausur mit Lösungen

Aufgabe	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	${}\sum$
Punkte	3	3	7	4	10	5	3	0	5	2	0	5	4	3	2	56

Aufgabe (3 Punkte)

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Der affine Raum.
2. Eine rationale Parametrisierung einer affin-algebraischen Kurve ${}V(F)\subseteq {\mathbb {A} }_{}^{2}$.
3. Ein Morphismus ${}{\psi }\colon Y\rightarrow X$ zwischen quasiaffinen Varietäten.
4. Ein lokaler Ring.
5. Der Singularitätsgrad zu einem numerischen Monoid ${}M\subseteq \mathbb {N}$.
6. Das Nullstellengebilde zu einem homogenen Ideal ${}{\mathfrak {a}}\subseteq K[X_{0},\ldots ,X_{n}]$.

Lösung

1. Man nennt ${}{{\mathbb {A} }_{K}^{n}}=K^{n}$ den affinen Raum über ${}K$ der Dimension ${}n$.
2. Zwei rationale Funktionen ${}\varphi _{1}={\frac {P_{1}}{Q_{1}}}$ und ${}\varphi _{2}={\frac {P_{2}}{Q_{2}}}$ mit ${}P_{1},P_{2},Q_{1},Q_{2}\in K[T]$, ${}Q_{1},Q_{2}\neq 0$, heißen eine rationale Parametrisierung der algebraischen Kurve ${}V(F)$, wenn

   ${}F(\varphi _{1}(T),\varphi _{2}(T))=0\,$

   ist und ${}(\varphi _{1},\varphi _{2})$ nicht konstant ist.

3. Eine stetige Abbildung

   ${\psi }\colon Y\longrightarrow X$

   heißt Morphismus, wenn für jede offene Teilmenge ${}U\subseteq X$ und jede algebraische Funktion ${}f\in \Gamma (U,{\mathcal {O}})$ gilt, dass die zusammengesetzte Funktion

   $f\circ {\psi }:{\psi }^{-1}(U)\longrightarrow U{\stackrel {f}{\longrightarrow }}{\mathbb {A} }_{K}^{1}$

   zu ${}\Gamma ({\psi }^{-1}(U),{\mathcal {O}})$ gehört.

4. Ein kommutativer Ring ${}R$ heißt lokal, wenn ${}R$ genau ein maximales Ideal besitzt.
5. Man nennt die Anzahl der Lücken, d.h. der natürlichen Zahlen ${}\mathbb {N} \setminus M$, den Singularitätsgrad von ${}M$.
6. Man nennt

   $V_{+}({\mathfrak {a}})={\left\{P=(x_{0},\ldots ,x_{n})\in {\mathbb {P} }_{K}^{n}\mid F(P)=0{\text{ für }}{\text{alle homogenen }}F\in {\mathfrak {a}}\right\}}\,$

   das projektive Nullstellengebilde zu ${}{\mathfrak {a}}$.

Aufgabe (3 Punkte)

Formuliere die folgenden Sätze.

1. Der Satz über die polynomiale Parametrisierung einer ebenen Kurve.
2. Der Satz über die Überdeckung und das Einheitsideal.
3. Der Satz über die Schnittmultiplizität und die Multiplizität.

Lösung

1. Es sei ${}K$ ein Körper und seien ${}P,Q\in K[T]$ zwei Polynome. Dann gibt es ein Polynom ${}F\in K[X,Y]$, ${}F\neq 0$, mit ${}F(Q,P)=0$. D.h. das Bild einer polynomial parametrisierten Kurve liegt in einer ebenen algebraischen Kurve ${}C=V(F)$.
2. Es sei ${}K$ ein algebraisch abgeschlossener Körper und seien ${}F_{i}\in K[X_{1},\ldots ,X_{n}]$, ${}i\in I$, Polynome mit

   ${}{{\mathbb {A} }_{K}^{n}}=\bigcup _{i\in I}D(F_{i})\,.$

   Dann erzeugen die ${}F_{i}$ das Einheitsideal in ${}K[X_{1},\ldots ,X_{n}]$.
3. Es sei ${}K$ ein algebraisch abgeschlossener Körper, sei ${}F=F_{m}+\cdots +F_{d}\in K[X,Y]$, ${}m\leq d$, ein Polynom in homogener Zerlegung und ${}L=V(aX+bY)$ eine Gerade durch den Nullpunkt ${}P$, die keine Komponente von ${}V(F)$ sei. Dann ist

   ${}\operatorname {mult} _{P}(L,V(F))\geq m_{P}\,(F)=m\,,$

Aufgabe (7 Punkte)

Beweise den Satz über irreduzible Teilmengen und Verschwindungsideale.

Lösung

Es sei ${}\operatorname {Id} \,(V)$ kein Primideal. Bei ${}\operatorname {Id} \,(V)=K[X_{1},\ldots ,X_{n}]$ ist ${}V=\emptyset$, also ist ${}V$ nicht irreduzibel nach Definition. Andernfalls gibt es Polynome ${}F,G\in K[X_{1},\ldots ,X_{n}]$ mit ${}FG\in \operatorname {Id} \,(V)$, aber ${}F,G\not \in \operatorname {Id} \,(V)$. Dies bedeutet, dass es Punkte ${}P,Q\in V$ mit ${}F(P)\neq 0$ und ${}G(Q)\neq 0$ gibt. Wir betrachten die beiden Ideale ${}{\mathfrak {a}}_{1}=\operatorname {Id} \,(V)+(F)$ und ${}{\mathfrak {a}}_{2}=\operatorname {Id} \,(V)+(G)$. Daher ist

${}V({\mathfrak {a}}_{1}),V({\mathfrak {a}}_{2})\subseteq V(\operatorname {Id} \,(V))=V\,$

nach Lemma 3.8 (Algebraische Kurven (Osnabrück 2017-2018))  (3). Wegen ${}P\not \in V({\mathfrak {a}}_{1})$ und ${}Q\not \in V({\mathfrak {a}}_{2})$ sind diese Inklusionen echt. Andererseits ist

${}V({\mathfrak {a}}_{1})\cup V({\mathfrak {a}}_{2})=V({\mathfrak {a}}_{1}\cdot {\mathfrak {a}}_{2})=V(\operatorname {Id} \,(V))=V\,,$

sodass eine nicht-triviale Zerlegung von ${}V$ vorliegt und somit ${}V$ nicht irreduzibel ist.
Es sei nun ${}V$ nicht irreduzibel. Bei ${}V=\emptyset$ ist ${}\operatorname {Id} \,(V)=K[X_{1},\ldots ,X_{n}]$ kein Primideal. Es sei also ${}V\neq \emptyset$ mit der nicht-trivialen Zerlegung ${}V=Y\cup Z$. Es sei ${}Y=V({\mathfrak {a}}_{1})$ und ${}Z=V({\mathfrak {a}}_{2})$. Wegen ${}Y\subset V$ gibt es einen Punkt ${}P\in V=V(\operatorname {Id} \,(V))$, ${}P\not \in V({\mathfrak {a}}_{1})$. Also gibt es auch ein ${}F\in {\mathfrak {a}}_{1}$, ${}F(P)\neq 0$, und somit ${}F\not \in \operatorname {Id} \,(V)$. Ebenso gibt es ${}G\in {\mathfrak {a}}_{2}$, ${}G\not \in \operatorname {Id} \,(V)$. Für einen beliebigen Punkt ${}Q\in V=Y\cup Z$ ist ${}(FG)(Q)=0$, da ${}F$ auf ${}Y$ und ${}G$ auf ${}Z$ verschwindet. Also ist ${}FG\in \operatorname {Id} \,(V)$ und daher ist ${}\operatorname {Id} \,(V)$ kein Primideal.

Aufgabe (4 Punkte)

Wir betrachten die reelle algebraische Kurve

${}C=V{\left(Y^{4}-Y^{2}+X^{2}\right)}\subset \mathbb {R} ^{2}\,.$

Zeige, dass durch

$[0,2\pi [\longrightarrow C,\,\theta \longmapsto \left(\sin \theta \cos \theta ,\,\sin \theta \right),$

eine Parametrisierung von ${}C$ gegeben ist, die surjektiv und abgesehen von einem Punktepaar injektiv ist.

Lösung

Für einen beliebigen Winkel ${}\theta$ ist

${}\sin ^{4}\theta -\sin ^{2}\theta +\sin ^{2}\theta \cos ^{2}\theta =\sin ^{2}\theta {\left(\sin ^{2}\theta +\cos ^{2}\theta -1\right)}=0\,,$

das Bild der Abbildung gehört also zur Kurve. Es sei

${}(x,y)\in C\,$

ein Punkt der Kurve. Es ist

${}y^{4}+x^{2}=y^{2}\,.$

Bei ${}y=0$ ist auch ${}x=0$ und wir haben die beiden Urbilder ${}\theta =0,\pi$. Bei ${}y\neq 0$ dividieren wir durch ${}y^{2}$ und erhalten

${}y^{2}+{\left({\frac {x}{y}}\right)}^{2}=1\,.$

Es liegt die Kreisgleichung vor, daher gibt es ein eindeutig bestimmtes ${}\theta$ mit

${}y=\sin \theta \,$

und

${}{\frac {x}{y}}=\cos \theta \,.$

Dann ist auch

${}x=\sin \theta \cos \theta \,.$

Aufgabe weiter

Es sei ${}K$ ein Körper. Wir betrachten zu jedem ${}n\in \mathbb {N} _{+}$ die Abbildung

$\varphi \colon K^{n}\longrightarrow K^{n},\,\left(\lambda _{1},\,\lambda _{2},\,\ldots ,\,\lambda _{n}\right)\longmapsto \left(c_{0},\,c_{1},\,\ldots ,\,c_{n-1}\right),$

die einem Nullstellentupel ${}\left(\lambda _{1},\,\lambda _{2},\,\ldots ,\,\lambda _{n}\right)$ das Koeffiziententupel ${}\left(c_{0},\,c_{1},\,\ldots ,\,c_{n-1}\right)$ (ohne die ${}1$) des normierten Polynoms

${}(X-\lambda _{1})(X-\lambda _{2})\cdots (X-\lambda _{n})=P=c_{0}+c_{1}X+\cdots +c_{n-1}X^{n-1}+X^{n}\,$

zuordnet.

1. Beschreibe ${}\varphi$ explizit für ${}n=2$.
2. Beschreibe ${}\varphi$ explizit für ${}n=3$.
3. Begründe, dass die ${}\varphi$ polynomiale Abbildungen sind.
4. Zeige, dass die Fasern von ${}\varphi$ endlich sind.
5. Wann ist die Faser zu einem Tupel ${}\left(c_{0},\,c_{1},\,\ldots ,\,c_{n-1}\right)$ leer?
6. Was ist die maximale Anzahl in einer Faser? Man gebe Beispiele, dass diese Maximalanzahl für ${}K=\mathbb {R}$ erreicht wird.
7. Es sei ${}K$ nun algebraisch abgeschlossen. Zeige, dass ${}\varphi$ surjektiv ist.

Lösung

1. Bei ${}n=2$ handelt es sich wegen

   ${}{\left(X-\lambda _{1}\right)}{\left(X-\lambda _{2}\right)}=X^{2}-{\left(\lambda _{1}+\lambda _{2}\right)}X+\lambda _{1}\lambda _{2}\,$

   um die Abbildung

   $\varphi \colon K^{2}\longrightarrow K^{2},\,\left(\lambda _{1},\,\lambda _{2}\right)\longmapsto \left(\lambda _{1}\lambda _{2},\,-{\left(\lambda _{1}+\lambda _{2}\right)}\right).$

2. Bei ${}n=3$ handelt es sich wegen

   ${}{\left(X-\lambda _{1}\right)}{\left(X-\lambda _{2}\right)}{\left(X-\lambda _{3}\right)}=X^{3}-{\left(\lambda _{1}+\lambda _{2}+\lambda _{3}\right)}X^{2}+{\left(\lambda _{1}\lambda _{2}+\lambda _{1}\lambda _{3}+\lambda _{2}\lambda _{3}\right)}X-\lambda _{1}\lambda _{2}\lambda _{3}\,$

   um die Abbildung

   $\varphi \colon K^{3}\longrightarrow K^{3},\,\left(\lambda _{1},\,\lambda _{2},\,\lambda _{3}\right)\longmapsto \left(-\lambda _{1}\lambda _{2}\lambda _{3},\,\lambda _{1}\lambda _{2}+\lambda _{1}\lambda _{3}+\lambda _{2}\lambda _{3},\,-{\left(\lambda _{1}+\lambda _{2}+\lambda _{3}\right)}\right).$

3. Es sei ${}n\in \mathbb {N} _{+}$ und ${}k$ zwischen ${}0$ und ${}n-1$ fixiert. Dann ist der Koeffizient ${}c_{k}$ des Polynoms ${}\prod _{i=1}^{n}{\left(X-\lambda _{i}\right)}$ aufgrund des Distributivgesetzes gleich

   $\pm \sum _{1\leq i_{1}<i_{2}<\ldots <i_{n-k}\leq n}\lambda _{i_{1}}\lambda _{i_{2}}\cdots \lambda _{i_{n-k}},$

   wobei das Vorzeichen von der Parität von ${}n-k$ abhängt. Somit liegt in jeder Komponente eine polynomiale Abbildung vor.

4. Ein Tupel ${}\left(\lambda _{1},\,\ldots ,\,\lambda _{n}\right)$ gehört genau dann zur Faser über dem Koeffiziententupel ${}\left(c_{0},\,\ldots ,\,c_{n-1}\right)$, wenn

   ${}\prod _{i=1}^{n}{\left(X-\lambda _{i}\right)}=\sum _{j=0}^{n-1}c_{j}X^{j}+X^{n}=P\,$

   ist. Dies bedeutet insbesondere, dass die ${}\lambda _{i}$ Nullstellen von ${}P$ sein müssen. Da ein Polynom nur endliche viele Nullstellen besitzt, gibt es auch nur endlich viele Permutationen davon.

5. Die Faser zu einem Koeffiziententupel ${}\left(c_{0},\,\ldots ,\,c_{n-1}\right)$ ist genau dann leer, wenn das dadurch gegebene Polynom ${}\sum _{j=0}^{n-1}c_{j}X^{j}+X^{n}$ nicht vollständig in Linearfaktoren zerfällt.
6. Die maximale Anzahl in einer Faser ist ${}n!$. Die Faser besteht aus den (geordneten) Nullstellentupeln zu dem durch das Koeffiziententupel gegebenen Polynom, wenn dieses vollständig in Linearfaktoren zerfällt (andernfalls ist die Faser leer). Da es maximal ${}n$ Nullstellen gibt, kann man höchstens ${}n!$ geordnete Tupel daraus bilden. Wenn es ${}n$ verschiedene Nullstellen gibt, so kann man daraus durch Permutationen genau ${}n!$ geordnete Tupel bilden. Beispielsweise wird das Nullstellentupel ${}\left(1,\,2,\,3,\,\ldots ,\,n\right)$ auf ein Koeffiziententupel abgebildet, dessen Faser aus all den Permutationen davon besteht.
7. Wenn ${}K$ algebraisch abgeschlossen ist, so zerfällt jedes normierte Polynom in normierte Linearfaktoren, was nach Teil (5) bedeutet, dass die Faser nicht leer ist. Dies bedeutet insgesamt die Surjektivität von ${}\varphi$.

Aufgabe (5 Punkte)

Beweise den Satz über den Koordinatenring des affinen Raumes.

Lösung

Wir beweisen die Aussage durch Induktion über die Anzahl der Variablen. Bei ${}n=1$ folgt die Aussage daraus, dass ein Polynom vom Grad ${}d$ maximal ${}d$ Nullstellen besitzt. Zum Induktionsschritt sei ${}F\in K[X_{1},\ldots ,X_{n}]$ ein Polynom, das an allen Punkten von ${}{{\mathbb {A} }_{K}^{n}}=K^{n}$ verschwindet. Wir schreiben ${}F$ als

${}F=P_{d}X_{n}^{d}+P_{d-1}X_{n}^{d}+\cdots +P_{1}X_{0}+P_{0}\,$

mit Polynomen ${}P_{d},\ldots ,P_{0}\in K[X_{1},\ldots ,X_{n-1}]$. Wir müssen zeigen, dass ${}F=0$ ist, was zu ${}P_{i}=0$ für alle ${}i=0,\ldots ,d$ äquivalent ist. Es sei also (ohne Einschränkung) angenommen, dass ${}P_{d}$ nicht das Nullpolynom ist. Nach Induktionsvoraussetzung ist es dann auch nicht die Nullfunktion, d.h. es gibt einen Punkt ${}(a_{1},\ldots ,a_{n-1})$ mit ${}P_{d}(a_{1},\ldots ,a_{n-1})\neq 0$. Damit ist ${}F(a_{1},\ldots ,a_{n-1})$ ein Polynom in der einen Variablen ${}X_{n}$ vom Grad ${}d$ und ist nach dem Fall einer Variablen nicht die Nullfunktion.

Aufgabe (3 Punkte)

Es sei ${}R$ ein lokaler Ring und ${}{\mathfrak {a}}$ ein Ideal von ${}R$. Zeige, dass

$R^{\times }\longrightarrow {\left(R/{\mathfrak {a}}\right)}^{\times }$

surjektiv ist.

Lösung

Bei ${}{\mathfrak {a}}=R$ ist der Restklassenring der Nullring und die Aussage ist klar, sei also ${}{\mathfrak {a}}\subseteq {\mathfrak {m}}$. Es sei ${}r\in R$ ein Repräsentant einer Einheit aus ${}R/{\mathfrak {a}}$, und sei ${}s\in R$ derart, dass

${}rs=1\,$

in ${}R/{\mathfrak {a}}$ ist. Dies bedeutet

${}rs-1\in {\mathfrak {a}}\subseteq {\mathfrak {m}}\,$

in ${}R$. Wenn ${}r$ keine Einheit wäre, so wäre ${}rs\in {\mathfrak {m}}$ und dann ergäbe sich der Widerspruch

${}1=(1-rs)+rs\in {\mathfrak {m}}\,.$

Also ist ${}r$ selbst eine Einheit.

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung

Aufgabe (5 Punkte)

Beweise den Satz über die universelle Eigenschaft der Monoidringe.

Lösung Kommutative Monoidringe/Universelle Eigenschaft für R-Algebren mit Monoidabbildung/Fakt/Beweis/Aufgabe/Lösung

Aufgabe (2 Punkte)

Es sei ${}n\in \mathbb {N} _{+}$ und sei ${}M\subseteq \mathbb {N} \times \mathbb {Z} /(n)$ ein Untermonoid. Zeige, dass ${}m\in M$ genau dann eine Einheit ist, wenn ${}m$ aufgefasst in ${}\mathbb {N} \times \mathbb {Z} /(n)$ eine Einheit ist.

Lösung

Sei ${}m=(r,s)\in M$. Wenn ${}m$ in ${}M$ eine Einheit ist, so gilt dies erst recht in ${}\mathbb {N} \times \mathbb {Z} /(n)$, da ja das zu ${}m$ inverse Element auch zu ${}\mathbb {N} \times \mathbb {Z} /(n)$ gehört. Es sei nun ${}m$ eine Einheit in ${}\mathbb {N} \times \mathbb {Z} /(n)$. Dann muss zunächst ${}r=0$ sein. Das Inverse zu ${}m=(0,s)$ mit ${}0\leq s<n$ ist in ${}\mathbb {N} \times \mathbb {Z} /(n)$ durch ${}(0,n-s)=(0,-s)$ gegeben. Wegen

${}(n-1)(0,s)=(0,(n-1)s)=(0,-s)\,$

gehört dies auch zu ${}M$.

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung

Aufgabe (5 Punkte)

Es sei ${}K$ ein Körper. Beweise die Produktregel für das formale Ableiten

$D\colon K[X]\longrightarrow K[X],\,F\longmapsto F'.$

Lösung

Die Produktregel besagt

${}(F\cdot G)'=F\cdot G'+F'\cdot G\,.$

Nach Definition ist die Ableitung ${}F\mapsto F'$ eine ${}K$-lineare Abbildung. Deshalb und aufgrund des Distributivgesetzes sind für festes ${}G$ die Abbildungen

$F\longmapsto F\cdot G\longmapsto (F\cdot G)',$

$F\longmapsto F\cdot G'$

und

$F\longmapsto F'\cdot G$

${}K$-linear. Da jedes ${}F$ eine eindeutige Darstellung als ${}K$-Linearkombination mit den Potenzen

${}X^{n}$, ${}n\in \mathbb {N}$, besitzt, genügt es, die Aussage für ${}F=X^{n}$ zu zeigen. Die gleiche Überlegung zeigt, dass man lediglich ${}G=X^{m}$ betrachten muss. Dann gilt einerseits

${}(X^{n}\cdot X^{m})'=(X^{n+m})'=(n+m)X^{n+m-1}\,$

und andererseits

${}{\begin{aligned}X^{n}\cdot (X^{m})'+(X^{n})'\cdot X^{m}&=mX^{n}X^{m-1}+nX^{n-1}X^{m}\\&=mX^{n+m-1}+nX^{n+m-1}\\&=(n+m)X^{n+m-1},\end{aligned}}$

sodass Gleichheit gilt.

Aufgabe (4 Punkte)

Zeige, dass die ebene projektive Kurve

${}V_{+}{\left(XY^{3}+YZ^{3}+ZX^{3}\right)}\subset {\mathbb {P} }_{\mathbb {C} }^{2}\,$

glatt ist.

Lösung

Da die Situation symmetrisch in den Variablen ist, genügt es, die Situation auf ${}D_{+}(Z)$ zu betrachten. Die inhomogene Gleichung der Kurve lautet dort

${}XY^{3}+Y+X^{3}=0\,.$

Die partiellen Ableitungen sind

${\frac {\partial {\left(XY^{3}+Y+X^{3}\right)}}{\partial X}}=Y^{3}+3X^{2}\,\,{\text{ und }}\,\,{\frac {\partial {\left(XY^{3}+Y+X^{3}\right)}}{\partial Y}}=1+3XY^{2}.$

Wir ziehen das ${}X$-fache der ersten Ableitung von der Kurvengleichung ab und erhalten die Bedingung

${}Y=2X^{3}\,.$

Dies setzen wir in die Kurvengleichung und in die zweite Ableitung ein und erhalten

${}{\begin{aligned}0&=XY^{3}+Y+X^{3}\\&=8X^{10}+2X^{3}+X^{3}\\&=X^{3}{\left(8X^{7}+3\right)}\end{aligned}}$

und

${}1+3XY^{2}=1+12X^{7}\,.$

Wegen letzterer Gleichung ist ${}X=0$ ausgeschlossen. Also müsste für einen singulären Punkt

${}-{\frac {3}{8}}=X^{7}=-{\frac {1}{12}}\,$

gelten, was nicht sein kann.

Aufgabe (3 Punkte)

Es sei ${}K$ ein algebraisch abgeschlossener Körper, sei ${}C=V_{+}{\left(X^{2}+Y^{2}+Z^{2}\right)}\subset {\mathbb {P} }_{K}^{2}$ und sei

$\varphi \colon C\longrightarrow {\mathbb {P} }_{K}^{1}$

der durch die Projektion weg vom Punkt

${\mathbb {P} }_{K}^{2}\setminus \{(1,0,0)\}\longrightarrow {\mathbb {P} }_{K}^{1},\,(x,y,z)\longmapsto (y,z),$

definierte Morphismus. Bestimme das Urbild des Punktes ${}(3,5)\in {\mathbb {P} }_{K}^{1}$.

Lösung

Die Urbildgerade zum Punkt ${}(3,5)$ wird durch die homogene Gleichung ${}5Y-3Z$ beschrieben. Es geht also um den Durchschnitt

$V_{+}(X^{2}+Y^{2}+Z^{2})\cap V_{+}(5Y-3Z).$

Dies führt auf die homogene Bedingung

${}{\begin{aligned}0&=X^{2}+Y^{2}+Z^{2}\\&=X^{2}+Y^{2}+{\left({\frac {5}{3}}\right)}^{2}Y^{2}\\&=X^{2}+{\left({\frac {34}{9}}\right)}^{2}Y^{2}.\end{aligned}}$

Somit ist

${}X=\pm {\frac {\sqrt {34}}{3}}{\mathrm {i} }Y\,,$

wobei ${}{\mathrm {i} }$ eine Quadratwurzel von ${}-1$ sei, und die beiden Lösungen sind

$\left({\frac {\sqrt {34}}{3}}{\mathrm {i} },\,1,\,{\frac {5}{3}}\right)\,\,{\text{ und }}\,\,\left(-{\frac {\sqrt {34}}{3}}{\mathrm {i} },\,1,\,{\frac {5}{3}}\right).$

Aufgabe (2 Punkte)

Bestimme die Fixpunkte der Abbildung

${\mathbb {P} }_{K}^{1}\longrightarrow {\mathbb {P} }_{K}^{1},\,(s,t)\longmapsto (t,s).$

Lösung

Da die Koordinaten eines Punktes auf der projektiven Geraden bis auf Multiplikation mit einem Skalar ${}\lambda \neq 0$ eindeutig festgelegt sind, haben wir die Bedingung

${}(s,t)=\lambda (t,s)\,,$

also ${}s=\lambda t$ und ${}t=\lambda s$. Dies führt auf ${}t=\lambda ^{2}t$. Da nicht beide Koordinaten ${}0$ sein dürfen, darf hier überhaupt keine Koordinate gleich ${}0$ sein, und somit ist ${}\lambda =\pm 1$. Da wir ${}t$ zu ${}1$ normieren können, gibt es die beiden Fixpunkte

$(1,1)\,\,{\text{ und }}\,\,(1,-1).$