![Page 1: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/1.jpg)
p-adic Hodge theory
Peter Scholze
Algebraic GeometrySalt Lake City
![Page 2: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/2.jpg)
Classical Hodge theory
Let X be a compact complex manifold.
(i) If X is Kahler, there is a natural Hodge decomposition
H i (X ,Z)⊗Z C ∼=i⊕
j=0
H i−j(X ,ΩjX ) .
(ii) There is a natural isomorphism
H i (X ,Z)⊗Z C ∼= H idR(X ) .
![Page 3: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/3.jpg)
Classical Hodge theory
Let X be a compact complex manifold.
(i) If X is Kahler, there is a natural Hodge decomposition
H i (X ,Z)⊗Z C ∼=i⊕
j=0
H i−j(X ,ΩjX ) .
(ii) There is a natural isomorphism
H i (X ,Z)⊗Z C ∼= H idR(X ) .
![Page 4: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/4.jpg)
Classical Hodge theory
Let X be a compact complex manifold.
(i) If X is Kahler, there is a natural Hodge decomposition
H i (X ,Z)⊗Z C ∼=i⊕
j=0
H i−j(X ,ΩjX ) .
(ii) There is a natural isomorphism
H i (X ,Z)⊗Z C ∼= H idR(X ) .
![Page 5: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/5.jpg)
Classical Hodge theory
(iii) If X is Kahler, then the Hodge-de Rham spectral sequence
E ij1 = H j(X ,Ωi
X )⇒ H i+jdR (X )
degenerates at E1.
![Page 6: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/6.jpg)
Examples
All projective smooth algebraic varieties over C give rise to Kahlercomplex manifolds.
Examples of non-Kahler complex manifolds:
The Hopf surface: Let q ∈ C∗, |q| < 1. Then
X := (C2 \ (0, 0))/qZ .
One has H1(X ,OX ) = C while H0(X ,Ω1X ) = 0, so Hodge
symmetry fails. However, the Hodge-de Rham spectral sequencedegenerates at E1.
![Page 7: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/7.jpg)
Examples
All projective smooth algebraic varieties over C give rise to Kahlercomplex manifolds.
Examples of non-Kahler complex manifolds:
The Hopf surface: Let q ∈ C∗, |q| < 1. Then
X := (C2 \ (0, 0))/qZ .
One has H1(X ,OX ) = C while H0(X ,Ω1X ) = 0, so Hodge
symmetry fails. However, the Hodge-de Rham spectral sequencedegenerates at E1.
![Page 8: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/8.jpg)
Examples
All projective smooth algebraic varieties over C give rise to Kahlercomplex manifolds.
Examples of non-Kahler complex manifolds:
The Hopf surface:
Let q ∈ C∗, |q| < 1. Then
X := (C2 \ (0, 0))/qZ .
One has H1(X ,OX ) = C while H0(X ,Ω1X ) = 0, so Hodge
symmetry fails. However, the Hodge-de Rham spectral sequencedegenerates at E1.
![Page 9: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/9.jpg)
Examples
All projective smooth algebraic varieties over C give rise to Kahlercomplex manifolds.
Examples of non-Kahler complex manifolds:
The Hopf surface: Let q ∈ C∗, |q| < 1. Then
X := (C2 \ (0, 0))/qZ .
One has H1(X ,OX ) = C while H0(X ,Ω1X ) = 0, so Hodge
symmetry fails. However, the Hodge-de Rham spectral sequencedegenerates at E1.
![Page 10: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/10.jpg)
Examples
All projective smooth algebraic varieties over C give rise to Kahlercomplex manifolds.
Examples of non-Kahler complex manifolds:
The Hopf surface: Let q ∈ C∗, |q| < 1. Then
X := (C2 \ (0, 0))/qZ .
One has H1(X ,OX ) = C while H0(X ,Ω1X ) = 0, so Hodge
symmetry fails.
However, the Hodge-de Rham spectral sequencedegenerates at E1.
![Page 11: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/11.jpg)
Examples
All projective smooth algebraic varieties over C give rise to Kahlercomplex manifolds.
Examples of non-Kahler complex manifolds:
The Hopf surface: Let q ∈ C∗, |q| < 1. Then
X := (C2 \ (0, 0))/qZ .
One has H1(X ,OX ) = C while H0(X ,Ω1X ) = 0, so Hodge
symmetry fails. However, the Hodge-de Rham spectral sequencedegenerates at E1.
![Page 12: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/12.jpg)
Examples
The Iwasawa threefold:
Let
N =
1 ∗ ∗0 1 ∗0 0 1
be the unipotent subgroup of GL3. Then
X := N(C)/N(Z[i ]) .
The Hodge-de Rham spectral does not degenerate at E1; inparticular X is non-Kahler.
![Page 13: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/13.jpg)
Examples
The Iwasawa threefold: Let
N =
1 ∗ ∗0 1 ∗0 0 1
be the unipotent subgroup of GL3.
Then
X := N(C)/N(Z[i ]) .
The Hodge-de Rham spectral does not degenerate at E1; inparticular X is non-Kahler.
![Page 14: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/14.jpg)
Examples
The Iwasawa threefold: Let
N =
1 ∗ ∗0 1 ∗0 0 1
be the unipotent subgroup of GL3. Then
X := N(C)/N(Z[i ]) .
The Hodge-de Rham spectral does not degenerate at E1; inparticular X is non-Kahler.
![Page 15: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/15.jpg)
p-adic Hodge theory
Setup: Let K be a p-adic field, i.e. a discretely valued completenonarchimedean extension of Qp with perfect residue field k . (I.e.,K is a finite extension of W (k)[p−1].)
Let C = ˆK be the completed algebraic closure of K .
Theorem (Tate, 1967)
Let A/OK be an abelian variety. Then there is a naturalGal(K/K )-equivariant isomorphism
H1et(AC ,Zp)⊗Zp C ∼= H1(A,OA)⊗K C ⊕ H0(A,Ω1
A)(−1)⊗K C .
![Page 16: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/16.jpg)
p-adic Hodge theory
Setup:
Let K be a p-adic field, i.e. a discretely valued completenonarchimedean extension of Qp with perfect residue field k . (I.e.,K is a finite extension of W (k)[p−1].)
Let C = ˆK be the completed algebraic closure of K .
Theorem (Tate, 1967)
Let A/OK be an abelian variety. Then there is a naturalGal(K/K )-equivariant isomorphism
H1et(AC ,Zp)⊗Zp C ∼= H1(A,OA)⊗K C ⊕ H0(A,Ω1
A)(−1)⊗K C .
![Page 17: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/17.jpg)
p-adic Hodge theory
Setup: Let K be a p-adic field, i.e. a discretely valued completenonarchimedean extension of Qp with perfect residue field k .
(I.e.,K is a finite extension of W (k)[p−1].)
Let C = ˆK be the completed algebraic closure of K .
Theorem (Tate, 1967)
Let A/OK be an abelian variety. Then there is a naturalGal(K/K )-equivariant isomorphism
H1et(AC ,Zp)⊗Zp C ∼= H1(A,OA)⊗K C ⊕ H0(A,Ω1
A)(−1)⊗K C .
![Page 18: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/18.jpg)
p-adic Hodge theory
Setup: Let K be a p-adic field, i.e. a discretely valued completenonarchimedean extension of Qp with perfect residue field k . (I.e.,K is a finite extension of W (k)[p−1].)
Let C = ˆK be the completed algebraic closure of K .
Theorem (Tate, 1967)
Let A/OK be an abelian variety. Then there is a naturalGal(K/K )-equivariant isomorphism
H1et(AC ,Zp)⊗Zp C ∼= H1(A,OA)⊗K C ⊕ H0(A,Ω1
A)(−1)⊗K C .
![Page 19: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/19.jpg)
p-adic Hodge theory
Setup: Let K be a p-adic field, i.e. a discretely valued completenonarchimedean extension of Qp with perfect residue field k . (I.e.,K is a finite extension of W (k)[p−1].)
Let C = ˆK be the completed algebraic closure of K .
Theorem (Tate, 1967)
Let A/OK be an abelian variety.
Then there is a naturalGal(K/K )-equivariant isomorphism
H1et(AC ,Zp)⊗Zp C ∼= H1(A,OA)⊗K C ⊕ H0(A,Ω1
A)(−1)⊗K C .
![Page 20: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/20.jpg)
p-adic Hodge theory
Setup: Let K be a p-adic field, i.e. a discretely valued completenonarchimedean extension of Qp with perfect residue field k . (I.e.,K is a finite extension of W (k)[p−1].)
Let C = ˆK be the completed algebraic closure of K .
Theorem (Tate, 1967)
Let A/OK be an abelian variety. Then there is a naturalGal(K/K )-equivariant isomorphism
H1et(AC ,Zp)⊗Zp C ∼= H1(A,OA)⊗K C ⊕ H0(A,Ω1
A)(−1)⊗K C .
![Page 21: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/21.jpg)
p-adic Hodge theory: A conjecture
Question (Tate, 1967)
One can ask whether a similar Hodge-like decomposition exists forthe etale cohomology with values in C in all dimensions, for ascheme XC coming from a scheme X projective and smooth overOK , or perhaps even over K , or for suitable rigid-analytic spaces.
Such “Hodge-like” decompositions are now called Hodge-Tatedecompositions.
![Page 22: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/22.jpg)
p-adic Hodge theory: A conjecture
Question (Tate, 1967)
One can ask whether a similar Hodge-like decomposition exists forthe etale cohomology with values in C in all dimensions,
for ascheme XC coming from a scheme X projective and smooth overOK , or perhaps even over K , or for suitable rigid-analytic spaces.
Such “Hodge-like” decompositions are now called Hodge-Tatedecompositions.
![Page 23: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/23.jpg)
p-adic Hodge theory: A conjecture
Question (Tate, 1967)
One can ask whether a similar Hodge-like decomposition exists forthe etale cohomology with values in C in all dimensions, for ascheme XC coming from a scheme X projective and smooth overOK ,
or perhaps even over K , or for suitable rigid-analytic spaces.
Such “Hodge-like” decompositions are now called Hodge-Tatedecompositions.
![Page 24: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/24.jpg)
p-adic Hodge theory: A conjecture
Question (Tate, 1967)
One can ask whether a similar Hodge-like decomposition exists forthe etale cohomology with values in C in all dimensions, for ascheme XC coming from a scheme X projective and smooth overOK , or perhaps even over K ,
or for suitable rigid-analytic spaces.
Such “Hodge-like” decompositions are now called Hodge-Tatedecompositions.
![Page 25: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/25.jpg)
p-adic Hodge theory: A conjecture
Question (Tate, 1967)
One can ask whether a similar Hodge-like decomposition exists forthe etale cohomology with values in C in all dimensions, for ascheme XC coming from a scheme X projective and smooth overOK , or perhaps even over K , or for suitable rigid-analytic spaces.
Such “Hodge-like” decompositions are now called Hodge-Tatedecompositions.
![Page 26: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/26.jpg)
p-adic Hodge theory: A conjecture
Question (Tate, 1967)
One can ask whether a similar Hodge-like decomposition exists forthe etale cohomology with values in C in all dimensions, for ascheme XC coming from a scheme X projective and smooth overOK , or perhaps even over K , or for suitable rigid-analytic spaces.
Such “Hodge-like” decompositions are now called Hodge-Tatedecompositions.
![Page 27: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/27.jpg)
p-adic Hodge theory: Results
Fontaine-Messing (1985): X projective smooth scheme overOK = W (k), p > dim X .
Faltings (1990): X proper smooth scheme over K .
Other proofs given by Tsuji, Niziol, Beilinson.
Rigid-analytic case remained open. Not even finiteness ofH i
et(XC ,Zp) was known!
![Page 28: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/28.jpg)
p-adic Hodge theory: Results
Fontaine-Messing (1985): X projective smooth scheme overOK = W (k), p > dim X .
Faltings (1990): X proper smooth scheme over K .
Other proofs given by Tsuji, Niziol, Beilinson.
Rigid-analytic case remained open. Not even finiteness ofH i
et(XC ,Zp) was known!
![Page 29: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/29.jpg)
p-adic Hodge theory: Results
Fontaine-Messing (1985): X projective smooth scheme overOK = W (k), p > dim X .
Faltings (1990): X proper smooth scheme over K .
Other proofs given by Tsuji, Niziol, Beilinson.
Rigid-analytic case remained open. Not even finiteness ofH i
et(XC ,Zp) was known!
![Page 30: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/30.jpg)
p-adic Hodge theory: Results
Fontaine-Messing (1985): X projective smooth scheme overOK = W (k), p > dim X .
Faltings (1990): X proper smooth scheme over K .
Other proofs given by Tsuji, Niziol, Beilinson.
Rigid-analytic case remained open. Not even finiteness ofH i
et(XC ,Zp) was known!
![Page 31: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/31.jpg)
p-adic Hodge theory: Results
Fontaine-Messing (1985): X projective smooth scheme overOK = W (k), p > dim X .
Faltings (1990): X proper smooth scheme over K .
Other proofs given by Tsuji, Niziol, Beilinson.
Rigid-analytic case remained open. Not even finiteness ofH i
et(XC ,Zp) was known!
![Page 32: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/32.jpg)
Rigid-analytic varieties: Examples
Let X be a proper smooth rigid-analytic variety over K .
Examples: analytification of proper smooth scheme over K , genericfibre of non-algebraic deformation of abelian variety or K3 surface(or other proper smooth scheme over k),
Hopf surface: If q ∈ K ∗, |q| < 1, let
X := (C 2 \ (0, 0))/qZ .
Thus, there exist “non-Kahler” rigid-analytic varieties. However,there is no p-adic analogue of the Iwasawa manifold. Namely, Chas no cocompact discrete subgroups like Z[i ] ⊂ C.
![Page 33: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/33.jpg)
Rigid-analytic varieties: Examples
Let X be a proper smooth rigid-analytic variety over K .
Examples: analytification of proper smooth scheme over K ,
genericfibre of non-algebraic deformation of abelian variety or K3 surface(or other proper smooth scheme over k),
Hopf surface: If q ∈ K ∗, |q| < 1, let
X := (C 2 \ (0, 0))/qZ .
Thus, there exist “non-Kahler” rigid-analytic varieties. However,there is no p-adic analogue of the Iwasawa manifold. Namely, Chas no cocompact discrete subgroups like Z[i ] ⊂ C.
![Page 34: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/34.jpg)
Rigid-analytic varieties: Examples
Let X be a proper smooth rigid-analytic variety over K .
Examples: analytification of proper smooth scheme over K , genericfibre of non-algebraic deformation of abelian variety or K3 surface(or other proper smooth scheme over k),
Hopf surface: If q ∈ K ∗, |q| < 1, let
X := (C 2 \ (0, 0))/qZ .
Thus, there exist “non-Kahler” rigid-analytic varieties. However,there is no p-adic analogue of the Iwasawa manifold. Namely, Chas no cocompact discrete subgroups like Z[i ] ⊂ C.
![Page 35: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/35.jpg)
Rigid-analytic varieties: Examples
Let X be a proper smooth rigid-analytic variety over K .
Examples: analytification of proper smooth scheme over K , genericfibre of non-algebraic deformation of abelian variety or K3 surface(or other proper smooth scheme over k),
Hopf surface: If q ∈ K ∗, |q| < 1, let
X := (C 2 \ (0, 0))/qZ .
Thus, there exist “non-Kahler” rigid-analytic varieties. However,there is no p-adic analogue of the Iwasawa manifold. Namely, Chas no cocompact discrete subgroups like Z[i ] ⊂ C.
![Page 36: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/36.jpg)
Rigid-analytic varieties: Examples
Let X be a proper smooth rigid-analytic variety over K .
Examples: analytification of proper smooth scheme over K , genericfibre of non-algebraic deformation of abelian variety or K3 surface(or other proper smooth scheme over k),
Hopf surface: If q ∈ K ∗, |q| < 1, let
X := (C 2 \ (0, 0))/qZ .
Thus, there exist “non-Kahler” rigid-analytic varieties.
However,there is no p-adic analogue of the Iwasawa manifold. Namely, Chas no cocompact discrete subgroups like Z[i ] ⊂ C.
![Page 37: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/37.jpg)
Rigid-analytic varieties: Examples
Let X be a proper smooth rigid-analytic variety over K .
Examples: analytification of proper smooth scheme over K , genericfibre of non-algebraic deformation of abelian variety or K3 surface(or other proper smooth scheme over k),
Hopf surface: If q ∈ K ∗, |q| < 1, let
X := (C 2 \ (0, 0))/qZ .
Thus, there exist “non-Kahler” rigid-analytic varieties. However,there is no p-adic analogue of the Iwasawa manifold.
Namely, Chas no cocompact discrete subgroups like Z[i ] ⊂ C.
![Page 38: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/38.jpg)
Rigid-analytic varieties: Examples
Let X be a proper smooth rigid-analytic variety over K .
Examples: analytification of proper smooth scheme over K , genericfibre of non-algebraic deformation of abelian variety or K3 surface(or other proper smooth scheme over k),
Hopf surface: If q ∈ K ∗, |q| < 1, let
X := (C 2 \ (0, 0))/qZ .
Thus, there exist “non-Kahler” rigid-analytic varieties. However,there is no p-adic analogue of the Iwasawa manifold. Namely, Chas no cocompact discrete subgroups like Z[i ] ⊂ C.
![Page 39: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/39.jpg)
p-adic Hodge theory
Theorem (S., 2012)
(i) For all i ≥ 0, H iet(XC ,Zp) is a finitely generated Zp-module,
which is zero for i > 2 dim X .
(ii) There is a natural Gal(K/K )-equivariant Hodge–Tatedecomposition
H iet(XC ,Zp)⊗Zp C ∼=
i⊕j=0
H i−j(X ,ΩjX )(−j)⊗K C .
![Page 40: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/40.jpg)
p-adic Hodge theory
Theorem (S., 2012)
(i) For all i ≥ 0, H iet(XC ,Zp) is a finitely generated Zp-module,
which is zero for i > 2 dim X .
(ii) There is a natural Gal(K/K )-equivariant Hodge–Tatedecomposition
H iet(XC ,Zp)⊗Zp C ∼=
i⊕j=0
H i−j(X ,ΩjX )(−j)⊗K C .
![Page 41: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/41.jpg)
p-adic Hodge theory
Theorem (S., 2012)
(i) For all i ≥ 0, H iet(XC ,Zp) is a finitely generated Zp-module,
which is zero for i > 2 dim X .
(ii) There is a natural Gal(K/K )-equivariant Hodge–Tatedecomposition
H iet(XC ,Zp)⊗Zp C ∼=
i⊕j=0
H i−j(X ,ΩjX )(−j)⊗K C .
![Page 42: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/42.jpg)
p-adic Hodge theory
Theorem (S., 2012)
(iii) There is a natural Gal(K/K )-equivariant de Rhamcomparison isomorphism
H iet(XC ,Zp)⊗Zp BdR
∼= H idR(X )⊗K BdR
preserving filtrations; in particular, H iet(XC ,Qp) is de Rham in
the sense of Fontaine.
(iv) The Hodge-de Rham spectral sequence
E ij1 = H j(X ,Ωi
X )⇒ H i+jdR (X )
degenerates at E1.
![Page 43: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/43.jpg)
p-adic Hodge theory
Theorem (S., 2012)
(iii) There is a natural Gal(K/K )-equivariant de Rhamcomparison isomorphism
H iet(XC ,Zp)⊗Zp BdR
∼= H idR(X )⊗K BdR
preserving filtrations; in particular, H iet(XC ,Qp) is de Rham in
the sense of Fontaine.
(iv) The Hodge-de Rham spectral sequence
E ij1 = H j(X ,Ωi
X )⇒ H i+jdR (X )
degenerates at E1.
![Page 44: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/44.jpg)
p-adic Hodge theory
Theorem (S., 2012)
(iii) There is a natural Gal(K/K )-equivariant de Rhamcomparison isomorphism
H iet(XC ,Zp)⊗Zp BdR
∼= H idR(X )⊗K BdR
preserving filtrations; in particular, H iet(XC ,Qp) is de Rham in
the sense of Fontaine.
(iv) The Hodge-de Rham spectral sequence
E ij1 = H j(X ,Ωi
X )⇒ H i+jdR (X )
degenerates at E1.
![Page 45: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/45.jpg)
On finiteness for Zp-cohomology
Finiteness for Z`-cohomology, ` 6= p, known.
Idea: Choose formal model and use finiteness of nearby cycles.Works for any quasicompact separated smooth rigid-analyticvariety over K . (I.e., without properness.)
Method does not work for ` = p.In fact, if X closed unit disc over K , then H1
et(XC ,Fp)infinite-dimensional.Related to non-finiteness of H1
et(A1k,Fp), i.e. Artin-Schreier covers.
Need global argument, using finiteness of coherent cohomology tocontrol Artin-Schreier type covers.
![Page 46: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/46.jpg)
On finiteness for Zp-cohomology
Finiteness for Z`-cohomology, ` 6= p, known.Idea: Choose formal model and use finiteness of nearby cycles.
Works for any quasicompact separated smooth rigid-analyticvariety over K . (I.e., without properness.)
Method does not work for ` = p.In fact, if X closed unit disc over K , then H1
et(XC ,Fp)infinite-dimensional.Related to non-finiteness of H1
et(A1k,Fp), i.e. Artin-Schreier covers.
Need global argument, using finiteness of coherent cohomology tocontrol Artin-Schreier type covers.
![Page 47: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/47.jpg)
On finiteness for Zp-cohomology
Finiteness for Z`-cohomology, ` 6= p, known.Idea: Choose formal model and use finiteness of nearby cycles.Works for any quasicompact separated smooth rigid-analyticvariety over K .
(I.e., without properness.)
Method does not work for ` = p.In fact, if X closed unit disc over K , then H1
et(XC ,Fp)infinite-dimensional.Related to non-finiteness of H1
et(A1k,Fp), i.e. Artin-Schreier covers.
Need global argument, using finiteness of coherent cohomology tocontrol Artin-Schreier type covers.
![Page 48: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/48.jpg)
On finiteness for Zp-cohomology
Finiteness for Z`-cohomology, ` 6= p, known.Idea: Choose formal model and use finiteness of nearby cycles.Works for any quasicompact separated smooth rigid-analyticvariety over K . (I.e., without properness.)
Method does not work for ` = p.In fact, if X closed unit disc over K , then H1
et(XC ,Fp)infinite-dimensional.Related to non-finiteness of H1
et(A1k,Fp), i.e. Artin-Schreier covers.
Need global argument, using finiteness of coherent cohomology tocontrol Artin-Schreier type covers.
![Page 49: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/49.jpg)
On finiteness for Zp-cohomology
Finiteness for Z`-cohomology, ` 6= p, known.Idea: Choose formal model and use finiteness of nearby cycles.Works for any quasicompact separated smooth rigid-analyticvariety over K . (I.e., without properness.)
Method does not work for ` = p.
In fact, if X closed unit disc over K , then H1et(XC ,Fp)
infinite-dimensional.Related to non-finiteness of H1
et(A1k,Fp), i.e. Artin-Schreier covers.
Need global argument, using finiteness of coherent cohomology tocontrol Artin-Schreier type covers.
![Page 50: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/50.jpg)
On finiteness for Zp-cohomology
Finiteness for Z`-cohomology, ` 6= p, known.Idea: Choose formal model and use finiteness of nearby cycles.Works for any quasicompact separated smooth rigid-analyticvariety over K . (I.e., without properness.)
Method does not work for ` = p.In fact, if X closed unit disc over K , then H1
et(XC ,Fp)infinite-dimensional.
Related to non-finiteness of H1et(A1
k,Fp), i.e. Artin-Schreier covers.
Need global argument, using finiteness of coherent cohomology tocontrol Artin-Schreier type covers.
![Page 51: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/51.jpg)
On finiteness for Zp-cohomology
Finiteness for Z`-cohomology, ` 6= p, known.Idea: Choose formal model and use finiteness of nearby cycles.Works for any quasicompact separated smooth rigid-analyticvariety over K . (I.e., without properness.)
Method does not work for ` = p.In fact, if X closed unit disc over K , then H1
et(XC ,Fp)infinite-dimensional.Related to non-finiteness of H1
et(A1k,Fp), i.e. Artin-Schreier covers.
Need global argument, using finiteness of coherent cohomology tocontrol Artin-Schreier type covers.
![Page 52: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/52.jpg)
On finiteness for Zp-cohomology
Finiteness for Z`-cohomology, ` 6= p, known.Idea: Choose formal model and use finiteness of nearby cycles.Works for any quasicompact separated smooth rigid-analyticvariety over K . (I.e., without properness.)
Method does not work for ` = p.In fact, if X closed unit disc over K , then H1
et(XC ,Fp)infinite-dimensional.Related to non-finiteness of H1
et(A1k,Fp), i.e. Artin-Schreier covers.
Need global argument, using finiteness of coherent cohomology tocontrol Artin-Schreier type covers.
![Page 53: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/53.jpg)
Local structure of rigid-analytic varieties
Complex manifolds are locally contractible. In contrast,rigid-analytic varieties have large etale fundamental group, evenlocally. But at least no higher homotopy groups:
Theorem (S., 2012)
Let X be a connected affinoid rigid-analytic variety over C . ThenX is a K (π, 1) for p-torsion coefficients, i.e. for all p-torsion localsystems L on X ,
H iet(X ,L) ∼= H i
cont(π1(X , x),Lx) ,
where x ∈ X is a geometric base point, and π1(X , x) is theprofinite etale fundamental group.
![Page 54: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/54.jpg)
Local structure of rigid-analytic varieties
Complex manifolds are locally contractible.
In contrast,rigid-analytic varieties have large etale fundamental group, evenlocally. But at least no higher homotopy groups:
Theorem (S., 2012)
Let X be a connected affinoid rigid-analytic variety over C . ThenX is a K (π, 1) for p-torsion coefficients, i.e. for all p-torsion localsystems L on X ,
H iet(X ,L) ∼= H i
cont(π1(X , x),Lx) ,
where x ∈ X is a geometric base point, and π1(X , x) is theprofinite etale fundamental group.
![Page 55: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/55.jpg)
Local structure of rigid-analytic varieties
Complex manifolds are locally contractible. In contrast,rigid-analytic varieties have large etale fundamental group, evenlocally.
But at least no higher homotopy groups:
Theorem (S., 2012)
Let X be a connected affinoid rigid-analytic variety over C . ThenX is a K (π, 1) for p-torsion coefficients, i.e. for all p-torsion localsystems L on X ,
H iet(X ,L) ∼= H i
cont(π1(X , x),Lx) ,
where x ∈ X is a geometric base point, and π1(X , x) is theprofinite etale fundamental group.
![Page 56: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/56.jpg)
Local structure of rigid-analytic varieties
Complex manifolds are locally contractible. In contrast,rigid-analytic varieties have large etale fundamental group, evenlocally. But at least no higher homotopy groups:
Theorem (S., 2012)
Let X be a connected affinoid rigid-analytic variety over C . ThenX is a K (π, 1) for p-torsion coefficients, i.e. for all p-torsion localsystems L on X ,
H iet(X ,L) ∼= H i
cont(π1(X , x),Lx) ,
where x ∈ X is a geometric base point, and π1(X , x) is theprofinite etale fundamental group.
![Page 57: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/57.jpg)
Local structure of rigid-analytic varieties
Complex manifolds are locally contractible. In contrast,rigid-analytic varieties have large etale fundamental group, evenlocally. But at least no higher homotopy groups:
Theorem (S., 2012)
Let X be a connected affinoid rigid-analytic variety over C .
ThenX is a K (π, 1) for p-torsion coefficients, i.e. for all p-torsion localsystems L on X ,
H iet(X ,L) ∼= H i
cont(π1(X , x),Lx) ,
where x ∈ X is a geometric base point, and π1(X , x) is theprofinite etale fundamental group.
![Page 58: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/58.jpg)
Local structure of rigid-analytic varieties
Complex manifolds are locally contractible. In contrast,rigid-analytic varieties have large etale fundamental group, evenlocally. But at least no higher homotopy groups:
Theorem (S., 2012)
Let X be a connected affinoid rigid-analytic variety over C . ThenX is a K (π, 1) for p-torsion coefficients,
i.e. for all p-torsion localsystems L on X ,
H iet(X ,L) ∼= H i
cont(π1(X , x),Lx) ,
where x ∈ X is a geometric base point, and π1(X , x) is theprofinite etale fundamental group.
![Page 59: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/59.jpg)
Local structure of rigid-analytic varieties
Complex manifolds are locally contractible. In contrast,rigid-analytic varieties have large etale fundamental group, evenlocally. But at least no higher homotopy groups:
Theorem (S., 2012)
Let X be a connected affinoid rigid-analytic variety over C . ThenX is a K (π, 1) for p-torsion coefficients, i.e. for all p-torsion localsystems L on X ,
H iet(X ,L) ∼= H i
cont(π1(X , x),Lx) ,
where x ∈ X is a geometric base point, and π1(X , x) is theprofinite etale fundamental group.
![Page 60: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/60.jpg)
Local structure of rigid-analytic varieties
Complex manifolds are locally contractible. In contrast,rigid-analytic varieties have large etale fundamental group, evenlocally. But at least no higher homotopy groups:
Theorem (S., 2012)
Let X be a connected affinoid rigid-analytic variety over C . ThenX is a K (π, 1) for p-torsion coefficients, i.e. for all p-torsion localsystems L on X ,
H iet(X ,L) ∼= H i
cont(π1(X , x),Lx) ,
where x ∈ X is a geometric base point, and π1(X , x) is theprofinite etale fundamental group.
![Page 61: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/61.jpg)
Local structure of rigid-analytic varieties
Complex manifolds are locally contractible. In contrast,rigid-analytic varieties have large etale fundamental group, evenlocally. But at least no higher homotopy groups:
Theorem (S., 2012)
Let X be a connected affinoid rigid-analytic variety over C . ThenX is a K (π, 1) for p-torsion coefficients, i.e. for all p-torsion localsystems L on X ,
H iet(X ,L) ∼= H i
cont(π1(X , x),Lx) ,
where x ∈ X is a geometric base point,
and π1(X , x) is theprofinite etale fundamental group.
![Page 62: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/62.jpg)
Local structure of rigid-analytic varieties
Complex manifolds are locally contractible. In contrast,rigid-analytic varieties have large etale fundamental group, evenlocally. But at least no higher homotopy groups:
Theorem (S., 2012)
Let X be a connected affinoid rigid-analytic variety over C . ThenX is a K (π, 1) for p-torsion coefficients, i.e. for all p-torsion localsystems L on X ,
H iet(X ,L) ∼= H i
cont(π1(X , x),Lx) ,
where x ∈ X is a geometric base point, and π1(X , x) is theprofinite etale fundamental group.
![Page 63: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/63.jpg)
K (π, 1)’s, equal characteristic case
Also true for X over equal characteristic field k((t)).
Easy:
Enough to consider L = Fp. Consider Artin-Schreier sequence
0→ Fp → OX → OX → 0 ,
exact sequence of sheaves on Xet. As X is affinoid,H i
et(X ,OX ) = 0 for i ≥ 1, get
H iet(X ,Fp) = 0
for i ≥ 2.
![Page 64: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/64.jpg)
K (π, 1)’s, equal characteristic case
Also true for X over equal characteristic field k((t)). Easy:
Enough to consider L = Fp. Consider Artin-Schreier sequence
0→ Fp → OX → OX → 0 ,
exact sequence of sheaves on Xet. As X is affinoid,H i
et(X ,OX ) = 0 for i ≥ 1, get
H iet(X ,Fp) = 0
for i ≥ 2.
![Page 65: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/65.jpg)
K (π, 1)’s, equal characteristic case
Also true for X over equal characteristic field k((t)). Easy:
Enough to consider L = Fp.
Consider Artin-Schreier sequence
0→ Fp → OX → OX → 0 ,
exact sequence of sheaves on Xet. As X is affinoid,H i
et(X ,OX ) = 0 for i ≥ 1, get
H iet(X ,Fp) = 0
for i ≥ 2.
![Page 66: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/66.jpg)
K (π, 1)’s, equal characteristic case
Also true for X over equal characteristic field k((t)). Easy:
Enough to consider L = Fp. Consider Artin-Schreier sequence
0→ Fp → OX → OX → 0 ,
exact sequence of sheaves on Xet. As X is affinoid,H i
et(X ,OX ) = 0 for i ≥ 1, get
H iet(X ,Fp) = 0
for i ≥ 2.
![Page 67: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/67.jpg)
K (π, 1)’s, equal characteristic case
Also true for X over equal characteristic field k((t)). Easy:
Enough to consider L = Fp. Consider Artin-Schreier sequence
0→ Fp → OX → OX → 0 ,
exact sequence of sheaves on Xet.
As X is affinoid,H i
et(X ,OX ) = 0 for i ≥ 1, get
H iet(X ,Fp) = 0
for i ≥ 2.
![Page 68: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/68.jpg)
K (π, 1)’s, equal characteristic case
Also true for X over equal characteristic field k((t)). Easy:
Enough to consider L = Fp. Consider Artin-Schreier sequence
0→ Fp → OX → OX → 0 ,
exact sequence of sheaves on Xet. As X is affinoid,H i
et(X ,OX ) = 0 for i ≥ 1,
get
H iet(X ,Fp) = 0
for i ≥ 2.
![Page 69: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/69.jpg)
K (π, 1)’s, equal characteristic case
Also true for X over equal characteristic field k((t)). Easy:
Enough to consider L = Fp. Consider Artin-Schreier sequence
0→ Fp → OX → OX → 0 ,
exact sequence of sheaves on Xet. As X is affinoid,H i
et(X ,OX ) = 0 for i ≥ 1, get
H iet(X ,Fp) = 0
for i ≥ 2.
![Page 70: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/70.jpg)
K (π, 1)’s, equal characteristic case
Moreover, we get a long exact sequence
0→ H0et(X ,Fp)→ R → R → H1
et(X ,Fp)→ 0 ,
where R = H0(X ,OX ).
As exactness of Artin-Schreier sequenceneeds only finite etale covers, get same result for
H icont(π1(X , x),Lx) .
![Page 71: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/71.jpg)
K (π, 1)’s, equal characteristic case
Moreover, we get a long exact sequence
0→ H0et(X ,Fp)→ R → R → H1
et(X ,Fp)→ 0 ,
where R = H0(X ,OX ). As exactness of Artin-Schreier sequenceneeds only finite etale covers, get same result for
H icont(π1(X , x),Lx) .
![Page 72: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/72.jpg)
K (π, 1)’s, mixed characteristic case
Reduce to case of equal characteristic:
Use perfectoid spaces.
DefinitionA perfectoid C -algebra is a Banach C -algebra R such that thesubring of powerbounded elements R ⊂ R is bounded, and theFrobenius Φ : R/p → R/p is surjective.
Recall Fontaine’s field
C [ = R(C ) = Frac (lim←−Φ
OC/p) ∼= k(($)) .
![Page 73: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/73.jpg)
K (π, 1)’s, mixed characteristic case
Reduce to case of equal characteristic: Use perfectoid spaces.
DefinitionA perfectoid C -algebra is a Banach C -algebra R such that thesubring of powerbounded elements R ⊂ R is bounded, and theFrobenius Φ : R/p → R/p is surjective.
Recall Fontaine’s field
C [ = R(C ) = Frac (lim←−Φ
OC/p) ∼= k(($)) .
![Page 74: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/74.jpg)
K (π, 1)’s, mixed characteristic case
Reduce to case of equal characteristic: Use perfectoid spaces.
DefinitionA perfectoid C -algebra is a Banach C -algebra R
such that thesubring of powerbounded elements R ⊂ R is bounded, and theFrobenius Φ : R/p → R/p is surjective.
Recall Fontaine’s field
C [ = R(C ) = Frac (lim←−Φ
OC/p) ∼= k(($)) .
![Page 75: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/75.jpg)
K (π, 1)’s, mixed characteristic case
Reduce to case of equal characteristic: Use perfectoid spaces.
DefinitionA perfectoid C -algebra is a Banach C -algebra R such that thesubring of powerbounded elements R ⊂ R is bounded,
and theFrobenius Φ : R/p → R/p is surjective.
Recall Fontaine’s field
C [ = R(C ) = Frac (lim←−Φ
OC/p) ∼= k(($)) .
![Page 76: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/76.jpg)
K (π, 1)’s, mixed characteristic case
Reduce to case of equal characteristic: Use perfectoid spaces.
DefinitionA perfectoid C -algebra is a Banach C -algebra R such that thesubring of powerbounded elements R ⊂ R is bounded, and theFrobenius Φ : R/p → R/p is surjective.
Recall Fontaine’s field
C [ = R(C ) = Frac (lim←−Φ
OC/p) ∼= k(($)) .
![Page 77: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/77.jpg)
K (π, 1)’s, mixed characteristic case
Reduce to case of equal characteristic: Use perfectoid spaces.
DefinitionA perfectoid C -algebra is a Banach C -algebra R such that thesubring of powerbounded elements R ⊂ R is bounded, and theFrobenius Φ : R/p → R/p is surjective.
Recall Fontaine’s field
C [ = R(C ) = Frac (lim←−Φ
OC/p) ∼= k(($)) .
![Page 78: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/78.jpg)
K (π, 1)’s, mixed characteristic case
Then:
Theorem (S., 2011)
Perfectoid C-algebras are equivalent to perfectoid C [-algebras.
There exist ’rigid-analytic varieties’ (more precisely: adic spaces)associated to perfectoid C-, resp. C [-, algebras, called affinoidperfectoid spaces over C , resp. C [. These categories areequivalent, X 7→ X [. In this situation, Xet
∼= X [et.
The functor from perfectoid C -algebras R to perfectoidC [-algebras R[ is given by Fontaine’s construction:
R[ = (lim←−φ
R/p)⊗lim←−φOC/p C [ .
![Page 79: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/79.jpg)
K (π, 1)’s, mixed characteristic case
Then:
Theorem (S., 2011)
Perfectoid C-algebras are equivalent to perfectoid C [-algebras.There exist ’rigid-analytic varieties’
(more precisely: adic spaces)associated to perfectoid C-, resp. C [-, algebras, called affinoidperfectoid spaces over C , resp. C [. These categories areequivalent, X 7→ X [. In this situation, Xet
∼= X [et.
The functor from perfectoid C -algebras R to perfectoidC [-algebras R[ is given by Fontaine’s construction:
R[ = (lim←−φ
R/p)⊗lim←−φOC/p C [ .
![Page 80: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/80.jpg)
K (π, 1)’s, mixed characteristic case
Then:
Theorem (S., 2011)
Perfectoid C-algebras are equivalent to perfectoid C [-algebras.There exist ’rigid-analytic varieties’ (more precisely: adic spaces)
associated to perfectoid C-, resp. C [-, algebras, called affinoidperfectoid spaces over C , resp. C [. These categories areequivalent, X 7→ X [. In this situation, Xet
∼= X [et.
The functor from perfectoid C -algebras R to perfectoidC [-algebras R[ is given by Fontaine’s construction:
R[ = (lim←−φ
R/p)⊗lim←−φOC/p C [ .
![Page 81: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/81.jpg)
K (π, 1)’s, mixed characteristic case
Then:
Theorem (S., 2011)
Perfectoid C-algebras are equivalent to perfectoid C [-algebras.There exist ’rigid-analytic varieties’ (more precisely: adic spaces)associated to perfectoid C-, resp. C [-, algebras,
called affinoidperfectoid spaces over C , resp. C [. These categories areequivalent, X 7→ X [. In this situation, Xet
∼= X [et.
The functor from perfectoid C -algebras R to perfectoidC [-algebras R[ is given by Fontaine’s construction:
R[ = (lim←−φ
R/p)⊗lim←−φOC/p C [ .
![Page 82: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/82.jpg)
K (π, 1)’s, mixed characteristic case
Then:
Theorem (S., 2011)
Perfectoid C-algebras are equivalent to perfectoid C [-algebras.There exist ’rigid-analytic varieties’ (more precisely: adic spaces)associated to perfectoid C-, resp. C [-, algebras, called affinoidperfectoid spaces over C , resp. C [.
These categories areequivalent, X 7→ X [. In this situation, Xet
∼= X [et.
The functor from perfectoid C -algebras R to perfectoidC [-algebras R[ is given by Fontaine’s construction:
R[ = (lim←−φ
R/p)⊗lim←−φOC/p C [ .
![Page 83: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/83.jpg)
K (π, 1)’s, mixed characteristic case
Then:
Theorem (S., 2011)
Perfectoid C-algebras are equivalent to perfectoid C [-algebras.There exist ’rigid-analytic varieties’ (more precisely: adic spaces)associated to perfectoid C-, resp. C [-, algebras, called affinoidperfectoid spaces over C , resp. C [. These categories areequivalent,
X 7→ X [. In this situation, Xet∼= X [
et.
The functor from perfectoid C -algebras R to perfectoidC [-algebras R[ is given by Fontaine’s construction:
R[ = (lim←−φ
R/p)⊗lim←−φOC/p C [ .
![Page 84: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/84.jpg)
K (π, 1)’s, mixed characteristic case
Then:
Theorem (S., 2011)
Perfectoid C-algebras are equivalent to perfectoid C [-algebras.There exist ’rigid-analytic varieties’ (more precisely: adic spaces)associated to perfectoid C-, resp. C [-, algebras, called affinoidperfectoid spaces over C , resp. C [. These categories areequivalent, X 7→ X [.
In this situation, Xet∼= X [
et.
The functor from perfectoid C -algebras R to perfectoidC [-algebras R[ is given by Fontaine’s construction:
R[ = (lim←−φ
R/p)⊗lim←−φOC/p C [ .
![Page 85: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/85.jpg)
K (π, 1)’s, mixed characteristic case
Then:
Theorem (S., 2011)
Perfectoid C-algebras are equivalent to perfectoid C [-algebras.There exist ’rigid-analytic varieties’ (more precisely: adic spaces)associated to perfectoid C-, resp. C [-, algebras, called affinoidperfectoid spaces over C , resp. C [. These categories areequivalent, X 7→ X [. In this situation, Xet
∼= X [et.
The functor from perfectoid C -algebras R to perfectoidC [-algebras R[ is given by Fontaine’s construction:
R[ = (lim←−φ
R/p)⊗lim←−φOC/p C [ .
![Page 86: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/86.jpg)
K (π, 1)’s, mixed characteristic case
Then:
Theorem (S., 2011)
Perfectoid C-algebras are equivalent to perfectoid C [-algebras.There exist ’rigid-analytic varieties’ (more precisely: adic spaces)associated to perfectoid C-, resp. C [-, algebras, called affinoidperfectoid spaces over C , resp. C [. These categories areequivalent, X 7→ X [. In this situation, Xet
∼= X [et.
The functor from perfectoid C -algebras R to perfectoidC [-algebras R[ is given by Fontaine’s construction:
R[ = (lim←−φ
R/p)⊗lim←−φOC/p C [ .
![Page 87: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/87.jpg)
K (π, 1)’s, mixed characteristic case
Then:
Theorem (S., 2011)
Perfectoid C-algebras are equivalent to perfectoid C [-algebras.There exist ’rigid-analytic varieties’ (more precisely: adic spaces)associated to perfectoid C-, resp. C [-, algebras, called affinoidperfectoid spaces over C , resp. C [. These categories areequivalent, X 7→ X [. In this situation, Xet
∼= X [et.
The functor from perfectoid C -algebras R to perfectoidC [-algebras R[ is given by Fontaine’s construction:
R[ = (lim←−φ
R/p)⊗lim←−φOC/p C [ .
![Page 88: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/88.jpg)
K (π, 1)’s, mixed characteristic case
Want to show:
Any connected affinoid rigid-analytic variety X overC is a K (π, 1).
Proof.
I Find affinoid perfectoid space X over C , X → X an inverselimit of finite etale covers.(Iterate adjoining p-power roots of units.)
I Its tilt X [ is affinoid and lives in equal characteristic, hence isa K (π, 1) for p-torsion coefficients.
I As Xet∼= X [
et, also X is a K (π, 1) for p-torsion coefficients.
I As X → X is pro-finite etale, also X is a K (π, 1) for p-torsioncoefficients.
![Page 89: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/89.jpg)
K (π, 1)’s, mixed characteristic case
Want to show: Any connected affinoid rigid-analytic variety X overC is a K (π, 1).
Proof.
I Find affinoid perfectoid space X over C , X → X an inverselimit of finite etale covers.(Iterate adjoining p-power roots of units.)
I Its tilt X [ is affinoid and lives in equal characteristic, hence isa K (π, 1) for p-torsion coefficients.
I As Xet∼= X [
et, also X is a K (π, 1) for p-torsion coefficients.
I As X → X is pro-finite etale, also X is a K (π, 1) for p-torsioncoefficients.
![Page 90: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/90.jpg)
K (π, 1)’s, mixed characteristic case
Want to show: Any connected affinoid rigid-analytic variety X overC is a K (π, 1).
Proof.
I Find affinoid perfectoid space X over C , X → X an inverselimit of finite etale covers.
(Iterate adjoining p-power roots of units.)
I Its tilt X [ is affinoid and lives in equal characteristic, hence isa K (π, 1) for p-torsion coefficients.
I As Xet∼= X [
et, also X is a K (π, 1) for p-torsion coefficients.
I As X → X is pro-finite etale, also X is a K (π, 1) for p-torsioncoefficients.
![Page 91: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/91.jpg)
K (π, 1)’s, mixed characteristic case
Want to show: Any connected affinoid rigid-analytic variety X overC is a K (π, 1).
Proof.
I Find affinoid perfectoid space X over C , X → X an inverselimit of finite etale covers.
(Iterate adjoining p-power roots of units.)
I Its tilt X [ is affinoid and lives in equal characteristic, hence isa K (π, 1) for p-torsion coefficients.
I As Xet∼= X [
et, also X is a K (π, 1) for p-torsion coefficients.
I As X → X is pro-finite etale, also X is a K (π, 1) for p-torsioncoefficients.
![Page 92: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/92.jpg)
K (π, 1)’s, mixed characteristic case
Want to show: Any connected affinoid rigid-analytic variety X overC is a K (π, 1).
Proof.
I Find affinoid perfectoid space X over C , X → X an inverselimit of finite etale covers.(Iterate adjoining p-power roots of units.)
I Its tilt X [ is affinoid and lives in equal characteristic, hence isa K (π, 1) for p-torsion coefficients.
I As Xet∼= X [
et, also X is a K (π, 1) for p-torsion coefficients.
I As X → X is pro-finite etale, also X is a K (π, 1) for p-torsioncoefficients.
![Page 93: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/93.jpg)
K (π, 1)’s, mixed characteristic case
Want to show: Any connected affinoid rigid-analytic variety X overC is a K (π, 1).
Proof.
I Find affinoid perfectoid space X over C , X → X an inverselimit of finite etale covers.(Iterate adjoining p-power roots of units.)
I Its tilt X [ is affinoid and lives in equal characteristic, hence isa K (π, 1) for p-torsion coefficients.
I As Xet∼= X [
et, also X is a K (π, 1) for p-torsion coefficients.
I As X → X is pro-finite etale, also X is a K (π, 1) for p-torsioncoefficients.
![Page 94: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/94.jpg)
K (π, 1)’s, mixed characteristic case
Want to show: Any connected affinoid rigid-analytic variety X overC is a K (π, 1).
Proof.
I Find affinoid perfectoid space X over C , X → X an inverselimit of finite etale covers.(Iterate adjoining p-power roots of units.)
I Its tilt X [ is affinoid and lives in equal characteristic, hence isa K (π, 1) for p-torsion coefficients.
I As Xet∼= X [
et, also X is a K (π, 1) for p-torsion coefficients.
I As X → X is pro-finite etale, also X is a K (π, 1) for p-torsioncoefficients.
![Page 95: Peter Scholze Algebraic Geometry Salt Lake CityAlgebraic Geometry Salt Lake City. Classical Hodge theory Let X be a compact complex manifold. (i) If X is K ahler, there is a natural](https://reader034.vdocuments.site/reader034/viewer/2022052408/5f03e9087e708231d40b5f99/html5/thumbnails/95.jpg)
K (π, 1)’s, mixed characteristic case
Want to show: Any connected affinoid rigid-analytic variety X overC is a K (π, 1).
Proof.
I Find affinoid perfectoid space X over C , X → X an inverselimit of finite etale covers.(Iterate adjoining p-power roots of units.)
I Its tilt X [ is affinoid and lives in equal characteristic, hence isa K (π, 1) for p-torsion coefficients.
I As Xet∼= X [
et, also X is a K (π, 1) for p-torsion coefficients.
I As X → X is pro-finite etale, also X is a K (π, 1) for p-torsioncoefficients.