A RAPID INTRODUCTION TO HODGE MODULES, OR 0 TO 60 IN 3 HOURS.

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