https://arxiv.org/api/cYZypKEO34F3wXvGd60Az9rN8FY 2026-03-20T09:05:07Z 58748 0 15 http://arxiv.org/abs/2603.19215v1 2026-03-19T17:57:38Z

Let $V$ be a smooth cubic surface over a $p$-adic field $k$ with good reduction. Swinnerton-Dyer (1981) proved that $R$-equivalence is trivial on $V(k)$ except perhaps if $V$ is one of three special types--those whose $R$-equivalence he could not bound by proving the universal (admissible) equivalence is trivial. We consider all surfaces $V$ currently known to have non-trivial universal equivalence. Beyond being intractable to Swinnerton-Dyer's approach, we observe that if these surfaces also had non-trivial $R$-equivalence, they would contradict Colliot-Thélène and Sansuc's conjecture regarding the $k$-rationality of universal torsors for geometrically rational surfaces. By devising new methods to study $R$-equivalence, we prove that for 2-adic surfaces with all-Eckardt reductions (the third special type, which contains every existing case of non-trivial universal equivalence), $R$-equivalence is trivial or of exponent 2. For the explicit cases, we confirm triviality: the diagonal cubic $X^3+Y^3+Z^3+ζ_3 T^3=0$ over $\mathbb{Q}_2(ζ_3)$--answering a long-standing question of Manin's (Cubic Forms, 1972)--and the cubic with universal equivalence of exponent 2 (Kanevsky, 1982). This is the first in a series of works derived from a year of interactions with generative AI models such as AlphaEvolve and Gemini 3 Deep Think, with the latter proving many of our lemmas. We disclose the timeline and nature of their use towards this paper, and describe our broader AI-assisted research program in a companion report (in preparation).

2026-03-19T17:57:38Z 23 pages Dimitri Kanevsky Julian Salazar Matt Harvey http://arxiv.org/abs/2603.19202v1 2026-03-19T17:52:54Z

Using preservations of PL homeomorphism types under edge contractions (the link condition) as a topological proxy for flagness, we give a quantitative description of the effect flagness on on gamma positivity of simplicial spheres. In particular, we show that the link condition has a trivial effect on the $g$-vectors (and thus gamma vectors) of high-dimensional simplicial spheres with nonnegative gamma vectors in many cases. Note that this reflects a dichotomy between quantitative behavior arising from $g_1$ components that are linear in $d$ and those that are superlinear in $d$. When the link condition is nontrivial, we show that it gives a lower bound for growth rates of $g$-vector components. This lower bound increases with the number of edges and the distance of the $M$-vector condition on $g$-vectors of simplicial spheres from equality. These lower bounds translate to ones on top gamma vector components and give lower bounds on gamma vector growth rates when the gamma vector components are dominant terms in the $g$-vector components with the same index (e.g. $g$-vectors with components increasing quickly compared to $d$). Finally, we show that the same results apply to positivity properties generalizing gamma positivity arising from connections between orthogonal polynomials and lattice paths. In the course of doing this, we describe gamma vector components in terms of monomer/dimer covers and point out connections between repeated (stellar) edge subdivisions (Tchebyshev subdivisions) and dimer covers.

2026-03-19T17:52:54Z 90 pages Soohyun Park http://arxiv.org/abs/2603.19184v1 2026-03-19T17:42:05Z

We study the Euler characteristic of a hypersurface in $(\mathbb{C}^*)^2 \times (\mathbb{C}^*)^n$ defined by a polynomial whose monomial support corresponds to lattice points in $Δ_1 \times Δ_1 \times Δ_n$ as the coefficients of the defining polynomial vary. Each member of this hypersurface family corresponds to a three-way independence model from algebraic statistics, and the (signed) Euler characteristic is equal to the maximum likelihood degree (ML degree) of the model. We show in the case of $Δ_1 \times Δ_1 \times Δ_1$ this Euler characteristic depends only on the vanishing patterns of the factors of the principal $A$-determinant, but this fails for $Δ_1 \times Δ_1 \times Δ_n$ with $n \geq 2$. We prove that, for all $n\geq 1$, all positive integers up to the maximum possible ML degree can be realized as the Euler characteristic. Furthermore, we completely determine the Euler stratification for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ and provide partial information for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^2$.

