some arithmetic duality theorems - ustcstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic...
TRANSCRIPT
![Page 1: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/1.jpg)
OutlinesIntroduction
Some Arithmetic Duality Theorems
LIANG, Yong Qi
Université de Paris-Sud XI, Orsay France
ALGANT thesis defence2008-07-08
Brussels, Belgium
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 2: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/2.jpg)
OutlinesIntroduction
Part I: Galois cohomologyPart II: Etale cohomology
Outline of Part I
Galois cohomology1 Local duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
2 An application to Abelian varieties
3 Global dualityA duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 3: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/3.jpg)
OutlinesIntroduction
Part I: Galois cohomologyPart II: Etale cohomology
Outline of Part I
Galois cohomology1 Local duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
2 An application to Abelian varieties
3 Global dualityA duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 4: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/4.jpg)
OutlinesIntroduction
Part I: Galois cohomologyPart II: Etale cohomology
Outline of Part I
Galois cohomology1 Local duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
2 An application to Abelian varieties
3 Global dualityA duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 5: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/5.jpg)
OutlinesIntroduction
Part I: Galois cohomologyPart II: Etale cohomology
Outline of Part II
Etale cohomology
4 Local duality
5 Global cohomologySome notations and calculationsEuler-Poincaré characteristic
6 Artin-Verdier’s theorem
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 6: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/6.jpg)
OutlinesIntroduction
Part I: Galois cohomologyPart II: Etale cohomology
Outline of Part II
Etale cohomology
4 Local duality
5 Global cohomologySome notations and calculationsEuler-Poincaré characteristic
6 Artin-Verdier’s theorem
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 7: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/7.jpg)
OutlinesIntroduction
Part I: Galois cohomologyPart II: Etale cohomology
Outline of Part II
Etale cohomology
4 Local duality
5 Global cohomologySome notations and calculationsEuler-Poincaré characteristic
6 Artin-Verdier’s theorem
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 8: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/8.jpg)
OutlinesIntroduction
A very brief introduction
Why arithmetic duality??In mathematics, solving equations is always interesting.e.g. rational points on a variety V (Q) =?Why Galois / étale cohomology?
e.g. H1ét(spec(OK ),Z/mZ)∗ = Cl(K )/mCl(K ) for K a
number fielde.g. H1(Qp,E )∗ = E (Qp) for E/Qp an elliptic curve
They give some certain obstructions of the local-globalprincipal for the problem of rational points.
A famous example : X(Q,E ) for an elliptic curve.
Tentative conclusion : the cohomology groups containimportant arithmetic information.Arithmetic duality theorems may help to understand thequestion of rational points.Allons-y !
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 9: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/9.jpg)
OutlinesIntroduction
A very brief introduction
Why arithmetic duality??In mathematics, solving equations is always interesting.e.g. rational points on a variety V (Q) =?Why Galois / étale cohomology?
e.g. H1ét(spec(OK ),Z/mZ)∗ = Cl(K )/mCl(K ) for K a
number fielde.g. H1(Qp,E )∗ = E (Qp) for E/Qp an elliptic curve
They give some certain obstructions of the local-globalprincipal for the problem of rational points.
A famous example : X(Q,E ) for an elliptic curve.
Tentative conclusion : the cohomology groups containimportant arithmetic information.Arithmetic duality theorems may help to understand thequestion of rational points.Allons-y !
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 10: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/10.jpg)
OutlinesIntroduction
A very brief introduction
Why arithmetic duality??In mathematics, solving equations is always interesting.e.g. rational points on a variety V (Q) =?Why Galois / étale cohomology?
e.g. H1ét(spec(OK ),Z/mZ)∗ = Cl(K )/mCl(K ) for K a
number fielde.g. H1(Qp,E )∗ = E (Qp) for E/Qp an elliptic curve
They give some certain obstructions of the local-globalprincipal for the problem of rational points.
A famous example : X(Q,E ) for an elliptic curve.
Tentative conclusion : the cohomology groups containimportant arithmetic information.Arithmetic duality theorems may help to understand thequestion of rational points.Allons-y !
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 11: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/11.jpg)
OutlinesIntroduction
A very brief introduction
Why arithmetic duality??In mathematics, solving equations is always interesting.e.g. rational points on a variety V (Q) =?Why Galois / étale cohomology?
e.g. H1ét(spec(OK ),Z/mZ)∗ = Cl(K )/mCl(K ) for K a
number fielde.g. H1(Qp,E )∗ = E (Qp) for E/Qp an elliptic curve
They give some certain obstructions of the local-globalprincipal for the problem of rational points.
A famous example : X(Q,E ) for an elliptic curve.
Tentative conclusion : the cohomology groups containimportant arithmetic information.Arithmetic duality theorems may help to understand thequestion of rational points.Allons-y !
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 12: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/12.jpg)
OutlinesIntroduction
A very brief introduction
Why arithmetic duality??In mathematics, solving equations is always interesting.e.g. rational points on a variety V (Q) =?Why Galois / étale cohomology?
e.g. H1ét(spec(OK ),Z/mZ)∗ = Cl(K )/mCl(K ) for K a
number fielde.g. H1(Qp,E )∗ = E (Qp) for E/Qp an elliptic curve
They give some certain obstructions of the local-globalprincipal for the problem of rational points.
A famous example : X(Q,E ) for an elliptic curve.
Tentative conclusion : the cohomology groups containimportant arithmetic information.Arithmetic duality theorems may help to understand thequestion of rational points.Allons-y !
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 13: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/13.jpg)
OutlinesIntroduction
A very brief introduction
Why arithmetic duality??In mathematics, solving equations is always interesting.e.g. rational points on a variety V (Q) =?Why Galois / étale cohomology?
e.g. H1ét(spec(OK ),Z/mZ)∗ = Cl(K )/mCl(K ) for K a
number fielde.g. H1(Qp,E )∗ = E (Qp) for E/Qp an elliptic curve
They give some certain obstructions of the local-globalprincipal for the problem of rational points.
A famous example : X(Q,E ) for an elliptic curve.
Tentative conclusion : the cohomology groups containimportant arithmetic information.Arithmetic duality theorems may help to understand thequestion of rational points.Allons-y !
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 14: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/14.jpg)
OutlinesIntroduction
A very brief introduction
Why arithmetic duality??In mathematics, solving equations is always interesting.e.g. rational points on a variety V (Q) =?Why Galois / étale cohomology?
e.g. H1ét(spec(OK ),Z/mZ)∗ = Cl(K )/mCl(K ) for K a
number fielde.g. H1(Qp,E )∗ = E (Qp) for E/Qp an elliptic curve
They give some certain obstructions of the local-globalprincipal for the problem of rational points.
A famous example : X(Q,E ) for an elliptic curve.
Tentative conclusion : the cohomology groups containimportant arithmetic information.Arithmetic duality theorems may help to understand thequestion of rational points.Allons-y !
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 15: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/15.jpg)
OutlinesIntroduction
A very brief introduction
Why arithmetic duality??In mathematics, solving equations is always interesting.e.g. rational points on a variety V (Q) =?Why Galois / étale cohomology?
e.g. H1ét(spec(OK ),Z/mZ)∗ = Cl(K )/mCl(K ) for K a
number fielde.g. H1(Qp,E )∗ = E (Qp) for E/Qp an elliptic curve
They give some certain obstructions of the local-globalprincipal for the problem of rational points.
A famous example : X(Q,E ) for an elliptic curve.
Tentative conclusion : the cohomology groups containimportant arithmetic information.Arithmetic duality theorems may help to understand thequestion of rational points.Allons-y !
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 16: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/16.jpg)
OutlinesIntroduction
A very brief introduction
Why arithmetic duality??In mathematics, solving equations is always interesting.e.g. rational points on a variety V (Q) =?Why Galois / étale cohomology?
e.g. H1ét(spec(OK ),Z/mZ)∗ = Cl(K )/mCl(K ) for K a
number fielde.g. H1(Qp,E )∗ = E (Qp) for E/Qp an elliptic curve
They give some certain obstructions of the local-globalprincipal for the problem of rational points.
A famous example : X(Q,E ) for an elliptic curve.
Tentative conclusion : the cohomology groups containimportant arithmetic information.Arithmetic duality theorems may help to understand thequestion of rational points.Allons-y !
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 17: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/17.jpg)
OutlinesIntroduction
A very brief introduction
Why arithmetic duality??In mathematics, solving equations is always interesting.e.g. rational points on a variety V (Q) =?Why Galois / étale cohomology?
e.g. H1ét(spec(OK ),Z/mZ)∗ = Cl(K )/mCl(K ) for K a
number fielde.g. H1(Qp,E )∗ = E (Qp) for E/Qp an elliptic curve
They give some certain obstructions of the local-globalprincipal for the problem of rational points.
A famous example : X(Q,E ) for an elliptic curve.
Tentative conclusion : the cohomology groups containimportant arithmetic information.Arithmetic duality theorems may help to understand thequestion of rational points.Allons-y !
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 18: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/18.jpg)
OutlinesIntroduction
A very brief introduction
Why arithmetic duality??In mathematics, solving equations is always interesting.e.g. rational points on a variety V (Q) =?Why Galois / étale cohomology?
e.g. H1ét(spec(OK ),Z/mZ)∗ = Cl(K )/mCl(K ) for K a
number fielde.g. H1(Qp,E )∗ = E (Qp) for E/Qp an elliptic curve
They give some certain obstructions of the local-globalprincipal for the problem of rational points.
A famous example : X(Q,E ) for an elliptic curve.
Tentative conclusion : the cohomology groups containimportant arithmetic information.Arithmetic duality theorems may help to understand thequestion of rational points.Allons-y !
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 19: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/19.jpg)
Local dualityAn application to Abelian varieties
Global duality
Part I
Galois cohomology
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 20: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/20.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Class formation
DefinitionLet G be a profinite group, and C be a G -module (such thatC =
⋃U6oG CU). We say that (G ,C ) is a class formation if there
exists an isomorphism invU : H2(U,C )'→ Q/Z for each open
subgroup U 6o G with the commutative diagram forV 6o U 6o G :
H2(U,C )ResV ,U //
invU '��
H2(V ,C )
invV '��
Q/Z[U:V ] // Q/Z
and H1(U,C ) = 0.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 21: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/21.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Class formation
(G ,C ) = class formation, M = G -module natural pairing:
ExtrG (M,C )× H2−r (G ,M) → H2(G ,C ) ' Q/Z,
αr (G ,M) : ExtrG (M,C ) → H2−r (G ,M)∗ = Hom(H2−r (G ,M),Q/Z),
On the other hand, (G ,C ) the reciprocity map
rec : CG → G ab.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 22: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/22.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Class formation
(G ,C ) = class formation, M = G -module natural pairing:
ExtrG (M,C )× H2−r (G ,M) → H2(G ,C ) ' Q/Z,
αr (G ,M) : ExtrG (M,C ) → H2−r (G ,M)∗ = Hom(H2−r (G ,M),Q/Z),
On the other hand, (G ,C ) the reciprocity map
rec : CG → G ab.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 23: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/23.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Duality with respect to a class formation
LemmaLet (G ,C ) be a class formation and M be a finite G-module, then
(i)αr (G ,M) is bijective for all r > 2;(ii)α1(G ,M) is bijective if α1(U,Z/mZ) is bijective for all mand all U 6o G ;
(iii)α0(G ,M) is surjective (resp. bijective) if α0(U,Z/mZ) issurjective (resp. bijective) for all m and all U 6o G .
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 24: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/24.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Duality with respect to a class formation
LemmaLet (G ,C ) be a class formation and M be a finite G-module, then
(i)αr (G ,M) is bijective for all r > 2;(ii)α1(G ,M) is bijective if α1(U,Z/mZ) is bijective for all mand all U 6o G ;
(iii)α0(G ,M) is surjective (resp. bijective) if α0(U,Z/mZ) issurjective (resp. bijective) for all m and all U 6o G .
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 25: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/25.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Duality with respect to a class formation
LemmaLet (G ,C ) be a class formation and M be a finite G-module, then
(i)αr (G ,M) is bijective for all r > 2;(ii)α1(G ,M) is bijective if α1(U,Z/mZ) is bijective for all mand all U 6o G ;
(iii)α0(G ,M) is surjective (resp. bijective) if α0(U,Z/mZ) issurjective (resp. bijective) for all m and all U 6o G .
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 26: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/26.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Duality with respect to a class formation
RemarkP = a set of prime numbersConsidering only the P-primary part, a P-class formation will giveus a similar lemma.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 27: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/27.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Notations
K = non-Archimedean local fieldk = residue field, char(k) = pG = Gal(K s/K )
(G ,K s∗) is a class formation by LCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 28: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/28.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Notations
K = non-Archimedean local fieldk = residue field, char(k) = pG = Gal(K s/K )
(G ,K s∗) is a class formation by LCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 29: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/29.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Notations
K = non-Archimedean local fieldk = residue field, char(k) = pG = Gal(K s/K )
(G ,K s∗) is a class formation by LCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 30: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/30.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Notations
K = non-Archimedean local fieldk = residue field, char(k) = pG = Gal(K s/K )
(G ,K s∗) is a class formation by LCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 31: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/31.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Local duality
TheoremLet M be a finite G-module, then
αr (G ,M) : ExtrG (M,K s∗) → H2−r (G ,M)∗
is an isomorphism for all r . If char(K ) - #M, then ExtrG (M,K s∗)
and H r (G ,M) are finite.
Corollary
If char(K ) - #M, then there exists a perfect pairing of finite groups(where MD = Hom(M,K s∗))
H r (G ,MD)× H2−r (G ,M) → H2(G ,K s∗) ' Q/Z.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 32: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/32.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Sketch of proof
Sketch of proof
LCFT info. of rec : K ∗ → G ab,
α1(G ,Z/mZ) = rec(m) : K ∗/K ∗m → (G ab)(m),
commutative diagram
(G ab)m
µm(K )α0(G ,Z/mZ)
//
recm
55kkkkkkkkkkkkkkkkH2(G ,Z/mZ)∗,
ψ
OOOO
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 33: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/33.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Sketch of proof
Sketch of proof
LCFT info. of rec : K ∗ → G ab,
α1(G ,Z/mZ) = rec(m) : K ∗/K ∗m → (G ab)(m),
commutative diagram
(G ab)m
µm(K )α0(G ,Z/mZ)
//
recm
55kkkkkkkkkkkkkkkkH2(G ,Z/mZ)∗,
ψ
OOOO
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 34: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/34.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Sketch of proof
Sketch of proof
LCFT info. of rec : K ∗ → G ab,
α1(G ,Z/mZ) = rec(m) : K ∗/K ∗m → (G ab)(m),
commutative diagram
(G ab)m
µm(K )α0(G ,Z/mZ)
//
recm
55kkkkkkkkkkkkkkkkH2(G ,Z/mZ)∗,
ψ
OOOO
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 35: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/35.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Sketch of proof
Sketch of proof (continued).
In general, ψ: NOT a bijection, BUT in our case scd(G ) = 2 H3(G ,Z) = 0 ψ: isomorphism,
info. of rec info. of{α0(G ,Z/mZ)α1(G ,Z/mZ)
Apply the previous lemma ⇒ the statement,spectral sequence
some simple calculations
} finiteness.
For the corollary, char(K ) - #M identify ExtrG (M,K s∗)
and H r (G ,MD) by spectral sequence.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 36: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/36.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Sketch of proof
Sketch of proof (continued).
In general, ψ: NOT a bijection, BUT in our case scd(G ) = 2 H3(G ,Z) = 0 ψ: isomorphism,
info. of rec info. of{α0(G ,Z/mZ)α1(G ,Z/mZ)
Apply the previous lemma ⇒ the statement,spectral sequence
some simple calculations
} finiteness.
For the corollary, char(K ) - #M identify ExtrG (M,K s∗)
and H r (G ,MD) by spectral sequence.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 37: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/37.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Sketch of proof
Sketch of proof (continued).
In general, ψ: NOT a bijection, BUT in our case scd(G ) = 2 H3(G ,Z) = 0 ψ: isomorphism,
info. of rec info. of{α0(G ,Z/mZ)α1(G ,Z/mZ)
Apply the previous lemma ⇒ the statement,spectral sequence
some simple calculations
} finiteness.
For the corollary, char(K ) - #M identify ExtrG (M,K s∗)
and H r (G ,MD) by spectral sequence.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 38: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/38.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Sketch of proof
Sketch of proof (continued).
In general, ψ: NOT a bijection, BUT in our case scd(G ) = 2 H3(G ,Z) = 0 ψ: isomorphism,
info. of rec info. of{α0(G ,Z/mZ)α1(G ,Z/mZ)
Apply the previous lemma ⇒ the statement,spectral sequence
some simple calculations
} finiteness.
For the corollary, char(K ) - #M identify ExtrG (M,K s∗)
and H r (G ,MD) by spectral sequence.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 39: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/39.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Sketch of proof
Sketch of proof (continued).
In general, ψ: NOT a bijection, BUT in our case scd(G ) = 2 H3(G ,Z) = 0 ψ: isomorphism,
info. of rec info. of{α0(G ,Z/mZ)α1(G ,Z/mZ)
Apply the previous lemma ⇒ the statement,spectral sequence
some simple calculations
} finiteness.
For the corollary, char(K ) - #M identify ExtrG (M,K s∗)
and H r (G ,MD) by spectral sequence.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 40: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/40.jpg)
Local dualityAn application to Abelian varieties
Global duality
Duality with respect to a class formationLocal dualityEuler-Poincaré characteristic
Euler-Poincaré characteristic
We define the Euler-Poincaré characteristicχ(G ,M) = #H0(G ,M)·#H2(G ,M)
#H1(G ,M), and we have the following formula
TheoremFor M finite of order m such that char(K ) - m, then
χ(G ,M) = |m|K .
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 41: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/41.jpg)
Local dualityAn application to Abelian varieties
Global duality
Tate’s theorem
As an application of the local duality theorem, we get
Theorem (Tate)
Let K be a non-Archimedean local field of characteristic 0, and Abe an Abelian variety over K with dual At , then there exists aperfect pairing
At(K )× H1(K ,A) → Q/Z.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 42: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/42.jpg)
Local dualityAn application to Abelian varieties
Global duality
Sketch of proof
Sketch of proof.
We are going to study the ExtrK (−,Gm) sequence and
H r (K ,−) sequence of 0 → An → A n→ A → 0,The local duality info. of αr (K ,An),
info. of αr (K ,An)local χ formula
} info. of
{αr (K ,A)nαr (K ,A)(n)
Take the limit on n, get the info. on αr (K ,A) : iso.,Finally, Barsotti-Weil formula : At(K ) = Ext1
K (A,Gm)
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 43: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/43.jpg)
Local dualityAn application to Abelian varieties
Global duality
Sketch of proof
Sketch of proof.
We are going to study the ExtrK (−,Gm) sequence and
H r (K ,−) sequence of 0 → An → A n→ A → 0,The local duality info. of αr (K ,An),
info. of αr (K ,An)local χ formula
} info. of
{αr (K ,A)nαr (K ,A)(n)
Take the limit on n, get the info. on αr (K ,A) : iso.,Finally, Barsotti-Weil formula : At(K ) = Ext1
K (A,Gm)
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 44: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/44.jpg)
Local dualityAn application to Abelian varieties
Global duality
Sketch of proof
Sketch of proof.
We are going to study the ExtrK (−,Gm) sequence and
H r (K ,−) sequence of 0 → An → A n→ A → 0,The local duality info. of αr (K ,An),
info. of αr (K ,An)local χ formula
} info. of
{αr (K ,A)nαr (K ,A)(n)
Take the limit on n, get the info. on αr (K ,A) : iso.,Finally, Barsotti-Weil formula : At(K ) = Ext1
K (A,Gm)
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 45: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/45.jpg)
Local dualityAn application to Abelian varieties
Global duality
Sketch of proof
Sketch of proof.
We are going to study the ExtrK (−,Gm) sequence and
H r (K ,−) sequence of 0 → An → A n→ A → 0,The local duality info. of αr (K ,An),
info. of αr (K ,An)local χ formula
} info. of
{αr (K ,A)nαr (K ,A)(n)
Take the limit on n, get the info. on αr (K ,A) : iso.,Finally, Barsotti-Weil formula : At(K ) = Ext1
K (A,Gm)
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 46: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/46.jpg)
Local dualityAn application to Abelian varieties
Global duality
Sketch of proof
Sketch of proof.
We are going to study the ExtrK (−,Gm) sequence and
H r (K ,−) sequence of 0 → An → A n→ A → 0,The local duality info. of αr (K ,An),
info. of αr (K ,An)local χ formula
} info. of
{αr (K ,A)nαr (K ,A)(n)
Take the limit on n, get the info. on αr (K ,A) : iso.,Finally, Barsotti-Weil formula : At(K ) = Ext1
K (A,Gm)
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 47: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/47.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
K = a global fieldS 6= ∅ a set of places containing all the archimedean placesKS = the maximal extension of K unramified outside SGS = Gal(KS/K )
OF ,S = {x ∈ F ; w(x) > 0,∀w /∈ S}, S-integersfor K ⊆ F ⊆ KS with F/K finite (Galois) extension.JF ,S =
∏′w∈SF
F ∗w , S-idèles
EF ,S = O×F ,S = {x ∈ F ; w(x) = 0,∀w /∈ S}, S-units
CF ,S = JF ,S/EF ,S and CS = lim−→FCF ,S
P = {p prime number; p∞ | #GS}(GS ,CS) is a P-class formation by GCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 48: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/48.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
K = a global fieldS 6= ∅ a set of places containing all the archimedean placesKS = the maximal extension of K unramified outside SGS = Gal(KS/K )
OF ,S = {x ∈ F ; w(x) > 0,∀w /∈ S}, S-integersfor K ⊆ F ⊆ KS with F/K finite (Galois) extension.JF ,S =
∏′w∈SF
F ∗w , S-idèles
EF ,S = O×F ,S = {x ∈ F ; w(x) = 0,∀w /∈ S}, S-units
CF ,S = JF ,S/EF ,S and CS = lim−→FCF ,S
P = {p prime number; p∞ | #GS}(GS ,CS) is a P-class formation by GCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 49: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/49.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
K = a global fieldS 6= ∅ a set of places containing all the archimedean placesKS = the maximal extension of K unramified outside SGS = Gal(KS/K )
OF ,S = {x ∈ F ; w(x) > 0,∀w /∈ S}, S-integersfor K ⊆ F ⊆ KS with F/K finite (Galois) extension.JF ,S =
∏′w∈SF
F ∗w , S-idèles
EF ,S = O×F ,S = {x ∈ F ; w(x) = 0,∀w /∈ S}, S-units
CF ,S = JF ,S/EF ,S and CS = lim−→FCF ,S
P = {p prime number; p∞ | #GS}(GS ,CS) is a P-class formation by GCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 50: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/50.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
K = a global fieldS 6= ∅ a set of places containing all the archimedean placesKS = the maximal extension of K unramified outside SGS = Gal(KS/K )
OF ,S = {x ∈ F ; w(x) > 0,∀w /∈ S}, S-integersfor K ⊆ F ⊆ KS with F/K finite (Galois) extension.JF ,S =
∏′w∈SF
F ∗w , S-idèles
EF ,S = O×F ,S = {x ∈ F ; w(x) = 0,∀w /∈ S}, S-units
CF ,S = JF ,S/EF ,S and CS = lim−→FCF ,S
P = {p prime number; p∞ | #GS}(GS ,CS) is a P-class formation by GCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 51: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/51.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
K = a global fieldS 6= ∅ a set of places containing all the archimedean placesKS = the maximal extension of K unramified outside SGS = Gal(KS/K )
OF ,S = {x ∈ F ; w(x) > 0,∀w /∈ S}, S-integersfor K ⊆ F ⊆ KS with F/K finite (Galois) extension.JF ,S =
∏′w∈SF
F ∗w , S-idèles
EF ,S = O×F ,S = {x ∈ F ; w(x) = 0,∀w /∈ S}, S-units
CF ,S = JF ,S/EF ,S and CS = lim−→FCF ,S
P = {p prime number; p∞ | #GS}(GS ,CS) is a P-class formation by GCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 52: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/52.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
K = a global fieldS 6= ∅ a set of places containing all the archimedean placesKS = the maximal extension of K unramified outside SGS = Gal(KS/K )
OF ,S = {x ∈ F ; w(x) > 0,∀w /∈ S}, S-integersfor K ⊆ F ⊆ KS with F/K finite (Galois) extension.JF ,S =
∏′w∈SF
F ∗w , S-idèles
EF ,S = O×F ,S = {x ∈ F ; w(x) = 0,∀w /∈ S}, S-units
CF ,S = JF ,S/EF ,S and CS = lim−→FCF ,S
P = {p prime number; p∞ | #GS}(GS ,CS) is a P-class formation by GCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 53: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/53.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
K = a global fieldS 6= ∅ a set of places containing all the archimedean placesKS = the maximal extension of K unramified outside SGS = Gal(KS/K )
OF ,S = {x ∈ F ; w(x) > 0,∀w /∈ S}, S-integersfor K ⊆ F ⊆ KS with F/K finite (Galois) extension.JF ,S =
∏′w∈SF
F ∗w , S-idèles
EF ,S = O×F ,S = {x ∈ F ; w(x) = 0,∀w /∈ S}, S-units
CF ,S = JF ,S/EF ,S and CS = lim−→FCF ,S
P = {p prime number; p∞ | #GS}(GS ,CS) is a P-class formation by GCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 54: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/54.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
K = a global fieldS 6= ∅ a set of places containing all the archimedean placesKS = the maximal extension of K unramified outside SGS = Gal(KS/K )
OF ,S = {x ∈ F ; w(x) > 0,∀w /∈ S}, S-integersfor K ⊆ F ⊆ KS with F/K finite (Galois) extension.JF ,S =
∏′w∈SF
F ∗w , S-idèles
EF ,S = O×F ,S = {x ∈ F ; w(x) = 0,∀w /∈ S}, S-units
CF ,S = JF ,S/EF ,S and CS = lim−→FCF ,S
P = {p prime number; p∞ | #GS}(GS ,CS) is a P-class formation by GCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 55: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/55.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
K = a global fieldS 6= ∅ a set of places containing all the archimedean placesKS = the maximal extension of K unramified outside SGS = Gal(KS/K )
OF ,S = {x ∈ F ; w(x) > 0,∀w /∈ S}, S-integersfor K ⊆ F ⊆ KS with F/K finite (Galois) extension.JF ,S =
∏′w∈SF
F ∗w , S-idèles
EF ,S = O×F ,S = {x ∈ F ; w(x) = 0,∀w /∈ S}, S-units
CF ,S = JF ,S/EF ,S and CS = lim−→FCF ,S
P = {p prime number; p∞ | #GS}(GS ,CS) is a P-class formation by GCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 56: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/56.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
K = a global fieldS 6= ∅ a set of places containing all the archimedean placesKS = the maximal extension of K unramified outside SGS = Gal(KS/K )
OF ,S = {x ∈ F ; w(x) > 0,∀w /∈ S}, S-integersfor K ⊆ F ⊆ KS with F/K finite (Galois) extension.JF ,S =
∏′w∈SF
F ∗w , S-idèles
EF ,S = O×F ,S = {x ∈ F ; w(x) = 0,∀w /∈ S}, S-units
CF ,S = JF ,S/EF ,S and CS = lim−→FCF ,S
P = {p prime number; p∞ | #GS}(GS ,CS) is a P-class formation by GCFT
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 57: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/57.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
A duality theorem
TheoremLet M be a finite GS -module, then for any prime number p ∈ P,
αr (GS ,M)(p) : ExtrGS
(M,CS)(p)'→ H2−r (GS ,M)∗(p)
is an isomorphism for r > 1. Moreover, if K is a function field thenthe statement is also true for r = 0, in which case P is all the primenumbers.
Proof.The proof: similar to the local case,BUT in case K = number field, NOT necessary that scd(GS) = 2,GCFT info. of rec ; info. of α0(GS ,Z/psZ),that is why the statement is only for r > 1 in this case.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 58: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/58.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
MD = Hom(M,K ∗S )
Gv = Gal(K sv /Kv )� gv = Gal(k(v)s/k(v))
H r (Kv ,M) =
{H r
T (Gv ,M), v ∈ S∞H r (Gv ,M), v non-Archimedean
.
H run(Kv ,M) = im(H r (gv ,M) → H r (Gv ,M)) for v /∈ S∞
P rS(K ,M) =
∏′v∈S H r (Kv ,M) restrict prod. wrt. H r
un(Kv ,M)
LemmaThe image of the homomorphism H r (GS ,M) →
∏v∈S H r (Kv ,M)
is contained in P rS(K ,M).
βrS(K ,M) : H r (GS ,M) → P r
S(K ,M)
XrS(K ,M) = ker(βr
S(K ,M))
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 59: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/59.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
MD = Hom(M,K ∗S )
Gv = Gal(K sv /Kv )� gv = Gal(k(v)s/k(v))
H r (Kv ,M) =
{H r
T (Gv ,M), v ∈ S∞H r (Gv ,M), v non-Archimedean
.
H run(Kv ,M) = im(H r (gv ,M) → H r (Gv ,M)) for v /∈ S∞
P rS(K ,M) =
∏′v∈S H r (Kv ,M) restrict prod. wrt. H r
un(Kv ,M)
LemmaThe image of the homomorphism H r (GS ,M) →
∏v∈S H r (Kv ,M)
is contained in P rS(K ,M).
βrS(K ,M) : H r (GS ,M) → P r
S(K ,M)
XrS(K ,M) = ker(βr
S(K ,M))
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 60: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/60.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
MD = Hom(M,K ∗S )
Gv = Gal(K sv /Kv )� gv = Gal(k(v)s/k(v))
H r (Kv ,M) =
{H r
T (Gv ,M), v ∈ S∞H r (Gv ,M), v non-Archimedean
.
H run(Kv ,M) = im(H r (gv ,M) → H r (Gv ,M)) for v /∈ S∞
P rS(K ,M) =
∏′v∈S H r (Kv ,M) restrict prod. wrt. H r
un(Kv ,M)
LemmaThe image of the homomorphism H r (GS ,M) →
∏v∈S H r (Kv ,M)
is contained in P rS(K ,M).
βrS(K ,M) : H r (GS ,M) → P r
S(K ,M)
XrS(K ,M) = ker(βr
S(K ,M))
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 61: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/61.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
MD = Hom(M,K ∗S )
Gv = Gal(K sv /Kv )� gv = Gal(k(v)s/k(v))
H r (Kv ,M) =
{H r
T (Gv ,M), v ∈ S∞H r (Gv ,M), v non-Archimedean
.
H run(Kv ,M) = im(H r (gv ,M) → H r (Gv ,M)) for v /∈ S∞
P rS(K ,M) =
∏′v∈S H r (Kv ,M) restrict prod. wrt. H r
un(Kv ,M)
LemmaThe image of the homomorphism H r (GS ,M) →
∏v∈S H r (Kv ,M)
is contained in P rS(K ,M).
βrS(K ,M) : H r (GS ,M) → P r
S(K ,M)
XrS(K ,M) = ker(βr
S(K ,M))
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 62: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/62.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
MD = Hom(M,K ∗S )
Gv = Gal(K sv /Kv )� gv = Gal(k(v)s/k(v))
H r (Kv ,M) =
{H r
T (Gv ,M), v ∈ S∞H r (Gv ,M), v non-Archimedean
.
H run(Kv ,M) = im(H r (gv ,M) → H r (Gv ,M)) for v /∈ S∞
P rS(K ,M) =
∏′v∈S H r (Kv ,M) restrict prod. wrt. H r
un(Kv ,M)
LemmaThe image of the homomorphism H r (GS ,M) →
∏v∈S H r (Kv ,M)
is contained in P rS(K ,M).
βrS(K ,M) : H r (GS ,M) → P r
S(K ,M)
XrS(K ,M) = ker(βr
S(K ,M))
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 63: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/63.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
MD = Hom(M,K ∗S )
Gv = Gal(K sv /Kv )� gv = Gal(k(v)s/k(v))
H r (Kv ,M) =
{H r
T (Gv ,M), v ∈ S∞H r (Gv ,M), v non-Archimedean
.
H run(Kv ,M) = im(H r (gv ,M) → H r (Gv ,M)) for v /∈ S∞
P rS(K ,M) =
∏′v∈S H r (Kv ,M) restrict prod. wrt. H r
un(Kv ,M)
LemmaThe image of the homomorphism H r (GS ,M) →
∏v∈S H r (Kv ,M)
is contained in P rS(K ,M).
βrS(K ,M) : H r (GS ,M) → P r
S(K ,M)
XrS(K ,M) = ker(βr
S(K ,M))
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 64: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/64.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Notations
MD = Hom(M,K ∗S )
Gv = Gal(K sv /Kv )� gv = Gal(k(v)s/k(v))
H r (Kv ,M) =
{H r
T (Gv ,M), v ∈ S∞H r (Gv ,M), v non-Archimedean
.
H run(Kv ,M) = im(H r (gv ,M) → H r (Gv ,M)) for v /∈ S∞
P rS(K ,M) =
∏′v∈S H r (Kv ,M) restrict prod. wrt. H r
un(Kv ,M)
LemmaThe image of the homomorphism H r (GS ,M) →
∏v∈S H r (Kv ,M)
is contained in P rS(K ,M).
βrS(K ,M) : H r (GS ,M) → P r
S(K ,M)
XrS(K ,M) = ker(βr
S(K ,M))
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 65: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/65.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Poitou-Tate exact sequence
Theorem (Poitou-Tate)
Let M be a finite GS -module of order m satisfying mOK ,S = OK ,S ,then
(i)The map β1S(K ,M) is proper, in particular X1
S(K ,M) isfinite.(ii)There exists a perfect pairing of finite groups
X1S(K ,M)×X2
S(K ,MD) → Q/Z.
(iii)For r > 3, βrS(K ,M) : H r (GS ,M)
'→∏
v∈SR H r (Kv ,M) isan isomorphism.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 66: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/66.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Poitou-Tate exact sequence
Theorem (Poitou-Tate)
Let M be a finite GS -module of order m satisfying mOK ,S = OK ,S ,then
(i)The map β1S(K ,M) is proper, in particular X1
S(K ,M) isfinite.(ii)There exists a perfect pairing of finite groups
X1S(K ,M)×X2
S(K ,MD) → Q/Z.
(iii)For r > 3, βrS(K ,M) : H r (GS ,M)
'→∏
v∈SR H r (Kv ,M) isan isomorphism.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 67: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/67.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Poitou-Tate exact sequence
Theorem (Poitou-Tate)
Let M be a finite GS -module of order m satisfying mOK ,S = OK ,S ,then
(i)The map β1S(K ,M) is proper, in particular X1
S(K ,M) isfinite.(ii)There exists a perfect pairing of finite groups
X1S(K ,M)×X2
S(K ,MD) → Q/Z.
(iii)For r > 3, βrS(K ,M) : H r (GS ,M)
'→∏
v∈SR H r (Kv ,M) isan isomorphism.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 68: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/68.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Poitou-Tate exact sequence
Theorem (Poitou-Tate)
Let M be a finite GS -module of order m satisfying mOK ,S = OK ,S ,then
(i)The map β1S(K ,M) is proper, in particular X1
S(K ,M) isfinite.(ii)There exists a perfect pairing of finite groups
X1S(K ,M)×X2
S(K ,MD) → Q/Z.
(iii)For r > 3, βrS(K ,M) : H r (GS ,M)
'→∏
v∈SR H r (Kv ,M) isan isomorphism.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 69: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/69.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Poitou-Tate exact sequence
Theorem (Poitou-Tate)
(iv)There is an exact sequence
0 // H0(GS ,M)β0
S // P0S(K ,M)
γ0S // H2(GS ,MD)∗
��H1(GS ,MD)∗
��
P1S(K ,M)
γ1Soo H1(GS ,M)
β1Soo
H2(GS ,M)β2
S // P2S(K ,M)
γ2S // H0(GS ,MD)∗ // 0.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 70: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/70.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Sketch of proof
Sketch of proof
(i)Properness of β1S(K ,M): Spectral sequence reduction
to simple case,Direct calculations for the simple case,finiteness of class group ⇒ properness of β1
S(K ,M).
Poitou-Tate sequence ⇒(ii)perfect pairing of X.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 71: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/71.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Sketch of proof
Sketch of proof
(i)Properness of β1S(K ,M): Spectral sequence reduction
to simple case,Direct calculations for the simple case,finiteness of class group ⇒ properness of β1
S(K ,M).
Poitou-Tate sequence ⇒(ii)perfect pairing of X.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 72: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/72.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Sketch of proof
Sketch of proof
(i)Properness of β1S(K ,M): Spectral sequence reduction
to simple case,Direct calculations for the simple case,finiteness of class group ⇒ properness of β1
S(K ,M).
Poitou-Tate sequence ⇒(ii)perfect pairing of X.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 73: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/73.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Sketch of proof
Sketch of proof (continued).
(iii)&(iv): Local duality γr
S(K ,MD) : P rS(K ,MD) → H2−r (GS ,M)∗ is the dual of
β2−rS (K ,M) : H2−r (GS ,M) → P2−r
S (K ,M),
Symmetry ⇒ only need to proof the second half of thesequence,Extr
GS(MD ,−), 0 → ES → JS → CS → 0 long exact
sequence,Complicated calculations ⇒ Extr
GS(MD ,ES) = H r (GS ,M) and
ExtrGS
(MD , JS) = P rS(K ,M) for any r ,
Previous duality theorem ⇒ ExtrGS
(MD ,CS) = H r (GS ,MD)∗
for r > 1 (the last six terms of the Poitou-Tate sequence).
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 74: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/74.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Sketch of proof
Sketch of proof (continued).
(iii)&(iv): Local duality γr
S(K ,MD) : P rS(K ,MD) → H2−r (GS ,M)∗ is the dual of
β2−rS (K ,M) : H2−r (GS ,M) → P2−r
S (K ,M),
Symmetry ⇒ only need to proof the second half of thesequence,Extr
GS(MD ,−), 0 → ES → JS → CS → 0 long exact
sequence,Complicated calculations ⇒ Extr
GS(MD ,ES) = H r (GS ,M) and
ExtrGS
(MD , JS) = P rS(K ,M) for any r ,
Previous duality theorem ⇒ ExtrGS
(MD ,CS) = H r (GS ,MD)∗
for r > 1 (the last six terms of the Poitou-Tate sequence).
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 75: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/75.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Sketch of proof
Sketch of proof (continued).
(iii)&(iv): Local duality γr
S(K ,MD) : P rS(K ,MD) → H2−r (GS ,M)∗ is the dual of
β2−rS (K ,M) : H2−r (GS ,M) → P2−r
S (K ,M),
Symmetry ⇒ only need to proof the second half of thesequence,Extr
GS(MD ,−), 0 → ES → JS → CS → 0 long exact
sequence,Complicated calculations ⇒ Extr
GS(MD ,ES) = H r (GS ,M) and
ExtrGS
(MD , JS) = P rS(K ,M) for any r ,
Previous duality theorem ⇒ ExtrGS
(MD ,CS) = H r (GS ,MD)∗
for r > 1 (the last six terms of the Poitou-Tate sequence).
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 76: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/76.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Sketch of proof
Sketch of proof (continued).
(iii)&(iv): Local duality γr
S(K ,MD) : P rS(K ,MD) → H2−r (GS ,M)∗ is the dual of
β2−rS (K ,M) : H2−r (GS ,M) → P2−r
S (K ,M),
Symmetry ⇒ only need to proof the second half of thesequence,Extr
GS(MD ,−), 0 → ES → JS → CS → 0 long exact
sequence,Complicated calculations ⇒ Extr
GS(MD ,ES) = H r (GS ,M) and
ExtrGS
(MD , JS) = P rS(K ,M) for any r ,
Previous duality theorem ⇒ ExtrGS
(MD ,CS) = H r (GS ,MD)∗
for r > 1 (the last six terms of the Poitou-Tate sequence).
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 77: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/77.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Sketch of proof
Sketch of proof (continued).
(iii)&(iv): Local duality γr
S(K ,MD) : P rS(K ,MD) → H2−r (GS ,M)∗ is the dual of
β2−rS (K ,M) : H2−r (GS ,M) → P2−r
S (K ,M),
Symmetry ⇒ only need to proof the second half of thesequence,Extr
GS(MD ,−), 0 → ES → JS → CS → 0 long exact
sequence,Complicated calculations ⇒ Extr
GS(MD ,ES) = H r (GS ,M) and
ExtrGS
(MD , JS) = P rS(K ,M) for any r ,
Previous duality theorem ⇒ ExtrGS
(MD ,CS) = H r (GS ,MD)∗
for r > 1 (the last six terms of the Poitou-Tate sequence).
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 78: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/78.jpg)
Local dualityAn application to Abelian varieties
Global duality
A duality theoremPoitou-Tate exact sequenceEuler-Poincaré characteristic
Euler-Poincaré characteristic
If m = #M such that mOK ,S = OK ,S , and if S is finite, thenH r (GS ,M) is finite, we define
χ(GS ,M) =#H0(GS ,M) ·#H2(GS ,M)
#H1(GS ,M),
we have the following formula
Theorem
χ(GS ,M) =∏
v∈S∞
#H0(Gv ,M)
|m|v.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 79: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/79.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Part II
Etale cohomology
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 80: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/80.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Notations
From now on, all the cohomology groups = étale cohomologygroups, "sheaf" = étale sheaf of abelian groupsR : Henselian DVR, K = Frac(R), k = R/m residue fieldX = spec(R) = {u, x} where
j : u = spec(K ) → X is the generic pointi : x = spec(k) → X is the closed point
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 81: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/81.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Notations
From now on, all the cohomology groups = étale cohomologygroups, "sheaf" = étale sheaf of abelian groupsR : Henselian DVR, K = Frac(R), k = R/m residue fieldX = spec(R) = {u, x} where
j : u = spec(K ) → X is the generic pointi : x = spec(k) → X is the closed point
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 82: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/82.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Notations
From now on, all the cohomology groups = étale cohomologygroups, "sheaf" = étale sheaf of abelian groupsR : Henselian DVR, K = Frac(R), k = R/m residue fieldX = spec(R) = {u, x} where
j : u = spec(K ) → X is the generic pointi : x = spec(k) → X is the closed point
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 83: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/83.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
The local duality theorem
TheoremSuppose that k is a finite field. Let F be a constructible sheaf onX , if one of the following conditions holds (1)K is complete,(2)char(K ) = 0, (3)char(K ) = p and pF = F , then we have aperfect pairing:
ExtrX (F ,Gm)× H3−r
x (X ,F) → H3x (X ,Gm) ' Q/Z.
CorollarySuppose that k is finite of characteristic p, for a locally constantconstructible sheaf F on X such that pF = F , then we have aperfect pairing (where FD = HomX (F ,Gm))
H r (X ,FD)× H3−rx (X ,F) → Q/Z.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 84: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/84.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Proof of the theorem
Sketch of proof.1 For sheaves of the form j!F , we identify the pairing with the
local duality of Galois cohomology,2 For sheaves of the form i∗F , we identify the pairing with the
duality of the class formation (Gal(ks/k),Z),
3 Finally, for general F we take the cohomology sequence andExt sequence of
0 → j!j∗F → F → i∗i∗F → 0
and combine the first two cases.4 For the corollary, pF = F identify Extr
X (F ,Gm) andH r (X ,FD) by the local-global Ext spectral sequence.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 85: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/85.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Proof of the theorem
Sketch of proof.1 For sheaves of the form j!F , we identify the pairing with the
local duality of Galois cohomology,2 For sheaves of the form i∗F , we identify the pairing with the
duality of the class formation (Gal(ks/k),Z),
3 Finally, for general F we take the cohomology sequence andExt sequence of
0 → j!j∗F → F → i∗i∗F → 0
and combine the first two cases.4 For the corollary, pF = F identify Extr
X (F ,Gm) andH r (X ,FD) by the local-global Ext spectral sequence.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 86: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/86.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Proof of the theorem
Sketch of proof.1 For sheaves of the form j!F , we identify the pairing with the
local duality of Galois cohomology,2 For sheaves of the form i∗F , we identify the pairing with the
duality of the class formation (Gal(ks/k),Z),
3 Finally, for general F we take the cohomology sequence andExt sequence of
0 → j!j∗F → F → i∗i∗F → 0
and combine the first two cases.4 For the corollary, pF = F identify Extr
X (F ,Gm) andH r (X ,FD) by the local-global Ext spectral sequence.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 87: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/87.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Proof of the theorem
Sketch of proof.1 For sheaves of the form j!F , we identify the pairing with the
local duality of Galois cohomology,2 For sheaves of the form i∗F , we identify the pairing with the
duality of the class formation (Gal(ks/k),Z),
3 Finally, for general F we take the cohomology sequence andExt sequence of
0 → j!j∗F → F → i∗i∗F → 0
and combine the first two cases.4 For the corollary, pF = F identify Extr
X (F ,Gm) andH r (X ,FD) by the local-global Ext spectral sequence.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 88: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/88.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Notations
K : a global fieldX
X = spec(OK ) if K is a number fieldX the unique complete smooth curve with function field K
Usually, for open subschemes V ⊂ U ⊆ X ,j : V → U = the open immersioni : U \ V = Z → U = the (reduced) closed immersionFor a closed point v of X , Oh
v = Henselization of the stalk ofOX at v , Kv = Frac(Oh
v )
For an Archimedean place v , we set Kv = R or C
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 89: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/89.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Notations
K : a global fieldX
X = spec(OK ) if K is a number fieldX the unique complete smooth curve with function field K
Usually, for open subschemes V ⊂ U ⊆ X ,j : V → U = the open immersioni : U \ V = Z → U = the (reduced) closed immersionFor a closed point v of X , Oh
v = Henselization of the stalk ofOX at v , Kv = Frac(Oh
v )
For an Archimedean place v , we set Kv = R or C
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 90: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/90.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Notations
K : a global fieldX
X = spec(OK ) if K is a number fieldX the unique complete smooth curve with function field K
Usually, for open subschemes V ⊂ U ⊆ X ,j : V → U = the open immersioni : U \ V = Z → U = the (reduced) closed immersionFor a closed point v of X , Oh
v = Henselization of the stalk ofOX at v , Kv = Frac(Oh
v )
For an Archimedean place v , we set Kv = R or C
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 91: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/91.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Notations
K : a global fieldX
X = spec(OK ) if K is a number fieldX the unique complete smooth curve with function field K
Usually, for open subschemes V ⊂ U ⊆ X ,j : V → U = the open immersioni : U \ V = Z → U = the (reduced) closed immersionFor a closed point v of X , Oh
v = Henselization of the stalk ofOX at v , Kv = Frac(Oh
v )
For an Archimedean place v , we set Kv = R or C
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 92: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/92.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Notations
K : a global fieldX
X = spec(OK ) if K is a number fieldX the unique complete smooth curve with function field K
Usually, for open subschemes V ⊂ U ⊆ X ,j : V → U = the open immersioni : U \ V = Z → U = the (reduced) closed immersionFor a closed point v of X , Oh
v = Henselization of the stalk ofOX at v , Kv = Frac(Oh
v )
For an Archimedean place v , we set Kv = R or C
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 93: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/93.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Notations
K : a global fieldX
X = spec(OK ) if K is a number fieldX the unique complete smooth curve with function field K
Usually, for open subschemes V ⊂ U ⊆ X ,j : V → U = the open immersioni : U \ V = Z → U = the (reduced) closed immersionFor a closed point v of X , Oh
v = Henselization of the stalk ofOX at v , Kv = Frac(Oh
v )
For an Archimedean place v , we set Kv = R or C
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 94: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/94.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Some calculations
We can compute H r (U,Gm), they are related to the idealclass group (or Pic(U)) and the group of unites.We can define H r
c (U,F) = "cohomology with compactsupport"
in case K = function field, H rc (U,F) ' H r (X , j!F) is the
cohomology with compact support in the classic sense;if K = number field, H r
c (U,F) is NOT the classic one, but itwill give the perfect pairing in the future.
The important point : H rc (U,F) is fixed into a long exact
sequence
· · · → H rc (U,F) → H r (U,F) →
⊕v /∈U
H r (Kv ,Fv ) → · · · .
Then we can also compute H rc (U,Gm), H3
c (U,Gm) ' Q/Z.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 95: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/95.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Some calculations
We can compute H r (U,Gm), they are related to the idealclass group (or Pic(U)) and the group of unites.We can define H r
c (U,F) = "cohomology with compactsupport"
in case K = function field, H rc (U,F) ' H r (X , j!F) is the
cohomology with compact support in the classic sense;if K = number field, H r
c (U,F) is NOT the classic one, but itwill give the perfect pairing in the future.
The important point : H rc (U,F) is fixed into a long exact
sequence
· · · → H rc (U,F) → H r (U,F) →
⊕v /∈U
H r (Kv ,Fv ) → · · · .
Then we can also compute H rc (U,Gm), H3
c (U,Gm) ' Q/Z.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 96: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/96.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Some calculations
We can compute H r (U,Gm), they are related to the idealclass group (or Pic(U)) and the group of unites.We can define H r
c (U,F) = "cohomology with compactsupport"
in case K = function field, H rc (U,F) ' H r (X , j!F) is the
cohomology with compact support in the classic sense;if K = number field, H r
c (U,F) is NOT the classic one, but itwill give the perfect pairing in the future.
The important point : H rc (U,F) is fixed into a long exact
sequence
· · · → H rc (U,F) → H r (U,F) →
⊕v /∈U
H r (Kv ,Fv ) → · · · .
Then we can also compute H rc (U,Gm), H3
c (U,Gm) ' Q/Z.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 97: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/97.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Some calculations
We can compute H r (U,Gm), they are related to the idealclass group (or Pic(U)) and the group of unites.We can define H r
c (U,F) = "cohomology with compactsupport"
in case K = function field, H rc (U,F) ' H r (X , j!F) is the
cohomology with compact support in the classic sense;if K = number field, H r
c (U,F) is NOT the classic one, but itwill give the perfect pairing in the future.
The important point : H rc (U,F) is fixed into a long exact
sequence
· · · → H rc (U,F) → H r (U,F) →
⊕v /∈U
H r (Kv ,Fv ) → · · · .
Then we can also compute H rc (U,Gm), H3
c (U,Gm) ' Q/Z.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 98: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/98.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Some calculations
We can compute H r (U,Gm), they are related to the idealclass group (or Pic(U)) and the group of unites.We can define H r
c (U,F) = "cohomology with compactsupport"
in case K = function field, H rc (U,F) ' H r (X , j!F) is the
cohomology with compact support in the classic sense;if K = number field, H r
c (U,F) is NOT the classic one, but itwill give the perfect pairing in the future.
The important point : H rc (U,F) is fixed into a long exact
sequence
· · · → H rc (U,F) → H r (U,F) →
⊕v /∈U
H r (Kv ,Fv ) → · · · .
Then we can also compute H rc (U,Gm), H3
c (U,Gm) ' Q/Z.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 99: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/99.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Some calculations
We can compute H r (U,Gm), they are related to the idealclass group (or Pic(U)) and the group of unites.We can define H r
c (U,F) = "cohomology with compactsupport"
in case K = function field, H rc (U,F) ' H r (X , j!F) is the
cohomology with compact support in the classic sense;if K = number field, H r
c (U,F) is NOT the classic one, but itwill give the perfect pairing in the future.
The important point : H rc (U,F) is fixed into a long exact
sequence
· · · → H rc (U,F) → H r (U,F) →
⊕v /∈U
H r (Kv ,Fv ) → · · · .
Then we can also compute H rc (U,Gm), H3
c (U,Gm) ' Q/Z.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 100: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/100.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Euler-Poincaré characteristic
For an open subscheme U of X ,F ∈ Sh(U) constructible sheaf s.t. ∃m ∈ Z satisfying mF = 0 andm invertible on U (i.e. mOv = Ov for all closed point v ∈ U), thenH r (U,F) and H r
c (U,F) are finite, we define
χ(U,F) = #H0(U,F)·#H2(U,F)#H1(U,F)·#H3(U,F)
χc(U,F) = #H0c (U,F)·#H2
c (U,F)#H1
c (U,F)·#H3c (U,F)
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 101: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/101.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Euler-Poincaré characteristic
For an open subscheme U of X ,F ∈ Sh(U) constructible sheaf s.t. ∃m ∈ Z satisfying mF = 0 andm invertible on U (i.e. mOv = Ov for all closed point v ∈ U), thenH r (U,F) and H r
c (U,F) are finite, we define
χ(U,F) = #H0(U,F)·#H2(U,F)#H1(U,F)·#H3(U,F)
χc(U,F) = #H0c (U,F)·#H2
c (U,F)#H1
c (U,F)·#H3c (U,F)
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 102: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/102.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Euler-Poincaré characteristic
For an open subscheme U of X ,F ∈ Sh(U) constructible sheaf s.t. ∃m ∈ Z satisfying mF = 0 andm invertible on U (i.e. mOv = Ov for all closed point v ∈ U), thenH r (U,F) and H r
c (U,F) are finite, we define
χ(U,F) = #H0(U,F)·#H2(U,F)#H1(U,F)·#H3(U,F)
χc(U,F) = #H0c (U,F)·#H2
c (U,F)#H1
c (U,F)·#H3c (U,F)
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 103: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/103.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Formulae
TheoremLet F a constructible sheaf on U such that mF = 0 for a certaininteger m invertible on U, then we have the formulae
(i) χ(U,F) =∏
v∈S∞#F(Kv )
#H0(Kv ,F)·|#F(K s)|v ,
(ii) χc(U,F) =∏
v∈S∞ #F(Kv ).
Sketch of proof.
First, relate χ(U,F) with χ(V ,F|V )
Take a small V s.t. F is locally constant on V , identifyH r (V ,F) with Galois cohomology, and apply the χ globalformula for Galois cohomology.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 104: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/104.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Formulae
TheoremLet F a constructible sheaf on U such that mF = 0 for a certaininteger m invertible on U, then we have the formulae
(i) χ(U,F) =∏
v∈S∞#F(Kv )
#H0(Kv ,F)·|#F(K s)|v ,
(ii) χc(U,F) =∏
v∈S∞ #F(Kv ).
Sketch of proof.
First, relate χ(U,F) with χ(V ,F|V )
Take a small V s.t. F is locally constant on V , identifyH r (V ,F) with Galois cohomology, and apply the χ globalformula for Galois cohomology.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 105: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/105.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Some notations and calculationsEuler-Poincaré characteristic
Formulae
TheoremLet F a constructible sheaf on U such that mF = 0 for a certaininteger m invertible on U, then we have the formulae
(i) χ(U,F) =∏
v∈S∞#F(Kv )
#H0(Kv ,F)·|#F(K s)|v ,
(ii) χc(U,F) =∏
v∈S∞ #F(Kv ).
Sketch of proof.
First, relate χ(U,F) with χ(V ,F|V )
Take a small V s.t. F is locally constant on V , identifyH r (V ,F) with Galois cohomology, and apply the χ globalformula for Galois cohomology.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 106: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/106.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Artin-Verdier’s theorem
Theorem (Artin-Verdier)
Let F be a constructible sheaf on U, then we have the followingperfect pairing of finite groups
ExtrU(F ,Gm)× H3−r
c (U,F) → H3c (U,Gm) ' Q/Z.
CorollaryLet F be a locally constant constructible sheaf on U such thatmF = 0 for a certain integer m invertible on U, then we have thefollowing perfect pairing of finite groups(where FD = HomU(F ,Gm))
H r (U,FD)× H3−rc (U,F) → H3
c (U,Gm) ' Q/Z.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 107: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/107.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Sketch of proof of Artin-Verdier
Sketch of proof
Proof the theorem with assumption supp(F) ⊆ Z ( X ;
Show that we can replace U by a smaller V , then we canassume F to be locally constant, killed by m invertible on V ;
Show that we can replace (U,F) by (U ′,F|U ′) with a finiteétale covering U ′ → U, then we can consider only the constantsheaves and assume that K is totally imaginary;
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 108: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/108.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Sketch of proof of Artin-Verdier
Sketch of proof
Proof the theorem with assumption supp(F) ⊆ Z ( X ;
Show that we can replace U by a smaller V , then we canassume F to be locally constant, killed by m invertible on V ;
Show that we can replace (U,F) by (U ′,F|U ′) with a finiteétale covering U ′ → U, then we can consider only the constantsheaves and assume that K is totally imaginary;
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 109: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/109.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Sketch of proof of Artin-Verdier
Sketch of proof
Proof the theorem with assumption supp(F) ⊆ Z ( X ;
Show that we can replace U by a smaller V , then we canassume F to be locally constant, killed by m invertible on V ;
Show that we can replace (U,F) by (U ′,F|U ′) with a finiteétale covering U ′ → U, then we can consider only the constantsheaves and assume that K is totally imaginary;
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 110: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/110.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Sketch of proof (continued)
Sketch of proof (continued).
With the above assumptions, develop a machine for doinginduction on r ;Show that Extr
U and H rc vanish if r is large enough or small
enough;Finally, complete the proof with a supplement argument ofArtin-Schreier for the case char(K ) = p.For the corollary, under the assumptions, we identifyExtr
U(F ,Gm) and H r (U,FD) by spectral sequence.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 111: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/111.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Sketch of proof (continued)
Sketch of proof (continued).
With the above assumptions, develop a machine for doinginduction on r ;Show that Extr
U and H rc vanish if r is large enough or small
enough;Finally, complete the proof with a supplement argument ofArtin-Schreier for the case char(K ) = p.For the corollary, under the assumptions, we identifyExtr
U(F ,Gm) and H r (U,FD) by spectral sequence.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 112: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/112.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Sketch of proof (continued)
Sketch of proof (continued).
With the above assumptions, develop a machine for doinginduction on r ;Show that Extr
U and H rc vanish if r is large enough or small
enough;Finally, complete the proof with a supplement argument ofArtin-Schreier for the case char(K ) = p.For the corollary, under the assumptions, we identifyExtr
U(F ,Gm) and H r (U,FD) by spectral sequence.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 113: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/113.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
Sketch of proof (continued)
Sketch of proof (continued).
With the above assumptions, develop a machine for doinginduction on r ;Show that Extr
U and H rc vanish if r is large enough or small
enough;Finally, complete the proof with a supplement argument ofArtin-Schreier for the case char(K ) = p.For the corollary, under the assumptions, we identifyExtr
U(F ,Gm) and H r (U,FD) by spectral sequence.
LIANG, Yong Qi Some Arithmetic Duality Theorems
![Page 114: Some Arithmetic Duality Theorems - USTCstaff.ustc.edu.cn/~yqliang/files/myarticle/liang-arithmetic duality.pdfArithmetic duality theorems may help to understand the question of rational](https://reader035.vdocuments.site/reader035/viewer/2022062415/5fb95f953db4062913627e34/html5/thumbnails/114.jpg)
Local dualityGlobal cohomology
Artin-Verdier’s theorem
The End.
Thank you very much !!Grazie mille !Merci beaucoup !
LIANG, Yong [email protected]
LIANG, Yong Qi Some Arithmetic Duality Theorems