arXiv subjects

Dimitri Wyss

Publications and source records attributed to Dimitri Wyss.

13 recordsLinked to original sources

arXiv2026

An orbifold formula for algebraic stacks

We study motivic integration on varieties that are birational to smooth algebraic stacks and prove a generalization of the orbifold formula for varieties with finite quotient singularities. This leads in particular to a new way of computing stringy E-functions and we also give applications to the study of klt-singularities. Along the way we study Cluckers-Loeser motivic integration on algebraic stacks, which might be of independent interest. The proof relies furthermore on ideas from Hrushovski-Kazhdan integration and Bruhat-Tits theory.

math.AG↗

arXiv2026

$\chi$-independence for K3-surfaces via $p$-adic integration

This article provides a proof of a previously unknown case of Toda's $\chi$-independence conjecture by reduction to non-archimedean local fields. Our strategy is based on a novel comparison of Frobenius-traces for BPS sheaves on moduli spaces of objects in 2-Calabi-Yau categories and the integral of the complex-exponentiated Hasse invariant of the obstruction gerbe. This result applies to many cases of interest, including Nakajima quiver varieties, moduli of Higgs bundles and moduli of sheaves on K3 surfaces. Along the way, we describe the local structure of these moduli stacks and spaces over a base of large mixed characteristic.

math.AG↗

arXiv2026

Twisted Higgs bundles and coendoscopy

This short note is devoted to the study of $G$-Higgs bundles twisted by a central gerbe. These objects arise naturally in the decomposition of the inertia stacks of $G$-Higgs bundles in terms of coendoscopic data. We establish that stabilised point-counts and cohomology are insensitive to the central twist. Along the way we show an analogue of Ng\^o's product formula for twisted Hitchin fibres.

math.AG↗

arXiv2025

Discriminants and motivic integration

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\'emethi 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.

math.AG↗

arXiv2024

Twisted points of quotient stacks, integration and BPS-invariants

We study $p$-adic manifolds associated with twisted points of quotient stacks $\mathcal{X} = [U/G]$ and their quotient spaces $\pi:\mathcal{X} \to X$. We prove several structural results about the fibres of $\pi$ 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 $\chi$-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 $\lambda$-ring of functions on $k$-linear stacks, which might be of independent interest.

math.AG↗

arXiv2023

A motivic Fundamental Lemma

In this paper we prove motivic versions of the Langlands-Shelstad Fundamental Lemma and Ng\^o'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.

math.AG↗

arXiv2021

BPS invariants from $p$-adic integrals

We define $p$-adic BPS or $p$BPS-invariants for moduli spaces $M_{\beta,\chi}$ 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 $\mu_{can}$ on the $F$-analytic manifold associated to $M_{\beta,\chi}$ and the $p$BPS-invariants are integrals of natural $\mathbb{G}_m$-gerbes with respect to $\mu_{can}$. A similar construction can be done for meromorphic Higgs bundles on a curve. Our main theorem is a $\chi$-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.

math.AG↗

arXiv2019

Motivic Integration on the Hitchin Fibration

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\'eron models to evaluate such integrals on Hitchin fibers.

math.AG↗

arXiv2018

Geometric stabilisation via p-adic integration

In this article we give a new proof of Ng\^o'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_{\kappa}$. 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.

math.AG↗

arXiv2018

Arithmetic and metric aspects of open de Rham spaces

In this paper we determine the motivic class--in particular, the weight polynomial and conjecturally the Poincar\'e 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\"oer. We finish with constructing natural complete hyperk\"ahler metrics on them, which in the $4$-dimensional cases are expected to be of type ALF.

math.AG↗

arXiv2017

Motivic and $p$-adic Localization Phenomena

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 $\mu$. This leads to an explicit formula for the Igusa zeta function $I_\mu(s)$ of $\mu$, and in particular to a small set of candidate poles for $I_\mu(s)$. We also study various properties of the residue at the largest pole of $I_\mu(s)$. Finally, if $\mu$ is constructed out of a quiver $\Gamma$ we give a conjectural description of this residue in terms of indecomposable representations of $\Gamma$ 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.

math.AG↗

arXiv2017

Mirror symmetry for moduli spaces of Higgs bundles via p-adic integration

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.

math.AG↗

arXiv2016

Motivic classes of Nakajima quiver varieties

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.

math.AG↗