2026-03-19T17:42:05Z 31 pages, 6 figures Serkan Hoşten Vadym Kurylenko Elke Neuhaus Nikolas Rieke http://arxiv.org/abs/2603.19175v1 2026-03-19T17:31:25Z

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 shifts}, one introduces the notion of \emph{level matrices} associated with these shifts. Our main result provides a complete characterization of almost Cohen--Macaulay ideals of codimension $2$ in terms of the existence of an associated level matrix for which $J$ arises as the ideal of minors obtained by fixing the lower block. We provide algebraic and geometric examples illustrating the results.

2026-03-19T17:31:25Z Ricardo Burity Thiago Fiel Zaqueu Ramos Aron Simis http://arxiv.org/abs/2603.19052v1 2026-03-19T15:46:44Z

This paper shows that the Hodge bundle over the moduli space of genus $g \geq 2$ curves does not contain any non-trivial sub-bundles. Notably, the mathematical content was generated by Aletheia, a custom AI agent powered by Gemini Deep Think.

2026-03-19T15:46:44Z Anand Patel http://arxiv.org/abs/2511.09371v2 2026-03-19T12:55:58Z

In this article, we study criteria for producing six-functor formalisms and morphisms between them. One notable application is that the motivic homotopy theory of algebraic stacks is the universal six-functor functor formalism in a strong sense: it is initial in some category whose objects are six-functor formalisms, and whose morphisms commute with all six operations. As a further application, we produce an analytic realization to a complex analytic version of motivic homotopy theory that is compatible with the six operations, and extend Betti realization to a map from this complex analytic version that is also compatible with the six operations. The abstract nature of our results is suitable for applications to many geometric contexts, allowing us to prove a similar result for the motivic homotopy theory of complex analytic stacks as a six-functor formalism defined on complex analytic stacks. Our main general result is a generalized and enhanced version of Voevodsky's geometric criterion for six-functor formalisms, given in terms of localization and duality properties. Our version of Voevodsky's principle makes sense in very general geometric contexts, and provides criteria not only for showing when presheaves extend to six-functor formalism, and when a transformation between six-functor formalisms is compatible with the six operations, but also for when a transformation to an ordinary presheaf extends to a morphism of six-functor formalisms (and therefore establishing the six operations for the codomain).

2025-11-12T14:39:51Z 87 pages. Major improvements, in particular, results about 6-functor formalisms and the applications are much stronger. New introduction. Comments welcome Roy Magen http://arxiv.org/abs/2603.18842v1 2026-03-19T12:43:46Z

The focus of this paper is the study of the moduli space of representations of fundamental groupoids of surfaces $Σ$ with boundaries with values in $G:=GL_n(\mathbb C)$. In absence of marked points on the boundary, this moduli space is realized in many equivalent ways: as the moduli space of linear local systems on $Σ$, as the moduli space of representations of the fundamental groupoid $Π_1 (Σ)$, as the space of monodromy data and as character variety. By adding marked points to the boundary of $Σ$ in order to capture irregular singularities, the Betti moduli space has been generalized in several ways by many authors. Although it is clear that these different approaches describe essentially the same spaces of mathematical objects, exactly how they fit together has not yet been established. Motivated by the broader programme of establishing an explicit and conceptually coherent relationship between the existing approaches to the study of the decorated Betti moduli space, in this paper, we develop a categorical framework that allows for a systematic definition of the \dfn{decorated Betti moduli spaces} space, in the presence of higher order poles, designed to specialize to the different points of view encountered in the literature.

