arXiv subjects

Davesh Maulik

Publications and source records attributed to Davesh Maulik.

At least 19 recordsLinked to original sources

arXiv2026

The GW/PT conjectures for toric pairs

We prove the conjectural correspondence between logarithmic Gromov-Witten theory and logarithmic Donaldson/Pandharipande-Thomas theory for pairs $(Y|\partial Y)$ consisting of a toric threefold $Y$ and any torus invariant divisor $\partial Y$, with primary insertions. The results are the first verifications of this conjecture when $\partial Y$ is singular, i.e., the ``fully logarithmic'' setting, and the first proof of the equivariant toric correspondence for pairs when $\partial Y$ is nonempty. When $\partial Y$ is empty, we get a new proof of the known toric correspondence, but our methods also lead to stronger conclusions. In particular, we show the PT series is a Laurent polynomial in the presence of sufficient positivity and prove a 2008 conjecture of Oblomkov, Okounkov, Pandharipande, and the first author stating the capped vertex is a Laurent polynomial. The methods also verify the logarithmic DT/PT conjecture for toric threefold pairs. Using the constraints of the logarithmic theory, the complete evaluation of toric pairs is determined by a single calculation -- the degree $1$ series of $\mathbb{P}^3$.

math.AG↗

arXiv2026

Dualizable abelian fibrations

In his proof of the fundamental lemma of the Langlands program, Ngô initiated the study of the decomposition theorem for abelian fibrations. When an abelian fibration admits a duality structure, the decomposition theorem and the perverse filtration on cohomology exhibit rich structures. The purpose of these notes is to describe a framework for dualizable abelian fibrations and to discuss some recent progress and applications.

math.AG↗

arXiv2026

On the Orlov conjecture for hyper-Kähler varieties via hyperholomorphic bundles

We study Fourier transforms induced by Markman's projectively hyperholomorphic bundles on products of hyper-Kähler varieties of $K3^{[n]}$-type. As applications, we prove the following. (a) Derived equivalent hyper-Kähler varieties of $K3^{[n]}$-type have isomorphic homological motives preserving the cup-product. (b) All smooth projective moduli spaces of stable sheaves on a given $K3$ surface have isomorphic homological motives preserving the cup-product. (c) Assuming the Franchetta properties for the self-products of polarized $K3$ surfaces, the isomorphisms in (b) can be lifted to Chow motives for $K3$ surfaces of Picard rank 1. These results provide evidence for the Orlov conjecture and a conjecture of Fu-Vial.

math.AG↗

arXiv2026

On generalized Beauville decompositions

Motivated by the Beauville decomposition of an abelian scheme and the "Perverse = Chern" phenomenon for a compactified Jacobian fibration, we study in this paper splittings of the perverse filtration for compactified Jacobian fibrations. On the one hand, we prove for the Beauville-Mukai system associated with an irreducible curve class on a $K3$ surface the existence of a Fourier-stable multiplicative splitting of the perverse filtration, which extends the Beauville decomposition for the nonsingular fibers. Our approach is to construct a Lefschetz decomposition associated with a Fourier-conjugate $\mathfrak{sl}_2$-triple, which relies heavily on recent work concerning the interaction between derived equivalences and LLV algebras for hyper-Kähler varieties. Motivic lifting and connections to the Beauville-Voisin conjectures are also discussed. On the other hand, we construct for any $g\geq 2$ a compactified Jacobian fibration of genus $g$ curves such that each curve is integral with at worst simple nodes and the (multiplicative) perverse filtration does not admit a multiplicative splitting. Our argument relies on the recently established universal double ramification cycle relations. This shows that in general an extension of the Beauville decomposition cannot exist for compactified Jacobian fibrations even when the simplest singular point appears.

math.AG↗

arXiv2025

Algebraic cycles and Hitchin systems

