onohnita/2008/kokusai/nogi.pdf · n a ij x i j 0 g; a ij 2 k : psfrag replacements genus g (c) = 2...
TRANSCRIPT
![Page 1: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/1.jpg)
On holomorphi se tions of aholomorphi family of Riemann surfa esof genus twoToshihiro Nogi (Osaka City University)(Joint work withYoi hi Imayoshi and Yohei Komori)Riemann Surfa es, Harmoni Maps andVisualization18 De ember, 2008Osaka City University
1
![Page 2: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/2.jpg)
x1. Ba kground of resear hx1-1. Mordell's onje ture over a number �eldk : a number �eldC = f(x; y) 2 C 2 j Pi+j�N aijxiyj = 0g;aij 2 k:
PSfrag repla ementsgenus g(C) = 2
Mordell's onje ture over k� �g(C) � 2) ℄f(x; y) 2 C \ k2g <1:� �
2
![Page 3: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/3.jpg)
x1. Ba kground of resear hx1-1. Mordell's onje ture over a number �eldk : a number �eldC = f(x; y) 2 C 2 j Pi+j�N aijxiyj = 0g;aij 2 k:
PSfrag repla ementsgenus g(C) = 2
Faltings Theorem('83)� �g(C) � 2) ℄f(x; y) 2 C \ k2g <1:� �
3
![Page 4: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/4.jpg)
Examplek = QXn+ Y n = Zn : Fermat equationx = X=Z; y = Y=Z )C = f(x; y) 2 C 2 j xn+ yn � 1 = 0g:g(C) = (n� 1)(n� 2)2 :n > 3) g(C) > 2Faltings Theorem )℄f(x; y) 2 C \ Q 2g <1:
4
![Page 5: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/5.jpg)
x1-2. Mordell's onje ture overan algebrai fun tion �eldK : algebrai fun tion �eld over C�K : algebrai losure of KS = f(X; Y ) 2 �K2 j Pi+j�nAijXiY j = 0g;
Aij 2 K:Mordell's onje ture over K� �g(S) � 2)℄f(X; Y ) 2 S \K2g <1:� �
+5
![Page 6: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/6.jpg)
Step 1. 9 a losed Riemann surfa e bR su hthat K �= Mer( bR)Aij : bR! C :merr 7! Aij(r)Step 2. 9 a �nite subset B � bR su h thatR := bR nB;for 8r 2 R;Sr = f(x; y) 2 C 2 jPi+j�nAij(r)xiyj = 0gis a Riemann surfa e of genus g.PSfrag repla ements
RRimemannsurfa e r
Sr
6
![Page 7: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/7.jpg)
Step 3. Set M = Gr2Rfrg � Sr;� :M ! R; (r; q) 7! r:+� M : 2-dim omplex manifold� � : M ! R : surje tive proper holomor-phi mapping(M;�;R) satis�es the following onditions:(i) For 8m 2M , rankJ�(m) = 1.(ii) For 8r 2 R,Sr = ��1(r) is a Riemann surfa e of �xedtype (g; n), g = ℄fgenusg and n= ℄fpun tureg.(M;�;R) is alled a holomorphi family ofRiemann surfa es of type (g; n)
7
![Page 8: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/8.jpg)
PSfrag repla ements M 2-dim px mfd
RRiemann surfa e�surj properhol mapping r
(2,1)Sr = ��1(r)
s :holomorphi se tion ,(i) s : R!M :hol mapping,(ii) � Æ s = idR:
s(r) = (r; (X(r); Y (r)))
8
![Page 9: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/9.jpg)
solution , holomorphi se tion(X; Y ) 2 K2 s(r) = (r; (X(r); Y (r))),for r 2 RMordell's onje ture for se tions� �g(Sr) � 2, M : lo ally non-trivial)℄fholomorphi se tions of (M;�;R)g <1.� �proved by� Manin ('63) and Coleman ('90)� Grauert ('65)� Imayoshi and Shiga ('88)
Problem� �How many holomorphi se tions does(M;�;R) have ?� �Goal� �Our family has at most twelve holomor-phi se tions.� �9
![Page 10: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/10.jpg)
x2.Constru tion of a holomorphi familydue to RieraH = fz 2 C j Imz > 0g� 2 H : �xedbT = C z=(Z + �Z) : torus3 [z℄PSfrag repla ementsT0 1
�PSfrag repla ementsT01�
[0℄[0℄ [0℄
t
t tbTbT C: ut
180Æ
St: two-sheeted bran hed overing surfa e of Tp = [0℄
repli a
T = T n f[0℄gRemark St depends on the hoi e of utC ) St;C. 10
![Page 11: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/11.jpg)
x2.Constru tion of a holomorphi familydue to RieraH = fz 2 C j Imz > 0g� 2 H : �xedbT = C z=(Z + �Z) : torus3 [z℄PSfrag repla ementsT0 1
�PSfrag repla ementsT01�
[0℄
[0℄ [0℄ [0℄t
tt tbT
bT C : ut
180ÆSt : (2;0)
t = [0℄
repli a
T = bT n f[0℄gRemark St depends on the hoi e of utC ) St;C. 11
![Page 12: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/12.jpg)
PSfrag repla ements
[0℄[0℄t C C +ATT
AB
St;Ctype (2;0) St;C+Atype (2;0)St;C �= St;C+A ?
PSfrag repla ements[0℄tCC +ATABSt;Ctype (2;0)St;C+Atype (2;0)[0℄[0℄t C C +2ATT
AB
St;C St;C+2Atype (2;0)Fa t1� �St;C �= St;C+2ASt;C �= St;C+2B� �12
![Page 13: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/13.jpg)
Fa t2� �St;C �= St;C+2AZ+2BZ� �+Essentially there are four uts whi h de-termine di�erent omplex stru tures onSt;C.PSfrag repla ements [0℄t C1C2
C3C4
T TTT
13
![Page 14: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/14.jpg)
bR = C w=(2Z +2�Z) : torus3 [w℄ bRb� : bR ! bT ; [w℄ bR 7! [w℄ : four-sheeted ov-eringPSfrag repla ementsbR
bT0 1 2�2�
1+ �
R = bR n f[0℄ bR; [1℄ bR; [� ℄ bR; [1 + � ℄ bRg� = b�jR : R! T : four-sheeted overing
PSfrag repla ementsbRbT012�2�1+ �r
[0℄ bR[0℄ bReC1R T� �(r) �( eC1)
14
![Page 15: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/15.jpg)
bR = C w=(2Z +2�Z) : torus3 [w℄ bRb� : bR ! bT ; [w℄ bR 7! [w℄ : four-sheeted ov-eringPSfrag repla ementsbR
bT0 1 2�2�
1+ �
R = bR n f[0℄ bR; [1℄ bR; [� ℄ bR; [1 + � ℄ bRg� = b�jR : R! T : four-sheeted overing
PSfrag repla ementsbRbT012�2�1+ �
r[0℄ bR[0℄ bR
eC2eC1
R T� �(r) �( eC1)
15
![Page 16: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/16.jpg)
bR = C w=(2Z +2�Z) : torus3 [w℄ bRb� : bR ! bT ; [w℄ bR 7! [w℄ : four-sheeted ov-eringPSfrag repla ementsbR
bT0 1 2�2�
1+ �
R = bR n f[0℄ bR; [1℄ bR; [� ℄ bR; [1 + � ℄ bRg� = b�jR : R! T : four-sheeted overing
PSfrag repla ementsbRbT012�2�1+ �
r[0℄ bR[0℄ bR
eC2eC1
R T� �(r)�( eC2)
�( eC1)
16
![Page 17: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/17.jpg)
bR = C w=(2Z +2�Z) : torus3 [w℄ bRb� : bR ! bT ; [w℄ bR 7! [w℄ : four-sheeted ov-eringPSfrag repla ementsbR
bT0 1 2�2�
1+ �
R = bR n f[0℄ bR; [1℄ bR; [� ℄ bR; [1 + � ℄ bRg� = b�jR : R! T : four-sheeted overing
PSfrag repla ementsbRbT012�2�1+ �
r[0℄ bR[0℄ bR
~C2~C1
R T� �(r)�( eC2) = �( eC1) + 2A
�( eC1)
17
![Page 18: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/18.jpg)
bR = C w=(2Z +2�Z) : torus3 [w℄ bRb� : bR ! bT ; [w℄ bR 7! [w℄ : four-sheeted ov-eringPSfrag repla ementsbR
bT0 1 2�2�
1+ �
R = bR n f[0℄ bR; [1℄ bR; [� ℄ bR; [1 + � ℄ bRg� = b�jR : R! T : four-sheeted overing
PSfrag repla ementsbRbT012�2�1+ �r
[0℄ bR[0℄ bReC2eC1
R T� �(r)�( eC2) = �( eC1) + 2A
�( eC1)
S�(r);�( eC1) S�(r);�( eC2)18
![Page 19: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/19.jpg)
bR = C w=(2Z +2�Z) : torus3 [w℄ bRb� : bR ! bT ; [w℄ bR 7! [w℄ : four-sheeted ov-eringPSfrag repla ementsbR
bT0 1 2�2�
1+ �
R = bR n f[0℄ bR; [1℄ bR; [� ℄ bR; [1 + � ℄ bRg� = b�jR : R! T : four-sheeted overing
PSfrag repla ementsbRbT012�2�1+ �r
[0℄ bR[0℄ bR~C2~C1
R T� �(r)�( eC2) = �( eC1) + 2A
�( eC1)
S�(r);�( eC1) �= S�(r);�( eC2)19
![Page 20: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/20.jpg)
PSfrag repla ements Sr
bT �r�(r)
�(r)
[0℄
[0℄S�(r);�( eC1) ) Sr.�r : Sr ! bT : two-sheetedbran hed overing.Set M = Gr2Rfrg � Sr;P :M ! R� bT ;(r; q) 7! (r; �r(q))M : two-sheeted bran hed overing sur-fa e bran hed over f(r; [0℄)jr 2 Rg andf(r; �(r))jr 2 Rg.
PSfrag repla ementsSrbT�r�(r)[0℄ bTR
[0℄r�(r)
� = Pr1 Æ P :M ! R� bT ! R;(r; q) 7! (r; �r(q)) 7! rTheorem (Riera('77)),Kodaira('67))� �(M;�;R) is a holomorphi family of Rie-mann surfa es of type (2;0).� �20
![Page 21: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/21.jpg)
x3.Main TheoremMain Theorem� �N : the number of holomorphi se tionsof (M;�;R).(i) 2 � N � 4; if � 6= i; e2�i=3; �1+p7i2 ;(ii) 2 � N � 8; if � = i; �1+p7i2 ;(iii) 2 � N � 12; if � = e2�i=3;where � satis�es the following ondi-tions : (i) Im� > 0 (ii) �1=2 � Re� <1=2, (iii) j� j � 1, (iv) Re� � 0 if j� j = 1.� �PSfrag repla ements H
�12 12iFPSfrag repla ementsH�1212iFM
R
Sr
r�(r) [0℄Remark (M;�;R) has twoholomorphi se tionss0(r) = (r; [0℄) ands�(r) = (r; �(r)) for r 2 R:
2 � N 21
![Page 22: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/22.jpg)
x4. Idea of a proof of main theoremKey Theorem� �Let s : R!M be any holomorphi se -tion and � :M ! bT a holomorphi map-ping de�ned by �(r; q) = �r(q). Then omposite mapping � Æ s : R ! bT has aholomorphi extension bR! bT .� �
PSfrag repla ements
M
P
Rs �(r; q) 7! �r(q)
bTbTbR
g = � Æ sbgegC z C w
\Az+B
r0 2z0 2[0℄�(r)22
![Page 23: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/23.jpg)
Case1PSfrag repla ements M
Rs0s� s
r0Case2
PSfrag repla ementsMRs0s�sr0 M
Rs0s� s
r0Case3
PSfrag repla ementsMRs0s�sr0MRs0s�sr0 M
Rs0s� s
23
![Page 24: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/24.jpg)
Assume s 6= s0 and s 6= s�.Case 1 9r0 2 R, s(r0) = s�(r0).
PSfrag repla ements
M
P
Rs; s� �
bTbTbRg = � Æ s�= � Æ s�bg; b�
~g(z) = Az+B~�(z) = zC z C w\r0 2
z0 2
� Æ s(r0) = � Æ s�(r0)bg(r0) = b�(r0)Az0+B = z0
PSfrag repla ementsMPRs; s��bTbRg = � Æ s� = � Æ s�bg; b�~g(z) = Az+B~�(z) = zC zC w\r0 2z0 2� Æ s(r0) = � Æ s�(r0)bg(r0) = b�(r0)Az0+B = z0R
bT(r; �(r))
�(z0; �)
�(w0; �)(r0; �(r0))M is lo ally written asM : u2 = w � zin C u ��(z0; �)��(w0; �):Set z = z0+ �0ei�; �0 < �.u2 = Az+B � z= A(z0+ �0ei�) +B � (z0+ �0ei�)= (A� 1)�0ei�s is two-valued. ) ontradi tion. 24
![Page 25: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/25.jpg)
Case 2 9r0 2 R, s(r0) = s0(r0).By the same argument as in Case 1, wehave a ontradi tion.Case 3 8r 2 R, s(r) 6= s0(r) ands(r) 6= s0(r) eg(z) = Az+BLemma 1� �B = 0.� �eg(2Z +2�Z) � Z + �Z; ) 9p; q; r; s 2 Z2A= p+ q�; (1)2A� = r+ s�: (2)Lemma 2� �deg(g) � 4.� �ps� qr � 4: (3)
Ne essary ondition for � 2 F is(p+ s)2 < 4(ps� qr): (4)25
![Page 26: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/26.jpg)
Case (i) Fix(eg) =2 L(1; �) = fm+ n�g.The same argument as in Case 1) ontradi tion.Case (ii) Fix(eg) 2 L(1; �).eg may be indu ed from a holomorphi se -tion s. That is,there exists a holomorphi se tion swith s 6= s0 and s 6= s�.Remark s is a holomorphi se tion) jr Æ s is also a holomorphi se tion,PSfrag repla ementsSr
[0℄�(r) jr
where jr is the involution of Srwith two �xed points [0℄ and �(r).� 6= i; e2�i=3; �1+p7i2 ;+Fix(eg) 2 L(1; �) if and only if 2A= 1.) eg(z) = z=2 may be indu ed from a holo-morphi se tion s.N � ℄fs0; s�g+ ℄fs; jr Æ sg= 4: 26
![Page 27: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/27.jpg)
� 2A = p+ q� �xed pointi i (4 + 2i)=5p2i p2i (2 +p2i)=3p3i p3i (2 +p3i)=72i 2i (1 + i)=2e2�i=3 e2�i=3 (5 +p3i)=7(�1+p7i)=2 (�1+p7i)=2 (5 +p7i)=8(�1+p11i)=2 (�1+p11i)=2 (5 +p11i)=9(�1+p15i)=2 (�1+p15i)=2 (5 +p15i)=10i �i (2 + 4i)=5p2i �p2i (2 + 2p2i)=3p3i �p3i (6 + 4p3i)=72i �2i (1 +p3i)=2e2�i=3 �e2�i=3 (3�p3i)=3(�1+p7i)=2 (1�p7i)=2 (5 +p7i)=4(�1+p11i)=2 (1�p11i)=2 (3�p11i)=5(�1+p15i)=2 (1�p15i)=2 (3�p15i)=6i 2i (1 + i)=2(�1+p15i)=4 (�1+p15i)=2 (5 +p15i)=10e2�i=3 2e2�i=3 p3i=3i �2i (1 + i)=2(�1+p15i)=4 (�1+p15i)=2 (3�p15i)=6e2�i=3 �2e2�i=3 latti e point27
![Page 28: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/28.jpg)
� 2A= p+ q� �xed pointany 1 latti e pointe2�i=3 1+ e2�i=3 (3 +p3i)=3(�1+p7i)=2 (1 +p7i)=2 (3 +p7i)=4(�1+p11i)=2 (1 +p11i)=2 (3 +p11i)=5(�1+p15i)=2 (1 +p15i)=2 (3 +p15i)=6i 1+ i latti e pointp2i 1+p2i (1 +p2i)=3p3i 1+p3i (1 +p3i)=2i 1� i latti e pointp2i 1�p2i 2(1�p2i)=3p3i 1�p3i (1�p3i)=2e2�i=3 1� e2�i=3 latti e point(�1+p7i)=2 (3�p7i)=2 latti e pointe2�i=3 1+ 2e2�i=3 2(2 +p3i)=7(�1+p15i)=4 (1 +p15i)=2 (3 +p15i)=6
28
![Page 29: Onohnita/2008/kokusai/Nogi.pdf · N a ij x i j 0 g; a ij 2 k : PSfrag replacements genus g (C) = 2 Mo rdell's conjecture over k g (C) 2] f x; y \ k 2 < 1: 2. x 1. Background of resea](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3fb5b8d46b66d22633650/html5/thumbnails/29.jpg)
� 2A = p+ q� �xed pointany �1 (2 + 2�)=3e2�i=3 �1+ e2�i=3 (7 +p3i)=13(�1+p7i)=2 (�3+p7i)=2 (7 +p7i)=14i �1+ i (3 + i)=5p2i �1+p2i 2(3 + 2p2i)=11p3i �1+p3i (3 +p3i)=6i �1� i (4 + 2i)=5p2i �1�p2i 2(2 + 3p2i)=11p3i �1�p3i (1 +p3i)=2e2�i=3 �1� e2�i=3 (5�p3i)=7(�1+p7i)=2 �(1 +p7i)=2 (5�p7i)=8(�1+p11i)=2 �(1 +p11i)=2 (5�p11i)=9(�1+p15i)=2 �(1 +p15i)=2 (5�p15i)=10(�1+p15i)=4 �(1 +p15i)=2 (5�p15i)=10e2�i=3 �1� e2�i=3 2(2�p3i)=7e2�i=3 2+ e2�i=3 latti e point(�1+p7i)=2 (1 +p7i)=2 latti e pointe2�i=3 2+ 2e2�i=3 latti e pointe2�i=3 �2� e2�i=3 (7�p3i)=13(�1+p7i)=2 �(3 +p7i)=2 (7�p7i)=14e2�i=3 �2� 2e2�i=3 (3�p3i)=629