arXiv subjects

Jeremy Usatine

Publications and source records attributed to Jeremy Usatine.

18 recordsLinked to original sources

arXiv2026

McKay correspondence for linearly reductive finite group schemes in positive characteristic

We obtain a motivic and a cohomological McKay correspondence for finite linearly reductive group schemes in arbitrary characteristic. In particular, we prove that if $V$ is a finite dimensional vector space and $G$ is a finite linearly reductive subgroup scheme of $\mathrm{SL}(V)$, then the Euler number of any crepant resolution of $V/G$ is equal to the number of irreducible algebraic representations of $G$. We obtain these McKay correspondences as a consequence of a motivic change of variables formula applied to $[V/G] \to V/G$. If $G$ is non-reduced, as can happen in positive characteristic, the stack quotient $[V/G]$ is not Deligne-Mumford. Therefore in order to prove this change of variables formula and the resulting McKay correspondences, we generalize the authors' theory of motivic integration for Artin stacks to arbitrary characteristic, which may be of independent interest.

math.AG↗

arXiv2026

A counter-example to Batyrev's conjecture on the non-negativity of stringy Hodge numbers

Batyrev's conjecture on the non-negativity of stringy Hodge numbers has been a fundamental open problem, guiding and motivating many beautiful mathematical results in motivic integration, mirror symmetry, and the McKay correspondence. Let $M_0$ be the coarse moduli space of rank 2 semistable bundles with trivial determinant over a fixed smooth projective genus 3 curve. Using a formula, obtained by Kiem and Kiem-Li, for the stringy $E$-function of $M_0$, we verify that $M_0 \times\mathbb{P}^1$ is a counter-example to Batyrev's conjecture.

math.AG↗

arXiv2026

A cohomological interpretation for stringy Hodge numbers

We obtain a cohomological interpretation for Batyrev's stringy Hodge numbers in the full generality in which they are defined. In a previous paper, the second and third authors used motivic integration to define the stringy Hodge--Deligne invariant of a smooth Artin stack $\mathcal{X}$ and proved that when $\mathcal{X}$ is a crepant resolution of a variety $Y$ with log-terminal singularities, the generating function for the stringy Hodge numbers of $Y$ is equal to the stringy Hodge--Deligne invariant of $\mathcal{X}$. In this paper, we introduce a cohomology theory $H_{\mathrm{str}}^*(\mathcal{X})$ that computes the stringy Hodge--Deligne invariant of $\mathcal{X}$. Since, by previous work of the second and third authors, all varieties with log-terminal singularities admit a crepant resolution by an Artin stack, this gives a cohomological interpretation for stringy Hodge numbers of any variety with log-terminal singularities. We also show that in the special case where $\mathcal{X}$ is Deligne--Mumford, $H_{\mathrm{str}}^*(\mathcal{X})$ coincides with the orbifold cohomology of $\mathcal{X}$.

math.AG↗

arXiv2024

Stringy Hodge numbers via crepant resolutions by Artin stacks

In a previous paper we showed that any variety with log-terminal singularities admits a crepant resolution by a smooth Artin stack. In this paper we prove the converse, thereby proving that a variety admits a crepant resolution by a smooth Artin stack if and only if it has log-terminal singularities. Furthermore if $\mathcal{X} \to Y$ is such a resolution, we obtain a formula for the stringy Hodge numbers of $Y$ in terms of (motivically) integrating an explicit weight function over twisted arcs of $\mathcal{X}$. That weight function takes only finitely many values, so we believe this result provides a plausible avenue for finding a long-sought cohomological interpretation for stringy Hodge numbers. Using that the resulting integral is defined intrinsically in terms of $\mathcal{X}$, we also obtain a notion of stringy Hodge numbers for smooth Artin stacks, that in particular, recovers Chen and Ruan's notion of orbifold Hodge numbers.

math.AG↗

arXiv2023

