https://arxiv.org/api/qTK3GiChFMjngSh2ytwf/jhlBo8 2026-03-20T14:28:55Z 58748 45 15 http://arxiv.org/abs/2603.10312v2 2026-03-18T05:44:38Z

This paper provides a complete proof of the Kobayashi-Hitchin correspondence for nef and big classes. We introduce the notion of an adapted closed positive $(1,1)$-current $T$ lying in a nef and big class $α$, and that of a $T$-adapted Hermitian-Yang-Mills metric of a holomorphic vector bundle. Then we prove that a holomorphic vector bundle $E$ over a compact Kähler manifold $X$ is slope polystable with respect to a nef and big class $α$ if and only if $E$ admits a $T$-adapted Hermitian-Yang-Mills metric for every adapted current $T$ in $α$. Furthermore, we also establish the uniqueness of a $T$-adapted Hermitian-Yang-Mills metric on $E$ when it exists. Our main theorem above immediately implies that the Kobayashi-Hitchin correspondence holds even in singular settings. In particular, this singular Kobayashi-Hitchin correspondence applies to reflexive sheaves over compact normal Kähler varieties with log terminal singularities endowed with singular Kähler-Einstein metrics. Furthermore, the singular Kobayashi-Hitchin correspondence proves that the graded sheaf associated to a Jordan-H${\rm \ddot{o}}$lder filtration of a semistable sheaf for a nef and big class $α$ admits a $T$-adapted Hermitian-Yang-Mills metric. As an application of the Kobayashi-Hitchin correspondence, we show that if a holomorphic vector bundle ${E}$ is slope polystable with respect to a nef and big class $α$ and $E$ attains the equality of the Bogomolov-Gieseker inequality with respect to $α$, then ${E}$ is projectively flat on the ample locus of $α$. All these results are new even if compact Kähler manifolds are projective and nef and big classes are the 1st Chern class of nef and big line bundles. One of key features of our approach is that the adapted current $T$ need not be strictly positive and its singularities need not be described explicitly.

2026-03-11T01:21:49Z 46 pages. In v2, we simplify the proof and avoid the use of the Uhlenbeck compactness. Remark 1.14 and Theorem 3.32 are also added. Comments are welcome Satoshi Jinnouchi http://arxiv.org/abs/2603.17288v1 2026-03-18T02:37:27Z

We develop a certified numerical algorithm for computing Galois/monodromy groups of parametrized polynomial systems. Our approach employs certified homotopy path tracking to guarantee the correctness of the monodromy action produced by the algorithm, and builds on previous ``homotopy graph" frameworks. We conduct extensive experiments with an implementation of this algorithm, which we have used to certify properties of several notable Galois/monodromy groups which arise in several examples drawn from pure and applied mathematics.

2026-03-18T02:37:27Z 17 pages, 2 figures, 2 tables Timothy Duff Kisun Lee http://arxiv.org/abs/2603.17245v1 2026-03-18T01:01:11Z

We investigate higher--order variation of Hodge structure for families of smooth hypersurfaces and complete intersections through the notion of $I$--maximal variation. Using Griffiths' description of primitive cohomology, we interpret the infinitesimal variation of Hodge structure and the $n$--fold Yukawa coupling as graded multiplication maps in the Jacobian ring. Our main result shows that the Strong Lefschetz property of the Jacobian ring provides the algebraic mechanism ensuring $I$--maximal variation. In particular, we prove that smooth hypersurfaces of degree $d\ge n+2$ and smooth complete intersections with $κ>0$ exhibit $I$--maximal variation. We further establish that for complete intersections of general type the infinitesimal Torelli property is equivalent to the nondegeneracy of the Yukawa coupling. Finally, we analyze degenerations and show that the failure of the Strong Lefschetz property leads to degeneration of the Yukawa coupling and the loss of $I$--maximal variation. These results identify the Lefschetz property of the Jacobian ring as the fundamental algebraic structure governing maximal variation of Hodge structure.

2026-03-18T01:01:11Z 33 pages, all comment are welcome Mounir Nisse http://arxiv.org/abs/2603.17242v1 2026-03-18T00:54:20Z

We study the infinitesimal variation of Hodge structure for families of algebraic curves and extend the classical theory from smooth curves to singular and non--planar settings. Using the deformation space $\mathrm{Ext}^1(Ω_X,\mathcal O_X)$ and the dualizing sheaf, we define a singular analogue of maximal infinitesimal variation. For equisingular families of plane curves with planar Gorenstein singularities, we prove that the infinitesimal variation attains maximal rank equal to the arithmetic genus. We show that the rank decomposes into a geometric contribution from the normalization and a singular contribution measured by the $δ$--invariants. For non--equisingular degenerations, the rank defect equals the drop of the total $δ$--invariant and admits an interpretation in terms of vanishing cycles and mixed Hodge structures. We further extend the results to non--planar curves under suitable Petri and deformation conditions.

