-
Discriminants and motivic integration
Authors:
Oscar Kivinen,
Alexei Oblomkov,
Dimitri Wyss
Abstract:
We study invariants of a plane cuve singularity $(f,0)$ coming from motivic integration on symmetric powers of a formal deformation of $f$. We show that a natural discriminant integral recovers the motivic classes of the principal Hilbert schemes of points on $f$, while the orbifold integral gives the plethystic exponential of the motivic Igusa zeta function of $f$. The latter result also holds in…
▽ More
We study invariants of a plane cuve singularity $(f,0)$ coming from motivic integration on symmetric powers of a formal deformation of $f$. We show that a natural discriminant integral recovers the motivic classes of the principal Hilbert schemes of points on $f$, while the orbifold integral gives the plethystic exponential of the motivic Igusa zeta function of $f$. The latter result also holds in higher dimemsions.
Combined with results of Gorsky and Némethi we obtain an interpretation of the discriminant integrals in terms of knot Floer homology, which is reminiscent of the relation between the cohomology of contact loci and fixed point Floer homology proven by de la Bodega and Poza.
△ Less
Submitted 4 April, 2025; v1 submitted 24 March, 2025;
originally announced March 2025.
-
Twisted points of quotient stacks, integration and BPS-invariants
Authors:
Michael Groechenig,
Dimitri Wyss,
Paul Ziegler
Abstract:
We study $p$-adic manifolds associated with twisted points of quotient stacks $\mathcal{X} = [U/G]$ and their quotient spaces $π:\mathcal{X} \to X$. We prove several structural results about the fibres of $π$ and derive in particular a formula expressing $p$-adic integrals on $X$ in terms of the cyclotomic inertia stack of $\mathcal{X}$, generalizing the orbifold formula for Deligne-Mumford stacks…
▽ More
We study $p$-adic manifolds associated with twisted points of quotient stacks $\mathcal{X} = [U/G]$ and their quotient spaces $π:\mathcal{X} \to X$. We prove several structural results about the fibres of $π$ and derive in particular a formula expressing $p$-adic integrals on $X$ in terms of the cyclotomic inertia stack of $\mathcal{X}$, generalizing the orbifold formula for Deligne-Mumford stacks.
We then apply our formalism to moduli problems associated to hereditary abelian categories with symmetric Euler pairing, and show that their refined BPS-invariants are computed locally on the coarse moduli space by a $p$-adic integral. As a consequence we recover the $χ$-independence of these invariants for $1$-dimensional sheaves on del Pezzo surfaces previously proven by Maulik--Shen. Along the way we derive a new formula for the plethystic logarithm on the $λ$-ring of functions on $k$-linear stacks, which might be of independent interest.
△ Less
Submitted 13 June, 2025; v1 submitted 25 September, 2024;
originally announced September 2024.
-
A motivic Fundamental Lemma
Authors:
Arthur Forey,
François Loeser,
Dimitri Wyss
Abstract:
In this paper we prove motivic versions of the Langlands-Shelstad Fundamental Lemma and Ngô's Geometric Stabilization. To achieve this, we follow the strategy from the recent proof by Groechenig, Wyss and Ziegler which avoided the use of perverse sheaves using instead $p$-adic integration and Tate duality. We make a key use of a construction of Denef and Loeser which assigns a virtual motive to an…
▽ More
In this paper we prove motivic versions of the Langlands-Shelstad Fundamental Lemma and Ngô's Geometric Stabilization. To achieve this, we follow the strategy from the recent proof by Groechenig, Wyss and Ziegler which avoided the use of perverse sheaves using instead $p$-adic integration and Tate duality. We make a key use of a construction of Denef and Loeser which assigns a virtual motive to any definable set in the theory of pseudo-finite fields.
△ Less
Submitted 12 March, 2025; v1 submitted 23 August, 2023;
originally announced August 2023.
-
BPS invariants from $p$-adic integrals
Authors:
Francesca Carocci,
Giulio Orecchia,
Dimitri Wyss
Abstract:
We define $p$-adic BPS or $p$BPS-invariants for moduli spaces $M_{β,χ}$ of 1-dimensional sheaves on del Pezzo surfaces by means of integration over a non-archimedean local field $F$ . Our definition relies on a canonical measure $μ_{can}$ on the $F$-analytic manifold associated to $M_{β,χ}$ and the $p$BPS-invariants are integrals of natural $\mathbb{G}_m$-gerbes with respect to $μ_{can}$. A simila…
▽ More
We define $p$-adic BPS or $p$BPS-invariants for moduli spaces $M_{β,χ}$ of 1-dimensional sheaves on del Pezzo surfaces by means of integration over a non-archimedean local field $F$ . Our definition relies on a canonical measure $μ_{can}$ on the $F$-analytic manifold associated to $M_{β,χ}$ and the $p$BPS-invariants are integrals of natural $\mathbb{G}_m$-gerbes with respect to $μ_{can}$. A similar construction can be done for meromorphic Higgs bundles on a curve.
Our main theorem is a $χ$-independence result for these $p$BPS-invariants. For 1-dimensional sheaves on del Pezzo surfaces and meromorphic Higgs bundles, we obtain as a corollary the agreement of $p$BPS with usual BPS-invariants trough a result of Maulik-Shen.
△ Less
Submitted 9 February, 2024; v1 submitted 22 December, 2021;
originally announced December 2021.
-
Motivic Integration on the Hitchin Fibration
Authors:
François Loeser,
Dimitri Wyss
Abstract:
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 integra…
▽ More
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.
△ Less
Submitted 15 July, 2020; v1 submitted 25 December, 2019;
originally announced December 2019.
-
Geometric stabilisation via p-adic integration
Authors:
Michael Groechenig,
Dimitri Wyss,
Paul Ziegler
Abstract:
In this article we give a new proof of Ngô's Geometric Stabilisation Theorem, which implies the Fundamental Lemma. This is a statement which relates the cohomology of Hitchin fibres for a quasi-split reductive group scheme $G$ to the cohomology of Hitchin fibres for the endoscopy groups $H_κ$. Our proof avoids the Decomposition and Support Theorem, instead the argument is based on results for $p$-…
▽ More
In this article we give a new proof of Ngô's Geometric Stabilisation Theorem, which implies the Fundamental Lemma. This is a statement which relates the cohomology of Hitchin fibres for a quasi-split reductive group scheme $G$ to the cohomology of Hitchin fibres for the endoscopy groups $H_κ$. Our proof avoids the Decomposition and Support Theorem, instead the argument is based on results for $p$-adic integration on coarse moduli spaces of Deligne-Mumford stacks. Along the way we establish a description of the inertia stack of the (anisotropic) moduli stack of $G$-Higgs bundles in terms of endoscopic data, and extend duality for generic Hitchin fibres of Langlands dual group schemes to the quasi-split case.
△ Less
Submitted 28 October, 2019; v1 submitted 15 October, 2018;
originally announced October 2018.
-
Arithmetic and metric aspects of open de Rham spaces
Authors:
Tamás Hausel,
Michael Lennox Wong,
Dimitri Wyss
Abstract:
In this paper we determine the motivic class--in particular, the weight polynomial and conjecturally the Poincaré polynomial--of the open de Rham space, defined and studied by Boalch, of certain moduli spaces of irregular meromorphic connections on the trivial rank $n$ bundle on $\mathbb{P}^1$. The computation is by motivic Fourier transform. We show that the result satisfies the purity conjecture…
▽ More
In this paper we determine the motivic class--in particular, the weight polynomial and conjecturally the Poincaré polynomial--of the open de Rham space, defined and studied by Boalch, of certain moduli spaces of irregular meromorphic connections on the trivial rank $n$ bundle on $\mathbb{P}^1$. The computation is by motivic Fourier transform. We show that the result satisfies the purity conjecture, that is, it agrees with the pure part of the conjectured mixed Hodge polynomial of the corresponding wild character variety. We also identify the open de Rham spaces with quiver varieties with multiplicities of Yamakawa and Geiss--Leclerc--Schröer. We finish with constructing natural complete hyperkähler metrics on them, which in the $4$-dimensional cases are expected to be of type ALF.
△ Less
Submitted 3 July, 2023; v1 submitted 11 July, 2018;
originally announced July 2018.
-
Motivic and $p$-adic Localization Phenomena
Authors:
Dimitri Wyss
Abstract:
In this thesis we compute motivic classes of hypertoric varieties, Nakajima quiver varieties and open de Rham spaces in a certain localization of the Grothendieck ring of varieties. Furthermore we study the $p$-adic pushforward of the Haar measure under a hypertoric moment map $μ$. This leads to an explicit formula for the Igusa zeta function $I_μ(s)$ of $μ$, and in particular to a small set of ca…
▽ More
In this thesis we compute motivic classes of hypertoric varieties, Nakajima quiver varieties and open de Rham spaces in a certain localization of the Grothendieck ring of varieties. Furthermore we study the $p$-adic pushforward of the Haar measure under a hypertoric moment map $μ$. This leads to an explicit formula for the Igusa zeta function $I_μ(s)$ of $μ$, and in particular to a small set of candidate poles for $I_μ(s)$. We also study various properties of the residue at the largest pole of $I_μ(s)$. Finally, if $μ$ is constructed out of a quiver $Γ$ we give a conjectural description of this residue in terms of indecomposable representations of $Γ$ over finite depth rings.
The connections between these different results is the method of proof. At the heart of each theorem lies a motivic or $p$-adic volume computation, which is only possible due to some surprising cancellations. These cancellations are reminiscent of a result in classical symplectic geometry by Duistermaat and Heckman on the localization of the Liouville measure, hence the title of the thesis.
△ Less
Submitted 20 September, 2017;
originally announced September 2017.
-
Mirror symmetry for moduli spaces of Higgs bundles via p-adic integration
Authors:
Michael Groechenig,
Dimitri Wyss,
Paul Ziegler
Abstract:
We prove the Topological Mirror Symmetry Conjecture by Hausel-Thaddeus for smooth moduli spaces of Higgs bundles of type $\operatorname{SL}_n$ and $\operatorname{PGL}_n$. More precisely, we establish an equality of stringy Hodge numbers for certain pairs of algebraic orbifolds generically fibred into dual abelian varieties. Our proof utilises p-adic integration relative to the fibres, and interpre…
▽ More
We prove the Topological Mirror Symmetry Conjecture by Hausel-Thaddeus for smooth moduli spaces of Higgs bundles of type $\operatorname{SL}_n$ and $\operatorname{PGL}_n$. More precisely, we establish an equality of stringy Hodge numbers for certain pairs of algebraic orbifolds generically fibred into dual abelian varieties. Our proof utilises p-adic integration relative to the fibres, and interprets canonical gerbes present on these moduli spaces as characters on the Hitchin fibres using Tate duality. Furthermore we prove for $d$ coprime to $n$, that the number of rank $n$ Higgs bundles of degree $d$ over a fixed curve defined over a finite field, is independent of $d$. This proves a conjecture by Mozgovoy--Schiffman in the coprime case.
△ Less
Submitted 28 October, 2019; v1 submitted 20 July, 2017;
originally announced July 2017.
-
Motivic classes of Nakajima quiver varieties
Authors:
Dimitri Wyss
Abstract:
We prove, that Hausel's formula for the number of rational points of a Nakajima quiver variety over a finite field also holds in a suitable localization of the Grothendieck ring of varieties. In order to generalize the arithmetic harmonic analysis in his proof we use Grothendieck rings with exponentials as introduced by Cluckers-Loeser and Hrushovski-Kazhdan.
We prove, that Hausel's formula for the number of rational points of a Nakajima quiver variety over a finite field also holds in a suitable localization of the Grothendieck ring of varieties. In order to generalize the arithmetic harmonic analysis in his proof we use Grothendieck rings with exponentials as introduced by Cluckers-Loeser and Hrushovski-Kazhdan.
△ Less
Submitted 10 March, 2016;
originally announced March 2016.
