Geometric polarized log Hodge structures with a base of log rank one

Taro Fujisawa,Chikara Nakayama

DOI: https://doi.org/10.48550/arXiv.1811.08254

2018-11-20

Abstract:We prove that a projective vertical exact log smooth morphism of fs log analytic spaces with a base of log rank one yields polarized log Hodge structures in the canonical way.

Algebraic Geometry

What problem does this paper attempt to address?

Geometric polarized log Hodge structures for semistable families

Taro Fujisawa,Chikara Nakayama

2023-07-08

Abstract:We prove that a projective semistable morphism of fs log analytic spaces yields polarized log Hodge structures in the canonical way.

Algebraic Geometry
Geometry of the logarithmic Hodge moduli space

Mark Andrea de Cataldo,Andres Fernandez Herrero,Siqing Zhang

DOI: https://doi.org/10.1112/jlms.12857

2024-01-01

Journal of the London Mathematical Society

Abstract:Abstract We show the smoothness over the affine line of the Hodge moduli space of logarithmic ‐connections of coprime rank and degree on a smooth projective curve with geometrically integral fibers over an arbitrary Noetherian base. When the base is a field, we also prove that the Hodge moduli space is geometrically integral. Along the way, we prove the same results for the corresponding moduli spaces of logarithmic Higgs bundles and of logarithmic connections. We use smoothness to derive specialization isomorphisms on the étale cohomology rings of these moduli spaces; this includes the special case when the base is of mixed characteristic. In the special case where the base is a separably closed field of positive characteristic, we show that these isomorphisms are filtered isomorphisms for the perverse filtrations associated with the corresponding Hitchin‐type morphisms.

mathematics
Limiting mixed Hodge structures on the relative log de Rham cohomology groups of a projective semistable log smooth degeneration

Taro Fujisawa

DOI: https://doi.org/10.48550/arXiv.2011.00926

2020-11-22

Abstract:We prove that the relative log de Rham cohomology groups of a projective semistable log smooth degeneration admit a natural \textit{limiting} mixed Hodge structure. More precisely, we construct a family of increasing filtrations and a family of nilpotent endomorphisms on the relative log de Rham cohomology groups and show that they satisfy a part of good properties of a nilpotnet orbit in several variables.

Algebraic Geometry
The Logarithmic Gauged Linear Sigma Model

Chen Qile,Janda Felix,Ruan Yongbin

DOI: https://doi.org/10.1007/s00222-021-01044-2

IF: 3.128

2021-01-01

Inventiones mathematicae

Abstract:We introduce the notion of log R-maps, and develop a proper moduli stack of stable log R-maps in the case of a hybrid gauged linear sigma model. Two virtual cycles (canonical and reduced) are constructed for these moduli stacks. The main results are two comparison theorems relating the reduced virtual cycle to the cosection localized virtual cycle, as well as the reduced virtual cycle to the canonical virtual cycle. This sets the foundation of a new technique for computing higher genus Gromov-Witten invariants of complete intersections.
Hodge conjecture for projective hypersurface

Johann Bouali

2024-01-29

Abstract:We show that a Hodge class of a complex smooth projective hypersurface is an analytic logarithmic De Rham class. On the other hand we show that for a complex smooth projective variety an analytic logarithmic De Rham class of of type $(d,d)$ is the class of codimension $d$ algebraic cycle. We deduce the Hodge conjecture for smooth projective hypersurfaces.

Algebraic Geometry
Moduli space of rank three logarithmic connections on the projective line with three poles

Takafumi Matsumoto

2024-07-04

Abstract:In this paper, we describe the moduli space of rank three parabolic logarithmic connections on the projective line with three poles for any local exponents. In particular, we show that the family of moduli spaces of rank three parabolic $\phi$-connections on the projective line with three poles is isomorphic to the family of $A^{(1)*}_2$-surfaces in Sakai's classification of Painlevé equations. Through this description, we investigate the relation between the apparent singularities and underlying parabolic bundles.

Algebraic Geometry
Some examples of log Fano structures on blow-ups along subvarieties in products of two projective spaces

Toru Tsukioka

DOI: https://doi.org/10.48550/arXiv.1809.08574

2018-09-23

Abstract:We consider the problem to determine which blow-ups along subvarieties in products of two projective spaces are log Fano. By describing the nef cones of such blow-ups with special centers, we give a partial classification result. For each example, explicit boundary divisors are also given.

Algebraic Geometry
Geometry of Polarised Varieties