2026-03-18T00:54:20Z 32 pages, all comments are welcome Mounir Nisse http://arxiv.org/abs/2502.02569v3 2026-03-17T23:32:04Z

We prove that the quadratically enriched count of rational curves in a smooth toric del Pezzo surface passing through $k$-rational points and pairs of conjugate points in quadratic field extensions $k\subset k(\sqrt{d_i})$ can be determined by counting certain tropical stable maps through vertically stretched point conditions with a suitable multiplicity. Building on the floor diagram technique in tropical geometry, we provide an algorithm to compute these numbers. Our tropical algorithm computes not only these new quadratically enriched enumerative invariants, but simultaneously also the complex Gromov-Witten invariant, the real Welschinger invariant counting curves satisfying real point conditions only, the real Welschinger invariant of curves satisfying pairs of complex conjugate and real point conditions, and the quadratically enriched count of curves satisfying $k$-rational point conditions.

2025-02-04T18:44:57Z 79 pages, 12 figures, 8 tables. V3 minor revision, corrected typos, added examples Andrés Jaramillo Puentes Hannah Markwig Sabrina Pauli Felix Röhrle http://arxiv.org/abs/2603.04298v2 2026-03-17T22:35:19Z

We present a new method for computation of the index of completely mixed equilibria in finite games, based on the work of Eisenbud et al.(1977). We apply this method to solving two questions about the relation of the index of equilibria and the index of fixed points, and the index of equilibria and payoff-robustness: any integer can be the index of an isolated completely mixed equilibrium of a finite game. In a particular class of isolated completely mixed equilibria, called monogenic, the index can be $0$, $+1$ or $-1$ only. In this class non-zero index is equivalent to payoff-robustness. We also discuss extensions of the method of computation to extensive-form games, and cases where the equilibria might be located on the boundary of the strategy set.

2026-03-04T17:17:35Z Lucas Pahl http://arxiv.org/abs/2509.21255v4 2026-03-17T21:13:26Z

Given a finite simple connected graph $Γ$, the graphical configuration space $\mathrm{Conf}_Γ(X)$ is the space of collections of points in $X$ indexed by the vertices of $Γ$, where points corresponding to adjacent vertices must be distinct. When $X=\mathbb{R}^d$ and the points are replaced by small disks, the resulting spaces for all possible graphs fit together into an algebraic structure that extends the little disks operad, called the little disks contractad $\mathcal{D}_d$. In this paper, we investigate the homotopical and algebraic properties of the little disks contractad $\mathcal{D}_d$. We construct and study Fulton-MacPherson compactifications of graphical configuration spaces, which provide a convenient model for $\mathcal{D}_d$ within the class of compact manifolds with boundary. Using these and wonderful compactifications, we prove that $\mathcal{D}_d$ is formal in the category of (Hopf) contractads for $d=1$, $d=2$, and for chordal graphs for any $d$. We also identify the first obstructions to coformality in the case of cyclic graphs. In addition, we give a combinatorial description of the cell structure of $\mathcal{D}_2$ and present applications to the study of graphical configuration spaces $\mathrm{Conf}_Γ(X)$ using the language of twisted algebras.

2025-09-25T14:47:51Z 43 pages, submission version Anton Khoroshkin Denis Lyskov http://arxiv.org/abs/2411.09573v3 2026-03-17T20:00:31Z

Let $\mathcal{H}$ be a hyperplane arrangement in $\mathbb{CP}^n$. We define a quadratic form $Q$ on $\mathbb{R}^{\mathcal{H}}$ that is entirely determined by the intersection poset of $\mathcal{H}$. Using the Bogomolov-Gieseker inequality for parabolic bundles, we show that if $\mathbf{a} \in \mathbb{R}^{\mathcal{H}}$ is such that the weighted arrangement $(\mathcal{H}, \mathbf{a})$ is stable, then $Q(\mathbf{a}) \leq 0$. As an application, we consider the symmetric case where all the weights are equal. The inequality $Q(a, \ldots, a) \leq 0$ gives a lower bound for the total sum of multiplicities of codimension $2$ intersection subspaces of $\mathcal{H}$. The lower bound is attained when every $H \in \mathcal{H}$ intersects all the other members of $\mathcal{H} \setminus \{H\}$ along $(1-2/(n+1))|\mathcal{H}| + 1$ codimension $2$ subspaces; extending from $n=2$ to higher dimensions a condition found by Hirzebruch for line arrangements in the complex projective plane.

2024-11-14T16:31:42Z 120 pages. Accepted for publication in J. Lon. Math. Soc Martin de Borbon Dmitri Panov http://arxiv.org/abs/2602.12812v2 2026-03-17T19:03:03Z

