Algebraic Geometry

2026-02-11 | | Total: 15

#1 A lower bound for the Milnor number of vector fields [PDF] [Copy] [Kimi] [REL]

Authors: Maurício Corrêa, Gilcione Nonato Costa, Alejandra Salamanca Russi

We study holomorphic vector fields whose singular locus contains a local complete intersection smooth positive-dimensional component. We prove global and local formulas expressing the limiting Milnor/Poincare-Hopf contribution along such a component in terms of its embedded scheme structure, and we obtain sharp lower bounds for this contribution under holomorphic perturbations. We provide explicit families show optimality and illustrate how singularities may redistribute between a fixed neighborhood of the component and the part at infinity in projective compactifications.

Subjects: Algebraic Geometry , Complex Variables , Differential Geometry , Dynamical Systems

Publish: 2026-02-10 18:15:57 UTC


#2 Graded Betti numbers of the Jacobian algebra of surfaces in $\mathbb P^3$ [PDF] [Copy] [Kimi] [REL]

Authors: Alexandru Dimca, Gabriel Sticlaru

We compute an explicit closed formula for the Hilbert polynomial of the Jacobian algebra $M(f)$ of a reduced surface $X:f=0$ in $\mathbb P^3$ in terms of the graded Betti numbers of the algebra $M(f)$. When $X$ has only isolated singularities, a result by A. du Plessis and C. T. C. Wall yields new necessary condition for a set of positive integers to be the graded Betti numbers of the Jacobian algebra of such a surface. The comparison with the plane curve case is discussed in detail and additional information is given in the case of nodal surfaces.

Subjects: Algebraic Geometry , Commutative Algebra

Publish: 2026-02-10 16:54:14 UTC


#3 Hecke curves in Frobenius strata of moduli space of rank 2 vector bundles [PDF] [Copy] [Kimi] [REL]

Authors: Lingguang Li, Hongyi Zhang

Let $k$ be an algebraically closed field with characteristic $2$, and let $X$ be a smooth projective algebraic curve of genus $g \geqslant 2$ over $k$. Let $\mathcal{M}^s_X(2,\mathcal{L})$ be the moduli space of rank $2$ stable vector bundles with determinant $\mathcal{L}$ on $X$. The Frobenius stratification measures the instability of bundles in $\mathcal{M}^s_X(r,\mathcal{L})$ under pullback by the Frobenius map. We show that there exists a Frobenius stratum in $\mathcal{M}^s_X(2,\mathcal{L})$ which is covered by Hecke curves.

Subject: Algebraic Geometry

Publish: 2026-02-10 15:20:32 UTC


#4 Twisted Higgs bundles and coendoscopy [PDF] [Copy] [Kimi] [REL]

Authors: Michael Groechenig, Xuanyou Li, Dimitri Wyss, Paul Ziegler

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ô's product formula for twisted Hitchin fibres.

Subject: Algebraic Geometry

Publish: 2026-02-10 12:08:28 UTC


#5 On semidefinite-representable sets over valued fields [PDF] [Copy] [Kimi] [REL]

Authors: Corentin Cornou, Simone Naldi, Tristan Vaccon

Polyhedra and spectrahedra over the real numbers, or more generally their images under linear maps, are respectively the feasible sets of linear and semidefinite programming, and form the family of semidefinite-representable sets. This paper studies analogues of these sets, as well as the associated optimization problems, when the data are taken over a valued field $K$. For $K$-polyhedra and linear programming over $K$ we present an algorithm based on the computation of Smith normal forms. We prove that fundamental properties of semidefinite-representable sets extend to the valued setting. In particular, we exhibit examples of non-polyhedral $K$-spectrahedra, as well as sets that are semidefinite-representable over $K$ but are not $K$-spectrahedra.

Subjects: Algebraic Geometry , Symbolic Computation , Optimization and Control

Publish: 2026-02-10 12:01:20 UTC


#6 A mirror theorem for partial flag bundles [PDF] [Copy] [Kimi] [REL]

Authors: Ionut Ciocan-Fontanine, Yuki Koto

We construct a family of points on the Lagrangian cone of a partial flag bundle associated to a (possibly non-split) vector bundle from any Weyl-invariant $I$-function of a prequotient. This result can be seen as the nonabelian analogue of the mirror theorem for projective bundles in arXiv:2307.03696, and generalizes Oh's mirror theorem for split partial flag bundles in arXiv:1607.08326.

Subjects: Algebraic Geometry , Symplectic Geometry

Publish: 2026-02-10 09:52:20 UTC


#7 A proof of Dolbeault geometric Langlands for $\GL_2$ with reduced spectral curves [PDF] [Copy] [Kimi] [REL]

Author: Yukinobu Toda

