This is meant to be a survey article for the Cubo Journal. We discuss the existence and number of rational points over a finite field, the Hodge type over the complex numbers, and the motivic conjectures which are controlling those invariants. We present a geometric version of it.
We construct a quasi-categorically enhanced Grothendieck six-functor formalism on schemes of finite type over the complex numbers. In addition to satisfying many of the same properties as M. Saito's derived categories of mixed Hodge modules, this new six-functor formalism receives canonical motivic realization functors compatible with Grothendieck's six functors on constructible objects.
We calculate the Hodge numbers of quasismooth Fano 3-folds whose total anti-canonical embedding has small codimension, and relate these to the number of deformations.
The Hodge correlators ${\rm Cor}_{\mathcal H}(z_0,z_1,\dots,z_n)$ are functions of several complex variables, defined by Goncharov (arXiv:0803.0297) by an explicit integral formula. They satisfy some linear relations: dihedral symmetry relations, distribution relations, and shuffle relations. We found new second shuffle relations. When $z_i\in0\cupμ_N$, where $μ_N$ are the $N$-th roots of unity, they are expected to give almost all relations. When $z_i$ run through a finite subset $S$ of $\mathbb C$, the Hodge correlators describe the real mixed Hodge-Tate structure on the pronilpotent complet…
In this paper we give a proof of the fact, that the motivic Hodge-Chern class transformation MHC_y and Hirzebruch class transformation MHT_y* for mixed Hodge modules and strictly specializable filtered D-modules commute with specialization in the algebraic and in a suitable complex analytic context. Here specialization in the Hodge- and D-module context means the corresponding nearby cycles defined in terms of the $V$-filtration of Malgrange-Kashiwara. This generalizes a corresponding specialization result of Verdier about MacPherson's Chern class transformation c_*.
These are notes of lectures given at the school `Birational Geometry of Hypersurfaces' in Gargnano in March 2018. The main goal was to discuss the Hodge structures that come naturally associated with a cubic fourfold. The emphasis is on the Hodge and lattice theoretic aspects with many technical details worked out explicitly. More geometric or derived results are only hinted at.
Given a smooth projective variety V of dimension n, one may say that V has motivic dimension less than d+1 if the cohomology of V comes from varieties of dimensions less than d+1 in some geometric way. In this paper, we show that a smooth complete interesection of k quadrics has a motivic dimension less than k.
We define motivic analogues of Igusa's local zeta functions. These functions take their values in a Grothendieck group of Chow motives. They specialize to p-adic Igusa local zeta functions and to the topological zeta functions we introduced several years ago. We study their basic properties, such as functional equations, and their relation with motivic nearby cycles. In particular the Hodge spectrum of a singular point of a function may be recovered from the Hodge realization of these zeta functions.
We define a new type of Hall algebras associated e.g. with quivers with polynomial potentials. The main difference with the conventional definition is that we use cohomology of the stack of representations instead of constructible sheaves or functions. In order to take into account the potential we introduce a generalization of theory of mixed Hodge structures, related to exponential integrals. Generating series of our Cohomological Hall algebra is a generalization of the motivic Donaldson-Thomas invariants introduced in arXiv:0811.2435. Also we prove a new integrality property of motivic Dona…
For each smooth Fano threefold $X$ with Picard number 1 we consider a weak Landau--Ginzburg model, that is a fibration over $\mathbb C^1$ given by a certain Laurent polynomial. In the spirit of L. Katzarkov's program we prove that the number of irreducible components of the central fiber of its compactification is $h^{1,2}(X)+1$. In particular, it does not depend on the compactification. The question of dependence on the model is open; however we produce examples of different weak Landau--Ginzburg models for the same variety with the same number of components of the central fiber.
Hodge correlators are complex numbers given by certain integrals assigned to a smooth complex curve. We show that they are correlators of a Feynman integral, and describe the real mixed Hodge structure on the pronilpotent completion of the fundamental group of the curve. We introduce motivic correlators, which are elements of the motivic Lie algebra and whose periods are the Hodge correlators. They describe the motivic fundamental group of the curve. We describe variations of real mixed Hodge structures on a variety by certain connections on the product of the variety by an afine line. We call…
We study the probability that an $(n - m)$-dimensional linear subspace in $\mathbb{P}^n$ or a collection of points spanning such a linear subspace is contained in an $m$-dimensional variety $Y \subset \mathbb{P}^n$. This involves a strategy used by Galkin--Shinder to connect properties of a cubic hypersurface to its Fano variety of lines via cut and paste relations in the Grothendieck ring of varieties. Generalizing this idea to varieties of higher codimension and degree, we can measure growth rates of weighted probabilities of $k$-planes contained in a sequence of varieties with varying initi…
We define Hodge correlators for a compact Kahler manifold X. They are complex numbers which can be obtained by perturbative series expansion of a certain Feynman integral which we assign to X. We show that they define a functorial real mixed Hodge structure on the rational homotopy type of X. The Hodge correlators provide a canonical linear map from the cyclic homomogy of the cohomology algebra of X to the complex numbers. If X is a regular projective algebraic variety over a field k, we define, assuming the motivic formalism, motivic correlators of X. Given an embedding of k into complex numb…
We construct motivic invariants of a subvariety of an algebraic torus from its tropicalization and initial degenerations. More specifically, we introduce an invariant of a compactification of such a variety called the "tropical motivic nearby fiber." This invariant specializes in the schon case to the Hodge-Deligne polynomial of the limit mixed Hodge structure of a corresponding degeneration. We give purely combinatorial expressions for this Hodge-Deligne polynomial in the cases of schon hypersurfaces and smooth tropical varieties. We also deduce a formula for the Euler characteristic of a gen…
By calculating the equivariant mixed Hodge numbers of motivic Milnor fibers introduced by Denef-Loeser, we obtain explicit formulas for the Jordan normal forms of Milnor monodromies. The numbers of the Jordan blocks will be described by the Newton polyhedron of the polynomial.
Following the work of Gangl, Goncharov and Levin in [GGL], we will give a combinatorial framework for motivic study of iterated integrals on the affine line. We will show that under a certain genericity condition these combinatorial objects yield to elements in the motivic Hopf algebra constructed in Bloch-Kriz [BK]. It will be shown that the Hodge realization of these elements coincides with the Hodge structure induced from the fundamental torsor of path of punctured affine line.
It is well known that the Hodge conjecture with rational coefficients holds for degree 2n-2 classes on complex projective n-folds. In this paper we study the more precise question if on a rationally connected complex projective n-fold the integral Hodge classes of degree 2n-2 are generated over $\mathbb Z$ by classes of curves. We combine techniques from the theory of singularities of pairs on the one hand and infinitesimal variation of Hodge structures on the other hand to give an affirmative answer to this question for a large class of manifolds including Fano fourfolds. In the last case, on…
We study the Hodge numbers of Landau-Ginzburg models as defined by Katzarkov, Kontsevich and Pantev. First we show that these numbers can be computed using ordinary mixed Hodge theory, then we give a concrete recipe for computing these numbers for the Landau-Ginzburg mirrors of Fano threefolds. We finish by proving that for a crepant resolution of a Gorenstein toric Fano threefold $X$ there is a natural LG mirror $(Y,\mathsf{w})$ so that $h^{p,q}(X) = f^{3-q,p}(Y,\mathsf{w})$.
We review some recent results and conjectures saying that, roughly speaking, periodic cyclic homology of a smooth non-commutative algebraic variety should carry all the additional "motivic" structures possessed by the usual de Rham cohomology of a smooth algebraic variety (specifically, an R-Hodge structure for varieties over R, and a filtered Dieudonne module structure for varieties over Z_p). To appear in Proc. ICM 2010.
Our goal is to prove that the Leray spectral sequence associated to a map of algebraic varieties is motivic in the following sense: If the singular cohomology groups of the category of quasiprojective varieties defined over a subfield of C can be canonically endowed with some additional structure, such as its mixed Hodge structure or its motive (in Nori's sense or as a product of realizations). Then the Leray spectral sequence for a projective map in this category is automatically compatible with this structure. As byproduct, we get a relatively cheap construction of a mixed Hodge structure on…
The motivic nearby fiber is an invariant obtained from degenerating a complex variety over a disc. It specializes to the Euler characteristic of the original variety but also contains information on the variation of Hodge structure associated to the degeneration which is encoded as a limit mixed Hodge structure. However, this invariant is difficult to compute in practice. Using the techniques of tropical geometry we present a new formula for the motivic nearby fiber. Moreover, since there is a range of available software implementing the main algorithms in tropical geometry, our formula can be…
Let $\mathcal{X} \to Y$ be a birational map from a smooth Artin stack to a (possibly singular) variety. We prove a change of variables formula that relates motivic integrals over arcs of $Y$ to motivic integrals over arcs of $\mathcal{X}$. With a view toward the study of stringy Hodge numbers, this change of variables formula leads to a new notion of crepantness for the map $\mathcal{X} \to Y$ that coincides with the usual notion in the special case that $\mathcal{X}$ is a scheme.
We perform a refined count of BPS states in the compactification of M-theory on $K3 \times T^2$, keeping track of the information provided by both the $SU(2)_L$ and $SU(2)_R$ angular momenta in the $SO(4)$ little group. Mathematically, this four variable counting function may be expressed via the motivic Donaldson-Thomas counts of $K3 \times T^2$, simultaneously refining Katz, Klemm, and Pandharipande's motivic Donaldson-Thomas counts on $K3$ and Oberdieck-Pandharipande's Gromov-Witten counts on $K3 \times T^2$. This provides the first full answer for motivic curve counts of a compact Calabi-Y…
We introduce the notion of dR-absolutely special subvarieties in motivic variations of Hodge structure as special subvarieties cut out by (de Rham-)absolute Hodge cycles and conjecture that all special subvarieties are dR-absolutely special. This is implied by Deligne's conjecture that all Hodge cycles are absolute Hodge cycles, but is a much weaker conjecture. We prove our conjecture for subvarieties satisfying a simple monodromy condition introduced by Klingler-Otwinowska-Urbanik. We study applications to typical respectively atypical intersections and $\bar{\mathbb{Q}}$-bialgebraic subvarie…
This paper concerns the Algebraic Sato--Tate and Sato--Tate conjectures, based on Serre's original motivic formulation, with an eye towards explicit computations of Sato--Tate groups. We build on the algebraic framework for the Sato--Tate conjecture introduced in a previous paper, which used Deligne's motivic category for absolute Hodge cycles and was restricted to motives of odd weight. Here, we allow general weight and some other motivic categories, notably André's motivic category of motivated cycles; moreover, some results are also new in the odd weight case. The paper consists of two part…
We show that the derived category of a general Enriques surface can be realized as a semiorthogonal component in the derived category of a smooth Fano variety with a diagonal Hodge diamond.
We study the monodromies and the limit mixed Hodge structures of families of complete intersection varieties over a punctured disk in the complex plane. For this purpose, we express their motivic nearby fibers in terms of the geometric data of some Newton polyhedra. In particular, the limit mixed Hodge numbers and some part of the Jordan normal forms of the monodromies of such a family will be described very explicitly.
We classify the possible Mumford-Tate groups of polarizable rational Hodge structures. Along the way we deduce a polarized Hodge-theoretic analogue of a conjectural property of motivic Galois groups suggested by Serre.
We introduce and we study a class of odd dimensional compact complex manifolds whose Hodge structure in middle dimension looks like that of a Calabi-Yau threefold. We construct several series of interesting examples from rational homogeneous spaces with special properties.
We prove that the moduli spaces of twisted $\mathrm{SL}_n$ and $\mathrm{PGL}_n$-Higgs bundles on a smooth projective curve have the same (stringy) class in the Grothendieck ring of rational Chow motives. On the level of Hodge numbers this was conjectured by Hausel and Thaddeus, and recently proven by Groechenig, Ziegler and the second author. To adapt their argument, which relies on p-adic integration, we use a version of motivic integration with values in rational Chow motives and the geometry of Néron models to evaluate such integrals on Hitchin fibers.
Let X be a nonsingular algebraic variety in characteristic zero. To an effective divisor on X Kontsevich has associated a certain 'motivic integral', living in a completion of the Grothendieck ring of algebraic varieties. He used this invariant to show that birational Calabi-Yau varieties have the same Hodge numbers. Then Denef and Loeser introduced the motivic (Igusa) zeta function, associated to a regular function on X, which specializes to both the classical p-adic Igusa zeta function and the topological zeta function, and also to Kontsevich's invariant. This paper treats a generalization t…
This is a survey paper about a selection of recent results on the geometry of a special class of Fano varieties, which are called of K3 type. The focus is mostly Hodge-theoretical, with an eye towards the multiple connections between Fano varieties of K3 type and hyperkähler geometry.
In this note, we prove effective semi-ampleness conjecture due to Prokhorov and Shokurov for a special case, more concretely, for Q-Gorenstein klt-trivial fibrations over smooth projective curves whose fibers are all klt log Calabi-Yau pairs of Fano type.
We make explicit Serre's generalization of the Sato-Tate conjecture for motives, by expressing the construction in terms of fiber functors from the motivic category of absolute Hodge cycles into a suitable category of Hodge structures of odd weight. This extends the case of abelian varietes, which we treated in a previous paper. That description was used by Fite--Kedlaya--Rotger--Sutherland to classify Sato-Tate groups of abelian surfaces; the present description is used by Fite--Kedlaya--Sutherland to make a similar classification for certain motives of weight 3. We also give conditions under…
Fatighenti and Mongardi have defined Fano varieties of type S6 as zero loci of a certain vector bundle on the Grassmannian $\hbox{Gr}(2,10)$. These varieties have 3 Hodge structures of K3 type in their cohomology. We show that the Chow ring of these varieties also displays "K3 type" behaviour.
In this paper we describe a connection between realizations of the action of the motivic Galois group on the motivic fundamental groups of Gaussian and Eisenstein elliptic curves punctured at the $\mathfrak{p}$-torsion points, $π_1^{\rm Mot}(E-E[\mathfrak{p}],v_0)$, and the geometry of the Bianchi hyperbolic threefolds $Γ_1(\mathfrak{p})\setminus\mathbb{H}^3$, where $Γ_1(\mathfrak{p})$ is a congruence subgroup of ${\rm GL}_2({\rm End}(E))$. The first instance of such a connection was found by A.Goncharov (arXiv:math/0510310). In particular, we study the Hodge realization of the image of the ab…
Let (G,X) be a Shimura datum and K a neat open compact subgroup of $G(\mathbb{A}_f)$. Under mild hypothesis on (G,X), the canonical construction associates a variation of Hodge structure on $\textrm{Sh}_K(G,X)(\mathbb{C})$ to a representation of G. It is conjectured that this should be of motivic origin. Specifically, there should be a lift of the canonical construction which takes values in relative Chow motives over $\textrm{Sh}_K(G,X)$ and is functorial in (G,X). Using the formalism of mixed Shimura varieties, we show that such a motivic lift exists on the full subcategory of representation…
We discuss several conjectures about derived equivalent varieties, defined over fields of arbitrary characteristics, and implications among them. In particular we show that the (conjectural) derived invariance of the Hasse-Weil Zeta functions of smooth projective varieties over finite fields, implies the derived invariance of the Hodge diamond of complex algebraic varieties.
We give lower bounds for Hodge numbers of smooth well formed Fano weighted complete intersections. In particular, we compute their Hodge level, that is, the maximal distance between non-trivial Hodge numbers in the same row of the Hodge diamond. This allows us to classify varieties whose Hodge numbers are like that of a projective space, of a curve, or of a Calabi--Yau variety of low dimension.
A motivic height zeta function associated to a family of varieties parametrised by a curve is the generating series of the classes, in the Grothendieck ring of varieties, of moduli spaces of sections of this family with varying degrees. This text is devoted to the study of the motivic height zeta function associated to a family of varieties with generic fiber having the structure of an equivariant compactification of a vector group. Our main theorem describes the convergence of this motivic height zeta function with respect to a topology on the Grothendieck ring of varieties coming from the th…
In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational tools include cdh-descent for normal crossing divisors, Euler classes, Gysin maps, and homotopy purity. Under $\ell$-adic realization, the motive at infinity recovers a formula for vanishing cycles due to Rapoport-Zink; similar results hold for Steenbrink's limiting Hodge structures and Wildeshaus' boundary motives. Under the topological Betti realization, the s…
We prove a strong form of the motivic monodromy conjecture for abelian varieties, by showing that the order of the unique pole of the motivic zeta function is equal to the size of the maximal Jordan block of the corresponding monodromy eigenvalue. Moreover, we give a Hodge-theoretic interpretation of the fundamental invariants appearing in the proof.
We identify the twisted sectors of a compact simplicial toric variety. We do the same for a generic nondegenerate Calabi-Yau hypersurface of an $n$-dimensional simplicial Fano toric variety and then explicitly compute $h^{1,1}_{orb}$ and $h^{n-2,1}_{orb}$ for the hypersurface. We give applications to the orbifold string theory conjecture and orbifold mirror symmetry.
In this paper we study some new theories of characteristic homology classes for singular complex algebraic varieties. First we introduce a natural transformation T_{y}: K_{0}(var/X) -> H_{*}(X,Q)[y] commuting with proper pushdown, which generalizes the corresponding Hirzebruch characteristic. Here K_{0}(var/X) is the relative Grothendieck group of complex algebraic varieties over X as introduced and studied by Looijenga and Bittner in relation to motivic integration. T_{y} is a homology class version of the motivic measure corresponding to a suitable specialization of the well known Hodge poly…
We prove that the Beilinson regulator, which is a map from $K$-theory to absolute Hodge cohomology of a smooth variety, admits a refinement to a map of $E_\infty$-ring spectra in the sense of algebraic topology. To this end we exhibit absolute Hodge cohomology as the cohomology of a commutative differential graded algebra over $\mathbb{R}$. The associated spectrum to this CDGA is the target of the refinement of the regulator and the usual $K$-theory spectrum is the source. To prove this result we compute the space of maps from the motivic $K$-theory spectrum to the motivic spectrum that repres…
We prove that the Hodge number $h^{1,N-1}(X)$ of an $N$-dimensional ($N\geqslant 3$) Fano complete intersection $X$ is less by one then the number of irreducible components of the central fiber of (any) Calabi--Yau compactification of Givental's Landau--Ginzburg model for $X$.
We study the geometry and Hodge theory of the cubic hypersurfaces attached to two-loop Feynman integrals for generic physical parameters. We show that the Hodge structure attached to planar two-loop Feynman graphs decomposes into mixed Tate pieces and the Hodge structures of families of hyperelliptic, elliptic, or rational curves depending on the space-time dimension. For two-loop graphs with a small number of edges, we give more precise results. In particular, we recover a result of Bloch arXiv:2105.06132 that in the well-known double box example, there is an underlying family of elliptic cur…