2026-05-11 | | Total: 17
A projective hyperkähler manifold of Kummer-type is said to be twisted modular if it is birational to the Albanese fiber of a moduli space of twisted sheaves on an abelian surface. We prove that, with the exception of certain cases of Picard rank 3, any projective Kummer-type manifold admitting a finite-order symplectic birational self-map that acts nontrivially on its second cohomology group is twisted modular. We provide a complete characterization of these exceptions in terms of their Néron-Severi lattices. We then investigate symplectic birational self-maps of modular Kummer-type manifolds, determining exactly which Mukai vectors allow the birational transformation induced by crossing the vertical wall, which acts on cohomology as a reflection, to correspond to a finite-order symplectic birational self-map. Additionally, we prove in an appendix several results concerning moduli spaces of twisted sheaves on abelian surfaces which were not readily available in the literature.
We review the basic theory of bands and band schemes introduced by Baker-Jin-Lorscheid, which is an algebraic framework for tropicalization, analytification, and $\mathbb{F}_1$-geometry. For an affine scheme $X$ over a non-Archimedean valued field $k$, one can associate to every affine embedding $ι$ of $X$ a naturally defined affine band scheme $Y_ι$ whose rational points over the tropical band $\mathbb{T}$ recover the tropicalization $Trop(X,ι)$. We prove that $X$ is the limit of the $Y_ι$ in the category of band schemes, thereby obtaining a scheme-theoretic enhancement of Payne's limit theorem. By taking $\mathbb{T}$-rational points, this recovers Payne's theorem for affine tropicalizations from the perspective of band scheme theory and the same method provides an analogous result in the real tropical setting.
Let $U\subseteq H^0(\mathcal{O}_{\mathbb{P}^1\times \mathbb{P}^1}(a,b))$ be a four-dimensional vector space and consider the rational map $φ_U:\,\mathbb{P}^1\times \mathbb{P}^1 \dashrightarrow \mathbb{P}^3$ defined by its basis of bihomogeneous polynomials. The tensor product surface $X_U\subseteq \mathbb{P}^3$ is the closed image of $φ_U$, and a fundamental problem in this setting is to determine its implicit equation. As these surfaces are ubiquitous within the field of geometric modeling and design, knowledge of their implicit equations is particularly advantageous, allowing for more effective and efficient computations. In this article, we expand upon work of Duarte-Schenck and work of the present author to solve this implicitization problem when the bigraded ideal $I_U$ admits a singly graded syzygy.
We provide a transformation rule for adjoint test modules along Cohen--Macaulay maps between Cohen--Macaulay varieties that have $F$-rational geometric fibers. This is, in part, an effective version of Enescu's theorem on the ascent of $F$-rationality under local maps with $F$-rational geometric fibers.
We classify, up to projective automorphism, all homogeneous pre-foliations of co-degree one and degree four on the complex projective plane $\Ptwo$ whose Legendre transform defines a flat $4$-web. The classification is organized according to the type of the underlying homogeneous foliation $\Hcal$ of degree~$3$, distinguishing the cases $°(\Tcal_{\Hcal})=2$, $3$, and~$4$. The case $°(\Tcal_{\Hcal})=2$ was treated by Bedrouni, while the cases $°(\Tcal_{\Hcal})=3$ and $°(\Tcal_{\Hcal})=4$ are completed here. The proof combines Bedrouni's curvature-holomorphy criteria with explicit normal forms and symbolic computation; the result yields a finite list of explicit one-forms, parametrised by the ramification data of the Gauss map of~$\Hcal$.
Sparse polynomial systems with vertical coefficient dependencies arise naturally when describing the critical points of optimization problems and, when augmented with linear forms, the steady states of chemical reaction networks. Moreover, any polynomial system is the specialization of such a parametrized system. We prove that the generic number of complex zeros of an augmented vertically parametrized system is the tropical intersection number of a tropical linear space and a classical linear space. In the special case when the matroid of the tropical linear space is cotransversal, we express this number as a mixed volume. We also obtain bounds on the maximal number of positive zeros, which is often the significant number in applications. We derive lower bounds from the number of intersections between positive tropicalizations, and when the positive zeros have toric structure, we provide upper bounds that are simpler and in some cases smaller than the generic root count. The resulting algorithms are implemented in Julia.
We study smooth morphisms $f \colon X \to S$ that are $\mathbb{A}^1$-contractible in the unstable $\mathbb{A}^1$-homotopy category $\mathcal{H}(S)$. For base schemes $S$ of finite Krull dimension, we show that $\mathbb{A}^1$-contractibility is a fiberwise property: such a morphism is $\mathbb{A}^1$-contractible if and only if all its geometric fibers are $\mathbb{A}^1$-contractible. We apply this criterion to $\mathbb{A}^n$-fiber spaces, obtaining a geometric description of their $\mathbb{A}^1$-contractibility in terms of local factorizations as towers of torsors under vector bundles, building on results of Asanuma. In low relative dimensions, we establish rigidity results. In relative dimension $1$, $\mathbb{A}^1$-contractible morphisms over normal bases are precisely Zariski locally trivial $\mathbb{A}^1$-bundles. In relative dimension $2$, we show that over bases with characteristic zero residue fields, $\mathbb{A}^1$-contractible morphisms are $\mathbb{A}^2$-fiber spaces, and we obtain Zariski local triviality under additional hypotheses on the base. We also exhibit counterexamples in positive and mixed characteristic and formulate open problems concerning the existence of exotic $\mathbb{A}^1$-contractible surfaces.
Let $f = x_1^{a_1} + x_2^{a_2} + x_3^{a_3} + 1 \in \mathbb{C}[x_1,x_2,x_3]$ and let $g = y_1^{b_1} + y_2^{b_2} + y_3^{b_3} + 1 \in \mathbb{C}[y_1,y_2,y_3]$ where $a_1,a_2,a_3,b_1,b_2,b_3 \geq 2$. We prove that the surfaces $V(f) \subset \mathbb{A}^3$ and $V(g) \subset \mathbb{A}^3$ are isomorphic if and only if $(a_1,a_2,a_3) = (b_1,b_2,b_3)$ up to a permutation of the entries.
Let $\mathcal{Q}$ be an irreducible quartic with two nodes and one cusp as its singularities and let $\mathcal{C}$ be a conic such that the intersection multiplicity at each point of $\mathcal{C} \cap \mathcal{Q}$ is even and $\mathcal{C} \cap \mathcal{Q}$ contain at least one smooth point $z_o$ of $\mathcal{Q}$. In this paper, for every $\mathcal{Q}$ we find all possible conics $\mathcal{C}$ as above via studying geometry of $\mathcal{C}$ and $\mathcal{Q}$ through that of integral sections of a rational elliptic surface which canonically arises from $\mathcal{Q}$ and $z_o \in \mathcal{C} \cap \mathcal{Q}$. As an application, we construct Zariski pairs of degree 7 and degree 8, whose irreducible components consist of $\mathcal{Q}$, $\mathcal{C}$ and line passing through two of the singular points of $\mathcal{Q}$ .
Certain Feynman integrals can be expressed as periods of differential forms on Calabi--Yau manifolds. We provide a mathematical proof of a result of Duhr and Maggio on the modularity of the two-dimensional conformal traintrack integral. Our approach is based on a factorization of the associated Picard-Fuchs system into a tensor product of Gauss hypergeometric systems via a gauge transformation due to Clingher, Doran and Malmendier.
This paper establishes a structural generalization of Batchelor's theorem within the framework of $C^\infty$-superschemes. Our main result proves that any Batchelor space satisfies a global splitness condition, establishing an isomorphism between the structure sheaf and its associated graded sheaf. Although this isomorphism is non-canonical, the existence of a splitting endows the structure sheaf with a natural $\mathbb{Z}_{\geq 0}$-grading. This grading is shown to be equivalent to the data of an even superderivation, which we term an Euler vector field. Consequently, global splittings of $C^\infty$-superspaces can be characterized in terms of Euler vector fields, providing a differential-geometric formulation of the splitting.
In this note, we prove that for any abelian variety defined over $\overline{\mathbb{Q}}$, its de Rham-Betti (dRB) group necessarily contains $\mathbb{G}_{m}$ as the group of homotheties. Consequently, this rules out the existence of non-zero dRB classes in odd-degree cohomology groups of abelian varieties over $\overline{\mathbb{Q}}$. This generalises results of the first part of arXiv:2511.01072.
The Bourbaki degree of a plane projective curve $F$, denoted by $\mathrm{Bour}(F)$, was introduced in \cite{Marcos} by Jardim, Nejad and Simis. It is defined as the degree of $R/I_ε$, where $R = k[x,y,z]$ is the graded polynomial ring, with $k$ algebraically closed, and $I_ε\subseteq R$ is the Bourbaki ideal associated with a minimal generator $ε$ of the module of first syzygies of the Jacobian ideal $J_F$. In this work, we propose the definition of the local Bourbaki degree at a point $P \in \mathbb{P}^2$, denoted by $\mathrm{Bour}_P(F)$, and prove that $\mathrm{Bour}(F) = \sum_{P \in \mathbb{P}^2}\mathrm{Bour}_P(F).$ Furthermore, we present results that follow from this local definition, which are instrumental in determining the Bourbaki degree and in establishing whether a curve is (nearly) free. In addition, we provide examples of computing the Bourbaki degree via the local formula - an approach that is computationally advantageous, as it, generically, demands fewer calculations.
We correct the statements and proofs of the (auxiliary) Propositions 4.1 and 4.2 of our paper `Evaluation of motivic functions, non-nullity, and integrability in fibers' in Advances in Mathematics, Vol. 409, Part A, Paper No. 108635, 29 pages (2022), and we explain how the proofs of the main results can be adapted to work with those corrected propositions.
We derive the exact asymptotic rates of the small eigenvalues of the Laplacian on one-parameter degenerations of compact Kähler manifolds equipped with induced background metrics. This generalizes a recent result of Dai and Yoshikawa to higher dimensions. To achieve this, we combine Li's uniform Skoda inequality with the method of auxiliary Monge-Ampère equations, introduced by Guo--Phong--Song--Sturm--Tong and adapted by Guedj--Tô. As an application, we establish estimates for degenerations of compact Kähler manifolds with reducible singular fibers.
For both theoretical and phenomenological studies, it is important to analyze the function types of Feynman integrals. The phenomenon of genus drop between different representations of hyperelliptic Feynman integrals was discussed in \cite{Marzucca2024Genusdrop}. In this paper, we reformulate the extra-involution mechanism of \cite{Marzucca2024Genusdrop} as a special case of an unramified double covering between algebraic curves, and show that this covering mechanism also explains genus drops accompanied by a curve-type change from non-hyperelliptic to hyperelliptic for a class of three-loop Feynman diagrams. We also demonstrate that within a specific framework, the origin of the discrete spacetime symmetry that leads to the genus drop in hyperelliptic cases is manifest. This work also points out that there exist non-hyperelliptic Feynman integrals that exhibit no apparent genus drop.
Many important systems across biology, engineering, physics, and economics are characterized by polynomial ordinary differential equations (ODEs), yet analytical solutions are rare. We develop a framework for identifying and solving a broad class of two-dimensional quadratic ODEs using linear rational Koopman eigenfunctions. By imposing a linear rational form on the eigenfunctions, we convert the Koopman eigenfunction PDE into a large algebraic system of polynomials. We then study the solutions of this polynomial system that satisfy the ODE restrictions; we call the solution set the rational eigenfunction variety of an ODE system. The nonlinear algebra method uses formal algebraic geometry theory to analyze and solve systems otherwise intractable and to discover relationships between ODE and eigenfunction parameters that must hold to extract eigenfunctions. We identify families of quadratic ODEs that can be solved analytically, characterize their eigenfunction parameters, and use the resulting eigenfunctions to produce closed-form analytical solutions.