Birkar Caucher

DOI: https://doi.org/10.1007/s10240-022-00136-w

2023-01-01

Abstract:In this paper, we investigate the geometry of projective varieties polarised by ample and more generally nef and big Weil divisors. First we study birational boundedness of linear systems. We show that if $X$ is a projective variety of dimension $d$ with $\epsilon $ -lc singularities for $\epsilon >0$ , and if $N$ is a nef and big Weil divisor on $X$ such that $N-K_{X}$ is pseudo-effective, then the linear system $|mN|$ defines a birational map for some natural number $m$ depending only on $d,\epsilon $ . This is key to proving various other results. For example, it implies that if $N$ is a big Weil divisor (not necessarily nef) on a klt Calabi-Yau variety of dimension $d$ , then the linear system $|mN|$ defines a birational map for some natural number $m$ depending only on $d$ . It also gives new proofs of some known results, for example, if $X$ is an $\epsilon $ -lc Fano variety of dimension $d$ then taking $N=-K_{X}$ we recover birationality of $|-mK_{X}|$ for bounded $m$ . We prove similar birational boundedness results for nef and big Weil divisors $N$ on projective klt varieties $X$ when both $K_{X}$ and $N-K_{X}$ are pseudo-effective (here $X$ is not assumed $\epsilon $ -lc). Using the above, we show boundedness of polarised varieties under some natural conditions. We extend these to boundedness of semi-log canonical Calabi-Yau pairs polarised by effective ample Weil divisors not containing lc centres. We will briefly discuss applications to existence of projective coarse moduli spaces of such polarised Calabi-Yau pairs.
Geometry and moduli of polarised varieties

Caucher Birkar

2020-01-01

Abstract:In this paper we investigate the geometry of projective varieties polarised by ample and more generally nef and big Weil divisors. First we study birational boundedness of linear systems. We show that if $X$ is a projective variety of dimension $d$ with $\epsilon$-lc singularities for $\epsilon>0$, and if $N$ is a nef and big Weil divisor on $X$ such that $N-K_X$ is pseudo-effective, then the linear system $|mN|$ defines a birational map for some natural number $m$ depending only on $d,\epsilon$. This is key to proving various other results. For example, it implies that if $N$ is a big Weil divisor (not necessarily nef) on a klt Calabi-Yau variety of dimension $d$, then the linear system $|mN|$ defines a birational map for some natural number $m$ depending only on $d$. It also gives new proofs of some known results, for example, if $X$ is an $\epsilon$-lc Fano variety of dimension $d$ then taking $N=-K_X$ we recover birationality of $|-mK_X|$ for bounded $m$. We prove similar birational boundedness results for nef and big Weil divisors $N$ on projective klt varieties $X$ when both $K_X$ and $N-K_X$ are pseudo-effective (here $X$ is not assumed $\epsilon$-lc). Using the above we show boundedness of polarised varieties under some natural conditions. We extend these to boundedness of semi-log canonical Calabi-Yau pairs polarised by effective ample Weil divisors not containing lc centres. Combining this with the moduli theory of stable pairs we show that polarised Calabi-Yau pairs and polarised Fano pairs admit projective coarse moduli spaces.
Hodge structures on analytic moduli of real pluriharmonic bundles

J. P. Pridham

DOI: https://doi.org/10.48550/arXiv.0902.0766

2009-02-05

Abstract:We define and construct the real analytic moduli stack of pluriharmonic bundles on a compact Kaehler manifold X, and show how this is equipped with Hodge and quaternionic structures. This stack maps to the de Rham moduli stack, giving rise to preferred sections of the Deligne-Hitchin twistor stack. We then show how the non-abelian mixed Hodge structures on Malcev homotopy types X can be extended to objects over the pluriharmonic moduli stack.

Algebraic Geometry
Semiclassical Hodge theory for log Poisson manifolds

Aidan Lindberg,Brent Pym

2024-08-30

Abstract:We construct a mixed Hodge structure on the topological K-theory of smooth Poisson varieties, depending weakly on a choice of compactification. We establish a package of tools for calculations with these structures, such as functoriality statements, projective bundle formulae, Gysin sequences and Torelli properties. We show that for varieties with trivial A-hat class, the corresponding period maps for families can be written as exponential maps for bundles of tori, which we call the "quantum parameters". As justification for the terminology, we show that in many interesting examples, the quantum parameters of a Poisson variety coincide with the parameters appearing in its known deformation quantizations. In particular, we give a detailed implementation of an argument of Kontsevich, to prove that his canonical quantization formula, when applied to Poisson tori, yields noncommutative tori with parameter "$q = e^\hbar$".

