Arithmetic of certain integrable systems. University of Chicago & Vietnam Institute for Advanced Study in Mathematics
|
|
- Darren Norton
- 5 years ago
- Views:
Transcription
1 Arithmetic of certain integrable systems Ngô Bao Châu University of Chicago & Vietnam Institute for Advanced Study in Mathematics
2 System of congruence equations Let us consider a system of congruence equations P 1 (x 1,..., x n ) = 0 P m (x 1,..., x n ) = 0
3 System of congruence equations Let us consider a system of congruence equations P 1 (x 1,..., x n ) = 0 P m (x 1,..., x n ) = 0 where P 1,..., P m F p [x 1,..., x n ] are polynomial with coefficients in F p = Z/pZ.
4 System of congruence equations Let us consider a system of congruence equations P 1 (x 1,..., x n ) = 0 P m (x 1,..., x n ) = 0 where P 1,..., P m F p [x 1,..., x n ] are polynomial with coefficients in F p = Z/pZ. We are interested in the number of solutions of this system with in F p, and more generally in F p r where F p r is the finite extension of degree r of F p.
5 Valued points of algebraic variety If we denote X = SpecF p [x 1,..., x n ]/(P 1,..., P m ), the algebraic variety defined by the system of equations P 1 = 0,..., P m = 0, then X (F r p) is the set of solutions with values in F p r.
6 Valued points of algebraic variety If we denote X = SpecF p [x 1,..., x n ]/(P 1,..., P m ), the algebraic variety defined by the system of equations P 1 = 0,..., P m = 0, then X (F r p) is the set of solutions with values in F p r. Let X ( F p ) = r N X (F p r ) be the set of points with values in the algebraic closure F p of F p
7 Valued points of algebraic variety If we denote X = SpecF p [x 1,..., x n ]/(P 1,..., P m ), the algebraic variety defined by the system of equations P 1 = 0,..., P m = 0, then X (F r p) is the set of solutions with values in F p r. Let X ( F p ) = r N X (F pr ) be the set of points with values in the algebraic closure F p of F p The Galois group Gal( F p /F p ) acts on X ( F p ). It is generated by the Frobenius element σ(x) = x p, and Fix(σ r, X ( F p )) = X (F p r ).
8 Grothendieck-Lefschetz formula For a prime number l p, Grothendieck defined the groups of l-adic cohomology of X H i (X ) = H i (X Fp F p, Q l ) and H i c = H i c(x Fp F p, Q l ) for every algebraic variety X over F p
9 Grothendieck-Lefschetz formula For a prime number l p, Grothendieck defined the groups of l-adic cohomology of X H i (X ) = H i (X Fp F p, Q l ) and H i c = H i c(x Fp F p, Q l ) for every algebraic variety X over F p and proved the Lefschetz fixed points formula #Fix(σ r p, X ( F p )) = 2 dim(x ) i=0 ( 1) i tr(σ r p, H i c(x )).
10 Grothendieck-Lefschetz formula For a prime number l p, Grothendieck defined the groups of l-adic cohomology of X H i (X ) = H i (X Fp F p, Q l ) and H i c = H i c(x Fp F p, Q l ) for every algebraic variety X over F p and proved the Lefschetz fixed points formula #Fix(σ r p, X ( F p )) = 2 dim(x ) i=0 ( 1) i tr(σ r p, H i c(x )). Deligne proved that for every field isomorphism ι : Q l C, the inequality ι(α) p i/2 for all eigenvalues α of σ acting on H i c(x ).
11 Equality of numbers of points We will be concerned with proving equality of type #X (F p r ) = #X (F p r ) for different algebraic varieties.
12 Equality of numbers of points We will be concerned with proving equality of type #X (F p r ) = #X (F p r ) for different algebraic varieties. We would like to develop a principle of analytic continuation of equalities : Let f : X Y and f : X Y be morphisms of algebraic varieties. If the equality #X y (F q r ) = #X y (F q r ) holds for every point y in a dense open subset U of Y, then it holds for every y Y.
13 Equality of numbers of points We will be concerned with proving equality of type #X (F p r ) = #X (F p r ) for different algebraic varieties. We would like to develop a principle of analytic continuation of equalities : Let f : X Y and f : X Y be morphisms of algebraic varieties. If the equality #X y (F q r ) = #X y (F q r ) holds for every point y in a dense open subset U of Y, then it holds for every y Y. This can t be true in general. The question is to find geometric assumptions on f and f that guarantee this principle.
14 Equality of numbers of points We will be concerned with proving equality of type #X (F p r ) = #X (F p r ) for different algebraic varieties. We would like to develop a principle of analytic continuation of equalities : Let f : X Y and f : X Y be morphisms of algebraic varieties. If the equality #X y (F q r ) = #X y (F q r ) holds for every point y in a dense open subset U of Y, then it holds for every y Y. This can t be true in general. The question is to find geometric assumptions on f and f that guarantee this principle. The complex of l-adic sheaves f! Q l interpolates all cohomology group with compact support H i c(x y ) H i (f! Q l ) y = H i c(x y ) for all geometric points y Y. Geometric assumption on f give constraint on the copmlex f! Q l.
15 The case of proper and smooth morphisms Let f : X Y and f : X Y be proper and smooth morphisms. Assume that there exists an dense open subset U of Y, such that for all y U(F q r ), #X y (F q r ) = #X y (F q r ).
16 The case of proper and smooth morphisms Let f : X Y and f : X Y be proper and smooth morphisms. Assume that there exists an dense open subset U of Y, such that for all y U(F q r ), #X y (F q r ) = #X y (F q r ). If f : X Y and f : X Y are proper and smooth morphisms then H i (f! Q l ) and H i (f! Q l) are l-adic local systems for every i Z.
17 The case of proper and smooth morphisms Let f : X Y and f : X Y be proper and smooth morphisms. Assume that there exists an dense open subset U of Y, such that for all y U(F q r ), #X y (F q r ) = #X y (F q r ). If f : X Y and f : X Y are proper and smooth morphisms then H i (f! Q l ) and H i (f! Q l) are l-adic local systems for every i Z. Deligne s theorem implies that tr(σ y, H i c(x y )) = tr(σ y, H i c(x y )).
18 The case of proper and smooth morphisms Let f : X Y and f : X Y be proper and smooth morphisms. Assume that there exists an dense open subset U of Y, such that for all y U(F q r ), #X y (F q r ) = #X y (F q r ). If f : X Y and f : X Y are proper and smooth morphisms then H i (f! Q l ) and H i (f! Q l) are l-adic local systems for every i Z. Deligne s theorem implies that tr(σ y, H i c(x y )) = tr(σ y, H i c(x y )). The Chebotarev density theorem implies that the l-adic local systems H i (f! Q l ) and H i (f! Q l) are isomorphic.
19 The case of proper and smooth morphisms Let f : X Y and f : X Y be proper and smooth morphisms. Assume that there exists an dense open subset U of Y, such that for all y U(F q r ), #X y (F q r ) = #X y (F q r ). If f : X Y and f : X Y are proper and smooth morphisms then H i (f! Q l ) and H i (f! Q l) are l-adic local systems for every i Z. Deligne s theorem implies that tr(σ y, H i c(x y )) = tr(σ y, H i c(x y )). The Chebotarev density theorem implies that the l-adic local systems H i (f! Q l ) and H i (f! Q l) are isomorphic. A local system is determined by its restriction to any dense open subset.
20 Singularities To obtain interesting cases, one has to drop the smoothness assumption.
21 Singularities To obtain interesting cases, one has to drop the smoothness assumption. Goresky-MacPherson s theory of perverse sheaves is very efficient in dealing with singularities of algebraic maps.
22 Singularities To obtain interesting cases, one has to drop the smoothness assumption. Goresky-MacPherson s theory of perverse sheaves is very efficient in dealing with singularities of algebraic maps. For every algebraic variety Y, the category P(Y ) of perverse sheaves of Y is an abelian categories. For every morphism f : X Y, one can define perverse cohomology p H i (f! Q l ) P(Y ) in similar way as usual cohomology H i (f! Q l ) are usual l-adic sheaves.
23 Purity and semi-simplicity Let f : X Y be a proper morphism where X is a smooth variety. Then according to Deligne, f! Q l is a pure complex of sheaves.
24 Purity and semi-simplicity Let f : X Y be a proper morphism where X is a smooth variety. Then according to Deligne, f! Q l is a pure complex of sheaves. As important consequence of Deligne s purity theorem, Beilinson, Bernstein, Deligne and Gabber proved that after base change to Y F p, p H i (f! Q l ) is a direct sum of simple perverse sheaves.
25 Purity and semi-simplicity Let f : X Y be a proper morphism where X is a smooth variety. Then according to Deligne, f! Q l is a pure complex of sheaves. As important consequence of Deligne s purity theorem, Beilinson, Bernstein, Deligne and Gabber proved that after base change to Y F p, p H i (f! Q l ) is a direct sum of simple perverse sheaves. There exists over Y F p a decomposition in direct sum f! Q l = α A K α [n α ] where K α are simple perverse sheaves and n α Z.
26 Simple perverse sheaves Let i : Z Y Fp F p be the immersion of an irreducible closed irreducible subscheme. Let j : U Z be the immersion of a nonempty open subscheme. Let L be an irreducible local system on U, then K = i j! L[dim Z] is a simple perverse sheaf on Y Fp F p.
27 Simple perverse sheaves Let i : Z Y Fp F p be the immersion of an irreducible closed irreducible subscheme. Let j : U Z be the immersion of a nonempty open subscheme. Let L be an irreducible local system on U, then K = i j! L[dim Z] is a simple perverse sheaf on Y Fp F p. According to Goresky and MacPherson, every simple perverse sheaf is of this form.
28 Simple perverse sheaves Let i : Z Y Fp F p be the immersion of an irreducible closed irreducible subscheme. Let j : U Z be the immersion of a nonempty open subscheme. Let L be an irreducible local system on U, then K = i j! L[dim Z] is a simple perverse sheaf on Y Fp F p. According to Goresky and MacPherson, every simple perverse sheaf is of this form. The definition of the intermediate extension functot j! is complicated. For us, what really matters is that the perverse sheaf is completely determined by the local system L, more generally, it is determined by the restriction of L to any nonempty open subscheme of U.
29 Support If K is a simple perverse sheaf on Y F p, it is of the form K = i j! L[dim Z]. In particular, supp(k) := Z is completely determined.
30 Support If K is a simple perverse sheaf on Y F p, it is of the form K = i j! L[dim Z]. In particular, supp(k) := Z is completely determined. Let f : X Y be a proper morphism where X is a smooth variety. then, f! Q l can be decomposed into a direct sum f! Q l = α A K α [n α ] of simple perverse sheaves. The finite set supp(f ) = {Z α Z α = supp(k α )} is well determined. This is an important topological invariant of f.
31 Only full support Let f : X Y and f : X Y be proper morphisms with X, X smooth varieties. If supp(f ) = supp(f ) = {Y }, then the analytic continuation principle applies as f! Q l and f! Q l are determined by their restrictions to any nonempty open subset.
32 Only full support Let f : X Y and f : X Y be proper morphisms with X, X smooth varieties. If supp(f ) = supp(f ) = {Y }, then the analytic continuation principle applies as f! Q l and f! Q l are determined by their restrictions to any nonempty open subset. This is true if f and f are proper and smooth.
33 Only full support Let f : X Y and f : X Y be proper morphisms with X, X smooth varieties. If supp(f ) = supp(f ) = {Y }, then the analytic continuation principle applies as f! Q l and f! Q l are determined by their restrictions to any nonempty open subset. This is true if f and f are proper and smooth. Are there more interesting cases?
34 Small map f : X Y is small in the sense of Goresky and MacPherson if dim(x Y X X ) < dim(x ).
35 Small map f : X Y is small in the sense of Goresky and MacPherson if dim(x Y X X ) < dim(x ). Goresky and MacPherson proved that if f : X Y is a small proper map and if X is smooth, then f! Q l is a perverse sheaf which is the intermediate extension of its restriction to any dense open subset.
36 Small map f : X Y is small in the sense of Goresky and MacPherson if dim(x Y X X ) < dim(x ). Goresky and MacPherson proved that if f : X Y is a small proper map and if X is smooth, then f! Q l is a perverse sheaf which is the intermediate extension of its restriction to any dense open subset. In particular supp(f ) = {Y }
37 Small map f : X Y is small in the sense of Goresky and MacPherson if dim(x Y X X ) < dim(x ). Goresky and MacPherson proved that if f : X Y is a small proper map and if X is smooth, then f! Q l is a perverse sheaf which is the intermediate extension of its restriction to any dense open subset. In particular supp(f ) = {Y } Argument: play the Poincaré duality against the cohomological amplitude.
38 Relative curve Let f : X Y be a relative curve such that X is smooth, f is proper, for generic y Y, X y is smooth and for every y Y, X y is irreducible.
39 Relative curve Let f : X Y be a relative curve such that X is smooth, f is proper, for generic y Y, X y is smooth and for every y Y, X y is irreducible. Then according to Goresky and MacPherson, supp(f ) = {Y }.
40 Relative curve Let f : X Y be a relative curve such that X is smooth, f is proper, for generic y Y, X y is smooth and for every y Y, X y is irreducible. Then according to Goresky and MacPherson, supp(f ) = {Y }. Argument: play the Poincaré duality against the cohomological amplitude.
41 Poincaré duality versus cohomological amplitude Assume for simplicity dim(x ) = 2 and dim(y ) = 1.
42 Poincaré duality versus cohomological amplitude Assume for simplicity dim(x ) = 2 and dim(y ) = 1. The cohomological amplitude of a relative curve: H i (f! Q l [2]) = 0 for i / { 2, 1, 0}
43 Poincaré duality versus cohomological amplitude Assume for simplicity dim(x ) = 2 and dim(y ) = 1. The cohomological amplitude of a relative curve: H i (f! Q l [2]) = 0 for i / { 2, 1, 0} Assume there exists a simple perverse sheaf K α such that K α [n α ] is a direct factor of f! Q l [ 2] and dim(z α ) = 0 where Z α = supp(k α ).
44 Poincaré duality versus cohomological amplitude Assume for simplicity dim(x ) = 2 and dim(y ) = 1. The cohomological amplitude of a relative curve: H i (f! Q l [2]) = 0 for i / { 2, 1, 0} Assume there exists a simple perverse sheaf K α such that K α [n α ] is a direct factor of f! Q l [ 2] and dim(z α ) = 0 where Z α = supp(k α ). H 0 (K α ) 0, the cohomological amplitude implies that n α 0.
45 Poincaré duality versus cohomological amplitude Assume for simplicity dim(x ) = 2 and dim(y ) = 1. The cohomological amplitude of a relative curve: H i (f! Q l [2]) = 0 for i / { 2, 1, 0} Assume there exists a simple perverse sheaf K α such that K α [n α ] is a direct factor of f! Q l [ 2] and dim(z α ) = 0 where Z α = supp(k α ). H 0 (K α ) 0, the cohomological amplitude implies that n α 0. By Poincaré duality K α [ n α ] is also a direct factor of f! Q l [2] where supp(k α ) = supp(k α ). It follows that n α 0.
46 Poincaré duality versus cohomological amplitude Assume for simplicity dim(x ) = 2 and dim(y ) = 1. The cohomological amplitude of a relative curve: H i (f! Q l [2]) = 0 for i / { 2, 1, 0} Assume there exists a simple perverse sheaf K α such that K α [n α ] is a direct factor of f! Q l [ 2] and dim(z α ) = 0 where Z α = supp(k α ). H 0 (K α ) 0, the cohomological amplitude implies that n α 0. By Poincaré duality K α [ n α ] is also a direct factor of f! Q l [2] where supp(k α ) = supp(k α ). It follows that n α 0. It follows that n α = 0. But then H 0 (K α ) is a direct factor of H 2 (f! Q l ) = Q l ( 1). This is not possible.
47 Goresky-MacPherson s inequality Let f : X Y be a proper morphism with fiber of dimension d. Assume X smooth. Let Z supp(f ) be the support of a perverse direct factor of f! Q l.
48 Goresky-MacPherson s inequality Let f : X Y be a proper morphism with fiber of dimension d. Assume X smooth. Let Z supp(f ) be the support of a perverse direct factor of f! Q l. Then codim(z) d.
49 Goresky-MacPherson s inequality Let f : X Y be a proper morphism with fiber of dimension d. Assume X smooth. Let Z supp(f ) be the support of a perverse direct factor of f! Q l. Then codim(z) d. Moreover, if the geometric fibers of f are irreducible, then codim(z) < d.
50 Goresky-MacPherson s inequality Let f : X Y be a proper morphism with fiber of dimension d. Assume X smooth. Let Z supp(f ) be the support of a perverse direct factor of f! Q l. Then codim(z) d. Moreover, if the geometric fibers of f are irreducible, then codim(z) < d. For abelian fibration, Goresky-MacPherson s inequality can be used to establish the full support theorem.
51 Weak abelian fibration f : M S is a proper morphism, g : P S is a smooth commutative group scheme, both of relative dimension d,
52 Weak abelian fibration f : M S is a proper morphism, g : P S is a smooth commutative group scheme, both of relative dimension d, P acts on M relatively over S.
53 Weak abelian fibration f : M S is a proper morphism, g : P S is a smooth commutative group scheme, both of relative dimension d, P acts on M relatively over S. We assume that the action has affine stabilizers: for every geometric point s S, for every m M s, the stabilizer P m is affine.
54 Weak abelian fibration f : M S is a proper morphism, g : P S is a smooth commutative group scheme, both of relative dimension d, P acts on M relatively over S. We assume that the action has affine stabilizers: for every geometric point s S, for every m M s, the stabilizer P m is affine. We assume that the Tate modules of P is polarizable.
55 Tate module in family Assume P has connected fibers, for every geometric point s S, there exists a canonical exact sequence 0 R s P s A s 0 where A s is an abelian variety and R s is a connected affine group. This induces an exact sequence of Tate modules 0 T Ql (R s ) T Ql (P s ) T Ql (A s ) 0.
56 Tate module in family Assume P has connected fibers, for every geometric point s S, there exists a canonical exact sequence 0 R s P s A s 0 where A s is an abelian variety and R s is a connected affine group. This induces an exact sequence of Tate modules 0 T Ql (R s ) T Ql (P s ) T Ql (A s ) 0. The Tate modules can be interpolated into a single l-adic sheaf H 1 (P/S) = H 2d 1 (g! Q l ) with fiber H 1 (P/S) s = T Ql (P s ). Polarization of the Tate module of P is an alternating form on H 1 (P/S) vanishing on T Ql (R s ) and induces a perfect pairing on T Ql (A s ).
57 δ-regularity For every geometric point s S, we define δ(s) = dim(r s ) the dimension of the affine part of P s.
58 δ-regularity For every geometric point s S, we define δ(s) = dim(r s ) the dimension of the affine part of P s. For every δ N, is locally closed. S δ = {s S δ(s) = δ}
59 δ-regularity For every geometric point s S, we define δ(s) = dim(r s ) the dimension of the affine part of P s. For every δ N, is locally closed. S δ = {s S δ(s) = δ} P S is said to be δ-regular if codim(s δ ) δ for every δ N.
60 δ-regularity For every geometric point s S, we define δ(s) = dim(r s ) the dimension of the affine part of P s. For every δ N, is locally closed. S δ = {s S δ(s) = δ} P S is said to be δ-regular if codim(s δ ) δ for every δ N. In particular, for δ = 1, the δ-regularity means P is generically an abelian variety.
61 δ-regularity For every geometric point s S, we define δ(s) = dim(r s ) the dimension of the affine part of P s. For every δ N, is locally closed. S δ = {s S δ(s) = δ} P S is said to be δ-regular if codim(s δ ) δ for every δ N. In particular, for δ = 1, the δ-regularity means P is generically an abelian variety. One can prove δ-regularity for all Hamiltonian completely integrable system.
62 δ-regularity For every geometric point s S, we define δ(s) = dim(r s ) the dimension of the affine part of P s. For every δ N, is locally closed. S δ = {s S δ(s) = δ} P S is said to be δ-regular if codim(s δ ) δ for every δ N. In particular, for δ = 1, the δ-regularity means P is generically an abelian variety. One can prove δ-regularity for all Hamiltonian completely integrable system. δ-regularity is harder to prove in characteristic p.
63 Theorem of support for abelian fibration Theorem: Let (f : M S, g : P S) be a δ-regular abelian fibration. Assume that M is smooth, the fibers of f : M S are irreducible. Then supp(f ) = {S}.
64 Theorem of support for abelian fibration Theorem: Let (f : M S, g : P S) be a δ-regular abelian fibration. Assume that M is smooth, the fibers of f : M S are irreducible. Then supp(f ) = {S}. Corollary: Let (P, M, S) and (P, M, S) be δ-regular abelian fibrations as above (in particular, M s and M s are irreducible). If the generic fibers of P and P are isogenous abelian varieties, then for every s S(F q ), #M s (F q ) = #M s(f q ).
65 Theorem of support for abelian fibration Theorem: Let (f : M S, g : P S) be a δ-regular abelian fibration. Assume that M is smooth, the fibers of f : M S are irreducible. Then supp(f ) = {S}. Corollary: Let (P, M, S) and (P, M, S) be δ-regular abelian fibrations as above (in particular, M s and M s are irreducible). If the generic fibers of P and P are isogenous abelian varieties, then for every s S(F q ), #M s (F q ) = #M s(f q ). Remark: In practice, one has to drop the condition M s irreducible and P s connected. In these cases, the formulations of the support theorem and the numerical equality are more complicated.
66 Theorem of support for abelian fibration Theorem: Let (f : M S, g : P S) be a δ-regular abelian fibration. Assume that M is smooth, the fibers of f : M S are irreducible. Then supp(f ) = {S}. Corollary: Let (P, M, S) and (P, M, S) be δ-regular abelian fibrations as above (in particular, M s and M s are irreducible). If the generic fibers of P and P are isogenous abelian varieties, then for every s S(F q ), #M s (F q ) = #M s(f q ). Remark: In practice, one has to drop the condition M s irreducible and P s connected. In these cases, the formulations of the support theorem and the numerical equality are more complicated. This theorem is the key geometric ingredient in the proof of Langlands fundamental lemma.
67 Upper bound on codimension For every closed irreducible subscheme Z of S, we set δ Z = min s S δ(s).
68 Upper bound on codimension For every closed irreducible subscheme Z of S, we set δ Z = min s S δ(s). We prove that if Z supp(f ), then codim(z) δ Z and if the geometric fibers of f : M S are irreducible then codim(z) < δ Z unless Z = S.
69 Upper bound on codimension For every closed irreducible subscheme Z of S, we set δ Z = min s S δ(s). We prove that if Z supp(f ), then codim(z) δ Z and if the geometric fibers of f : M S are irreducible then codim(z) < δ Z unless Z = S. By the δ-regularity, we have the inequality codim(z) δ Z. The only possibility is Z = S.
70 Topological explanation Let s Z such that δ(s) = δ Z.
71 Topological explanation Let s Z such that δ(s) = δ Z. Assume there is a splitting A s P S of the Chevalley exact sequence 0 R s P s A s 0
72 Topological explanation Let s Z such that δ(s) = δ Z. Assume there is a splitting A s P S of the Chevalley exact sequence 0 R s P s A s 0 Assume there exists an étale neighborhood S of s, an abelian scheme A S of special fiber A s, and a homormorphism A P extending the splitting A s P s.
73 Topological explanation Let s Z such that δ(s) = δ Z. Assume there is a splitting A s P S of the Chevalley exact sequence 0 R s P s A s 0 Assume there exists an étale neighborhood S of s, an abelian scheme A S of special fiber A s, and a homormorphism A P extending the splitting A s P s. Then over S, A acts almost freely on M and on can factorize M S as M [M /A ] S where the morphism M [M /A ] is proper and smooth, and the morphism [M /A ] S is of relative dimension δ s. Thus our inequality can be reduced to the Goresky-MacPherson inequality.
74 Implement the argument The assumptions are not satisfied in general. The generic fiber of P is usually an irreducible abelian variety and does not admit a factor of smaller dimension i.e the lifting A P can t exist.
75 Implement the argument The assumptions are not satisfied in general. The generic fiber of P is usually an irreducible abelian variety and does not admit a factor of smaller dimension i.e the lifting A P can t exist. To overcome this difficulty, one need to reformulate the above argument in terms of homological algebra instead of topology.
DECOMPOSITION THEOREM AND ABELIAN FIBRATION
DECOMPOSITION THEOREM AND ABELIAN FIBRATION NGÔ BAO CHÂU The text is the account of a talk given in Bonn in a conference in honour of M. Rapoport. We will review the proof of the support theorem which
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 informationFundamental Lemma and Hitchin Fibration
Fundamental Lemma and Hitchin Fibration Gérard Laumon CNRS and Université Paris-Sud May 13, 2009 Introduction In this talk I shall mainly report on Ngô Bao Châu s proof of the Langlands-Shelstad Fundamental
More informationPURITY FOR INTERSECTION COHOMOLOGY AFTER DELIGNE-GABBER
PURITY FOR INTERSECTION COHOMOLOGY AFTER DELIGNE-GABBER D. ARAPURA These notes are my translation and slight expansion of Deligne s unpublished paper Pureté de la cohomologie de MacPherson-Goresky where
More informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
More informationCohomological Formulation (Lecture 3)
Cohomological Formulation (Lecture 3) February 5, 204 Let F q be a finite field with q elements, let X be an algebraic curve over F q, and let be a smooth affine group scheme over X with connected fibers.
More informationWeil Conjectures (Deligne s Purity Theorem)
Weil Conjectures (Deligne s Purity Theorem) David Sherman, Ka Yu Tam June 7, 2017 Let κ = F q be a finite field of characteristic p > 0, and k be a fixed algebraic closure of κ. We fix a prime l p, and
More informationREPORT ON THE FUNDAMENTAL LEMMA
REPORT ON THE FUNDAMENTAL LEMMA NGÔ BAO CHÂU This is a report on the recent proof of the fundamental lemma. The fundamental lemma and the related transfer conjecture were formulated by R. Langlands in
More informationNotes on Green functions
Notes on Green functions Jean Michel University Paris VII AIM, 4th June, 2007 Jean Michel (University Paris VII) Notes on Green functions AIM, 4th June, 2007 1 / 15 We consider a reductive group G over
More informationIC of subvarieties. Logarithmic perversity. Hyperplane complements.
12. Lecture 12: Examples of perverse sheaves 12.1. IC of subvarieties. As above we consider the middle perversity m and a Whitney stratified space of dimension n with even dimensional strata. Let Y denote
More information6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not
6. Lecture 6 6.1. cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not only motivic cohomology, but also to Morel-Voevodsky
More informationWild ramification and the characteristic cycle of an l-adic sheaf
Wild ramification and the characteristic cycle of an l-adic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationOdds and ends on equivariant cohomology and traces
Odds and ends on equivariant cohomology and traces Weizhe Zheng Columbia University International Congress of Chinese Mathematicians Tsinghua University, Beijing December 18, 2010 Joint work with Luc Illusie.
More information8 Perverse Sheaves. 8.1 Theory of perverse sheaves
8 Perverse Sheaves In this chapter we will give a self-contained account of the theory of perverse sheaves and intersection cohomology groups assuming the basic notions concerning constructible sheaves
More information16.2. Definition. Let N be the set of all nilpotent elements in g. Define N
74 16. Lecture 16: Springer Representations 16.1. The flag manifold. Let G = SL n (C). It acts transitively on the set F of complete flags 0 F 1 F n 1 C n and the stabilizer of the standard flag is the
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 informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
More informationGEOMETRIC CLASS FIELD THEORY I
GEOMETRIC CLASS FIELD THEORY I TONY FENG 1. Classical class field theory 1.1. The Artin map. Let s start off by reviewing the classical origins of class field theory. The motivating problem is basically
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 informationA p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1
A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationNOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE
NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE GUFANG ZHAO Contents 1. Introduction 1 2. What is a Procesi bundle 2 3. Derived equivalences from exceptional objects 4 4. Splitting of the
More informationLecture 3: Flat Morphisms
Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a
More informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
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 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 informationOn the geometric Langlands duality
On the geometric Langlands duality Peter Fiebig Emmy Noether Zentrum Universität Erlangen Nürnberg Schwerpunkttagung Bad Honnef April 2010 Outline This lecture will give an overview on the following topics:
More informationFundamental Lemma and Hitchin Fibration
Fundamental Lemma and Hitchin Fibration Gérard Laumon CNRS and Université Paris-Sud September 21, 2006 In order to: compute the Hasse-Weil zeta functions of Shimura varieties (for example A g ), prove
More informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
More informationSynopsis of material from EGA Chapter II, 5
Synopsis of material from EGA Chapter II, 5 5. Quasi-affine, quasi-projective, proper and projective morphisms 5.1. Quasi-affine morphisms. Definition (5.1.1). A scheme is quasi-affine if it is isomorphic
More informationarxiv: v2 [math.ag] 16 Apr 2009
arxiv:0712.0349v2 [math.ag] 16 Apr 2009 The decomposition theorem, perverse sheaves and the topology of algebraic maps Mark Andrea A. de Cataldo and Luca Migliorini Abstract We give a motivated introduction
More information(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim.
0.1. Stratified spaces. References are [7], [6], [3]. Singular spaces are naturally associated to many important mathematical objects (for example in representation theory). We are essentially interested
More informationMirror symmetry, Langlands duality and the Hitchin system
Mirror symmetry, Langlands duality and the Hitchin system Tamás Hausel Royal Society URF at University of Oxford http://www.maths.ox.ac.uk/ hausel/talks.html June 2009 Workshop on mirror symmetry MIT,
More informationA PROOF OF THE KAZHDAN-LUSZTIG PURITY THEOREM VIA THE DECOMPOSITION THEOREM OF BBD
A PROOF OF THE KAZHDAN-LUSZTIG PURITY THEOREM VIA THE DECOMPOSITION THEOREM OF BBD THOMAS J. HAINES 1. Introduction The purpose of this note is to present the modern proof of the purity result of Kazhdan-Lusztig
More informationAPPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY
APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then
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 informationDerived categories, perverse sheaves and intermediate extension functor
Derived categories, perverse sheaves and intermediate extension functor Riccardo Grandi July 26, 2013 Contents 1 Derived categories 1 2 The category of sheaves 5 3 t-structures 7 4 Perverse sheaves 8 1
More informationStratified Morse Theory: Past and Present
Stratified Morse Theory: Past and Present David B. Massey In honor of Robert MacPherson on his 60th birthday 1 Introduction In 1974, Mark Goresky and Robert MacPherson began their development of intersection
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 information(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap
The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups
More information1. Motivation: search for a p-adic cohomology theory
AN INTRODUCTION TO RIGID COHOMOLOGY CHRISTOPHER LAZDA 1. Motivation: search for a p-adic cohomology theory Let k be a perfect field of characteristic p > 0, W = W (k) the ring of Witt vectors of k, and
More informationThe Decomposition Theorem, perverse sheaves and the topology of algebraic maps
The Decomposition Theorem, perverse sheaves and the topology of algebraic maps Mark Andrea A. de Cataldo and Luca Migliorini July, 2008 Abstract We give a motivated introduction to the theory of perverse
More informationHodge Theory of Maps
Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar
More informationThe intersection complex as a weight truncation and an application to Shimura varieties
Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 The intersection complex as a weight truncation and an application to Shimura varieties Sophie Morel Abstract. The purpose
More informationON A VANISHING THEOREM OF S. SAITO AND K. SATO. Jean-Baptiste Teyssier
ON A VANISHING THEOREM OF S. SAITO AND K. SATO by Jean-Baptiste Teyssier Introduction This text is an expanded version of a talk given for the Winter research seminar Chow groups of zero cycles over p-adic
More informationarxiv:math/ v3 [math.ag] 5 Mar 1998
arxiv:math/9802004v3 [math.ag] 5 Mar 1998 Geometric methods in the representation theory of Hecke algebras and quantum groups Victor GINZBURG Department of Mathematics University of Chicago Chicago, IL
More informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
unisian Journal of Mathematics an international publication organized by the unisian Mathematical Society Ramification groups of coverings and valuations akeshi Saito 2019 vol. 1 no. 3 msp msp UNISIAN
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationTopic Proposal Applying Representation Stability to Arithmetic Statistics
Topic Proposal Applying Representation Stability to Arithmetic Statistics Nir Gadish Discussed with Benson Farb 1 Introduction The classical Grothendieck-Lefschetz fixed point formula relates the number
More informationLECTURE 6: THE ARTIN-MUMFORD EXAMPLE
LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As
More informationHYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA
HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA OFER GABBER, QING LIU, AND DINO LORENZINI Abstract. Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique
More informationH(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).
92 19. Perverse sheaves on the affine Grassmannian 19.1. Spherical Hecke algebra. The Hecke algebra H(G(Q p )//G(Z p )) resp. H(G(F q ((T ))//G(F q [[T ]])) etc. of locally constant compactly supported
More informationCHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES
CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES BRIAN OSSERMAN The purpose of this cheat sheet is to provide an easy reference for definitions of various properties of morphisms of schemes, and basic results
More informationMotivic integration on Artin n-stacks
Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves
More informationHochschild homology and Grothendieck Duality
Hochschild homology and Grothendieck Duality Leovigildo Alonso Tarrío Universidade de Santiago de Compostela Purdue University July, 1, 2009 Leo Alonso (USC.es) Hochschild theory and Grothendieck Duality
More informationTowards an overconvergent Deligne-Kashiwara correspondence
Towards an overconvergent Deligne-Kashiwara correspondence Bernard Le Stum 1 (work in progress with Atsushi Shiho) Version of March 22, 2010 1 bernard.le-stum@univ-rennes1.fr Connections and local systems
More informationAN INTRODUCTION TO AFFINE SCHEMES
AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationKuga Varieties Applications
McGill University April 2012 Two applications The goal of this talk is to describe two applications of Kuga varieties. These are: 1 Applications to the Hodge conjecture. (Abdulali - Abelian Varieties and
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 information10 l-adic representations
0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois
More informationCHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents
CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally
More informationLONDON NUMBER THEORY STUDY GROUP: CYCLES ON SHIMURA VARIETIES VIA GEOMETRIC SATAKE, FOLLOWING LIANG XIAO AND XINWEN ZHU
LONDON NUMBER THEORY STUDY GROUP: CYCLES ON SHIMURA VARIETIES VIA GEOMETRIC SATAKE, FOLLOWING LIANG XIAO AND XINWEN ZHU ANA CARAIANI Let (G, X be a Shimura datum of Hodge type. For a neat compact open
More informationElliptic curves, Néron models, and duality
Elliptic curves, Néron models, and duality Jean Gillibert Durham, Pure Maths Colloquium 26th February 2007 1 Elliptic curves and Weierstrass equations Let K be a field Definition: An elliptic curve over
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 informationArithmetic and physics of Higgs moduli spaces
Arithmetic and physics of Higgs moduli spaces Tamás Hausel IST Austria http://hausel.ist.ac.at Geometry working seminar March, 2017 Diffeomorphic spaces in non-abelian Hodge theory C genus g curve; fix
More informationInseparable local uniformization. Conference on valuation theory, El Escorial
Inseparable local uniformization M. Temkin July 27, 2011 Conference on valuation theory, El Escorial Outline 1 General paradigm of desingularization The state of the art Main result of the talk Generalizations
More informationSéminaire BOURBAKI Avril ème année, , n o THE FUNDAMENTAL LEMMA AND THE HITCHIN FIBRATION [after Ngô Bao Châu]
Séminaire BOURBAKI Avril 2011 63ème année, 2010-2011, n o 1035 THE FUNDAMENTAL LEMMA AND THE HITCHIN FIBRATION [after Ngô Bao Châu] by Thomas C. HALES The study of orbital integrals on p-adic groups has
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationTHE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE
THE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE TONY FENG Abstract. There is a canonical pairing on the Brauer group of a surface over a finite field, and an old conjecture of Tate predicts that
More informationON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS. 1. Motivation
ON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS OLIVIER WITTENBERG This is joint work with Olivier Benoist. 1.1. Work of Kollár. 1. Motivation Theorem 1.1 (Kollár). If X is a smooth projective (geometrically)
More informationON THE SIGNED EULER CHARACTERISTIC PROPERTY FOR SUBVARIETIES OF ABELIAN VARIETIES
ON THE SIGNED EULER CHARACTERISTIC PROPERTY FOR SUBVARIETIES OF ABELIAN VARIETIES EVA ELDUQUE, CHRISTIAN GESKE, AND LAURENTIU MAXIM Abstract. We give an elementary proof of the fact that a pure-dimensional
More informationConference in Honor of Joseph Steenbrink. Nijmegen, May 31 - June 2, 2007
Conference in Honor of Joseph Steenbrink Nijmegen, May 31 - June 2, 2007 Deligne s tubular neighborhoods in étale cohomology, after Gabber and Orgogozo Luc Illusie Université Paris-Sud 1 O. Gabber, Finiteness
More informationA SEMICONTINUITY RESULT FOR MONODROMY UNDER DEGENERATION NICHOLAS M. KATZ. 1. Introduction
A SEMICONTINUITY RESULT FOR MONODROMY UNDER DEGENERATION NICHOLAS M. KATZ 1. Introduction We fix a a prime number l. We denote by E a finite extension of Q l inside a chosen algebraic closure μ Q l of
More informationOn the characteristic cycle of an étale sheaf
On the characteristic cycle of an étale sheaf Takeshi Saito 25-26 septembre 2014, à l IHES Abstract For an étale sheaf on a smooth variety over a perfect field of positive characteristic, the characteristic
More informationLEFSCHETZ THEOREMS FOR TAMELY RAMIFIED COVERINGS
LEFSCHETZ THEOREMS FOR TAMELY RAMIFIED COVERINGS HÉLÈNE ESNAULT AND LARS KINDLER Abstract. As is well known, the Lefschetz theorems for the étale fundamental group of quasi-projective varieties do not
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem TIFR Mumbai, India Paul Baum Penn State 7 August, 2015 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. Beyond ellipticity 5. The Riemann-Roch
More informationProof of Langlands for GL(2), II
Proof of Langlands for GL(), II Notes by Tony Feng for a talk by Jochen Heinloth April 8, 016 1 Overview Let X/F q be a smooth, projective, geometrically connected curve. The aim is to show that if E is
More informationIntersection cohomology invariants of complex algebraic varieties
Contemporary Mathematics Intersection cohomology invariants of complex algebraic varieties Sylvain E. Cappell, Laurentiu Maxim, and Julius L. Shaneson Dedicated to Lê Dũng Tráng on His 60th Birthday Abstract.
More information1 Weil Sheaves: Notes by Dan Dore
STANFORD NUMBER THEORY LEARNING SEMINAR 4/12/2017 1 Weil Sheaves: Notes by Dan Dore 1.1 Definition and Classification of Weil Sheaves In the course of Deligne s proof of the purity theorem, he makes certain
More informationThe geometric Satake isomorphism for p-adic groups
The geometric Satake isomorphism for p-adic groups Xinwen Zhu Notes by Tony Feng 1 Geometric Satake Let me start by recalling a fundamental theorem in the Geometric Langlands Program, which is the Geometric
More informationA Gauss-Bonnet theorem for constructible sheaves on reductive groups
A Gauss-Bonnet theorem for constructible sheaves on reductive groups V. Kiritchenko 1 Introduction In this paper, we prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups.
More informationThe Grothendieck-Katz Conjecture for certain locally symmetric varieties
The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-
More informationABELIAN VARIETIES BRYDEN CAIS
ABELIAN VARIETIES BRYDEN CAIS A canonical reference for the subject is Mumford s book [6], but Mumford generally works over an algebraically closed field (though his arguments can be modified to give results
More informationTHE SMOOTH BASE CHANGE THEOREM
THE SMOOTH BASE CHANGE THEOREM AARON LANDESMAN CONTENTS 1. Introduction 2 1.1. Statement of the smooth base change theorem 2 1.2. Topological smooth base change 4 1.3. A useful case of smooth base change
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 informationMIXED HODGE MODULES PAVEL SAFRONOV
MIED HODGE MODULES PAVEL SAFRONOV 1. Mixed Hodge theory 1.1. Pure Hodge structures. Let be a smooth projective complex variety and Ω the complex of sheaves of holomorphic differential forms with the de
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 informationContributors. Preface
Contents Contributors Preface v xv 1 Kähler Manifolds by E. Cattani 1 1.1 Complex Manifolds........................... 2 1.1.1 Definition and Examples.................... 2 1.1.2 Holomorphic Vector Bundles..................
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 informationShow that the second projection Ñ Fl n identifies Ñ as a vector bundle over Fl n. In particular, Ñ is smooth. (Challenge:
1. Examples of algebraic varieties and maps Exercise 1.1 Let C be a smooth curve and f : C P 1 a degree two map ramified at n points. (C is called a hyperelliptic curve.) Use the n ramification points
More informationSuperperverse intersection cohomology: stratification (in)dependence
Superperverse intersection cohomology: stratification (in)dependence Greg Friedman Yale University July 8, 2004 typeset=august 25, 2004 Abstract Within its traditional range of perversity parameters, intersection
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 informationarxiv:math/ v1 [math.at] 2 Oct 2002
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 ON NORMAL STRATIFIED PSEUDOMANIFOLDS arxiv:math/0210022v1 [math.at] 2 Oct 2002 G. PADILLA Devoted
More informationVanishing theorems for toric polyhedra
RIMS Kôkyûroku Bessatsu 4x (200x), 000 000 Vanishing theorems for toric polyhedra By Osamu Fujino Abstract A toric polyhedron is a reduced closed subscheme of a toric variety that are partial unions of
More information