We generalize the topological description of the $\mathbb{N}$-graded Proj construction to the multigraded Proj construction for factorially graded rings that are graded by finitely generated abelian groups $D$. However, there is one big structural difference: While the classical description is given by the space of homogeneous prime ideals not containing the irrelevant ideal, we characterize the multigraded Proj setting using $D$-prime ideals, i.e.\ ideals that have the prime property, but only for homogeneous factorizations. In particular, we establish a multigraded version of the Nullstellensatz. Additionally, we present algebraic conditions for separability in terms of factorially graded rings, and observe that Proj$^D(S)$ is not separated in many cases. Finally, building on Mayeux-Riche's definition of Serre twists, we give a criterion for their freeness.

2026-02-13T10:46:14Z 24 pages Felix Goebler http://arxiv.org/abs/2508.10845v3 2026-03-17T16:22:17Z

This note is concerned with quasi-perfect morphisms between Noetherian algebraic spaces. In particular, we study the local behavior of quasi-perfect proper morphisms. We show that quasi-perfectness of a proper morphism can be detected at the étale local rings of points of the target, as well as their completions and (strict) Henselizations. As a corollary, we obtain that the locus of points where a proper morphism is quasi-perfect is Zariski open.

2025-08-14T17:14:32Z moved regularity characterization to appendix, comments welcome! Timothy De Deyn Pat Lank Kabeer Manali Rahul http://arxiv.org/abs/2603.16691v1 2026-03-17T15:48:43Z

Let $V$ be a vector bundle of rank $r$ on a smooth projective complex curve $C$. The Hyperquot scheme $\text{F}^{n}\text{Quot}\,(V)$ is the moduli space of length $n$ flags of rank $r$ sub-sheaves of $V$. This article has two main results: First, we show that a certain shifted Yangian of $\mathfrak{sl}_{n+1}$ acts on $H^{*}\left(\text{F}^{n}\text{Quot}\,(V)\right)$ by correspondences. Then, we define a family of $rn$ commuting Yangian operators which yields a natural basis for $H^{*}\left(\text{F}^{n}\text{Quot}\,(V)\right)$. This generalises the work arXiv:2307.13671 of Marian and Negut, who proved the above results in the case $n=1$. The new feature, which makes this generalisation possible, is the use of so called skew-nested Quot schemes. The rank $1$ versions of these spaces, skew-nested Hilbert schemes, have been recently introduced by Sergej Monavari in the context of refined DT theory of local curves arXiv:2506.14359. In the present article, skew-nested Quot schemes appear as correspondences associated with iterated commutators of Yangian elements.

2026-03-17T15:48:43Z Archi Kaushik http://arxiv.org/abs/2603.16639v1 2026-03-17T15:11:49Z

We compare algebraic and analytic pictures relevant to the study of birational invariants. Motivated by recent advances in the development of non-commutative Hodge structures, we examine their implication for quiver gauge field theory on the cubic fourfold. By interpreting the semiorthogonal property as a dynamical selection rule, we conjecture that the K3 Hodge atom of the cubic fourfold represents a protected quantum phase whose spectra remain invariant under non-perturbative tunneling processes.

2026-03-17T15:11:49Z 14 pages, 1 figure Mark Raugas http://arxiv.org/abs/2311.15449v2 2026-03-17T14:33:53Z

We give a general description of the structure of the relative de Rham-Witt complex on a polynomial ring, seen as an algebra over its integral part. After giving a control of the overconvergence of Lazard's morphism, we similarly give the structure of the overconvergent complex, locally on a smooth algebraic variety over a perfect field of positive characteristic.

2023-11-26T22:30:46Z 55 pages Rubén Muñoz--Bertrand http://arxiv.org/abs/2603.16545v1 2026-03-17T14:11:01Z

Let S be a connected and smooth scheme of finite type over the complex numbers. We construct functorially the Hodge realization of a 1-motive over S as a torsion-free, polarizable and admissible variation of mixed Hodge structures of type (0,0),(-1,0),(0,-1),(-1,-1). We prove that this construction yields an equivalence between the category of 1-motives over S and the category of such variations of mixed Hodge structures, thereby extending Deligne's equivalence over the complex numbers to the relative case and providing a positive answer to a question of André concerning the geometric origin of admissible variations of mixed Hodge structures of the above type. We also describe the l-adic and de Rham realizations of 1-motives and show that these realizations fit naturally into Deligne's framework of smooth mixed realizations.

2026-03-17T14:11:01Z Cristiana Bertolin http://arxiv.org/abs/2508.05285v2 2026-03-17T13:37:35Z

We obtain the derived autoequivalences of a flopping rational curve of length 2 using GIT and the theory of windows applied to the universal length 2 flop. We show that the stringy Kähler moduli space (SKMS) associated to the GIT problem, as constructed by Halpern-Leistner--Sam, matches the description of the space obtained for length 2 threefolds by Hirano--Wemyss as a quotient of a Bridgeland stability manifold. Furthermore, we show that its fundamental group acts via contraction algebra and fibre algebra twists, hence recovering the monodromy action described by Donovan--Wemyss. In particular, this shows that the two approaches to building the SKMS agree in this setting.

2025-08-07T11:29:03Z 29 pages, 3 figures, comments welcome! v2: formatting and typo fixes, content unchanged Aporva Varshney