Algebraic Geometry,Mathematical Physics,Quantum Algebra,Symplectic Geometry
The Cohomology of a Variation of Polarized Hodge Structures over a Quasi-Compact Kähler Manifold

Juergen Jost,Yi-Hu Yang,Kang Zuo

DOI: https://doi.org/10.1090/s1056-3911-07-00468-7

2007-01-01

Journal of Algebraic Geometry

Abstract:In this article, we consider the cohomologies with coefficients in a variation of polarized Hodge structures on a quasi-compact Kaehler manifold. We show that the L 2 L^2 -Dolbeault cohomology can be identified with the L 2 L^2 cohomology; we also give several direct applications of the result above.
Prismatic logarithm and prismatic Hochschild homology via norm

Zhouhang Mao

2024-09-07

Abstract:In this brief note, we present an elementary construction of the first Chern class of Hodge--Tate crystals in line bundles using a refinement of the prismatic logarithm, which should be comparable to the one considered by Bhargav Bhatt. The key to constructing this refinement is Yuri Sulyma's norm on (animated) prisms. We explain the relation of this construction to prismatic Witt vectors, as a generalization of Kaledin's polynomial Witt vectors. We also propose the prismatic Hochschild homology as a noncommutative analogue of prismatic de Rham complex.

Algebraic Geometry,Algebraic Topology,K-Theory and Homology
Relative étale slices and cohomology of moduli spaces

Mark Andrea de Cataldo,Andres Fernandez Herrero,Andrés Ibáñez Núñez

2023-07-01

Abstract:We use techniques of Alper-Hall-Rydh to prove a local structure theorem for smooth morphisms between smooth stacks around points with linearly reductive stabilizers. This implies that the good moduli space of a smooth stack over a base has equisingular fibers. As an application, we show that any two fibres have isomorphic $\ell$-adic cohomology rings and intersection cohomology groups. If we work over the complex numbers, we show that the family is topologically locally trivial on the base, and that the intersection cohomology groups of the fibers fit into a polarizable variation of pure Hodge structures. We apply these results to derive some consequences for the moduli spaces of $G$-bundles on smooth projective curves, and for the moduli spaces of sheaves on "negatively polarized" surfaces and on del Pezzo Gorenstein surfaces for nongeneric stability parameters.

Algebraic Geometry
A strong counterexample to the log canonical Beauville--Bogomolov decomposition

Fabio Bernasconi,Stefano Filipazzi,Zsolt Patakfalvi,Nikolaos Tsakanikas

2024-10-02

Abstract:For every $d \geq 4$, we construct a $d$-dimensional, log canonical, $K$-trivial variety with the property that two general fibers of its Albanese morphism are not birational. This provides a strong counterexample to the Beauville--Bogomolov decomposition in the log canonical setting. This construction can also be adapted to construct a smooth quasi-projective variety of logarithmic Kodaira dimension 0 whose quasi-Albanese morphism has maximal variation. On the positive side, we show that the Albanese morphism for log canonical pairs with nef anti-canonical class is a locally stable family of pairs.

Algebraic Geometry,Differential Geometry
Mixed Hodge modules and real groups

Dougal Davis,Kari Vilonen

2023-06-08

Abstract:Let $G$ be a complex reductive group, $\theta \colon G \to G$ an involution, and $K = G^\theta$. In <a class="link-https" data-arxiv-id="1206.5547" href="https://arxiv.org/abs/1206.5547">arXiv:1206.5547</a>, W. Schmid and the second named author proposed a program to study unitary representations of the corresponding real form $G_\mathbb{R}$ using $K$-equivariant twisted mixed Hodge modules on the flag variety of $G$ and their polarizations. In this paper, we make the first significant steps towards implementing this program. Our first main result gives an explicit combinatorial formula for the Hodge numbers appearing in the composition series of a standard module in terms of the Lusztig-Vogan polynomials. Our second main result is a polarized version of the Jantzen conjecture, stating that the Jantzen forms on the composition factors are polarizations of the underlying Hodge modules. Our third main result states that, for regular Beilinson-Bernstein data, the minimal $K$-type of an irreducible Harish-Chandra module lies in the lowest piece of the Hodge filtration of the corresponding Hodge module. An immediate consequence of our results is a Hodge-theoretic proof of the signature multiplicity formula of <a class="link-https" data-arxiv-id="1212.2192" href="https://arxiv.org/abs/1212.2192">arXiv:1212.2192</a>, which was the inspiration for this work.