In our previous paper with Tudor Pădurariu, we introduced the notion of limit categories for moduli stacks of Higgs bundles and formulated the Dolbeault geometric Langlands correspondence. These limit categories are expected to provide an effective ``classical limit'' of the categories of D-modules on the moduli stack of bundles, and our formulation links categorical Donaldson-Thomas theory with the geometric Langlands correspondence. In this paper, we prove the above Dolbeault geometric Langlands correspondence for $\GL_2$ over the locus in the Hitchin base where the spectral curves are reduced. This is the first non-trivial case in which the relevant moduli stacks are not quasi-compact, and the use of limit categories is essential to the formulation and proof of the correspondence. Our approach also outlines a strategy for proving the correspondence in greater generality and explains the current obstructions to such an extension.

Subjects: Algebraic Geometry , Representation Theory

Publish: 2026-02-10 03:09:15 UTC


#8 Weil restriction and the motivic cycle class map [PDF1] [Copy] [Kimi] [REL]

Authors: Qi Ge, Guangzhao Zhu

The etale cycle class map links Chow groups with etale cohomology. Within the framework of motivic cohomology, the motivic cycle class map appears as a comparison morphism relating motivic and Lichtenbaum cohomology. By examining the comparison morphism constructed by Geisser and Levine, we show that the motivic cycle class map is induced by the etale cycle class map. We then study the behavior of cycle class maps under Weil restriction. Extending Karpenko's construction of the Weil restriction for algebraic cycles and Chow groups, we introduce a corresponding Weil restriction for l-adic cohomology and prove its compatibility with the motivic cycle class map. This provides a conceptual explanation for the descent of cycle classes under finite Galois extensions.

Subject: Algebraic Geometry

Publish: 2026-02-09 21:38:07 UTC


#9 Generic flatness of the cohomology of thickenings [PDF] [Copy] [Kimi] [REL]

Authors: Yairon Cid-Ruiz, Anurag K. Singh

Given a set of $m$ distinct points in projective space over a field, and $t$ a positive integer, a classical question asks for the least degree of a hypersurface that passes through each point with multiplicity at least $t$. Related to this, it remains unresolved whether there exists a dense open set of $m$-tuples of points for which this least degree is constant for each $t\ge 1$. We formulate a conjecture regarding the generic freeness of certain local cohomology modules that would answer this in the affirmative; we then prove this conjecture for up to $n+2$ points in projective $n$-space over a field. In a related direction, we prove a generic flatness result for the cohomology of thickenings of a closed subscheme of projective space over an integral domain.

Subjects: Algebraic Geometry , Commutative Algebra

Publish: 2026-02-09 21:10:14 UTC


#10 On nodal deformations of singular surfaces in $\mathbb P^3$ [PDF] [Copy] [Kimi] [REL]

Authors: Ciro Ciliberto, Concettina Galati

In this paper we study nodal deformations of singular surfaces $S\subset \mathbb P^3$. In particular we consider the case in which $S$ has an isolated singularity of multiplicity $m$ and the case in which $S$ has only ordinary singularities along a line.

Subject: Algebraic Geometry

Publish: 2026-02-09 20:33:32 UTC


#11 Euler characteristics of the universal Picard stack [PDF] [Copy] [Kimi] [REL]

Author: Siddarth Kannan

We study $\mathbb{S}_n$-equivariant topological and weight-graded compactly-supported Euler characteristics of the universal Picard stack $\mathrm{Pic}_{g, n}^d \to \mathcal{M}_{g, n}$ of degree-$d$ line bundles over $\mathcal{M}_{g, n}$. We prove that in the weight-zero and topological cases, the generating function for Euler characteristics of $\mathrm{Pic}_{g, n}^d$ is obtained from the corresponding one for $\mathcal{M}_{g, n}$ by an extremely simple combinatorial transformation. This lets us deduce closed formulas for the two generating functions, taking as input the Chan--Faber--Galatius--Payne formula in the weight-zero case and Gorsky's formula in the topological case. As a corollary, we also obtain a closed formula for the topological Euler characteristic of $\mathrm{Pic}^d_g$. Our weight-zero calculation is a corollary of a general result passing from the weight-graded Euler characteristics of $\mathcal{M}_{g, n}$ to those of $\mathrm{Pic}_{g,n}^d$.

Subjects: Algebraic Geometry , Combinatorics

Publish: 2026-02-09 19:08:18 UTC


#12 Group-circulant singularities and partial desingularization preserving normal crossings [PDF] [Copy] [Kimi] [REL]

Authors: André Belotto da Silva, Edward Bierstone

The subject is partial desingularization preserving the normal crossings singularities of an algebraic or analytic variety X (over the complex field or over an uncountable algebraically closed field of characteristic zero, in the algebraic case). Our approach has three parts involving distinct techniques: (1) a formal splitting theorem for regular or analytic functions which satisfy a generic splitting hypothesis; (2) a study of singularities in the closure of the normal crossings locus, based on the combinatorics of G-circulant matrices, where G is a finite abelian group, leading to a theorem on reduction to group-circulant normal form; (3) a partial desingularization theorem, proved using (1) and (2) together with weighted blowings-up of group-circulant singularities. Previous results were for partial desingularization preserving simple normal crossings, or preserving general normal crossings when dim X < 5.

