introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/gonalitat.pdf ·...
TRANSCRIPT
![Page 1: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/1.jpg)
Introducció a la aritmètica de les corbesde gènere alt: Gonalitat
Xavier Xarles
Barcelona
24 de Gener de 2011
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 2: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/2.jpg)
Notacions
k: cos perfecte de característica 0 o característica p ≥ 0 (avegades p 6= 2).
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 3: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/3.jpg)
Notacions
k: cos perfecte de característica 0 o característica p ≥ 0 (avegades p 6= 2).
El cos k serà normalment un cos de nombres.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 4: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/4.jpg)
Notacions
k: cos perfecte de característica 0 o característica p ≥ 0 (avegades p 6= 2).
El cos k serà normalment un cos de nombres.
Corba C: Corba geomètricament connexa, llisa i projectivasobre el cos k.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 5: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/5.jpg)
Com és una corba "típica" de gènereg?
Si el gènere és 0, és una recta, o una cònica, o ...?
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 6: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/6.jpg)
Com és una corba "típica" de gènereg?
Si el gènere és 0, és una recta, o una cònica, o ...?
Si el gènere és 1, és una cúbica?
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 7: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/7.jpg)
Com és una corba "típica" de gènereg?
Si el gènere és 0, és una recta, o una cònica, o ...?
Si el gènere és 1, és una cúbica?
Si el gènere és 2, és hiperel·líptica?
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 8: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/8.jpg)
Com és una corba "típica" de gènereg?
Si el gènere és 0, és una recta, o una cònica, o ...?
Si el gènere és 1, és una cúbica?
Si el gènere és 2, és hiperel·líptica?
Si el gènere és 3, és una quàrtica?
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 9: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/9.jpg)
Com és una corba "típica" de gènereg?
Si el gènere és 0, és una recta, o una cònica, o ...?
Si el gènere és 1, és una cúbica?
Si el gènere és 2, és hiperel·líptica?
Si el gènere és 3, és una quàrtica?
I si el gènere és 4?
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 10: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/10.jpg)
Com és una corba "típica" de gènereg?
Si el gènere és 0, és una recta, o una cònica, o ...?
Si el gènere és 1, és una cúbica?
Si el gènere és 2, és hiperel·líptica?
Si el gènere és 3, és una quàrtica?
I si el gènere és 4?
I si el gènere és 5, 6, etc... ?
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 11: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/11.jpg)
Gènere 0
Tota corba C de gènere 0 sobre un cos és isomorfa a unacònica: i.e. d’equació
a X2 + b Y 2 + c Z2 = 0
per certs a, b, c ∈ k.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 12: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/12.jpg)
Gènere 0
Tota corba C de gènere 0 sobre un cos és isomorfa a unacònica: i.e. d’equació
a X2 + b Y 2 + c Z2 = 0
per certs a, b, c ∈ k.
Si C(k) 6= ∅, aleshores C ∼= P1.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 13: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/13.jpg)
Gènere 0
Tota corba C de gènere 0 sobre un cos és isomorfa a unacònica: i.e. d’equació
a X2 + b Y 2 + c Z2 = 0
per certs a, b, c ∈ k.
Si C(k) 6= ∅, aleshores C ∼= P1.
Si C té un k-divisor de grau senar, aleshores C ∼= P1.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 14: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/14.jpg)
Divisors i morfismes aPn.
Sigui C una corba de gènere g, i D un divisor k-racional degrau d, amb fibrat de línia associat O(D).
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 15: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/15.jpg)
Divisors i morfismes aPn.
Sigui C una corba de gènere g, i D un divisor k-racional degrau d, amb fibrat de línia associat O(D).
Denotem per
L(D) := {f : C → P1 | div(f) +D ≥ 0}
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 16: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/16.jpg)
Divisors i morfismes aPn.
Sigui C una corba de gènere g, i D un divisor k-racional degrau d, amb fibrat de línia associat O(D).
Denotem per
L(D) := {f : C → P1 | div(f) +D ≥ 0}
Teorema de Riemann-Roch (R-R):
dimL(D) + dimL(K −D) = degD − g + 1
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 17: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/17.jpg)
Divisors i morfismes aPn.
Sigui C una corba de gènere g, i D un divisor k-racional degrau d, amb fibrat de línia associat O(D).
Denotem per
L(D) := {f : C → P1 | div(f) +D ≥ 0}
Teorema de Riemann-Roch (R-R):
dimL(D) + dimL(K −D) = degD − g + 1
Donat un divisor efectiu k-racional D de grau ≥ g + 1, tenimque dimL(D) > 1 (R.R.).
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 18: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/18.jpg)
Divisors i morfismes aPn.
Sigui C una corba de gènere g, i D un divisor k-racional degrau d, amb fibrat de línia associat O(D).
Denotem per
L(D) := {f : C → P1 | div(f) +D ≥ 0}
Teorema de Riemann-Roch (R-R):
dimL(D) + dimL(K −D) = degD − g + 1
Donat un divisor efectiu k-racional D de grau ≥ g + 1, tenimque dimL(D) > 1 (R.R.).
Un divisor efectiu k-racional D tal que ℓ := dimL(D) > 1 ensdetermina un morfisme f : C → Pℓ−1.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 19: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/19.jpg)
Gènere 0: Perquè?
Tota corba C de gènere 0 té algun divisor k-racional degrau 2: un divisor anticanònic −K.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 20: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/20.jpg)
Gènere 0: Perquè?
Tota corba C de gènere 0 té algun divisor k-racional degrau 2: un divisor anticanònic −K.
(Recordem que deg(K) = 2g − 2, on g és el gènere de lacorba C.)
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 21: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/21.jpg)
Gènere 0: Perquè?
Tota corba C de gènere 0 té algun divisor k-racional degrau 2: un divisor anticanònic −K.
(Recordem que deg(K) = 2g − 2, on g és el gènere de lacorba C.)
R-R ens diu que L(−K) = 3. A més és molt ample.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 22: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/22.jpg)
Gènere 0: Perquè?
Tota corba C de gènere 0 té algun divisor k-racional degrau 2: un divisor anticanònic −K.
(Recordem que deg(K) = 2g − 2, on g és el gènere de lacorba C.)
R-R ens diu que L(−K) = 3. A més és molt ample.
Per tant, D ens determina una immersió a P2 com a unacorba de grau 2.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 23: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/23.jpg)
Gènere 0: Perquè?
Tota corba C de gènere 0 té algun divisor k-racional degrau 2: un divisor anticanònic −K.
(Recordem que deg(K) = 2g − 2, on g és el gènere de lacorba C.)
R-R ens diu que L(−K) = 3. A més és molt ample.
Per tant, D ens determina una immersió a P2 com a unacorba de grau 2.
Si tinguéssim un divisor de grau 1, ens donaria unmorfisme de grau 1 a P1.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 24: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/24.jpg)
Gènere 1
Tota corba C de gènere 1 amb un punt k-racional P ésisomorfa a una corba el·líptica en forma de Weierstrass.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 25: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/25.jpg)
Gènere 1
Tota corba C de gènere 1 amb un punt k-racional P ésisomorfa a una corba el·líptica en forma de Weierstrass.
(El divisor 2P té grau 2, i ens dona el morfisme de grau 2 aP1.)
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 26: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/26.jpg)
Gènere 1
Tota corba C de gènere 1 amb un punt k-racional P ésisomorfa a una corba el·líptica en forma de Weierstrass.
(El divisor 2P té grau 2, i ens dona el morfisme de grau 2 aP1.)
Donat un cos de nombres k qualsevol i un n ≥ 2, hi hainfinites corbes de gènere 1 amb gonalitat n sobre k.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 27: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/27.jpg)
Gonalitat
Donada una corba C de gènere g sobre un cos k, lagonalitat sobre k de C, γk(C), és el mínim grau d’unmorfisme f : C → P1.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 28: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/28.jpg)
Gonalitat
Donada una corba C de gènere g sobre un cos k, lagonalitat sobre k de C, γk(C), és el mínim grau d’unmorfisme f : C → P1.
(Compte: Hi ha qui defineix la gonalitat com la gonalitat a laclausura algebraica.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 29: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/29.jpg)
Gonalitat
Donada una corba C de gènere g sobre un cos k, lagonalitat sobre k de C, γk(C), és el mínim grau d’unmorfisme f : C → P1.
(Compte: Hi ha qui defineix la gonalitat com la gonalitat a laclausura algebraica.
També n’hi ha que sols ho defineixen per a corbes ambg > 1.)
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 30: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/30.jpg)
Gonalitat: Exemples
g = 0 implica γk ≤ 2
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 31: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/31.jpg)
Gonalitat: Exemples
g = 0 implica γk ≤ 2
g = 0 i ∃D divisor de grau 1 si i només si γk = 1
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 32: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/32.jpg)
Gonalitat: Exemples
g = 0 implica γk ≤ 2
g = 0 i ∃D divisor de grau 1 si i només si γk = 1
g = 1 i C(k) 6= ∅ implica γk = 2.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 33: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/33.jpg)
Gonalitat: Exemples
g = 0 implica γk ≤ 2
g = 0 i ∃D divisor de grau 1 si i només si γk = 1
g = 1 i C(k) 6= ∅ implica γk = 2.
γk = 2 i g ≥ 2, diem que C és hiperel·líptica.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 34: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/34.jpg)
Gonalitat: Exemples
g = 0 implica γk ≤ 2
g = 0 i ∃D divisor de grau 1 si i només si γk = 1
g = 1 i C(k) 6= ∅ implica γk = 2.
γk = 2 i g ≥ 2, diem que C és hiperel·líptica.
γk = 3 i g ≥ 2, diem que C és trigonal.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p.
![Page 35: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/35.jpg)
Gènere 2
Tota corba C de gènere 2 sobre un cos k té gonalitat 2sobre k.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 10
![Page 36: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/36.jpg)
Gènere 2
Tota corba C de gènere 2 sobre un cos k té gonalitat 2sobre k.
Tota corba de gènere 2 és hiperel·líptica, donada per unmodel pla (singular) amb una equació de la forma
y2 = p(x)
amb deg(p(x)) = 6.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 10
![Page 37: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/37.jpg)
Gènere 2
Tota corba C de gènere 2 sobre un cos k té gonalitat 2sobre k.
Tota corba de gènere 2 és hiperel·líptica, donada per unmodel pla (singular) amb una equació de la forma
y2 = p(x)
amb deg(p(x)) = 6.
(En general, una corba hiperel·líptica de gènere g és de laforma anterior amb deg(p(x)) = 2g + 2.)
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 10
![Page 38: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/38.jpg)
Gènere 2: Perquè?
Tota corba C de gènere 2 sobre un cos k té un divisorracional de grau 2: el canònic K.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 11
![Page 39: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/39.jpg)
Gènere 2: Perquè?
Tota corba C de gènere 2 sobre un cos k té un divisorracional de grau 2: el canònic K.
R-R ens diu que dimL(K) = g = 2.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 11
![Page 40: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/40.jpg)
Gènere 2: Perquè?
Tota corba C de gènere 2 sobre un cos k té un divisorracional de grau 2: el canònic K.
R-R ens diu que dimL(K) = g = 2.
Obtenim un morfisme φ : C → Pg−1 = P1 de grau 2.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 11
![Page 41: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/41.jpg)
Gènere 3
Tota corba C de gènere 3 és
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 12
![Page 42: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/42.jpg)
Gènere 3
Tota corba C de gènere 3 és o hiperel·líptica o quàrtica aP2.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 12
![Page 43: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/43.jpg)
Gènere 3
Tota corba C de gènere 3 és o geomètricamenthiperel·líptica o quàrtica a P2.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 12
![Page 44: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/44.jpg)
Gènere 3
Tota corba C de gènere 3 és o geomètricamenthiperel·líptica o quàrtica a P2.Exemple.
C :y2 = −x2 − 1
z2 = x3 + 1
}
⊂ A3
té un morfisme de grau 2 a la cònica d’equació
x2 + y2 = −1,
que no té punts a Q. Té gènere 3 i no és hiperel·lípticasobre Q.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 12
![Page 45: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/45.jpg)
Més sobre corbes hiperel·líptiques
Tota corba C hiperel·líptica sobre k té un únic morfisme ψde grau 2 a P1.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 13
![Page 46: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/46.jpg)
Més sobre corbes hiperel·líptiques
Tota corba C hiperel·líptica sobre k té un únic morfisme ψde grau 2 a P1.
El morfisme φ : C → Pg−1 associat al feix canonic K és lacomposició de ψ amb el morfisme de Veroneseν : P1 → Pg−1 donat per
ν(x) = [1 : x : x2 : · · · : xg−1].
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 13
![Page 47: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/47.jpg)
Més sobre corbes hiperel·líptiques
Tota corba C hiperel·líptica sobre k té un únic morfisme ψde grau 2 a P1.
El morfisme φ : C → Pg−1 associat al feix canonic K és lacomposició de ψ amb el morfisme de Veroneseν : P1 → Pg−1 donat per
ν(x) = [1 : x : x2 : · · · : xg−1].
Demostració: Preneu com a base del feix ω els diferencials
dx
y, x
dx
y, . . . , xg−1dx
y.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 13
![Page 48: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/48.jpg)
Més sobre corbes hiperel·líptiques II
Teorema (Mestre)Tota corba C sobre un cos k, de gènere parell, ihiperel·líptica sobre la clausura algebraica de k, éshiperel·líptica sobre k.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 14
![Page 49: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/49.jpg)
Més sobre corbes hiperel·líptiques II
Teorema (Mestre)Tota corba C sobre un cos k, de gènere parell, ihiperel·líptica sobre la clausura algebraica de k, éshiperel·líptica sobre k.
Demostració:La imatge del morfisme φ : C → Pg−1 associat al feixcanonic K és una corba de gènere 0 i grau g − 1 a Pg−1.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 14
![Page 50: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/50.jpg)
Més sobre corbes hiperel·líptiques II
Teorema (Mestre)Tota corba C sobre un cos k, de gènere parell, ihiperel·líptica sobre la clausura algebraica de k, éshiperel·líptica sobre k.
Demostració:La imatge del morfisme φ : C → Pg−1 associat al feixcanonic K és una corba de gènere 0 i grau g − 1 a Pg−1.
Qualsevol secció hiperplana ens dona un divisor k-racionalde grau g − 1, senar.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 14
![Page 51: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/51.jpg)
Més sobre corbes hiperel·líptiques III
Sigui k un cos en que no tota cónica té punts. Per a tot gsenar, hi ha corbes C sobre k, de gènere g, hiperel·líptiquessobre la clausura algebraica de k, i no sobre k.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 15
![Page 52: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/52.jpg)
Més sobre corbes hiperel·líptiques III
Sigui k un cos en que no tota cónica té punts. Per a tot gsenar, hi ha corbes C sobre k, de gènere g, hiperel·líptiquessobre la clausura algebraica de k, i no sobre k.Exemple. Prenem una cónica sense punts a k donada pery2 = p(x), deg p(x) = 2. Prenem un polinomi q(x) ambdeg q(x) = g (o g + 1), amb p(x)q(x) sense arrels repetides.Considerem
C :y2 = p(x)
z2 = q(x)
}
⊂ A3.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 15
![Page 53: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/53.jpg)
Més sobre corbes hiperel·líptiques III
Sigui k un cos en que no tota cónica té punts. Per a tot gsenar, hi ha corbes C sobre k, de gènere g, hiperel·líptiquessobre la clausura algebraica de k, i no sobre k.Exemple. Prenem una cónica sense punts a k donada pery2 = p(x), deg p(x) = 2. Prenem un polinomi q(x) ambdeg q(x) = g (o g + 1), amb p(x)q(x) sense arrels repetides.Considerem
C :y2 = p(x)
z2 = q(x)
}
⊂ A3.
Observeu que tenim dos morfismes a corbeshiperel·líptiques donades per H1 : y2 = q(x) iH2 : y2 = p(x)q(x). Es pot veure que JacC ∼ JacH1 ×JacH2.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 15
![Page 54: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/54.jpg)
Gènere 3: Perquè?
ProposicióSigui C una corba de gènere g > 2 i no geomètricamenthiperel·líptica. Aleshores el morfisme φ : C → Pg−1 és unaimmersió (la immersió canònica), i la seva imatge és unacorba de grau 2g − 2.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 16
![Page 55: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/55.jpg)
Gènere 3: Perquè?
ProposicióSigui C una corba de gènere g > 2 i no geomètricamenthiperel·líptica. Aleshores el morfisme φ : C → Pg−1 és unaimmersió (la immersió canònica), i la seva imatge és unacorba de grau 2g − 2.
Dit d’una altre manera, el feix canònic K és molt ample si inomés sí C no és geomètricament hiperel·líptica
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 16
![Page 56: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/56.jpg)
Gènere 3: Perquè?
ProposicióSigui C una corba de gènere g > 2 i no geomètricamenthiperel·líptica. Aleshores el morfisme φ : C → Pg−1 és unaimmersió (la immersió canònica), i la seva imatge és unacorba de grau 2g − 2.
Dit d’una altre manera, el feix canònic K és molt ample si inomés sí C no és geomètricament hiperel·líptica
En el cas g = 3, obtenim que C és aleshores una quàrtica aP2.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 16
![Page 57: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/57.jpg)
Gènere 3 i gonalitat
C una corba de gènere 3.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 17
![Page 58: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/58.jpg)
Gènere 3 i gonalitat
C una corba de gènere 3.
C hiperel·líptica ⇔ γ = 2
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 17
![Page 59: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/59.jpg)
Gènere 3 i gonalitat
C una corba de gènere 3.
C hiperel·líptica ⇔ γ = 2
C geomètricament hiperel·líptica ⇒ γ = 4
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 17
![Page 60: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/60.jpg)
Gènere 3 i gonalitat
C una corba de gènere 3.
C hiperel·líptica ⇔ γ = 2
C geomètricament hiperel·líptica ⇒ γ = 4
C quàrtica plana. AleshoresC(k) 6= ∅ ⇔ γ = 3.Si no, γ = 4
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 17
![Page 61: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/61.jpg)
Gènere 4
Sigui C una corba de gènere g = 4. Aleshores
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 18
![Page 62: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/62.jpg)
Gènere 4
Sigui C una corba de gènere g = 4. Aleshores
C és hiperel·líptica o
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 18
![Page 63: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/63.jpg)
Gènere 4
Sigui C una corba de gènere g = 4. Aleshores
C és hiperel·líptica o
φ(C) ⊂ P3 és la intersecció d’una quàdrica i una cúbica.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 18
![Page 64: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/64.jpg)
Gènere 4
Sigui C una corba de gènere g = 4. Aleshores
C és hiperel·líptica o
φ(C) ⊂ P3 és la intersecció d’una quàdrica i una cúbica.
Exemple:
x2 + z2 = t2
y3 + xy2 + xt2 = xz2 + yz2
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 18
![Page 65: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/65.jpg)
Gènere 4
Sigui C una corba de gènere g = 4. Aleshores
C és hiperel·líptica o
φ(C) ⊂ P3 és la intersecció d’una quàdrica i una cúbica.
Exemple:
x2 + z2 = t2
y3 + xy2 + xt2 = xz2 + yz2
Exercici: C té morfismes de grau 2 a les corbes el·líptiquesdonades per
y2 = x3 + x2 + x+ 1 i y2 = x3 + x+ 1.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 18
![Page 66: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/66.jpg)
Teoremes
Teorema (Max Noether)Sigui C una corba de gènere g > 2, no hiperel·líptica.Aleshores φ(C) està dins de (g − 2)(g − 3)/2 quàrtiquesindependents.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 19
![Page 67: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/67.jpg)
Teoremes
Teorema (Max Noether)Sigui C una corba de gènere g > 2, no hiperel·líptica.Aleshores φ(C) està dins de (g − 2)(g − 3)/2 quàrtiquesindependents.
Teorema (Enriques-Babbage i Petri)Sigui C una corba de gènere g > 2, no hiperel·líptica.Aleshores φ(C) és la intersecció de quàrtiques i cúbiques.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 19
![Page 68: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/68.jpg)
Teoremes
Teorema (Max Noether)Sigui C una corba de gènere g > 2, no hiperel·líptica.Aleshores φ(C) està dins de (g − 2)(g − 3)/2 quàrtiquesindependents.
Teorema (Enriques-Babbage i Petri)Sigui C una corba de gènere g > 2, no hiperel·líptica.Aleshores φ(C) és la intersecció de quàrtiques i cúbiques.
A més, φ(C) és la intersecció de quàrtiques si i només si noés ni trigonal ni una quíntica plana.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 19
![Page 69: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/69.jpg)
Gènere 4 i Gonalitat
Sigui C una corba de gènere g = 4 sobre un cos k.Aleshores
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 20
![Page 70: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/70.jpg)
Gènere 4 i Gonalitat
Sigui C una corba de gènere g = 4 sobre un cos k.Aleshores
γ(C) = 2 ⇔ γ(C) = 2 ⇔ és hiperel·líptica.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 20
![Page 71: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/71.jpg)
Gènere 4 i Gonalitat
Sigui C una corba de gènere g = 4 sobre un cos k.Aleshores
γ(C) = 2 ⇔ γ(C) = 2 ⇔ és hiperel·líptica.
γ(C) = 3 ⇔ no és hiperel·líptica.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 20
![Page 72: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/72.jpg)
Gènere 4 i Gonalitat
Sigui C una corba de gènere g = 4 sobre un cos k.Aleshores
γ(C) = 2 ⇔ γ(C) = 2 ⇔ és hiperel·líptica.
γ(C) = 3 ⇔ no és hiperel·líptica.
γ(C) ≤ 6
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 20
![Page 73: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/73.jpg)
Gènere 4 i Gonalitat
Sigui C una corba de gènere g = 4 sobre un cos k.Aleshores
γ(C) = 2 ⇔ γ(C) = 2 ⇔ és hiperel·líptica.
γ(C) = 3 ⇔ no és hiperel·líptica.
γ(C) ≤ 6
Si C(k) 6= ∅, aleshores γ(C) ≤ 4.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 20
![Page 74: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/74.jpg)
Gènere 4 i Gonalitat
Sigui C una corba de gènere g = 4 sobre un cos k.Aleshores
γ(C) = 2 ⇔ γ(C) = 2 ⇔ és hiperel·líptica.
γ(C) = 3 ⇔ no és hiperel·líptica.
γ(C) ≤ 6
Si C(k) 6= ∅, aleshores γ(C) ≤ 4.
Hi ha exemples de cossos k i corbes C sobre k ambg(C) = 4 i γ(C) = i per i = 2, 3, 4, 6.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 20
![Page 75: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/75.jpg)
Gènere 5
Sigui C una corba de gènere g = 5 sobre un cos k.Aleshores
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 21
![Page 76: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/76.jpg)
Gènere 5
Sigui C una corba de gènere g = 5 sobre un cos k.Aleshores
γ(C) = 2 ⇔ és geomètricament hiperel·líptica.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 21
![Page 77: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/77.jpg)
Gènere 5
Sigui C una corba de gènere g = 5 sobre un cos k.Aleshores
γ(C) = 2 ⇔ és geomètricament hiperel·líptica.
γ(C) = 3 ⇔ φ(C) és intersecció de 3 quàdriques i 2cúbiques a P4.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 21
![Page 78: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/78.jpg)
Gènere 5
Sigui C una corba de gènere g = 5 sobre un cos k.Aleshores
γ(C) = 2 ⇔ és geomètricament hiperel·líptica.
γ(C) = 3 ⇔ φ(C) és intersecció de 3 quàdriques i 2cúbiques a P4.
γ(C) = 4 ⇔ φ(C) és intersecció de 3 quàdriques a P4.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 21
![Page 79: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/79.jpg)
Gènere 5
Sigui C una corba de gènere g = 5 sobre un cos k.Aleshores
γ(C) = 2 ⇔ és geomètricament hiperel·líptica.
γ(C) = 3 ⇔ φ(C) és intersecció de 3 quàdriques i 2cúbiques a P4.
γ(C) = 4 ⇔ φ(C) és intersecció de 3 quàdriques a P4.
El cas trigonal no és intersecció completa.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 21
![Page 80: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/80.jpg)
Gènere 5: Exemples
Exemple: La següent corba té gènere 5 i gonalitat 4:
C :
2x20 − 3x2
1 + x22 = 0,
5x20 − 6x2
1 + x23 = 0,
9x20 −10x2
1 + x24 = 0,
⊂ P5
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 22
![Page 81: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/81.jpg)
Gènere 5: Exemples
Exemple: La següent corba té gènere 5 i gonalitat 4:
C :
2x20 − 3x2
1 + x22 = 0,
5x20 − 6x2
1 + x23 = 0,
9x20 −10x2
1 + x24 = 0,
⊂ P5
Podeu comprovar que té 5 morfismes diferents a les corbesel·líptiques,E0 = 1680G2, E1 = 20160BG2, E2 = 960H2 , E3 = 840H2and E4 = 360E2.i que la jacobiana és isogena al seu producte.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 22
![Page 82: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/82.jpg)
Gènere 5: Exemples
Exemple: La corba donada amb una equació planasingular, té gènere 5 i gonalitat 3:X5 +XY 3Z + Z5 = 0.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 23
![Page 83: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/83.jpg)
Gènere 5: Exemples
Exemple: La corba donada amb una equació planasingular, té gènere 5 i gonalitat 3:X5 +XY 3Z + Z5 = 0.
La imatge de la immersió canònica és
φ(C) :
x1x2 = x0x3
x1x3 = x0x4
x23 = x2x4
x20x1 + x3
2 +x3x24 = 0
x0x21 + x2
2x3 +x34 = 0
⊂ P4
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 23
![Page 84: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/84.jpg)
Teoremes de Gonalitat
k cos. C una corba sobre k, de genere g > 1 i gonalitat γ.
γ(C) ≤ 2g − 2 i es dóna la igualtat.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 24
![Page 85: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/85.jpg)
Teoremes de Gonalitat
k cos. C una corba sobre k, de genere g > 1 i gonalitat γ.
γ(C) ≤ 2g − 2 i es dóna la igualtat.
Si C(k) 6= ∅, aleshores γ(C) ≤ g i es dóna la igualtat.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 24
![Page 86: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/86.jpg)
Teoremes de Gonalitat
k cos. C una corba sobre k, de genere g > 1 i gonalitat γ.
γ(C) ≤ 2g − 2 i es dóna la igualtat.
Si C(k) 6= ∅, aleshores γ(C) ≤ g i es dóna la igualtat.
Si k = k, aleshores γ(C) ≤⌊
g+32
⌋
i hi ha exemples per
tots els valors intermedis ≥ 2.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 24
![Page 87: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/87.jpg)
Teoremes de Gonalitat
k cos. C una corba sobre k, de genere g > 1 i gonalitat γ.
γ(C) ≤ 2g − 2 i es dóna la igualtat.
Si C(k) 6= ∅, aleshores γ(C) ≤ g i es dóna la igualtat.
Si k = k, aleshores γ(C) ≤⌊
g+32
⌋
i hi ha exemples per
tots els valors intermedis ≥ 2.
Si f : C → C ′ és un morfisme no constant k-definit,aleshores γ(C) ≤ deg(f)γ(C ′) i γ(C ′) ≤ γ(C).
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 24
![Page 88: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/88.jpg)
Com calcular (cotes per) la gonalitat?
k cos. C una corba sobre k, de genere g > 1 i gonalitat γ.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 25
![Page 89: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/89.jpg)
Com calcular (cotes per) la gonalitat?
k cos. C una corba sobre k, de genere g > 1 i gonalitat γ.
Calculant γ(C) ≤ γ via "mètodes cohomològics" (conjecturade Green).
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 25
![Page 90: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/90.jpg)
Com calcular (cotes per) la gonalitat?
k cos. C una corba sobre k, de genere g > 1 i gonalitat γ.
Calculant γ(C) ≤ γ via "mètodes cohomològics" (conjecturade Green).
Es una generalització dels mètodes utilitzant la formacanònica per saber si és hiperel·líptica o trigonal (o quínticaplana)
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 25
![Page 91: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/91.jpg)
Com calcular (cotes per) la gonalitat? II
k cos FINIT. C una corba sobre k, de genere g > 1 igonalitat γ.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 26
![Page 92: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/92.jpg)
Com calcular (cotes per) la gonalitat? II
k cos FINIT. C una corba sobre k, de genere g > 1 igonalitat γ.
Calculant ♯C(k).
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 26
![Page 93: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/93.jpg)
Com calcular (cotes per) la gonalitat? II
k cos FINIT. C una corba sobre k, de genere g > 1 igonalitat γ.
Calculant ♯C(k).
Si tenim un morfisme f : C → P1 de grau d, aleshores
♯C(k) ≤ d♯P1(k) = d(♯k + 1)
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 26
![Page 94: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/94.jpg)
Com calcular (cotes per) la gonalitat? II
k cos FINIT. C una corba sobre k, de genere g > 1 igonalitat γ.
Calculant ♯C(k).
Si tenim un morfisme f : C → P1 de grau d, aleshores
♯C(k) ≤ d♯P1(k) = d(♯k + 1)
Per tant
γ ≥♯C(k)
♯k + 1
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 26
![Page 95: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/95.jpg)
Com calcular (cotes per) la gonalitat? III
k cos GLOBAL . C una corba sobre k, de genere g > 1 igonalitat γ.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 27
![Page 96: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/96.jpg)
Com calcular (cotes per) la gonalitat? III
k cos GLOBAL . C una corba sobre k, de genere g > 1 igonalitat γ.
Calculant ♯C(k℘), on k℘ és el cos residual a un primer debona reducció.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 27
![Page 97: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/97.jpg)
Com calcular (cotes per) la gonalitat? III
k cos GLOBAL . C una corba sobre k, de genere g > 1 igonalitat γ.
Calculant ♯C(k℘), on k℘ és el cos residual a un primer debona reducció.
Això es degut a que
γ(Ck) ≥ γ(Ck℘) ≥
♯C(k℘)
♯k℘ + 1
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 27
![Page 98: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/98.jpg)
Com calcular (cotes per) la gonalitat? IV
L/k una extensió de cossos. C una corba sobre k, degenere g > 1, i γ(Ck) = γ
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 28
![Page 99: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/99.jpg)
Com calcular (cotes per) la gonalitat? IV
L/k una extensió de cossos. C una corba sobre k, degenere g > 1, i γ(Ck) = γ
Suposem C(k) 6= ∅.
Aleshores(γ(CL) − 1)2 ≥ γ(Ck)
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 28
![Page 100: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/100.jpg)
Com calcular (cotes per) la gonalitat? IV
L/k una extensió de cossos. C una corba sobre k, degenere g > 1, i γ(Ck) = γ
Suposem C(k) 6= ∅.
Aleshores(γ(CL) − 1)2 ≥ γ(Ck)
Degut principalment a la desigualtat deCasnelnuovo-Severi.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 28
![Page 101: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/101.jpg)
Com calcular (cotes per) la gonalitat? IV
L/k una extensió de cossos. C una corba sobre k, degenere g > 1, i γ(Ck) = γ
Suposem C(k) 6= ∅.
Aleshores(γ(CL) − 1)2 ≥ γ(Ck)
Degut principalment a la desigualtat deCasnelnuovo-Severi.Combinat amb els anteriors podem obtenir cotes inferiorsde la gonalitat sobre qualsevol cos, i es especialment útilper a "corbes modulars".
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 28
![Page 102: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/102.jpg)
Exemple: corbes modulars
Sigui X0(N) → X un morfisme dominant definit sobre Q,amb X una corba de gènere g ≥ 2. Sigui p un primer queno divideixi N . Aleshores
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 29
![Page 103: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/103.jpg)
Exemple: corbes modulars
Sigui X0(N) → X un morfisme dominant definit sobre Q,amb X una corba de gènere g ≥ 2. Sigui p un primer queno divideixi N . Aleshores
X té bona reducció a p, i, comptant "punts supersingulars",tenim que
(p− 1)(g − 1) ≤ ♯X(Fp2)
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 29
![Page 104: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/104.jpg)
Exemple: corbes modulars
Sigui X0(N) → X un morfisme dominant definit sobre Q,amb X una corba de gènere g ≥ 2. Sigui p un primer queno divideixi N . Aleshores
X té bona reducció a p, i, comptant "punts supersingulars",tenim que
(p− 1)(g − 1) ≤ ♯X(Fp2)
Per tant
γ(XQ) ≥ γ(XFp) ≥ γ(XF
p2) ≥
(g − 1)(p− 1)
p2 + 1
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 29
![Page 105: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/105.jpg)
Aritmètica i Gonalitat
k cos de nombres. C una corba sobre k, de genere g igonalitat γ.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 30
![Page 106: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/106.jpg)
Aritmètica i Gonalitat
k cos de nombres. C una corba sobre k, de genere g igonalitat γ.Definim els punts de grau d de C som el conjunt
Cd(k) := {P ∈ C(k) | [k(P ) : k] = d}.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 30
![Page 107: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/107.jpg)
Aritmètica i Gonalitat
k cos de nombres. C una corba sobre k, de genere g igonalitat γ.Definim els punts de grau d de C som el conjunt
Cd(k) := {P ∈ C(k) | [k(P ) : k] = d}.
Podem definir una aplicació d-a-1 de Cd(k) al productesimètric C(d)(k) donada per
P 7→∑
σ:K(P )→k
σ(P ).
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 30
![Page 108: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/108.jpg)
Aritmètica i Gonalitat II
Teorema (Frey, Abramovich, Harris)Si γ > 2d, aleshores Cd(k) és finit.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 31
![Page 109: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/109.jpg)
Aritmètica i Gonalitat II
Teorema (Frey, Abramovich, Harris)Si γ > 2d, aleshores Cd(k) és finit.
Idea demostració: Considerem l’aplicació "suma"
C(d) → Jac(C)
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 31
![Page 110: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/110.jpg)
Aritmètica i Gonalitat II
Teorema (Frey, Abramovich, Harris)Si γ > 2d, aleshores Cd(k) és finit.
Idea demostració: Considerem l’aplicació "suma"
C(d) → Jac(C)
Com que γ > d), podem veure que l’aplicació és injectiva anivell dels punts k-racionals. Denotem (com és habitual) laimatge de C(d)(k) per Wd(C)(k).
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 31
![Page 111: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/111.jpg)
Aritmètica i Gonalitat II
Teorema (Frey, Abramovich, Harris)Si γ > 2d, aleshores Cd(k) és finit.
Idea demostració: Considerem l’aplicació "suma"
C(d) → Jac(C)
Com que γ > d), podem veure que l’aplicació és injectiva anivell dels punts k-racionals. Denotem (com és habitual) laimatge de C(d)(k) per Wd(C)(k).El punt clau es veure que γ > 2d implica que Wd(C)(k) noconté cap traslladat d’una subvarietat abeliana.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 31
![Page 112: Introducció a la aritmètica de les corbes de gènere alt ...mat.uab.es/~xarles/Gonalitat.pdf · Introducció a la aritmètica de les corbes de gènere alt: Gonalitat Xavier Xarles](https://reader036.vdocuments.net/reader036/viewer/2022081600/6024d95da188586e7f315a7d/html5/thumbnails/112.jpg)
Aritmètica i Gonalitat II
Teorema (Frey, Abramovich, Harris)Si γ > 2d, aleshores Cd(k) és finit.
Idea demostració: Considerem l’aplicació "suma"
C(d) → Jac(C)
Com que γ > d), podem veure que l’aplicació és injectiva anivell dels punts k-racionals. Denotem (com és habitual) laimatge de C(d)(k) per Wd(C)(k).El punt clau es veure que γ > 2d implica que Wd(C)(k) noconté cap traslladat d’una subvarietat abeliana.Finalment, pel teorema de Faltings (Mordell generalitat),deduïm que Wd(C)(K), i, per tant, C(d)(k) és finit.
Introducci o a la aritm etica de les corbes de g enere alt: Gonalitat – p. 31