An overview of Dmodules: holonomic Dmodules, bfunctions, and V filtrations


 Vernon Morgan
 3 years ago
 Views:
Transcription
1 An overview of Dmodules: holonomic Dmodules, bfunctions, and V filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of Dmodules Mainz July 9,
2 The sheaf of differential operators Let X be a smooth complex algebraic variety, with dim(x ) = n. The sheaf of differential operators D X on X is the subsheaf of Calgebras of End C (O X ) generated by O X and T X = Der C (O X ). Mircea Mustaţă () An overview of Dmodules Mainz July 9,
3 The sheaf of differential operators Let X be a smooth complex algebraic variety, with dim(x ) = n. The sheaf of differential operators D X on X is the subsheaf of Calgebras of End C (O X ) generated by O X and T X = Der C (O X ). If x 1,..., x n are algebraic coordinates on an open subset U X, then we have derivations 1,..., n on U such that i (x j ) = δ i,j, and D X U is a locally free (left or right) O X module with basis β = β 1 1 βn n, β N n. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
4 The sheaf of differential operators Let X be a smooth complex algebraic variety, with dim(x ) = n. The sheaf of differential operators D X on X is the subsheaf of Calgebras of End C (O X ) generated by O X and T X = Der C (O X ). If x 1,..., x n are algebraic coordinates on an open subset U X, then we have derivations 1,..., n on U such that i (x j ) = δ i,j, and D X U is a locally free (left or right) O X module with basis β = β 1 1 βn n, β N n. Example. If X = A n, then we have the Weyl algebra A n (C) = Γ(X, D X ) = C x 1,..., x n, 1,..., n [x i, x j ] = 0, [ i, j ] = 0, [ i, x j ] = δ i,j. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
5 The order filtration D X carries a filtration by order of differential operators: F p D X is the locally free submodule of D X generated by those β with β = i β i p. For example, we have F 0 D X = O X and F 1 D X = O X + Der C (O X ). Mircea Mustaţă () An overview of Dmodules Mainz July 9,
6 The order filtration D X carries a filtration by order of differential operators: F p D X is the locally free submodule of D X generated by those β with β = i β i p. For example, we have F 0 D X = O X and F 1 D X = O X + Der C (O X ). Easy properties: 1 F p D X F q D X F p+q D X for all p, q 0. 2 [F p D X, F q D X ] F p+q 1 D X for all p, q 0. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
7 The order filtration D X carries a filtration by order of differential operators: F p D X is the locally free submodule of D X generated by those β with β = i β i p. For example, we have F 0 D X = O X and F 1 D X = O X + Der C (O X ). Easy properties: 1 F p D X F q D X F p+q D X for all p, q 0. 2 [F p D X, F q D X ] F p+q 1 D X for all p, q 0. This implies that the corresponding graded object gr F (D X ) := p 0 F p D X /F p 1 D X is a sheaf of graded commutative rings. We thus have a morphism π (O T X ) = Sym O X (T X ) gr F (D X ) and the local description shows that this is an isomorphism. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
8 Left D X modules Giving a left D X module is the same as an O X module M with an action that satisfies: Der C (O X ) M M 1 D (fm) f (D m) = D(f )m for all f O X. 2 D 1 (D 2 m) D 2 (D 1 m) = [D 1, D 2 ] m. Equivalently, this can be reformulated as a Clinear map : M Ω X OX M. First condition: this is a connection, second condition: the connection is integrable. The De Rham complex of M, situated in degrees n,..., 0 is 0 M Ω X OX M Ω 2 X O X M... Ω n X O X M 0. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
9 Left D X modules, cont d All D X modules we will consider will be quasicoherent as O X modules. Fact: Every D X module which is coherent as an O X module is locally free. These are the nice objects in the category of D X modules. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
10 Left D X modules, cont d All D X modules we will consider will be quasicoherent as O X modules. Fact: Every D X module which is coherent as an O X module is locally free. These are the nice objects in the category of D X modules. Example 1. The structure sheaf O X has a tautological left D X action. The corresponding connection is the De Rham differential d : O X Ω X. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
11 Left D X modules, cont d All D X modules we will consider will be quasicoherent as O X modules. Fact: Every D X module which is coherent as an O X module is locally free. These are the nice objects in the category of D X modules. Example 1. The structure sheaf O X has a tautological left D X action. The corresponding connection is the De Rham differential d : O X Ω X. Example 2. The sheaf D X has a canonical structure of left D X module. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
12 Left D X modules, cont d All D X modules we will consider will be quasicoherent as O X modules. Fact: Every D X module which is coherent as an O X module is locally free. These are the nice objects in the category of D X modules. Example 1. The structure sheaf O X has a tautological left D X action. The corresponding connection is the De Rham differential d : O X Ω X. Example 2. The sheaf D X has a canonical structure of left D X module. Example 3. If Z is a hypersurface in X, then O X ( Z) = m 1 O X (mz) has a left D X module structure induced by the one on O X, via the quotient rule. If Z = (f = 0), then O X ( Z) = O X [1/f ]. Note: this is not coherent as an O X module. This will be a key example for us. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
13 Filtrations on coherent D X modules A D X module is coherent if locally finitely generated over D X. Such a module M is studied by choosing an (increasing, exhaustive) good filtration F M on M: 1 F p M M coherent O X submodule for all p, and it is 0 for p 0. 2 F p D X F q M F p+q M for all p and q, with equality for all p if q 0 (then say the filtration is determined at level q). Mircea Mustaţă () An overview of Dmodules Mainz July 9,
14 Filtrations on coherent D X modules A D X module is coherent if locally finitely generated over D X. Such a module M is studied by choosing an (increasing, exhaustive) good filtration F M on M: 1 F p M M coherent O X submodule for all p, and it is 0 for p 0. 2 F p D X F q M F p+q M for all p and q, with equality for all p if q 0 (then say the filtration is determined at level q). It is easy to construct such a filtration: e.g. choose a coherent O X submodule M 0 in M such that D X M 0 = M and let F p M = F p D X M 0 for all p 0. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
15 Filtrations on coherent D X modules A D X module is coherent if locally finitely generated over D X. Such a module M is studied by choosing an (increasing, exhaustive) good filtration F M on M: 1 F p M M coherent O X submodule for all p, and it is 0 for p 0. 2 F p D X F q M F p+q M for all p and q, with equality for all p if q 0 (then say the filtration is determined at level q). It is easy to construct such a filtration: e.g. choose a coherent O X submodule M 0 in M such that D X M 0 = M and let F p M = F p D X M 0 for all p 0. Clearly: such a good filtration is far from unique. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
16 Filtrations on coherent D X modules, cont d The definition of a good filtration implies that gr F (M) := p Z F p M/F p 1 M is locally finitely generated over gr F (D X ): it is generated in degree q if the filtration is determined at level q. Hence this can be considered a coherent sheaf on T X. Its support is the characteristic variety Char(M). Key point: this is independent of the choice of filtration. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
17 Filtrations on coherent D X modules, cont d The definition of a good filtration implies that gr F (M) := p Z F p M/F p 1 M is locally finitely generated over gr F (D X ): it is generated in degree q if the filtration is determined at level q. Hence this can be considered a coherent sheaf on T X. Its support is the characteristic variety Char(M). Key point: this is independent of the choice of filtration. The dimension dim(m) of M is the dimension of Char(M) T X. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
18 Holonomic D X modules We have the following miracle : Theorem 1 (Bernstein, SatoKawaiKashiwara). For every nonzero coherent D X module M, we have dim(m) n. For a sketch of proof in the case X = A n : see slides at the end. Definition. A coherent D X module is holonomic if M = 0 or dim(m) = n. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
19 Holonomic D X modules We have the following miracle : Theorem 1 (Bernstein, SatoKawaiKashiwara). For every nonzero coherent D X module M, we have dim(m) n. For a sketch of proof in the case X = A n : see slides at the end. Definition. A coherent D X module is holonomic if M = 0 or dim(m) = n. Example 1. If M = D X, then Char(M) = T X, hence dim(d X ) = 2n. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
20 Holonomic D X modules We have the following miracle : Theorem 1 (Bernstein, SatoKawaiKashiwara). For every nonzero coherent D X module M, we have dim(m) n. For a sketch of proof in the case X = A n : see slides at the end. Definition. A coherent D X module is holonomic if M = 0 or dim(m) = n. Example 1. If M = D X, then Char(M) = T X, hence dim(d X ) = 2n. Example 2. If E is a vector bundle with integrable connection, we can take F p E = 0 for p < 0 and F p E = E for p 0, hence Char(E) is the 0section of T X. Therefore E is a holonomic D X module. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
21 Holonomic D X modules We have the following miracle : Theorem 1 (Bernstein, SatoKawaiKashiwara). For every nonzero coherent D X module M, we have dim(m) n. For a sketch of proof in the case X = A n : see slides at the end. Definition. A coherent D X module is holonomic if M = 0 or dim(m) = n. Example 1. If M = D X, then Char(M) = T X, hence dim(d X ) = 2n. Example 2. If E is a vector bundle with integrable connection, we can take F p E = 0 for p < 0 and F p E = E for p 0, hence Char(E) is the 0section of T X. Therefore E is a holonomic D X module. Example 3. If Z is a hypersurface in X, then O X ( Z) is holonomic (note: even coherence is not clear). For a sketch of proof when X = A n, see slides at the end. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
22 Holonomic D X modules, cont d For a short exact sequence of coherent D X modules 0 M M M 0, we choose a good filtration on M and then the induced filtrations on M and M. We get a short exact sequence 0 gr F (M ) gr F (M) gr F (M ) 0, and thus Char(M) = Char(M ) Char(M ). Theorem 1 implies that M is holonomic iff both M and M are holonomic. In particular, holonomic D X modules form an Abelian subcategory of all D X modules. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
23 Holonomic D X modules, cont d Using the graded structure, one defines a notion of multiplicity e(m) for a coherent D X module M (analogue of degree of coherent sheaf on P n ). This is a nonnegative integer and it is 0 if and only if M = 0. For a version of the definition for X = A n : see the last slides. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
24 Holonomic D X modules, cont d Using the graded structure, one defines a notion of multiplicity e(m) for a coherent D X module M (analogue of degree of coherent sheaf on P n ). This is a nonnegative integer and it is 0 if and only if M = 0. For a version of the definition for X = A n : see the last slides. For an exact sequence of holonomic D X modules as on the previous slide, we have e(m) = e(m ) + e(m ). Consequence: all objects in the category of holonomic D X modules have finite length. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
25 Holonomic D X modules, cont d Using the graded structure, one defines a notion of multiplicity e(m) for a coherent D X module M (analogue of degree of coherent sheaf on P n ). This is a nonnegative integer and it is 0 if and only if M = 0. For a version of the definition for X = A n : see the last slides. For an exact sequence of holonomic D X modules as on the previous slide, we have e(m) = e(m ) + e(m ). Consequence: all objects in the category of holonomic D X modules have finite length. Another reason holonomic D X modules are good: they are preserved by pullback and pushforward of D X modules (not true for coherent D X modules). Mircea Mustaţă () An overview of Dmodules Mainz July 9,
26 Left vs. right D X modules There is a canonical equivalence of categories between left D X modules and right D X modules. This is useful, in practice, since the pushforward functor is naturally defined for right Dmodules. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
27 Left vs. right D X modules There is a canonical equivalence of categories between left D X modules and right D X modules. This is useful, in practice, since the pushforward functor is naturally defined for right Dmodules. Key point: The sheaf ω X = Ω n X has a natural structure of right D X module given for an nform ω and a derivation D by ω D = Lie(D)ω, that maps (D 1,..., D n ) to D ( ω(d 1,..., D n ) ) n ω ( ) D 1,..., [D, D i ],..., D n. i=1 Mircea Mustaţă () An overview of Dmodules Mainz July 9,
28 Left vs. right D X modules There is a canonical equivalence of categories between left D X modules and right D X modules. This is useful, in practice, since the pushforward functor is naturally defined for right Dmodules. Key point: The sheaf ω X = Ω n X has a natural structure of right D X module given for an nform ω and a derivation D by ω D = Lie(D)ω, that maps (D 1,..., D n ) to D ( ω(d 1,..., D n ) ) If x 1,..., x n are local coordinates, then n ω ( ) D 1,..., [D, D i ],..., D n. i=1 (fdx 1... dx n ) i = f x i dx 1... dx n. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
29 Left vs. right D X modules, cont d If M is a left D X module, then ω X OX M is a right D X module, with (ω m)d = ωd m ω Dm. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
30 Left vs. right D X modules, cont d If M is a left D X module, then ω X OX M is a right D X module, with (ω m)d = ωd m ω Dm. If N is a right D X module, then Hom OX (ω X, N ) is a left D X module, with (Dϕ)(ω) = ϕ(ωd) ϕ(ω)d. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
31 Left vs. right D X modules, cont d If M is a left D X module, then ω X OX M is a right D X module, with (ω m)d = ωd m ω Dm. If N is a right D X module, then Hom OX (ω X, N ) is a left D X module, with (Dϕ)(ω) = ϕ(ωd) ϕ(ω)d. The canonical isomorphisms of O X modules M Hom OX (ω X, ω X OX M), ω X OX Hom OX (ω X, N ) N are morphisms of D X modules, hence we get our equivalence between the categories of left and right D X modules. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
32 Left vs. right D X modules, cont d Description in local coordinates x 1,..., x n on U: we have a Clinear anticommutative map τ : D X D X such that τ OX = id OX and τ( i ) = i. Note that the local coordinates induce a trivialization ω X U O U. A left D X module M becomes a right D X module via τ and conversely. This is the local description of the previous equivalence. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
33 Left vs. right D X modules, cont d Description in local coordinates x 1,..., x n on U: we have a Clinear anticommutative map τ : D X D X such that τ OX = id OX and τ( i ) = i. Note that the local coordinates induce a trivialization ω X U O U. A left D X module M becomes a right D X module via τ and conversely. This is the local description of the previous equivalence. It is clear that from a good filtration F M on the left D X module M, we obtain a filtration on the corresponding right D X module N = ω X OX M. Indexing convention: F p n N = ω X OX F p M. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
34 The RiemannHilbert correspondence Classical version. We work in the analytic topology, with holomorphic vector bundles. Given a rank r holomorphic vector bundle, with integrable connection (E, ), the classical result about solving ODE implies that ker( ) E is a rank r local system. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
35 The RiemannHilbert correspondence Classical version. We work in the analytic topology, with holomorphic vector bundles. Given a rank r holomorphic vector bundle, with integrable connection (E, ), the classical result about solving ODE implies that ker( ) E is a rank r local system. Conversely, given a local system L, we get a vector bundle E = L C O X, with integrable connection 1 L d. We thus get an equivalence of categories between the category of holomorphic vector bundles on X, with integrable connection, and the category of local systems on X. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
36 The RiemannHilbert correspondence Classical version. We work in the analytic topology, with holomorphic vector bundles. Given a rank r holomorphic vector bundle, with integrable connection (E, ), the classical result about solving ODE implies that ker( ) E is a rank r local system. Conversely, given a local system L, we get a vector bundle E = L C O X, with integrable connection 1 L d. We thus get an equivalence of categories between the category of holomorphic vector bundles on X, with integrable connection, and the category of local systems on X. Note: if L is a local system, then L[n] is quasiisomorphic to the (holomorphic) De Rham complex of E = L C O X. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
37 The RiemannHilbert correspondence Classical version. We work in the analytic topology, with holomorphic vector bundles. Given a rank r holomorphic vector bundle, with integrable connection (E, ), the classical result about solving ODE implies that ker( ) E is a rank r local system. Conversely, given a local system L, we get a vector bundle E = L C O X, with integrable connection 1 L d. We thus get an equivalence of categories between the category of holomorphic vector bundles on X, with integrable connection, and the category of local systems on X. Note: if L is a local system, then L[n] is quasiisomorphic to the (holomorphic) De Rham complex of E = L C O X. If X is compact, then GAGA implies that algebraic vector bundles with integrable connection are the same as holomorphic vector bundles with integrable connection. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
38 The RiemannHilbert correspondence, cont d Noncompact case: version due to Deligne describing local systems via algebraic vector bundles with integrable connection, and having regular singularities. For curves, this means that the connection satisfies the Fuchs condition at the points in the boundary of X. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
39 The RiemannHilbert correspondence, cont d Noncompact case: version due to Deligne describing local systems via algebraic vector bundles with integrable connection, and having regular singularities. For curves, this means that the connection satisfies the Fuchs condition at the points in the boundary of X. One can define the notion of regular singularities for arbitrary holonomic D X modules (for example, by pulling back via morphisms from smooth curves), but we do not go into any details. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
40 The RiemannHilbert correspondence, cont d Noncompact case: version due to Deligne describing local systems via algebraic vector bundles with integrable connection, and having regular singularities. For curves, this means that the connection satisfies the Fuchs condition at the points in the boundary of X. One can define the notion of regular singularities for arbitrary holonomic D X modules (for example, by pulling back via morphisms from smooth curves), but we do not go into any details. Theorem 2 (Kashiwara, Mebkhout, BeilinsonBernstein) For every smooth algebraic variety X, the De Rham functor DR X extends to an equivalence of triangulated categories D b rh (D X ) D b constr(x ), where D b rh (D X ): bounded derived category of complexes of D X modules, with regular holonomic cohomology, and D b constr(x ): the bounded derived category of complexes with constructible cohomology. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
41 The RiemannHilbert correspondence, cont d The RiemannHilbert correspondence induces an equivalence of Abelian categories between the category of holonomic D X modules, with regular singularities, and perverse sheaves (with C coefficients). Mircea Mustaţă () An overview of Dmodules Mainz July 9,
42 The RiemannHilbert correspondence, cont d The RiemannHilbert correspondence induces an equivalence of Abelian categories between the category of holonomic D X modules, with regular singularities, and perverse sheaves (with C coefficients). The correspondence is compatible with the functors (pushforward, pullback, etc) defined on both sides. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
43 The BernsteinSato polynomial The following result was a key motivation in the development of the algebraic theory of Dmodules. Theorem 3 (Bernstein). If X is a smooth algebraic variety and f O(X ) nonzero, then there is a nonzero b(s) C[s] such that b(s)f s = P(s) f s+1, for some P(s) D X [s]. Here we consider the left D X module O X [s, 1/f ]f s, where D f s = sd(f ) f s for every D Der C (O X ). f The set of those b(s) for which there is P(s) as above is an ideal. The monic generator of this ideal is the BernsteinSato polynomial b f (s) of f. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
44 The BernsteinSato polynomial, cont d Example 1. If f = x 1 C[x 1,..., x n ], then (s + 1)f s = 1 f s+1 ; in fact b f (s) = s + 1. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
45 The BernsteinSato polynomial, cont d Example 1. If f = x 1 C[x 1,..., x n ], then (s + 1)f s = 1 f s+1 ; in fact b f (s) = s + 1. Example 2. If f = x x 2 n C[x 1,..., x n ], then (s + 1)(4s + 2n)f s = ( n) f s+1. In fact, we have b f (s) = (s + 1)(s + n 2 ). Mircea Mustaţă () An overview of Dmodules Mainz July 9,
46 The BernsteinSato polynomial, cont d Example 1. If f = x 1 C[x 1,..., x n ], then (s + 1)f s = 1 f s+1 ; in fact b f (s) = s + 1. Example 2. If f = x x n 2 C[x 1,..., x n ], then (s + 1)(4s + 2n)f s = ( n) 2 f s+1. In fact, we have b f (s) = (s + 1)(s + n 2 ). Example 3. For every f, by making s = 1, we have b f ( 1) 1 f = P( 1) 1 O(X ). Hence if f is noninvertible, then (s + 1) divides b f (s). Mircea Mustaţă () An overview of Dmodules Mainz July 9,
47 The BernsteinSato polynomial, cont d Example 4. For every positive integer m, we have Hence 1 f m 1 b f ( m 1) f m+1 D 1 X f m generates O X [1/f ] over D X if b f has no integer roots < m. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
48 The BernsteinSato polynomial, cont d Example 4. For every positive integer m, we have Hence 1 f m 1 b f ( m 1) f m+1 D 1 X f m generates O X [1/f ] over D X if b f has no integer roots < m. Theorem 4 (Kashiwara). All roots of b f (s) are in Q <0. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
49 The BernsteinSato polynomial, cont d Example 4. For every positive integer m, we have Hence 1 f m 1 b f ( m 1) f m+1 D 1 X f m generates O X [1/f ] over D X if b f has no integer roots < m. Theorem 4 (Kashiwara). All roots of b f (s) are in Q <0. In general, the roots of b f (s) are subtle invariants of the singularities of f, related to several other such invariants. For example, the largest root of b f (s) is lct(f ), by a result of Lichtin and Kollár. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
50 The BernsteinSato polynomial, cont d Sketch of proof for the existence of the BernsteinSato polynomial: Suppose, for simplicity, X = A n. Consider M = C(s)[x 1,..., x n ] f f s as a module over A n ( C(s) ). M is a holonomic Dmodule (this is proved in the same way that one shows that C[x 1,..., x n ] f is holonomic over A n (C)). Therefore the following decreasing sequence of submodules is stationary A n ( C(s) ) f s A n ( C(s) ) f s+1 A n ( C(s) ) f s+2... Mircea Mustaţă () An overview of Dmodules Mainz July 9,
51 The BernsteinSato polynomial, cont d Sketch of proof for the existence of the BernsteinSato polynomial: Suppose, for simplicity, X = A n. Consider M = C(s)[x 1,..., x n ] f f s as a module over A n ( C(s) ). M is a holonomic Dmodule (this is proved in the same way that one shows that C[x 1,..., x n ] f is holonomic over A n (C)). Therefore the following decreasing sequence of submodules is stationary A n ( C(s) ) f s A n ( C(s) ) f s+1 A n ( C(s) ) f s+2... We obtain a relation f m+s = P(s, x, x ) f m+s+1. The theorem follows using the automorphism s s m and clearing the denominators. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
52 The V filtration The V filtration was introduced by Malgrange (and extended by Kashiwara) in order to describe the nearby cycles functor at the level of holonomic Dmodules. Setting: Let f O(X ) nonzero. Consider ι: X X A 1, ι(x) = ( x, f (x) ) Mircea Mustaţă () An overview of Dmodules Mainz July 9,
53 The V filtration The V filtration was introduced by Malgrange (and extended by Kashiwara) in order to describe the nearby cycles functor at the level of holonomic Dmodules. Setting: Let f O(X ) nonzero. Consider ι: X X A 1, ι(x) = ( x, f (x) ) If M is a D X module, then the Dmodule theoretic pushforward ι + M is described as follows: Case 1. If M = O X, then ι + M = O X [t] f t /O X [t] = j 0 O X j tδ, where δ = [1/(f t)]. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
54 The V filtration The V filtration was introduced by Malgrange (and extended by Kashiwara) in order to describe the nearby cycles functor at the level of holonomic Dmodules. Setting: Let f O(X ) nonzero. Consider ι: X X A 1, ι(x) = ( x, f (x) ) If M is a D X module, then the Dmodule theoretic pushforward ι + M is described as follows: Case 1. If M = O X, then ι + M = O X [t] f t /O X [t] = j 0 O X j tδ, where δ = [1/(f t)]. Case 2. For any M, we have ι + M = M OX ι + O X. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
55 The V filtration, cont d Goal of V filtration: put action of t t on ι + M in uppertriangular form. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
56 The V filtration, cont d Goal of V filtration: put action of t t on ι + M in uppertriangular form. It is a decreasing, exhaustive, rational, discrete, leftcontinuous filtration (V α = V α ι + M) α Q on ι + M that satisfies: i) Each V α is finitely generated over D X [t, t t] ii) t V α V α+1, with equality if α > 0 iii) t V α V α 1 iv) t t + α is nilpotent on V α /V >α. These properties uniquely characterize the V filtration. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
57 The V filtration, cont d Goal of V filtration: put action of t t on ι + M in uppertriangular form. It is a decreasing, exhaustive, rational, discrete, leftcontinuous filtration (V α = V α ι + M) α Q on ι + M that satisfies: i) Each V α is finitely generated over D X [t, t t] ii) t V α V α+1, with equality if α > 0 iii) t V α V α 1 iv) t t + α is nilpotent on V α /V >α. These properties uniquely characterize the V filtration. Key observation: if M = O X, then ι + O X [1/f ] O X [1/f, s]f s, δ f s where s acts on the lefthand side by t t and t acts on the righthand side by P(s)f s P(s + 1)f s+1. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
58 The V filtration, cont d We thus see that the BernsteinSato polynomial b f is the monic polynomial of smallest degree such that b f ( t t)δ D X [ t t] tδ Mircea Mustaţă () An overview of Dmodules Mainz July 9,
59 The V filtration, cont d We thus see that the BernsteinSato polynomial b f is the monic polynomial of smallest degree such that b f ( t t)δ D X [ t t] tδ Using this, and the rationality of the roots of b f, Malgrange showed the existence of V filtration for M = O X. He also showed that DR X (V >0 /V >1 )[1] gives the nearby cycles of f, with the monodromy action corresponding to the action of exp( 2πi t t). Consequence: the eigenvalues of the monodromy action on the cohomology of the Milnor fiber of f are the exp(2πiα), where α is a root of b f. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
60 Appendix: some proofs in the case X = A n When X = A n, some of the basic results are easier to prove. The reason: we can consider on A n = A n (k) (where k is any field of characteristic 0) the Bernstein filtration: As before, we have B p A n = α +β n kx α β. gr B A n S := Sym R Der k(r) k[x 1,..., x n, y 1,..., y n ], where R = k[x 1,..., x n ]. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
61 Appendix: some proofs in the case X = A n When X = A n, some of the basic results are easier to prove. The reason: we can consider on A n = A n (k) (where k is any field of characteristic 0) the Bernstein filtration: As before, we have B p A n = α +β n kx α β. gr B A n S := Sym R Der k(r) k[x 1,..., x n, y 1,..., y n ], where R = k[x 1,..., x n ]. If M is a finitely generated module over A n, we consider a filtration F M on M that is compatible with the Bernstein filtration on A n (and is good, as before). We get a notion of dimension as before and a notion of multiplicity (the fact that the two notions of dimension agree can be proved using a homological characterization of dimension). Mircea Mustaţă () An overview of Dmodules Mainz July 9,
62 Appendix: some proofs in the case X = A n, cont d Given M, choose F M and put dim(m) := dim ( gr F (M ) ) and e(m) := deg ( gr F (M) ). Hence dim(m) = r iff dim k F p M p r and r! dim k F p M e(m) = lim p p r, where r = dim(m). Mircea Mustaţă () An overview of Dmodules Mainz July 9,
63 Appendix: some proofs in the case X = A n, cont d Given M, choose F M and put dim(m) := dim ( gr F (M ) ) and e(m) := deg ( gr F (M) ). Hence dim(m) = r iff dim k F p M p r and r! dim k F p M e(m) = lim p p r, where r = dim(m). Sketch of proof of Bernstein s dimension inequality: May assume F 0 M 0. One shows by induction on p that the map B p A n Hom k (F p M, F 2p M), Q (m Qm) is injective. Since dim k B p A n grows like p 2n and both dim k F p M and dim k F 2p M grow like p dim(m), we get dim(m) n. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
64 Appendix: some proofs in the case X = A n, cont d Sketch of proof for the fact that R f is holonomic: Let d = deg(f ). Consider on R f the filtration given by { g } F p R f = f p deg(g) p(d + 1). One checks: if ɛ > 0, then dim k F p R f (1 + ɛ) (d + 1)n p n for p 0. n! Mircea Mustaţă () An overview of Dmodules Mainz July 9,
65 Appendix: some proofs in the case X = A n, cont d Sketch of proof for the fact that R f is holonomic: Let d = deg(f ). Consider on R f the filtration given by { g } F p R f = f p deg(g) p(d + 1). One checks: if ɛ > 0, then dim k F p R f (1 + ɛ) (d + 1)n p n for p 0. n! The Bernstein inequality implies that every finitely generated submodule of R f is holonomic, of multiplicity (d + 1) n. Hence every increasing sequence of finitely generated submodules of R f has length (d + 1) n. Therefore R f is finitely generated, and thus holonomic. Mircea Mustaţă () An overview of Dmodules Mainz July 9,
1 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 informationThe V filtration and vanishing and nearby cycles
The V filtration and vanishing and nearby cycles Gus Lonergan Disclaimer: We will work with right Dmodules. Any Dmodule we consider will be at least coherent. We will work locally, choosing etale coordinates
More information2. DMODULES AND RIEMANNHILBERT
2. DMODULES AND RIEMANNHILBERT DONU ARAPURA The classical RiemannHilbert, or Hilbert s 21st, problem asks whether every representation of the punctured complex plane comes from a system of differential
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 information8 Perverse Sheaves. 8.1 Theory of perverse sheaves
8 Perverse Sheaves In this chapter we will give a selfcontained account of the theory of perverse sheaves and intersection cohomology groups assuming the basic notions concerning constructible sheaves
More informationKODAIRASAITO VANISHING AND APPLICATIONS
KODAIRASAITO 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 informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasicoherent O Y module.
More informationClaude Sabbah NONCOMMUTATIVE HODGE STRUCTURES
Claude Sabbah NONCOMMUTATIVE HODGE STRUCTURES MAINZ, MARCH 2931, 2012 C. Sabbah UMR 7640 du CNRS, Centre de Mathématiques Laurent Schwartz, École polytechnique, F 91128 Palaiseau cedex, France. Email
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 informationSome Dmodule theoretic aspects of the local cohomology of a polynomial ring
Some Dmodule theoretic aspects of the local cohomology of a polynomial ring Toshinori Oaku Tokyo Woman s Christian University July 6, 2015, MSJSI in Osaka Toshinori Oaku (Tokyo Woman s Christian University)
More informationRegular holonomic Dmodules on skew symmetric matrices
Regular holonomic Dmodules on skew symmetric matrices Philibert ang April 6, 007 Abstract We give a classification of regular holonomic Dmodules on skewsymmetric matrices attached to the linear action
More informationCohomology jump loci of local systems
Cohomology jump loci of local systems Botong Wang Joint work with Nero Budur University of Notre Dame June 28 2013 Introduction Given a topological space X, we can associate some homotopy invariants to
More informationSTEENROD OPERATIONS IN ALGEBRAIC GEOMETRY
STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the ith singular cohomology group
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 quasiprojective varieties over a field k Affine Varieties 1.
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 Clinear. 1.
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 informationBERNSTEINSATO POLYNOMIALS (LECTURE NOTES, UPC BARCELONA, 2015)
BERNSTEINSATO POLYNOMIALS (LECTURE NOTES, UPC BARCELONA, 2015) NERO BUDUR Abstract. These are lecture notes based on a series lectures at the Summer school Multiplier ideals, test ideals, and BernsteinSato
More informationON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DGMANIFOLDS
ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DGMANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical
More informationQUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a Dmodule of differential operators on a smooth stack and construct a symbol map when
More informationNon characteristic finiteness theorems in crystalline cohomology
Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015
More informationTopics in Algebraic Geometry
Topics in Algebraic Geometry Nikitas Nikandros, 3928675, Utrecht University n.nikandros@students.uu.nl March 2, 2016 1 Introduction and motivation In this talk i will give an incomplete and at sometimes
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationPERVERSE SHEAVES. Contents
PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on Dmodules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a
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 informationSERRE FINITENESS AND SERRE VANISHING FOR NONCOMMUTATIVE P 1 BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NONCOMMUTATIVE P 1 BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X bimodule of rank
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 informationHODGE THEORY, SINGULARITIES AND DMODULES
Claude Sabbah HODGE THEORY, SINGULARITIES AND DMODULES LECTURE NOTES (CIRM, LUMINY, MARCH 2007) C. Sabbah UMR 7640 du CNRS, Centre de Mathématiques Laurent Schwartz, École polytechnique, F 91128 Palaiseau
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY Email address: alex.massarenti@sissa.it These notes collect a series of
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 informationHecke modifications. Aron Heleodoro. May 28, 2013
Hecke modifications Aron Heleodoro May 28, 2013 1 Introduction The interest on Hecke modifications in the geometrical Langlands program comes as a natural categorification of the product in the spherical
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 informationGraded CalabiYau Algebras actions and PBW deformations
Actions on Graded CalabiYau Algebras actions and PBW deformations Q. S. Wu Joint with L. Y. Liu and C. Zhu School of Mathematical Sciences, Fudan University International Conference at SJTU, Shanghai
More informationCrystalline Cohomology and Frobenius
Crystalline Cohomology and Frobenius Drew Moore References: Berthelot s Notes on Crystalline Cohomology, discussions with Matt Motivation Let X 0 be a proper, smooth variety over F p. Grothendieck s etale
More informationHILBERT FUNCTIONS. 1. Introduction
HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each
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 pcurvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and pcurvature, in terms of maps of sheaves
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 informationPhilippe Maisonobe Claude Sabbah ASPECTS OF THE THEORY OF DMODULES
Philippe Maisonobe Claude Sabbah ASPECTS OF THE THEORY OF DMODULES LECTURE NOTES (KAISERSLAUTERN 2002) REVISED VERSION: JULY 2011 Ph. Maisonobe UMR 6621 du CNRS, Laboratoire J.A. Dieudonné, Université
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 RiemannRoch Theorem
The RiemannRoch Theorem TIFR Mumbai, India Paul Baum Penn State 7 August, 2015 Five lectures: 1. Dirac operator 2. AtiyahSinger revisited 3. What is Khomology? 4. Beyond ellipticity 5. The RiemannRoch
More informationDeterminant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman
Commun. Math. Phys. 211, 359 363 2000) Communications in Mathematical Physics SpringerVerlag 2000 Determinant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman Hélène snault 1, IHsun
More informationIntroduction to Dmodule Theory. Algorithms for Computing BernsteinSato Polynomials. Jorge MartínMorales
Introduction to Dmodule Theory. Algorithms for Computing BernsteinSato Polynomials Jorge MartínMorales Centro Universitario de la Defensa de Zaragoza Academia General Militar Differential Algebra and
More informationLectures on Algebraic Theory of DModules
Lectures on Algebraic Theory of DModules Dragan Miličić Contents Chapter I. Modules over rings of differential operators with polynomial coefficients 1 1. Hilbert polynomials 1 2. Dimension of modules
More informationParabolic sheaves, root stacks and the KatoNakayama space
Parabolic sheaves, root stacks and the KatoNakayama space Mattia Talpo UBC Vancouver February 2016 Outline Parabolic sheaves as sheaves on stacks of roots, and log geometry. Partly joint with A. Vistoli,
More informationHarmonic bundle and pure twistor Dmodule
Harmonic bundle and pure twistor Dmodule Takuro Mochizuki RIMS, Kyoto University 2012 June Harmonic bundle A harmonic bundle is a Higgs bundle with a pluriharmonic metric. A Higgs field of a holomorphic
More informationDmanifolds and derived differential geometry
Dmanifolds and derived differential geometry Dominic Joyce, Oxford University September 2014 Based on survey paper: arxiv:1206.4207, 44 pages and preliminary version of book which may be downloaded from
More informationMatrix factorizations over projective schemes
Jesse Burke (joint with Mark E. Walker) Department of Mathematics University of California, Los Angeles January 11, 2013 Matrix factorizations Let Q be a commutative ring and f an element of Q. Matrix
More informationCoherent sheaves on elliptic curves.
Coherent sheaves on elliptic curves. Aleksei Pakharev April 5, 2017 Abstract We describe the abelian category of coherent sheaves on an elliptic curve, and construct an action of a central extension of
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 information6.1 Finite generation, finite presentation and coherence
! Chapter 6 Coherent Sheaves 6.1 Finite generation, finite presentation and coherence Before getting to sheaves, let us discuss some finiteness properties for modules over a commutative ring R. Recall
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasicoherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationSUMMER COURSE IN MOTIVIC HOMOTOPY THEORY
SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY MARC LEVINE Contents 0. Introduction 1 1. The category of schemes 2 1.1. The spectrum of a commutative ring 2 1.2. Ringed spaces 5 1.3. Schemes 10 1.4. Schemes
More informationDERIVED CATEGORIES OF COHERENT SHEAVES
DERIVED CATEGORIES OF COHERENT SHEAVES OLIVER E. ANDERSON Abstract. We give an overview of derived categories of coherent sheaves. [Huy06]. Our main reference is 1. For the participants without bacground
More informationA padic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1
A padic 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 informationFourier Mukai transforms II Orlov s criterion
Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and
More informationDMODULES: AN INTRODUCTION
DMODULES: AN INTRODUCTION ANNA ROMANOVA 1. overview Dmodules are a useful tool in both representation theory and algebraic geometry. In this talk, I will motivate the study of Dmodules by describing
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Application of cohomology: Hilbert polynomials and functions, Riemann Roch, degrees, and arithmetic genus 1 1. APPLICATION OF COHOMOLOGY:
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan AttwellDuval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationPARABOLIC SHEAVES ON LOGARITHMIC SCHEMES
PARABOLIC SHEAVES ON LOGARITHMIC SCHEMES Angelo Vistoli Scuola Normale Superiore Bordeaux, June 23, 2010 Joint work with Niels Borne Université de Lille 1 Let X be an algebraic variety over C, x 0 X. What
More informationMotivic integration on Artin nstacks
Motivic integration on Artin nstacks 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 informationHomotopytheory techniques in commutative algebra
Homotopytheory techniques in commutative algebra Department of Mathematical Sciences Kent State University 09 January 2007 Departmental Colloquium Joint with Lars W. Christensen arxiv: math.ac/0612301
More informationAlgebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism
Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 homotopy theory A basic object in homotopy theory is a generalized
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 informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More 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 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 informationLine Bundles on Plane Curves
Stanford University Outline 1 2 3 The general question: Let X be a variety and L an effective line bundle. Inside of X PΓ(X, L), V L is the closed subscheme whose fiber over a line [s] PΓ(X, L) is the
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 tstructures 7 4 Perverse sheaves 8 1
More informationHodge structures from differential equations
Hodge structures from differential equations Andrew Harder January 4, 2017 These are notes on a talk on the paper Hodge structures from differential equations. The goal is to discuss the method of computation
More informationThe Canonical Sheaf. Stefano Filipazzi. September 14, 2015
The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over
More informationDerived intersections and the Hodge theorem
Derived intersections and the Hodge theorem Abstract The algebraic Hodge theorem was proved in a beautiful 1987 paper by Deligne and Illusie, using positive characteristic methods. We argue that the central
More informationIntroduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy  a version of the Eckmann Hilton argument
More informationThe RiemannRoch Theorem
The RiemannRoch Theorem Paul Baum Penn State Texas A&M University College Station, Texas, USA April 4, 2014 Minicourse of five lectures: 1. Dirac operator 2. AtiyahSinger revisited 3. What is Khomology?
More informationCharacters of the Negative Level HighestWeight Modules for Affine Lie Algebras
IMRN International Mathematics Research Notices 1994, No. 3 Characters of the Negative Level HighestWeight Modules for Affine Lie Algebras Masaki Kashiwara and Toshiyuki Tanisaki 0 Introduction Our main
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 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 KodairaSpencertype maps for pure Hodge module
More informationDERIVED CATEGORIES: LECTURE 4. References
DERIVED CATEGORIES: LECTURE 4 EVGENY SHINDER References [Muk] Shigeru Mukai, Fourier functor and its application to the moduli of bundles on an abelian variety, Algebraic geometry, Sendai, 1985, 515 550,
More informationTowards an overconvergent DeligneKashiwara correspondence
Towards an overconvergent DeligneKashiwara correspondence Bernard Le Stum 1 (work in progress with Atsushi Shiho) Version of March 22, 2010 1 bernard.lestum@univrennes1.fr Connections and local systems
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 informationRecall for an n n matrix A = (a ij ), its trace is defined by. a jj. It has properties: In particular, if B is nonsingular n n matrix,
Chern characters Recall for an n n matrix A = (a ij ), its trace is defined by tr(a) = n a jj. j=1 It has properties: tr(a + B) = tr(a) + tr(b), tr(ab) = tr(ba). In particular, if B is nonsingular n n
More informationBeilinson s conjectures I
Beilinson s conjectures I Akshay Venkatesh February 17, 2016 1 Deligne s conjecture As we saw, Deligne made a conjecture for varieties (actually at the level of motives) for the special values of Lfunction.
More informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationA formality criterion for differential graded Lie algebras
A formality criterion for differential graded Lie algebras Marco Manetti Sapienza University, Roma Padova, February 18, 2014 Deligne s principle (letter to J. Millson, 1986). In characteristic 0, a deformation
More informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 GromovWitten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationarxiv:math/ v6 [math.ag] 19 Sep 2005
BERNSTEINSATO POLYNOMIALS OF ARBITRARY VARIETIES arxiv:math/0408408v6 [math.ag] 19 Sep 2005 NERO BUDUR, MIRCEA MUSTAŢǍ, AND MORIHIKO SAITO Abstract. We introduce the notion of BernsteinSato polynomial
More information(www.math.unibonn.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 informationLifting the Cartier transform of OgusVologodsky. modulo p n. Daxin Xu. California Institute of Technology
Lifting the Cartier transform of OgusVologodsky modulo p n Daxin Xu California Institute of Technology RiemannHilbert correspondences 2018, Padova A theorem of DeligneIllusie k a perfect field of characteristic
More informationTHREE LECTURES ON LOCAL COHOMOLOGY MODULES SUPPORTED ON MONOMIAL IDEALS
THREE LECTURES ON LOCAL COHOMOLOGY MODULES SUPPORTED ON MONOMIAL IDEALS JOSEP ÀLVAREZ MONTANER Abstract. These notes are an extended version of a set of lectures given at MON ICA: MONomial Ideals, Computations
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 informationTHE GROTHENDIECK GROUP OF A QUANTUM PROJECTIVE SPACE BUNDLE
THE GROTHENDIECK GROUP OF A QUANTUM PROJECTIVE SPACE BUNDLE IZURU MORI AND S. PAUL SMITH Abstract. We compute the Grothendieck group of noncommutative analogues of projective space bundles. Our results
More informationWild ramification and the characteristic cycle of an ladic sheaf
Wild ramification and the characteristic cycle of an ladic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More informationDERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisseétale and the flatfppf sites
DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisseétale and the flatfppf sites 1 4. Derived categories of quasicoherent modules 5
More informationDeformation theory of representable morphisms of algebraic stacks
Deformation theory of representable morphisms of algebraic stacks Martin C. Olsson School of Mathematics, Institute for Advanced Study, 1 Einstein Drive, Princeton, NJ 08540, molsson@math.ias.edu Received:
More informationA RAPID INTRODUCTION TO HODGE MODULES, OR 0 TO 60 IN 3 HOURS.
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
More informationA GLIMPSE OF ALGEBRAIC KTHEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC KTHEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationCHUANHAO WEI. <0 (M[!D]) ) Sp X (M[!D]) . In particular, V D <0(M[!D]) = V D <0M. Further, if M
LOGARITMIC COMPARISON WIT SMOOT BOUNARY IISOR IN MIXE OGE MOULES arxiv:1710.07407v1 [math.ag] 20 Oct 2017 CUANAO WEI 1. Introduction The main goal of this paper is to use filtered logmodules to represent
More informationEndomorphism Rings of Abelian Varieties and their Representations
Endomorphism Rings of Abelian Varieties and their Representations Chloe Martindale 30 October 2013 These notes are based on the notes written by Peter Bruin for his talks in the Complex Multiplication
More informationBraid group actions on categories of coherent sheaves
Braid group actions on categories of coherent sheaves MITNortheastern Rep Theory Seminar In this talk we will construct, following the recent paper [BR] by Bezrukavnikov and Riche, actions of certain
More informationSome questions on minimal log discrepancies
Some questions on minimal log discrepancies Mircea Mustaţă University of Michigan Aussois June 25, 2015 Mircea Mustaţă (University of Michigan) Some questions on minimal log discrepancies Aussois June
More information