http://arxiv.org/api/9PrSuWqmDebS2hxoSnBybFHp1u0 2025-04-22T00:00:00-04:00 55246 60 15 http://arxiv.org/abs/2504.10992v2 2025-04-17T20:52:13Z 2025-04-15T09:08:55Z

Following recent works by E. Fuchs et al. and by the author, we study rational and integral points on Markoff-type K3 (MK3) surfaces, i.e., Wehler K3 surfaces of Markoff type. In particular, we construct a family of MK3 surfaces which have a Zariski dense set of rational points but fail the integral Hasse principle due to the Brauer-Manin obstruction and provide some counting results for this family. We also give some remarks on Brauer groups, Picard groups, and failure of strong approximation on MK3 surfaces.

Quang-Duc Dao 28 pages; comments are welcome; added an assumption to Proposition 3.2 and rewrote the statement, added some details to the proof, the result remains the same; revised some assumptions for technical reasons, the main results stay the same; updated and added references. arXiv admin note: substantial text overlap with arXiv:2302.11515 http://arxiv.org/abs/2208.02575v3 2025-04-17T20:47:48Z 2022-08-04T10:46:14Z

We will define and study (moduli) spaces of deformations of irregular classes on Riemann surfaces, which provide an intrinsic viewpoint on the `times' of irregular isomonodromy systems in general. Our aim is to study the deeper generalisation of the G-braid groups that occur as fundamental groups of such deformation spaces, with particular focus on the generalisation of the full G-braid groups.

Jean Douçot Gabriele Rembado 10.1007/s00031-023-09800-9 v3: small improvements, added references, comments welcome! http://arxiv.org/abs/2503.15428v2 2025-04-17T19:23:39Z 2025-03-19T17:10:31Z

Following work of Mazur-Tate and Satoh, we extend the definition of division polynomials to arbitrary isogenies of elliptic curves, including those whose kernels do not sum to the identity. In analogy to the classical case of division polynomials for multiplication-by-n, we demonstrate recurrence relations, identities relating to classical elliptic functions, the chain rule describing relationships between division polynomials on source and target curve, and generalizations to higher dimension (i.e., elliptic nets).

Katherine E. Stange 15 pages, v2: some additional exposition and corrections http://arxiv.org/abs/2404.08121v2 2025-04-17T18:52:14Z 2024-04-11T20:56:50Z

We study the tropicalization of the variety of symmetric rank two matrices. Analogously to the result of Markwig and Yu for general tropical rank two matrices, we show that it has a simplicial complex structure as the space of symmetric bicolored trees and that this simplicial complex is shellable. We also discuss some matroid structures arising from this space and present generating functions for the number of symmetric bicolored trees.

May Cai Kisun Lee Josephine Yu 21 pages, 8 figures, Version to appear in Linear Algebra and its Applications http://arxiv.org/abs/2312.02100v3 2025-04-17T18:49:45Z 2023-12-04T18:22:14Z

We study the mod $p$ equivariant quantum cohomology of conical symplectic resolutions. Using symplectic genus zero enumerative geometry, Fukaya and Wilkins defined operations on mod $p$ quantum cohomology deforming the classical Steenrod operations on mod $p$ cohomology. We conjecture that these quantum Steenrod operations on divisor classes agree with the $p$-curvature of the mod $p$ equivariant quantum connection, and verify this in the case of the Springer resolution. The key ingredient is a new compatibility relation between the quantum Steenrod operations and the shift operators.

Jae Hee Lee 35 pages, comments welcome! v2: added references, fixed minor typos; v3: accepted version http://arxiv.org/abs/2504.13155v1 2025-04-17T17:56:57Z 2025-04-17T17:56:57Z

In this paper, we establish a structure theorem for a compact K\"{a}hler manifold $X$ of rational dimension $\mathrm{rd}(X)\leq n-k$ under the mixed partially semi-positive curvature condition $\mathcal{S}_{a,b,k} \geq 0$, which is introduced as a unified framework for addressing two partially semi-positive curvature conditions -- namely, $k$-semi-positive Ricci curvature and semi-positive $k$-scalar curvature. As a main corollary, we show that a compact K\"{a}hler manifold $(X,g)$ with $k$-semi-positive Ricci curvature and $\mathrm{rd}(X)\leq n-k$ actually has semi-positive Ricci curvature and $\mathrm{rd}(X)\geq \nu(-K_X)$. Of independent interest, we also confirm the rational connectedness of compact K\"{a}hler manifolds with positive orthogonal Ricci curvature, among other results.

Shiyu Zhang Xi Zhang 21 pages, comments are welcome http://arxiv.org/abs/2504.13106v1 2025-04-17T17:19:04Z 2025-04-17T17:19:04Z

Edoukou, Ling and Xing in 2010, conjectured that in \mathbb{P}^n(\mathbb{F}_{q^2}), n \geq 3, the maximum number of common points of a non-degenerate Hermitian variety \mathcal{U}_n and a hypersurface of degree d is achieved only when the hypersurface is a union of d distinct hyperplanes meeting in a common linear space \Pi_{n-2} of codimension 2 such that \Pi_{n-2} \cap \mathcal{U}_n is a non-degenerate Hermitian variety. Furthermore, these d hyperplanes are tangent to \mathcal{U}_n if n is odd and non-tangent if n is even. In this paper, we show that the conjecture is true for d = 3 and q \geq 7.

Subrata Manna http://arxiv.org/abs/2504.13100v1 2025-04-17T17:08:54Z 2025-04-17T17:08:54Z

Let $k$ be a $d$-local field such that the corresponding $1$-local field $k^{(d-1)}$ is a $p$-adic field and $C$ a curve over $k$. Let $K$ be the function field of $C$. We prove that for each $n,m \in \mathbf{N}$, and hypersurface $Z$ of $\mathbf{P}^n_K$ with degree $m$ such that $m^{d+1} \leq n$, the $(d+1)$-th Milnor $\mathrm{K}$-theory group is generated by the images norms of finite extension $L$ of $K$ such that $Z$ admits an $L$-point. Let $j \in \{1,\cdots , d\}$. When $C$ admits a point in an extension $l/k$ that is not $i$-ramified for every $i \in \{1, \cdots, d-j\}$ we generalise this result to hypersurfaces $Z$ of $\mathbf{P}_K^n$ with degree $m$ such that $m^{j+1} \leq n$. \par In order to prove these results we give a description of the Tate-Shafarevich group $\Sha^{d+2}(K,\mathbf{Q}/\mathbf{Z}(d+1))$ in terms of the combinatorics of the special fibre of certain models of the curve $C$.

Felipe Gambardella 27 pages. Coments are welcome c: http://arxiv.org/abs/2311.11113v8 2025-04-17T16:45:58Z 2023-11-18T16:25:13Z

We introduce a system of invariants of isotopy classes of Morse polynomials ${\mathbb R}^2 \to {\mathbb R}^1$, prove its completeness for polynomials of degrees $\leq 4$, calculate all 71 possible values of these invariants for the case of degree four, and realize them by concrete Morse polynomials. Also we calculate the number of classes (up to isotopy and reflections in ${\mathbb R}^2$) of strictly Morse polynomials of degree four with the maximal possible number of real critical points.

V. A. Vassiliev http://arxiv.org/abs/2504.05554v2 2025-04-17T14:53:44Z 2025-04-07T23:05:39Z

Using the fact that the structure sheaf of a resolution of singularities, or regular alteration, pushes forward to a Cohen-Macaulay complex in characteristic zero with a differential graded algebra structure, we introduce a tight-closure-like operation on ideals in characteristic zero using the Koszul complex, which we call KH closure (Koszul-Hironaka). We prove it satisfies various strong colon capturing properties and a version of the Brian\c{c}on-Skoda theorem, and it behaves well under finite extensions. It detects rational singularities and is tighter than characteristic zero tight closure. Furthermore, its formation commutes with localization and it can be computed effectively. On the other hand, the product of the KH closures of ideals is not always contained in the KH closure of the product, as one might expect.

Neil Epstein Peter M. McDonald Rebecca R. G. Karl Schwede 45 pages. Numerous minor changes, corrections, clarifications, and improvements. Notably, various equidimensional hypotheses added. Comments welcome http://arxiv.org/abs/2504.12910v1 2025-04-17T12:59:41Z 2025-04-17T12:59:41Z

This work explores the space of foliations on projective spaces over algebraically closed fields of positive characteristic, with a particular focus on the codimension one case. It describes how the irreducible components of these spaces varies with the characteristic of the base field in very low degrees and establishes an arbitrary characteristic version of Calvo-Andrade's stability of generic logarithmic $1$-forms under deformation.

Wodson Mendson Jorge Vitório Pereira 21 pages http://arxiv.org/abs/2504.12904v1 2025-04-17T12:50:59Z 2025-04-17T12:50:59Z

We compute the complexity of del Pezzo surfaces with du Val singularities.

Valentine Nadler 19 pages http://arxiv.org/abs/2504.13225v1 2025-04-17T11:49:47Z 2025-04-17T11:49:47Z

We characterize intermediate $\mathbb{R}$-algebras $A$ between the ring of semialgebraic functions ${\mathcal S}(X)$ and the ring ${\mathcal S}^*(X)$ of bounded semialgebraic functions on a semialgebraic set $X$ as rings of fractions of ${\mathcal S}(X)$. This allows us to compute the Krull dimension of $A$, the transcendence degree over $\mathbb{R}$ of the residue fields of $A$ and to obtain a \L ojasiewicz inequality and a Nullstellensatz for archimedean $\mathbb{R}$-algebras $A$. In addition we study intermediate $\mathbb{R}$-algebras generated by proper ideals and we prove an extension theorem for functions in such $\mathbb{R}$-algebras.

E. Baro J. F. Fernando J. M. Gamboa http://arxiv.org/abs/2504.12798v1 2025-04-17T09:59:46Z 2025-04-17T09:59:46Z

We prove a conjecture of Gorsky, Hogancamp, Mellit, and Nakagane in the Weyl group case. Namely, we show that the left and right adjoints of the parabolic induction functor between the associated Hecke categories of Soergel bimodules differ by the relative full twist.

Quoc P. Ho Penghui Li http://arxiv.org/abs/2504.11619v2 2025-04-17T09:36:38Z 2025-04-15T21:15:32Z

Metric graphs are important models for capturing the structure of complex data across various domains. While much effort has been devoted to extracting geometric and topological features from graph data, computational aspects of metric graphs as abstract tropical curves remains unexplored. In this paper, we present the first computational and machine learning-driven study of metric graphs from the perspective of tropical algebraic geometry. Specifically, we study the tropical Abel--Jacobi transform, a vectorization of points on a metric graph via the tropical Abel--Jacobi map into its associated flat torus, the tropical Jacobian. We develop algorithms to compute this transform and investigate how the resulting embeddings depend on different combinatorial models of the same metric graph. Once embedded, we compute pairwise distances between points in the tropical Jacobian under two natural metrics: the tropical polarization distance and the Foster--Zhang distance. Computing these distances are generally NP-hard as they turn out to be linked to classical lattice problems in computational complexity, however, we identify a class of metric graphs where fast and explicit computations are feasible. For the general case, we propose practical algorithms for both exact and approximate distance matrix computations using lattice basis reduction and mixed-integer programming solvers. Our work lays the groundwork for future applications of tropical geometry and the tropical Abel--Jacobi transform in machine learning and data analysis.

Yueqi Cao Anthea Monod 51 pages, 9 figures