要約:
Here we construct spaces of coinvariants for Heisenberg vertex algebras on abelian varieties and show that these globalize to twisted $\mathscr{D}$-modules on the moduli space of abelian varieties. Remarkably, we recover the standard construction of these sheaves over the Torelli locus. As an example, in the case of commutative Heisenberg vertex algebras we show that the realization of coinvariants on curves as polynomial functions on one-forms extends to arbitrary abelian varieties.
要約:
These notes survey the theory of (twisted) conformal blocks from an algebro-geometric perspective and have two main goals. The first one is to summarize the construction of conformal blocks from vertex operator algebras, and to describe their fundamental properties -- such as factorization and sewing -- which imply that conformal blocks define vector bundles on moduli spaces of curves whose ranks and Chern classes can be computed explicitly. The second aim is to describe how line bundles on moduli of principal bundles over a curve -- and their sections -- can be understood via (twisted) conformal blocks for (twisted) affine Lie algebras.
要約:
We introduce the degree and local degree in equivariant motivic homotopy theory for the purpose of studying equivariant enumerative problems over general fields. Given a finite, tame group scheme $G$ over a field $k$ and an equivariant motivic ring spectrum $E_G$, we define the equivariant motivic degree and a corresponding local degree of a relatively $E_G$-oriented, proper, quasi-smooth morphism of $G$-schemes. We prove a local to global formula expressing the global degree as a sum of local contributions over $G$-orbits.
Using these constructions, we define the Euler number of an oriented vector bundle on a quasi-smooth, proper derived stack and show that the Euler number is independent of the choice of section under appropriate hypotheses. In the presence of a finite group action, the equivariant Euler number can be computed as a sum of local equivariant degrees. As an application, we obtain an equivariantly enriched local multiplicity formula for an equivariant non-transverse B\'ezout theorem, expressing an equivariant intersection number as a sum of local equivariant degrees.
要約:
We generalize the classical semiregularity theorem of Buchweitz and Flenner to the setting of noncommutative algebraic geometry, with group actions. This applies in particular to twisted derived categories, in which case it answers a question of Markman and streamlines part of his proof of the Hodge conjecture for abelian fourfolds. Along the way, we prove that for many finite group actions on derived categories of varieties, the invariant category is of geometric origin.
要約:
We introduce tropical matroid Schubert varieties, a tropical analogue of arrangement Schubert varieties associated with realisable matroids. We prove that the tropical cohomology ring of the tropical matroid Schubert variety associated to any matroid $M$ is isomorphic to the graded M\"obius algebra $\operatorname{B}^\bullet(M)$. This yields a geometric model for $\operatorname{B}^\bullet(M)$, extending the geometric setting of arrangement Schubert varieties to arbitrary matroids, including non-realisable ones.
要約:
Truncated Grassmannians are defined as closures of orbits of abelian unipotent groups acting on the degree truncations of projectivized wedge powers. We show that such truncations in a more general setup show up in the description of the blow-ups of general flag varieties along Schubert subvarieties. We work out the case of Grassmannians in detail.In particular, we show that our blow-ups are members of a larger family of varieties projecting onto Grassmannians, and describe the fibers of these projections via the spaces of collineations.
要約:
We study a one parameter degeneration of Calabi Yau threefolds whose central fiber contains a single ordinary double point. Using the nearby and vanishing cycle formalism, we construct a canonical perverse object on the singular fiber from the variation morphism between vanishing and nearby cycles. We show that this object restricts to the constant perverse sheaf on the smooth locus and differs from the intersection complex by a single rank one contribution supported at the node. Thus the object isolates the vanishing cycle contribution associated with the conifold degeneration in a canonical sheaf theoretic form. We also explain how this construction aligns with the rank-one Picard Lefschetz phenomenon that appears categorically through spherical monodromy, making it a natural comparison object for the decategorified effect of spherical twists in the ordinary double point case.
要約:
We give an explicit description of the BPS Lie algebra of any quiver with zero potential, by relating the perverse filtration on the cohomological Hall algebra with certain limit conditions on polynomials. Our results also give a partial description of the perverse filtration for arbitrary potential, which we conjecture is complete in the case of tripled quivers with canonical cubic potential.
要約:
We discuss how canonical and universal constructions, properties and characterizations interact with equality in the framework of Homotopy Type Theory, comparing it with Grothendieck's use of equality and shedding further light on (efficient) formalisation of mathematics. This is achieved by investigating examples that range from monoids, groups, rings and modules to cohomology theories in the category of modules over commutative rings and culminate in a cohomological criterion of flatness.
要約:
Affine normal directions provide intrinsic affine-invariant descent directions derived from the geometry of level sets. Their practical use, however, has long been hindered by the need to evaluate third-order derivatives and invert tangent Hessians, which becomes computationally prohibitive in high dimensions. In this paper, we show that affine normal computation admits an exact reduction to second-order structure: the classical third-order contraction term is precisely the gradient of the log-determinant of the tangent Hessian. This identity replaces explicit third-order tensor contraction by a matrix-free formulation based on tangent linear solves, Hessian-vector products, and log-determinant gradient evaluation. Building on this reduction, we develop exact and stochastic matrix-free procedures for affine normal evaluation. For sparse polynomial objectives, the algebraic closure of derivatives further yields efficient sparse kernels for gradients, Hessian-vector products, and directional third-order contractions, leading to scalable implementations whose cost is governed by the sparsity structure of the polynomial representation. We establish end-to-end complexity bounds showing near-linear scaling with respect to the relevant sparsity scale under fixed stochastic and Krylov budgets. Numerical experiments confirm that the proposed MF-LogDet formulation reproduces the original autodifferentiation-based affine normal direction to near machine precision, delivers substantial runtime improvements in moderate and high dimensions, and exhibits empirical near-linear scaling in both dimension and sparsity. These results provide a practical computational route for affine normal evaluation and reveal a new connection between affine differential geometry, log-determinant curvature, and large-scale structured optimization.
要約:
Recently, a version of the deformation method developed in arXiv:2104.07816 has been used to great effect to compute the local zeta functions of Calabi-Yau threefolds by computing their periods as series with rational coefficients and using this to find a matrix representing the Frobenius action on a $p$-adic cohomology. However, this method rapidly becomes inefficient as the prime $p$ grows, due to the rational period coefficients growing quickly. In this paper, we point out that this problem can be circumvented by a simple process that we call $p$-adically truncated recurrence. This is a recurrence relation whose solutions are $p$-adic numbers modulo $p^A$ for a given $A \in \mathbb{N}$ and thus grow only slowly as $p$ grows. We show that the $p$-adic accuracy $A$ can be chosen such that all $p$-adic digits which contribute to the final result are kept, and therefore we are able to obtain the correct result by using these solutions. The improvements to speed and memory usage allow for computing the local zeta functions for tens of thousands of primes on a desktop computer, and make computing local zeta functions possible even for primes of size $10^6$ to $10^7$. Previously such computations were practically possible for around 1000 first primes. We have implemented this method in a Sage-compatible Python package PFLFunction.
要約:
In this article, for a non degenerate singular phase, we reconsider a stationary phase formula of Heifetz in the non-Archimedean local field setting and give a motivic analogue using Cluckers-Loeser's motivic integration.
要約:
This paper introduces a novel framework for constructing invariants in $G$-equivariant birational geometry by unifying two recent approaches: the theory of atoms recently developed by Katzarkov, Kontsevich, Pantev, and Yu, and the theory of modular symbols due to Kontsevich, Tschinkel, and Pestun.
We initiate the theory of Chen-Ruan atoms. Assuming the blowup formula for the quantum Chen-Ruan cohomology, we outline how to extend the theory of atoms to global quotient orbifolds and present some striking applications.
In addition, we develop a separate class of purely geometric invariants for $\mathbb{Z}/2$- and $\mathbb{Z}/3$-actions on surfaces and threefolds.
We provide many examples of non-$G$-linearizable $G$-actions on projective varieties treated with these new techniques.
要約:
We survey recent developments on rationality problems for algebraic varieties, with a particular emphasis on cycle-theoretic and combinatorial methods and their applications to hypersurfaces.
要約:
We show, under some natural conditions, that the set of abelian points on the non-anomalous subset of a closed irreducible subvariety $X$ intersected with the union of connected algebraic subgroups of codimension at least $\dim X$ in a torus is finite, generalising results of Ostafe, Sha, Shparlinski and Zannier (2017). We also generalise their structure theorem for such sets when the algebraic subgroups are not necessarily connected, and obtain a related result in the context of curves and arithmetic dynamics.
要約:
Invariant sets are a key ingredient for verifying safety and other properties of cyber-physical systems that mix discrete and continuous dynamics. We adapt the elimination-theoretic Rosenfeld-Gr\"{o}bner algorithm to systematically obtain algebraic invariants of polynomial dynamical systems without using Gr\"{o}bner bases or quantifier elimination. We identify totally real varieties as an important class for efficient invariance checking.
要約:
Let $(G,X)$ be a PEL-Shimura datum of type AC in Kottwitz's classification. Assume $G_{\mathbf{Q}_p}$ is unramified. We show that the good reduction locus of the infinite $p$-level Shimura variety attached to this datum, considered as a diamond, can be described as the fiber product of a certain v-stack (which we call ``Igusa stack") with a Schubert cell of the corresponding $B_{dR}^+$-affine Grassmannian, over the stack of $G_{\mathbf{Q}_p}$-torsors on the Fargues-Fontaine curve. We also construct a minimal compactification of the Igusa stack and show that this fiber product structure extends to the minimal compactification of the Shimura variety. When the Schubert cell of the affine Grassmannian is replaced by a bounded substack of $\mathcal{G}$-shtukas, where $\mathcal{G}$ is a reductive model of $G_{\mathbf{Q}_p}$ over $\mathbf{Z}_p$, we show that this fiber product recovers the integral model of the Shimura variety. This result on integral models, if specialized to a Newton polygon stratum, recovers the fiber product formula of Mantovan. Similar fiber product structures are conjectured by Scholze to exist on general Shimura varieties.
要約:
We construct a relative version of the Crane-Yetter topological quantum field theory in four dimensions, from non-semisimple data. Our theory is defined relative to the classical $G$-gauge theory in five dimensions -- this latter theory assigns to each manifold $M$ the appropriate linearization of the moduli stack of $G$-local systems, called the character stack. Our main result is to establish a relative invertibility property for our construction. This invertibility generalizes the key invertibility property of the original Crane-Yetter theory which allowed it to capture the framing anomaly of the celebrated Witten-Reshetikhin-Turaev theory. In particular our invertibilty statement at the level of surfaces implies a categorical, stacky version of the unicity theorem for skein algebras; at the level of 3-manifolds it equips the character stack with a canonical line bundle. Regarded as a topological symmetry defect of classical gauge theory, our work establishes invertibility of this defect by a gauging procedure.
要約:
Using the picture deformation technique of De Jong-Van Straten we show that no singularity whose resolution graph has 3 or 4 large nodes, i.e., nodes satisfying d(v)+e(v)\leq -2, has a QHD smoothing. This is achieved by providing a general reduction algorithm for graphs with QHD smoothings, and enumeration. New examples and families are presented, which admit a combinatorial QHD smoothing, i.e. the incidence relations for a sandwich presentation can be satisfied. We also give a new proof of the Bhupal-Stipsicz theorem on the classification of weighted homogeneous singularities admitting QHD smoothings with this method by using cusp singularities.
要約:
We study the arithmetic of Galois-invariant sets of points on algebraic curves with controlled reduction behavior. Let $C$ be a smooth projective curve with a smooth proper model $\mathcal{C}$ over $\mathcal{O}_{K,S}$. We define $\Omega_n$ as the set of $n$-element subsets of $C(\overline{K})$ that are invariant under $\text{Gal}(\overline{K}/K)$ and such that no two points in the set become identified modulo any prime $\mathfrak{p} \notin S$. Our main result establishes that $\Omega_n$ breaks into finitely many orbits under the action of $\text{Aut}_{\mathcal{O}_{K,S}}(\mathcal{C})$, generalizing finiteness theorems of Birch--Merriman, Siegel, and Faltings.
要約:
Building on the results of [1,2], we study the resurgence of $q$-Pochhammer symbols and determine their summability and quantum modularity properties. We construct a new, infinite family of pairs of modular resurgent series from the asymptotic expansions of sums of $q$-Pochhammer symbols weighted by suitable Dirichlet characters. These weighted sums fit into the modular resurgence paradigm and provide further evidence supporting our conjectures in [1]. In the context of the topological string/spectral theory correspondence for toric Calabi-Yau threefolds, Kashaev and Mari\~no proved that the spectral traces of canonical quantum operators associated with local weighted projective planes can be expressed as sums of $q$-Pochhammer symbols. Exploiting this relation, we show that an exact strong-weak resurgent symmetry, first observed by the second author in [3] and fully formalized in [2] for local $\mathbb{P}^2$, applies to all local $\mathbb{P}^{m,n}$, albeit stripped of some of the underlying number-theoretic properties. Under some assumptions, these properties are restored when considering linear combinations of the spectral traces that reproduce the weighted sums above.
要約:
Let $R$ be a standard graded polynomial ring over a field $k$. The paper focuses on homogeneous ideals $J \subset R$ of codimension $2$ generated by three forms of the same degree $d \geq 2$ that are almost Cohen--Macaulay, i.e., of homological dimension $2$. Based on the structure of the minimal graded free resolution of $J$ and numerical data encoded in certain \emph{latent data}, one introduces the notion of \emph{level matrices} associated with these data. The main result provides a complete characterization of an almost Cohen--Macaulay $3$-generated ideal $J$ of codimension $2$ in terms of the existence of a related level matrix for which $J$ arises as the ideal of its maximal minors that fix a submatrix. One provides algebraic and geometric examples illustrating the results.
要約:
We show that the large affine Hecke category defines an oriented, fully extended topological field theory. More generally, we establish conditions under which ind-coherent convolution categories define such theories, analogously to known results for finite Hecke categories and $D$-modules.