代数几何与解析几何
代数几何与解析几何
1µ
1
2
§0 Ú Ø
X ´½Â3EêþKê6/"·±lü«À5 X µ
´êÀ§Ì'%z:?ÛÜ5§±9 X Ù§ê6/
knN½~N5§,´)ÛÀ£¡/0À¤§d
X þX¼êü ÌÚ"·§3 X vkÛÉ:§1«À´
ék¤§Ï·±¦^ Kähler 6/@nØ£NÚ/ª!6Ù 1 !>!
¤"
3éõ¯Kþ§¦+ü«Àe{,ØÓ§§%±Ñþd
(J"'X`§·3 X þz:?ÑX©/ªTÐÒ´3 X þ??
/1a0kn©/ª£Eb X vkÛÉ:¤¶,~f´ Chow ½n§§
´` X z4)Ûf6/Ñ´ê6/"
©Ì8´rþãd*Ðvà þ¶(/`§·òy²§ê
5và Ú)Û5và ´±éA§¿ ùéA¦þÓN+±
£äNã "| 12¤¶·òÑù(J3«¯KþA^§AO´3ê5
nmÚ)Û5nm'¡"
Ðü!´O5"3 § 1 ¥§·kESe/)ÛõN0½ÂÚÌ
5"·¤æ^½Â´5g H. Cartan [3]§ØL H. Cartan =Ä 5õ
N/§ùéu·5`´ØI¶ W-L. Chow 3¦ ó¥
¦^ ~q½Â{"3 § 2 ¥§·)ºeXÛ3êõ
N X þ½Â)ÛõN(§ÓѧeZÄ5"Ù¥
^æ´e¡ùµe± Ox £= µ Hx ¤5P X 3: x ?ÛÜ£= µX¼
êÞ¤§K Ox Ú Hx äkÓz§dd§§¤/û
|0§ëwN¹½Â 4"
§1 )ÛõN
"| 1 m)Ûf8
"| 2 )ÛõNVg
"| 3 )Û5
"| 4 )ÛõN¥:
§2 êõN))ÛõN
e¡· C þêõN"ù«õNþäküÿÀµ/Ï~0ÿÀ
Ú/Zariski0ÿÀ"
"| 5 êõN))ÛõN½Â 6
"| 5 êõN))ÛõN½Â
âe¡ùÚn§?ÛêõNþÑk)ÛõN(µ
Ún 1. — a) Cn þ Zariski ÿÀ'Ï~ÿÀf"
b) Cn ?Û Zariski ÛÜ4f8Ñ´)Û"
0
c) e U Ú U 0 ©O´ Cn Ú Cn ¥ Zariski ÛÜ4f8§¿ f : U → U 0 ´
~N§K f ´X"
d) 3 c) cJ^e§e? b f ´V~Ó§K§´)ÛÓ
"
ϕ : V −→ U §
· K 2. — 3 X þk)ÛõN(§U¦e¡^¤áµé
?¿£ê5¤Ik ϕ : V → U § Zariski m8 V Ñ´£3Ï~ÿÀe¤m§¿
ϕ ´ V §ëÓd X ¤p)ÛõN(§ U §ëÓ "| 2 ¤½Â)Ûõ
N(§þ)ÛÓ"
£{ó§§r?Ûê5IkÑC¤ )Û5Ik¤"
5´w,§Ïo±r X ^ äkIk Zariski m8 V CXå
5" y²35§ ϕ : V → U ´Ik§K·r U þ)Ûõ
N ( / Ï ϕ−1 V þ " e ϕ0 : V 0 → U 0 ´ , I k § K ì Ú n 1,
d)§ V Ú V 0 3 V ∩ V 0 þ ± p Ñ Ó ) Û õ N ( ¶ ? ì Ú n 1,
a)§ V ∩ V 0 3 V Ú V 0 ¥Ñ´m"u´±rù (Åܤ X þÿÀ
Ú HX §§w,÷vún (HI ) " y (HII ) §·±¦^ [18], "| 34 ¥
ún (VA0II ) ¶3@pPÒe§ Ui Ú Uj mÓ'Xã Tij 3 Ui × Uj ¥
´ Zariski 4§l 3Ï~ÿÀe´4§ùÒ¿X X ´©l"
X an ´3á?êÛÜ;m 4 "
X an eã5d½Âáµ
"| 6 ÛÜX¼êÞm'X
·K 3. — Ó θb : Obx → H
cx ´"
·òr§e·K3å5y²µ
·K 4. — n A (Y )x d θ(I (Y )x ) ¤)¤"
cx = I (Y )x .H
f r ∈ a.H cx = I (Y )x .Obx "
ÀÆ6, I, § 9, n◦ 9"
"| 7 êõNþÏ~ÿÀ Zariski ÿÀm'X 8
íØ 2. — Ox Ú Hx äkÓê"
y3·Ñ·K 5 ü{üA^"
e¡Únþ5g Chevalleyµ
"| 8 ~5)ÛO{
?Û~NÑ´X"e¡·KL²§3, ¹eL5´é£y
²ò3 "| 19 ¥¤¤"
· K 8. — X Ú Y ´üêõN§ f : X → Y ´ X Y XN
"e f ã T 3 X × Y ¥´ Zariski ÛÜ4£=§´êfN¤§KN
f ´~"
· K 9. — T Ú X ´üêõN§ p : T → X ´~N§¿ ´
"| 8 ~5)ÛO{ 10
"u´e p ´ T X )ÛÓ§K§´V~Ó"
·3y²L§¥¦^ e¡Únµ
Ú n 3. — A ´§ §"n±¤k4n pi
ùpy²{´ P. Samuel wö"
5
p¯K5`®²v "
11
´"
T T
Ä k d pi = 0 ± í Ñ mi = 0 § ù Ò L
P² ϕ ´ ü " y 3 - bi ´ Ã n
mj (j 6= i) ¦È£3 AS ¥¤§¿ - b = i "Kn b ع3?Û
bP
mi ¥§l Òu AS §é xi ∈ bi §¦ xi = 1 "y3·k
xi ≡ 1 (mod. mi ) xi ≡ 0 (mod. mj ), j 6= i §
Q
ùÒL² ϕ(AS )Q¹X Ki ¥ (1, 0, . . . , 0), . . . , (0, . . . , 0, 1) "duù
±)¤ AS Ki §ùÒy² ϕ ´§Ò¤ y²"
F an = F 0 ⊗O 0 H "
F an ´ H §Ò´`§´)Û5 ¶¿ ¹\ O 0 → H ½Â
;Ó α : F 0 → F an "
?Ûê5Ó£Ò´`§ O 5Ó¤
ϕ : F −→ G
ѱÏLXê*Ü ½ÂÑ)Û5Ó
ϕan : F an −→ G an "
ù5§ F an Ò´ F C¼f"
·K 10. — a) ¼f F an ´Ü"
b) é?Ûê5 F §Ó α : F 0 → F an Ñ´ü"
c) e F ´ê5và §K F an ´)Û5và "
O q −→ O p −→ F −→ 0 "
â a)§±ddÑ U þÜS
H q −→ H p −→ F an −→ 0 "
"| 10 òÿ
·K 11. — (F an )X Ú (F an )X ´;Ó"
"| 11 þÓN+mÓ 13
ù ü 3 Y an Ñ ´ 0 § l I y ² § 3 Y an þ ´ Ó "
x ´ Y :" {zPÒ§-µ
K·kµ
0
x = E ⊗A B
(F an )X x = E ⊗A B "
Ú (F X )an
θx : E ⊗A0 B 0 = E ⊗A0 A0 ⊗A B −→ E ⊗A B §
·K 11 Lã ù¯µ¼f F an r F Ó F X L§´N"
"| 11 þÓN+mÓ
Ó
ε : C• (U, F ) −→ C• (Uan , F an ) §
PÒg [18], "| 18 "
ε : Hq (X, F ) −→ Hq (X an , F an ) "
"| 12 KõN"½nã 14
ù ÓäkÏ~¼f5¶§?ÛÓ ϕ : F → G Ѷek
ê5 ÜS
0 −→ A −→ B −→ C −→ 0 §
Ù¥ A ´và§KãLµ
δ
Hq (X, C ) −−−→ Hq+1 (X, A )
εy εy
δ
Hq (X, C an ) −−−→ Hq+1 (X an , A an )
"| 12 KõN"½nã
½ n 2. — e F Ú G ´ X þüê5và §K F an G an ?Û)Û5
ÓÑdl F G ê5Ó¤Ñ"
2. ±r ε ©)µ
Hq (X, F ) −→ Hq (X an , F 0 ) −→ Hq (X an , F an ) "
"| 13 ½n 1 y²
Äky²üÚnµ
Ún 4. — ½n 1 éu O ´¤á"
Ún 5. — ½n 1 éu O(n) ´¤á"
0 −→ O(−1) −→ O −→ OE −→ 0 §
â "| 11§·kãL
··· / Hq (X, O(n−1)) / Hq (X, O(n)) / Hq (E, OE (n)) / Hq+1 (X, O(n−1)) / ···
ε ε ε ε
² ² ² ²
··· / Hq (X an , O(n−1)an ) / Hq (X an , O(n)an ) / Hq (E an , OE (n)an ) / Hq+1 (X an , O(n−1)an ) / · · ·
·kãLµ
"| 14 ½n 2 y²
Ún 6. — Ó ι : A an → B ´"
du F an ´và§l Ókµ
Bx = HomHx (Fx ⊗Ox Hx , Gx ⊗Ox Hx ) "
l ¯K8(y²Ó
ιx : HomOx (Fx , Gx ) ⊗Ox Hx −→ HomHx (Fx ⊗Ox Hx , Gx ⊗Ox Hx )
"| 15 ½n 3 y²" O 17
y3·5y²½n 2"ÄÓ
ε ι
H0 (X, A ) −→ H0 (X an , A an ) −→ H0 (X an , B) "
"| 15 ½n 3 y²" O
t0 , . . . , tr ´ X þàgIX§¿ Ui ´d ti 6= 0 ¤½Âm8"·± Mi
5P M 3 Ui þ§K¦± tnj /tni N´ Mj Mi Ó§½Â3 Ui ∩
Uj þ"^ù Ór Mi ÅÜå5Ò± M (n)£ë [18], "| 54§3@
p¦^Ó{½Â ê5 ¤" M (n) ÛÜÓu M §l ´và§Ï
M Xd¶ ·k;Ó M (n) = M ⊗H H (n) "e F ´ê5
§Kk F an (n) = F (n)an "
rùü¯ X an ´;(Üå5§K¯K8(y²e¡¯¢µ
M Üþȧ·qÜS
M ⊗H A (E) −→ M −→ M ⊗H HE −→ 0 "
u M (−1) §l ÜS
(3) 0 −→ C (n) −→ M (n − 1) −→ Pn −→ 0 §
§©OÑþÓNÜS£¥ã¤
Ñ´÷"
8
±wѧùÒ´ Kodaira-Spencer y² Lefschetz ½n{£ë [12]¤"
"| 17 ½n 3 y²( 20
"| 17 ½n 3 y²(
0 −→ R −→ L0an −→ M −→ 0 §
Ù¥ R ´)Û5và "
é R ¦^Ó{§q±ê5và L1 Ú)Û5÷Ó
L1an → R "l kÜS
g
L1an −→ L0an −→ M −→ 0 "
2|^·K 10§qÜSµ
g
L1an −→ L0an −→ F an −→ 0 §
§4 A^
Ókµ X
bn (X σ ) = hp,q (X σ ) "
p+q=n
í Ø. – V ´²wKõN§½Â3,êê K þ"Kd V ÏL
r K i\ C ½ÂÑ5E6/ X Betti ê¿Ø6ui\ÀJ"
"| 19 Chow ½n
·K 13. – Km4)Ûf8Ñ´ê"
íØ. – 3;)ÛõNþõkêõN("
"| 20 ê5nmÚ)Û5nm
ε : H1 (X, G ) −→ H1 (X an , G an ) §
ù "| 11 aq"
E Ú E 0 ´ ü ê Ì n m § . X § ( + G " · K 16 ¿ X §
e E Ú E 0 ´)ÛÓ§K§´êÓ"¢Sþ§·e¡y²
"| 20 ê5nmÚ)Û5nm 23
[(J§=?Û)ÛÓ ϕ : E → E 0 Ñ´êÓ£Ò´`§~
Ó¤"
ùÒ¤ y²"
(Ü·K 18 Ú 19§·µ
Ké?¿KõN X §Nµ
ε : H1 (X, G ) −→ H1 (X an , G an )
"| 21 ²" 25
Ñ´"
~f — ^ (R) 3e¡ùA¹e´¤áµ
a) G ´)§ù´â Rosenlicht ½n§[13]¶
b) G = SLn (C) §dkn¡´²w¶
c) G =PSpn (C) § n = 2m ¶3ù/e§à5m GLn (C)/G Ò´dòz
/ª aij xi ∧ xj ¤|¤m§¿ ^ (R) ge¡¯¢µ
Pi<j
/ª uij xi ∧ xj ±ÏLXê3 C(uij ) ¥5CþOz;/
i<j
P
m
ª x2i−1 ∧ x2i "
i=1
N ¹
·be¡¤ÑyÑ´§¿ ¹ü ¶þÑ´ü
"
"| 21 ²"
~f — 1. e A ´Ìn§Kdþ¡¤ã§/ B ´ A ²"0d
u/ B ´ÃL0"
A Ú B ´ü§¿ θ : A → B ´ A B Ó§ùÓD B
A ("e E Ú F ´ü A §K E ⊗A B Ú F ⊗A B þÑk B ("?
§e f : E → F ´Ó§K f ⊗ 1 ´ E ⊗A B F ⊗A B B Ó§ù·
Ò ; A 5Nµ
§±5òÿ B 5Nµ
éu½ A F §·-µ
L1 −→ L0 −→ E −→ 0 §
Ù¥ L0 Ú L1 Ñ´k.gd"ÄãLµ
0 −−−→ T (E) −−−→ T (L0 ) −−−→ T (L1 )
ιy
ι0 y
ι1 y
ùãL11´Ü§ù´â B ´ A ²"ù¯¢¶11´Ü
§ù´â¼f ⊗ Ú Hom Ä5"·®² ι0 Ú ι1 Ñ´§ùÒ`
² ι ´§y²."
"| 22 û|
·kµ
e E ´?¿ A §KdÜSµ
0 −→ A −→ B −→ B/A −→ 0 §
±ÚÑÜSµ
ku A ⊗A E = E Ú TorA
1 (A, E) = 0 ¯¢§·qÜSµ
0 −→ TorA
1 (B, E) −→ Tor1 (B/A, E) −→ E −→ E ⊗A B "
A
A/a ⊗A B ´ü¤"
0 −→ E −→ F §
KSµ 0 → E ⊗A B → F ⊗A B Ó´Ü"
"| 23 ÛÜþ
{ESeù·Ky²"Äky² a)§{´ù§½ö¦^O©)
nØ (Krull, ëì [15])§½öéê r §¦
E E ´k. A § E bÚA
b ©O´ E Ú A 3 m ?ÿÀez"KV
5N A × E → E ±ëYòÿN A b× E
b→E b §§¦ E
b ¤ A
b "
b ;¹\±5òÿÓµ
l E E
b −→ E
ε : E ⊗A A b "
0 → R → L → E → 0 ´ A ÜS§Ù¥ L ´k.gd"
Kdu A ´ Noether § R ´k.¶,¡§·K 25 L²§ R þ m ?
ÿÀÒud L þ m ?ÿÀ¤pÿÀ§¿ ´ E þ m ?ÿÀÒ´ L û
ÿÀ¶duù ÿÀÑ´±Ýþz§ddÑÜSµ
b −→ L
0 −→ R b −→ E
b −→ 0 "
y3ÄãLµ
R ⊗A A b −−−→ L ⊗A Ab −−−→ E ⊗A A
b −−−→ 0
ε00 y ε0 y εy
b
R −−−→ b
L −−−→ b
E −−−→ 0 "
ùãLü1Ѵܧ,¡§´ ε0 ´"dd±íÑ ε ´÷
£é{`§·k E b = A.E
b § ëì [15], p. 153, Ún 1¤"ù(JQ,é?
¿k. A Ñ´é§Ò±A^ R þ§ùÒy² ε00 ´÷§2¦^ÊÚ
n§Ò±íÑ ε ´§y²."
"| 24 ÛÜû^
· K 28. – b θb : A
b→B
b ´§¿ ·r A ²d θ Óu B f"K
| (A, B) ´û"
b=A
·k A ⊆ B ⊆ B b §¿ | (A, A)
b Ú (B, B)
b Ñ´û§ù´âþ
ã·K"u´·K 23 L²§ (A, B) ´û|"
b A
â·K 26§ A/a zÒ´ A/a b §Ó/§ B/θ(a)B zÒ´ B/θ(a)
b Bb§
(Ø"
±ÚÑÜSµ
f0
0 −→ N 0 −→ A0 −→ E 0 −→ 0 "
n
ë©z
[5] Cartan, H. et Serre, J.-P., Un théorème de finitude concernant les variétés analy-
tiques compactes, C. R., 237, 1953, p. 128-130.
31
[6] Chow, W-L., On compact complex analytic varieties, Amer. J. of Maths., 71, 1949,
p. 893-914.
[8] Dolbeault, P., Sur la cohomologie des variétés analytiques complexes, C. R., 236,
1953, p. 175-177.
[9] Frenkel, J., Cohomologie à valeurs dans un faisceau non abélien, C. R., 240, 1955,
pp. 2368-2370.
[10] Grothendieck, A., A general theory of fibre spaces with structure sheaf, Kansas
Univ., 1955.
[11] Kodaira, K., On Kähler varieties of restricted type (an intrinsic characterization
of algebraic varieties), Ann. of Maths., 60, 1954, p. 28-48.
[12] Kodaira, K. and Spencer, D. C., Divisor class groups on algebraic varieties, Proc.
Nat. Acad. Sci. U.S.A., 39, 1953, p. 972-877.
[13] Rosenlicht, M., Some basic theorems on algebraic groups, Amer. J. of Maths., 78,
1956, p. 401-443.
[14] Rückert, W., Zum Eliminationsproblem der potenzreihenidéale, Math. Ann., 107,
1933, pp. 259-281.
[15] Samuel, P., Commutative Algebra (Notes by D. Herzig, Cornell Univ., 1953.
[16] Samuel, P., Algèbre locale, Mém. Sci. Math., 123, Paris, 1953.
[17] Samuel, P., Méthodes d’algèbre abstraite en géométrie algébrique, Ergebn. der
Math., Springer, 1955.
[18] Serre, J.-P., Faisceaux algébriques cohérents, Ann. of Maths., 61, 1955, p. 197-278.
[19] Serre, J.-P., Sur la cohomologie des variétés algébriques, J. de Math. Pure et Appl.,
35, 1956.
[20] Weil, A., Fibre-spaces in algebraic geometry (Notes by A. Wallace), Chicago Univ.,
1952.