Local-global problems Laura...
Transcript of Local-global problems Laura...
![Page 2: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/2.jpg)
Local-global problems
![Page 3: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/3.jpg)
Local-global problems
Definition.A global field is a finite extension of Q or a finite extension of Fp(t).
Definition.A number field k is a finite extension of Q.
Definition.An absolute value of a number field k is a function | | : k −→ Rsatisfying the following properties, for all x , y ∈ k .
(i) |x | ≥ 0, e |x | = 0 if and only if x = 0(ii) |xy | = |x ||y |(iii) |x + y | ≤ |x |+ |y |
![Page 4: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/4.jpg)
Local-global problems
Definition.A global field is a finite extension of Q or a finite extension of Fp(t).
Definition.A number field k is a finite extension of Q.
Definition.An absolute value of a number field k is a function | | : k −→ Rsatisfying the following properties, for all x , y ∈ k .
(i) |x | ≥ 0, e |x | = 0 if and only if x = 0(ii) |xy | = |x ||y |(iii) |x + y | ≤ |x |+ |y |
![Page 5: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/5.jpg)
Local-global problems
Definition.A global field is a finite extension of Q or a finite extension of Fp(t).
Definition.A number field k is a finite extension of Q.
Definition.An absolute value of a number field k is a function | | : k −→ Rsatisfying the following properties, for all x , y ∈ k .
(i) |x | ≥ 0, e |x | = 0 if and only if x = 0(ii) |xy | = |x ||y |(iii) |x + y | ≤ |x |+ |y |
![Page 6: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/6.jpg)
Local-global problems
Examples.
• | |∞ the usual absolute value over Q• Let a =b
c , with b, c ∈ Z, coprime. Let p be a prime number. Assume
a = pl b′
c ′, (b′c ′, p) = 1
The function | |p, defined by |a|p := 1pl , is an absolute value of Q,
named the p-adic absolute value.
![Page 7: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/7.jpg)
Local-global problems
Examples.
• | |∞ the usual absolute value over Q• Let a =b
c , with b, c ∈ Z, coprime. Let p be a prime number. Assume
a = pl b′
c ′, (b′c ′, p) = 1
The function | |p, defined by |a|p := 1pl , is an absolute value of Q,
named the p-adic absolute value.
![Page 8: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/8.jpg)
Local-global problems
Examples.
• | |∞ the usual absolute value over Q• Let a =b
c , with b, c ∈ Z, coprime. Let p be a prime number. Assume
a = pl b′
c ′, (b′c ′, p) = 1
The function | |p, defined by |a|p := 1pl , is an absolute value of Q,
named the p-adic absolute value.
![Page 9: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/9.jpg)
Local-global problems
Definition.We say that two absolute values of k are equivalent if they induce thesame topology over k .
Ostrowski’s Theorem.Every absolute value of Q is equivalent to one of the absolute values | |∞or | |p.
Definition.The field obtained as a completion of Q by the absolute value | |p iscalled p-adic field and it is denoted by Qp. The elements of Qp are calledp-adic numbers.
![Page 10: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/10.jpg)
Local-global problems
Definition.We say that two absolute values of k are equivalent if they induce thesame topology over k .
Ostrowski’s Theorem.Every absolute value of Q is equivalent to one of the absolute values | |∞or | |p.
Definition.The field obtained as a completion of Q by the absolute value | |p iscalled p-adic field and it is denoted by Qp. The elements of Qp are calledp-adic numbers.
![Page 11: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/11.jpg)
Local-global problems
Definition.We say that two absolute values of k are equivalent if they induce thesame topology over k .
Ostrowski’s Theorem.Every absolute value of Q is equivalent to one of the absolute values | |∞or | |p.
Definition.The field obtained as a completion of Q by the absolute value | |p iscalled p-adic field and it is denoted by Qp. The elements of Qp are calledp-adic numbers.
![Page 12: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/12.jpg)
Local-global problems
Definition.We say that two absolute values of k are equivalent if they induce thesame topology over k .
Ostrowski’s Theorem.Every absolute value of Q is equivalent to one of the absolute values | |∞or | |p.
Definition.The field obtained as a completion of Q by the absolute value | |p iscalled p-adic field and it is denoted by Qp. The elements of Qp are calledp-adic numbers.
![Page 13: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/13.jpg)
Local-global problems
Definition.A local field is a field obtained as a completion of a global field by one ofits absolute values.
In particular the fields Qp are local fields.
![Page 14: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/14.jpg)
Local-global problems
Definition.A local field is a field obtained as a completion of a global field by one ofits absolute values.
In particular the fields Qp are local fields.
![Page 15: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/15.jpg)
Local-global problems
Definition.A local field is a field obtained as a completion of a global field by one ofits absolute values.
In particular the fields Qp are local fields.
![Page 16: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/16.jpg)
Local-global problems
Hasse Principle, 1923-1924.
Let k be a number field and let F (X1, ...,Xn) ∈ k[X1, ...,Xn] be aquadratic form. If F = 0 has a non-trivial solution in kv , for allcompletions kv of k , where v is a place of k , then F = 0 has a non-trivialsolution in k .
The assumption that F is isotropic in kv for all but finitely manycompletions implies the same conclusion.
Since then, many mathematicians have been concerned with similarso-called local-global problems, i.e. they have been questioning if, given aglobal field k , the validity of some properties for all but finitely many localfields kv could ensure the validity of the same properties for k .
![Page 17: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/17.jpg)
Local-global problems
Hasse Principle, 1923-1924.
Let k be a number field and let F (X1, ...,Xn) ∈ k[X1, ...,Xn] be aquadratic form. If F = 0 has a non-trivial solution in kv , for allcompletions kv of k , where v is a place of k , then F = 0 has a non-trivialsolution in k .
The assumption that F is isotropic in kv for all but finitely manycompletions implies the same conclusion.
Since then, many mathematicians have been concerned with similarso-called local-global problems, i.e. they have been questioning if, given aglobal field k , the validity of some properties for all but finitely many localfields kv could ensure the validity of the same properties for k .
![Page 18: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/18.jpg)
Local-global problems
Hasse Principle, 1923-1924.
Let k be a number field and let F (X1, ...,Xn) ∈ k[X1, ...,Xn] be aquadratic form. If F = 0 has a non-trivial solution in kv , for allcompletions kv of k , where v is a place of k , then F = 0 has a non-trivialsolution in k .
The assumption that F is isotropic in kv for all but finitely manycompletions implies the same conclusion.
Since then, many mathematicians have been concerned with similarso-called local-global problems, i.e. they have been questioning if, given aglobal field k , the validity of some properties for all but finitely many localfields kv could ensure the validity of the same properties for k .
![Page 19: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/19.jpg)
Notation
![Page 20: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/20.jpg)
Notation
k̄ the algebraic closure of k
Gk the absolute Galois group Gal(k̄/k)
Gk = {σ ∈ Aut(k̄)|σ(x) = x , for every x ∈ k}
Mk the set of places v ∈ k
![Page 21: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/21.jpg)
Notation
k̄ the algebraic closure of k
Gk the absolute Galois group Gal(k̄/k)
Gk = {σ ∈ Aut(k̄)|σ(x) = x , for every x ∈ k}
Mk the set of places v ∈ k
![Page 22: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/22.jpg)
Notation
k̄ the algebraic closure of k
Gk the absolute Galois group Gal(k̄/k)
Gk = {σ ∈ Aut(k̄)|σ(x) = x , for every x ∈ k}
Mk the set of places v ∈ k
![Page 23: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/23.jpg)
Notation
A a commutative algebraic group defined over k
A[pl ] the pl -torsion subgroup of A
A[pl ] = {P ∈ A|plP = 0}
k(A[pl ]) the number field obtained by adding tok the coordinates of the points in A[pl ]
![Page 24: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/24.jpg)
Notation
A a commutative algebraic group defined over k
A[pl ] the pl -torsion subgroup of A
A[pl ] = {P ∈ A|plP = 0}
k(A[pl ]) the number field obtained by adding tok the coordinates of the points in A[pl ]
![Page 25: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/25.jpg)
Notation
A a commutative algebraic group defined over k
A[pl ] the pl -torsion subgroup of A
A[pl ] = {P ∈ A|plP = 0}
k(A[pl ]) the number field obtained by adding tok the coordinates of the points in A[pl ]
![Page 26: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/26.jpg)
The Local-Global Divisibility Problem
![Page 27: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/27.jpg)
The local-global divisibility problem
Local-Global Divisibility Problem. (Dvornicich, Zannier,2001)
Let P ∈ A(k). Suppose for all but finitely many v ∈ Mk , there existsDv ∈ A(kv ) such that P = plDv . Is it possible to conclude that thereexists D ∈ A(k) such that P = plD?
This problem has a cohomological interpretation.
![Page 28: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/28.jpg)
The local-global divisibility problem
Local-Global Divisibility Problem. (Dvornicich, Zannier,2001)
Let P ∈ A(k). Suppose for all but finitely many v ∈ Mk , there existsDv ∈ A(kv ) such that P = plDv . Is it possible to conclude that thereexists D ∈ A(k) such that P = plD?
This problem has a cohomological interpretation.
![Page 29: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/29.jpg)
The local-global divisibility problem
Local-Global Divisibility Problem. (Dvornicich, Zannier,2001)
Let P ∈ A(k). Suppose for all but finitely many v ∈ Mk , there existsDv ∈ A(kv ) such that P = plDv . Is it possible to conclude that thereexists D ∈ A(k) such that P = plD?
This problem has a cohomological interpretation.
![Page 30: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/30.jpg)
The local-global divisibility problem
Local-Global Divisibility Problem. (Dvornicich, Zannier,2001)
Let P ∈ A(k). Suppose for all but finitely many v ∈ Mk , there existsDv ∈ A(kv ) such that P = plDv . Is it possible to conclude that thereexists D ∈ A(k) such that P = plD?
This problem has a cohomological interpretation.
![Page 31: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/31.jpg)
The local-global divisibility problem
Local-Global Divisibility Problem. (Dvornicich, Zannier,2001)
Let P ∈ A(k). Suppose for all but finitely many v ∈ Mk , there existsDv ∈ A(kv ) such that P = plDv . Is it possible to conclude that thereexists D ∈ A(k) such that P = plD?
This problem has a cohomological interpretation.
![Page 32: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/32.jpg)
The local-global divisibility problem
Definition.Let G be a group and let M be a G -module. A cocycle of G with valuesin M (or a crossed homomorphism of G in M) is a map
Z :G −→ Mσ 7→ Zσ
such thatZστ = Zσ + σ(Zτ ),
for every σ, τ ∈ G .
The cocycles of G with values in M form a group denoted by Z (G ,M).
![Page 33: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/33.jpg)
The local-global divisibility problem
Definition.Let G be a group and let M be a G -module. A cocycle of G with valuesin M (or a crossed homomorphism of G in M) is a map
Z :G −→ Mσ 7→ Zσ
such thatZστ = Zσ + σ(Zτ ),
for every σ, τ ∈ G .
The cocycles of G with values in M form a group denoted by Z (G ,M).
![Page 34: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/34.jpg)
The local-global divisibility problem
Definition.Let G be a group and let M be a G -module. A coboundary of G withvalue in M is a cocycle Z of G with value in M such that
Zσ = (σ − 1)A,
for some A ∈ M.
The coboundaries of G with values in M form a group denoted byB(G ,M).
![Page 35: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/35.jpg)
The local-global divisibility problem
Definition.Let G be a group and let M be a G -module. A coboundary of G withvalue in M is a cocycle Z of G with value in M such that
Zσ = (σ − 1)A,
for some A ∈ M.
The coboundaries of G with values in M form a group denoted byB(G ,M).
![Page 36: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/36.jpg)
The local-global divisibility problem
Definition.Let G be a group and let M be a G -module. The first cohomology groupof G with values in M is defined as the quotient Z (G ,M)/B(G ,M) andit is denoted by H1(G ,M).
![Page 37: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/37.jpg)
The local-global divisibility problem
Let D ∈ A(k̄) such that plD = P . We can define a cocycle of Gk withvalues in A[pl ] by setting
Zσ := σ(D)− D, σ ∈ Gk .
Proposition.The class of Z is 0 in H1(Gk ,A[pl ]), if and only if there exists D ′ ∈ A(k)such that plD ′ = P .
CorollaryIf H1(Gk ,A[pl ]) = 0, then the local-global divisibility by pl holds in Aover k .
Let Σ ⊆ Mk , containing all the places v , for which the hypotheses of theproblem hold. Then Z vanishes in H1(Gkv ,A[pl ]), for every v ∈ Σ.
![Page 38: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/38.jpg)
The local-global divisibility problem
Let D ∈ A(k̄) such that plD = P . We can define a cocycle of Gk withvalues in A[pl ] by setting
Zσ := σ(D)− D, σ ∈ Gk .
Proposition.The class of Z is 0 in H1(Gk ,A[pl ]), if and only if there exists D ′ ∈ A(k)such that plD ′ = P .
CorollaryIf H1(Gk ,A[pl ]) = 0, then the local-global divisibility by pl holds in Aover k .
Let Σ ⊆ Mk , containing all the places v , for which the hypotheses of theproblem hold. Then Z vanishes in H1(Gkv ,A[pl ]), for every v ∈ Σ.
![Page 39: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/39.jpg)
The local-global divisibility problem
Let D ∈ A(k̄) such that plD = P . We can define a cocycle of Gk withvalues in A[pl ] by setting
Zσ := σ(D)− D, σ ∈ Gk .
Proposition.The class of Z is 0 in H1(Gk ,A[pl ]), if and only if there exists D ′ ∈ A(k)such that plD ′ = P .
CorollaryIf H1(Gk ,A[pl ]) = 0, then the local-global divisibility by pl holds in Aover k .
Let Σ ⊆ Mk , containing all the places v , for which the hypotheses of theproblem hold. Then Z vanishes in H1(Gkv ,A[pl ]), for every v ∈ Σ.
![Page 40: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/40.jpg)
The local-global divisibility problem
Let D ∈ A(k̄) such that plD = P . We can define a cocycle of Gk withvalues in A[pl ] by setting
Zσ := σ(D)− D, σ ∈ Gk .
Proposition.The class of Z is 0 in H1(Gk ,A[pl ]), if and only if there exists D ′ ∈ A(k)such that plD ′ = P .
CorollaryIf H1(Gk ,A[pl ]) = 0, then the local-global divisibility by pl holds in Aover k .
Let Σ ⊆ Mk , containing all the places v , for which the hypotheses of theproblem hold. Then Z vanishes in H1(Gkv ,A[pl ]), for every v ∈ Σ.
![Page 41: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/41.jpg)
The local-global divisibility problem
Let D ∈ A(k̄) such that plD = P . We can define a cocycle of Gk withvalues in A[pl ] by setting
Zσ := σ(D)− D, σ ∈ Gk .
Proposition.The class of Z is 0 in H1(Gk ,A[pl ]), if and only if there exists D ′ ∈ A(k)such that plD ′ = P .
CorollaryIf H1(Gk ,A[pl ]) = 0, then the local-global divisibility by pl holds in Aover k .
Let Σ ⊆ Mk , containing all the places v , for which the hypotheses of theproblem hold. Then Z vanishes in H1(Gkv ,A[pl ]), for every v ∈ Σ.
![Page 42: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/42.jpg)
The local-global divisibility problem
The first local cohomology group of A over k is defined as
H1loc(G ,A[pl ]) :=
⋂v∈Σ ker{H1(Gk ,A[pl ])
resv−−−−→ H1(Gkv ,A[pl ])}.
where resv is the usual restriction map and G = Gal(k(A[pl ])/k).
Proposition. (Dvornicich, Zannier, 2001)
If H1loc(G ,A[pl ]) = 0, then the local-global divisibility by pl holds in A
over k .
![Page 43: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/43.jpg)
The local-global divisibility problem
The first local cohomology group of A over k is defined as
H1loc(G ,A[pl ]) :=
⋂v∈Σ ker{H1(Gk ,A[pl ])
resv−−−−→ H1(Gkv ,A[pl ])}.
where resv is the usual restriction map and G = Gal(k(A[pl ])/k).
Proposition. (Dvornicich, Zannier, 2001)
If H1loc(G ,A[pl ]) = 0, then the local-global divisibility by pl holds in A
over k .
![Page 44: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/44.jpg)
The local-global divisibility problem
The first local cohomology group of A over k is defined as
H1loc(G ,A[pl ]) :=
⋂v∈Σ ker{H1(Gk ,A[pl ])
resv−−−−→ H1(Gkv ,A[pl ])}.
where resv is the usual restriction map and G = Gal(k(A[pl ])/k).
Proposition. (Dvornicich, Zannier, 2001)
If H1loc(G ,A[pl ]) = 0, then the local-global divisibility by pl holds in A
over k .
![Page 45: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/45.jpg)
The local-global divisibility problem
H1loc(G ,A[pl ]) =
⋂v∈Σ ker{H1(Gk ,A[pl ])
resv−−−−→ H1(Gkv ,A[pl ])}.
This definition is very similar to the one of the Tate-Shafarevich group
X(k ,A[pl ]) :=⋂
v∈Mkker{H1(Gk ,A[pl ])
resv−−−−→ H1(Gkv ,A[pl ])}.
![Page 46: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/46.jpg)
The local-global divisibility problem
H1loc(G ,A[pl ]) =
⋂v∈Σ ker{H1(Gk ,A[pl ])
resv−−−−→ H1(Gkv ,A[pl ])}.
This definition is very similar to the one of the Tate-Shafarevich group
X(k ,A[pl ]) :=⋂
v∈Mkker{H1(Gk ,A[pl ])
resv−−−−→ H1(Gkv ,A[pl ])}.
![Page 47: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/47.jpg)
Cassels’ question
![Page 48: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/48.jpg)
Cassels’ question
Cassels’ Question, 1962.
Let k be a number field and E : y2 = x3 + bx + c an elliptic curve definedover k . Are the elements of X(k , E) infinitely divisible by a prime p whenconsidered as elements of the group H1(Gk , E)?
Proposition.If X(k , E [pl ]) = 0, for every l , then Cassels’ question has an affirmativeanswer for p.
![Page 49: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/49.jpg)
Cassels’ question
Cassels’ Question, 1962.
Let k be a number field and E : y2 = x3 + bx + c an elliptic curve definedover k . Are the elements of X(k , E) infinitely divisible by a prime p whenconsidered as elements of the group H1(Gk , E)?
Proposition.If X(k , E [pl ]) = 0, for every l , then Cassels’ question has an affirmativeanswer for p.
![Page 50: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/50.jpg)
Solutions
![Page 51: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/51.jpg)
Solutions
(Tate, 1962)
Cassels’ question has an affirmative answer for the divisibility by p (onetime).
The question for the divisibility by powers of p remained open fordecades, for every p.
![Page 52: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/52.jpg)
Solutions
(Tate, 1962)
Cassels’ question has an affirmative answer for the divisibility by p (onetime).
The question for the divisibility by powers of p remained open fordecades, for every p.
![Page 53: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/53.jpg)
Solutions
Theorem. (P., Ranieri, Viada, 2012)
The local-global divisibility by pl holds in E over k , for allp > (3[k:Q]/2 + 1)2 and l ≥ 1.
Corollary. (P., Ranieri, Viada, 2012)
Cassels’ question has an affirmative answer over k for allp > (3[k:Q]/2 + 1)2.
![Page 54: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/54.jpg)
Solutions
Theorem. (P., Ranieri, Viada, 2012)
The local-global divisibility by pl holds in E over k , for allp > (3[k:Q]/2 + 1)2 and l ≥ 1.
Corollary. (P., Ranieri, Viada, 2012)
Cassels’ question has an affirmative answer over k for allp > (3[k:Q]/2 + 1)2.
![Page 55: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/55.jpg)
Solutions
Theorem. (P., Ranieri, Viada, 2012-2014)
The local-global divisibility by pl holds in E over Q, for all p ≥ 5 andl ≥ 1.
Corollary. (P., Ranieri, Viada, 2012-2014)
Cassels’ question has an affirmative answer over Q for all p ≥ 5.
A second proof.
Theorem. (Çiperiani, Stix, 2015)
Cassels’ question has an affirmative answer in elliptic curves defined overQ, for all p ≥ 11.
![Page 56: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/56.jpg)
Solutions
Theorem. (P., Ranieri, Viada, 2012-2014)
The local-global divisibility by pl holds in E over Q, for all p ≥ 5 andl ≥ 1.
Corollary. (P., Ranieri, Viada, 2012-2014)
Cassels’ question has an affirmative answer over Q for all p ≥ 5.
A second proof.
Theorem. (Çiperiani, Stix, 2015)
Cassels’ question has an affirmative answer in elliptic curves defined overQ, for all p ≥ 11.
![Page 57: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/57.jpg)
Solutions
Theorem. (P., Ranieri, Viada, 2012-2014)
The local-global divisibility by pl holds in E over Q, for all p ≥ 5 andl ≥ 1.
Corollary. (P., Ranieri, Viada, 2012-2014)
Cassels’ question has an affirmative answer over Q for all p ≥ 5.
A second proof.
Theorem. (Çiperiani, Stix, 2015)
Cassels’ question has an affirmative answer in elliptic curves defined overQ, for all p ≥ 11.
![Page 58: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/58.jpg)
Solutions
Counterexamples
in elliptic curves over Q for all 2n, with n ≥ 2 (P., 2011);
in elliptic curves over Q for all 3n, with n ≥ 2 (Creutz, 2016).
![Page 59: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/59.jpg)
Solutions
Counterexamples
in elliptic curves over Q for all 2n, with n ≥ 2 (P., 2011);
in elliptic curves over Q for all 3n, with n ≥ 2 (Creutz, 2016).
![Page 60: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/60.jpg)
Solutions
Counterexamples
in elliptic curves over Q for all 2n, with n ≥ 2 (P., 2011);
in elliptic curves over Q for all 3n, with n ≥ 2 (Creutz, 2016).
![Page 61: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/61.jpg)
Solutions
Theorem. (P., 2019)
Let p be a prime number. Let k be a number field and let A be acommutative algebraic group defined over k , with A[p] ' (Z/pZ)n.Assume that A[p] is an irreducible N-module or a direct sum of irreducibleN-modules, for every subnormal subgroup N of Gal(k(A[pl ])/k).If p > n
2 + 1, then the local-global divisibility by p holds in A over k andX(k ,A[p]) = 0.
![Page 62: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/62.jpg)
Solutions
Theorem. (P., 2019)
Let p be a prime number. Let k be a number field and let A be acommutative algebraic group defined over k , with A[p] ' (Z/pZ)n.Assume that A[p] is an irreducible N-module or a direct sum of irreducibleN-modules, for every subnormal subgroup N of Gal(k(A[pl ])/k).If p > n
2 + 1, then the local-global divisibility by p holds in A over k andX(k ,A[p]) = 0.
![Page 63: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/63.jpg)
Solutions
Theorem. (P., 2019)
Let p be a prime number. Let k be a number field and let A be acommutative algebraic group defined over k , with A[p] ' (Z/pZ)n.Assume that A[p] is an irreducible N-module or a direct sum of irreducibleN-modules, for every subnormal subgroup N of Gal(k(A[pl ])/k).If p > n
2 + 1, then the local-global divisibility by p holds in A over k andX(k ,A[p]) = 0.
![Page 64: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/64.jpg)
Solutions
Theorem. (P., 2019)
Let p be a prime number. Let G be a group and let M = (Z/pZ)n aG -module.Assume that M is an irreducible N-module or a direct sum of irreducibleN-modules, for every subnormal subgroup N of G .
If p >(n2 + 1
)2, then H1(G ,M) = 0.
![Page 65: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/65.jpg)
Solutions
Theorem. (P., 2019)
Let p be a prime number. Let G be a group and let M = (Z/pZ)n aG -module.Assume that M is an irreducible N-module or a direct sum of irreducibleN-modules, for every subnormal subgroup N of G .
If p >(n2 + 1
)2, then H1(G ,M) = 0.
![Page 66: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/66.jpg)
Solutions
Theorem. (P., 2019)
Let p be a prime number. Let G be a group and let M = (Z/pZ)n aG -module.Assume that M is an irreducible N-module or a direct sum of irreducibleN-modules, for every subnormal subgroup N of G .
If p >(n2 + 1
)2, then H1(G ,M) = 0.
![Page 67: Local-global problems Laura Paladinontmeeting.polito.it/content/download/480/2346/file/4_paladino_slides.pdf · Local-global problems Laura Paladino paladino@mat.unical.it 4thNumberTheoryMeeting](https://reader033.fdocuments.in/reader033/viewer/2022052501/607154074beac67db1282314/html5/thumbnails/67.jpg)
Thank you for your attention!