Beyond twisted arcs: a McKay correspondence for reductive groups

We introduce a natural generalization of twisted maps, called \emph{warped maps}. While twisted maps play an important role in the study of Deligne--Mumford stacks, warped maps are better suited for studying Artin stacks. Heuristically, warped maps see the hidden proper-like behavior satisfied by good moduli space maps. Specifically, we show that every arc of a good moduli space admits a \emph{canonical} lift, in a warped sense, thereby proving a valuative criterion for good moduli spaces. Furthermore, we prove that warped maps to an Artin stack $\mathcal{X}$ are given by usual maps to an auxiliary Artin stack $\mathscr{W}(\mathcal{X})$, immediately obtaining a versatile framework for bootstrapping results about usual maps to the setting of warped maps. As an application we obtain a motivic change of variables formula which, given a stacky resolution of singularities $\mathcal{X} \to Y$, canonically expresses any given motivic integral over arcs of $Y$ as a certain motivic integral over warped arcs of $\mathcal{X}$. In particular, this yields a McKay correspondence for linearly reductive groups.

math.AG↗

arXiv2023

Motivic integration for singular Artin stacks

Let $\mathcal{X} \to Y$ be a birational modification of a variety by an Artin stack. In previous work, under the assumption that $\mathcal{X}$ is smooth, we proved a change of variables formula relating motivic integrals over arcs of $Y$ to motivic integrals over arcs of $\mathcal{X}$. In this paper, we extend that result to the case where $\mathcal{X}$ is singular. We may therefore apply this generalized formula to the so-called warping stack $\mathscr{W}(\mathcal{X})$ of $\mathcal{X}$, which may be singular even when $\mathcal{X}$ is smooth. We thus obtain a change of variables formula \emph{canonically} expressing any given motivic integral over arcs of $Y$ as a motivic integral over \emph{warped arcs} of $\mathcal{X}$.

math.AG↗

arXiv2023

Crepant resolutions of log-terminal singularities via Artin stacks

We prove that every variety with log-terminal singularities admits a crepant resolution by a smooth Artin stack. We additionally prove new McKay correspondences for resolutions by Artin stacks, expressing stringy invariants of $\mathbb{Q}$-Gorenstein varieties in terms of motivic integrals on arc spaces of smooth stacks. In the crepant case, these McKay correspondences are particularly simple, demonstrating one example of the utility of crepant resolutions by Artin stacks.

math.AG↗

arXiv2022

Gromov-Witten theory and invariants of matroids

We use techniques from Gromov-Witten theory to construct new invariants of matroids taking value in the Chow groups of spaces of rational curves in the permutohedral toric variety. When the matroid is realizable by a complex hyperplane arrangement, our invariants coincide with virtual fundamental classes used to define the logarithmic Gromov-Witten theory of wonderful models of arrangement complements, for any logarithmic structure supported on the wonderful boundary. When the boundary is empty, this implies that the quantum cohomology ring of a hyperplane arrangement's wonderful model is a combinatorial invariant, i.e., it depends only on the matroid. When the boundary divisor is maximal, we use toric intersection theory to convert the virtual fundamental class into a balanced weighted fan in a vector space, having the expected dimension. We explain how the associated Gromov-Witten theory is completely encoded by intersections with this weighted fan. We include a number of questions whose positive answers would lead to a well-defined Gromov-Witten theory of non-realizable matroids.

math.AG↗

arXiv2021

A motivic change of variables formula for Artin stacks

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.

math.AG↗

arXiv2021

Stringy invariants and toric Artin stacks

