PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS)
|
|
- Jayson Parsons
- 6 years ago
- Views:
Transcription
1 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) 1. Background Story The starting point of p-adic Hodge theory is the comparison conjectures (now theorems) between p-adic étale cohomology, de Rham cohomology, and (log-)crystalline cohomology. Throughout the notes, K is a finite extension of Q p with residue field k. Let W (k) be the Witt vectors with coefficients in k and let K 0 = Frac W (k). Theorem 1.1. (Hodge-Tate comparison) Let X be a proper smooth variety over K. There exists a canonical isomorphism Het(X ń K, Q p ) Qp C p = H n i (X, Ω i X/K ) K C p ( i) compatible with G K -actions. 0 i n Theorem 1.2. (de Rham comparison) Let X be a proper smooth variety over K. There exists a canonical isomorphism H ń et(x K, Q p ) Qp B dr = H n dr (X/K) K B dr compatible with G K -actions and filtrations. Theorem 1.3. (crystalline comparison) Let X be a proper smooth variety over K. Suppose X has a proper smooth model X over O K. Let X 0 denote the special fiber of X. There exists a canonical isomorphism H ń et(x K, Q p ) Qp B crys = H n crys (X 0 /W (k)) W (k) B crys compatible with G K -actions, Frobenius actions, and filtrations. There is also a semistable comparison relating p-adic étale cohomology to logcrystalline cohomology. The purpose of these notes is to construct and study various period rings including B dr and B crys. Good references for an introduction to p-adic Hodge theory include [BC], [FO], and [Ber]. The problems and examples here are by no means original, most of which are inspired from literatures mentioned above. 2. Witt Vectors Definition 2.1. Let A be a topological ring and let A I 1 I 2 be a decreasing chain of ideals. Assume A/I 1 is an F p -algebra and I n I m I n+m. The topology on A is given by (I n ) n 1. (i) A is called a p-ring if the topology is separated and completed. (ii) A is called a strict p-ring if moreover I n = p n A and p is not a zero divisor in A. 1
2 2 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) Let A be a p-ring with perfect residue ring R = A/I 1. For x R and n N, let x n = x 1/pn. Let x n be a lift of x n to A. The Teichmüller lift of x is defined to be [x] := lim n ( x n ) pn In particular, if A is a strict p-ring with perfect residue ring R, then every a A can be uniquely written as a = p n [a n ] with a n R. (see Problem 2) n=0 Theorem 2.2. If R is a perfect ring of characteristic p. Then there exists a unique strict p-ring W (R) with residue ring R. Roughly speaking, W (R) = { n=0 pn [x n ] x n R}. For an explicit description of W (R), see Problem 4. Theorem 2.3. (Universality) Let R 0 be a perfect ring of characteristic p. Let A be any p-ring with residue ring R. Suppose α : R 0 R is a ring homomorphism and α : R 0 A is a multiplicative lift of α, then there exists a unique homomorphism α : W (R 0 ) A such that α([x]) = α(x). Remark 2.4. Witt vectors can be defined for more general rings, not necessarily F p -algebras. For details, we refer to [Ser]. Problem 1. Which of the following rings are p-rings? Strict p-rings? (a) O K (where K/Q p is a finite extension.) (b) O K (c) O Cp (d) O K [[X 1/p J ]] = lim ( n m=0o K [X 1/pm j ; j J])/p n (J is any index set). (e) R + (where (R, R + ) is a perfectoid algebra of characteristic 0). Problem 2. Let A be a strict p-ring with perfect residue ring R. Show that every a A can be uniquely written as a = p n [a n ] with a n R. n=0
3 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) 3 Problem 3. (Universal Witt polynomials) Consider strict p-ring S = Z p [[X 1/p i, Y 1/p i ]] i 0 with residue ring S = F p [X 1/p i, Y 1/p i ] i 0. (i) Show that there exist polynomials P i, Q i S such that p i [X i ] + p i [Y i ] = p i [P i ] ( p i [X i ] )( p i [Y i ] ) = p i [Q i ] (Hint: Use Problem 2.) (ii) Calculate P 0, P 1, Q 0, Q 1. (iii) Show that P i s and Q i s are universal in the following sense. For any strict p-ring A with perfect residue ring R and any x 0, x 1,..., y 0, y 1,... R, we have p i [x i ] + p i [y i ] = p i [P i (x 0, x 1,..., y 0, y 1,...)] ( p i [x i ] )( p i [y i ] ) = p i [Q i (x 0, x 1,..., y 0, y 1,...)] Problem 4. (Explicit description of W (R)) Let R be a perfect ring of characteristic p. Suppose R has a presentation R = S J /I where S J = F p [X 1/p J ] for some index set J, and I is a perfect ideal of S J. (i) Show that such a presentation always exists. (ii) Consider S J := Z p [[X 1/p J ]] Show that W (R) = S J /W (I) where W (I) = { p i [x i ] x i I }. (iii) Prove Theorem 2.3 using the explicit description above. (Hint: Lift S J A to S J A.) Problem 5.(O C p and W (O C p )) Let (C p, O C p ) be the tilt of the perfectoid field (C p, O Cp ) (see [Sch1]). We briefly review the construction here. Consider O C p := lim x x p O Cp /p equipped with inverse limit topology. This is a perfect ring of characteristic p. Let C p = Frac O C p. The natural projection gives a multiplicative homeomorphism lim O Cp x x p lim O x x Cp /p. p
4 4 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) The inverse is given by lim O Cp /p lim x x p x x p O Cp sending x = (x 0, x 1,...) to (x #, x #(1), x #(2),...) where x #(m) = lim n x pn m n. One can define a valuation on O C p by x := x # Cp. (i) Check that is indeed a non-archimedean valuation on O C p. In particular, x + y max( x, y ), x, y O C p. (ii) Check that O C p is complete and separated with respect to. (iii) Consider ε = (1, ζ p, ζ p 2,...) lim O x x Cp = OC p p For each n N, calculate ε 1/pn 1. (iv) Let K/Q p be a finite extension and let G K = Gal(K/K). Then O C p is equipped with a natural Frobenius action ϕ and an action of G K. More precisely, for x = (x (0), x (1),...) lim O x x p C p = OC p, we define ϕ(x) = ((x (0) ) p, (x (1) ) p,...) and g(x) = (g(x (0) ), g(x (1) ),...), g G K. The ϕ and G K actions also extend naturally to W (O C p ). Find (O C p ) ϕ=1, (O C p ) G K, W (O C p ) ϕ=1, W (O C p ) G K. 3. De Rham period ring B dr Consider the following G K -equivariant ring homomorphism θ : W (O C p ) O Cp p i [x i ] p i x # i It turns out ker(θ) is a principle ideal generated by ξ = [p ] p, where p = (p, p 1/p, p 1/p2,...) lim x x p O Cp = OC p. Define B + dr to be the ker(θ)-adic completion of W (O C )[ 1 p p ]; i.e., The natural projection induces B + dr = lim n W (O C p )[ 1 p ]/(ker θ)n. θ + dr : B+ dr W (O C p )[1 p ]/(ker θ) = C p. In particular, B + dr is a complete discrete valuation ring with maximal ideal m B + dr = (ker θ) and residue field C p. We temporarily equip B + dr with the discrete valuation ring topology. (See Problem 11 for a better topology.)
5 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) 5 Let ε be the same as in Problem 5(iii). Consider the element n 1 ([ε] 1)n t = log[ε] = ( 1). n n=1 One can check that t converges to a uniformizer in B + dr. Moreover, t has the nice property that g(t) = χ(g)t, g G K where χ is the cyclotomic character. Finally, we define B dr = B + dr [ 1 t ] = Frac B+ dr, which carries a natural G K-action. One can prove B G K dr = K. In addition, one can put a G K-stable filtration on B dr by setting Fil n B dr := t n B + dr = mn n Z. B dr, + However, the ϕ-action on W (O C p )[ 1 p ] does not extend to B dr. Problem 6. If we identify W (O C p ) with (O C p ) N and equip the product of valuation topology from O C p, show that θ : W (O C p ) O Cp is open. Problem 7. Let k be the residue field of K. Show that θ is actually a morphism of W ( k)-algebras with the natural W ( k)-structures on both sides. Problem 8. For α W (O C p ), let α denote the reduction of α mod p. Show that α ker(θ) is a generator if and only if α = 1. In particular, ξ is a generator. Problem 9. Show that ϕ-action on W (O C p )[ 1 p ] does not extend to B+ dr. (Hint: Consider ϕ-action on ker θ.) Problem 10. Show that [p ] is invertible in B + dr. Problem 11. This is a famous exercise in [BC]. We put a new topological ring structure on W (O C p )[ 1 p ] which extends to one on B+ dr such that the quotient topology on C p through θ + dr is the natural valuation topology! (i) For any open ideal a O C p and N 0, consider U N,a := ( p j W (a pj ) + p N W (O )) C W (O p C p )[ 1 p ]. j> N Prove that U N,a is a G K -stable W (O C p )-submodule of W (O C p )[ 1 p ]. (ii) Define a topological ring structure on W (O C p )[ 1 p ] by making U N,a s a base of open neighborhoods of 0. Show that the topological ring structure is well-defined and the G K -action is continuous under this topology.
6 6 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) (iii) Show that θ : W (O C p )[ 1 p ] C p is continuous and open, where W (O C p )[ 1 p ] is equipped with the new topology and C p with valuation topology. (iv) Show that (ker θ) n = ξ n W (O C p )[ 1 p ] are closed ideals of W (O C p )[ 1 p ]. (v) Equip B + dr with the inverse limit topology of the quotient topologies on each W (O C p )[ 1 p ]/(ker θ)n. Verify that the quotient topology on C p through θ + dr : B+ dr C p coincides with the valuation topology. (vi) Show that the new topology on B + dr is complete. Problem 12. Prove that g(t) = χ(g)t for all g G K. (Hint: Show that both sides are equal to log([ε] χ(g) ). This expression does not converge in discrete valuation topology, but converges in the new topology constructed in Problem 11.) Problem 13.(G K -cohomology of B dr ) (i) Calculate H i (G K, t j B + dr ) for i = 0, 1 and for all j 1. (ii) Calculate (B dr ) G K and (B + dr )G K. (Hint: Use the exact sequence 0 t i+1 B + dr ti B + dr C p(i) 0 and consider the corresponding long exact sequences. The hard part is to prove H 1 (G K, tb + dr ) = 0.) 4. De Rham representations Let K/Q p be a finite extension and let Rep Qp (G K ) denote the category of G K - representations; i.e., finite dimensional Q p -vector spaces with a continuous action of G K. Let Fil K denote the category of filtered K-vector spaces; i.e., finite dimensional K-vector spaces D equipped with an exhaustive and separated filtration {Fil i (D)} i Z. Being exhaustive means Fil i (D) = D for i 0, and being separated means Fil i (D) = 0 for i 0. Consider functor D dr : Rep Qp (G K ) Fil K V (V Qp B dr ) G K The filtration on D dr (V ) is given by Fil i (D dr (V )) := (V Qp t i B + dr )G K. It is always true that dim K D dr (V ) dim Qp V. We say V is de Rham if this is an equality. The subcategory of de Rham representations is denoted by Rep dr Q p (G K ). Theorem 4.1. (i) The functor D dr : Rep dr Q p (G K ) Fil K is exact and faithful (but not full!) Moreover, it respects direct sums, tensor products, subobjects, quotients, and duals.
7 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) 7 (ii) If V is de Rham, the natural map α dr,v : D dr (V ) K B dr V Qp B dr is an isomorphism of filtered vector spaces. The notion of Hodge-Tate representations can be defined in the same fashion. The Hodge-Tate period ring is defined to be B HT = n Z C p (n) where C p (n) standards for the Tate twist. For any V Rep Qp (G K ), we can consider functor D HT : Rep Qp (G K ) Vect K. A representation V is called Hodge-Tate if dim K D HT (V ) = dim Qp V. Theorem 4.2. De Rham representations are Hodge-Tate. Important source of de Rham representations: those G K -representations arising from p-adic étale cohomologies of proper smooth varieties over K are de Rham. Problem 14. Prove Theorem 4.2. (Hint: gr D dr (V ) = D HT (V ).) Problem 15. Let V Rep Qp (G K ) and let n Z. Prove that V is de Rham if and only if V Qp Q p (n) is de Rham. Problem 16. Let K /K be a finite extension and let V Rep Qp (G K ). Show that V is de Rham as a G K -representation if and only if it is de Rham viewed as a G K -representations. Problem 17. Suppose V Rep Qp (G K ) is 1-dimensional. Prove that V is de Rham if and only if it is Hodge-Tate. Problem 18. Let η : G K Z p be a continuous character. Show that Q p (η) is de Rham (equivalently, Hodge-Tate) if and only if there exists n Z such that χ n η is potentially unramified. (A character of G K is called potentially unramified if there exists a finite extension L/K such that the image of I L is trivial.) (Hint: Assume 1 a D dr (Q p (η)) = (Q p (η) B dr ) G K. What does a have to satisfy?) Problem 19. (Tate curve) Let K/Q p be a finite extension and let q K be an element such that q < 1. Let q Z = {q n n Z} and consider quotient group E q = K /q Z ( Tate curve )
8 8 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) The abelian group E q has a natural action of G K. For each n 0, let E q [p n ] be the subgroup of p n -torsion elements. Define the Tate module T p (E q ) := lim n E q [p n ] with transition maps being multiplication by p. Inverting p, we obtain the rational Tate module V p (E q ) := T p (E q ) Zp Q p. (i) For each n, choose a primitive p n -th root of unity ζ p n and choose a p n -th root λ n of q in K. Show that (Z/p n Z) 2 E q [p n ] (a, b) ζp a nλb n is an isomorphism. (ii) Show that V p (E q ) is a 2-dimensional Q p -vector space equipped with a continuous action of G K. (iii) Show that V p (E q ) is an extension of Q p by Q p (1). 0 Q p (1) V p (E q ) Q p 0 (iv) V p (E q ) has an explicit basis {e, f} where e = (1, ζ p, ζ p 2,...), f = (q, q 1/p, q 1/p2,...). For any g G K, show that g(e) = χ(g)e, g(f) = f + a(g)e for some a(g) Z p depending on g. (v) Recall that t = log[ε] B + dr. Let q = (q, q 1/p,...) O C p. We can define log[q ] as follows. log[q ] := log p (q) + ( 1) n 1 ([q ]/q 1) n. n n=1 Check that log[q ] converges in B + dr. (vi) Let u = log[q ]. Show that g(u) = u + a(g)t. (vii) Show that V p (E q ) is de Rham. (Hint: Use t and u to modify the basis e 1, f 1 of V p (E q ) Qp B dr into a G K -invariant one.) Problem 20. Let n, m be two positive integers and n m. Let V be any extension in Rep Qp (G K ). Show that 0 Q p (n) V Q p (m) 0 (i) V is Hodge-Tate. (ii) V is de Rham if n > m. (On the other hand, every non-trivial extension 0 Q p V Q p (1) 0 is not de Rham. But this is difficult to prove.)
9 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) 9 (Hint: May assume n > 0 and m = 0. Show that the exact sequence of free B + dr -modules 0 Q p (n) Qp B+ dr V Q p B + dr B+ dr 0 has a G K -equivariant splitting.) Problem 21. In this problem, we prove that the functor D dr : Rep dr Q p (G K ) Fil K is not full. (i) For V, W Rep dr Q p (G K ), show that D dr (V ) and D dr (W ) are isomorphic in Fil K if and only if dim K gr i (D dr (V )) = dim K gr i (D dr (W )) for all i. (i.e., they have the same Hodge-Tate weights and Hodge-Tate numbers.) (ii) Show that there exists a non-split extension of Q p by Q p (1) in Rep dr Q p (G K ). (Hint: Already have one from previous problems.) (iii) Conclude that D dr is not full. 5. Crystalline period ring B crys Let K/Q p be a finite extension with residue field k. Let K 0 = W (k)[ 1 p ]. We will construct period ring B crys equipped with both a filtration and a ϕ-action. Recall that ξ = [p ] p. Consider [ ξ A 0 m ] crys = W (O C p ) W (O m! C m 1 p )[ 1 p ]. This is a G K -stable W (O C p )-subalgebra generated by divided-powers. Define A crys = lim A 0 n crys/p n A 0 crys with p-adic topology. We can fill in the top arrow in the commutative diagram A crys B + dr A 0 crys W (O C p )[ 1 p ] and then identify A crys with a subring of B + dr. More precisely, { ξ n } A crys = a n a n W (O n! C p ), a n 0 p-adically n=0 Define B + crys = A crys [ 1 p ] B+ dr. Since t A crys, we can define B crys = B + crys[ 1 t ] B+ dr [1 t ] B dr equipped with subspace topology from the new topology on B dr introduced in Problem 11. Moreover, B crys admits a natural action of G K. There is a G K - equivariant injection K K0 B crys B dr. Consequently, B G K crys = K 0.
10 10 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) The filtrations on B crys are the ones inherited from B dr. Namely, Fil i B crys = Fil i B dr B crys. Unlike B dr, the ϕ-action extends to A 0 crys, and hence on A crys, B crys, + B crys. (One can verify that ϕ(t) = pt.) However, the filtrations are not ϕ-stable. Theorem 5.1. ϕ : A crys A crys is injective. Theorem 5.2. We have fundamental exact sequences 0 Q p B ϕ=1 crys B dr /B + dr 0 0 Q p Fil 0 B crys ϕ 1 B crys 0 The proof of these two fundamental results are difficult. Problem 22. (i) Check that t A crys and t p 1 pa crys. Consequently, tp p! A crys. (ii) Show that for any a ker(a crys O Cp ), we have am m! A crys, m 1. Problem 23. Consider the G K -equivariant injection K K0 B crys B dr. Give left hand side the subspace filtration. Show that the induced map on the graded algebras is an isomorphism. Problem 24. Check that A 0 crys is ϕ-stable. (Hint: Calculate ϕ(ξ) and ϕ(ξ n ).) Problem 25. (i) Show that B + crys Fil 0 B crys. (ii) In this exercise, we show B + crys Fil 0 B crys. Consider α = [ε1/p ] 1 [ε 1/p2 ] 1. 1 Show that α B crys, α B crys B + dr, but 1 1 α Fil0 B crys B crys.) + (Hint: To show 1 α B crys, write 1 α = ϕ(α) [ε1/p2 ] 1 [ε] 1 some a A crys.) ϕ(α) B+ dr. (This implies and show that t = ([ε] 1)a for Problem 26. Show that ϕ on B crys does not preserve filtrations. (Hint: Consider ϕ(ξ).) Problem 27. As pointed out in [Col], the topology on B crys is unpleasant. In particular, the subspace topology inherited from B crys is different from the one on
11 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) 11 B + crys. Let ω = ([ε] 1)/([ε 1/p ] 1) and consider ωpn x n = (p n 1)! (i) Show that (x n ) n 0 does not converge to 0 in B + crys. (ii) Show that (ωx n ) n 0 does converge to 0 in B + crys and hence (x n ) n 0 converges to 0 in B crys. Problem 28. A remedy to the topology issue in Problem 27 is to introduce B max. Define { ω n } A max = a n an p n W (O C p ), a n 0 p-adically n=0 and let B max + = A max [ 1 p ] B+ dr, B max = B max[ + 1 t ] B dr. Similar to B crys, the ring B max is equipped with G K -action, ϕ-action, and filtration. (i) Show that B max does not have the issue in Problem 27. (ii) Show that B G K max = K 0. (iii) Show that A ϕ=1 max = Z p. Hence (B max) + ϕ=1 = Q p. (iv) Show that ϕ(b max ) B crys B max. (v) (Hard!) Prove the analogue of Theorem 5.2: The following sequences are exact 0 Q p Bmax ϕ=1 B dr /B + dr 0 0 Q p Fil 0 B max ϕ 1 B max 0 (Hint: To handle the first sequence, first prove the exactness of the following sequence for all i 0: 0 Q p t i (B max ) ϕ=pi B dr /t i B + dr 0. For the second sequence, you need the (nontrvial) fact that ϕ 1 : B max B max is surjective.) 6. Crystalline representations Let MF ϕ K denote the category of triples (D, ϕ D, Fil ) where D is a K 0 -vector space ϕ D : D D is a bijective ϕ-semilinear endomorphism Fil is a filtration on D K = D K0 K such that (D K, Fil ) is an object in Fil K. Objects in MF ϕ K are called filtered ϕ-modules. Consider functor D crys : Rep Qp (G K ) MF ϕ K V ( ) GK V Qp B crys It is always true that dim K0 D crys (V ) dim Qp V. We say V is crystalline if dim K0 D crys (V ) = dim Qp V. The category of crystalline representations is denoted by Rep crys Q p (G K ).
12 12 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) Theorem 6.1. (i) The functor D crys : Rep crys Q p (G K ) MF ϕ K is exact and fully faithful. Moreover, it preserves direct sums, tensor products, subobjects, quotients, and duals. (ii) If V is crystalline, the natural map α crys,v : D crys (V ) K0 B crys V Qp B crys is an isomorphism of filtered ϕ-modules. (iii) If V is crystalline, we can recover V from D crys (V ) by V = Fil 0 (D crys (V ) K0 B crys ) ϕ=1. Theorem 6.2. Crystalline representations are de Rham. Source of crystalline representations: those G K -representations arising from p- adic étale cohomologies of proper smooth varieties over K with good reduction are crystalline. Problem 29. Describe D crys (Q p (n)) explicitly. Problem 30. Let η : G K Q p be a continuous character. Show that Q p (η) is crystalline if and only if there exists n Z such that χ n η is an unramified character. (Hint: Same strategy as Problem 18. Pick b B crys such that 1 b D crys = (Q p (η) B crys ) G K. Show that t n b K un 0 for some n.) Problem 31. Let D be a finite dimensional K 0 -vector space and let ϕ D : D D be an injective ϕ-semilinear morphism. Prove that ϕ D is automatically bijective. Problem 32. Similar to D dr and D crys, we can consider D max : Rep Qp (G K ) MF ϕ K V (V Qp B max ) G K It is always true that dim K0 D max (V ) dim Qp V. We say V is B max -admissible if dim K0 D max (V ) = dim Qp V. Prove that V is B max -admissible if and only if it is crystalline. (Hint: Use Problem 28(iv).) Problem 33. Let V p (E q ) be the representation studied in Problem 19. (i) Is V p (E q ) crystalline? (ii) Describe D crys (V p (E q )) explicitly. Problem 34.(Hard!)
13 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) 13 (i) Can you find an extension 0 Q p (1) V Q p 0 so that V is de Rham but not crystalline? (ii) Show that any extension 0 Q p (n) V Q p 0 for n 2 must be crystalline. (Hint: Such an extension is represented by an element c V H 1 (G K, Q p (n)). Then V is crystalline if and only if c ker(h 1 (G K, Q p (n)) H 1 (G K, Q p (n) Qp B crys )) The problems reduce to calculation of cohomologies.) 7. Period sheaves This section dedicates to our first attempt on relative period rings. We define B dr as a sheaf on the pro-étale site of adic spaces. Let X be a locally noetherian adic space over Spa(Q p, Z p ). The objects in the pro-étale site X proét are inverse systems lim i I U i X where U i Xét and the transition maps U j U i are finite étale surjective. The coverings are the topological ones. For details, the readers are referred to [Sch2]. One important property is that affinoid perfectoid objects in X proét form a basis for the pro-étale topology. Let B denote the collection of such objects. To define a sheaf, we only need to define a presheaf on B. To this end, we first define the period rings on affinoid perfectoids. Let (L, L + ) be a perfectoid field of characteristic 0. For any perfectoid affinoid (L, L + )-algebra (R, R + ), we define A inf (R, R + ) := W (R + ) B inf (R, R + ) := A inf (R, R + )[ 1 p ] B + dr (R, R+ ) := lim B inf (R, R + )/(ker θ) n n where θ : A inf (R, R + ) = W (R + ) R + is defined in the same way as in Section 3. Notice that ξ is a generator of θ (see Problem 35). We define B dr (R, R + ) = B + dr (R, R+ )[ 1 ξ ]. The filtration on B dr is given by Fil i B dr = ξ i B + dr, i Z. Back to the pro-étale site. We define a presheaf F Ainf (resp., F Binf, F B +, F BdR ) dr on B by sending U = Spa(R, R + ) to A inf (R, R + ) (resp., B inf (R, R + ), B + dr (R, R+ ), B dr (R, R + )). Finally, define A inf (resp., B inf, B + dr, B dr) to be the coresponding sheafifications. These period sheaves played a central role in proving a de Rham comparison for rigid analytic varieties [Sch2]. Crystalline analogues are studied in [BMS], [TT]. Following the same spirit, sheaf versions of Robba rings and (ϕ, Γ)-modules are studied in [KL1], [KL2].
14 14 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) Problem 35. For any perfectoid affinoid (L, L + )-algebra (R, R + ), show that the kernel of θ : A inf (R, R + ) R + is a principle ideal generated by some ξ A inf (L, L + ). (Hint: Construct ξ = [p ] + i=1 pi [x i ] for some x i L +.) Problem 36. (i) Show that the presheaf F Ainf on B satisfies sheaf properties. In particular, A inf (U) = A inf (R, R + ), and A inf = W (Ô+ Xproét). (ii) Show that H i (U, A inf ) is almost zero for all i > 0. (iii) Show that H i (U, B + dr ) = 0 for all i > 0. (Hint: One need to know the following facts about the tilted structure sheaf ÔX proét: (1) For any affinoid perfectoid U X proét, we have Ô+ X proét(u) = R +. (2) H i (U, Ô+ X proét) is almost zero for all i > 0. By induction on n, one can get descriptions of W (Ô+ X proét)/p n for all n, as well as their almost vanishing of cohomologies. Then take inverse limit (which commutes with cohomology in this situation by [Sch2, Lemma 3.18]) to conclude the statement about A inf. To deal with B + dr, prove the following sequence is almost exact: This amounts to show H 1 (U, B inf ) = 0. B + dr.) 0 B inf ξ i B inf B inf /(ker θ) i 0 Finally, notice that [p ] is invertible in Problem 37. (i) Construct period sheaves A 0 crys, A crys, B + crys, B crys, B + max, B max on X proét in the same way. Repeat Problem 36(i). (ii) Show that H i (U, A 0 crys) and H i (U, A crys ) are almost zero for all i > 0. (iii) Show that H i (U, B + crys) = 0 for all i > 0. References [BC] O. Brinon, B. Conrad, CMI summer school notes on p-adic Hodge theory [Ber] L. Berger, An introduction to the theory of p-adic representations. Geometric aspects of Dwork theory. Vol. I, II, Walter de Gruyter, Berlin (2004), [BMS] B. Bhatt, M. Morrow, P. Scholze, Integral p-adic Hodge theory. arxiv: [Col] P. Colmez, Théorie d Iwasawa des représentations de de Rham d un corps local. Annals of Mathematics, Vol. 148, No. 2 (1998), [FO] J.-M. Fontaine, Y. Ouyang, Theory of p-adic represenations. Lecture notes. [KL1] K. Kedlaya, R. Liu, Relative p-adic Hodge theory: foundations. Volume 371, Astérisque, Société Mathématique de France, 2015.
15 PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) 15 [KL2] K. Kedlaya, R. Liu, Relative p-adic Hodge theory II: imperfect period rings. arxiv: [Sch1] P. Scholze, Perfectoid spaces, Publ. Math. de l IHÉS, 116(1) (2012), [Sch2] P. Scholze, p-adic Hodge theory for rigid-analytic varieties, Forum of Mathematics, Pi, [Ser] J.-P. Serre, Local fields. Graduate Texts in Mathematics 67, Springer-Verlag, [TT] F. Tan, J. Tong, Crystalline comparison isomorphisms in p-adic Hodge theory: the absolutely unramified case. arxiv:
SPEAKER: JOHN BERGDALL
November 24, 2014 HODGE TATE AND DE RHAM REPRESENTATIONS SPEAKER: JOHN BERGDALL My goal today is to just go over some results regarding Hodge-Tate and de Rham representations. We always let K/Q p be a
More informationProblems on adic spaces and perfectoid spaces
Problems on adic spaces and perfectoid spaces Yoichi Mieda 1 Topological rings and valuations Notation For a valuation v : A Γ {0} on a ring A, we write Γ v for the subgroup of Γ generated by {v(a) a A}
More informationLast week: proétale topology on X, with a map of sites ν : X proét X ét. Sheaves on X proét : O + X = ν O + X ét
INTEGRAL p-adi HODGE THEORY, TALK 3 (RATIONAL p-adi HODGE THEORY I, THE PRIMITIVE OMPARISON THEOREM) RAFFAEL SINGER (NOTES BY JAMES NEWTON) 1. Recap We x /Q p complete and algebraically closed, with tilt
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationPeter Scholze Notes by Tony Feng. This is proved by real analysis, and the main step is to represent de Rham cohomology classes by harmonic forms.
p-adic Hodge Theory Peter Scholze Notes by Tony Feng 1 Classical Hodge Theory Let X be a compact complex manifold. We discuss three properties of classical Hodge theory. Hodge decomposition. Hodge s theorem
More informationLECTURE 1: OVERVIEW. ; Q p ), where Y K
LECTURE 1: OVERVIEW 1. The Cohomology of Algebraic Varieties Let Y be a smooth proper variety defined over a field K of characteristic zero, and let K be an algebraic closure of K. Then one has two different
More informationToric coordinates in relative p-adic Hodge theory
Toric coordinates in relative p-adic Hodge theory Kiran S. Kedlaya in joint work with Ruochuan Liu Department of Mathematics, Massachusetts Institute of Technology Department of Mathematics, University
More informationDieudonné Modules and p-divisible Groups
Dieudonné Modules and p-divisible Groups Brian Lawrence September 26, 2014 The notion of l-adic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous
More informationLECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS. Mark Kisin
LECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS Mark Kisin Lecture 5: Flat deformations (5.1) Flat deformations: Let K/Q p be a finite extension with residue field k. Let W = W (k) and K 0 = FrW. We
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationLECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS
LECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS In this lecture, we study the commutative algebra properties of perfect prisms. These turn out to be equivalent to perfectoid rings, and most of the lecture
More informationLecture 8: The Field B dr
Lecture 8: The Field B dr October 29, 2018 Throughout this lecture, we fix a perfectoid field C of characteristic p, with valuation ring O C. Fix an element π C with 0 < π C < 1, and let B denote the completion
More informationPERFECTOID SPACES: A SURVEY
1 PERFECTOID SPACES: A SURVEY PETER SCHOLZE Abstract. This paper, written in relation to the Current Developments in Mathematics 2012 Conference, discusses the recent papers on perfectoid spaces. Apart
More informationCOURSE NOTES (ROUGH) ON MATH 36501, PERFECTOID SPACES
COURSE NOTES (ROUGH) ON MATH 36501, PERFECTOID SPACES ABSTRACT. Rough notes (to be updated frequently) for my topics course in fall 2018. Comments and corrections are very welcome! 1. INTRODUCTION Let
More informationp-divisible Groups and the Chromatic Filtration
p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This
More informationl-adic Representations
l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll
More information14 Lecture 14: Basic generallities on adic spaces
14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions
More informationTHE MAIN CONSTRUCTION I
THE MAIN CONSTRUCTION I Contents 1. Introduction/ Notation 1 2. Motivation: the Cartier isomorphism 2 3. Definition of the map 3 4. Small algebras and almost purity 3 5. Cohomology of Z d p 5 6. Décalage
More informationp-adic Galois representations and elliptic curves
Abhinandan p-adic Galois representations and elliptic curves Advisor: Prof. Nicola Mazzari Master Thesis, July 2018 Notations N, the set of natural numbers. Z, the set of integers. Q, the set of rational
More informationFrom Crystalline to Unitary Representations
Contemporary Mathematics From Crystalline to Unitary Representations Enno Nagel Abstract. We review for the unacquainted a key construction in the p- adic Langlands program: The functor from the category
More informationINTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES
INTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES VLADIMIR G. BERKOVICH Recall that there is a unique way to define for every comple manifold, every closed analytic one-form ω, and every continuous path
More informationA NOTE ON POTENTIAL DIAGONALIZABILITY OF CRYSTALLINE REPRESENTATIONS
A NOTE ON POTENTIAL DIAGONALIZABILITY OF CRYSTALLINE REPRESENTATIONS HUI GAO, TONG LIU 1 Abstract. Let K 0 /Q p be a finite unramified extension and G K0 denote the Galois group Gal(Q p /K 0 ). We show
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationPerfectoid Spaces and their Applications
Perfectoid Spaces and their Applications Peter Scholze Abstract. We survey the theory of perfectoid spaces and its applications. Mathematics Subject Classification (2010). 14G20, 14C30, 14L05, 14G35, 11F03
More informationIdentification of the graded pieces Kęstutis Česnavičius
Identification of the graded pieces Kęstutis Česnavičius 1. TP for quasiregular semiperfect algebras We fix a prime number p, recall that an F p -algebra R is perfect if its absolute Frobenius endomorphism
More informationDiscussion Session on p-divisible Groups
Discussion Session on p-divisible Groups Notes by Tony Feng April 7, 2016 These are notes from a discussion session of p-divisible groups. Some questions were posed by Dennis Gaitsgory, and then their
More informationSome remarks on Frobenius and Lefschetz in étale cohomology
Some remarks on obenius and Lefschetz in étale cohomology Gabriel Chênevert January 5, 2004 In this lecture I will discuss some more or less related issues revolving around the main idea relating (étale)
More informationIwasawa algebras and duality
Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place
More informationLecture 21: Crystalline cohomology and the de Rham-Witt complex
Lecture 21: Crystalline cohomology and the de Rham-Witt complex Paul VanKoughnett November 12, 2014 As we ve been saying, to understand K3 surfaces in characteristic p, and in particular to rediscover
More informationPerfectoid spaces and their applications
Perfectoid spaces and their applications February 17-21, 2014 Contents 1 Almost ring theory 1 4 1.1 Almost mathematics................................ 4 1.2 Almost commutative algebra...........................
More informationThe absolute de Rham-Witt complex
The absolute de Rham-Witt complex Lars Hesselholt Introduction This note is a brief survey of the absolute de Rham-Witt complex. We explain the structure of this complex for a smooth scheme over a complete
More informationA GEOMETRIC CONSTRUCTION OF SEMISTABLE EXTENSIONS OF CRYSTALLINE REPRESENTATIONS. 1. Introduction
A GEOMETRIC CONSTRUCTION OF SEMISTABLE EXTENSIONS OF CRYSTALLINE REPRESENTATIONS MARTIN OLSSON Abstract. We study unipotent fundamental groups for open varieties over p-adic fields with base point degenerating
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society Grothendieck Messing deformation theory for varieties of K3 type Andreas Langer and Thomas Zink
More informationLocally G-ringed spaces and rigid spaces
18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Rigid analytic spaces (at last!) We are now ready to talk about rigid analytic spaces in earnest. I ll give the
More informationQUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when
More information1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim
Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories
More informationOn Faltings method of almost étale extensions
Proceedings of Symposia in Pure Mathematics On Faltings method of almost étale extensions Martin C. Olsson Contents 1. Introduction 1 2. Almost mathematics and the purity theorem 10 3. Galois cohomology
More informationAdic Spaces. Torsten Wedhorn. June 19, 2012
Adic Spaces Torsten Wedhorn June 19, 2012 This script is highly preliminary and unfinished. It is online only to give the audience of our lecture easy access to it. Therefore usage is at your own risk.
More informationAlgebraic Number Theory Notes: Local Fields
Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological
More informationF -crystalline representation and Kisin module. October 4th, 2015
Bryden Cais University of Arizona Purdue University October 4th, 2015 Basic Settings Let k be a perfect field of characteristic p with ring of Witt vectors W := W (k), write K 0 := W [1/p] and let K /K
More informationForschungsseminar p-adic periods and derived de Rham Cohomology after Beilinson
Forschungsseminar p-adic periods and derived de Rham Cohomology after Beilinson Organizers: Lars Kindler and Kay Rülling Sommersemester 13 Introduction If X is a smooth scheme over the complex numbers,
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD
1 ARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD BELGACEM DRAOUIL Abstract. We study the class field theory of curve defined over two dimensional local field. The approch used here is a combination
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationThe Hodge-Tate decomposition via perfectoid spaces Arizona Winter School Bhargav Bhatt
The Hodge-Tate decomposition via perfectoid spaces Arizona Winter School 2017 Bhargav Bhatt March 9, 2017 Contents 1 Lecture 1: Introduction 2 1.1 Statement and consequences of the Hodge-Tate decomposition................
More informationp-adic ÉTALE COHOMOLOGY AND CRYSTALLINE COHOMOLOGY FOR OPEN VARIETIES
p-adic ÉTALE COHOMOLOGY AND CRYSTALLINE COHOMOLOGY FOR OPEN VARIETIES GO YAMASHITA This text is a report of a talk p-adic étale cohomology and crystalline cohomology for open varieties in a symposium at
More informationA Dieudonné Theory for p-divisible Groups
A Dieudonné Theory for p-divisible Groups Thomas Zink 1 Introduction Let k be a perfect field of characteristic p > 0. We denote by W (k) the ring of Witt vectors. Let us denote by ξ F ξ, ξ W (k) the Frobenius
More informationNew methods for (ϕ, Γ) modules
DOI 10.1186/s40687-015-0031-z RESEARCH Open Access New methods for (ϕ, Γ) modules iran S edlaya * *Correspondence: kedlaya@ucsd.edu Department of Mathematics, University of California San Diego, 9500 Gilman
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
More informationFiniteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi
Hokkaido Mathematical Journal ol. 45 (2016) p. 271 291 Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves uichiro Hoshi (Received February 28, 2014; Revised June 12, 2014) Abstract.
More informationp-adic HODGE THEORY FOR RIGID-ANALYTIC VARIETIES
p-adic HODGE THEORY FOR RIGID-ANALYTIC VARIETIES PETER SCHOLZE Abstract. We give proofs of de Rham comparison isomorphisms for rigid-analytic varieties, with coefficients and in families. This relies on
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationAWS 2018, Problem Session (Algebraic aspects of Iwasawa theory)
AWS 2018, Problem Session (Algebraic aspects of Iwasawa theory) Kâzım Büyükboduk March 3-7, 2018 Contents 1 Commutative Algebra 1 2 Classical Iwasawa Theory (of Tate motives) 2 3 Galois cohomology and
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationNon characteristic finiteness theorems in crystalline cohomology
Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015
More information1 Existence of the Néron model
Néron models Setting: S a Dedekind domain, K its field of fractions, A/K an abelian variety. A model of A/S is a flat, separable S-scheme of finite type X with X K = A. The nicest possible model over S
More informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
More informationTheory of p-adic Galois Representations
Jean-Marc Fontaine and Yi Ouyang Theory of p-adic Galois Representations Springer Contents 0 Preliminary................................................ 1 0.1 Inverse limits and Galois theory...........................
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More informationCalculating deformation rings
Calculating deformation rings Rebecca Bellovin 1 Introduction We are interested in computing local deformation rings away from p. That is, if L is a finite extension of Q l and is a 2-dimensional representation
More informationAlgebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0
1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationDraft: February 26, 2010 ORDINARY PARTS OF ADMISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE GROUPS I. DEFINITION AND FIRST PROPERTIES
Draft: February 26, 2010 ORDINARY PARTS OF ADISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE ROUPS I. DEFINITION AND FIRST PROPERTIES ATTHEW EERTON Contents 1. Introduction 1 2. Representations of p-adic analytic
More informationPeriod maps, variations of p-adic Hodge structure, and Newton stratifications (research announcement)
Period maps, variations of p-adic Hodge structure, and Newton stratifications (research announcement) David Hansen January 28, 2016 1 Let X be a connected complex manifold, and let H =(H Z, Fil H Z Z O
More informationAdic Spaces. 1 Huber rings. Notes by Tony Feng for a talk by Torsten Wedhorn. April 4, 2016
Adic Spaces Notes by ony Feng for a talk by orsten Wedhorn April 4, 2016 1 Huber rings he basic building blocks of adic spaces are Huber rings. Definition 1.1. A Huber ring is a topological ring A, such
More information5. Kato s higher local class field theory
ISSN 1464-8997 (on line) 1464-8989 (printed) 53 Geometry & Topology Monographs Volume 3: Invitation to higher local fields Part I, section 5, pages 53 60 5. Kato s higher local class field theory Masato
More informationarxiv: v1 [math.nt] 8 May 2018
ALMOST C p GALOIS REPRESENTATIONS AND VECTOR BUNDLES JEAN-MARC FONTAINE arxiv:1805.02905v1 [math.nt] 8 May 2018 Abstract: Let K be a finite extension of Q p and G K the absolute Galois group. Then G K
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationFROM CHABAUTY S METHOD TO KIM S NON-ABELIAN CHABAUTY S METHOD
FROM CHABAUTY S METHOD TO KIM S NON-ABELIAN CHABAUTY S METHOD DAVID CORWIN Contents Notation 2 1. Classical Chabauty-Coleman-Skolem 2 1.1. Chabauty s Method 2 1.2. Non-Proper Curves and Siegel s Theorem
More informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More information1 Moduli spaces of polarized Hodge structures.
1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an
More informationAppendix by Brian Conrad: The Shimura construction in weight 2
CHAPTER 5 Appendix by Brian Conrad: The Shimura construction in weight 2 The purpose of this appendix is to explain the ideas of Eichler-Shimura for constructing the two-dimensional -adic representations
More informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
More informationHomotopy types of algebraic varieties
Homotopy types of algebraic varieties Bertrand Toën These are the notes of my talk given at the conference Theory of motives, homotopy theory of varieties, and dessins d enfants, Palo Alto, April 23-26,
More informationTHE MONODROMY-WEIGHT CONJECTURE
THE MONODROMY-WEIGHT CONJECTURE DONU ARAPURA Deligne [D1] formulated his conjecture in 1970, simultaneously in the l-adic and Hodge theoretic settings. The Hodge theoretic statement, amounted to the existence
More informationwhere Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
More informationTHE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS
THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS DANIEL LITT Let us fix the following notation: 1. Notation and Introduction K is a number field; L is a CM field with totally real subfield L + ; (A,
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationJournal of Pure and Applied Algebra
Journal of Pure and Applied Algebra 216 (2012) 1235 1244 Contents lists available at SciVerse ScienceDirect Journal of Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa On a theorem
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationDraft: July 15, 2007 ORDINARY PARTS OF ADMISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE GROUPS I. DEFINITION AND FIRST PROPERTIES
Draft: July 15, 2007 ORDINARY PARTS OF ADISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE ROUPS I. DEFINITION AND FIRST PROPERTIES ATTHEW EERTON Contents 1. Introduction 1 2. Representations of p-adic analytic
More informationDRINFELD LEVEL STRUCTURES AND LUBIN-TATE SPACES. Przemysªaw Chojecki
DRINFELD LEVEL STRUCTURES AND LUBIN-TATE SPACES Przemysªaw Chojecki Le but principal de cet exposé est de demontrer la regularité des anneaux representants les foncteurs des deformations des groupes formels
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationProof of the Shafarevich conjecture
Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel
More informationA QUOTIENT OF THE LUBIN TATE TOWER
A QUOTIENT OF THE LUBIN TATE TOWER JUDITH LUDWIG Abstract. In this article we show that the quotient M /B(Q p) of the Lubin Tate space at infinite level M by the Borel subgroup of upper triangular matrices
More informationTOWARDS A p-adic LANGLANDS PROGRAMME. Laurent Berger & Christophe Breuil
TOWARDS A p-adic LANGLANDS PROGRAMME by Laurent Berger & Christophe Breuil WARNING: These notes are informal and we apologize for the inaccuracies, flaws and English mistakes that they surely contain.
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationA Note on Dormant Opers of Rank p 1 in Characteristic p
A Note on Dormant Opers of Rank p 1 in Characteristic p Yuichiro Hoshi May 2017 Abstract. In the present paper, we prove that the set of equivalence classes of dormant opers of rank p 1 over a projective
More informationp-adic Modular Forms: Serre, Katz, Coleman, Kassaei
p-adic Modular Forms: Serre, Katz, Coleman, Kassaei Nadim Rustom University of Copenhagen June 17, 2013 1 Serre p-adic modular forms Formes modulaires et fonctions zêta p-adiques, Modular Functions of
More informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More informationPART II.1. IND-COHERENT SHEAVES ON SCHEMES
PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image
More informationOn a question of Pink and Roessler
On a question of Pink and Roessler Hélène Esnault and Arthur Ogus August 12, 2006 1 Questions Let k be a noetherian ring and let X/k be a smooth projective k-scheme. Let L be an invertible sheaf on X For
More informationREVISITING THE DE RHAM-WITT COMPLEX
REVISITING THE DE RHAM-WITT COMPLEX BHARGAV BHATT, JACOB LURIE, AND AKHIL MATHEW Abstract. The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS
Hoshi, Y. Osaka J. Math. 52 (205), 647 675 ON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS YUICHIRO HOSHI (Received May 28, 203, revised March
More information