The purpose of this paper is to study motivic aspects of the Hitchin system for $\mathrm{GL}_n$. Our results include the following. (a) We prove the motivic decomposition conjecture of Corti-Hanamura for the Hitchin system; in particular, the decomposition theorem associated with the Hitchin system is induced by algebraic cycles. This yields an unconditional construction of the motivic perverse filtration for the Hitchin system, which lifts the cohomological/sheaf-theoretic perverse filtration. (b) We prove that the inverse of the relative Hard Lefschetz symmetry is induced by a relative algebraic correspondence, confirming the relative Lefschetz standard conjecture for the Hitchin system. (c) We show a strong perversity bound for the normalized Chern classes of a universal bundle with respect to the motivic perverse filtration; this specializes to the sheaf-theoretic result obtained earlier by Maulik-Shen. (d) We prove a $χ$-independence result for the relative Chow motives associated with Hitchin systems. Our methods combine Fourier transforms for compactified Jacobian fibrations associated with integral locally planar curves, nearby and vanishing cycle techniques, and a Springer-theoretic interpretation of parabolic Hitchin moduli spaces.

math.AG↗

arXiv2025

The intrinsic cohomology ring of the universal compactified Jacobian over the moduli space of stable curves

The purpose of this paper is to study the cohomology rings of universal compactified Jacobians. Over the moduli space $\overline{\mathcal{M}}_{g,n}$ of Deligne-Mumford stable marked curves with $n\geq 1$, on the one hand we show that the cohomology ring of a universal fine compactified Jacobian is sensitive to the choice of a nondegenerate stability condition which answers a question of Pandharipande; on the other hand, we prove that the cohomology ring admits a degeneration via the perverse filtration which is independent of the (nondegenerate) stability condition. The latter defines the intrinsic cohomology ring of the universal compactified Jacobian which only relies on $g,n$. Our main tools include the support theorems, the recently developed Fourier theory for dualizable abelian fibrations, and the universal double ramification cycle relations associated with the universal Picard stack.

math.AG↗

arXiv2025

Perverse filtrations and Fourier transforms

We study the interaction between Fourier-Mukai transforms and perverse filtrations for a certain class of dualizable abelian fibrations. Multiplicativity of the perverse filtration and the "Perverse $\supset$ Chern" phenomenon for these abelian fibrations are immediate consequences of our theory. We also show that our class of fibrations include families of compactified Jacobians of integral locally planar curves. Applications include the following: (a) we prove the motivic decomposition conjecture for this class (including compactified Jacobian fibrations), which generalizes Deninger-Murre's theorem for abelian schemes; (b) we provide a new proof of the P=W conjecture for $\mathrm{GL}_r$; (c) we prove half of the P=C conjecture concerning refined BPS invariants for the local $\mathbb{P}^2$; (d) we show that the perverse filtration for the compactified Jacobian associated with an integral locally planar curve is multiplicative, which generalizes a result of Oblomkov-Yun for homogeneous singularities. Our techniques combine Arinkin's autoduality for coherent categories, Ngô's support theorem for the decomposition theorem, Adams operations in operational K-theory, and Corti-Hanamura's theory of relative Chow motives.

math.AG↗

arXiv2025

Gromov-Witten theory, degenerations, and the tautological ring

Gromov-Witten (GW) theory produces Chow and cohomology classes on the moduli of curves, and there are several conjectures/speculations about their relation to the tautological ring. We develop new degeneration techniques to address these. In Chow, we show that GW cycles of complete intersections in products of projective spaces (and more generally a broad class of toric varieties) with restricted insertions are tautological. This gives significant evidence for a 2010 speculation of Pandharipande that GW cycles of varieties over the algebraic numbers are tautological. In particular, the 0-cycle for curves on the quintic threefold is proportional to a zero stratum in the moduli space of stable curves. In cohomology, we show that in normal crossings degenerations, GW classes of the general fiber lie in the span of absolute GW classes of the special fiber strata. This confirms a 2006 conjecture of Levine-Pandharipande for targets that degenerate into elementary pieces, including complete intersections in products of projective spaces and many toric varieties. Our proofs rely on several reconstruction theorems in logarithmic GW theory, which make the logarithmic degeneration formula an inductive tool to compute GW cycles via snc degenerations. We prove a folklore conjecture that logarithmic GW cycles of a pair are determined by absolute invariants of the strata. We prove a conjecture of Urundolil Kumaran and the second author that GW cycles of toric pairs are tautological, and analogous results for broken toric bundles. We also develop tools to study GW cycles with vanishing cohomology and strengthen the logarithmic degeneration formula to allow iteration.

