Eva Elduque, Christian Geske, Moisés Herradón Cueto, Laurentiu Maxim, Botong Wang
备注：
To appear in Memoirs of the American Mathematical Society. v4: Updated theorem numbering to match the version to be published. v3: completely rewritten and extended to include new results regarding relationships with other mixed Hodge structures, information about weights, semisimplicity, etc. 114 pages. Comments are very welcome
Motivated by the limit mixed Hodge structure on the Milnor fiber of a hypersurface singularity germ, we construct a natural mixed Hodge structure on the torsion part of the Alexander modules of a smooth connected complex algebraic variety. More precisely, let $U$ be a smooth connected complex algebraic variety and let $f\colon U\to \mathbb{C}^*$ be an algebraic map inducing an epimorphism in fundamental groups. The pullback of the universal cover of $\mathbb{C}^*$ by $f$ gives rise to an infinite cyclic cover $U^f$ of $U$. The action of the deck group $\mathbb{Z}$ on $U^f$ induces a $\mathbb{Q}[t^{\pm 1}]$-module structure on $H_*(U^f;\mathbb{Q})$. We show that the torsion parts $A_*(U^f;\mathbb{Q})$ of the Alexander modules $H_*(U^f;\mathbb{Q})$ carry canonical $\mathbb{Q}$-mixed Hodge structures. We also prove that the covering map $U^f \to U$ induces a mixed Hodge structure morphism on the torsion parts of the Alexander modules. As applications, we investigate the semisimplicity of $A_*(U^f;\mathbb{Q})$, as well as possible weights of the constructed mixed Hodge structures. Finally, in the case when $f\colon U\to \mathbb{C}^*$ is proper, we prove the semisimplicity and purity of $A_*(U^f;\mathbb{Q})$, and we compare our mixed Hodge structure on $A_*(U^f;\mathbb{Q})$ with the limit mixed Hodge structure on the generic fiber of $f$.
To any complex algebraic variety endowed with a morphism to a complex affine torus we associate multivariable cohomological Alexander modules, and define natural mixed Hodge structures on their maximal Artinian submodules. The key ingredients of our construction are Gabber-Loeser's Mellin transformation and Hain-Zucker's work on unipotent variations of mixed Hodge structures. As applications, we prove the quasi-unipotence of monodromy, we obtain upper bounds on the sizes of the Jordan blocks of monodromy, and we explore the change in the Alexander modules after removing fibers of the map. We a…
In previous work jointly with Geske, Maxim and Wang, we constructed a mixed Hodge structure (MHS) on the torsion part of Alexander modules, which generalizes the MHS on the cohomology of the Milnor fiber for weighted homogeneous polynomials. The cohomology of a Milnor fiber carries a monodromy action, whose semisimple part is an isomorphism of MHS. The natural question of whether this result still holds for Alexander modules was then posed. In this paper, we give a positive answer to that question, which implies that the direct sum decomposition of the torsion part of Alexander modules into ge…
Multivariable Alexander invariants of algebraic links calculated in terms of algebro-geometric invariants (polytopes and ideals of quasiadjunction). The relations with log-canonical divisors, the multiplier ideals and a semicontinuity property of polytopes of quasiadjunction is discussed.
We define and construct mixed Hodge structures on real schematic homotopy types of complex projective varieties, giving mixed Hodge structures on their homotopy groups and pro-algebraic fundamental groups. We also show that these split on tensoring with the ring R[x] equipped with the Hodge filtration given by powers of (x-i), giving new results even for simply connected varieties. Thus the mixed Hodge structures can be recovered from cohomology groups of local systems, together with the monodromy action at the Archimedean place. As the basepoint varies, these all become real variations of mix…
Let $X$ a complex projective variety of complex dimension $n$ with only isolated singularities of simply connected links. We show that we can endow the rational cohomology of the family of the $\overline{p}$-perverse intersection spaces $\{ I^{\overline{p}}X \}$ with compatible mixed Hodge structures.
We define and construct mixed Hodge structures on real schematic homotopy types of complex quasi-projective varieties, giving mixed Hodge structures on their homotopy groups and pro-algebraic fundamental groups. We also show that these split on tensoring with the ring R[x] equipped with the Hodge filtration given by powers of (x-i), giving new results even for simply connected varieties. The mixed Hodge structures can thus be recovered from the Gysin spectral sequence of cohomology groups of local systems, together with the monodromy action at the Archimedean place. As the basepoint varies, th…
We compute the mixed Hodge structure on the cohomology ring of complements of complex coordinate subspace arrangements. The mixed Hodge structure can be described in terms of the special bigrading on the cohomology ring of complements of complex coordinate subspace arrangements. Originally this bigrading was introduced in the setting of toric topology by V.M. Buchstaber and T.E. Panov.
For a simply connected complex algebraic variey $X$, by the mixed Hodge structures $(W_{\bullet}, F^{\bullet})$ and $(\tilde W_{\bullet}, \tilde F^{\bullet})$ of the homology group $H_{*}(X;\mathbb Q)$ and the homotopy groups $π_{*}(X)\otimes \mathbb Q$ respectively, we have the following mixed Hodge polynomials $$MH_X(t,u,v):= \sum_{k,p,q} \operatorname{dim} \Bigl ( Gr_{F^{\bullet}}^{p} Gr^{W_{\bullet}}_{p+q} H_k (X;\mathbb C) \Bigr) t^{k} u^{-p} v^{-q},$$ $$\quad \, \, MH^π_X(t,u,v):= \sum_{k,p,q} \operatorname{dim} \Bigl (Gr_{\tilde F^{\bullet}}^{p} Gr^{\tilde W_{\bullet}}_{p+q} (π_k(X) \ot…
We prove a formality theorem for algebraic objects internal to smooth complex varieties that are not compact but whose mixed Hodge structure has a certain purity property.
This paper gives an introduction and overview about recent developments on the interaction of the theories of characteristic classes and mixed Hodge theory for singular spaces in the complex algebraic context. It uses M. Saito's deep theory of mixed Hodge modules as a "black box", thinking about them as "constructible or perverse sheaves of Hodge structures", having the same functorial calculus of Grothendieck functors. For the "constant Hodge sheaf", one gets the "motivic characteristic classes" of Brasselet-Schuermann-Yokura, whereas the classes of the "intersection homology Hodge sheaf" wer…
In previous work, we constructed for a smooth complex variety $X$ and for a linear algebraic group $G$ a mixed Hodge structure on the complete local ring $\widehat{\mathcal{O}}_ρ$ to the moduli space of representations of the fundamental group $π_1(X,x)$ into $G$ at a representation $ρ$ underlying a variation of mixed Hodge structure. We now show that the jump ideals $J_k^i \subset \widehat{\mathcal{O}}_ρ$, defining the locus of representations such the the dimension of the cohomology of $X$ in degree $i$ of the associated local system is greater than $k$, are sub-mixed Hodge structures; this …
In this article we introduce the mixed Hodge structure of the Brieskorn module of a polynomial $f$ in $\C^{n+1}$, where $f$ satisfies a certain regularity condition at infinity (and hence has isolated singularities). We give an algorithm which produces a basis of a localization of the Brieskorn module which is compatible with its mixed Hodge structure. As an application we show that the notion of a Hodge cycle in regular fibers of $f$ is given in terms of the vanishing of integrals of certain polynomial $n$-forms in $\C^{n+1}$ over topological $n$-cycles on the fibers of $f$. Since the $n$-th …
A homotopical treatment of intersection cohomology recently developed by Chataur-Saralegui-Tanré associates a "perverse algebraic model" to every topological pseudomanifold, extending Sullivan's presentation of rational homotopy to intersection cohomology. In this context, there is a notion of "intersection-formality", measuring the vanishing of Massey products in intersection cohomology. In the present paper, we study the perverse algebraic model of complex projective varieties with isolated singularities. We endow such invariant with natural mixed Hodge structures. This allows us to prove so…
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…
We introduce the notion of mixed Hodge complex on an algebraic variety, improving Du Bois' filtered complex, and relate Deligne's theory of mixed Hodge structure with the theory of mixed Hodge module. This was supposed to be true, but is quite nontrivial, because the theory of mixed Hodge module does not work on a simplicial scheme. Some application to the Du Bois singularity is given.
With a basic knowledge of cohomology theory, the background necessary to understand Hodge theory and polarization, Deligne's Mixed Hodge Structure on cohomology of complex algebraic varieties is described.
We explain some fundamental differences between the theories of mixed Hodge modules and mixed twistor modules (including the difference in weight system on the nearby cycle functor) which do not seem to be clarified explicitly in the literature.
We promote Beilinson's triangulated equivalence between the bounded derived category of rational polarizable mixed Hodge structures and the derived category of rational polarizable mixed Hodge complexes to an equivalence of symmetric monoidal quasi-categories. We use this equivalence to construct a presheaf of commutative differential graded algebras in the ind-completion of the category of rational mixed Hodge structures which computes Deligne's mixed Hodge structure on the rational Betti cohomology of $\mathbf{C}$-schemes of finite type. This leads to a preshea--in the quasi-categorical sens…
We construct toroidal partial compactifications of the moduli spaces of mixed Hodge structures with polarized graded quotients. They are moduli spaces of log mixed Hodge structures with polarized graded quotients. We construct them as the spaces of nilpotent orbits.
We continue our work on variations of graded-polarized mixed Hodge structures by defining analogs of the harmonic metric equations for filtered bundles and proving a precise analog of Schmid's Nilpotent Orbit Theorem for 1-parameter degenerations of graded-polarized mixed Hodge structure.
We announce the construction of toroidal partial compactifications of the moduli spaces of mixed Hodge structures with polarized graded quotients. They are moduli spaces of log mixed Hodge structures with polarized graded quotients. We include an application to the analyticity of zero loci of some functions.
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 show that the mixed Hodge structures of character varieties are of Hodge--Tate type and that the mixed Hodge polynomials are independent of the choice of generic eigenvalues, which is a conjecture due to Hausel, Letellier and Rodriguez-Villegas. Moreover, we investigate the mixed Hodge structures of the moduli space of semistable parabolic Higgs bundles and the moduli space of semistable regular singular parabolic connections. We show that the mixed Hodge structures of these moduli spaces are pure.
We construct an enlargement of the classifying space of mixed Hodge structures with polarized graded quotients, by adding mixed Hodge theoretic version of SL(2)-orbits. This space has a real analytic structure and a log structure with sign. The SL(2)-orbit theorem in several variables for mixed Hodge structures can be understood naturally with this space.
We refine the Morgan's work on mixed Hodge structures on Sullivan's $1$--minimal models by using non-abelian Hodge theory. As an application, we give explicit representatives of real unipotent variations of mixed Hodge structures over compact K"ahler manifolds.
We construct a Mixed Hodge Structure on the local complete ring of the representation scheme at the holonomy of a VHS on a compact Kähler manifold and prove that the corresponding tautological representation is the holonomy of a VMHS. In order to carry out this construction we revisit the well-known work of Goldman and Millson on the deformation theory of representations of Kähler groups.
For a smooth algebraic variety $X$, a monodromic $D$-module on $X\times \mathbb{C}$ is decomposed into a direct sum of some $D$-modules on $X$. We show that the Hodge filtration of a mixed Hodge module on $X\times \mathbb{C}$ whose underlying $D$-module is monodromic is also decomposed. Moreover, we show that there is an equivalence of categories between the category of monodromic mixed Hodge modules on $X\times \mathbb{C}$ and the category of ``gluing data''. As an application, we endow the Fourier-Laplace transformation of the underlying $D$-module of a monodromic mixed Hodge module with a m…
This note is inspired by the work of Deligne on the local behavior of Hodge structures at infinity. We study limit mixed Hodge structures of degenerating families of compact hyperkähler manifolds. We show that when the monodromy action on $H^2$ has maximal index of unipotency, the limit mixed Hodge structures on all cohomology groups are of Hodge-Tate type.
These notes are an extended version of the authors' lectures at the 2013 CMI Workshop "Mixed Hodge Modules and Their Applications". We give an overview, with an emphasis on applications, of recent developments on the interaction between characteristic class theories for singular spaces and Saito's theory of mixed Hodge modules in the complex algebraic context.
The purpose of this work is to geometrize the notion of mixed Hodge structure. Therefore, we associate equivariant vector bundles on the projective plane to trifiltered vector spaces. Making this Rees construction with filtrations arising from mixed Hodge structures gives an equivalence of categories between the category of mixed Hodge structures and a category of equivariant vector bundles on ${\bf P}^{2}_{\bf C}$ that are semistable for a semistability condition with respect to a divisor. Using this dictionary we can recover geometrically some properties of mixed Hodge structures like the ab…
After explaining the definition of pure and mixed Hodge modules on complex manifolds, we describe some of Saito's most important results and their proofs, and then discuss two simple applications of the theory.
The purpose of this note is prove that the mixed Hodge structure constructed by the author in math.AG/0301140 [The Leray spectral sequence is motivic, Invent. 2005] for geometric variations of Hodge structure coincides with the structure coming from M. Saito's mixed Hodge module theory. This note also contains a small erratum for the earlier paper.
We give some details of a simpler definition of mixed Hodge modules which has been announced in some papers. Compared with earlier arguments, this new definition is simplified by using Beilinson's maximal extension together with stability by subquotients systematically.
Based on some analogies with the Hodge theory of isolated hypersurface singularities, we define Hodge-type numerical invariants (called H-numbers) of any, not necessarily algebraic, link in $S^3$. They contain the same information as the (normalized) real Seifert matrix. We study their basic properties, we express the Tristram-Levine signatures and the higher order Alexander polynomial in terms of them. Motivated by singularity theory, we also introduce the spectrum of the link (determined from these H-numbers), and we establish some semicontinuity properties for it.
The purpose of this article is to investigate the properties of the category of mixed plectic Hodge structures defined by Nekovář and Scholl. We give an equivalent description of mixed plectic Hodge structures in terms of the weight and partial Hodge filtrations. We also construct an explicit complex calculating the extension groups in this category.
This paper was motivated by the following question: Recall that for a smooth projective variety X whose polarized Hodge structure on H^n(X,Q)_{prim} leads to a period point ...
We discuss the variations of mixed Hodge structure for cohomology with compact support of quasi-projective simple normal crossing pairs. We show that they are graded polarizable admissible variations of mixed Hodge structure. Then we prove a generalization of the Fujita--Kawamata semi-positivity theorem.
We propose a definition of ``nonabelian mixed Hodge structure'' together with a construction associating to a smooth projective variety $X$ and to a nonabelian mixed Hodge structure $V$, the ``nonabelian cohomology of $X$ with coefficients in $V$'' which is a (pre-)nonabelian mixed Hodge structure denoted $H=Hom(X_M, V)$. We describe the basic definitions and then give some conjectures saying what is supposed to happen. At the end we compute an example: the case where $V$ has underlying homotopy type the complexified 2-sphere, and mixed Hodge structure coming from its identification with $\pp …
For a smooth, projective complex variety, we introduce several mixed Hodge structures associated to higher algebraic cycles. Most notably, we introduce a mixed Hodge structure for a pair of higher cycles which are in the refined normalized complex and intersect properly. In a special case, this mixed Hodge structure is an oriented biextension, and its height agrees with the higher archimedean height pairing introduced in a previous paper by the first two authors. We also compute a non-trivial example of this height given by Bloch-Wigner dilogarithm function. Finally we study the variation of m…
We consider a hypersurface in $\mathbb{C}^n$ with an isolated singular point at the origin, and study the mixed Hodge structure of the stalk of its intersection cohomology complex at the origin. In particular we express the dimension of each graded piece of the weight filtration of this mixed Hodge structure in terms of the numbers of the Jordan blocks in the Milnor monodromy.
For a linear algebraic group $G$ over $\bf Q$, we consider the period domains $D$ classifying $G$-mixed Hodge structures, and construct the extended period domains $D_{\mathrm{BS}}$, $D_{\mathrm{SL}(2)}$, and $Γ\backslash D_Σ$. In particular, we give toroidal partial compactifications of mixed Mumford--Tate domains.
We prove that a variation of graded-polarizable mixed Hodge structure over a punctured disk with unipotent monodromy, has a limiting mixed Hodge structure at the puncture (i.e., it is admissible in the sense of [SZ]) which splits over $\R$, if and only if certain grading of the complexified weight filtration, depending smoothly on the Hodge filtration, extends across the puncture. In particular, the result exactly supplements Schmid's Theorem for pure structures, which holds for the graded variation, and gives a Hodge-theoretic condition for the relative monodromy weight filtration to exist.
We construct a hermitian metric on the classifying spaces of graded-polarized mixed Hodge structures and prove analogs of the strong distance estimate between an admissible period map and the approximating nilpotent orbit. We also consider the asymptotic behavior of the biextension metric, the norm estimates and the asymptotics of the reduced limit Hodge filtration.
This is primarily an expository piece and the first sentence of the introduction pretty much sums it up: This article is aimed at people who already know what mixed Hodge structures are and what they are good for, but who are not sure how to construct them.
In this article, we will give the Deligne 1-motives up to isogeny corresponding to the $\mathbb{Q}$-limiting mixed Hodge structures of semi-stable degenerations of curves, by using logarithmic structures and Steenbrink's cohomological mixed Hodge complexes associated to semi-stable degenerations of curves.
This paper is an expanded version of a talk given at the Current Developments in Mathematics Conference last November (2002) on the work of Wilfred Schmid on periods of limits of Hodge structures. The paper begins with an exposition of the theory of limits of Hodge structures with some emphasis on the geometry. It goes on to discuss (briefly) the periods of the limit mixed Hodge structure on the fundamental group (made unipotent) of the projective line minus 3 points and its connections with mixed zeta numbers and mixed Tate motives over Spec Z through the work Deligne, Goncharov and others.