2026-03-19T12:43:46Z 73 pages, 2 figures Benedetta Facciotti Marta Mazzocco Nikita Nikolaev http://arxiv.org/abs/2602.01218v3 2026-03-19T12:26:12Z

We prove the existence of Ulrich sheaves on the Hilbert scheme of two points on a polarized K3 surface or an abelian surface. The construction proceeds by descending Ulrich bundles on the surface to the symmetric square and lifting them to the Hilbert square via the crepant Hilbert--Chow resolution. Finally, we estimate a bound for Ulrich complexity of the Hilbert Square.

2026-02-01T13:19:59Z Major correction required Anindya Mukherjee Pabitra Barik http://arxiv.org/abs/2511.21353v2 2026-03-19T12:09:58Z

This paper is a finishing touch to the (over 200 years) {\em classical} `Galois Theory' of {\em arbitrary} finite field extensions, i.e. the goal of it is to describe intermediate subfields of an arbitrary finite field extension via {\em invariants} of `natural/obvious' objects that are associated with subfields via two Galois-type correspondences. The classical Galois Theory covers the case of finite Galois field extensions. For finite Galois field extensions the objects are their Galois groups and their invariants. In \cite{GaloisTh-RingThAp}, we introduce a new (ring theoretic) approach to the Galois Theory which is based on the {\em principle of maximal symmetry}. In \cite{AnGaloisTh-NORMAL-Fields}, the maximal symmetry of {\em normal} finite field extensions yields an analogue of the Galois Theory for them. For a normal finite field extension $L/K$ the `natural/obvious' objects are the subalgebra $\CD (L/K)\rtimes G(L/K)$ of $\End (L/K)$ that is generated by the automorphism group $G(L/K)$ and the algebra $\CD (L/K)$ of differential operators on $L/K$ and its `invariants'. The `maximal symmetry' means the equality $\End (L/K)=\CD (L/K)\rtimes G(L/K)$ which turns out to be a characteristic property of {\em normal} finite field extensions, \cite{AnGaloisTh-NORMAL-Fields}. The aim of this paper is to obtain an analogue of the Galois Theory for {\em arbitrary} finite field extensions based on results and ideas of \cite{GaloisTh-RingThAp} and \cite{AnGaloisTh-NORMAL-Fields}.

2025-11-26T13:01:56Z 21 pages. arXiv admin note: substantial text overlap with arXiv:2509.01779; text overlap with arXiv:2509.01284 V. V. Bavula http://arxiv.org/abs/2603.18800v1 2026-03-19T11:51:47Z

This survey paper offers a concise introduction to Kashiwara's work on $\mathcal{D}$-modules, microlocal analysis and related subjects. In this way, we explain his role in the development of algebraic analysis.

2026-03-19T11:51:47Z to appear in Bull. Amer. Math. Soc., 30 pages Kiyoshi Takeuchi http://arxiv.org/abs/2504.11382v3 2026-03-19T11:09:50Z

The set of real matrices of upper-bounded rank is a real algebraic variety called the real generic determinantal variety. An explicit description of the tangent cone to that variety is given in Theorem 3.2 of Schneider and Uschmajew [SIAM J. Optim., 25 (2015), pp. 622-646]. The present paper shows that the proof therein is incomplete and provides a proof. It also reviews equivalent descriptions of the tangent cone to that variety. Moreover, it shows that the tangent cone and the algebraic tangent cone to that variety coincide, which is not true for all real algebraic varieties.

2025-04-15T16:53:48Z Guillaume Olikier Petar Mlinarić P. -A. Absil André Uschmajew http://arxiv.org/abs/2402.08014v3 2026-03-19T10:46:30Z

