It's well known that multiple polylogarithms give rise to good unipotent variations of mixed Hodge-Tate structures. In this paper we shall {\em explicitly} determine these structures related to multiple logarithms and some other multiple polylogarithms of lower weights. The purpose of this explicit construction is to give some important applications: First we study of the limit mixed Hodge-Tate structures and make a conjecture relating the variations of mixed Hodge-Tate structures of multiple logarithms to those of general multiple {\em poly}logarithms. Then following Deligne and Beilinson we describe an approach to defining the single-valued real analytic version of the multiple polylogarithms which generalizes the well-known result of Zagier on classical polylogarithms. In the process we find some interesting identities relating single-valued multiple polylogarithms of the same weight $k$ when $k=2$ and 3. At the end of this paper, motivated by Zagier's conjecture we pose a problem which relates the special values of multiple Dedekind zeta functions of a number field to the single-valued version of multiple polylogarithms.
The purpose of this article is to describe explicitly the polylogarithm class in absolute Hodge cohomology of a product of multiplicative groups, in terms of the Bloch-Wigner-Ramakrishnan polylogarithm functions. We will use the logarithmic Dolbeault complex defined by Burgos to calculate the corresponding absolute Hodge cohomology groups.
We develop the theory of multiple polylogarithms from analytic, Hodge and motivic point of view. Define the category of mixed Tate motives over a ring of integers in a number field. Describe explicitly the multiple polylogarithm Hopf algebra.
We establish a tannakian formalism of $p$-adic multiple polylogarithms and $p$-adic multiple zeta values introduced in our previous paper via a comparison isomorphism between a de Rham fundamental torsor and a rigid fundamental torsor of the projective line minus three points and also discuss its Hodge and etale analogues. As an application we give a way to erase log poles of $p$-adic multiple polylogarithms and introduce overconvergent $p$-adic multiple polylogarithms which might be $p$-adic multiple analogue of Zagier's single-valued complex polylogarithms.
In this paper, we shall generalize the theory of mixed Hodge structures due to Deligne and obtain a subcategory GMHS in the category of mixed Hodge structures such that we have Ext_{GMHS}^2(Q,-)\not=0 in general.
We prove a conjecture of Milne pertaining to the existence of integral canonical models of Shimura varieties of abelian type in arbitrary unramified mixed characteristic $(0,p)$. As an application we prove for $p=2$ a motivic conjecture of Milne pertaining to integral canonical models of Shimura varieties of Hodge type.
We construct algebraic cycles in Bloch's cubical cycle group which correspond to multiple polylogarithms with generic arguments. Moreover, we construct out of them a Hopf subalgebra in the Bloch-Kriz cycle Hopf algebra. In the process, we are led to other Hopf algebras built from trees and polygons, which are mapped to the latter. We relate the coproducts to the one for Goncharov's motivic multiple polylogarithms and to the Connes-Kreimer coproduct on plane trees and produce the associated Hodge realization for polygons.
We study the $L^2$--cohomology of certain local systems on non-compact arithmetic ball quotients $X=Γ\backslash \B_n$, in particular vanishing and non--vanishing results. We also give generalizations to higher dimensional ball quotients and study the mixed Hodge structure on the sheaf cohomology of a local system with the $L^2$-cohomology contributing to the lowest weight part.
A $σ$-operator on a complexification $V_{\C}$ of an $\R$-vector space $V_{\R}$ is an operator $A \in \rm{End}_{\C} (V_{\C})$ such that $σ(A) = 0$ where $σ(z)$ denotes the Weierstrass $σ$-function. In this paper we define the notion of the strongly pseudo-real $σ$-operator and prove that there is one to one correspondence between real mixed Hodge structures and strongly pseudo-real $σ$-operators.
Formal (mixed) Hodge structures FHS are introduced in such a way that the Hodge realization of Deligne's 1-motives extends to a realization from Laumon's 1-motives to formal Hodge structures of level 1, providing an equivalence of categories. For the sake of exposition we here confine our study to level 1 mixed Hodge structures. However, it is conceivable and suitable to consider formal mixed Hodge structures with arbitrary Hodge numbers: generalizing our definition herebelow it's not that difficult and we will treat such a matter nextly.
In this paper we introduce a certain space of higher order modular forms of weight 0 and show that it has a Hodge structure coming from the geometry of the fundamental group of a modular curve. This generalizes the usual structure on classical weight 2 forms coming from the cohomology of the modular curve. Further we construct some higher order Poincare series to get higher order higher weight forms and using them we define a space of higher weight, higher order forms which has a mixed Hodge structure as well.
Institut Montpelliérain Alexander Grothendieck, Université de Montpellier, CNRS（蒙彼利埃亚历山大格罗滕迪克研究所，蒙彼利埃大学，法国国家科学研究中心）；Sorbonne Université and Université Paris Cité, CNRS, IMJ-PRG（索邦大学和巴黎西岱大学，法国国家科学研究中心，IMJ-PRG）
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.
We define motivic multiple polylogarithms and prove the double shuffle relations for them. We use this to study the motivic fundamental group of the multiplicative group - {N-th roots of unity} and relate it to geometry of modular varieties. In particular we get new information about the actionof the Galois group on the pro-l completion of the above fundamental group. This paper is the second part of "Multiple polylogarithms and mixed Tate motives" math.AG/0103059
In this paper, we give a natural construction of mixed Tate motives whose periods are a class of iterated integrals which include the multiple polylogarithm functions. Given such an iterated integral, we construct two divisors $A$ and $B$ in the moduli spaces $\mathcal{\bar{M}}_{0,n}$ of $n$-pointed stable curves of genus 0, and prove that the cohomology of the pair $(\mathcal{\bar{M}}_{0,n}-A,B-B\cap A)$ is a framed mixed Tate motive whose period is that integral. It generalizes the results of A. Goncharov and Yu. Manin for multiple zeta values. Then we apply our construction to the dilogarit…
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 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.
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.
