mark kisin harvard - clay mathematics institute · harvard 1. main theorem let (g,x) be a shimura...
TRANSCRIPT
![Page 1: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/1.jpg)
Integral models of Shimura varieties II
Mark Kisin
Harvard
1
![Page 2: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/2.jpg)
Main Theorem
Let (G,X) be a Shimura datum of abelian type.
Kp = GZp(Zp) ⊂ G(Qp) hyperspecial, Kp ⊂ G(Apf) compact open
K = KpKp ⊂ G(Af).
ShK(G,X) = G(Q)\X ×G(Af)/K
is a variety over the reflex field E = E(G,X).
2
![Page 3: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/3.jpg)
Main Theorem
Let (G,X) be a Shimura datum of abelian type.
Kp = GZp(Zp) ⊂ G(Qp) hyperspecial, Kp ⊂ G(Apf) compact open
K = KpKp ⊂ G(Af).
ShK(G,X) = G(Q)\X ×G(Af)/K
is a variety over the reflex field E = E(G,X).
Theorem. Let p > 2, and λ|p be a prime of E. There is a smooth OEλ-scheme S K(G,X) extending ShK(G,X) such that the G(Ap
f)-action on
ShKp(G,X) = lim← Kp
ShKpKp(G,X)
extends to the OEλ-scheme
S Kp(G,X) = lim← Kp
S KpKp(G,X).
2
![Page 4: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/4.jpg)
Main Theorem
Let (G,X) be a Shimura datum of abelian type.
Kp = GZp(Zp) ⊂ G(Qp) hyperspecial, Kp ⊂ G(Apf) compact open
K = KpKp ⊂ G(Af).
ShK(G,X) = G(Q)\X ×G(Af)/K
is a variety over the reflex field E = E(G,X).
Theorem. Let p > 2, and λ|p be a prime of E. There is a smooth OEλ-scheme S K(G,X) extending ShK(G,X) such that the G(Ap
f)-action on
ShKp(G,X) = lim← Kp
ShKpKp(G,X)
extends to the OEλ-scheme
S Kp(G,X) = lim← Kp
S KpKp(G,X).
If R is a regular, formally smooth OEλ-algebra, then
S Kp(G,X)(R) = S Kp(G,X)(R[1/p]).
2
![Page 5: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/5.jpg)
Theorem. Let p > 2, and λ|p be a prime of E. There is a smoothOEλ-scheme S K(G,X) extending ShK(G,X) such that the
S Kp(G,X) = lim← Kp
S KpKp(G,X)
is equivariant and satisfies the extension property.
3
![Page 6: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/6.jpg)
Theorem. Let p > 2, and λ|p be a prime of E. There is a smoothOEλ-scheme S K(G,X) extending ShK(G,X) such that the
S Kp(G,X) = lim← Kp
S KpKp(G,X)
is equivariant and satisfies the extension property.
Suppose that (G,X) is of Hodge type.
(G,X) ↪→ (GSp(V, ψ), S±),
3
![Page 7: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/7.jpg)
Theorem. Let p > 2, and λ|p be a prime of E. There is a smoothOEλ-scheme S K(G,X) extending ShK(G,X) such that the
S Kp(G,X) = lim← Kp
S KpKp(G,X)
is equivariant and satisfies the extension property.
Suppose that (G,X) is of Hodge type.
(G,X) ↪→ (GSp(V, ψ), S±),
S K(G,X) the normalization of the closure of
θ : ShK(G,X) ↪→ ShK′(GSp, S±) ↪→ S K′(GSp, S±)
where S K′(GSp, S±) is an integral model of ShK′(GSp, S±) obtained fromits interpretation as a moduli space of polarized abelian varieties.
3
![Page 8: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/8.jpg)
Theorem. Let p > 2, and λ|p be a prime of E. There is a smoothOEλ-scheme S K(G,X) extending ShK(G,X) such that the
S Kp(G,X) = lim← Kp
S KpKp(G,X)
is equivariant and satisfies the extension property.
Suppose that (G,X) is of Hodge type.
(G,X) ↪→ (GSp(V, ψ), S±),
S K(G,X) the normalization of the closure of
θ : ShK(G,X) ↪→ ShK′(GSp, S±) ↪→ S K′(GSp, S±)
where S K′(GSp, S±) is an integral model of ShK′(GSp, S±) obtained fromits interpretation as a moduli space of polarized abelian varieties.
Here K′ = K′pK′p,
3
![Page 9: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/9.jpg)
Theorem. Let p > 2, and λ|p be a prime of E. There is a smoothOEλ-scheme S K(G,X) extending ShK(G,X) such that the
S Kp(G,X) = lim← Kp
S KpKp(G,X)
is equivariant and satisfies the extension property.
Suppose that (G,X) is of Hodge type.
(G,X) ↪→ (GSp(V, ψ), S±),
S K(G,X) the normalization of the closure of
θ : ShK(G,X) ↪→ ShK′(GSp, S±) ↪→ S K′(GSp, S±)
where S K′(GSp, S±) is an integral model of ShK′(GSp, S±) obtained fromits interpretation as a moduli space of polarized abelian varieties.
Here K′ = K′pK′p,
K′p ⊂ GSp(VQp), the stabilizer of a lattice VZp ⊂ VQp, and
GZp ↪→ GL(VZp) (Prasad-Yu).
3
![Page 10: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/10.jpg)
S K(G,X) the normalization of the closure of
θ : ShK(G,X) ↪→ ShK′(GSp, S±) ↪→ S K′(GSp, S±)
4
![Page 11: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/11.jpg)
S K(G,X) the normalization of the closure of
θ : ShK(G,X) ↪→ ShK′(GSp, S±) ↪→ S K′(GSp, S±)
ThenS Kp(G,X) := lim
← KpS KpKp(G,X)
is G(Apf)-equivariant.
4
![Page 12: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/12.jpg)
S K(G,X) the normalization of the closure of
θ : ShK(G,X) ↪→ ShK′(GSp, S±) ↪→ S K′(GSp, S±)
ThenS Kp(G,X) := lim
← KpS KpKp(G,X)
is G(Apf)-equivariant.
S Kp(G,X) satisfies the extension property because S K′p(GSp, S±) does.
4
![Page 13: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/13.jpg)
S K(G,X) the normalization of the closure of
θ : ShK(G,X) ↪→ ShK′(GSp, S±) ↪→ S K′(GSp, S±)
ThenS Kp(G,X) := lim
← KpS KpKp(G,X)
is G(Apf)-equivariant.
S Kp(G,X) satisfies the extension property because S K′p(GSp, S±) does.
Have to show: S K(G,X) is a smooth OEλ-scheme.
4
![Page 14: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/14.jpg)
S K(G,X) the normalization of the closure of
θ : ShK(G,X) ↪→ ShK′(GSp, S±) ↪→ S K′(GSp, S±)
ThenS Kp(G,X) := lim
← KpS KpKp(G,X)
is G(Apf)-equivariant.
S Kp(G,X) satisfies the extension property because S K′p(GSp, S±) does.
Have to show: S K(G,X) is a smooth OEλ-scheme.
Idea: Describe the local structure of S Kp(G,X) in terms of moduli of“p-adic Hodge structures”, or more precisely p-divisible groups.
4
![Page 15: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/15.jpg)
Hodge cycles.
Let E(G,X) ⊂ K ⊂ C be a field, and
x ∈ ShK(G,X)(K) ↪→ ShK′(GSp, S±)(K)
5
![Page 16: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/16.jpg)
Hodge cycles.
Let E(G,X) ⊂ K ⊂ C be a field, and
x ∈ ShK(G,X)(K) ↪→ ShK′(GSp, S±)(K)
Thenx ; A = Ax polarized abelian var./K
5
![Page 17: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/17.jpg)
Hodge cycles.
Let E(G,X) ⊂ K ⊂ C be a field, and
x ∈ ShK(G,X)(K) ↪→ ShK′(GSp, S±)(K)
Thenx ; A = Ax polarized abelian var./K
G ↪→ GL(V ) is defined by a collection of tensors {sα} ∈ V ⊗.
5
![Page 18: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/18.jpg)
Hodge cycles.
Let E(G,X) ⊂ K ⊂ C be a field, and
x ∈ ShK(G,X)(K) ↪→ ShK′(GSp, S±)(K)
Thenx ; A = Ax polarized abelian var./K
G ↪→ GL(V ) is defined by a collection of tensors {sα} ∈ V ⊗.We saw these give rise to Hodge cycles
sα,x ∈ H1(AC,Q)⊗ = H1(AC,Q)⊗
5
![Page 19: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/19.jpg)
Hodge cycles.
Let E(G,X) ⊂ K ⊂ C be a field, and
x ∈ ShK(G,X)(K) ↪→ ShK′(GSp, S±)(K)
Thenx ; A = Ax polarized abelian var./K
G ↪→ GL(V ) is defined by a collection of tensors {sα} ∈ V ⊗.We saw these give rise to Hodge cycles
sα,x ∈ H1(AC,Q)⊗ = H1(AC,Q)⊗
and hence using the comparison between etale and singular cohomology to
sα,x,` ∈ H1et(AK,Q`)
⊗ ∼−→ H1(AC,Q)⊗ ⊗Q Q`.
for any prime `.
5
![Page 20: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/20.jpg)
Hodge cycles.
Let E(G,X) ⊂ K ⊂ C be a field, and
x ∈ ShK(G,X)(K) ↪→ ShK′(GSp, S±)(K)
Thenx ; A = Ax polarized abelian var./K
G ↪→ GL(V ) is defined by a collection of tensors {sα} ∈ V ⊗.We saw these give rise to Hodge cycles
sα,x ∈ H1(AC,Q)⊗ = H1(AC,Q)⊗
and hence using the comparison between etale and singular cohomology to
sα,x,` ∈ H1et(AK,Q`)
⊗ ∼−→ H1(AC,Q)⊗ ⊗Q Q`.
for any prime `.
The Q`-vector space nH1et(AK,Q`) is equipped with an action of Gal(K/K).
5
![Page 21: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/21.jpg)
sα,x,` ∈ H1et(AK,Q`)
⊗ ∼−→ H1(AC,Q)⊗ ⊗Q Q`.
The Q`-vector spaceH1et(AK,Q`) is equipped with an action of Gal(K/K).
6
![Page 22: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/22.jpg)
sα,x,` ∈ H1et(AK,Q`)
⊗ ∼−→ H1(AC,Q)⊗ ⊗Q Q`.
The Q`-vector spaceH1et(AK,Q`) is equipped with an action of Gal(K/K).
Theorem. (Deligne: “Hodge =⇒ Absolute Hodge”)
sα,x,` ∈ H1et(AK,Q`)
⊗ are fixed by Gal(K/K).
6
![Page 23: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/23.jpg)
sα,x,` ∈ H1et(AK,Q`)
⊗ ∼−→ H1(AC,Q)⊗ ⊗Q Q`.
The Q`-vector spaceH1et(AK,Q`) is equipped with an action of Gal(K/K).
Theorem. (Deligne: “Hodge =⇒ Absolute Hodge”)
sα,x,` ∈ H1et(AK,Q`)
⊗ are fixed by Gal(K/K).
This is motivated by the Hodge conjecture which predicts that the sα,x,`are the classes of algebraic cycles, so would at least be fixed by an opensubgroup Gal(K/K).
6
![Page 24: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/24.jpg)
sα,x,` ∈ H1et(AK,Q`)
⊗ ∼−→ H1(AC,Q)⊗ ⊗Q Q`.
The Q`-vector spaceH1et(AK,Q`) is equipped with an action of Gal(K/K).
Theorem. (Deligne: “Hodge =⇒ Absolute Hodge”)
sα,x,` ∈ H1et(AK,Q`)
⊗ are fixed by Gal(K/K).
This is motivated by the Hodge conjecture which predicts that the sα,x,`are the classes of algebraic cycles, so would at least be fixed by an opensubgroup Gal(K/K).
Now let VZ(p)= VZp ∩ V ⊂ VQp, a Z(p)-lattice in V.
Choose {sα} ⊂ V ⊗Zp such that GZp ⊂ GL(VZp) is the stabilizer of {sα}.
6
![Page 25: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/25.jpg)
sα,x,` ∈ H1et(AK,Q`)
⊗ ∼−→ H1(AC,Q)⊗ ⊗Q Q`.
The Q`-vector spaceH1et(AK,Q`) is equipped with an action of Gal(K/K).
Theorem. (Deligne: “Hodge =⇒ Absolute Hodge”)
sα,x,` ∈ H1et(AK,Q`)
⊗ are fixed by Gal(K/K).
This is motivated by the Hodge conjecture which predicts that the sα,x,`are the classes of algebraic cycles, so would at least be fixed by an opensubgroup Gal(K/K).
Now let VZ(p)= VZp ∩ V ⊂ VQp, a Z(p)-lattice in V.
Choose {sα} ⊂ V ⊗Zp such that GZp ⊂ GL(VZp) is the stabilizer of {sα}.
The tensors sα,x,p ∈ H1et(AK,Zp)
⊗ are Gal(K/K) -invariant
6
![Page 26: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/26.jpg)
Now suppose K/Eλ is finite, with residue field of k.
Suppose Ax has good reduction:
x ; x ∈ ShK(G,X)(k)
Attached to Ax we have
7
![Page 27: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/27.jpg)
Now suppose K/Eλ is finite, with residue field of k.
Suppose Ax has good reduction:
x ; x ∈ ShK(G,X)(k)
Attached to Ax we have
H1et(Ax,K,Zp) Axoo o/ o/ o/ o/ o/ o/ o/ o/ o/ o/ ///o/o/o/o/o/o/o/o/o/o
�� �O�O�O�O�O�O�O�O
H1cris(Ax/W (k))
Gal(K/K)
Abs. Frobenius ϕ
Gx = lim−→Ax[pn]
fff& f& f& f& f& f& f& f& f& f& f& f& f& f&
888x8x8x8x8x8x8x8x8x8x8x8x8x8x8x8x
Here Ax is the abelian scheme over OK extending Ax; i.e the Neron model.
7
![Page 28: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/28.jpg)
Now suppose K/Eλ is finite, with residue field of k.
Suppose Ax has good reduction:
x ; x ∈ ShK(G,X)(k)
Attached to Ax we have
H1et(Ax,K,Zp) Axoo o/ o/ o/ o/ o/ o/ o/ o/ o/ o/ ///o/o/o/o/o/o/o/o/o/o
�� �O�O�O�O�O�O�O�O
H1cris(Ax/W (k))
Gal(K/K)
Abs. Frobenius ϕ
Gx = lim−→Ax[pn]
fff& f& f& f& f& f& f& f& f& f& f& f& f& f&
888x8x8x8x8x8x8x8x8x8x8x8x8x8x8x8x
Here Ax is the abelian scheme over OK extending Ax; i.e the Neron model.
One has Fontaine’s p-adic comparison isomorphism
H1et(Ax,K,Zp)⊗Zp Bcris
∼−→ H1cris(Ax/W (k))⊗W (k) Bcris
which is the analogue of the de Rham isomorphism.
7
![Page 29: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/29.jpg)
Now suppose K/Eλ is finite, with residue field of k.
Suppose Ax has good reduction:
x ; x ∈ ShK(G,X)(k)
Attached to Ax we have
H1et(Ax,K,Zp) Axoo o/ o/ o/ o/ o/ o/ o/ o/ o/ o/ ///o/o/o/o/o/o/o/o/o/o
�� �O�O�O�O�O�O�O�O
H1cris(Ax/W (k))
Gal(K/K)
Abs. Frobenius ϕ
Gx = lim−→Ax[pn]
fff& f& f& f& f& f& f& f& f& f& f& f& f& f&
888x8x8x8x8x8x8x8x8x8x8x8x8x8x8x8x
Here Ax is the abelian scheme over OK extending Ax; i.e the Neron model.
One has Fontaine’s p-adic comparison isomorphism
H1et(Ax,K,Zp)⊗Zp Bcris
∼−→ H1cris(Ax/W (k))⊗W (k) Bcris
which is the analogue of the de Rham isomorphism.
Bcris is a K0 = W (k)[1/p]-algebra with an action of Gal(K/K) and ϕ.
7
![Page 30: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/30.jpg)
Now suppose K/Eλ is finite, with residue field of k.
Suppose Ax has good reduction:
x ; x ∈ ShK(G,X)(k)
Attached to Ax we have
H1et(Ax,K,Zp) Axoo o/ o/ o/ o/ o/ o/ o/ o/ o/ o/ ///o/o/o/o/o/o/o/o/o/o
�� �O�O�O�O�O�O�O�O
H1cris(Ax/W (k))
Gal(K/K)
Abs. Frobenius ϕ
Gx = lim−→Ax[pn]
fff& f& f& f& f& f& f& f& f& f& f& f& f& f&
888x8x8x8x8x8x8x8x8x8x8x8x8x8x8x8x
Here Ax is the abelian scheme over OK extending Ax; i.e the Neron model.
One has Fontaine’s p-adic comparison isomorphism
H1et(Ax,K,Zp)⊗Zp Bcris
∼−→ H1cris(Ax/W (k))⊗W (k) Bcris
which is the analogue of the de Rham isomorphism.
Bcris is a K0 = W (k)[1/p]-algebra with an action of Gal(K/K) and ϕ.
This package is the p-adic analogue of a Hodge structure of weight 1.
7
![Page 31: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/31.jpg)
H1et(Ax,K,Zp) Axoo o/ o/ o/ o/ o/ o/ o/ o/ o/ o/ ///o/o/o/o/o/o/o/o/o/o
�� �O�O�O�O�O�O�O�O
H1cris(Ax/W (k))
Gal(K/K)
Abs. Frobenius ϕ
Gx = lim−→Ax[pn]
fff& f& f& f& f& f& f& f& f& f& f& f& f& f&
888x8x8x8x8x8x8x8x8x8x8x8x8x8x8x8x
H1et(Ax,K,Zp)⊗Zp Bcris
∼−→ H1cris(Ax/W (k))⊗W (k) Bcris
sα,x,p ∈ H1et(Ax,K,Zp)
⊗ maps to sα,x,0 ∈ H1cris(Ax/W (k)) ⊗ Qp, which is
invariant by ϕ, and in Fil0.
8
![Page 32: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/32.jpg)
H1et(Ax,K,Zp) Axoo o/ o/ o/ o/ o/ o/ o/ o/ o/ o/ ///o/o/o/o/o/o/o/o/o/o
�� �O�O�O�O�O�O�O�O
H1cris(Ax/W (k))
Gal(K/K)
Abs. Frobenius ϕ
Gx = lim−→Ax[pn]
fff& f& f& f& f& f& f& f& f& f& f& f& f& f&
888x8x8x8x8x8x8x8x8x8x8x8x8x8x8x8x
H1et(Ax,K,Zp)⊗Zp Bcris
∼−→ H1cris(Ax/W (k))⊗W (k) Bcris
sα,x,p ∈ H1et(Ax,K,Zp)
⊗ maps to sα,x,0 ∈ H1cris(Ax/W (k)) ⊗ Qp, which is
invariant by ϕ, and in Fil0.
To equip our integral p-adic Hodge structure with a “G-structure” andconsider its deformations one needs the following
8
![Page 33: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/33.jpg)
H1et(Ax,K,Zp) Axoo o/ o/ o/ o/ o/ o/ o/ o/ o/ o/ ///o/o/o/o/o/o/o/o/o/o
�� �O�O�O�O�O�O�O�O
H1cris(Ax/W (k))
Gal(K/K)
Abs. Frobenius ϕ
Gx = lim−→Ax[pn]
fff& f& f& f& f& f& f& f& f& f& f& f& f& f&
888x8x8x8x8x8x8x8x8x8x8x8x8x8x8x8x
H1et(Ax,K,Zp)⊗Zp Bcris
∼−→ H1cris(Ax/W (k))⊗W (k) Bcris
sα,x,p ∈ H1et(Ax,K,Zp)
⊗ maps to sα,x,0 ∈ H1cris(Ax/W (k)) ⊗ Qp, which is
invariant by ϕ, and in Fil0.
To equip our integral p-adic Hodge structure with a “G-structure” andconsider its deformations one needs the following
Lemma. (Key lemma) We have {sα,x,0} ⊂ H1cris(Ax/W (k))⊗,
8
![Page 34: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/34.jpg)
H1et(Ax,K,Zp) Axoo o/ o/ o/ o/ o/ o/ o/ o/ o/ o/ ///o/o/o/o/o/o/o/o/o/o
�� �O�O�O�O�O�O�O�O
H1cris(Ax/W (k))
Gal(K/K)
Abs. Frobenius ϕ
Gx = lim−→Ax[pn]
fff& f& f& f& f& f& f& f& f& f& f& f& f& f&
888x8x8x8x8x8x8x8x8x8x8x8x8x8x8x8x
H1et(Ax,K,Zp)⊗Zp Bcris
∼−→ H1cris(Ax/W (k))⊗W (k) Bcris
sα,x,p ∈ H1et(Ax,K,Zp)
⊗ maps to sα,x,0 ∈ H1cris(Ax/W (k)) ⊗ Qp, which is
invariant by ϕ, and in Fil0.
To equip our integral p-adic Hodge structure with a “G-structure” andconsider its deformations one needs the following
Lemma. (Key lemma) We have {sα,x,0} ⊂ H1cris(Ax/W (k))⊗,
and the group fixing the sα,x,0 is a reductive subgroup
GW (k) ⊂ GL(H1cris(Ax/W (k))).
8
![Page 35: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/35.jpg)
Lemma. (Key lemma) We have {sα,x,0} ⊂ H1cris(Ax/W (k))⊗,
9
![Page 36: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/36.jpg)
Lemma. (Key lemma) We have {sα,x,0} ⊂ H1cris(Ax/W (k))⊗,
and the group fixing the sα,x,0 is a reductive subgroup
GW (k) ⊂ GL(H1cris(Ax/W (k))).
The Lemma lets us do two things:
9
![Page 37: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/37.jpg)
Lemma. (Key lemma) We have {sα,x,0} ⊂ H1cris(Ax/W (k))⊗,
and the group fixing the sα,x,0 is a reductive subgroup
GW (k) ⊂ GL(H1cris(Ax/W (k))).
The Lemma lets us do two things:
1) The sα extend to integral sections of the de Rham cohomology of theuniversal family
A → S K(G,X)
9
![Page 38: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/38.jpg)
Lemma. (Key lemma) We have {sα,x,0} ⊂ H1cris(Ax/W (k))⊗,
and the group fixing the sα,x,0 is a reductive subgroup
GW (k) ⊂ GL(H1cris(Ax/W (k))).
The Lemma lets us do two things:
1) The sα extend to integral sections of the de Rham cohomology of theuniversal family
A → S K(G,X)
2) One can define a deformation space of “p-divisible groups with G-structure”, and show it is smooth (Faltings),
9
![Page 39: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/39.jpg)
Lemma. (Key lemma) We have {sα,x,0} ⊂ H1cris(Ax/W (k))⊗,
and the group fixing the sα,x,0 is a reductive subgroup
GW (k) ⊂ GL(H1cris(Ax/W (k))).
The Lemma lets us do two things:
1) The sα extend to integral sections of the de Rham cohomology of theuniversal family
A → S K(G,X)
2) One can define a deformation space of “p-divisible groups with G-structure”, and show it is smooth (Faltings),
Then using 1), one can identify this deformation space with the completionof S K(G,X) at x.
9
![Page 40: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/40.jpg)
p-adic Hodge theory.
For the proof of the lemma we need some techniques from p-adic Hodgetheory.
10
![Page 41: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/41.jpg)
p-adic Hodge theory.
For the proof of the lemma we need some techniques from p-adic Hodgetheory.
Lemma. We have {sα,x,0} ⊂ H1cris(Ax/W (k))⊗, and the group fixing
the sα,x,0 is a reductive subgroup
GW (k) ⊂ GL(H1cris(Ax/W (k))).
10
![Page 42: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/42.jpg)
p-adic Hodge theory.
For the proof of the lemma we need some techniques from p-adic Hodgetheory.
Lemma. We have {sα,x,0} ⊂ H1cris(Ax/W (k))⊗, and the group fixing
the sα,x,0 is a reductive subgroup
GW (k) ⊂ GL(H1cris(Ax/W (k))).
Definition. A crystalline Zp-representation is a finite free Zp-moduleL equipped with an action of Gal(K/K). such that
dimK0(L⊗Bcris)Gal(K/K) = rkZpL.
(one always has ≤).
10
![Page 43: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/43.jpg)
p-adic Hodge theory.
For the proof of the lemma we need some techniques from p-adic Hodgetheory.
Lemma. We have {sα,x,0} ⊂ H1cris(Ax/W (k))⊗, and the group fixing
the sα,x,0 is a reductive subgroup
GW (k) ⊂ GL(H1cris(Ax/W (k))).
Definition. A crystalline Zp-representation is a finite free Zp-moduleL equipped with an action of Gal(K/K). such that
dimK0(L⊗Bcris)Gal(K/K) = rkZpL.
(one always has ≤).
E.g L = H1et(Ax,K,Zp) - actually all the L’s we work with will arise from
this one by tensor operations.
10
![Page 44: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/44.jpg)
p-adic Hodge theory.
For the proof of the lemma we need some techniques from p-adic Hodgetheory.
Lemma. We have {sα,x,0} ⊂ H1cris(Ax/W (k))⊗, and the group fixing
the sα,x,0 is a reductive subgroup
GW (k) ⊂ GL(H1cris(Ax/W (k))).
Definition. A crystalline Zp-representation is a finite free Zp-moduleL equipped with an action of Gal(K/K). such that
dimK0(L⊗Bcris)Gal(K/K) = rkZpL.
(one always has ≤).
E.g L = H1et(Ax,K,Zp) - actually all the L’s we work with will arise from
this one by tensor operations.
We denote by RepcrisZp the category of crystalline Zp-representations.
10
![Page 45: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/45.jpg)
Let W = W (k), fix a uniformiser π ∈ K, and let E(u) ∈ W [u] be theEisenstein polynomial for π.
11
![Page 46: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/46.jpg)
Let W = W (k), fix a uniformiser π ∈ K, and let E(u) ∈ W [u] be theEisenstein polynomial for π.
Set S = W [[u]] equipped with a Frobenius ϕ which acts as the usualFrobenius on W and sends u to up.
11
![Page 47: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/47.jpg)
Let W = W (k), fix a uniformiser π ∈ K, and let E(u) ∈ W [u] be theEisenstein polynomial for π.
Set S = W [[u]] equipped with a Frobenius ϕ which acts as the usualFrobenius on W and sends u to up.
Let Modϕ/S denote the category of finite free S-modules M equipped witha Frobenius semi-linear isomorphism
1⊗ ϕ : ϕ∗(M)[1/E(u)]∼−→M[1/E(u)].
11
![Page 48: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/48.jpg)
Let W = W (k), fix a uniformiser π ∈ K, and let E(u) ∈ W [u] be theEisenstein polynomial for π.
Set S = W [[u]] equipped with a Frobenius ϕ which acts as the usualFrobenius on W and sends u to up.
Let Modϕ/S denote the category of finite free S-modules M equipped witha Frobenius semi-linear isomorphism
1⊗ ϕ : ϕ∗(M)[1/E(u)]∼−→M[1/E(u)].
11
![Page 49: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/49.jpg)
We have the following ’Black (magic) Box’ theorem
12
![Page 50: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/50.jpg)
We have the following ’Black (magic) Box’ theorem
Theorem. There exists a fully faithful tensor functor
M : RepcrisZp → Modϕ/S
12
![Page 51: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/51.jpg)
We have the following ’Black (magic) Box’ theorem
Theorem. There exists a fully faithful tensor functor
M : RepcrisZp → Modϕ/S
Let M = M(L).
12
![Page 52: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/52.jpg)
We have the following ’Black (magic) Box’ theorem
Theorem. There exists a fully faithful tensor functor
M : RepcrisZp → Modϕ/S
Let M = M(L).
1. There is a canonical isomorphism
Dcris(L) := (Bcris ⊗ L)Gal(K/K) ∼−→M/uM[1/p]
compatible with Frobenius.
12
![Page 53: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/53.jpg)
We have the following ’Black (magic) Box’ theorem
Theorem. There exists a fully faithful tensor functor
M : RepcrisZp → Modϕ/S
Let M = M(L).
1. There is a canonical isomorphism
Dcris(L) := (Bcris ⊗ L)Gal(K/K) ∼−→M/uM[1/p]
compatible with Frobenius.
2. There is a canonical isomorphism
OEur ⊗Zp L∼−→ OEur ⊗S M,
where OEur is a faithfully flat, and formally etale S(p)-algebra.
12
![Page 54: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/54.jpg)
We have the following ’Black (magic) Box’ theorem
Theorem. There exists a fully faithful tensor functor
M : RepcrisZp → Modϕ/S
Let M = M(L).
1. There is a canonical isomorphism
Dcris(L) := (Bcris ⊗ L)Gal(K/K) ∼−→M/uM[1/p]
compatible with Frobenius.
2. There is a canonical isomorphism
OEur ⊗Zp L∼−→ OEur ⊗S M,
where OEur is a faithfully flat, and formally etale S(p)-algebra.
3. If L = H1et(Ax,K,Zp), then
ϕ∗(M/uM)∼−→ H1
cris(Ax/W )
12
![Page 55: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/55.jpg)
We have the following ’Black (magic) Box’ theorem
Theorem. There exists a fully faithful tensor functor
M : RepcrisZp → Modϕ/S
Let M = M(L).
1. There is a canonical isomorphism
Dcris(L) := (Bcris ⊗ L)Gal(K/K) ∼−→M/uM[1/p]
compatible with Frobenius.
2. There is a canonical isomorphism
OEur ⊗Zp L∼−→ OEur ⊗S M,
where OEur is a faithfully flat, and formally etale S(p)-algebra.
3. If L = H1et(Ax,K,Zp), then
ϕ∗(M/uM)∼−→ H1
cris(Ax/W )
The functor M is still somewhat mysterious. It is constructed using p-adicHodge theory. But see Scholze’s final talk (?).
12
![Page 56: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/56.jpg)
Proof of the Key lemma:
13
![Page 57: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/57.jpg)
Proof of the Key lemma:
We apply the above theory with L = H1et(Ax,K,Zp).
13
![Page 58: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/58.jpg)
Proof of the Key lemma:
We apply the above theory with L = H1et(Ax,K,Zp).
Recall that GZp ⊂ GL(L) is the reductive group defined by {sα,x,p}.
13
![Page 59: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/59.jpg)
Proof of the Key lemma:
We apply the above theory with L = H1et(Ax,K,Zp).
Recall that GZp ⊂ GL(L) is the reductive group defined by {sα,x,p}.
We may view the sα,x,p as morphisms sα : 1→ L⊗ in RepcrisZp .
13
![Page 60: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/60.jpg)
Proof of the Key lemma:
We apply the above theory with L = H1et(Ax,K,Zp).
Recall that GZp ⊂ GL(L) is the reductive group defined by {sα,x,p}.
We may view the sα,x,p as morphisms sα : 1→ L⊗ in RepcrisZp .
Applying the functor M we obtain morphisms sα : 1→M⊗ in Modϕ/S.
13
![Page 61: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/61.jpg)
Proof of the Key lemma:
We apply the above theory with L = H1et(Ax,K,Zp).
Recall that GZp ⊂ GL(L) is the reductive group defined by {sα,x,p}.
We may view the sα,x,p as morphisms sα : 1→ L⊗ in RepcrisZp .
Applying the functor M we obtain morphisms sα : 1→M⊗ in Modϕ/S.
Specializing the (sα) at u = 0 gives
sα,x,0 ∈ ϕ∗(M/uM)⊗∼−→ H1
cris(Ax)⊗
which gives the first part of the lemma.
13
![Page 62: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/62.jpg)
Specializing the (sα) at u = 0 gives
sα,x,0 ∈ ϕ∗(M/uM)⊗∼−→ H1
cris(Ax)⊗
which gives the first part of the lemma.
14
![Page 63: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/63.jpg)
Specializing the (sα) at u = 0 gives
sα,x,0 ∈ ϕ∗(M/uM)⊗∼−→ H1
cris(Ax)⊗
which gives the first part of the lemma.
Have to show GS ⊂ GL(M) defined by the (sα) is reductive.
14
![Page 64: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/64.jpg)
Specializing the (sα) at u = 0 gives
sα,x,0 ∈ ϕ∗(M/uM)⊗∼−→ H1
cris(Ax)⊗
which gives the first part of the lemma.
Have to show GS ⊂ GL(M) defined by the (sα) is reductive.
Let M′ = L⊗S andP ⊂ HomS(M′,M)
the subscheme of isomorphisms between M′ and M taking sα,x,p to sα.
14
![Page 65: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/65.jpg)
Specializing the (sα) at u = 0 gives
sα,x,0 ∈ ϕ∗(M/uM)⊗∼−→ H1
cris(Ax)⊗
which gives the first part of the lemma.
Have to show GS ⊂ GL(M) defined by the (sα) is reductive.
Let M′ = L⊗S andP ⊂ HomS(M′,M)
the subscheme of isomorphisms between M′ and M taking sα,x,p to sα.
The fibres of P are either empty or a torsor under GZp.
14
![Page 66: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/66.jpg)
Specializing the (sα) at u = 0 gives
sα,x,0 ∈ ϕ∗(M/uM)⊗∼−→ H1
cris(Ax)⊗
which gives the first part of the lemma.
Have to show GS ⊂ GL(M) defined by the (sα) is reductive.
Let M′ = L⊗S andP ⊂ HomS(M′,M)
the subscheme of isomorphisms between M′ and M taking sα,x,p to sα.
The fibres of P are either empty or a torsor under GZp.
We know the sα,x,p define a reductive subgroup in GL(L) by assumption,so it suffices to show that P is a GZp-torsor: All such torsors are trivial(Lang’s lemma).
14
![Page 67: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/67.jpg)
Specializing the (sα) at u = 0 gives
sα,x,0 ∈ ϕ∗(M/uM)⊗∼−→ H1
cris(Ax)⊗
which gives the first part of the lemma.
Have to show GS ⊂ GL(M) defined by the (sα) is reductive.
Let M′ = L⊗S andP ⊂ HomS(M′,M)
the subscheme of isomorphisms between M′ and M taking sα,x,p to sα.
The fibres of P are either empty or a torsor under GZp.
We know the sα,x,p define a reductive subgroup in GL(L) by assumption,so it suffices to show that P is a GZp-torsor: All such torsors are trivial(Lang’s lemma).
So we have to show that P is flat over S with non-empty fibres.
14
![Page 68: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/68.jpg)
Claim: P = HomS,sα(M′,M) ⊂ HomS(M′,M) is a GZp-torsor.
15
![Page 69: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/69.jpg)
Claim: P = HomS,sα(M′,M) ⊂ HomS(M′,M) is a GZp-torsor.
For R a S-algebra, we set PR = P ×SpecS SpecR.
Step 1: PS(p)is a GZp-torsor:
15
![Page 70: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/70.jpg)
Claim: P = HomS,sα(M′,M) ⊂ HomS(M′,M) is a GZp-torsor.
For R a S-algebra, we set PR = P ×SpecS SpecR.
Step 1: PS(p)is a GZp-torsor:
AsOEur ⊗Zp L
∼−→ OEur ⊗S M,
POEuris a trivial GZp-torsor.
15
![Page 71: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/71.jpg)
Claim: P = HomS,sα(M′,M) ⊂ HomS(M′,M) is a GZp-torsor.
For R a S-algebra, we set PR = P ×SpecS SpecR.
Step 1: PS(p)is a GZp-torsor:
AsOEur ⊗Zp L
∼−→ OEur ⊗S M,
POEuris a trivial GZp-torsor.
Since OEur is faithfully flat over S(p) and S(p), PS(p)is a GZp-torsor.
15
![Page 72: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/72.jpg)
Claim: P = HomS,sα(M′,M) ⊂ HomS(M′,M) is a GZp-torsor.
For R a S-algebra, we set PR = P ×SpecS SpecR.
Step 1: PS(p)is a GZp-torsor:
AsOEur ⊗Zp L
∼−→ OEur ⊗S M,
POEuris a trivial GZp-torsor.
Since OEur is faithfully flat over S(p) and S(p), PS(p)is a GZp-torsor.
Step 2: PS[1/pu] is a GZp-torsor:
15
![Page 73: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/73.jpg)
Claim: P = HomS,sα(M′,M) ⊂ HomS(M′,M) is a GZp-torsor.
For R a S-algebra, we set PR = P ×SpecS SpecR.
Step 1: PS(p)is a GZp-torsor:
AsOEur ⊗Zp L
∼−→ OEur ⊗S M,
POEuris a trivial GZp-torsor.
Since OEur is faithfully flat over S(p) and S(p), PS(p)is a GZp-torsor.
Step 2: PS[1/pu] is a GZp-torsor:
Let U ⊂ SpecS[1/up] the maximal open subset over which P is flat withnon-empty fibres.
15
![Page 74: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/74.jpg)
Claim: P = HomS,sα(M′,M) ⊂ HomS(M′,M) is a GZp-torsor.
For R a S-algebra, we set PR = P ×SpecS SpecR.
Step 1: PS(p)is a GZp-torsor:
AsOEur ⊗Zp L
∼−→ OEur ⊗S M,
POEuris a trivial GZp-torsor.
Since OEur is faithfully flat over S(p) and S(p), PS(p)is a GZp-torsor.
Step 2: PS[1/pu] is a GZp-torsor:
Let U ⊂ SpecS[1/up] the maximal open subset over which P is flat withnon-empty fibres.
U contains the generic point by Step 1, so SpecS[1/p]\U is finite.
15
![Page 75: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/75.jpg)
Claim: P = HomS,sα(M′,M) ⊂ HomS(M′,M) is a GZp-torsor.
For R a S-algebra, we set PR = P ×SpecS SpecR.
Step 1: PS(p)is a GZp-torsor:
AsOEur ⊗Zp L
∼−→ OEur ⊗S M,
POEuris a trivial GZp-torsor.
Since OEur is faithfully flat over S(p) and S(p), PS(p)is a GZp-torsor.
Step 2: PS[1/pu] is a GZp-torsor:
Let U ⊂ SpecS[1/up] the maximal open subset over which P is flat withnon-empty fibres.
U contains the generic point by Step 1, so SpecS[1/p]\U is finite.
Since the sα are Frobenius invariant, and ϕ∗(M)[1/E(u)]∼−→M[1/E(u)]
we havePS[1/E(u)]
∼−→ ϕ∗(PS[1/E(u)]).
15
![Page 76: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/76.jpg)
Step 2: PS[1/pu] is a GZp-torsor:
Let U ⊂ SpecS[1/up] the maximal open subset over which P is flat withnon-empty fibres.
U contains the generic point by Step 1, so SpecS[1/p]\U is finite.
Since the sα are ϕ-invariant, and ϕ∗(M)[1/E(u)]∼−→M[1/E(u)] we have
PS[1/E(u)]∼−→ ϕ∗(PS[1/E(u)]).
16
![Page 77: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/77.jpg)
Step 2: PS[1/pu] is a GZp-torsor:
Let U ⊂ SpecS[1/up] the maximal open subset over which P is flat withnon-empty fibres.
U contains the generic point by Step 1, so SpecS[1/p]\U is finite.
Since the sα are ϕ-invariant, and ϕ∗(M)[1/E(u)]∼−→M[1/E(u)] we have
PS[1/E(u)]∼−→ ϕ∗(PS[1/E(u)]).
Let y ∈ U.
16
![Page 78: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/78.jpg)
Step 2: PS[1/pu] is a GZp-torsor:
Let U ⊂ SpecS[1/up] the maximal open subset over which P is flat withnon-empty fibres.
U contains the generic point by Step 1, so SpecS[1/p]\U is finite.
Since the sα are ϕ-invariant, and ϕ∗(M)[1/E(u)]∼−→M[1/E(u)] we have
PS[1/E(u)]∼−→ ϕ∗(PS[1/E(u)]).
Let y ∈ U.If ϕn(y) 6= (E(u)) for n = 0, 1, 2, . . . then ϕn(y) /∈ U by descent.
16
![Page 79: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/79.jpg)
Step 2: PS[1/pu] is a GZp-torsor:
Let U ⊂ SpecS[1/up] the maximal open subset over which P is flat withnon-empty fibres.
U contains the generic point by Step 1, so SpecS[1/p]\U is finite.
Since the sα are ϕ-invariant, and ϕ∗(M)[1/E(u)]∼−→M[1/E(u)] we have
PS[1/E(u)]∼−→ ϕ∗(PS[1/E(u)]).
Let y ∈ U.If ϕn(y) 6= (E(u)) for n = 0, 1, 2, . . . then ϕn(y) /∈ U by descent.
If (E(u)) * ϕ−n(y) n = 1, 2, . . . then ϕ−n(y) /∈ U.
16
![Page 80: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/80.jpg)
Step 2: PS[1/pu] is a GZp-torsor:
Let U ⊂ SpecS[1/up] the maximal open subset over which P is flat withnon-empty fibres.
U contains the generic point by Step 1, so SpecS[1/p]\U is finite.
Since the sα are ϕ-invariant, and ϕ∗(M)[1/E(u)]∼−→M[1/E(u)] we have
PS[1/E(u)]∼−→ ϕ∗(PS[1/E(u)]).
Let y ∈ U.If ϕn(y) 6= (E(u)) for n = 0, 1, 2, . . . then ϕn(y) /∈ U by descent.
If (E(u)) * ϕ−n(y) n = 1, 2, . . . then ϕ−n(y) /∈ U.One of these conditions always hold, which contradicts finiteness.
16
![Page 81: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/81.jpg)
Step 3: PK0 is a GZp-torsor, where S→ K0 := W [1/p] via u 7→ 0.
17
![Page 82: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/82.jpg)
Step 3: PK0 is a GZp-torsor, where S→ K0 := W [1/p] via u 7→ 0.
Since Dcris(L[1/p]) = M/uM[1/p],
Bcris ⊗ L∼−→ Bcris ⊗M/uM.
17
![Page 83: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/83.jpg)
Step 3: PK0 is a GZp-torsor, where S→ K0 := W [1/p] via u 7→ 0.
Since Dcris(L[1/p]) = M/uM[1/p],
Bcris ⊗ L∼−→ Bcris ⊗M/uM.
Step 4: PK0[[u]] is a GZp-torsor: There is a canonical ϕ-equivariant isomor-phism
M⊗S K0[[u]]∼−→ K0[[u]]⊗K0 M/uM[1/p]
17
![Page 84: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/84.jpg)
Step 3: PK0 is a GZp-torsor, where S→ K0 := W [1/p] via u 7→ 0.
Since Dcris(L[1/p]) = M/uM[1/p],
Bcris ⊗ L∼−→ Bcris ⊗M/uM.
Step 4: PK0[[u]] is a GZp-torsor: There is a canonical ϕ-equivariant isomor-phism
M⊗S K0[[u]]∼−→ K0[[u]]⊗K0 M/uM[1/p]
PK0[[u]]∼−→ PK0 ⊗K0 K0[[u]], which is a GZp-torsor by Step 3.
17
![Page 85: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/85.jpg)
Step 5: P is a GZp-torsor:
18
![Page 86: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/86.jpg)
Step 5: P is a GZp-torsor:
So far we have proved that P is a torsor over
SpecS(p) SpecS[1/pu] SpecK0[[u]]
18
![Page 87: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/87.jpg)
Step 5: P is a GZp-torsor:
So far we have proved that P is a torsor over
SpecS(p) SpecS[1/pu] SpecK0[[u]]
This covers U = SpecS - closed point. So P |U is a GZp-torsor.
18
![Page 88: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/88.jpg)
Step 5: P is a GZp-torsor:
So far we have proved that P is a torsor over
SpecS(p) SpecS[1/pu] SpecK0[[u]]
This covers U = SpecS - closed point. So P |U is a GZp-torsor.
Consider
(GL(VZp)/GZp)(U)→ H1(GZp, U)→ H1(GL(VZp), U) = 0
18
![Page 89: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/89.jpg)
Step 5: P is a GZp-torsor:
So far we have proved that P is a torsor over
SpecS(p) SpecS[1/pu] SpecK0[[u]]
This covers U = SpecS - closed point. So P |U is a GZp-torsor.
Consider
(GL(VZp)/GZp)(U)→ H1(GZp, U)→ H1(GL(VZp), U) = 0
AsGZp is reductive GL(VZp)/GZp is affine, and an U -point of GL(VZp)/GZpextends to SpecS.
18
![Page 90: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/90.jpg)
Step 5: P is a GZp-torsor:
So far we have proved that P is a torsor over
SpecS(p) SpecS[1/pu] SpecK0[[u]]
This covers U = SpecS - closed point. So P |U is a GZp-torsor.
Consider
(GL(VZp)/GZp)(U)→ H1(GZp, U)→ H1(GL(VZp), U) = 0
AsGZp is reductive GL(VZp)/GZp is affine, and an U -point of GL(VZp)/GZpextends to SpecS.
Hence any GZp-torsor over U extends to SpecS, and hence is trivial.
18
![Page 91: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/91.jpg)
Step 5: P is a GZp-torsor:
So far we have proved that P is a torsor over
SpecS(p) SpecS[1/pu] SpecK0[[u]]
This covers U = SpecS - closed point. So P |U is a GZp-torsor.
Consider
(GL(VZp)/GZp)(U)→ H1(GZp, U)→ H1(GL(VZp), U) = 0
AsGZp is reductive GL(VZp)/GZp is affine, and an U -point of GL(VZp)/GZpextends to SpecS.
Hence any GZp-torsor over U extends to SpecS, and hence is trivial.
Hence P |U is trivial, and there is a M|U∼−→M′|U taking sα to sα.
18
![Page 92: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/92.jpg)
Step 5: P is a GZp-torsor:
So far we have proved that P is a torsor over
SpecS(p) SpecS[1/pu] SpecK0[[u]]
This covers U = SpecS - closed point. So P |U is a GZp-torsor.
Consider
(GL(VZp)/GZp)(U)→ H1(GZp, U)→ H1(GL(VZp), U) = 0
AsGZp is reductive GL(VZp)/GZp is affine, and an U -point of GL(VZp)/GZpextends to SpecS.
Hence any GZp-torsor over U extends to SpecS, and hence is trivial.
Hence P |U is trivial, and there is a M|U∼−→M′|U taking sα to sα.
Since any vector bundle over U has a canonical extension to S, this impliesthat P is the trivial GZp-torsor.
18
![Page 93: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/93.jpg)
Now suppose that Kp is parahoric.
19
![Page 94: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/94.jpg)
Now suppose that Kp is parahoric.
Example: Suppose GZp is a reductive model of G, as before, let B ⊂GZp ⊗ Fp be a Borel subgroup, and take
Kp = {g ∈ GZp(Zp) : g 7→ g ∈ B(Fp) ⊂ GZp(Fp)}
19
![Page 95: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/95.jpg)
Now suppose that Kp is parahoric.
Example: Suppose GZp is a reductive model of G, as before, let B ⊂GZp ⊗ Fp be a Borel subgroup, and take
Kp = {g ∈ GZp(Zp) : g 7→ g ∈ B(Fp) ⊂ GZp(Fp)}
E.g Γ0(p)-structure for elliptic curves.
19
![Page 96: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/96.jpg)
Now suppose that Kp is parahoric.
Example: Suppose GZp is a reductive model of G, as before, let B ⊂GZp ⊗ Fp be a Borel subgroup, and take
Kp = {g ∈ GZp(Zp) : g 7→ g ∈ B(Fp) ⊂ GZp(Fp)}
E.g Γ0(p)-structure for elliptic curves.
Theorem. (MK-Pappas) Suppose p > 2, and GQp splits over a tamelyramified extension. If λ|p is a prime of E, there exists an OEλ-schemeS Kp(G,X) extending ShKp(G,X) such that
1.S Kp(G,X) = lim
← KpS KpKp(G,X)
is G(Apf) equivariant, and satisfies the extension property, as before.
19
![Page 97: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/97.jpg)
Now suppose that Kp is parahoric.
Example: Suppose GZp is a reductive model of G, as before, let B ⊂GZp ⊗ Fp be a Borel subgroup, and take
Kp = {g ∈ GZp(Zp) : g 7→ g ∈ B(Fp) ⊂ GZp(Fp)}
E.g Γ0(p)-structure for elliptic curves.
Theorem. (MK-Pappas) Suppose p > 2, and GQp splits over a tamelyramified extension. If λ|p is a prime of E, there exists an OEλ-schemeS Kp(G,X) extending ShKp(G,X) such that
1.S Kp(G,X) = lim
← KpS KpKp(G,X)
is G(Apf) equivariant, and satisfies the extension property, as before.
2. ShKp(G,X)/E proper =⇒ S KpKp(G,X)/OEλ proper.
19
![Page 98: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/98.jpg)
Now suppose that Kp is parahoric.
Example: Suppose GZp is a reductive model of G, as before, let B ⊂GZp ⊗ Fp be a Borel subgroup, and take
Kp = {g ∈ GZp(Zp) : g 7→ g ∈ B(Fp) ⊂ GZp(Fp)}
E.g Γ0(p)-structure for elliptic curves.
Theorem. (MK-Pappas) Suppose p > 2, and GQp splits over a tamelyramified extension. If λ|p is a prime of E, there exists an OEλ-schemeS Kp(G,X) extending ShKp(G,X) such that
1.S Kp(G,X) = lim
← KpS KpKp(G,X)
is G(Apf) equivariant, and satisfies the extension property, as before.
2. ShKp(G,X)/E proper =⇒ S KpKp(G,X)/OEλ proper.
3. The strictly henselian local rings on S K(G,X) have normal, Cohen-Macaulay irreducible components.
19
![Page 99: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/99.jpg)
Now suppose that Kp is parahoric.
Example: Suppose GZp is a reductive model of G, as before, let B ⊂GZp ⊗ Fp be a Borel subgroup, and take
Kp = {g ∈ GZp(Zp) : g 7→ g ∈ B(Fp) ⊂ GZp(Fp)}
E.g Γ0(p)-structure for elliptic curves.
Theorem. (MK-Pappas) Suppose p > 2, and GQp splits over a tamelyramified extension. If λ|p is a prime of E, there exists an OEλ-schemeS Kp(G,X) extending ShKp(G,X) such that
1.S Kp(G,X) = lim
← KpS KpKp(G,X)
is G(Apf) equivariant, and satisfies the extension property, as before.
2. ShKp(G,X)/E proper =⇒ S KpKp(G,X)/OEλ proper.
3. The strictly henselian local rings on S K(G,X) have normal, Cohen-Macaulay irreducible components.
4. There is an explicit description of the local structure in terms oforbit closures of G acting on a certain Grassmannian; “local mod-els”.
19
![Page 100: Mark Kisin Harvard - Clay Mathematics Institute · Harvard 1. Main Theorem Let (G,X) be a Shimura datum of abelian type. K p= G Zp (Z p) ⊂G(Q p) hyperspecial, K p⊂G(Ap f) compact](https://reader033.vdocuments.us/reader033/viewer/2022042412/5f2b5776a9a3ad5fe10ae18d/html5/thumbnails/100.jpg)
Theorem. (MK-Pappas) Suppose p > 2, and GQp splits over a tamelyramified extension. If λ|p is a prime of E, there exists an OEλ-schemeS Kp(G,X) extending ShKp(G,X) such that
1.S Kp(G,X) = lim
← KpS KpKp(G,X)
is G(Apf) equivariant, and satisfies the extension property, as before.
2. ShKp(G,X)/E proper =⇒ S KpKp(G,X)/OEλ proper.
3. The strictly henselian local rings on S K(G,X) have normal, Cohen-MacCaulay irreducible components.
4. There is an explicit description of the local structure in terms oforbit closures of G acting on a certain Grassmannian; “local mod-els”.
This was conjectured by Rapoport and Pappas, and was known previouslyin some PEL cases.
20