math.AG↗

arXiv2025

The period-index problem for hyper-Kähler varieties via hyperholomorphic bundles

We prove new bounds for the period-index problem for hyper-Kähler varieties of $K3^{[n]}$-type using projectively hyperholomorphic bundles constructed by Markman. We show that $\mathrm{dim}(X)$ is a bound for any $X$ of $K3^{[n]}$-type. We also show that $\frac{1}{2}\mathrm{dim}(X)$ is a bound for most Brauer classes when the Picard rank of $X$ is at least two, providing evidence for a conjecture of Huybrechts.

math.AG↗

arXiv2025

Endoscopic decompositions and the Hausel-Thaddeus conjecture

We construct natural operators connecting the cohomology of the moduli spaces of stable Higgs bundles with different ranks and genera which, after numerical specialization, recover the topological mirror symmetry conjecture of Hausel-Thaddeus concerning $\mathrm{SL}_n$- and $\mathrm{PGL}_n$-Higgs bundles. This provides a complete description of the cohomology of the moduli space of stable $\mathrm{SL}_n$-Higgs bundles in terms of the tautological classes, and gives a new proof of the Hausel-Thaddeus conjecture, proven recently by Gröchenig-Wyss-Ziegler via p-adic integration. Our method is to relate the decomposition theorem for the Hitchin fibration, using vanishing cycle functors, to the decomposition theorem for the twisted Hitchin fibration whose supports are simpler.

math.AG↗

arXiv2025

On the intersection cohomology of the moduli of $\mathrm{SL}_n$-Higgs bundles on a curve

We explore the cohomological structure for the (possibly singular) moduli of $\mathrm{SL}_n$-Higgs bundles for arbitrary degree on a genus g curve with respect to an effective divisor of degree >2g-2. We prove a support theorem for the $\mathrm{SL}_n$-Hitchin fibration extending de Cataldo's support theorem in the nonsingular case, and a version of the Hausel-Thaddeus topological mirror symmetry conjecture for intersection cohomology. This implies a generalization of the Harder-Narasimhan theorem concerning semistable vector bundles for any degree. Our main tool is an Ngô-type support inequality established recently which works for possibly singular ambient spaces and intersection cohomology complexes.

math.AG↗

arXiv2025

The D-equivalence conjecture for hyper-Kähler varieties via hyperholomorphic bundles

We show that birational hyper-Kähler varieties of $K3^{[n]}$-type are derived equivalent, establishing the D-equivalence conjecture in these cases. The Fourier-Mukai kernels of our derived equivalences are constructed from projectively hyperholomorphic bundles, following ideas of Markman. Our method also proves a stronger version of the D-equivalence conjecture for hyper-Kähler varieties of $K3^{[n]}$-type with Brauer classes.

math.AG↗

arXiv2025

Logarithmic enumerative geometry for curves and sheaves