We propose a conjectural framework for computing Gorenstein measures and stringy Hodge numbers in terms of motivic integration over arcs of smooth Artin stacks, and we verify this framework in the case of fantastacks, which are certain toric Artin stacks that provide (non-separated) resolutions of singularities for toric varieties. Specifically, let $\mathcal{X}$ be a smooth Artin stack admitting a good moduli space $π: \mathcal{X} \to X$, and assume that $X$ is a variety with log-terminal singularities, $π$ induces an isomorphism over a nonempty open subset of $X$, and the exceptional locus of $π$ has codimension at least 2. We conjecture a formula for the motivic measure for $\mathcal{X}$ in terms of the Gorenstein measure for $X$ and a function measuring the degree to which $π$ is non-separated. We also conjecture that if the stabilizers of $\mathcal{X}$ are special groups in the sense of Serre, then almost all arcs of $X$ lift to arcs of $\mathcal{X}$, and we explain how in this case, our conjectures imply a formula for the stringy Hodge numbers of $X$ in terms of a certain motivic integral over the arcs of $\mathcal{X}$. We prove these conjectures in the case where $\mathcal{X}$ is a fantastack.

math.AG↗

arXiv2019

The motivic zeta functions of a matroid

We introduce motivic zeta functions for matroids. These zeta functions are defined as sums over the lattice points of Bergman fans, and in the realizable case, they coincide with the motivic Igusa zeta functions of hyperplane arrangements. We show that these motivic zeta functions satisfy a functional equation arising from matroid Poincaré duality in the sense of Adiprasito-Huh-Katz. In the process, we obtain a formula for the Hilbert series of the cohomology ring of a matroid, in the sense of Feichtner-Yuzvinsky. We then show that our motivic zeta functions specialize to the topological zeta functions for matroids introduced by van der Veer, and we compute the first two coefficients in the Taylor expansion of these topological zeta functions, providing affirmative answers to two questions posed by van der Veer.

math.CO↗

arXiv2018

Hyperplane arrangements and mixed Hodge numbers of the Milnor fiber

For each complex central essential hyperplane arrangement $\mathcal{A}$, let $F_{\mathcal{A}}$ denote its Milnor fiber. We use Tevelev's theory of tropical compactifications to study invariants related to the mixed Hodge structure on the cohomology of $F_{\mathcal{A}}$. We prove that the map taking each arrangement $\mathcal{A}$ to the Hodge-Deligne polynomial of $F_{\mathcal{A}}$ is locally constant on the realization space of any loop-free matroid. When $\mathcal{A}$ consists of distinct hyperplanes, we also give a combinatorial description for the homotopy type of the boundary complex of any simple normal crossing compactification of $F_{\mathcal{A}}$. As a direct consequence, we obtain a combinatorial formula for the top weight cohomology of $F_{\mathcal{A}}$, recovering a result of Dimca and Lehrer.

math.AG↗

arXiv2018

Motivic zeta functions of hyperplane arrangements

For each central essential hyperplane arrangement $\mathcal{A}$ over an algebraically closed field, let $Z_\mathcal{A}^{\hatμ}(T)$ denote the Denef-Loeser motivic zeta function of $\mathcal{A}$. We prove a formula expressing $Z_\mathcal{A}^{\hatμ}(T)$ in terms of the Milnor fibers of related hyperplane arrangements. We use this formula to show that the map taking each complex arrangement $\mathcal{A}$ to the Hodge-Deligne specialization of $Z_{\mathcal{A}}^{\hatμ}(T)$ is locally constant on the realization space of any loop-free matroid. We also prove a combinatorial formula expressing the motivic Igusa zeta function of $\mathcal{A}$ in terms of the characteristic polynomials of related arrangements.

math.AG↗

arXiv2018

Motivic Volumes of Fibers of Tropicalization