Representation Theory,Algebraic Geometry
Moduli stacks of Higgs bundles on stable curves

Oren Ben-Bassat,Sourav Das,Tony Pantev

2023-10-12

Abstract:In this article, we construct a flat degeneration of the derived moduli stack of Higgs bundles on smooth curves using the stack of expanded degenerations of Jun Li. We show that there is an intrinsic relative log-symplectic form on the degeneration and we compare it with the one constructed by the second author. We show that the Hitchin map of the degeneration we construct has complete fibers. Furthermore, we show that the Hitchin map is flat and that a suitable open subset of the smooth locus of the reduced nilpotent cone is Lagrangian. We also extend the construction of the moduli of Higgs bundles along with the relative log-symplectic form over the universal moduli stack of stable curves.

Algebraic Geometry
A construction of the polylogarithm motive

Clément Dupont,Javier Fresán

2023-05-01

Abstract:Classical polylogarithms give rise to a variation of mixed Hodge-Tate structures on the punctured projective line $S=\mathbb{P}^1\setminus \{0, 1, \infty\}$, which is an extension of the symmetric power of the Kummer variation by a trivial variation. By results of Beilinson-Deligne, Huber-Wildeshaus, and Ayoub, this polylogarithm variation has a lift to the category of mixed Tate motives over $S$, whose existence is proved by computing the corresponding space of extensions in both the motivic and the Hodge settings. In this paper, we construct the polylogarithm motive as an explicit relative cohomology motive, namely that of the complement of the hypersurface $\{1-zt_1\cdots t_n=0\}$ in affine space $\mathbb{A}^n_S$ relative to the union of the hyperplanes $\{t_i=0\}$ and $\{t_i=1\}$.

Algebraic Geometry,K-Theory and Homology,Number Theory
Meromorphic Projective Structures, Opers and Monodromy

Titouan Sérandour

2023-09-05

Abstract:The complex projective structures considered is this article are compact curves locally modeled on $\mathbb{CP}^1$. To such a geometric object, modulo marked isomorphism, the monodromy map associates an algebraic one: a representation of its fundamental group into $\operatorname{PGL}(2,\mathbb{C})$, modulo conjugacy. This correspondence is neither surjective nor injective. Nonetheless, it is a local diffeomorphism [Hejhal, 1975]. We generalize this theorem to projective structures admitting poles (without apparent singularity and with fixed residues): the corresponding monodromy map (including Stokes data) is a local biholomorphism.

Differential Geometry,Algebraic Geometry,Complex Variables
Formulae in noncommutative Hodge theory

Nick Sheridan

DOI: https://doi.org/10.1007/s40062-019-00251-2

2019-12-10

Abstract:We prove that the cyclic homology of a saturated $A_\infty$ category admits the structure of a `polarized variation of Hodge structures', building heavily on the work of many authors: the main point of the paper is to present complete proofs, and also explicit formulae for all of the relevant structures. This forms part of a project of Ganatra, Perutz and the author, to prove that homological mirror symmetry implies enumerative mirror symmetry.

K-Theory and Homology

Geometric polarized log Hodge structures with a base of log rank one

Geometric polarized log Hodge structures for semistable families

Geometry of the logarithmic Hodge moduli space

Limiting mixed Hodge structures on the relative log de Rham cohomology groups of a projective semistable log smooth degeneration

The Logarithmic Gauged Linear Sigma Model

Hodge conjecture for projective hypersurface

Moduli space of rank three logarithmic connections on the projective line with three poles

Some examples of log Fano structures on blow-ups along subvarieties in products of two projective spaces

Geometry of Polarised Varieties

Geometry and moduli of polarised varieties

Hodge structures on analytic moduli of real pluriharmonic bundles

Semiclassical Hodge theory for log Poisson manifolds

The Cohomology of a Variation of Polarized Hodge Structures over a Quasi-Compact Kähler Manifold

Prismatic logarithm and prismatic Hochschild homology via norm

Relative étale slices and cohomology of moduli spaces

A strong counterexample to the log canonical Beauville--Bogomolov decomposition

Mixed Hodge modules and real groups

Moduli stacks of Higgs bundles on stable curves

A construction of the polylogarithm motive

Meromorphic Projective Structures, Opers and Monodromy

Formulae in noncommutative Hodge theory