To appear in "Geometric methods in algebra and number theory" Proceedings of a December 2003 conference at the University of Miami, edited by F. Bogomolov and Yu. Tschinkel
In this mostly expository note we give a down-to-earth introduction to the V-filtration of M. Kashiwara and B. Malgrange on D-modules. We survey some applications to generalized Bernstein-Sato polynomials, multiplier ideals, and monodromy of vanishing cycles.
In this note we prove a conjecture of Kashiwara, which states that the Euler class of a coherent analytic sheaf F on a complex manifold X is the product of the Chern character of F with the Todd class of X. As a corollary, we obtain a functorial proof of the Grothendieck-Riemann-Roch theorem in Hodge cohomology for complex manifolds.
We study Fourier transforms of regular holonomic D-modules. By using the theory of Fourier-Sato transforms of enhanced ind-sheaves developed by Kashiwara-Schapira and D'Agnolo-Kashiwara, a formula for their enhanced solution complexes will be obtained. Moreover we show that some parts of their characteristic cycles and irregularities are expressed by the geometries of the original D-modules.
In D-module theory, we have the notion of the restriction of a module along a smooth variety. T. Oaku and N. Takayama have described a process to compute the restriction, which starts from a free resolution adapted to the V-filtration of Kashiwara-Malgrange. By using the theory of free resolutions adapted to the (order and V)-bifiltration (from T. Oaku , N. Takayama and M. Granger), we endow the restriction with an order filtration and we show that the process of Oaku and Takayama respects the order filtration. In consequence, we compute a minimal presentation of the algebraic local cohomology…
We give examples of reducible characteristic cycles for irreducible Harish-Chandra modules for $\mathrm{U}(p,q)$ by analyzing a four-dimensional singular subvariety of $\mathbb{C}^8$. We relate this singularity to the Kashiwara-Saito singularity arising for Schubert varieties for ${\mathrm{GL}}(8,\mathbb{C})$ with reducible characteristic cycles, as well as recent related examples of Williamson. In particular, this gives another explanation of the simple highest weight modules for ${\mathfrak{g}}{\mathfrak{l}}(12,\mathbb{C})$ with reducible associated varieties that Williamson discovered.
In this article we are interested in morphisms without slope for mixed Hodge modules. We first show the commutativity of iterated nearby cycles and vanishing cycles applied to a mixed Hodge module in the case of a morphism without slope. Then we define the notion "strictly without slope" for a mixed Hodge module and we show the preservation of this condition under the direct image by a proper morphism. As an application we prove the compatibility of the Hodge filtration and Kashiwara-Malgrange filtrations for some pure Hodge modules with support an hypersurface with quasi-ordinary singularitie…
In this paper, we reprove the Riemann-Hilbert correspondence for regular holonomic D-modules of [M. Kashiwara, Publ. Res. Inst. Math. Sci., 1984] (see also [Z. Mebkhout, Compositio Math., 1984.]) by using the irregular Riemann-Hilbert correspondence of [A. D'Agnolo and M. Kashiwara, Publ. Math. Inst. Hautes Etudes Sci., 2016]. Moreover, we also prove the algebraic one by the same argument. For this purpose, we study C-constructible enhanced ind-sheaves of [Y. Ito, Tsukuba journal of Mathematics, 2020, Rend. Sem. Mat. Univ. Padova., 2021.] in more detail.
For an algebraic vector bundle $E$ over a smooth algebraic variety $X$, a monodromic $D$-module on $E$ is decomposed into a direct sum of some $O$-modules on $X$. We show that the Hodge filtration of a monodromic mixed Hodge module is decomposed with respect to the decomposition of the underlying $D$-module. By using this result, we endow the Fourier-Laplace transform $M^{\wedge}$ of the underlying $D$-module $M$ of a monodromic mixed Hodge module with a mixed Hodge module structure. Moreover, we describe the irregular Hodge filtration on $M^{\wedge}$ concretely and show that it coincides with…
In this article we describe three constructions of complex variations of Hodge structure, proving the existence of interesting opposite filtrations that generalize a construction of Deligne. We also analyze the relation between deformations of Frobenius modules and certain maximally degenerate variations of Hodge structures. Finally, under a certain generation hypothesis, we show how to construct a Frobenius manifold starting from a deformation of a Frobenius module.
The notions Hodge-Newton decomposition and Hodge-Newton filtration for F-crystals are due to Katz and generalize Messing's result on the existence of the local-étale filtration for p-divisible groups. Recently, some of Katz's classical results have been generalized by Kottwitz to the context of F-crystals with additional structures and by Moonen to $μ$-ordinary p-divisible groups. In this paper, we discuss further generalizations to the situation of crystals in characteristic p and of p-divisible groups with additional structure by endomorphisms.
We extend the notion of test module filtration introduced by Blickle for Cartier modules. We then show that this naturally defines a filtration on unit $F$-modules and prove that this filtration coincides with the notion of $V$-filtration introduced by Stadnik in the cases where he proved existence of his filtration. We also show that these filtrations do not coincide in general. Moreover, we show that for a smooth morphism $f: X \to Y$ test modules are preserved under $f^!$. We also give examples to show that this is not the case if $f$ is finite flat and tamely ramified along a smooth diviso…
We show that the Hodge filtration of a tempered Hodge module is generated by the lowest piece of its Hodge filtration. As a consequence, we prove the main conjecture of [SV] in the special case of tempered representations of real reductive Lie groups.
Let G be GL_N or SL_N as reductive linear algebraic group over a field k of positive characteristic p. We prove several results that were previously established only when N < 6 or p > 2^N. Let G act rationally on a finitely generated commutative k-algebra A. Assume that A as a G-module has a good filtration or a Schur filtration. Let M be a noetherian A-module with compatible G action. Then M has finite good/Schur filtration dimension, so that there are at most finitely many nonzero H^i(G,M). Moreover these H^i(G,M) are noetherian modules over the ring of invariants A^G. Our main tool is a res…
We consider mixed Hodge module structures on GKZ-hypergeometric differential systems. We show that the Hodge filtration on these D-modules is given by the order filtration, up to suitable shift. As an application, we prove a conjecture on the existence of non-commutative Hodge structures on the reduced quantum D-module of a nef complete intersection inside a toric variety.
We give a Hodge-theoretic interpretation of the multiplier ideal of an effective divisor on a smooth complex variety. More precisely, we show that the associated graded coherent sheaf with respect to the jumping-number filtration can be recovered from the smallest piece of M. Saito's Hodge filtration of the D-module of vanishing cycles.
Given a mixed Hodge module and a meromorphic function f on a complex manifold, we associate to these data a filtration (the irregular Hodge filtration) on the exponentially twisted holonomic module, which extends the construction of arXiv:1302.4537. We show the strictness of the push-forward filtered D-module through any projective morphism, by using the theory of mixed twistor D-modules of T. Mochizuki. We consider the example of the rescaling of a regular function f, which leads to an expression of the irregular Hodge filtration of the Laplace transform of the Gauss-Manin systems of f in ter…
We introduce the notion of a favourable module for a complex unipotent algebraic group, whose properties are governed by the combinatorics of an associated polytope. We describe two filtrations of the module, one given by the total degree on the PBW basis of the corresponding Lie algebra, the other by fixing a homogeneous monomial order on the PBW basis. In the favourable case a basis of the module is parameterized by the lattice points of a normal polytope. The filtrations induce flat degenerations of the corresponding flag variety to its abelianized version and to a toric variety, the specia…
We characterise the symplectic Weyl group elements such that the FFLV basis is compatible with the PBW filtration on symplectic Demazure modules, extending type A results by the second author. Surprisingly, the number of such elements depends not on the type A or C of the Lie algebra but on the rank only.
We develop a Gröbner basis theory for a class of algebras that generalizes both PBW-algebras and rings of differential algebras on smooth varieties. Emphasis lies on methods to compute filtrations and graded structures defined by weight vectors. The approach is tailored for bifiltered D-modules satisfying properties of mixed Hodge modules. As a key ingredient in functors of such modules our theory applies to compute the order filtration on pieces of a V-filtration.
We show that each direct summand of the associated graded module of the test module filtration $τ(M, f^λ)_{λ\geq 0}$ admits a natural Cartier structure. If $λ$ is an $F$-jumping number, then this Cartier structure is nilpotent on $τ(M, f^{λ-\varepsilon})/τ(M, f^λ)$ if and only if the denominator of $λ$ is divisible by $p$. We also show that these Cartier structures coincide with certain Cartier structures that are obtained by considering certain $\mathcal{D}$-modules associated to $M$ that were used to construct Bernstein-Sato polynomials. Moreover, we point out that the zeros of the Bernstein…
Let $R$ be a ring essentially of finite type over an $F$-finite field. Given an ideal $\mathfrak{a}$ and a principal Cartier module $M$ we introduce the notion of a $V$-filtration of $M$ along $\mathfrak{a}$. If $M$ is $F$-regular then this coincides with the test module filtration. We also show that the associated graded induces a functor $Gr^{[0,1]}$ from Cartier crystals to Cartier crystals supported on $V(\mathfrak{a})$. This functor commutes with finite pushforwards for principal ideals and with pullbacks along essentially étale morphisms. We also derive corresponding transformation rules…
Let G be a semi simple linear algebraic group over a field of characteristic zero and let V be a finite dimensional irreducible G-module with highest weight vector v. Let P in G be the parabolic subgroup fixing v and let g=Lie(G). We get a canonical filtration of V by P-modules U^k(g)v where U^k(g) is the filtration of the universal enveloping algebra U(g). This filtration was in a previous paper studied in the case where P in G=SL(E) is the subgroup fixing an m-dimensional subspace. The aim of this paper is to use higher direct images of G-linearized sheaves, filtrations of generalized Verma …
In this paper, we consider $\mathbb{Z}^{r}-$graded modules on the $\mathrm{Cl}(X)$ $-$graded Cox ring $\mathbb{C}[x_{1},\dotsc,x_{r}]$ of a smooth complete toric variety $X$. Using the theory of Klyachko filtrations in the reflexive case, we construct a collection of lattice polytopes codifying the multigraded Hilbert function of the module. We apply this approach to reflexive $\mathbb{Z}^{s+r+2}$-graded modules over non-standard bigraded polynomial rings $\mathbb{C}[x_{0},\dotsc,x_{s},y_{0},\dotsc,y_{r}]$. In this case, we give sharp bounds for the multigraded regularity index of their multig…
Let G be a semisimple algebraic group over an algebraically closed field of positive characteristic p. Generalizing the construction of the PBW filtration on Weyl modules for G we construct a G-stable filtration on tensor products of Weyl modules which we call the induced PBW filtration. We use this filtration to give some purely representation-theoretic conditions which are equivalent to the existence of a Frobenius splitting of the double flag variety $G/B \times G/B$ that maximally compatibly splits the diagonal. In particular, this gives a sufficient condition for Wahl's conjecture to hold…
Let $(A, \mathfrak{m})$ be a Noetherian local ring and $\mathfrak{F}=(I_{n})_{n\geq 0}$ a filtration. In this paper, we study the Gorenstein properties of the fiber cone $F(\mathfrak{F})$, where $\mathfrak{F}$ is a Hilbert filtration. Suppose that $F(\mathfrak{F})$ and $G(\mathfrak{F})$ are Cohen-Macaulay. If in addition, the associated graded ring $G(\mathfrak{F})$ is Gorenstein; similarly to the $I$-adic case, we obtain a necessary and sufficient condition, in terms of lengths and minimal number of generators of ideals, for Gorensteiness of the fiber cone. Moreover, we find a description of …