Let $T$ be an algebraic torus over an algebraically closed field, let $X$ be a smooth closed subvariety of a $T$-toric variety such that $U = X \cap T$ is not empty, and let $\mathscr{L}(X)$ be the arc scheme of $X$. We define a tropicalization map on $\mathscr{L}(X) \setminus \mathscr{L}(X \setminus U)$, the set of arcs of $X$ that do not factor through $X \setminus U$. We show that each fiber of this tropicalization map is a constructible subset of $\mathscr{L}(X)$ and therefore has a motivic volume. We prove that if $U$ has a compactification with simple normal crossing boundary, then the generating function for these motivic volumes is rational, and we express this rational function in terms of certain lattice maps constructed in Hacking, Keel, and Tevelev's theory of geometric tropicalization. We explain how this result, in particular, gives a formula for Denef and Loeser's motivic zeta function of a polynomial. To further understand this formula, we also determine precisely which lattice maps arise in the construction of geometric tropicalization.

math.AG↗

arXiv2013

Gap Theorems for the Delay of Circuits Simulating Finite Automata

We study the delay (also known as depth) of circuits that simulate finite automata, showing that only certain growth rates (as a function of the number $n$ of steps simulated) are possible. A classic result due to Ofman (rediscovered and popularized by Ladner and Fischer) says that delay $O(\log n)$ is always sufficient. We show that if the automaton is "generalized definite", then delay O(1) is sufficient, but otherwise delay $Ω(\log n)$ is necessary; there are no intermediate growth rates. We also consider "physical" (rather than "logical") delay, whereby we consider the lengths of wires when inputs and outputs are laid out along a line. In this case, delay O(n) is clearly always sufficient. We show that if the automaton is "definite", then delay O(1) is sufficient, but otherwise delay $Ω(n)$ is necessary; again there are no intermediate growth rates. Inspired by an observation of Burks, Goldstein and von Neumann concerning the average delay due to carry propagation in ripple-carry adders, we derive conditions for the average physical delay to be reduced from O(n) to $O(\log n)$, or to O(1), when the inputs are independent and uniformly distributed random variables; again there are no intermediate growth rates. Finally we consider an extension of this last result to a situation in which the inputs are not independent and uniformly distributed, but rather are produced by a non-stationary Markov process, and in which the computation is not performed by a single automaton, but rather by a sequence of automata acting in alternating directions.

cs.CC↗

arXiv2012

A Combinatorial Interpretation of the Joint Cumulant

In this paper, we apply the combinatorial proof technique of Description, Involution, Exceptions (DIE) to prove various known identities for the joint cumulant. Consider a set of random variables $S = \{X_1,..., X_n\} $. Motivated by the definition of the joint cumulant, we define $ \sC(S) $ as the set of cyclically arranged partitions of $S$, allowing us to express the joint cumulant of $ S $ as a weighted, alternating sum over $\sC(S)$. We continue to define other combinatorial objects that allow us to rewrite expressions originally in terms of the joint cumulant as weighted sums over the set of these combinatorial objects. Then by constructing weight-preserving, sign-reversing involutions on these objects, we evaluate the original expressions to prove the identities, demonstrating the utility of DIE.

math.CO↗

arXiv2012

Efficient Algorithms for Zeckendorf Arithmetic

We study the problem of addition and subtraction using the Zeckendorf representation of integers. We show that both operations can be performed in linear time; in fact they can be performed by combinational logic networks with linear size and logarithmic depth. The implications of these results for multiplication, division and square-root extraction are also discussed.

cs.DS↗

arXiv2012

Barred Preferential Arrangements

A preferential arrangement of a set is a total ordering of the elements of that set with ties allowed. A barred preferential arrangement is one in which the tied blocks of elements are ordered not only amongst themselves but also with respect to one or more bars. We present various combinatorial identities for r_{m,l}, the number of barred preferential arrangements of l elements with m bars, using both algebraic and combinatorial arguments. Our main result is an expression for r_{m,l} as a linear combination of the r_k (= r_{0,k}, the number of unbarred preferential arrangements of k elements) for l <= k<=l+m. We also study those arrangements in which the sections, into which the blocks are segregated by the bars, must be nonempty. We conclude with an expression of r_l as an infinite series that is both convergent and asymptotic.

math.CO↗