A RAPID INTRODUCTION TO HODGE MODULES, OR 0 TO 60 IN 3 HOURS.
|
|
- Daniel Timothy Mitchell
- 5 years ago
- Views:
Transcription
1 A RAPID INTRODUCTION TO HODGE MODULES, OR 0 TO 60 IN 3 HOURS. DONU ARAPURA 1. Classical Hodge theory Our somewhat daunting task is understand what a (mixed) Hodge module is. Let s start with the case where the base variety is a point, where it s already complicated enough. Then a (mixed) Hodge module is the same thing as a (mixed) Hodge structure. Before getting to the definition, we will first do a simple example. Let L C n be a lattice, so that the quotient X = C n /L is a complex torus. The first de Rham cohomology H 1 (X, C) has a basis given by the classes of dx 1, dy 1, dx 2,.... A different basis is dz 1, dz 2,... together with their conjugates. If we set F 1 H 1 (X, C) to be the span of the dz s, then we see that H 1 (X, C) = F 1 F 1 This is a basic example of a Hodge structure. Recall also that in order for X to be an abelian variety, i.e. a torus which also a projective variety, we need the existence of a Riemann form or polarization. For our purposes, this is a skew symmetric form Q : L Q L Q Q such that F 1 F 1 and Q(iu, v) is hermitian positive definite. A pure Hodge structure of weight n consists of a finitely generated group H Z, descending filtration such that for every p,... F p+1 F p... H := H Z C H = F p F n p+1 A rational or real Hodge structure is defined as above, but H Z is replaced by a Q or R vector space. An equivalent, and probably more familiar, formulation is that there exists a bigrading H = H pq p+q=n such that H pq = H qp. We can go back and forth via and F p = p p H p q H pq = F p F q We can define a morphism of Hodge structures to be homomorphism of abelian groups preserving the filtrations/bigradings. The two descriptions yield isomorphic categories. Using the second, it is easy to see that Date: August 11,
2 2 DONU ARAPURA Proposition 1.1. The category of pure Hodge structures of fixed weight is abelian, and the functors Gr p F are exact. To appreciate the last proposition, it is good to keep in mind that the category of filtered vector spaces is not abelian 1. The basic examples of Hodge structures are given below. Theorem 1.2 (Hodge). If X is a smooth complex projective variety, then H n (X, Z) carries a canonical Hodge structure of weight n, with (A) H pq = H q (X, Ω p X ) We ll outline the proof, and refer to [A, GH, V, W] for the details. One starts by choosing a Kähler metric g, such as a Fubini-Study metric with respect to an embedding X P N. The metric determines inner products on the spaces of differential forms. So we can form adjoints d, to the exterior derivative and Cauchy-Riemann operators. We form the Laplacians = dd + d d, = + Then the analytic part of the Hodge theorem can be summarized as follows: Theorem 1.3. Each de Rham cohomology class has a unique representative which is harmonic in the sense that α = 0. Furthermore (B) holds when the metric is Kähler. = 2 Thus we have an isomorphism between H n (X, C) and the space Harm n (X, g) of harmonic n-forms. Since is real, α is harmonic if and only if ᾱ is harmonic. The Kähler identity (B) implies α is harmonic if and only if all its (p, q) parts are harmonic. Thus we can decompose Harm n (X, g) = Harm pq (X, g) into harmonic (p, q)-forms, and this gives a Hodge structure. Furthermore (A) holds by Dolbeault s theorem. However, this Hodge structure depends on g. To make it canonical, we observe that by the holomorphic Poincaré lemma, we have an exact sequence of sheaves This gives an isomorphism 0 C O X d Ω 1 X d... H i (X, Z) C = H n (X, C) = H n (X, Ω X) where the right side is hypercohomology. See Gelfand-Manin or Weibel [GM, W] for an explanation of this and other constructions from homological algebra used here. Now define the canonical Hodge filtration by F p H n (X, C) = im H n (X, Ω p X ) Obviously, this does not depend on a metric, but one does need to compare it to the previous construction to see that this really is a Hodge structure. 1 In an abelian category morphisms have kernels and cokernels, and a morphism is an isomorphism if has zero kernel and cokernel. In the category of filtered spaces, the first property is fine but the last fails.
3 HODGE MODULES 3 Given a bounded complex C of modules with finite filtration F, it is generally not true that (C) Gr p F Hi (C ) = H i (Gr p (C )) The correct relationship is given by a spectral sequence (D) E pq 1 = Hp+q (Gr p C) H p+q (C) The right side of (C) should be replaced by E pq in general. We say that the filtration is strict if any of the equivalent conditions hold: Lemma 1.4. The following are equivalent for a complex of modules. (a) (C) holds (b) The spectral sequence (D) degenerates i.e. E 1 = E. (c) The maps H i (F p C) H i (C) are injective. Proof. Easy exercise. We can extend the above definition and proposition to a complex of sheaves by replacing cohomology by hypercohomology. For a complex manifold, we obtain a spectral sequence E pq 1 = Hq (X, Ω p X ) Hp+q (X, C) called the Hodge to de Rham or Frölicher spectral sequence. Proposition 1.5. When X is a smooth projective vairiety, the last spectral sequence degenerates, consequently the filtration is strict i.e. is injective. Proof. Theorem 1.2 implies that H i (X, Ω p X ) Hi (X, Ω X) dim H n (X) = p+q=n So we must have dim E = dim E 1. The second statement follows from the previous proposition. We note that purely algebraic proofs of the proposition were found by Faltings and Deligne-Illusie [DI] in the 1980 s. Nevertheless, analytic arguments are still needed to deduce the full Hodge theorem. A polarization on a Hodge structure H of weight n is a Q-valued form Q, symmetric/skew-symmetric for n even/odd such that H pq H p q and Q(Cu, v) is hermitian positive definite, where C acts by multiplication by i p q on H pq. A Hodge structure is polarizable if it possesses a polarization. The following fact is an easy generalization of the Poincaré reduciblity theorem. Proposition 1.6. The category of pure polarizable rational Hodge structures of fixed weight is semisimple, i.e. every Hodge structure is a direct sum of simple Hodge structures. The reason for this is simple. The orthogonal complement of a sub Hodge structure, with respect to a polarization, gives a complementary Hodge structure. We want to explain that the cohomology of projective manifold carries a polarization depending on an embedding X P N. If H P N C is a hyperplane, the E pq 1
4 4 DONU ARAPURA homology class [X H] H 2 (X, Q) is well defined. By Poincaré duality, we can identify this with a cohomology class [X H] H 2 (X, Q). As a de Rham class it is represented by the Kähler form of the Fubini-Study metric. Cup product with this class, or wedge product with the Käher form, will be denoted by L. Let n = dim X denote the dimension as a complex manifold (so 2n is the real dimension). The following is proved with the help of further Kähler identities. Theorem 1.7 (Hard Lefschetz). (1) We have isomorphisms L i : H n i (X, Q) H n+i (X, Q) (2) Let P n i (X, Q) = ker L i+1 : H n i (X, Q) H n+i+2 (X, Q). This is called primitive cohomology. Then H i (X, Q) = P i (X, Q) LP i 1 (X, Q) L 2 P i 2 (X, Q)... This rather complicated statement has a number of important consequences. For example, it implies that the even (and odd) Betti numbers form an increasing sequence b 0 b 2 b 4... up to b n. Another consequence, involving the Leray spectral sequence will be explained later on. Theorem 1.8. The pairing defines a polarization on P k (X) Q(α, β) = ( 1) 1 2 k(k 1) Corollary 1.9. H k (X) is polarizable. X L n k α β If X is an arbitrary, possibly singular or nonprojective, variety, then it is no longer true that H (X) carries a natural pure Hodge structure. The correct generalization is due to Deligne who defined the category of mixed Hodge structures. A (rational) mixed Hodge stucture H carries two filtrations, the weight filtration W and and Hodge F. W is defined over Q. The quotient Grk W H = W kh/w k 1 H, with filtration induced from F is required to be a pure Hodge structure of weight k. A mixed Hodge structure is polarizable if each Grk W H is polarizable in the above sense. A pure Hodge structure can be regarded as a mixed Hodge structure where Grk W H = 0 for all but one k. A morphism is Q-linear map preserving both filtrations. Theorem 1.10 (Deligne). An arbitrary complex algebraic variety carries a canonical polarizable 2 mixed Hodge. When X is smooth and projective, this coincides with the pure Hodge structure given above. While we won t say anything about the proof, it may be good to have a simple example to understand what W measures. Let E be the an elliptic curve. Choose two points p, q E, and pinch them together to obtain a nodal curve X. Let π : E X be the projection. The homology H 1 (X, Z) = π H 1 (E) Zγ, where γ is any loop passing through the node. This not canonical, what is canonical is the subspace π H 1 (E). Dually, we have canonical subspace W 0 = ker H 1 (X, Z) H 1 (E, Z) 2 Deligne doesn t state this explicitly in [D2], but it follows from his proof.
5 HODGE MODULES 5 Furthermore the subspace F 1 H 1 (E, C) can be naturally lifted to H 1 (X, C). Taken together, these subspaces determine the mixed Hodge structure on H 1 (X). The weight filtration also has an arithmetic intepretation involving the Galois action on étale cohomology; see [D3]. 2. Cohomology of families of varieties Given a family of smooth projective varieties f : Y X over a complex manifold, we can consider the family of Hodge structures H i (Y x ), Y x = f 1 (x). The first thing to note Y X is a C fibre bundle by Ereshmann s theorem, this implies that the sheaf R i f Q which is the sheaf associated to the presheaf U H i (f 1 U, Q), is locally constant. It need not be constant however. The nontriviality is measured by the monodromy representation π 1 (X, x) Aut(H i (Y x, Q)). At this point, we should recall Theorem 2.1 (Riemann-Hilbert I). Let X be a complex manifold and k a field. There is an equivalence between the categories of: (1) locally constant sheaves of k-vector spaces (also called local systems), (2) k-linear representations of the fundamental group, (3) and when k = C, holomorphic vector bundles V with an integrable connections : V Ω 1 X V. The last item needs a bit more explanation. A connection is a C-linear map satisfying the Leibnitz rule fv = df v +f v. In local coordinates, is determined by the endomorphisms i given by v = dx i i v. Integrability is the condition that i commute. Existence and uniqueness theorems for PDE guarantee that if is integrable, then ker is a locally constant sheaf of the same rank as V. Conversely, given a locally constant sheaf L of C-vector spaces, O X C L is a holomorphic vector bundle. It carries an integrable connection such that ker = L. Integrability has another interpretation which we recall. The sheaf of rings D X of holomorphic differential operators is locally generated by x 1,..., x n, 1,..., n subject to the Weyl relations [x i, x j ] = [ i, j ] = 0 and [x i, j ] = δ ij. Integrability is precisely the condition for the action of vector fields on V, given by i v = i v, to extend to a left D X -module structure. Returning to our example, V = O X Q R i f Q carries an integrable connection such ker = R i f C. This is called the Gauss-Manin connection. The Hodge filtrations form subbundles F p V. These are not generally stable under. Instead we have a weaker property Theorem 2.2 (Griffiths transversality). (F p ) Ω 1 X F p 1 We sketch a proof when X is a curve, since similar ideas will occur later on. We realize V = R i f Ω Y/X as relative de Rham cohomology. The filtration Ω p Y/X induces F p = im R i f Ω p Y/X We note that, as before, this is strict. Associated to 0 f Ω 1 X Ω 1 Y/X Ω Y Ω Y/X 0
6 6 DONU ARAPURA is a connecting map R i f Ω Y/X Ω1 X Rf Ω Y/X Katz and Oda showed that this precisely. By comparing to the connecting map for 0 f Ω 1 X Ω p 1 Y/X Ω p Y Ω p Y/X 0 we see that F get shifted as above under. Griffiths transversality has a natural interpretation in the context of D-modules. The ring D X has filtration by order. F k D X is the subsheaf of operators with locally at most k partial derivatives. If we set F l V = F l V. Then Griffiths transversality is just the compatibility condition (E) F k D X F l V F k+l V We note also that F V satisfies the sort of finiteness conditions that make it a good filtration in the sense of D-module theory. We now give a name to this sort of structure. A rational variation of Hodge structure of weight i on a manifold Y consists of a locally constant sheaf L of Q- vector spaces, subbundle F p V = O X L satisfying Griffiths transversality such that for each x, (L x, F x V x = C Lx ) is a pure Hodge structure of weight i. For all the deeper properties, it is important to require the existence of a polarization, which a quadratic form Q on the local system L which gives a polarization, in the previous sense, on all the fibres. Polarizability is automatic for variations arising from geometry. Theorem 2.3 (Schmid). The monodromy representation of a polarizable variation of Hodge structure is semisimple. Finally, we have the following: Theorem 2.4 (Deligne). If f : Y X is a smooth projective map, then the Leray spectral sequence E pq 2 = Hp (X, R q f Q) H p+q (Y, Q) degenerates. This is deduced in [D1] from the hard Lefschetz theorem and the following more abstract statement: Theorem 2.5 (Deligne). If an object A in a bounded derived category of an abelian category admits a degree 2 endomorphism satisfying hard Lefschetz, then it splits noncanonically A = H i (A)[ i] i 3. Zucker s theorem We want to briefly explain the one piece of analysis that goes into Saito s theory. Suppose that we have a smooth algebraic curve X. This can be completed to a smooth projective curve X by adding a finite number of points E. Let j : X X denote the inclusion. Given a local system L on X, the intersection cohomology group is defined as IH i (X, L) := H i+1 (X, j L)
7 HODGE MODULES 7 NB: In the literature, there are several different conventions about how to index intersection cohomology [BBD, GM]; to be consistent with later sections, we follow the rule that it should be symmetric about 0. In this case, the degrees are 1, 0, 1. Theorem 3.1 (Zucker). If (L, V, F,, Q) is a polarized variation of Hodge structure on X of weight n, then IH i (X, L) carries a polarized Hodge structure of weight n + i + 1. To prove this, Zucker chooses a metric, with Kähler form ω, which looks like the Poincaré metric on 1dz d z 2 z 2 (log z 2 ) 2 around each point of E. The sheaf E i (V ) of V -valued i-forms is the tensor product of the sheaf of C i-forms E i with V. Let E i (V ) (2) be the sheaf of measurable V -valued i-forms α such that α and α (understood as a distribution) are both locally L 2 in the sense that α 2 ω, α 2 ω < K K for compact sets K X. The pointwise norm 2 is defined using the polarization. The key step is showing that j L C E (V ) (2), is a resolution. Since the sheaves E (V ) (2) are fine, this implies that IH i (X, L) C can be identified with H i (Γ(X, E (V ) (2) )) Standard Hodge theoretic arguments show that this is isomorphic to the space of harmonic L 2 forms. Then an extension of the Kähler identities due to Deligne finishes the job. With this notation, we can be more explicit about the Hodge filtration. We filter E (V ) (2) so that sections of F p E (V ) (2) X are locally in dz F p 1 V + dz d z F p 1 V + 1 F p V + d z F p V Theorem 3.2 (Zucker). The Hodge filtration on IH i (X, L) is induced by the above filtration, and it is strict. 4. D-modules Before making the jump to Hodge modules, we need to quickly review a few concepts from D-module theory; referring to [HTT] for more details. First of all, we should point out we mainly work with left modules, but right modules are more natural in some contexts. On a smooth variety, the canonical module ω X is naturally a right module; tensoring with it or its dual can be used to switch between left and right modules. Let us recall the construction of the direct image. Although this operation is easier for right modules, we stick to left modules. Since any map can be factored as the inclusion of the graph followed by a projection, it is only necessary to understand these two cases. Given a closed immersion f : X Y of smooth varieties and a
8 8 DONU ARAPURA D X -module M, we can form a new D Y -module f + M. If X is defined by an equation t = 0, then (F) f + M = n=0 M n t where the symbol t n is formal. We have t (m t n ) = m t n+1, but the other operators act less obviously. If f : X = Y T Y is a projection, then direct image only really makes sense in the setting of derived categories, or roughly as a complex considered up to quasi-isomorphism. The derived direct image (G) where f + M = Rf DR X/Y (M) DR X/Y (M) = (M Ω 1 X/Y M...)[dim T ] is the relative de Rham complex. The shift [dim T ] means that the complex starts in degree dim T. Rather than working with arbitrary D-modules, we restrict our attention to the class of regular holonomic modules. For the sake of expedience we give a nonstandard definition. Let X be a smooth variety. A vector bundle (V, ) with integrable connection on X is regular if there exists a smooth compactification X such that E = X X has simple normal crossings, and an extension to a vector bundle V on X with an operator : V Ω 1 (log E) V X Let us say that a D-module M on a smooth variety is regular holonomic if it posses a finite composition series such that every simple factor restricts to a regular integrable connection on an open subset of its support. The (derived) category of these modules is stable under direct images and other standard operations. Given a regular holonomic module M, the complex obtained by applying the de Rham functor has the following properties: K = DR(M) = (M Ω 1 X M...)[dim X] (1) K is cohomologically constructible and bounded, i.e. X can be partitioned into Zariski locally constant sets on which H i (K) restricts to a locally constant sheaf of finite rank, and all but finitely many H i (K) are zero. (2) semiperversity: dim supp H i (K) i (3) The Verdier dual DK = RHom(K, C)[2 dim X] in the bounded derived category is also semiperverse. Any object in the derived category of sheaves of vector spaces satisfying these conditions is called a perverse sheaf 3 of C vector spaces. Aside D-module theory, perverse sheaves also arise in intersection cohomology [GM]. The complex IC(L) 3 The terminology is unfortunate. As the inventors themselves observe in the introduction to [BBD], Les faisceaux pervers n etant ni de faisceaux, ni pervers... [Perverse sheaves are neither sheaves, nor perverse...]
9 HODGE MODULES 9 which computes intersection cohomology with coefficients in a local system is perverse. When the base is a curve, IC(L) = j L[1] occurred implicitly in the previous section. The category of perverse sheaves P erv(x) is known to be abelian. Theorem 4.1 (Riemann-Hilbert II (Kashiwara)). The functor DR gives an equivalence between the categories of regular holonomic modules and the category of complex perverse sheaves. Many of the operations on the D-module side have analogues on the perverse side. For instance, the operation M H i (M ) which takes a complex of regular holonomic modules to it cohomology corresponds to perverse cohomology p H i : D b c(x) P erv(x) on the constructible derived category. 5. Hodge modules We are ready to introduce Hodge modules. These should be viewed as variations of Hodge structures with (controlled) singularities. When passing from variations to Hodge modules, filtered bundles with connection are replaced by a filtered regular holonomic D-modules, and local systems by a perverse sheaves. The perverse sheaf is defined over Q, and its role is to supply the rational structure. So to give a Hodge module, we need a regular holonomic D-module M with filtration F (satisfying (E) and appropriate finiteness conditions), a rational perverse sheaf L, and a fixed isomorphism α : DR(M) = L C These are subject to some delicate inductive axioms in the original paper [S1], that we postpone discussing. For the moment, we only spell out the alternative description, deduced after the fact, in the second paper [S2]. Theorem 5.1 (Saito). Let X be a smooth variety. The category HM(X, n) of Hodge modules 4 of weight n on X is a subcategory of quadruples (M, F, L, α) described above, which is abelian and semisimple. Given an irreducible closed subvariety Z X, a polarizable variation of Hodge structure of weight n + dim Z on a smooth open subset of Z can be extended to object of HM(X, n). All simple objects are of this form. We want to explain how a variation of Hodge structure is extended to a Hodge module. We start with a special case now, and finish the story in the next section. Let X be smooth projective, let E X be a divisor with simple normal crossings, and let j : U X denote the inclusion of X E. We assume that we are given polarizable variation of Hodge structures (L,...) on U. We recall that V = O X L is a filtered D U -module. We want to extend this X. We do this in steps. First, we use a result of Schmid that the connection has regular singularities, so that we have an extension of (V, ) to a log connection (V, ) on X. This extension is not unique, but we can make it so by choosing the eigenvalues of the residues of to lie in the interval ( 1, 0]. Note that the action of turns V ( E) = n V (ne) into a D X -module. Let M V ( E) be the sub D X -module generated by V. This is a regular holonomic module extending V in the minimal way in the sense that it has no subquotients supported on D. This is part of the datum that will define a Hodge module. 4 We are assuming that Hodge modules are polarizable. Saito denotes this category by either MH(X, n) or MH(X, n) p in his papers; MH stands for modules de Hodge presumably.
10 10 DONU ARAPURA Next we define the Hodge filtration on M by (H) F p M = i 0 F i D X (j F p i V V ) M Finally DR(M) = M Ω 1 X M... is isomorphic to the intersection cohomology complex IC(L) C. So the Q-structure is given by the isomorphism DR(M) = IC(L) C This constitutes the basic example of a Hodge module. 6. Direct images of Hodge modules The main goal of Saito s first paper [S1] was to construct and establish the properties of the direct image of a Hodge module. We first explain how to take direct images of filtered D-modules. We consider the two cases dealt with previously. If f : Y X is a closed immersion with X defined by t = 0, the direct image was given by (F). If M is filtered by F, we define F p f + M = F p i M i t Next suppose that f : X = Y T Y is a projection, the derived direct image was given by (G). We filter this by F p f + M = Rf (F p M Ω 1 X/Y F p+1m...)[dim T ] At the end of the day, we want modules rather complexes, so we take cohomology to get H i f + M. Under Riemann-Hilbert, the corresponding perverse sheaf is p H i (f L). We filter the module by Theorem 6.1. (Saito) Let f : Y HM(Y, n). Then F p H i f + M = im H i F p f + M (1) The filtration is strict in the sense that X be a projective map and (M, F, L) F p H i f + M H i f + M is injective. (2) (H i f + (M), F H i f + (M), p H i (f L)) forms a Hodge module on X of weight n + i. (3) The hard Lefschetz theorem holds. More precisely, cup product with a relatively ample class induces an isomorphism H i f + (M) = H i f + (M)(i) The notation (i) is a so called Tate twist; it has the effect of shifting the weight on the right by 2i, so that it equals the weight on the left. The only analytic input in the proof is Zucker s theorem 3. The proof is too complicated to go into, except for one case. When Y is a curve and X a point, part (2) of the theorem says that IH i (Y, L) carries a Hodge structure of weight n + i, and this is exactly Zucker s theorem 3.1. In this case, part (1) can be deduced from theorem 3.2, and part (3) is also straightforward.
11 HODGE MODULES 11 Now we want to finish the story started earlier. Suppose that (V,...) is a polarized variation of Hodge structure defined on a smooth locally closed subset U X. We want to explain how to extend this to a Hodge module. Let Z = Ū, and let f : Z X be a resolution of singularities of Z which is an isomorphism over U and such that E = Z U has simple normal crossings. Then, as explained above, we can extend V to a Hodge module M on Z. Then M = H 0 f + ( M) gives an extension of V to X. If M M is the largest submodule, supported on Z U, then M = M /M gives the minimal extension. When the previous theorem was combined with Deligne s theorem 2.5, Saito obtained a Hodge theoretic proof, and generalization, of the decomposition of Beilinson, Bernstein, Deligne, and Gabber [BBD]. Their original proof used characteristic p methods. A more elementary proof was found later by de Cataldo and Migliorini. We refer to their survey [dcm], for more information about the decomposition theorem and its significance. Theorem 6.2 (Saito). Let f : Y X be a morphism of complex projective varieties. If L is a perverse sheaf which is part of a Hodge module, then Rf L decomposes in D b c(x) as a direct sum of translates of perverse sheaves which arise from Hodge modules. In particular, this holds when Y is smooth and L = Q. In this statement, Rf L decomposes in Dc(X). b This can be refined to a Hodge theoretic statement using Saito s category of mixed Hodge modules introduced in his second paper [S2]. Mixed Hodge modules are related to Hodge modules in the same way that mixed Hodge structures are related to pure Hodge structures. A mixed Hodge module on a smooth variety X consists of a regular holonomic D-module with two filtrations W and F, a filtered perverse sheaf (L, W ) and an isomorphism α, as above, compatible with W. Given a mixed Hodge module M, the graded objects Grk W M = W km/w k 1 M HM(X, k). Any Hodge module can be regarded as a mixed Hodge module where all but one Grk W are zero. Theorem 6.3 (Saito). The category MHM(X) of mixed Hodge modules is abelian, and the functors Grk W : MHM(X) HM(X, k) are exact. When X is a point, M HM(X) is just the category of polarizable mixed Hodge structures. We have forgetful map MHM(X) P erv(x). This extends to a map on derived categories D b MHM(X) Dc(X) b thanks to a theorem of Beilinson [B] that D b P erv(x) is equivalent to Dc(X). b Theorem 6.4 (Saito). Given a morphism f : Y X, there is an operation f : D b MHM(Y ) D b MHM(X) compatible with the derived direct image Rf : Dc(Y b ) Dc(X). b As a corollary, we get the refined decomposition theorem promised above. Corollary 6.5. Let f : Y X be a morphism of complex projective varieties. If M is a Hodge module, then f M decomposes in D b MHM(X) as a direct sum of translates of Hodge modules. 7. The Kashiwara-Malgrange filtration Although we gave a working definition of Hodge modules, for some applications, one needs to understand what s happening under the hood. The original definition
12 12 DONU ARAPURA in [S1] is by induction on the dimension of support. We only give the rough idea, and refer the original papers and more detailed surveys [S3, SS] etc. for more information. The base step of the induction goes as follows: A Hodge module on a point is the same thing as polarizable Hodge structure. A Hodge module with zero dimensional support is a finite sum of modules of the form i + M, for inclusions of points i : x X. The next axiom says very roughly that a Hodge module restricts to a Hodge module on a hypersurface defined by a function. The precise formulation is rather delicate. We only explain the D-module aspects in broad outline. Suppose that, we have a smooth divisor E = f 1 (0) for some regular function f : X C. The assumptions about E are not too restrictive, because they can be achieved by shrinking X and replacing E by the inclusion of the graph in X C. Let t be the coordinate on C, and let T π 1 (C ) be a generator. Let M be the regular holonomic module on X. We have a bunch of local systems associated to the perverse sheaf DR(M), and T will act on these. We say that M is quasi-unipotent if the eigenvalues of these actions are all roots of unity. For example, it is a theorem of Borel [Sc] that M is quasi-unipotent if it comes from a polarized variation of Hodge structure. Let us assume that M satisfies this quasi-unipotency condition, then M carries a decreasing filtration V α M, called the Kashiwara-Malgrange or simply the V -filtration, indexed by Q with discrete jumps and the following properties (1) tv α M V α+1 M with equality for α > 0 (2) t V α M V α 1 M (3) t t α is nilpotent on Gr α V M = V α M/V >α M. When M carries a filtration F, one can impose additional compatibility conditions between V and F sometimes called specializability. We won t explain the precise conditions, but will point out two useful consequences Theorem 7.1. Suppose that (M, F ) is specializiable. (1) If none of the simple factors of M are supported on E, then F M is determined by its restriction to X E. The formula F p M = i 0 F i D X (j F p i V >0 M) is similar to (H). (2) If M is supported on E, then Gr F M is annihilated by f, so that it becomes O E -module. A crude formulation of the inductive axiom is: A Hodge module (M, F ) is specializable, and GrV α M with filtration induced F (but shifted) is a summand of the filtered D-module associated to a mixed Hodge module supported on E. To state things more precisely would involve introducing vanishing cycle and nearby functors of which GrV α M is a constituent. But this would be too a long story. Finally, we add that although we focussed on the case where X is smooth, Saito defines Hodge modules on singular varieties as well. When X is embeddable into a
13 HODGE MODULES 13 smooth variety Y, one can take HM(X, n) to consists of the subcategory of Hodge modules on Y supported on X. This is independent of Y. References [A] D. Arapura, Algebraic geometry over the complex numbers. Springer (2012) [B] A. Beilinson, The derived category of perverse sheaves, K-theory, arithmetic and geometry, Springer (1987) [BBD] A. Beilinson, J. Bernstein, P. Deligne, Faisceux Pervers Asterisque (1982) [dcm] M. de Cataldo, L. Migliorini, The decomposition theorem, perverse sheaves, and the topology of algebraic maps Bull AMS (2009) [D1] P. Deligne, Théorème de Lefschetz et critéres de dégénérescence de suites spectrales Publ. IHES 35 (1968) [D2] P. Deligne, Theorie de Hodge II, III Publ. IHES 42, 44 (1971,1974) [D3] P. Deligne, Poids dans la cohomologie des variétés algébriques, ICM (1974) [DI] P. Deligne, L. Illusie, Relèvements modulo p2 et décomposition du complexe de de Rham. Invent. Math. 89 (1987), no. 2, [GH] Griffiths, Harris, Principles of algebraic geometry, Wiley (1978) [HTT] R. Hotta, K. Takeuchi, T. Tanasaki, D-modules, perverse sheaves, and representation theory, Birkauser (2008) [GeM] S. Gelfand, Y. Manin, Methods of homological algebra, Springer (2003) [GM] M. Goresky, R. Macpherson, Intersection homology II, Inventiones (1983) [PS] C. Peters, J. Steenbrink, Mixed Hodge structures, Springer (2008) [SS] C. Sabbah, C. Schnell The MHM project, sabbah [S1] M. Saito, Module Hodge Polarizables RIMS (1988) [S2] M. Saito, Mixed Hodge modules RIMS (1990) [S3] M. Saito, A young person s guide to mixed Hodge modules, Hodge theory and L 2 -analysis, Int. Press (2017) [Sc] W. Schmid, Variations of Hodge structure: singularities of the period map, Inventiones (1973) [V] C. Voisin, Hodge theory and complex algebraic geometry. I, II, Cambridge (2007) [W] C. Weibel, An introduction to homological algebra, Cambridge (1994) [W] R. Wells, Differential analysis on complex manifolds, Springer (2008) [Z] S. Zucker, Hodge theory with degenerating coefficients, Annals (1979) Department of Mathematics, Purdue University, West Lafayette, IN 47907, U.S.A. address: arapura@math.purdue.edu
MIXED 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 informationFROM CLASSICAL HODGE THEORY TO HODGE MODULES
FROM CLASSICAL HODGE THEORY TO HODGE MODULES DONU ARAPURA These are my notes for the spring school in Algebraic Geometry in Beijing, March 2015. My goal is to give a rapid overview of Hodge theory from
More informationHODGE THEORY, SINGULARITIES AND D-MODULES
Claude Sabbah HODGE THEORY, SINGULARITIES AND D-MODULES LECTURE NOTES (CIRM, LUMINY, MARCH 2007) C. Sabbah UMR 7640 du CNRS, Centre de Mathématiques Laurent Schwartz, École polytechnique, F 91128 Palaiseau
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 information1. THE CONSTRUCTIBLE DERIVED CATEGORY
1. THE ONSTRUTIBLE DERIVED ATEGORY DONU ARAPURA Given a family of varieties, we want to be able to describe the cohomology in a suitably flexible way. We describe with the basic homological framework.
More informationHODGE THEORY, SINGULARITIES AND D-MODULES
Claude Sabbah HODGE THEORY, SINGULARITIES AND D-MODULES LECTURE NOTES (CIRM, LUMINY, MARCH 2007) C. Sabbah UMR 7640 du CNRS, Centre de Mathématiques Laurent Schwartz, École polytechnique, F 91128 Palaiseau
More informationKODAIRA-SAITO VANISHING AND APPLICATIONS
KODAIRA-SAITO VANISHING AND APPLICATIONS MIHNEA POPA Abstract. The first part of the paper contains a detailed proof of M. Saito s generalization of the Kodaira vanishing theorem, following the original
More informationRIEMANN S INEQUALITY AND RIEMANN-ROCH
RIEMANN S INEQUALITY AND RIEMANN-ROCH DONU ARAPURA Fix a compact connected Riemann surface X of genus g. Riemann s inequality gives a sufficient condition to construct meromorphic functions with prescribed
More informationFormality of Kähler manifolds
Formality of Kähler manifolds Aron Heleodoro February 24, 2015 In this talk of the seminar we like to understand the proof of Deligne, Griffiths, Morgan and Sullivan [DGMS75] of the formality of Kähler
More informationAN OVERVIEW OF MORIHIKO SAITO S THEORY OF MIXED HODGE MODULES
AN OVERVIEW OF MORIHIKO SAITO S THEORY OF MIXED HODGE MODULES CHRISTIAN SCHNELL Abstract. After explaining the definition of pure and mixed Hodge modules on complex manifolds, we describe some of Saito
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 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 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 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 informationKähler manifolds and variations of Hodge structures
Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic
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 information1. Differential Forms Let X be a smooth complete variety over C. Then as a consequence of Hodge theory + GAGA: H i (X an, C) = H i (X, Ω X) =
SOME APPLICATIONS OF POSITIVE CHARACTERISTIC TECHNIQUES TO VANISHING THEOREMS DONU ARAPURA To Joe Lipman These are notes to my talk at Lipman s birthday conference. Some details have appeared in [A1, A2].
More informationGK-SEMINAR SS2015: SHEAF COHOMOLOGY
GK-SEMINAR SS2015: SHEAF COHOMOLOGY FLORIAN BECK, JENS EBERHARDT, NATALIE PETERNELL Contents 1. Introduction 1 2. Talks 1 2.1. Introduction: Jordan curve theorem 1 2.2. Derived categories 2 2.3. Derived
More information2. D-MODULES AND RIEMANN-HILBERT
2. D-MODULES AND RIEMANN-HILBERT DONU ARAPURA The classical Riemann-Hilbert, or Hilbert s 21st, problem asks whether every representation of the punctured complex plane comes from a system of differential
More informationDELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES
DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES YIFEI ZHAO Abstract. We present the proofs of Deligne s theorems on degeneration of the Leray spectral sequence, and the algebraic Hodge-de Rham
More informationDeligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities
Deligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities B.F Jones April 13, 2005 Abstract Following the survey article by Griffiths and Schmid, I ll talk about
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 informationAlgebraic v.s. Analytic Point of View
Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,
More informationChapter 17 Computation of Some Hodge Numbers
Chapter 17 Computation of Some Hodge Numbers The Hodge numbers of a smooth projective algebraic variety are very useful invariants. By Hodge theory, these determine the Betti numbers. In this chapter,
More informationTHE HODGE DECOMPOSITION
THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional
More informationRIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY
RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY NICK MCCLEEREY 0. Complex Differential Forms Consider a complex manifold X n (of complex dimension n) 1, and consider its complexified tangent bundle T C
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 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 informationHomomorphisms between Kähler groups (Jaca)
Homomorphisms between Kähler groups () Purdue University June 2009 Introduction Compact Kähler manifolds (and in particular smooth projective varieties ) are special! Introduction Compact Kähler manifolds
More informationIntermediate Jacobians and Abel-Jacobi Maps
Intermediate Jacobians and Abel-Jacobi Maps Patrick Walls April 28, 2012 Introduction Let X be a smooth projective complex variety. Introduction Let X be a smooth projective complex variety. Intermediate
More informationarxiv: v2 [math.ag] 2 Mar 2016
WEAK POSITIVITY FOR HODGE MODULES arxiv:1511.00290v2 [math.ag] 2 Mar 2016 MIHNEA POPA AND LEI WU Abstract. We prove the weak positivity of the kernels of Kodaira-Spencertype maps for pure Hodge module
More informationHODGE MODULES ON COMPLEX TORI AND GENERIC VANISHING FOR COMPACT KÄHLER MANIFOLDS. A. Introduction
HODGE MODULES ON COMPLEX TORI AND GENERIC VANISHING FOR COMPACT KÄHLER MANIFOLDS GIUSEPPE PARESCHI, MIHNEA POPA, AND CHRISTIAN SCHNELL Abstract. We extend the results of generic vanishing theory to polarizable
More informationV. SRINIVAS. h p,q (X)u p v q
THE HODGE CHARACTERISTIC V. SRINIVAS 1. Introduction The goal of this lecture is to discuss the proof of the following result, used in Kontsevich s proof of the theorem that the Hodge numbers of two birationally
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationRigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture
Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture Benson Farb and Mark Kisin May 8, 2009 Abstract Using Margulis s results on lattices in semisimple Lie groups, we prove the Grothendieck-
More informationarxiv: v1 [math.ag] 13 Mar 2019
THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show
More informationApplications to the Beilinson-Bloch Conjecture
Applications to the Beilinson-Bloch Conjecture Green June 30, 2010 1 Green 1 - Applications to the Beilinson-Bloch Conjecture California is like Italy without the art. - Oscar Wilde Let X be a smooth projective
More informationArithmetic of certain integrable systems. University of Chicago & Vietnam Institute for Advanced Study in Mathematics
Arithmetic of certain integrable systems Ngô Bao Châu University of Chicago & Vietnam Institute for Advanced Study in Mathematics System of congruence equations Let us consider a system of congruence equations
More informationPERVERSE SHEAVES. Contents
PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on D-modules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a
More informationHarmonic bundle and pure twistor D-module
Harmonic bundle and pure twistor D-module Takuro Mochizuki RIMS, Kyoto University 2012 June Harmonic bundle A harmonic bundle is a Higgs bundle with a pluri-harmonic metric. A Higgs field of a holomorphic
More informationDELIGNE S THEOREM ON THE SEMISIMPLICITY OF A POLARIZED VHS OVER A QUASIPROJECTIVE BASE
DELIGNE S THEOREM ON THE SEMISIMPLICITY OF A POLARIZED VHS OVER A QUASIPROJECTIVE BASE ALEX WRIGHT 1. Introduction The purpose of this expository note is to give Deligne s proof of the semisimplicity of
More informationThe V -filtration and vanishing and nearby cycles
The V -filtration and vanishing and nearby cycles Gus Lonergan Disclaimer: We will work with right D-modules. Any D-module we consider will be at least coherent. We will work locally, choosing etale coordinates
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 informationUseful theorems in complex geometry
Useful theorems in complex geometry Diego Matessi April 30, 2003 Abstract This is a list of main theorems in complex geometry that I will use throughout the course on Calabi-Yau manifolds and Mirror Symmetry.
More informationMATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract
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 informationVanishing theorems and holomorphic forms
Vanishing theorems and holomorphic forms Mihnea Popa Northwestern AMS Meeting, Lansing March 14, 2015 Holomorphic one-forms and geometry X compact complex manifold, dim C X = n. Holomorphic one-forms and
More informationMonodromy of the Dwork family, following Shepherd-Barron X n+1. P 1 λ. ζ i = 1}/ (µ n+1 ) H.
Monodromy of the Dwork family, following Shepherd-Barron 1. The Dwork family. Consider the equation (f λ ) f λ (X 0, X 1,..., X n ) = λ(x n+1 0 + + X n+1 n ) (n + 1)X 0... X n = 0, where λ is a free parameter.
More informationClaude Sabbah NON-COMMUTATIVE HODGE STRUCTURES
Claude Sabbah NON-COMMUTATIVE HODGE STRUCTURES MAINZ, MARCH 29-31, 2012 C. Sabbah UMR 7640 du CNRS, Centre de Mathématiques Laurent Schwartz, École polytechnique, F 91128 Palaiseau cedex, France. E-mail
More informationHODGE GENERA OF ALGEBRAIC VARIETIES, II.
HODGE GENERA OF ALGEBRAIC VARIETIES, II. SYLVAIN E. CAPPELL, ANATOLY LIBGOBER, LAURENTIU MAXIM, AND JULIUS L. SHANESON Abstract. We study the behavior of Hodge-theoretic genera under morphisms of complex
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 informationNotes on Partial Resolutions of Nilpotent Varieties by Borho and Macpherson
Notes on Partial Resolutions of Nilpotent Varieties by Borho and Macpherson Chris Elliott January 14th, 2014 1 Setup Let G be a complex reductive Lie group with Lie algebra g. The paper [BM83] relates
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 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 informationUNIVERSAL UNFOLDINGS OF LAURENT POLYNOMIALS AND TT STRUCTURES. Claude Sabbah
UNIVERSAL UNFOLDINGS OF LAURENT POLYNOMIALS AND TT STRUCTURES AUGSBURG, MAY 2007 Claude Sabbah Introduction Let f : (C ) n C be a Laurent polynomial, that I assume to be convenient and non-degenerate,
More informationINTERSECTION SPACES, PERVERSE SHEAVES AND TYPE IIB STRING THEORY
INTERSECTION SPACES, PERVERSE SHEAVES AND TYPE IIB STRING THEORY MARKUS BANAGL, NERO BUDUR, AND LAURENŢIU MAXIM Abstract. The method of intersection spaces associates rational Poincaré complexes to singular
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 informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationAlgebraic geometry versus Kähler geometry
Algebraic geometry versus Kähler geometry Claire Voisin CNRS, Institut de mathématiques de Jussieu Contents 0 Introduction 1 1 Hodge theory 2 1.1 The Hodge decomposition............................. 2
More informationNotes on absolute Hodge classes
Notes on absolute Hodge classes François Charles and Christian Schnell July 5, 2013 0.1 INTRODUCTION Absolute Hodge classes first appear in Deligne s proof of the Weil conjectures for K3 surfaces in [14]
More informationAn Introduction to Spectral Sequences
An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,
More informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
More informationHodge Theory of Isolated Hypersurface Singularities
Hodge Theory of Isolated Hypersurface Singularities Mohammad Reza Rahmati February 11, 2015 Isolated hypersurface singularities Assume f : C n+1 C a holomorphic germ with isolated singularity. It gives
More informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
More informationDolbeault cohomology and. stability of abelian complex structures. on nilmanifolds
Dolbeault cohomology and stability of abelian complex structures on nilmanifolds in collaboration with Anna Fino and Yat Sun Poon HU Berlin 2006 M = G/Γ nilmanifold, G: real simply connected nilpotent
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 informationMixed Motives Associated to Classical Modular Forms
Mixed Motives Associated to Classical Modular Forms Duke University July 27, 2015 Overview This talk concerns mixed motives associated to classical modular forms. Overview This talk concerns mixed motives
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 informationPERVERSE SHEAVES: PART I
PERVERSE SHEAVES: PART I Let X be an algebraic variety (not necessarily smooth). Let D b (X) be the bounded derived category of Mod(C X ), the category of left C X -Modules, which is in turn a full subcategory
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 informationAbelian varieties. Chapter Elliptic curves
Chapter 3 Abelian varieties 3.1 Elliptic curves An elliptic curve is a curve of genus one with a distinguished point 0. Topologically it is looks like a torus. A basic example is given as follows. A subgroup
More informationarxiv: v1 [math.ag] 10 Sep 2018
VANISHING AND INJECTIVITY FOR R-HODGE MODULES AND R-DIVISORS arxiv:1809.03469v1 [math.ag] 10 Sep 2018 LEI WU Abstract. We prove the injectivity and vanishing theorem for R-Hodge modules and R-divisors
More informationPOSITIVITY FOR HODGE MODULES AND GEOMETRIC APPLICATIONS. Contents
POSITIVITY FOR HODGE MODULES AND GEOMETRIC APPLICATIONS MIHNEA POPA Abstract. This is a survey of vanishing and positivity theorems for Hodge modules, and their recent applications to birational and complex
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 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 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 informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationMUMFORD-TATE GROUPS AND ABELIAN VARIETIES. 1. Introduction These are notes for a lecture in Elham Izadi s 2006 VIGRE seminar on the Hodge Conjecture.
MUMFORD-TATE GROUPS AND ABELIAN VARIETIES PETE L. CLARK 1. Introduction These are notes for a lecture in Elham Izadi s 2006 VIGRE seminar on the Hodge Conjecture. Let us recall what we have done so far:
More informationTitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)
TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 2004-06 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights
More informationComplex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
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 informationGENERIC VANISHING THEORY VIA MIXED HODGE MODULES
GENERIC VANISHING THEORY VIA MIXED HODGE MODULES MIHNEA POPA AND CHRISTIAN SCHNELL Abstract. We extend the dimension and strong linearity results of generic vanishing theory to bundles of holomorphic forms
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 informationAs always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).
An Interlude on Curvature and Hermitian Yang Mills As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). Suppose we wanted
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 DECOMPOSITION THEOREM AND THE TOPOLOGY OF ALGEBRAIC MAPS
THE DECOMPOSITION THEOREM AND THE TOPOLOGY OF ALGEBRAIC MAPS Abstract. Notes from fives lectures given by Luca Migliorini in Freiburg in February 2010. Notes by Geordie Williamson. 1. Lecture 1: Hodge
More informationSpecial cubic fourfolds
Special cubic fourfolds 1 Hodge diamonds Let X be a cubic fourfold, h H 2 (X, Z) be the (Poincaré dual to the) hyperplane class. We have h 4 = deg(x) = 3. By the Lefschetz hyperplane theorem, one knows
More informationINTRODUCTION TO COMPLEX ALGEBRAIC GEOMETRY/HODGE THEORY
INTRODUCTION TO COMPLEX ALGEBRAIC GEOMETRY/HODGE THEORY DONU ARAPURA I assume that everyone has some familiarity with basic algebraic geometry. For our purposes, the main objects are complex quasiprojective
More informationVARIATION OF HODGE STRUCTURES NOTES FOR NUMBER THEORY LEARNING SEMINAR ON SHIMURA VARIETIES
VARIATION OF HODGE STRUCTURES NOTES FOR NUMBER THEORY LEARNING SEMINAR ON SHIMURA VARIETIES DANIEL LITT Contents 1 Introduction: Variation of Hodge Structure for Curves 1 11 Hodge Theory for Curves 1 12
More informationBRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,
CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves
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 informationIntroduction to Hodge Modules and Examples
Introduction to Hodge Modules and Examples Pablo Boixeda October 19, 2016 Definition 1. A filtered D-mod with Q-structure is M = (M, F, K) on X a) K perverse sheaf Q b) regular holonomic D-mod M c) A good
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 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 informationThe Spinor Representation
The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)
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 informationarxiv:math/ v1 [math.ag] 17 Jul 2000
Arakelov-type inequalities for Hodge bundles arxiv:math/000710v1 [math.ag] 17 Jul 000 0. Introduction Chris Peters Department of Mathematics University of Grenoble I Saint-Martin d Hères, France June 0
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 informationCohomology jump loci of quasi-projective varieties
Cohomology jump loci of quasi-projective varieties Botong Wang joint work with Nero Budur University of Notre Dame June 27 2013 Motivation What topological spaces are homeomorphic (or homotopy equivalent)
More information