要約:
In this paper we initiate the study of higher Chow cycles on holomorphic symplectic manifolds. Our concrete central result is construction of explicit indecomposable (2,1)- and (4,1)-cycles on the Fano varieties of lines on cyclic cubic fourfolds. This is the first explicit example of such cycles on holomorphic symplectic manifolds. The proof of indecomposability is done by degeneration to cuspidal cubic fourfolds. Along the way, we develop a method of inducing (p,1)-cycles on Hilbert squares of K3 surfaces. Finally, we study restriction of (2,1)-cycles to Lagrangian subvarieties, and observe the phenomenon that the restricted cycles are always decomposable in the examples in our hand.
要約:
We construct and study a graded version of absolute perfectoidization for $G$-graded adic rings. As a main geometric application, we show that the absolute perfectoidization of the structure sheaf of a projective-type formal scheme admits an algebraization.
要約:
We investigate the stable and retract rationality of multinorm one tori associated to finite {\'e}tale algebras. Our results are organized according to the greatest common divisor $d$ of the degrees of the factors. We show that these tori are stably rational for $d=1$, and obtain a criterion for retract rationality that can be attributed to our previous results. For $d>1$, we provide sufficient conditions for the failure of retract rationality. We further generalize results of Endo--Miyata (1975) and Endo (2011) by giving an equivalent condition for multinorm one tori to be stably rational under the assumption that they split over Galois extensions with Galois groups in which all Sylow subgroups are cyclic. A similar result also holds when they split over dihedral Galois extensions.
要約:
Let X be an affine variety and L be a solvable Lie subalgebra of Lie(Aut(X)) generated by a finite collection of locally finite Lie subalgebras. The authors of [arXiv:2507.09679] wondered whether L is itself locally finite. Here we present some criteria for the local finiteness of L. We also answer this question in the affirmative in the particular case where X is the affine plane.
要約:
We compute the automorphism group of the dual complex $\mathsf{T}_{d, n}$ of the boundary divisor in the Kontsevich moduli space $\overline{\mathcal{M}}_{0, n}(\mathbb{P}^r, d)$. When $d \geq 2$, we find that $\mathrm{Aut}(\mathsf{T}_{d, n}) \cong \mathbb{S}_{n}$, while $\mathrm{Aut}(\mathsf{T}_{1, n}) \cong \mathbb{S}_{n + 1}$ for all $n \geq 4$. The complex $\mathsf{T}_{1, n}$ is also the dual complex of the boundary divisor in the Fulton--MacPherson compactification of the configuration space of $n$ points on $X$, if $X$ is any smooth, proper, and connected algebraic variety over $\mathbb{C}$. Following work of Massarenti, this implies that $\mathsf{T}_{1, n}$ admits automorphisms which in general do not extend to $X[n]$.
要約:
We introduce a nonnegative functional on the space of line arrangements in $\mathbb{P}^2$ that vanishes precisely on free arrangements, obtained as a semicontinuous relaxation of Saito's criterion for freeness. Given an arrangement $\mathcal{A}$ of $n$ lines with candidate exponents $(d_1, d_2)$, we parameterize the spaces of logarithmic derivations of degrees $d_1$ and $d_2$ via the null spaces of the associated derivation matrices and express the Saito determinant as a bilinear map into the space of degree $n$ polynomials. The functional then admits a natural geometric interpretation: it measures the squared sine of the angle between the image of this bilinear map and the direction of the defining polynomial $Q(\mathcal{A})$ in coefficient space, and equals zero if and only if its image contains the line spanned by $Q(\mathcal{A})$. This provides a computable measure of how far a given arrangement is from admitting a free basis of logarithmic derivations of the expected degrees.
Using this functional as a reward signal, we develop a sequential construction procedure in which lines are added one at a time so as to minimize the angular distance to freeness, implemented via reinforcement learning with an adaptive curriculum over arrangement sizes and exponent types.
Our results suggest that semicontinuous relaxation techniques, grounded in the geometry of polynomial coefficient spaces, offer a viable approach to the computational exploration of freeness in the theory of line arrangements.
要約:
To the best of the authors' knowledge, all previously known examples of $\mu$-, $\mu^*$-, link-, or ordinary Zariski pairs of surface singularities in $\mathbb{C}^3$ consist of (possibly weighted) L\^e-Yomdin singularities. In this paper, we present an example of a $\mu$-Zariski pair involving surface singularities that are not of L\^e-Yomdin type.
要約:
We give an example of proper smooth fourfold over a perfect field k of characteristic p > 0 with asymmetric Hodge--Witt numbers in total degree 3. Our example is sharp both in terms of dimension and total degree. We arrive at our example by computing and approximating the Hodge--Witt cohomology groups of the classifying stack B alpha_p.
要約:
We construct a stratification of the punctual Hilbert scheme of points on a non-reduced and nodal plane curve, $x^uy^v=0$. Each stratum is indexed by a new combinatorial object we define: a weak diagonal partition. The approach is based on introducing filtrations on ideals, together with a valuation adapted to the non-reduced structure, which allows us to analyze generators and their degrees of freedom in a systematic way. In particular, each stratum is affine when $u=1,2$; and each stratum is isomorphic to an algebraic torus times an affine space, $(\mathbb{C}^*)^{m_1} \times \mathbb{C}^{m_2}$, when $u=v,v-1,v-2$. We consequently compute the Poincar\'e polynomials of the punctual Hilbert scheme of points on curves $x^uy^v=0$ when $u=1,2,v-2,v-1,v$. As an application, we prove the colored Oblomkov-Rasmussen-Shende conjecture for the Hopf link for $u=1, v$ arbitrary, showing that the virtual Poincar\'e polynomial is the row-colored link homology up to change of variables.
要約:
We prove a motivic version of the Poisson formula on the adelic points of a split algebraic torus and apply it to the study of the motivic height zeta function of split projective toric varieties, in the context of the motivic Manin-Peyre principle.
要約:
We describe the semigroup of the Lipschitz saturation of a complex analytic toric singularity in arbitrary dimension. We give a necessary and sufficient condition for a monomial in the normalization to belong to the Lipschitz saturation, in terms of Newton polyhedra and lattice conditions, and deduce a finite algorithm to compute it. We also show that, in dimension greater than two, Campillo's notion of presaturation differs from the Lipschitz saturation, even for complex singularities.
要約:
We study the Hitchin morphism for higher dimensional varieties and show that, for a certain class of varieties which we call r-small, the set-theoretic image of the Hitchin morphism from the Dolbeault moduli space coincides with the spectral base. In other words, a stronger version of the conjecture of Chen and Ng\^o holds for this class of varieties, which includes K-trivial varieties. As part of the proof, we slightly modify the construction of spectral covers to obtain normal spectral covers.
要約:
We extend the hyperplane arrangement framework for neural network expressivity from the braid to discriminantal arrangements. Compatible piecewise linear functions are characterized by circuit relations and admit a matroidal description via Mobius inversion, with dimension equal to the number of independent sets. For circuits of size three, functions are determined by values on subsets of size at most two.
要約:
We show that the geometric classification of smooth projective curves admitting infinitely many points of degree $d\leq 5$ extends from number fields to function fields of characteristic 0. Over number fields, this classification was established by Faltings for $d=1$, Harris--Silverman for $d=2$, Abramovich--Harris for $d=3,4$ and Kadets--Vogt for $d=4,5$. Our approach uses a specialization argument to reduce the problem over function fields to the number field case.
要約:
We derive a concrete closed string dual to any interacting Hermitian one-matrix model, away from the double-scaling limit. Matrix and string correlators manifestly agree, to all orders in the genus expansion and all orders in the 't Hooft coupling(s). The worldsheet theory consists of a supersymmetric B-twisted Landau-Ginzburg model coupled to 2d topological gravity. We provide a precise dictionary between traces of the matrix and vertex operators on the worldsheet. Matrix model correlators are explicitly mapped to computable integrals over the moduli space of Riemann surfaces. We perform several direct cross-checks on both sides of the duality. This work furnishes a detailed instantiation of gauge/string duality, in the standard 't Hooft regime, and hopefully a useful worldsheet toy model for the AdS/CFT correspondence, away from the free field limit.
要約:
We prove that the relative p-adic monodromy theorem holds over a dense open subset. Moreover, we establish the equivalence of the following two statements: the local constancy of the Newton polygon function associated with a de Rham local system around rank-1 points, and the relative p-adic monodromy theorem near rank-1 points. We demonstrate how to extend the relative p-adic monodromy conjecture from the neighborhood of rank-1 points to the entire interiors of Newton partitions.
要約:
Let $X$ be a smooth variety over a finite field $\mathbb{F}_q$. Let $\ell$ be a rational prime number invertible in $\mathbb{F}_q$. For an $\ell$-adic sheaf $\mathcal{F}$ on $X$, we construct a cycle supported on the singular support of $\mathcal{F}$ whose coefficients are $\ell$-adic numbers modulo roots of unity. It is a refinement of the characteristic cycle $CC(\mathcal{F})$, in the sense that it satisfies a Milnor-type formula for local epsilon factors. After establishing fundamental results on the cycles, we prove a product formula of global epsilon factors modulo roots of unity. We also give a generalization of the results to varieties over general perfect fields.
要約:
Let $f\colon X\to\mathbb{A}^1_k$ be a morphism from a smooth variety to an affine line with an isolated singular point. For such a singularity, we have two invariants. One is a non-degenerate symmetric bilinear form (de Rham), and the other is the vanishing cycles complex (\'etale).
In this article, we give a formula which expresses the local epsilon factor of the vanishing cycles complex in terms of the bilinear form. In particular, the sign of the local epsilon factor is determined by the discriminant of the bilinear form. This formula can be thought as a refinement of the Milnor formula, which compares the total dimension of the vanishing cycles and the rank of the bilinear form.
In characteristic $2$, we find a generalization of the Arf invariant, which can be regarded as an invariant for non-degenerate quadratic singularities, to general isolated singularities.
要約:
The classical Losev-Manin space is a toric compactification of the moduli space of $n$ points in the affine line modulo translation and scaling. Motivated by this, we study its higher-dimensional toric counterparts, which compactify the moduli space of $n$ distinct labeled points in affine space modulo translation and scaling. We show that these moduli spaces are a fibration over a product of projective spaces -- with fibers isomorphic to the Losev-Manin space -- and that they are isomorphic to the normalization of a Chow quotient. Moreover, we present a criterion to decide whether the blow-up of a toric variety along the closure of a subtorus is a Mori dream space. As an application, we demonstrate that a related generalization of the moduli space of pointed rational curves constructed by Chen, Gibney, and Krashen is not a Mori dream space when the number of points is at least nine, regardless of the dimension.
要約:
For a smooth projective variety $X$ of dimension $d \geq 5$ over an algebraically closed field $k$ of characteristic zero, it is shown in this paper that the bounded derived category of the Hilbert scheme of three points $X^{[3]}$ admits a semi-orthogonal sequence of length $\binom{d-3}{2}$. Each subcategory in this sequence is equivalent to the derived category of $X$ and realized as the image of a Fourier-Mukai transform along a Grassmannian bundle $\mathbb{G}$ over $X$ parametrizing planar subschemes in $X^{[3]}$. The main ingredient in the proof is the computation of the normal bundle of $\mathbb{G}$ in $X^{[3]}$. An analogous result for generalized Kummer varieties is deduced at the end.
要約:
Moraga and Yeong conjectured that for a smooth complex projective variety $X$ of dimension $n$, an ample line bundle $A$ on $X$ and an integer $m \ge 3 n + 1$, very general elements of the adjoint linear system $|\omega_{X} \otimes A^{\otimes m}|$ are algebraically hyperbolic. We prove the conjecture for spherical varieties with smooth orbit closures. As a corollary, we conclude that the conjecture holds for horospherical varieties, and for toroidal spherical varieties. Furthermore, for any spherical variety, we show that the conjecture holds modulo the complement of an open dense orbit.
要約:
The moduli space $\mathcal{A}_g$ of principally polarised abelian varieties of dimension $g$, defined over an algebraically closed field of characteristic $p >0$, is studied through various stratifications. The two most prominent ones are the Newton stratification, based on the isogeny class of the $p$-divisible group of an abelian variety, and the Ekedahl-Oort stratification, defined by the isomorphism class of its $p$-torsion group scheme. In general, it is not known how the strata of these two intersect. In this paper we completely determine which of these intersections are non-empty in dimension five. As a consequence, we give an explicit description of the induced Ekedahl-Oort stratification on the supersingular locus $\mathcal{S}_{5}$.
要約:
In in a nutshell, the classical geometric $q$-Langlands duality can be viewed as a correspondence between the space of $(G,q)$-opers and the space of solutions of $^L\mathfrak{g}$ XXZ Bethe Ansatz equations. The latter describe spectra of closed spin chains with twisted periodic boundary conditions and, upon the duality, the twist elements are identified with the $q$-oper connections on a projective line in a certain gauge. In this work, we initiate the geometric study of Bethe Ansatz equations for spin chains with open boundary conditions. We introduce the space of $q$-opers whose defining sections are invariant under reflection through the unit circle in a selected gauge. The space of such reflection-invariant $q$-opers in the presence of certain nondegeneracy conditions is thereby described by the corresponding Bethe Ansatz problem. We compare our findings with the existing results in integrable systems and representation theory. This paper discusses the type-A construction leaving the general case for the upcoming work.
要約:
The tropical row span and column span of a real matrix are, from the polyhedral point of view, different objects living in different ambient spaces. These polytopes are known to be combinatorially isomorphic as polyhedral complexes; we prove that they are isometric under a Hilbert projective metric. We show that this isometry, along with a considerable amount of additional metric and polyhedral structure, is a direct consequence of a single categorical construction: the Isbell nucleus of the matrix, viewed as a profunctor enriched over the extended reals. The projective nucleus carries two canonical structures inherited from enrichment. The first is a Hilbert projective metric, with respect to which the Isbell conjugate maps are mutually inverse isometries -- this is the Isometry Theorem. The second is a polyhedral cell decomposition cut out by the Isbell inequalities, recovering the type decomposition of tropical convexity. These two structures are linked pointwise by the \emph{gap matrix}. The Events Theorem identifies each positive entry of the gap matrix with the exact projective distance to the locus where the corresponding inequality becomes tight: algebraic slack in the Isbell inequalities equals geometric distance to the cell walls. Thresholding the gap matrix at successive radii produces a constructible sheaf of formal concept lattice towers, extracting discrete algebraic structure from the continuous geometry at each point. In the square case there is generically a unique full-dimensional cell. The Centering Theorem identifies its Chebyshev center -- the point maximally insulated from all cell walls -- and shows that the optimal radius equals the minimum directed cycle mean of an associated digraph, connecting the projective geometry of the nucleus to the classical theory of optimal assignments.
要約:
We study the categories $\mathrm{Perv}_{\mathrm{thin}}$ and $\mathrm{Perv}_{\mathrm{thick}}$ of Iwahori-equivariant perverse sheaves on the thin and thick affine flag varieties associated to a split reductive group $G$. An earlier work of the first author describes $\mathrm{Perv}_{\mathrm{thin}}$ in terms of bimodules over the so-called non-commutative Springer resolution. We partly extend this result to $\mathrm{Perv}_{\mathrm{thick}}$, providing a similar description for its anti-spherical quotient. The long intertwining functor realizes $\mathrm{Perv}_{\mathrm{thick}}$ as the Ringel dual of $\mathrm{Perv}_{\mathrm{thin}}$; we point out that it shares some exactness properties with the similar functor acting on perverse sheaves on the finite-dimensional flag variety. We use this result to resolve a conjecture of Arkhipov and the first author, proving that the image in the Iwahori-Whittaker category of any convolution-exact perverse sheaf on the affine flag variety is tilting.
要約:
We propose a geometric framework to produce a formula relating higher period integrals to higher central derivatives of $L$-functions over function fields, extending the framework of relative Langlands duality \`a la Ben-Zvi--Sakellaridis--Venkatesh to higher derivatives. For a strongly tempered affine smooth $G$-variety $X$, we give a geometric construction of the action of $L$-observables on the geometric period integral of a Hecke eigensheaf. By taking a suitable version of Frobenius trace of this action, we recover higher central derivatives of the $L$-function attached to the dual symplectic representation. As an application, in the Rankin--Selberg case $(\mathrm{GL}_n\times\mathrm{GL}_{n-1},\mathrm{GL}_{n-1})$, we obtain a formula for higher derivatives of the Rankin--Selberg $L$-function. This provides a conceptual generalization of Yun--Zhang's higher Gross--Zagier formula to higher-dimensional spherical varieties.
要約:
The Pappas-Rapoport coherence conjecture, proved by Zhu, states that the dimensions of spaces of sections of certain line bundles coincide. The two sides of the equality correspond to the line bundles on spherical Schubert varieties in the affine Grassmannians and to the line bundles on unions of Schubert varieties in the affine flag varieties. Algebraically the claim can be reformulated as an equality between dimensions of certain Demazure modules and certain sums of Demazure modules. The goal of this paper is to formulate an algebraic construction providing an explicit link between the above mentioned Demazure modules. Our construction works only in type A, but it is applicable to a much wider class of representations than whose popping up in the geometric coherence conjecture. In the general case one side of the conjectural equality involves the affine Kostant-Kumar modules.
要約:
We introduce the notion of the $\infty$-category of (complete) derived $G$-graded modules over a $G$-graded ring $R$ for a torsion-free abelian group $G$, and we study its foundational properties. Moreover, we prove a categorical equivalence between (complete) derived $G$-graded modules over $R$ and derived (formal) comodules over a certain comonad constructed from the group ring $R[G]$ of $G$ over $R$.
要約:
The Chow polynomial of a matroid is a fundamental invariant whose coefficients exhibit strong positivity properties, including $\gamma$-positivity. We interpret the normalized Chow coefficients as a probability distribution and establish new inequalities for its central moments. As consequences, we obtain bounds on the number of flags of flats and inequalities on the roots of the Chow polynomial.
We further relate these moment inequalities to algebraic geometry via the Hirzebruch $\chi_y$-genus. This yields new inequalities for matroidal Chern numbers. In particular, for any matroid of rank $d+1$, we prove that $c_1c_{d-1}\le c_d$, with equality if and only if $d=1$ or the simplification of the matroid is Boolean.
要約:
We provide a new proof of a result of Bessenrodt on the relation among the generating series of reversed plane partitions and skew plane partitions, motivated by the geometric DT/PT wallcrossing formula for local curves recently proved by the third author. This also recovers a result of Sagan.
We moreover establish various new closed formulas for the weighted enumeration of reversed and skew plane partitions, proving a result dual to a theorem by Gansner, we find a new identity on the generating series counting internal and external hooks of a given Young diagram, and we combine the latter with Bessenrodt's theorem. Finally, we interpret our results as identities in the Fock space via the bosonic/fermionic formalism.