Die Druckversion wird nicht mehr unterstützt und kann Darstellungsfehler aufweisen. Bitte aktualisiere deine Browser-Lesezeichen und verwende stattdessen die Standard-Druckfunktion des Browsers.
Es sei
K
{\displaystyle {}K}
ein
Körper
der
Charakteristik
≠
2
{\displaystyle {}\neq 2}
. Wir betrachten den
kommutativen Ring
S
=
K
[
X
,
Y
]
/
(
X
2
+
Y
2
−
1
)
{\displaystyle {}S=K[X,Y]/{\left(X^{2}+Y^{2}-1\right)}\,}
und die
S
{\displaystyle {}S}
-Algebra
B
=
K
[
X
,
Y
,
Z
,
W
]
/
(
X
2
+
Y
2
−
1
,
(
1
−
X
)
Z
−
Y
W
,
Y
Z
−
(
1
+
X
)
W
)
=
S
[
Z
,
W
]
/
(
(
1
−
X
)
Z
−
Y
W
,
Y
Z
−
(
1
+
X
)
W
)
.
{\displaystyle {}{\begin{aligned}B&=K[X,Y,Z,W]/{\left(X^{2}+Y^{2}-1,(1-X)Z-YW,YZ-(1+X)W\right)}\\&=S[Z,W]/{\left((1-X)Z-YW,YZ-(1+X)W\right)}.\end{aligned}}}
Es sei
U
=
K
−
Spek
(
S
)
{\displaystyle {}U=K\!\!-\!\operatorname {Spek} \,{\left(S\right)}}
und
L
=
K
−
Spek
(
B
)
{\displaystyle {}L=K\!\!-\!\operatorname {Spek} \,{\left(B\right)}}
mit der zugehörigen
Spektrumsabbildung
p
:
L
=
K
−
Spek
(
B
)
⟶
U
=
K
−
Spek
(
S
)
.
{\displaystyle p\colon L=K\!\!-\!\operatorname {Spek} \,{\left(B\right)}\longrightarrow U=K\!\!-\!\operatorname {Spek} \,{\left(S\right)}.}
Zeige, dass
D
(
1
−
X
)
{\displaystyle {}D(1-X)}
und
D
(
1
+
X
)
{\displaystyle {}D(1+X)}
eine offene affine Überdeckung von
U
{\displaystyle {}U}
ist.
Zeige
B
1
−
X
≅
S
1
−
X
[
W
]
{\displaystyle {}B_{1-X}\cong S_{1-X}[W]\,}
und
B
1
+
X
≅
S
1
+
X
[
Z
]
{\displaystyle {}B_{1+X}\cong S_{1+X}[Z]\,}
Zeige, dass
L
{\displaystyle {}L}
ein Geradenbündel über
U
{\displaystyle {}U}
ist.