Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F...
Transcript of Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F...
![Page 1: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/1.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Pontos de Weierstrassem
Extensões de Kummer
Miriam Abdón
UFF
Campinas, 15 de Setembro de 2017
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 2: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/2.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
I Herivelto Borges (USP, São Carlos)
I Luciane Quoos (UFRJ, Rio de Janeiro)
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 3: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/3.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
I Herivelto Borges (USP, São Carlos)
I Luciane Quoos (UFRJ, Rio de Janeiro)
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 4: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/4.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Organização
I Introdução
I Teorema Principal
I Aplicações
I Curvas Maximais
I Pontos de Weierstrass Totalmente Rami�cados
I Extensões de Kummer Separáveis
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 5: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/5.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Organização
I Introdução
I Teorema Principal
I Aplicações
I Curvas Maximais
I Pontos de Weierstrass Totalmente Rami�cados
I Extensões de Kummer Separáveis
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 6: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/6.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Organização
I Introdução
I Teorema Principal
I Aplicações
I Curvas Maximais
I Pontos de Weierstrass Totalmente Rami�cados
I Extensões de Kummer Separáveis
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 7: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/7.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Organização
I Introdução
I Teorema Principal
I Aplicações
I Curvas Maximais
I Pontos de Weierstrass Totalmente Rami�cados
I Extensões de Kummer Separáveis
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 8: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/8.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Organização
I Introdução
I Teorema Principal
I Aplicações
I Curvas Maximais
I Pontos de Weierstrass Totalmente Rami�cados
I Extensões de Kummer Separáveis
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 9: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/9.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Organização
I Introdução
I Teorema Principal
I Aplicações
I Curvas Maximais
I Pontos de Weierstrass Totalmente Rami�cados
I Extensões de Kummer Separáveis
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 10: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/10.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Seja F/K um corpo de funções algébricas em uma variável, onde Ké algebricamente fechado de característica p ≥ 0.
Denotamos por P(F ) o conjunto de todos os lugares F e por
DF o grupo abeliano livre gerado pelos lugares de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 11: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/11.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Seja F/K um corpo de funções algébricas em uma variável, onde Ké algebricamente fechado de característica p ≥ 0.
Denotamos por P(F ) o conjunto de todos os lugares F e por
DF o grupo abeliano livre gerado pelos lugares de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 12: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/12.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Seja F/K um corpo de funções algébricas em uma variável, onde Ké algebricamente fechado de característica p ≥ 0.
Denotamos por P(F ) o conjunto de todos os lugares F e por
DF o grupo abeliano livre gerado pelos lugares de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 13: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/13.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Seja F/K um corpo de funções algébricas em uma variável, onde Ké algebricamente fechado de característica p ≥ 0.
Denotamos por P(F ) o conjunto de todos os lugares F e por
DF o grupo abeliano livre gerado pelos lugares de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 14: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/14.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Seja F/K um corpo de funções algébricas em uma variável, onde Ké algebricamente fechado de característica p ≥ 0.
Denotamos por P(F ) o conjunto de todos os lugares F e por
DF o grupo abeliano livre gerado pelos lugares de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 15: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/15.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Divisores
Os elementos D em DF são chamados divisores e podem serescritos como,
D =∑
P∈P(F )
nP P com nP ∈ Z, e quase todos nP = 0.
O grau de divisor D é deg(D) =∑
P∈P(F )nP .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 16: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/16.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Divisores
Os elementos D em DF são chamados divisores e podem serescritos como,
D =∑
P∈P(F )
nP P com nP ∈ Z, e quase todos nP = 0.
O grau de divisor D é deg(D) =∑
P∈P(F )nP .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 17: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/17.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Divisores
Os elementos D em DF são chamados divisores e podem serescritos como,
D =∑
P∈P(F )
nP P com nP ∈ Z, e quase todos nP = 0.
O grau de divisor D é deg(D) =∑
P∈P(F )nP .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 18: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/18.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Espaço Riemann-Roch
Dado um divisor D em DF , o espaço de Riemann-Roch associado aD é:
L(D) := {z ∈ F | (z) ≥ −D} ∪ {0}.
Se D =∑
mi Pi −∑
nj Qj onde mi , nj > 0, podemos caracterizaro espaço L(D) como segue:
z ∈ F \ {0}, se e somente se,
I z tem zeros em Qj de ordem pelo menos nj ,
I z pode ter polos só nos Pi de ordem no máximo mi .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 19: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/19.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Espaço Riemann-Roch
Dado um divisor D em DF , o espaço de Riemann-Roch associado aD é:
L(D) := {z ∈ F | (z) ≥ −D} ∪ {0}.
Se D =∑
mi Pi −∑
nj Qj onde mi , nj > 0, podemos caracterizaro espaço L(D) como segue:
z ∈ F \ {0}, se e somente se,
I z tem zeros em Qj de ordem pelo menos nj ,
I z pode ter polos só nos Pi de ordem no máximo mi .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 20: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/20.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Espaço Riemann-Roch
Dado um divisor D em DF , o espaço de Riemann-Roch associado aD é:
L(D) := {z ∈ F | (z) ≥ −D} ∪ {0}.
Se D =∑
mi Pi −∑
nj Qj onde mi , nj > 0, podemos caracterizaro espaço L(D) como segue:
z ∈ F \ {0}, se e somente se,
I z tem zeros em Qj de ordem pelo menos nj ,
I z pode ter polos só nos Pi de ordem no máximo mi .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 21: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/21.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Espaço Riemann-Roch
Dado um divisor D em DF , o espaço de Riemann-Roch associado aD é:
L(D) := {z ∈ F | (z) ≥ −D} ∪ {0}.
Se D =∑
mi Pi −∑
nj Qj onde mi , nj > 0, podemos caracterizaro espaço L(D) como segue:
z ∈ F \ {0}, se e somente se,
I z tem zeros em Qj de ordem pelo menos nj ,
I z pode ter polos só nos Pi de ordem no máximo mi .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 22: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/22.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Espaço Riemann-Roch
Dado um divisor D em DF , o espaço de Riemann-Roch associado aD é:
L(D) := {z ∈ F | (z) ≥ −D} ∪ {0}.
Se D =∑
mi Pi −∑
nj Qj onde mi , nj > 0, podemos caracterizaro espaço L(D) como segue:
z ∈ F \ {0}, se e somente se,
I z tem zeros em Qj de ordem pelo menos nj ,
I z pode ter polos só nos Pi de ordem no máximo mi .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 23: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/23.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Espaço Riemann-Roch
Dado um divisor D em DF , o espaço de Riemann-Roch associado aD é:
L(D) := {z ∈ F | (z) ≥ −D} ∪ {0}.
Se D =∑
mi Pi −∑
nj Qj onde mi , nj > 0, podemos caracterizaro espaço L(D) como segue:
z ∈ F \ {0}, se e somente se,
I z tem zeros em Qj de ordem pelo menos nj ,
I z pode ter polos só nos Pi de ordem no máximo mi .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 24: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/24.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Denotamos por `(D) = dimL(D) como espaço vetorial sobre K .
`(D) = deg(D) + 1− g se deg(D) ≥ 2g − 1,
onde g é o gênero de F .
Não Lacuna
Seja P em P(F ), dizemos que s ∈ N0 é uma não lacuna em P seexiste uma função z ∈ F tal que (z)∞ = s P . Caso contrário, s édito ser uma lacuna em P .
O semigrupo de Weierstrass em P é o conjunto formado pelas nãolacunas no ponto.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 25: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/25.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Denotamos por `(D) = dimL(D) como espaço vetorial sobre K .
`(D) = deg(D) + 1− g se deg(D) ≥ 2g − 1,
onde g é o gênero de F .
Não Lacuna
Seja P em P(F ), dizemos que s ∈ N0 é uma não lacuna em P seexiste uma função z ∈ F tal que (z)∞ = s P. Caso contrário, s édito ser uma lacuna em P .
O semigrupo de Weierstrass em P é o conjunto formado pelas nãolacunas no ponto.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 26: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/26.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Denotamos por `(D) = dimL(D) como espaço vetorial sobre K .
`(D) = deg(D) + 1− g se deg(D) ≥ 2g − 1,
onde g é o gênero de F .
Não Lacuna
Seja P em P(F ), dizemos que s ∈ N0 é uma não lacuna em P seexiste uma função z ∈ F tal que (z)∞ = s P. Caso contrário, s édito ser uma lacuna em P .
O semigrupo de Weierstrass em P é o conjunto formado pelas nãolacunas no ponto.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 27: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/27.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Denotamos por `(D) = dimL(D) como espaço vetorial sobre K .
`(D) = deg(D) + 1− g se deg(D) ≥ 2g − 1,
onde g é o gênero de F .
Não Lacuna
Seja P em P(F ), dizemos que s ∈ N0 é uma não lacuna em P seexiste uma função z ∈ F tal que (z)∞ = s P. Caso contrário, s édito ser uma lacuna em P .
O semigrupo de Weierstrass em P é o conjunto formado pelas nãolacunas no ponto.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 28: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/28.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Denotamos por `(D) = dimL(D) como espaço vetorial sobre K .
`(D) = deg(D) + 1− g se deg(D) ≥ 2g − 1,
onde g é o gênero de F .
Não Lacuna
Seja P em P(F ), dizemos que s ∈ N0 é uma não lacuna em P seexiste uma função z ∈ F tal que (z)∞ = s P. Caso contrário, s édito ser uma lacuna em P .
O semigrupo de Weierstrass em P é o conjunto formado pelas nãolacunas no ponto.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 29: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/29.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Denotamos por `(D) = dimL(D) como espaço vetorial sobre K .
`(D) = deg(D) + 1− g se deg(D) ≥ 2g − 1,
onde g é o gênero de F .
Não Lacuna
Seja P em P(F ), dizemos que s ∈ N0 é uma não lacuna em P seexiste uma função z ∈ F tal que (z)∞ = s P. Caso contrário, s édito ser uma lacuna em P .
O semigrupo de Weierstrass em P é o conjunto formado pelas nãolacunas no ponto.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 30: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/30.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Pontos de Weierstrass
s é uma lacuna em P se, e somente se, `((s − 1)P) = `(sP).Existem então g lacunas, 1 = λ1 < · · · < λg ≤ 2g − 1.
É bem conhecido que para quase todos os lugares exceto para umnúmero �nito, a sequencia de g lacunas é a mesma. Esta sequenciaé chamada de sequencia de lacunas de F .
Pontos de Weierstrass
Seja P em P(F ), dizemos que é um ponto de Weierstrass se a suasequencia de lacunas difere da sequencia de lacunas de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 31: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/31.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Pontos de Weierstrass
s é uma lacuna em P se, e somente se, `((s − 1)P) = `(sP).Existem então g lacunas, 1 = λ1 < · · · < λg ≤ 2g − 1.
É bem conhecido que para quase todos os lugares exceto para umnúmero �nito, a sequencia de g lacunas é a mesma. Esta sequenciaé chamada de sequencia de lacunas de F .
Pontos de Weierstrass
Seja P em P(F ), dizemos que é um ponto de Weierstrass se a suasequencia de lacunas difere da sequencia de lacunas de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 32: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/32.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Pontos de Weierstrass
s é uma lacuna em P se, e somente se, `((s − 1)P) = `(sP).Existem então g lacunas, 1 = λ1 < · · · < λg ≤ 2g − 1.
É bem conhecido que para quase todos os lugares exceto para umnúmero �nito, a sequencia de g lacunas é a mesma. Esta sequenciaé chamada de sequencia de lacunas de F .
Pontos de Weierstrass
Seja P em P(F ), dizemos que é um ponto de Weierstrass se a suasequencia de lacunas difere da sequencia de lacunas de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 33: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/33.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Pontos de Weierstrass
s é uma lacuna em P se, e somente se, `((s − 1)P) = `(sP).Existem então g lacunas, 1 = λ1 < · · · < λg ≤ 2g − 1.
É bem conhecido que para quase todos os lugares exceto para umnúmero �nito, a sequencia de g lacunas é a mesma. Esta sequenciaé chamada de sequencia de lacunas de F .
Pontos de Weierstrass
Seja P em P(F ), dizemos que é um ponto de Weierstrass se a suasequencia de lacunas difere da sequencia de lacunas de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 34: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/34.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Pontos de Weierstrass
s é uma lacuna em P se, e somente se, `((s − 1)P) = `(sP).Existem então g lacunas, 1 = λ1 < · · · < λg ≤ 2g − 1.
É bem conhecido que para quase todos os lugares exceto para umnúmero �nito, a sequencia de g lacunas é a mesma. Esta sequenciaé chamada de sequencia de lacunas de F .
Pontos de Weierstrass
Seja P em P(F ), dizemos que é um ponto de Weierstrass se a suasequencia de lacunas difere da sequencia de lacunas de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 35: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/35.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Pontos de Weierstrass
s é uma lacuna em P se, e somente se, `((s − 1)P) = `(sP).Existem então g lacunas, 1 = λ1 < · · · < λg ≤ 2g − 1.
É bem conhecido que para quase todos os lugares exceto para umnúmero �nito, a sequencia de g lacunas é a mesma. Esta sequenciaé chamada de sequencia de lacunas de F .
Pontos de Weierstrass
Seja P em P(F ), dizemos que é um ponto de Weierstrass se a suasequencia de lacunas difere da sequencia de lacunas de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 36: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/36.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Pontos de Weierstrass
s é uma lacuna em P se, e somente se, `((s − 1)P) = `(sP).Existem então g lacunas, 1 = λ1 < · · · < λg ≤ 2g − 1.
É bem conhecido que para quase todos os lugares exceto para umnúmero �nito, a sequencia de g lacunas é a mesma. Esta sequenciaé chamada de sequencia de lacunas de F .
Pontos de Weierstrass
Seja P em P(F ), dizemos que é um ponto de Weierstrass se a suasequencia de lacunas difere da sequencia de lacunas de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 37: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/37.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Pontos de Weierstrass
s é uma lacuna em P se, e somente se, `((s − 1)P) = `(sP).Existem então g lacunas, 1 = λ1 < · · · < λg ≤ 2g − 1.
É bem conhecido que para quase todos os lugares exceto para umnúmero �nito, a sequencia de g lacunas é a mesma. Esta sequenciaé chamada de sequencia de lacunas de F .
Pontos de Weierstrass
Seja P em P(F ), dizemos que é um ponto de Weierstrass se a suasequencia de lacunas difere da sequencia de lacunas de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 38: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/38.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
A caracterização dos pontos de Weierstrass é um problemafundamental na teoria das curvas algébricas.
Algumas situações já conhecidas onde os pontos totalmenterami�cados são Weierstrass:
I Se ym = f (x) é uma extensão de Kummer clássica e f (x) tempelo menos 5 raízes (Lewitte).
I Extensões cíclicas F/K (x) de grau pn, onde char(K ) = p en ≥ 2 (Valentini-Madan).
I O reultado acima é válido para p-extensões abelianaselementares (Garcia).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 39: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/39.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
A caracterização dos pontos de Weierstrass é um problemafundamental na teoria das curvas algébricas.
Algumas situações já conhecidas onde os pontos totalmenterami�cados são Weierstrass:
I Se ym = f (x) é uma extensão de Kummer clássica e f (x) tempelo menos 5 raízes (Lewitte).
I Extensões cíclicas F/K (x) de grau pn, onde char(K ) = p en ≥ 2 (Valentini-Madan).
I O reultado acima é válido para p-extensões abelianaselementares (Garcia).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 40: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/40.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
A caracterização dos pontos de Weierstrass é um problemafundamental na teoria das curvas algébricas.
Algumas situações já conhecidas onde os pontos totalmenterami�cados são Weierstrass:
I Se ym = f (x) é uma extensão de Kummer clássica e f (x) tempelo menos 5 raízes (Lewitte).
I Extensões cíclicas F/K (x) de grau pn, onde char(K ) = p en ≥ 2 (Valentini-Madan).
I O reultado acima é válido para p-extensões abelianaselementares (Garcia).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 41: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/41.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
A caracterização dos pontos de Weierstrass é um problemafundamental na teoria das curvas algébricas.
Algumas situações já conhecidas onde os pontos totalmenterami�cados são Weierstrass:
I Se ym = f (x) é uma extensão de Kummer clássica e f (x) tempelo menos 5 raízes (Lewitte).
I Extensões cíclicas F/K (x) de grau pn, onde char(K ) = p en ≥ 2 (Valentini-Madan).
I O reultado acima é válido para p-extensões abelianaselementares (Garcia).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 42: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/42.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
A caracterização dos pontos de Weierstrass é um problemafundamental na teoria das curvas algébricas.
Algumas situações já conhecidas onde os pontos totalmenterami�cados são Weierstrass:
I Se ym = f (x) é uma extensão de Kummer clássica e f (x) tempelo menos 5 raízes (Lewitte).
I Extensões cíclicas F/K (x) de grau pn, onde char(K ) = p en ≥ 2 (Valentini-Madan).
I O reultado acima é válido para p-extensões abelianaselementares (Garcia).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 43: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/43.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Objetivo:
Achar condições para que um inteiro s seja uma lacuna em P numaextensão de Kummer.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 44: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/44.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Objetivo:
Achar condições para que um inteiro s seja uma lacuna em P numaextensão de Kummer.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 45: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/45.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Extensões de Kummer
Uma extensão de Kummer F/K (x) é uma extensão de corposdada por
ym = f (x) =r∏
i=1
(x − αi )λi , com m ≥ 2, p - m, e 0 < λi < m,
onde f (x) ∈ K [x ] não pode ser uma d th potência (com d | m) deum elemento de K (x), e α1, . . . , αr são distintos dois a dois.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 46: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/46.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Extensões de Kummer
Uma extensão de Kummer F/K (x) é uma extensão de corposdada por
ym = f (x) =r∏
i=1
(x − αi )λi , com m ≥ 2, p - m, e 0 < λi < m,
onde f (x) ∈ K [x ] não pode ser uma d th potência (com d | m) deum elemento de K (x), e α1, . . . , αr são distintos dois a dois.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 47: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/47.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Extensões de Kummer
Uma extensão de Kummer F/K (x) é uma extensão de corposdada por
ym = f (x) =r∏
i=1
(x − αi )λi , com m ≥ 2, p - m, e 0 < λi < m,
onde f (x) ∈ K [x ] não pode ser uma d th potência (com d | m) deum elemento de K (x), e α1, . . . , αr são distintos dois a dois.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 48: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/48.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Extensões de Kummer
Uma extensão de Kummer F/K (x) é uma extensão de corposdada por
ym = f (x) =r∏
i=1
(x − αi )λi , com m ≥ 2, p - m, e 0 < λi < m,
onde f (x) ∈ K [x ] não pode ser uma d th potência (com d | m) deum elemento de K (x), e α1, . . . , αr são distintos dois a dois.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 49: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/49.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Restrição de divisores
Suponha que K ⊆ E ⊆ F , e consideremos D um divisor de F dadopor
D =∑
R∈P(E)
∑Q∈P(F )Q|R
nQ Q.
Vamos de�nir a restição de D a E como sendo o divisor D|E in Edado por:
D|E :=∑
R∈P(E)
min
{⌊nQ
e(Q|R)
⌋: Q|R
}R,
onde e(Q|R) é o índice de rami�cação de Q sobre R .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 50: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/50.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Restrição de divisores
Suponha que K ⊆ E ⊆ F , e consideremos D um divisor de F dadopor
D =∑
R∈P(E)
∑Q∈P(F )Q|R
nQ Q.
Vamos de�nir a restição de D a E como sendo o divisor D|E in Edado por:
D|E :=∑
R∈P(E)
min
{⌊nQ
e(Q|R)
⌋: Q|R
}R,
onde e(Q|R) é o índice de rami�cação de Q sobre R .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 51: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/51.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Restrição de divisores
Suponha que K ⊆ E ⊆ F , e consideremos D um divisor de F dadopor
D =∑
R∈P(E)
∑Q∈P(F )Q|R
nQ Q.
Vamos de�nir a restição de D a E como sendo o divisor D|E in Edado por:
D|E :=∑
R∈P(E)
min
{⌊nQ
e(Q|R)
⌋: Q|R
}R,
onde e(Q|R) é o índice de rami�cação de Q sobre R .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 52: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/52.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Restrição de divisores
Suponha que K ⊆ E ⊆ F , e consideremos D um divisor de F dadopor
D =∑
R∈P(E)
∑Q∈P(F )Q|R
nQ Q.
Vamos de�nir a restição de D a E como sendo o divisor D|E in Edado por:
D|E :=∑
R∈P(E)
min
{⌊nQ
e(Q|R)
⌋: Q|R
}R,
onde e(Q|R) é o índice de rami�cação de Q sobre R .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 53: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/53.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Restrição de divisores
Suponha que K ⊆ E ⊆ F , e consideremos D um divisor de F dadopor
D =∑
R∈P(E)
∑Q∈P(F )Q|R
nQ Q.
Vamos de�nir a restição de D a E como sendo o divisor D|E in Edado por:
D|E :=∑
R∈P(E)
min
{⌊nQ
e(Q|R)
⌋: Q|R
}R,
onde e(Q|R) é o índice de rami�cação de Q sobre R .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 54: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/54.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Restrição de divisores
Suponha que K ⊆ E ⊆ F , e consideremos D um divisor de F dadopor
D =∑
R∈P(E)
∑Q∈P(F )Q|R
nQ Q.
Vamos de�nir a restição de D a E como sendo o divisor D|E in Edado por:
D|E :=∑
R∈P(E)
min
{⌊nQ
e(Q|R)
⌋: Q|R
}R,
onde e(Q|R) é o índice de rami�cação de Q sobre R .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 55: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/55.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
D =∑
R∈P(E)
∑Q∈P(F )Q|R
nQ Q e D|E :=∑
R∈P(E)
min
{⌊nQ
e(Q|R)
⌋: Q|R
}R
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 56: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/56.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Teorema de Maharaj
Seja F/K (x) uma extensão de Kummer de grau m de�nida por
ym = f (x).
Então para qualquer divisor D of F que é invariante pela ação dogrupo de Galois Gal(F/K (x)), temos que
L(D) =m−1⊕t=0
L([D + (y t)]|K(x)) yt ,
onde [D + (y t)]|K(x) denota a restrição a K (x) do divisor D + (y t).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 57: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/57.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Teorema de Maharaj
Seja F/K (x) uma extensão de Kummer de grau m de�nida por
ym = f (x).
Então para qualquer divisor D of F que é invariante pela ação dogrupo de Galois Gal(F/K (x)), temos que
L(D) =m−1⊕t=0
L([D + (y t)]|K(x)) yt ,
onde [D + (y t)]|K(x) denota a restrição a K (x) do divisor D + (y t).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 58: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/58.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Teorema de Maharaj
Seja F/K (x) uma extensão de Kummer de grau m de�nida por
ym = f (x).
Então para qualquer divisor D of F que é invariante pela ação dogrupo de Galois Gal(F/K (x)), temos que
L(D) =m−1⊕t=0
L([D + (y t)]|K(x)) yt ,
onde [D + (y t)]|K(x) denota a restrição a K (x) do divisor D + (y t).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 59: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/59.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Teorema de Maharaj
Seja F/K (x) uma extensão de Kummer de grau m de�nida por
ym = f (x).
Então para qualquer divisor D of F que é invariante pela ação dogrupo de Galois Gal(F/K (x)), temos que
L(D) =m−1⊕t=0
L([D + (y t)]|K(x)) yt ,
onde [D + (y t)]|K(x) denota a restrição a K (x) do divisor D + (y t).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 60: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/60.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Teorema de Maharaj
Seja F/K (x) uma extensão de Kummer de grau m de�nida por
ym = f (x).
Então para qualquer divisor D of F que é invariante pela ação dogrupo de Galois Gal(F/K (x)), temos que
L(D) =m−1⊕t=0
L([D + (y t)]|K(x)) yt ,
onde [D + (y t)]|K(x) denota a restrição a K (x) do divisor D + (y t).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 61: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/61.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Teorema de Maharaj
Seja F/K (x) uma extensão de Kummer de grau m de�nida por
ym = f (x).
Então para qualquer divisor D of F que é invariante pela ação dogrupo de Galois Gal(F/K (x)), temos que
L(D) =m−1⊕t=0
L([D + (y t)]|K(x)) yt ,
onde [D + (y t)]|K(x) denota a restrição a K (x) do divisor D + (y t).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 62: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/62.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Teorema de Maharaj
Seja F/K (x) uma extensão de Kummer de grau m de�nida por
ym = f (x).
Então para qualquer divisor D of F que é invariante pela ação dogrupo de Galois Gal(F/K (x)), temos que
L(D) =m−1⊕t=0
L([D + (y t)]|K(x)) yt ,
onde [D + (y t)]|K(x) denota a restrição a K (x) do divisor D + (y t).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 63: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/63.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Lema
Seja F/K (x) uma extensão de Kummer dada por
ym = f (x)
Seja P um lugar de K (x), e sejam Q1, . . . ,Qr todos os lugares Facima de P .
Para s ≥ 1, se `(sQ1) + 1 = `((s + 1)Q1), então
`(sr∑
j=1
Qj) + r = `((s + 1)r∑
j=1
Qj).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 64: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/64.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Lema
Seja F/K (x) uma extensão de Kummer dada por
ym = f (x)
Seja P um lugar de K (x), e sejam Q1, . . . ,Qr todos os lugares Facima de P .
Para s ≥ 1, se `(sQ1) + 1 = `((s + 1)Q1), então
`(sr∑
j=1
Qj) + r = `((s + 1)r∑
j=1
Qj).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 65: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/65.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Lema
Seja F/K (x) uma extensão de Kummer dada por
ym = f (x)
Seja P um lugar de K (x), e sejam Q1, . . . ,Qr todos os lugares Facima de P .
Para s ≥ 1, se `(sQ1) + 1 = `((s + 1)Q1), então
`(sr∑
j=1
Qj) + r = `((s + 1)r∑
j=1
Qj).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 66: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/66.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Lema
Seja F/K (x) uma extensão de Kummer dada por
ym = f (x)
Seja P um lugar de K (x), e sejam Q1, . . . ,Qr todos os lugares Facima de P .
Para s ≥ 1, se `(sQ1) + 1 = `((s + 1)Q1), então
`(sr∑
j=1
Qj) + r = `((s + 1)r∑
j=1
Qj).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 67: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/67.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Lema
Seja F/K (x) uma extensão de Kummer dada por
ym = f (x)
Seja P um lugar de K (x), e sejam Q1, . . . ,Qr todos os lugares Facima de P .
Para s ≥ 1, se `(sQ1) + 1 = `((s + 1)Q1), então
`(sr∑
j=1
Qj) + r = `((s + 1)r∑
j=1
Qj).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 68: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/68.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
o Teorema
Seja F/K (x) uma extensão de Kummer dada por
ym =r∏
i=1
(x − αi )λi , with 0 < λi < m.
Fixemos um elemento α0 ∈ K\{α1, . . . , αr}, e denotemos por
αr+1 :=∞, λ0 := 0 e por λr+1 := −k∑
i=0λi .
Para cada u = 0, . . . , r + 1, consideremos Pu ∈ P(K (x)) o lugarusual correspondente αu ∈ K ∪ {∞},e o divisor Du =
∑Quv |Pu
Quv ∈ DF .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 69: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/69.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
o Teorema
Seja F/K (x) uma extensão de Kummer dada por
ym =r∏
i=1
(x − αi )λi , with 0 < λi < m.
Fixemos um elemento α0 ∈ K\{α1, . . . , αr}, e denotemos por
αr+1 :=∞, λ0 := 0 e por λr+1 := −k∑
i=0λi .
Para cada u = 0, . . . , r + 1, consideremos Pu ∈ P(K (x)) o lugarusual correspondente αu ∈ K ∪ {∞},e o divisor Du =
∑Quv |Pu
Quv ∈ DF .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 70: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/70.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
o Teorema
Seja F/K (x) uma extensão de Kummer dada por
ym =r∏
i=1
(x − αi )λi , with 0 < λi < m.
Fixemos um elemento α0 ∈ K\{α1, . . . , αr}, e denotemos por
αr+1 :=∞, λ0 := 0 e por λr+1 := −k∑
i=0λi .
Para cada u = 0, . . . , r + 1, consideremos Pu ∈ P(K (x)) o lugarusual correspondente αu ∈ K ∪ {∞},e o divisor Du =
∑Quv |Pu
Quv ∈ DF .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 71: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/71.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
o Teorema
Seja F/K (x) uma extensão de Kummer dada por
ym =r∏
i=1
(x − αi )λi , with 0 < λi < m.
Fixemos um elemento α0 ∈ K\{α1, . . . , αr}, e denotemos por
αr+1 :=∞, λ0 := 0 e por λr+1 := −k∑
i=0λi .
Para cada u = 0, . . . , r + 1, consideremos Pu ∈ P(K (x)) o lugarusual correspondente αu ∈ K ∪ {∞},e o divisor Du =
∑Quv |Pu
Quv ∈ DF .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 72: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/72.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Se s ≥ 1 é um inteiro, então
`(sDu)− `((s − 1)Du)
é o número de elementos j ∈ {0, . . . , (m, λu)− 1} tais que
r∑i=0
{(tu + jmu)λim
}≤ 1 +
⌊s − 1mu
⌋,
onde mu = m(m,λu)
, e tu ∈ {0, . . . ,mu − 1} é o único inteiro tal que
s + λu(m,λu)
tu ≡ 0 mod mu.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 73: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/73.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Se s ≥ 1 é um inteiro, então
`(sDu)− `((s − 1)Du)
é o número de elementos j ∈ {0, . . . , (m, λu)− 1} tais que
r∑i=0
{(tu + jmu)λim
}≤ 1 +
⌊s − 1mu
⌋,
onde mu = m(m,λu)
, e tu ∈ {0, . . . ,mu − 1} é o único inteiro tal que
s + λu(m,λu)
tu ≡ 0 mod mu.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 74: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/74.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Se s ≥ 1 é um inteiro, então
`(sDu)− `((s − 1)Du)
é o número de elementos j ∈ {0, . . . , (m, λu)− 1} tais que
r∑i=0
{(tu + jmu)λim
}≤ 1 +
⌊s − 1mu
⌋,
onde mu = m(m,λu)
, e tu ∈ {0, . . . ,mu − 1} é o único inteiro tal que
s + λu(m,λu)
tu ≡ 0 mod mu.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 75: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/75.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Se s ≥ 1 é um inteiro, então
`(sDu)− `((s − 1)Du)
é o número de elementos j ∈ {0, . . . , (m, λu)− 1} tais que
r∑i=0
{(tu + jmu)λim
}≤ 1 +
⌊s − 1mu
⌋,
onde mu = m(m,λu)
, e tu ∈ {0, . . . ,mu − 1} é o único inteiro tal que
s + λu(m,λu)
tu ≡ 0 mod mu.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 76: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/76.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Se s ≥ 1 é um inteiro, então
`(sDu)− `((s − 1)Du)
é o número de elementos j ∈ {0, . . . , (m, λu)− 1} tais que
r∑i=0
{(tu + jmu)λim
}≤ 1 +
⌊s − 1mu
⌋,
onde mu = m(m,λu)
, e tu ∈ {0, . . . ,mu − 1} é o único inteiro tal que
s + λu(m,λu)
tu ≡ 0 mod mu.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 77: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/77.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Se s ≥ 1 é um inteiro, então
`(sDu)− `((s − 1)Du)
é o número de elementos j ∈ {0, . . . , (m, λu)− 1} tais que
r∑i=0
{(tu + jmu)λim
}≤ 1 +
⌊s − 1mu
⌋,
onde mu = m(m,λu)
, e tu ∈ {0, . . . ,mu − 1} é o único inteiro tal que
s + λu(m,λu)
tu ≡ 0 mod mu.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 78: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/78.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Se s ≥ 1 é um inteiro, então
`(sDu)− `((s − 1)Du)
é o número de elementos j ∈ {0, . . . , (m, λu)− 1} tais que
r∑i=0
{(tu + jmu)λim
}≤ 1 +
⌊s − 1mu
⌋,
onde mu = m(m,λu)
, e tu ∈ {0, . . . ,mu − 1} é o único inteiro tal que
s + λu(m,λu)
tu ≡ 0 mod mu.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 79: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/79.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Com as notações do Teorema anterior, temos que se Du é um lugartotalmente rami�cado em F/K (x), então s é uma lacuna em Du
se, e somente se,
r∑i=0
{ tuλim
}> 1 +
⌊s − 1m
⌋.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 80: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/80.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Com as notações do Teorema anterior, temos que se Du é um lugartotalmente rami�cado em F/K (x), então s é uma lacuna em Du
se, e somente se,
r∑i=0
{ tuλim
}> 1 +
⌊s − 1m
⌋.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 81: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/81.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Com as notações do Teorema anterior, temos que se Du é um lugartotalmente rami�cado em F/K (x), então s é uma lacuna em Du
se, e somente se,
r∑i=0
{ tuλim
}> 1 +
⌊s − 1m
⌋.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 82: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/82.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Com as notações do Teorema anterior, temos que se Du é um lugartotalmente rami�cado em F/K (x), então s é uma lacuna em Du
se, e somente se,
r∑i=0
{ tuλim
}> 1 +
⌊s − 1m
⌋.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 83: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/83.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Seja Q0 um lugar genêrico em F/K (x), e seja s ≥ 1 um inteiro. Seexiste j ∈ {0, 1, . . . ,m − 1} tal que
s <r∑
i=0
{ jλim
},
então s é uma lacuna em Q0. Em particular,
(i) Se s < r/2 então s é uma lacuna em Q0.
(ii) Se λ1 = · · · = λr são primos com m, e s < r(m − 1)/m entãos é uma lacuna em Q0.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 84: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/84.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Seja Q0 um lugar genêrico em F/K (x), e seja s ≥ 1 um inteiro. Seexiste j ∈ {0, 1, . . . ,m − 1} tal que
s <r∑
i=0
{ jλim
},
então s é uma lacuna em Q0. Em particular,
(i) Se s < r/2 então s é uma lacuna em Q0.
(ii) Se λ1 = · · · = λr são primos com m, e s < r(m − 1)/m entãos é uma lacuna em Q0.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 85: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/85.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Seja Q0 um lugar genêrico em F/K (x), e seja s ≥ 1 um inteiro. Seexiste j ∈ {0, 1, . . . ,m − 1} tal que
s <r∑
i=0
{ jλim
},
então s é uma lacuna em Q0. Em particular,
(i) Se s < r/2 então s é uma lacuna em Q0.
(ii) Se λ1 = · · · = λr são primos com m, e s < r(m − 1)/m entãos é uma lacuna em Q0.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 86: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/86.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Seja Q0 um lugar genêrico em F/K (x), e seja s ≥ 1 um inteiro. Seexiste j ∈ {0, 1, . . . ,m − 1} tal que
s <r∑
i=0
{ jλim
},
então s é uma lacuna em Q0. Em particular,
(i) Se s < r/2 então s é uma lacuna em Q0.
(ii) Se λ1 = · · · = λr são primos com m, e s < r(m − 1)/m entãos é uma lacuna em Q0.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 87: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/87.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Seja Q0 um lugar genêrico em F/K (x), e seja s ≥ 1 um inteiro. Seexiste j ∈ {0, 1, . . . ,m − 1} tal que
s <r∑
i=0
{ jλim
},
então s é uma lacuna em Q0. Em particular,
(i) Se s < r/2 então s é uma lacuna em Q0.
(ii) Se λ1 = · · · = λr são primos com m, e s < r(m − 1)/m entãos é uma lacuna em Q0.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 88: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/88.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Seja Q0 um lugar genêrico em F/K (x), e seja s ≥ 1 um inteiro. Seexiste j ∈ {0, 1, . . . ,m − 1} tal que
s <r∑
i=0
{ jλim
},
então s é uma lacuna em Q0. Em particular,
(i) Se s < r/2 então s é uma lacuna em Q0.
(ii) Se λ1 = · · · = λr são primos com m, e s < r(m − 1)/m entãos é uma lacuna em Q0.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 89: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/89.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Seja Q0 um lugar genêrico em F/K (x), e seja s ≥ 1 um inteiro. Seexiste j ∈ {0, 1, . . . ,m − 1} tal que
s <r∑
i=0
{ jλim
},
então s é uma lacuna em Q0. Em particular,
(i) Se s < r/2 então s é uma lacuna em Q0.
(ii) Se λ1 = · · · = λr são primos com m, e s < r(m − 1)/m entãos é uma lacuna em Q0.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 90: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/90.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Seja Q0 um lugar genêrico em F/K (x), e seja s ≥ 1 um inteiro. Seexiste j ∈ {0, 1, . . . ,m − 1} tal que
s <r∑
i=0
{ jλim
},
então s é uma lacuna em Q0. Em particular,
(i) Se s < r/2 então s é uma lacuna em Q0.
(ii) Se λ1 = · · · = λr são primos com m, e s < r(m − 1)/m entãos é uma lacuna em Q0.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 91: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/91.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Seja Q0 um lugar genêrico em F/K (x), e seja s ≥ 1 um inteiro. Seexiste j ∈ {0, 1, . . . ,m − 1} tal que
s <r∑
i=0
{ jλim
},
então s é uma lacuna em Q0. Em particular,
(i) Se s < r/2 então s é uma lacuna em Q0.
(ii) Se λ1 = · · · = λr são primos com m, e s < r(m − 1)/m entãos é uma lacuna em Q0.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 92: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/92.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Corolário
Seja Q0 um lugar genêrico em F/K (x), e seja s ≥ 1 um inteiro. Seexiste j ∈ {0, 1, . . . ,m − 1} tal que
s <r∑
i=0
{ jλim
},
então s é uma lacuna em Q0. Em particular,
(i) Se s < r/2 então s é uma lacuna em Q0.
(ii) Se λ1 = · · · = λr são primos com m, e s < r(m − 1)/m entãos é uma lacuna em Q0.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 93: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/93.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Curvas Maximais
De�nição
Uma curva algébrica, projetiva, não singular, geom. irredutível degênero g de�nida sobre Fq2 é dita Fq2-maximal se o número depontos Fq2-racionais atinge a cota de Hasse-Weil.
Isto é#N(Fq2) = 1 + q2 + 2gq.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 94: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/94.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Curvas Maximais
De�nição
Uma curva algébrica, projetiva, não singular, geom. irredutível degênero g de�nida sobre Fq2 é dita Fq2-maximal se o número depontos Fq2-racionais atinge a cota de Hasse-Weil.
Isto é#N(Fq2) = 1 + q2 + 2gq.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 95: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/95.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Fatos Conhecidos
I g ≤ q(q−1)2
, Cota de Ihara
I Hermitiana xq+1 + yq+1 = 1, única curva máximal de gêneromáximo
I Toda curva coberta por uma curva maximal também émaximal
I Em particular, curvas do tipo: xn + ym = 1, onde m e ndividem q + 1, são maximais.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 96: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/96.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Fatos Conhecidos
I g ≤ q(q−1)2
, Cota de Ihara
I Hermitiana xq+1 + yq+1 = 1, única curva máximal de gêneromáximo
I Toda curva coberta por uma curva maximal também émaximal
I Em particular, curvas do tipo: xn + ym = 1, onde m e ndividem q + 1, são maximais.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 97: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/97.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Fatos Conhecidos
I g ≤ q(q−1)2
, Cota de Ihara
I Hermitiana xq+1 + yq+1 = 1, única curva máximal de gêneromáximo
I Toda curva coberta por uma curva maximal também émaximal
I Em particular, curvas do tipo: xn + ym = 1, onde m e ndividem q + 1, são maximais.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 98: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/98.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Fatos Conhecidos
I g ≤ q(q−1)2
, Cota de Ihara
I Hermitiana xq+1 + yq+1 = 1, única curva máximal de gêneromáximo
I Toda curva coberta por uma curva maximal também émaximal
I Em particular, curvas do tipo: xn + ym = 1, onde m e ndividem q + 1, são maximais.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 99: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/99.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Fatos Conhecidos
I g ≤ q(q−1)2
, Cota de Ihara
I Hermitiana xq+1 + yq+1 = 1, única curva máximal de gêneromáximo
I Toda curva coberta por uma curva maximal também émaximal
I Em particular, curvas do tipo: xn + ym = 1, onde m e ndividem q + 1, são maximais.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 100: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/100.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Fatos Conhecidos
I g ≤ q(q−1)2
, Cota de Ihara
I Hermitiana xq+1 + yq+1 = 1, única curva máximal de gêneromáximo
I Toda curva coberta por uma curva maximal também émaximal
I Em particular, curvas do tipo: xn + ym = 1, onde m e ndividem q + 1, são maximais.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 101: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/101.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Pergunta
Suponhamos que
ym = f (x) onde f (x) ∈ Fq2 [x ]
seja o modelo plano de uma curva Fq2-maximal.
Que condições temos que pedir a f (x) para garantir que m dividaq + 1?
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 102: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/102.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Pergunta
Suponhamos que
ym = f (x) onde f (x) ∈ Fq2 [x ]
seja o modelo plano de uma curva Fq2-maximal.
Que condições temos que pedir a f (x) para garantir que m dividaq + 1?
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 103: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/103.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Pergunta
Suponhamos que
ym = f (x) onde f (x) ∈ Fq2 [x ]
seja o modelo plano de uma curva Fq2-maximal.
Que condições temos que pedir a f (x) para garantir que m dividaq + 1?
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 104: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/104.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Respostas (Arnaldo, Fernando, Saeed)
m deve dividir q + 1 quando:
I f (x) = 1− xn
I f (x) = x2 − 1
I f (x) ∈ Fq2 [x ] um polinômio aditivo e separável.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 105: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/105.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Respostas (Arnaldo, Fernando, Saeed)
m deve dividir q + 1 quando:
I f (x) = 1− xn
I f (x) = x2 − 1
I f (x) ∈ Fq2 [x ] um polinômio aditivo e separável.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 106: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/106.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Respostas (Arnaldo, Fernando, Saeed)
m deve dividir q + 1 quando:
I f (x) = 1− xn
I f (x) = x2 − 1
I f (x) ∈ Fq2 [x ] um polinômio aditivo e separável.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 107: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/107.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Respostas (Arnaldo, Fernando, Saeed)
m deve dividir q + 1 quando:
I f (x) = 1− xn
I f (x) = x2 − 1
I f (x) ∈ Fq2 [x ] um polinômio aditivo e separável.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 108: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/108.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Objetivo
Tentar responder a questão anterior para uma classe mais ampla depolinômios
Precisamos dos seguintes resultados
Seja X uma curva maximal sobre Fq2 e sejam P e Q dois pontosracionais distintos X . Então
I (q + 1)P ∼ (q + 1)Q.
I Se existe um inteiro m ≥ 1 tal que mP ∼ mQ, entãod := gcd(m, q + 1) é uma não lacuna em P .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 109: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/109.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Objetivo
Tentar responder a questão anterior para uma classe mais ampla depolinômios
Precisamos dos seguintes resultados
Seja X uma curva maximal sobre Fq2 e sejam P e Q dois pontosracionais distintos X . Então
I (q + 1)P ∼ (q + 1)Q.
I Se existe um inteiro m ≥ 1 tal que mP ∼ mQ, entãod := gcd(m, q + 1) é uma não lacuna em P .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 110: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/110.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Objetivo
Tentar responder a questão anterior para uma classe mais ampla depolinômios
Precisamos dos seguintes resultados
Seja X uma curva maximal sobre Fq2 e sejam P e Q dois pontosracionais distintos X . Então
I (q + 1)P ∼ (q + 1)Q.
I Se existe um inteiro m ≥ 1 tal que mP ∼ mQ, entãod := gcd(m, q + 1) é uma não lacuna em P .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 111: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/111.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Objetivo
Tentar responder a questão anterior para uma classe mais ampla depolinômios
Precisamos dos seguintes resultados
Seja X uma curva maximal sobre Fq2 e sejam P e Q dois pontosracionais distintos X . Então
I (q + 1)P ∼ (q + 1)Q.
I Se existe um inteiro m ≥ 1 tal que mP ∼ mQ, entãod := gcd(m, q + 1) é uma não lacuna em P .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 112: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/112.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Objetivo
Tentar responder a questão anterior para uma classe mais ampla depolinômios
Precisamos dos seguintes resultados
Seja X uma curva maximal sobre Fq2 e sejam P e Q dois pontosracionais distintos X . Então
I (q + 1)P ∼ (q + 1)Q.
I Se existe um inteiro m ≥ 1 tal que mP ∼ mQ, entãod := gcd(m, q + 1) é uma não lacuna em P .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 113: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/113.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Objetivo
Tentar responder a questão anterior para uma classe mais ampla depolinômios
Precisamos dos seguintes resultados
Seja X uma curva maximal sobre Fq2 e sejam P e Q dois pontosracionais distintos X . Então
I (q + 1)P ∼ (q + 1)Q.
I Se existe um inteiro m ≥ 1 tal que mP ∼ mQ, entãod := gcd(m, q + 1) é uma não lacuna em P .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 114: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/114.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Lema
Suponha P e Q sejam pontos racionais totalmente rami�cados sobreduas raízes distintas de f (x) que têm a mesma multiplicidade, então1, 2, . . . , bm/2c − 1 são lacunas em P .Mais ainda, se m ou a multiplicidade de uma terceira raiz de f (x) éum número ímpar, então 1, 2, . . . , bm/2c são lacunas em P .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 115: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/115.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Lema
Suponha P e Q sejam pontos racionais totalmente rami�cados sobreduas raízes distintas de f (x) que têm a mesma multiplicidade, então1, 2, . . . , bm/2c − 1 são lacunas em P .Mais ainda, se m ou a multiplicidade de uma terceira raiz de f (x) éum número ímpar, então 1, 2, . . . , bm/2c são lacunas em P .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 116: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/116.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Lema
Suponha P e Q sejam pontos racionais totalmente rami�cados sobreduas raízes distintas de f (x) que têm a mesma multiplicidade, então1, 2, . . . , bm/2c − 1 são lacunas em P .Mais ainda, se m ou a multiplicidade de uma terceira raiz de f (x) éum número ímpar, então 1, 2, . . . , bm/2c são lacunas em P .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 117: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/117.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Lema
Suponha P e Q sejam pontos racionais totalmente rami�cados sobreduas raízes distintas de f (x) que têm a mesma multiplicidade, então1, 2, . . . , bm/2c − 1 são lacunas em P .Mais ainda, se m ou a multiplicidade de uma terceira raiz de f (x) éum número ímpar, então 1, 2, . . . , bm/2c são lacunas em P .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 118: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/118.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Lema
Suponha P e Q sejam pontos racionais totalmente rami�cados sobreduas raízes distintas de f (x) que têm a mesma multiplicidade, então1, 2, . . . , bm/2c − 1 são lacunas em P .Mais ainda, se m ou a multiplicidade de uma terceira raiz de f (x) éum número ímpar, então 1, 2, . . . , bm/2c são lacunas em P .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 119: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/119.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Lema
Suponha P e Q sejam pontos racionais totalmente rami�cados sobreduas raízes distintas de f (x) que têm a mesma multiplicidade, então1, 2, . . . , bm/2c − 1 são lacunas em P .Mais ainda, se m ou a multiplicidade de uma terceira raiz de f (x) éum número ímpar, então 1, 2, . . . , bm/2c são lacunas em P .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 120: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/120.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Lema
Suponha P e Q sejam pontos racionais totalmente rami�cados sobreduas raízes distintas de f (x) que têm a mesma multiplicidade, então1, 2, . . . , bm/2c − 1 são lacunas em P .Mais ainda, se m ou a multiplicidade de uma terceira raiz de f (x) éum número ímpar, então 1, 2, . . . , bm/2c são lacunas em P .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 121: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/121.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema
Seja X uma curva Fq2-maximal e sejam P e Q dois pontos racionaistotalmente rami�cados sobre duas raízes distintas de f (x) que têma mesma multiplicidade, então vale:
I m divide 2(q + 1), e
I se m ou a multiplicidade de uma terceira raiz de f (x) é umnúmero ímpar, então m divide (q + 1).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 122: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/122.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema
Seja X uma curva Fq2-maximal e sejam P e Q dois pontos racionaistotalmente rami�cados sobre duas raízes distintas de f (x) que têma mesma multiplicidade, então vale:
I m divide 2(q + 1), e
I se m ou a multiplicidade de uma terceira raiz de f (x) é umnúmero ímpar, então m divide (q + 1).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 123: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/123.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema
Seja X uma curva Fq2-maximal e sejam P e Q dois pontos racionaistotalmente rami�cados sobre duas raízes distintas de f (x) que têma mesma multiplicidade, então vale:
I m divide 2(q + 1), e
I se m ou a multiplicidade de uma terceira raiz de f (x) é umnúmero ímpar, então m divide (q + 1).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 124: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/124.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema
Seja X uma curva Fq2-maximal e sejam P e Q dois pontos racionaistotalmente rami�cados sobre duas raízes distintas de f (x) que têma mesma multiplicidade, então vale:
I m divide 2(q + 1), e
I se m ou a multiplicidade de uma terceira raiz de f (x) é umnúmero ímpar, então m divide (q + 1).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 125: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/125.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema
Seja X uma curva Fq2-maximal e sejam P e Q dois pontos racionaistotalmente rami�cados sobre duas raízes distintas de f (x) que têma mesma multiplicidade, então vale:
I m divide 2(q + 1), e
I se m ou a multiplicidade de uma terceira raiz de f (x) é umnúmero ímpar, então m divide (q + 1).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 126: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/126.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema
Seja X uma curva Fq2-maximal e sejam P e Q dois pontos racionaistotalmente rami�cados sobre duas raízes distintas de f (x) que têma mesma multiplicidade, então vale:
I m divide 2(q + 1), e
I se m ou a multiplicidade de uma terceira raiz de f (x) é umnúmero ímpar, então m divide (q + 1).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 127: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/127.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema
Seja X uma curva Fq2-maximal e sejam P e Q dois pontos racionaistotalmente rami�cados sobre duas raízes distintas de f (x) que têma mesma multiplicidade, então vale:
I m divide 2(q + 1), e
I se m ou a multiplicidade de uma terceira raiz de f (x) é umnúmero ímpar, então m divide (q + 1).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 128: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/128.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema
Seja X uma curva Fq2-maximal e sejam P e Q dois pontos racionaistotalmente rami�cados sobre duas raízes distintas de f (x) que têma mesma multiplicidade, então vale:
I m divide 2(q + 1), e
I se m ou a multiplicidade de uma terceira raiz de f (x) é umnúmero ímpar, então m divide (q + 1).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 129: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/129.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema
Seja X uma curva Fq2-maximal e sejam P e Q dois pontos racionaistotalmente rami�cados sobre duas raízes distintas de f (x) que têma mesma multiplicidade, então vale:
I m divide 2(q + 1), e
I se m ou a multiplicidade de uma terceira raiz de f (x) é umnúmero ímpar, então m divide (q + 1).
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 130: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/130.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como P e Q são totalmente rami�cados temos que mP ∼ mQ.
Daí temos que d := gcd(m, q + 1) é uma não lacuna em P .
Como d divide m, do lema temos que d ∈ {m/2,m}.
Se bm/2c é P uma lacuna em P então d 6= m/2 e m = d é umdivisor de q + 1.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 131: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/131.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como P e Q são totalmente rami�cados temos que mP ∼ mQ.
Daí temos que d := gcd(m, q + 1) é uma não lacuna em P .
Como d divide m, do lema temos que d ∈ {m/2,m}.
Se bm/2c é P uma lacuna em P então d 6= m/2 e m = d é umdivisor de q + 1.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 132: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/132.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como P e Q são totalmente rami�cados temos que mP ∼ mQ.
Daí temos que d := gcd(m, q + 1) é uma não lacuna em P .
Como d divide m, do lema temos que d ∈ {m/2,m}.
Se bm/2c é P uma lacuna em P então d 6= m/2 e m = d é umdivisor de q + 1.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 133: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/133.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como P e Q são totalmente rami�cados temos que mP ∼ mQ.
Daí temos que d := gcd(m, q + 1) é uma não lacuna em P .
Como d divide m, do lema temos que d ∈ {m/2,m}.
Se bm/2c é P uma lacuna em P então d 6= m/2 e m = d é umdivisor de q + 1.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 134: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/134.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como P e Q são totalmente rami�cados temos que mP ∼ mQ.
Daí temos que d := gcd(m, q + 1) é uma não lacuna em P .
Como d divide m, do lema temos que d ∈ {m/2,m}.
Se bm/2c é P uma lacuna em P então d 6= m/2 e m = d é umdivisor de q + 1.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 135: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/135.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como P e Q são totalmente rami�cados temos que mP ∼ mQ.
Daí temos que d := gcd(m, q + 1) é uma não lacuna em P .
Como d divide m, do lema temos que d ∈ {m/2,m}.
Se bm/2c é P uma lacuna em P então d 6= m/2 e m = d é umdivisor de q + 1.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 136: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/136.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como P e Q são totalmente rami�cados temos que mP ∼ mQ.
Daí temos que d := gcd(m, q + 1) é uma não lacuna em P .
Como d divide m, do lema temos que d ∈ {m/2,m}.
Se bm/2c é P uma lacuna em P então d 6= m/2 e m = d é umdivisor de q + 1.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 137: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/137.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como P e Q são totalmente rami�cados temos que mP ∼ mQ.
Daí temos que d := gcd(m, q + 1) é uma não lacuna em P .
Como d divide m, do lema temos que d ∈ {m/2,m}.
Se bm/2c é P uma lacuna em P então d 6= m/2 e m = d é umdivisor de q + 1.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 138: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/138.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
O teorema cobre quase todos os exemplos citados antes a únicaexcepção é o caso f (x) = ±(1− x2) e m par.
A condição sobre a terceira raiz de f (x) não pode ser removida jáque a curva dada por y4 = x(x − 1)(x − α)2 é F81−maximal ondeF∗81
= 〈α〉.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 139: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/139.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
O teorema cobre quase todos os exemplos citados antes a únicaexcepção é o caso f (x) = ±(1− x2) e m par.
A condição sobre a terceira raiz de f (x) não pode ser removida jáque a curva dada por y4 = x(x − 1)(x − α)2 é F81−maximal ondeF∗81
= 〈α〉.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 140: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/140.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Propriedade Aritmética das Lacunas
Se char(F ) = p > 0, a sequencia de lacunas de F tem a seguintepropriedade aritmética:
seja λ1, . . . , λg a sequencia de lacunas de F
e seja µ um inteiro que é p-adicamente não maior que λi − 1 paraalgum i ,
então µ+ 1 também é uma lacuna de F .
Vamos usar esta propriedade para estudar os pontos de Weierstrasstotalmente rami�cados.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 141: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/141.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Propriedade Aritmética das Lacunas
Se char(F ) = p > 0, a sequencia de lacunas de F tem a seguintepropriedade aritmética:
seja λ1, . . . , λg a sequencia de lacunas de F
e seja µ um inteiro que é p-adicamente não maior que λi − 1 paraalgum i ,
então µ+ 1 também é uma lacuna de F .
Vamos usar esta propriedade para estudar os pontos de Weierstrasstotalmente rami�cados.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 142: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/142.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Propriedade Aritmética das Lacunas
Se char(F ) = p > 0, a sequencia de lacunas de F tem a seguintepropriedade aritmética:
seja λ1, . . . , λg a sequencia de lacunas de F
e seja µ um inteiro que é p-adicamente não maior que λi − 1 paraalgum i ,
então µ+ 1 também é uma lacuna de F .
Vamos usar esta propriedade para estudar os pontos de Weierstrasstotalmente rami�cados.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 143: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/143.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Propriedade Aritmética das Lacunas
Se char(F ) = p > 0, a sequencia de lacunas de F tem a seguintepropriedade aritmética:
seja λ1, . . . , λg a sequencia de lacunas de F
e seja µ um inteiro que é p-adicamente não maior que λi − 1 paraalgum i ,
então µ+ 1 também é uma lacuna de F .
Vamos usar esta propriedade para estudar os pontos de Weierstrasstotalmente rami�cados.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 144: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/144.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Propriedade Aritmética das Lacunas
Se char(F ) = p > 0, a sequencia de lacunas de F tem a seguintepropriedade aritmética:
seja λ1, . . . , λg a sequencia de lacunas de F
e seja µ um inteiro que é p-adicamente não maior que λi − 1 paraalgum i ,
então µ+ 1 também é uma lacuna de F .
Vamos usar esta propriedade para estudar os pontos de Weierstrasstotalmente rami�cados.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 145: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/145.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Lema
Se Pi é um ponto totalmente rami�cado tal que m+1 é uma lacunaem Pi , então Pi é um ponto de Weierstrass de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 146: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/146.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Lema
Se Pi é um ponto totalmente rami�cado tal que m+1 é uma lacunaem Pi , então Pi é um ponto de Weierstrass de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 147: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/147.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Lema
Se Pi é um ponto totalmente rami�cado tal que m+1 é uma lacunaem Pi , então Pi é um ponto de Weierstrass de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 148: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/148.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Lema
Se Pi é um ponto totalmente rami�cado tal que m+1 é uma lacunaem Pi , então Pi é um ponto de Weierstrass de F .
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 149: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/149.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Corolário
Seja k ≥ 1 o número de pontos totalmente rami�cados de F ew .l .o.g . suponha que Γ = {λ1, . . . , λk} é o conjunto de multiplici-dades das raízes de f (x) associadas a tais pontos. Então os pontostotalmente rami�cados são pontos de Weierstrass se vale alguma dascondições a seguir:
(i) r ≥ m + 3.
(ii) For #Γ = 1, and (k = 3,m ≥ 4) or (k = 4,m ≥ 3) or k ≥ 5.
(iii) r ≥ 5 and the map ϕ : {1, . . . , k} −→ Γ given by ϕ(i) = λisatis�es #ϕ−1({λj}) ≥ 2 for j = 1, . . . , k .
(iv) r = φ(m) > 4 and Γ = (Z/(m))×
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 150: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/150.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Corolário
Seja k ≥ 1 o número de pontos totalmente rami�cados de F ew .l .o.g . suponha que Γ = {λ1, . . . , λk} é o conjunto de multiplici-dades das raízes de f (x) associadas a tais pontos. Então os pontostotalmente rami�cados são pontos de Weierstrass se vale alguma dascondições a seguir:
(i) r ≥ m + 3.
(ii) For #Γ = 1, and (k = 3,m ≥ 4) or (k = 4,m ≥ 3) or k ≥ 5.
(iii) r ≥ 5 and the map ϕ : {1, . . . , k} −→ Γ given by ϕ(i) = λisatis�es #ϕ−1({λj}) ≥ 2 for j = 1, . . . , k .
(iv) r = φ(m) > 4 and Γ = (Z/(m))×
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 151: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/151.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Corolário
Seja k ≥ 1 o número de pontos totalmente rami�cados de F ew .l .o.g . suponha que Γ = {λ1, . . . , λk} é o conjunto de multiplici-dades das raízes de f (x) associadas a tais pontos. Então os pontostotalmente rami�cados são pontos de Weierstrass se vale alguma dascondições a seguir:
(i) r ≥ m + 3.
(ii) For #Γ = 1, and (k = 3,m ≥ 4) or (k = 4,m ≥ 3) or k ≥ 5.
(iii) r ≥ 5 and the map ϕ : {1, . . . , k} −→ Γ given by ϕ(i) = λisatis�es #ϕ−1({λj}) ≥ 2 for j = 1, . . . , k .
(iv) r = φ(m) > 4 and Γ = (Z/(m))×
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 152: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/152.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Corolário
Seja k ≥ 1 o número de pontos totalmente rami�cados de F ew .l .o.g . suponha que Γ = {λ1, . . . , λk} é o conjunto de multiplici-dades das raízes de f (x) associadas a tais pontos. Então os pontostotalmente rami�cados são pontos de Weierstrass se vale alguma dascondições a seguir:
(i) r ≥ m + 3.
(ii) For #Γ = 1, and (k = 3,m ≥ 4) or (k = 4,m ≥ 3) or k ≥ 5.
(iii) r ≥ 5 and the map ϕ : {1, . . . , k} −→ Γ given by ϕ(i) = λisatis�es #ϕ−1({λj}) ≥ 2 for j = 1, . . . , k .
(iv) r = φ(m) > 4 and Γ = (Z/(m))×
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 153: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/153.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Corolário
Seja k ≥ 1 o número de pontos totalmente rami�cados de F ew .l .o.g . suponha que Γ = {λ1, . . . , λk} é o conjunto de multiplici-dades das raízes de f (x) associadas a tais pontos. Então os pontostotalmente rami�cados são pontos de Weierstrass se vale alguma dascondições a seguir:
(i) r ≥ m + 3.
(ii) For #Γ = 1, and (k = 3,m ≥ 4) or (k = 4,m ≥ 3) or k ≥ 5.
(iii) r ≥ 5 and the map ϕ : {1, . . . , k} −→ Γ given by ϕ(i) = λisatis�es #ϕ−1({λj}) ≥ 2 for j = 1, . . . , k .
(iv) r = φ(m) > 4 and Γ = (Z/(m))×
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 154: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/154.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Corolário
Seja k ≥ 1 o número de pontos totalmente rami�cados de F ew .l .o.g . suponha que Γ = {λ1, . . . , λk} é o conjunto de multiplici-dades das raízes de f (x) associadas a tais pontos. Então os pontostotalmente rami�cados são pontos de Weierstrass se vale alguma dascondições a seguir:
(i) r ≥ m + 3.
(ii) For #Γ = 1, and (k = 3,m ≥ 4) or (k = 4,m ≥ 3) or k ≥ 5.
(iii) r ≥ 5 and the map ϕ : {1, . . . , k} −→ Γ given by ϕ(i) = λisatis�es #ϕ−1({λj}) ≥ 2 for j = 1, . . . , k .
(iv) r = φ(m) > 4 and Γ = (Z/(m))×
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 155: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/155.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Corolário
Seja k ≥ 1 o número de pontos totalmente rami�cados de F ew .l .o.g . suponha que Γ = {λ1, . . . , λk} é o conjunto de multiplici-dades das raízes de f (x) associadas a tais pontos. Então os pontostotalmente rami�cados são pontos de Weierstrass se vale alguma dascondições a seguir:
(i) r ≥ m + 3.
(ii) For #Γ = 1, and (k = 3,m ≥ 4) or (k = 4,m ≥ 3) or k ≥ 5.
(iii) r ≥ 5 and the map ϕ : {1, . . . , k} −→ Γ given by ϕ(i) = λisatis�es #ϕ−1({λj}) ≥ 2 for j = 1, . . . , k .
(iv) r = φ(m) > 4 and Γ = (Z/(m))×
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 156: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/156.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Corolário
Seja k ≥ 1 o número de pontos totalmente rami�cados de F ew .l .o.g . suponha que Γ = {λ1, . . . , λk} é o conjunto de multiplici-dades das raízes de f (x) associadas a tais pontos. Então os pontostotalmente rami�cados são pontos de Weierstrass se vale alguma dascondições a seguir:
(i) r ≥ m + 3.
(ii) For #Γ = 1, and (k = 3,m ≥ 4) or (k = 4,m ≥ 3) or k ≥ 5.
(iii) r ≥ 5 and the map ϕ : {1, . . . , k} −→ Γ given by ϕ(i) = λisatis�es #ϕ−1({λj}) ≥ 2 for j = 1, . . . , k .
(iv) r = φ(m) > 4 and Γ = (Z/(m))×
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 157: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/157.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Curvas Hiperelíticas
Usando o corolário, podemos recuperar uma caracterização dospontos de Weierstrass de curvas hiperelíticas.
Considere a curva dada por
y2 = (x − α1) · · · (x − αr )
de gênero g =
⌊r−12
⌋, r ≥ 5.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 158: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/158.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Curvas Hiperelíticas
Usando o corolário, podemos recuperar uma caracterização dospontos de Weierstrass de curvas hiperelíticas.
Considere a curva dada por
y2 = (x − α1) · · · (x − αr )
de gênero g =
⌊r−12
⌋, r ≥ 5.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 159: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/159.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Curvas Hiperelíticas
Usando o corolário, podemos recuperar uma caracterização dospontos de Weierstrass de curvas hiperelíticas.
Considere a curva dada por
y2 = (x − α1) · · · (x − αr )
de gênero g =
⌊r−12
⌋, r ≥ 5.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 160: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/160.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Pelo Teorema temos que
tu ∈ {0, 1} e tu ≡ −s mod 2.
Logo s é uma lacuna em P se, e somente se, s é um número ímpare
r
2=
r∑i=1
{12
}> 1 +
⌊s − 12
⌋.
As lacunas em P devem ser os⌊r−12
⌋= g números ímpares
s < r − 1. Pelo corolário, os números 1, 2, · · · , g são lacunas nos
pontos não rami�cados. Em particular, estas curvas são clássicas.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 161: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/161.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Pelo Teorema temos que
tu ∈ {0, 1} e tu ≡ −s mod 2.
Logo s é uma lacuna em P se, e somente se, s é um número ímpare
r
2=
r∑i=1
{12
}> 1 +
⌊s − 12
⌋.
As lacunas em P devem ser os⌊r−12
⌋= g números ímpares
s < r − 1. Pelo corolário, os números 1, 2, · · · , g são lacunas nos
pontos não rami�cados. Em particular, estas curvas são clássicas.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 162: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/162.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Pelo Teorema temos que
tu ∈ {0, 1} e tu ≡ −s mod 2.
Logo s é uma lacuna em P se, e somente se, s é um número ímpare
r
2=
r∑i=1
{12
}> 1 +
⌊s − 12
⌋.
As lacunas em P devem ser os⌊r−12
⌋= g números ímpares
s < r − 1. Pelo corolário, os números 1, 2, · · · , g são lacunas nos
pontos não rami�cados. Em particular, estas curvas são clássicas.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 163: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/163.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Pelo Teorema temos que
tu ∈ {0, 1} e tu ≡ −s mod 2.
Logo s é uma lacuna em P se, e somente se, s é um número ímpare
r
2=
r∑i=1
{12
}> 1 +
⌊s − 12
⌋.
As lacunas em P devem ser os⌊r−12
⌋= g números ímpares
s < r − 1. Pelo corolário, os números 1, 2, · · · , g são lacunas nos
pontos não rami�cados. Em particular, estas curvas são clássicas.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 164: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/164.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Pelo Teorema temos que
tu ∈ {0, 1} e tu ≡ −s mod 2.
Logo s é uma lacuna em P se, e somente se, s é um número ímpare
r
2=
r∑i=1
{12
}> 1 +
⌊s − 12
⌋.
As lacunas em P devem ser os⌊r−12
⌋= g números ímpares
s < r − 1. Pelo corolário, os números 1, 2, · · · , g são lacunas nos
pontos não rami�cados. Em particular, estas curvas são clássicas.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 165: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/165.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Pelo Teorema temos que
tu ∈ {0, 1} e tu ≡ −s mod 2.
Logo s é uma lacuna em P se, e somente se, s é um número ímpare
r
2=
r∑i=1
{12
}> 1 +
⌊s − 12
⌋.
As lacunas em P devem ser os⌊r−12
⌋= g números ímpares
s < r − 1. Pelo corolário, os números 1, 2, · · · , g são lacunas nos
pontos não rami�cados. Em particular, estas curvas são clássicas.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 166: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/166.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Pelo Teorema temos que
tu ∈ {0, 1} e tu ≡ −s mod 2.
Logo s é uma lacuna em P se, e somente se, s é um número ímpare
r
2=
r∑i=1
{12
}> 1 +
⌊s − 12
⌋.
As lacunas em P devem ser os⌊r−12
⌋= g números ímpares
s < r − 1. Pelo corolário, os números 1, 2, · · · , g são lacunas nos
pontos não rami�cados. Em particular, estas curvas são clássicas.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 167: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/167.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema F. K. Schmidt
Seja C uma curva hiperelíptica de�nida sobre um corpo perfeito decaracterística p. Se P é um ponto de C , então temos
I P é um ponto de Weierstrass se, e somente se, P �xo dainvolução hiperelítica.
I Se P não é um ponto de Weierstrass C , então a sequencia delacunas de P é 1, . . . , g e logo H(P) = {0, g + 1, g + 2, . . .}.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 168: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/168.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema F. K. Schmidt
Seja C uma curva hiperelíptica de�nida sobre um corpo perfeito decaracterística p. Se P é um ponto de C , então temos
I P é um ponto de Weierstrass se, e somente se, P �xo dainvolução hiperelítica.
I Se P não é um ponto de Weierstrass C , então a sequencia delacunas de P é 1, . . . , g e logo H(P) = {0, g + 1, g + 2, . . .}.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 169: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/169.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema F. K. Schmidt
Seja C uma curva hiperelíptica de�nida sobre um corpo perfeito decaracterística p. Se P é um ponto de C , então temos
I P é um ponto de Weierstrass se, e somente se, P �xo dainvolução hiperelítica.
I Se P não é um ponto de Weierstrass C , então a sequencia delacunas de P é 1, . . . , g e logo H(P) = {0, g + 1, g + 2, . . .}.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 170: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/170.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema F. K. Schmidt
Seja C uma curva hiperelíptica de�nida sobre um corpo perfeito decaracterística p. Se P é um ponto de C , então temos
I P é um ponto de Weierstrass se, e somente se, P �xo dainvolução hiperelítica.
I Se P não é um ponto de Weierstrass C , então a sequencia delacunas de P é 1, . . . , g e logo H(P) = {0, g + 1, g + 2, . . .}.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 171: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/171.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema F. K. Schmidt
Seja C uma curva hiperelíptica de�nida sobre um corpo perfeito decaracterística p. Se P é um ponto de C , então temos
I P é um ponto de Weierstrass se, e somente se, P �xo dainvolução hiperelítica.
I Se P não é um ponto de Weierstrass C , então a sequencia delacunas de P é 1, . . . , g e logo H(P) = {0, g + 1, g + 2, . . .}.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 172: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/172.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema F. K. Schmidt
Seja C uma curva hiperelíptica de�nida sobre um corpo perfeito decaracterística p. Se P é um ponto de C , então temos
I P é um ponto de Weierstrass se, e somente se, P �xo dainvolução hiperelítica.
I Se P não é um ponto de Weierstrass C , então a sequencia delacunas de P é 1, . . . , g e logo H(P) = {0, g + 1, g + 2, . . .}.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 173: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/173.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema F. K. Schmidt
Seja C uma curva hiperelíptica de�nida sobre um corpo perfeito decaracterística p. Se P é um ponto de C , então temos
I P é um ponto de Weierstrass se, e somente se, P �xo dainvolução hiperelítica.
I Se P não é um ponto de Weierstrass C , então a sequencia delacunas de P é 1, . . . , g e logo H(P) = {0, g + 1, g + 2, . . .}.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 174: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/174.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema F. K. Schmidt
Seja C uma curva hiperelíptica de�nida sobre um corpo perfeito decaracterística p. Se P é um ponto de C , então temos
I P é um ponto de Weierstrass se, e somente se, P �xo dainvolução hiperelítica.
I Se P não é um ponto de Weierstrass C , então a sequencia delacunas de P é 1, . . . , g e logo H(P) = {0, g + 1, g + 2, . . .}.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 175: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/175.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Teorema F. K. Schmidt
Seja C uma curva hiperelíptica de�nida sobre um corpo perfeito decaracterística p. Se P é um ponto de C , então temos
I P é um ponto de Weierstrass se, e somente se, P �xo dainvolução hiperelítica.
I Se P não é um ponto de Weierstrass C , então a sequencia delacunas de P é 1, . . . , g e logo H(P) = {0, g + 1, g + 2, . . .}.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 176: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/176.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Extensões de Kummer Separáveis
Teorema
Se o gênero g ≥ 1 e P 6= P∞ é um ponto totalmente rami�cado,então o conjunto de lacunas em P dado por
G (P) = {1 + i + mj}
onde 0 ≤ i ≤ m − 2−⌊m/r
⌋, e 0 ≤ j ≤ r − 2−
⌊r(i+1)
m
⌋.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 177: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/177.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Extensões de Kummer Separáveis
Teorema
Se o gênero g ≥ 1 e P 6= P∞ é um ponto totalmente rami�cado,então o conjunto de lacunas em P dado por
G (P) = {1 + i + mj}
onde 0 ≤ i ≤ m − 2−⌊m/r
⌋, e 0 ≤ j ≤ r − 2−
⌊r(i+1)
m
⌋.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 178: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/178.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Extensões de Kummer Separáveis
Teorema
Se o gênero g ≥ 1 e P 6= P∞ é um ponto totalmente rami�cado,então o conjunto de lacunas em P dado por
G (P) = {1 + i + mj}
onde 0 ≤ i ≤ m − 2−⌊m/r
⌋, e 0 ≤ j ≤ r − 2−
⌊r(i+1)
m
⌋.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 179: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/179.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Extensões de Kummer Separáveis
Teorema
Se o gênero g ≥ 1 e P 6= P∞ é um ponto totalmente rami�cado,então o conjunto de lacunas em P dado por
G (P) = {1 + i + mj}
onde 0 ≤ i ≤ m − 2−⌊m/r
⌋, e 0 ≤ j ≤ r − 2−
⌊r(i+1)
m
⌋.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 180: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/180.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Extensões de Kummer Separáveis
Teorema
Se o gênero g ≥ 1 e P 6= P∞ é um ponto totalmente rami�cado,então o conjunto de lacunas em P dado por
G (P) = {1 + i + mj}
onde 0 ≤ i ≤ m − 2−⌊m/r
⌋, e 0 ≤ j ≤ r − 2−
⌊r(i+1)
m
⌋.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 181: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/181.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
O seguinte Corolário estende um resultado de Hasse: Os pontostotalmente rami�cados da curva de Fermat yn = axn + b têm pesode Weierstrass (n − 3)(n − 2)(n − 1)(n + 4)/24.
Corolário
Se a curva ym = f (x) é irredutível e clássica, com deg f (x) = r ,então todo ponto totalmente rami�cado distinto de P∞, tem pesode Weierstrass
(r − 3)(r − 2)(r − 1)(r + 4)/24.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 182: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/182.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
O seguinte Corolário estende um resultado de Hasse: Os pontostotalmente rami�cados da curva de Fermat yn = axn + b têm pesode Weierstrass (n − 3)(n − 2)(n − 1)(n + 4)/24.
Corolário
Se a curva ym = f (x) é irredutível e clássica, com deg f (x) = r ,então todo ponto totalmente rami�cado distinto de P∞, tem pesode Weierstrass
(r − 3)(r − 2)(r − 1)(r + 4)/24.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 183: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/183.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
O seguinte Corolário estende um resultado de Hasse: Os pontostotalmente rami�cados da curva de Fermat yn = axn + b têm pesode Weierstrass (n − 3)(n − 2)(n − 1)(n + 4)/24.
Corolário
Se a curva ym = f (x) é irredutível e clássica, com deg f (x) = r ,então todo ponto totalmente rami�cado distinto de P∞, tem pesode Weierstrass
(r − 3)(r − 2)(r − 1)(r + 4)/24.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 184: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/184.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
O seguinte Corolário estende um resultado de Hasse: Os pontostotalmente rami�cados da curva de Fermat yn = axn + b têm pesode Weierstrass (n − 3)(n − 2)(n − 1)(n + 4)/24.
Corolário
Se a curva ym = f (x) é irredutível e clássica, com deg f (x) = r ,então todo ponto totalmente rami�cado distinto de P∞, tem pesode Weierstrass
(r − 3)(r − 2)(r − 1)(r + 4)/24.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 185: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/185.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
O seguinte Corolário estende um resultado de Hasse: Os pontostotalmente rami�cados da curva de Fermat yn = axn + b têm pesode Weierstrass (n − 3)(n − 2)(n − 1)(n + 4)/24.
Corolário
Se a curva ym = f (x) é irredutível e clássica, com deg f (x) = r ,então todo ponto totalmente rami�cado distinto de P∞, tem pesode Weierstrass
(r − 3)(r − 2)(r − 1)(r + 4)/24.
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 186: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/186.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como f (x) é separável, a curva ym = f (x) é irredutível se, esomente se r ∈ {m − 1,m,m + 1}.Pelo Teorema anterior se r ∈ {m − 1,m} então temos
G (P) = {1 + i + mj | 0 ≤ i ≤ m − 3, 0 ≤ j ≤ m − 3− i}.
O peso de Weierstrass em P é
W (P) =∑
λ∈G(P)
λ− g(g + 1)/2
=m−3∑i=0
m−3−i∑j=0
(1 + i + mj)− g(g + 1)/2
= (m − 3)(m − 2)(m − 1)(m + 4)/24,
onde g = (m − 1)(m − 2)/2.Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 187: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/187.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como f (x) é separável, a curva ym = f (x) é irredutível se, esomente se r ∈ {m − 1,m,m + 1}.Pelo Teorema anterior se r ∈ {m − 1,m} então temos
G (P) = {1 + i + mj | 0 ≤ i ≤ m − 3, 0 ≤ j ≤ m − 3− i}.
O peso de Weierstrass em P é
W (P) =∑
λ∈G(P)
λ− g(g + 1)/2
=m−3∑i=0
m−3−i∑j=0
(1 + i + mj)− g(g + 1)/2
= (m − 3)(m − 2)(m − 1)(m + 4)/24,
onde g = (m − 1)(m − 2)/2.Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 188: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/188.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como f (x) é separável, a curva ym = f (x) é irredutível se, esomente se r ∈ {m − 1,m,m + 1}.Pelo Teorema anterior se r ∈ {m − 1,m} então temos
G (P) = {1 + i + mj | 0 ≤ i ≤ m − 3, 0 ≤ j ≤ m − 3− i}.
O peso de Weierstrass em P é
W (P) =∑
λ∈G(P)
λ− g(g + 1)/2
=m−3∑i=0
m−3−i∑j=0
(1 + i + mj)− g(g + 1)/2
= (m − 3)(m − 2)(m − 1)(m + 4)/24,
onde g = (m − 1)(m − 2)/2.Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 189: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/189.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como f (x) é separável, a curva ym = f (x) é irredutível se, esomente se r ∈ {m − 1,m,m + 1}.Pelo Teorema anterior se r ∈ {m − 1,m} então temos
G (P) = {1 + i + mj | 0 ≤ i ≤ m − 3, 0 ≤ j ≤ m − 3− i}.
O peso de Weierstrass em P é
W (P) =∑
λ∈G(P)
λ− g(g + 1)/2
=m−3∑i=0
m−3−i∑j=0
(1 + i + mj)− g(g + 1)/2
= (m − 3)(m − 2)(m − 1)(m + 4)/24,
onde g = (m − 1)(m − 2)/2.Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 190: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/190.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como f (x) é separável, a curva ym = f (x) é irredutível se, esomente se r ∈ {m − 1,m,m + 1}.Pelo Teorema anterior se r ∈ {m − 1,m} então temos
G (P) = {1 + i + mj | 0 ≤ i ≤ m − 3, 0 ≤ j ≤ m − 3− i}.
O peso de Weierstrass em P é
W (P) =∑
λ∈G(P)
λ− g(g + 1)/2
=m−3∑i=0
m−3−i∑j=0
(1 + i + mj)− g(g + 1)/2
= (m − 3)(m − 2)(m − 1)(m + 4)/24,
onde g = (m − 1)(m − 2)/2.Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 191: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/191.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como f (x) é separável, a curva ym = f (x) é irredutível se, esomente se r ∈ {m − 1,m,m + 1}.Pelo Teorema anterior se r ∈ {m − 1,m} então temos
G (P) = {1 + i + mj | 0 ≤ i ≤ m − 3, 0 ≤ j ≤ m − 3− i}.
O peso de Weierstrass em P é
W (P) =∑
λ∈G(P)
λ− g(g + 1)/2
=m−3∑i=0
m−3−i∑j=0
(1 + i + mj)− g(g + 1)/2
= (m − 3)(m − 2)(m − 1)(m + 4)/24,
onde g = (m − 1)(m − 2)/2.Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 192: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/192.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Prova
Como f (x) é separável, a curva ym = f (x) é irredutível se, esomente se r ∈ {m − 1,m,m + 1}.Pelo Teorema anterior se r ∈ {m − 1,m} então temos
G (P) = {1 + i + mj | 0 ≤ i ≤ m − 3, 0 ≤ j ≤ m − 3− i}.
O peso de Weierstrass em P é
W (P) =∑
λ∈G(P)
λ− g(g + 1)/2
=m−3∑i=0
m−3−i∑j=0
(1 + i + mj)− g(g + 1)/2
= (m − 3)(m − 2)(m − 1)(m + 4)/24,
onde g = (m − 1)(m − 2)/2.Miriam Abdón Pontos de Weierstrass em Extensões de Kummer
![Page 193: Pontos de Weierstrass em Extensões de Kummerftorres/TALKS/TALKS_PDF/Miriam_Tal… · L(D) := fz 2F j(z) Dg[f0 g: Se D = P m i P i P n j Q j onde m i;n j >0 ;podemos caracterizar](https://reader035.fdocumentos.tips/reader035/viewer/2022063009/5fc0ed5222dcca4aa546bb05/html5/thumbnails/193.jpg)
OrganizaçãoIntroduçãoO TeoremaAplicações
Curvas MaximaisPontos de Weierstrass Totalmente Rami�cadosExtensões de Kummer Separáveis
Obrigada!!!
Miriam Abdón Pontos de Weierstrass em Extensões de Kummer