We study stable maps to normal crossings pairs with possibly negative tangency orders. There are two independent models: punctured Gromov-Witten theory of pairs and orbifold Gromov-Witten theory of root stacks with extremal ages. Exploiting the tropical structure of the punctured mapping space, we define and study a new virtual class for the punctured theory. This arises as a refined intersection product on the Artin fan, and produces a distinguished sector of punctured Gromov-Witten invariants. Restricting to genus zero, we show that these invariants coincide with the orbifold invariants, first for smooth pairs, and then for normal crossings pairs after passing to a sufficiently refined blowup. This builds on previous work to provide a complete picture of the logarithmic-orbifold comparison in genus zero, which is compatible with splitting and thus allows for the wholesale importation of orbifold techniques, including boundary recursion and torus localisation. Contemporaneous work of Johnston uses the comparison to give a new proof of the associativity of the Gross-Siebert intrinsic mirror ring.

2024-02-12T19:23:19Z 53 pages. Comments are welcome. v3: minor changes. Final version to appear in JEMS Luca Battistella Navid Nabijou Dhruv Ranganathan http://arxiv.org/abs/2603.18724v1 2026-03-19T10:19:41Z

Let $R $ be a commutative Noetherian ring, $\mathfrak{a}$ be an ideal of $R$ and $M$ be a finitely generated $R$-module. In this paper, we study the Bass numbers $\{μ^i(\mathfrak{p}, H^j_{\mathfrak{a}}(M))\} $ of local cohomology modules with respect to an ideal $\mathfrak{p}\in Spec(R)$ in each of the following cases: $i\in \{ 0, 1, 2\}$ and $j= grade_{\mathfrak{a}}(M),$ $R$ is regular and $i\in\{ ht(\mathfrak{p}), ht(\mathfrak{p})- 1\}$ and $j= cd_{\mathfrak{a}}(M)$, the cohomological dimension of $M$ with respect to $\mathfrak{a}$.

2026-03-19T10:19:41Z 9 pages, comments are well come! M. Jahangiri R. Ahangari Maleki http://arxiv.org/abs/2410.06402v2 2026-03-19T09:14:15Z

Assuming the abundance conjecture and the existence of a Zariski dense set of rational curves on terminal Calabi--Yau varieties, we show that a complex projective weakly special manifold $X$ with no rational curves is an étale quotient of an Abelian variety. The same conclusion holds true if $X$ contains a Zariski dense entire curve, assuming Lang's conjecture. This implies that any non-hyperbolic complex projective manifold contains the image of an Abelian variety, according to another conjecture of Lang. We illustrate this last conjecture by producing examples of canonically polarised submanifolds of abelian varieties containing no subvariety of general type, except for a finite number of disjoint copies of some simple abelian variety, which can be chosen arbitrarily. We also show, more generally, that any projective manifold containing a Zariski dense entire curve appears as the `exceptional set' in Lang's sense of some general type manifold.

2024-10-08T22:21:40Z Kyle Broder Frédéric Campana http://arxiv.org/abs/2603.18643v1 2026-03-19T09:09:54Z

Polycons, initially introduced by Wachspress in 1975 as a tool in finite element methods, are generalizations of polygons in that they allow conic boundary components. We are interested in the adjoint curve of a given polycon, i.e. the unique curve of minimal degree vanishing in the so-called residual arrangement. It was conjectured by Wachspress that under some regularity assumptions this curve does not vanish in the interior of its defining polycon. However, until recently the only class of polycons for which this was proven were convex polygons. We present a polycon bounded by three conics that constitutes a counterexample to Wachspress' conjecture. The origin of this counterexample reveals some beautiful geometry of polycons. Replacing one degree two boundary component of a polycon with a line produces a new polycon. We show that the adjoint of the latter is a contact curve to the adjoint of the former. This naturally leads to the consideration of symmetric linear determinantal representations of adjoints, which lets us explicitly describe the fibers of the adjoint map in the case of polycons bounded by three conics. As a corollary we prove that generically the adjoint of a polycon bounded by three conics is smooth.

2026-03-19T09:09:54Z 17 pages, 5 figures Clemens Brüser