We propose a logarithmic enhancement of the Gromov-Witten/Donaldson-Thomas correspondence, with descendants, and study its behavior under simple normal crossings degenerations. The formulation of the logarithmic correspondence requires a matching of tangency conditions with relative insertions. This is achieved via a version of the Nakajima basis for the cohomology of the Hilbert schemes of points on a logarithmic surface. Next, we establish a strong form of the degeneration formula in logarithmic DT theory - the numerical DT invariants of the general fiber of a degeneration are determined by the numerical DT invariants attached to strata of the special fiber. The GW version of this result, which we prove in all target dimensions, strengthens currently known formulas. A key role is played by a certain exotic class of insertions, introduced here, that impose non-local incidence conditions coupled across multiple boundary strata of the target geometry. Finally, we prove compatibility of the new logarithmic GW/DT correspondence with degenerations. In particular, the logarithmic conjecture for all strata of the special fiber of a degeneration implies the traditional GW/DT conjecture on the general fiber. Compatibility is a strong constraint, and can be used to calculate logarithmic DT invariants. Several examples are included to illustrate the nature and utility of the formula.

math.AG↗

arXiv2024

Vanishing of Brauer classes on K3 surfaces under reduction

Given a Brauer class on a K3 surface defined over a number field, we prove that there exists infinitely many reductions where the Brauer class vanishes, under certain technical hypotheses, answering a question of Frei--Hassett--Várilly-Alvarado.

math.AG↗

arXiv2024

The $P=W$ conjecture for $\mathrm{GL}_n$

We prove the $P=W$ conjecture for $\mathrm{GL}_n$ for all ranks $n$ and curves of arbitrary genus $g\geq 2$. The proof combines a strong perversity result on tautological classes with the curious Hard Lefschetz theorem of Mellit. For the perversity statement, we apply the vanishing cycles constructions in our earlier work to global Springer theory in the sense of Yun, and prove a parabolic support theorem.

math.AG↗

arXiv2024

Logarithmic Donaldson-Thomas theory

Let $X$ be a smooth threefold with a simple normal crossings divisor $D$. We construct the Donaldson-Thomas theory of the pair $(X|D)$ enumerating ideal sheaves on $X$ relative to $D$. These moduli spaces are compactified by studying subschemes in expansions of the target geometry, and the moduli space carries a virtual fundamental class leading to numerical invariants with expected properties. We formulate punctual evaluation, rationality and wall-crossing conjectures, in parallel with the standard theory. Our formalism specializes to the Li-Wu theory of relative ideal sheaves when the divisor is smooth, and is parallel to recent work on logarithmic Gromov-Witten theory with expansions.

math.AG↗

arXiv2023

Fourier-Mukai transforms and the decomposition theorem for integrable systems

We study the interplay between the Fourier-Mukai transform and the decomposition theorem for an integrable system $π: M \rightarrow B$. Our main conjecture is that the Fourier-Mukai transform of sheaves of Kähler differentials, after restriction to the formal neighborhood of the zero section, are quantized by the Hodge modules arising in the decomposition theorem for $π$. For an integrable system, our formulation unifies the Fourier-Mukai calculation of the structure sheaf by Arinkin-Fedorov, the theorem of the higher direct images by Matsushita, and the "perverse = Hodge" identity by the second and the third authors. As evidence, we show that these Fourier-Mukai images are Cohen-Macaulay sheaves with middle-dimensional support on the relative Picard space, with support governed by the higher discriminants of the integrable system. We also prove the conjecture for smooth integrable systems and certain 2-dimensional families with nodal singular fibers. Finally, we sketch the proof when cuspidal fibers appear.

math.AG↗

arXiv2021

Cohomology of the moduli of Higgs bundles via positive characteristic

For any two degrees coprime to the rank, we construct a family of ring isomorphisms parameterized by GSp(2g) between the cohomology of the moduli spaces of stable Higgs bundles which preserve the perverse filtrations. As consequences, we prove two structural results concerning the cohomology of Higgs moduli which are predicted by the P=W conjecture in non-abelian Hodge theory: (1) Galois conjugation for character varieties preserves the perverse filtrations for the corresponding Higgs moduli spaces. (2) The restriction of the Hodge-Tate decomposition for a character variety to each piece of the perverse filtration for the corresponding Higgs moduli space gives also a decomposition. Our proof uses reduction to positive characteristic and relies on the non-abelian Hodge correspondence in characteristic p between Dolbeault and de Rham moduli spaces.

math.AG↗