Subjects: Algebraic Geometry , Complex Variables

Publish: 2026-02-09 19:03:58 UTC


#13 Discrete-time, discrete-state multistate Markov models from the perspective of algebraic statistics [PDF] [Copy] [Kimi] [REL]

Authors: Dario Gasbarra, Kaie Kubjas, Sangita Kulathinal, Nataliia Kushnerchuk, Fatemeh Mohammadi, Etienne Sebag

We study discrete-time, discrete-state multistate Markov models from the perspective of algebraic statistics. These models are widely studied in event history analysis, and are characterized by the state space, the initial distribution and the transition probabilities. A finite path under the multistate Markov model is a particular set of states occupied at finite time instances $\{1, \dots, n\}$. The main goal of this paper is to establish a bridge between event history analysis and algebraic statistics. The joint probabilities of finite paths in these models have a natural monomial parametrization in terms of the initial distribution and the transition probabilities. We study the polynomial relations among joint path probabilities. When the statistical constraints on the parameters are disregarded, nonhomogeneous multistate Markov models of arbitrary order can be viewed as slices of decomposable hierarchical models. This yields a complete description of their vanishing ideals as toric ideals generated by explicit families of binomials. Moreover, the variety of this vanishing ideal equals the nonhomogeneous multistate Markov model on the probability simplex. In contrast, homogeneous multistate Markov models exhibit different algebraic behavior, as time homogeneity imposes additional polynomial relations, leading to vanishing ideals that are strictly larger than in the nonhomogeneous case. We also derive families of binomial relations that vanish on homogeneous multistate Markov models. We investigate maximum likelihood estimation from statistical and algebraic perspectives. For nonhomogeneous models, classical and algebraic formulas agree; in the homogeneous case, the algebraic approach is more complex. Lastly, we provide data applications where we demonstrate the statistical theory to obtain the maximum likelihood estimates of the parameters under specific multistate Markov models.

Subjects: Statistics Theory , Algebraic Geometry

Publish: 2026-02-10 10:07:43 UTC


#14 Total positivity in twisted flag varieties [PDF] [Copy] [Kimi] [REL]

Authors: Xuhua He, Kaitao Xie

Let $G$ be a Kac-Moody group, split over $\mathbb R$. The totally nonnegative part of $G$ and its (ordinary) flag variety $G/B^+$ was introduced by Lusztig. It is known that the totally nonnegative parts of $G$ and $G/B^+$ have remarkable combinatorial and topological properties. In this paper, we consider the totally nonnegative part of the $J$-twisted flag variety $G/{}^J B^+$, where ${}^J B^+$ is the Borel subgroup opposite to $B^+$ in the standard parabolic subgroup $P_J^+$ of $G$. The $J$-twisted flag varieties include the ordinary flag variety $G/B^+$ as a special case. Our main result show that the totally nonnegative part of $G/{}^J B^+$ decomposes into cells, and the closure of each cell is a regular CW complex. This generalizes the work of Galashin-Karp-Lam \cite{GKL22} and the joint work of Bao with the first author \cite{BH24} for ordinary flag varieties. As an application, we deduce that the totally nonnegative part of the double flag variety $G/B^+ \times G/B^-$ with respect to the diagonal $G$-action has similar nice properties. We also establish some connections between the totally nonnegative part of the double flag with the canonical basis of the tensor product of a lowest weight module with a highest weight module of $G$. As another application, we show that the link of identity in a totally nonnegative reduced double Bruhat cell of $G$ is a regular CW complex. This generalizes the work of Hersh \cite{Her14} on the link of $U_{\geq0}^-$ and gives a positive answer to an open question of Fomin and Zelevinsky.

Subjects: Representation Theory , Algebraic Geometry , Combinatorics , General Topology

Publish: 2026-02-10 02:55:21 UTC


#15 Equivalence of flat connections and Fay identities on arbitrary Riemann surfaces [PDF] [Copy] [Kimi] [REL]

Authors: Eric D'Hoker, Oliver Schlotterer

A flat connection on a Riemann surface with values in an infinite dimensional Lie algebra provides a systematic and effective tool for generating an infinite family of polylogarithms via iterated integrals. The recent literature offers different types of connections, in one or several variables, on compact Riemann surfaces with or without punctures, and in the meromorphic or single-valued categories. In this work, we show that the flatness conditions for the single-valued and modular DHS connection in multiple variables, which was introduced in the companion paper arXiv:2602.01461, are equivalent to the union of all the interchange and Fay identities among DHS integration kernels that were proven in arXiv:2407.11476. Based on the same combinatorial techniques, the flatness conditions on the multivariable Enriquez connection is shown to imply the union of all the interchange and Fay identities for Enriquez kernels.

Subjects: High Energy Physics - Theory , Algebraic Geometry

Publish: 2026-02-09 19:01:02 UTC