http://arxiv.org/api/m2Ckz07doxNLFdlOVB/O4wApL3I 2025-04-22T00:00:00-04:00 55246 75 15 http://arxiv.org/abs/2204.03434v3 2025-04-17T09:02:32Z 2022-04-07T13:28:44Z

We develop a theory of motivic spectra in a broad generality; in particular $\mathbb{A}^1$-homotopy invariance is not assumed. As an application, we prove that $K$-theory of schemes is a universal Zariski sheaf of spectra which is equipped with an action of the Picard stack and satisfies projective bundle formula.

Toni Annala Ryomei Iwasa v3: 47 pages, small corrections and edits, the numbering has not been changed from v2 http://arxiv.org/abs/2410.03165v2 2025-04-17T08:51:24Z 2024-10-04T05:53:56Z

An extremal curve germ is a germ of a threefold $X$ with terminal singularities along a connected reduced complete curve~$C$ such that there exists a $K_X$-negative contraction $f : X \to Z$ with~$C$ being a fiber. We give a rough classification of extremal curve germs with reducible central curve~$C$.

Shigefumi Mori Yuri Prokhorov 32 page , LaTeX, revised version http://arxiv.org/abs/2504.09683v2 2025-04-17T05:55:53Z 2025-04-13T18:34:09Z

We investigate the Ulrich complexity of certain examples of Brauer--Severi varieties, twisted flags and involution varieties and establish lower and upper bounds. Furthermore, we relate Ulrich complexity to the categorical representability dimension of the respective varieties. We also state an idea why, in general, a relation between Ulrich complexity and categorical representability dimension may appear.

Saša Novaković comments welcome! arXiv admin note: text overlap with arXiv:1807.10919 http://arxiv.org/abs/2504.12660v1 2025-04-17T05:40:04Z 2025-04-17T05:40:04Z

In this paper we construct complex tori, denoted by $S_{\mathbb{B}_{1,p,q}}$, as quotients of tensor products of Cayley--Dickson algebras, denoted $\mathbb{B}_{1,p,q}=\mathbb{C}\otimes \mathbb{H}^{\otimes p}\otimes \mathbb{O}^{\otimes q}$, with their integral subrings. We then show that these complex tori have endomorphism rings of full rank and are isogenous to the direct sum of $2^{2p+3q}$ copies of an elliptic curve $E$ of $j$-invariant $1728$.

Ivona Grzegorczyk Ricardo Suarez http://arxiv.org/abs/2312.13393v2 2025-04-17T04:49:13Z 2023-12-20T19:45:49Z

The goal of this paper is to give an explicit description of the integrable structure of the Hitchin moduli spaces. This is done by introducing explicit parameterisations for the different strata of the Hitchin moduli spaces, and by adapting the Separation of Variables method from the theory of integrable models to the Hitchin moduli spaces. The resulting description exhibits a clear analogy with Drinfeld's first construction of the geometric Langlands correspondence. It can be seen as a classical limit of a version of Drinfeld's construction which is adapted to the complex number field.

Duong Dinh Joerg Teschner 43 pages http://arxiv.org/abs/2504.12564v1 2025-04-17T01:28:13Z 2025-04-17T01:28:13Z

For a positive integer $N$, let $J_0(N)$ be the Jacobian of the modular curve $X_0(N)$. In this paper we completely determine the structure of the rational cuspidal subgroup of $J_0(N)$ when the largest perfect square dividing $N$ is either an odd prime power or a product of two odd prime powers. Indeed, we prove that the rational cuspidal divisor class group of $X_0(N)$ is the whole rational cuspidal subgroup of $J_0(N)$ for such an $N$, and the structure of the former group is already determined by the first author in [14].

Hwajong Yoo Myungjun Yu http://arxiv.org/abs/2504.12468v1 2025-04-16T20:06:56Z 2025-04-16T20:06:56Z

We prove that the cohomology of the integral structure sheaf of a normal affinoid adic space over a non-archimedean field of characteristic zero is uniformly torsion. This result originated from a remark of Bartenwerfer around the 1980s and it partially answers a recent question of Hansen and Kedlaya (see also Problems 27 and 39 in the Non-Archimedean Scottish Book).

Emiliano Torti http://arxiv.org/abs/2504.12467v1 2025-04-16T20:04:10Z 2025-04-16T20:04:10Z

We prove that every topological/smooth $\T=(\C^{*})^{n}$-equivariant vector bundle over a topological toric manifold of dimension $2n$ is a topological/smooth Klyachko vector bundle in the sense of arXiv:2504.02205.

Yong Cui Amin Gholampour 12 pages http://arxiv.org/abs/2504.12465v1 2025-04-16T20:01:00Z 2025-04-16T20:01:00Z

The intersection of deep learning and symbolic mathematics has seen rapid progress in recent years, exemplified by the work of Lample and Charton. They demonstrated that effective training of machine learning models for solving mathematical problems critically depends on high-quality, domain-specific datasets. In this paper, we address the computation of Gr\"obner basis using Transformers. While a dataset generation method tailored to Transformer-based Gr\"obner basis computation has previously been proposed, it lacked theoretical guarantees regarding the generality or quality of the generated datasets. In this work, we prove that datasets generated by the previously proposed algorithm are sufficiently general, enabling one to ensure that Transformers can learn a sufficiently diverse range of Gr\"obner bases. Moreover, we propose an extended and generalized algorithm to systematically construct datasets of ideal generators, further enhancing the training effectiveness of Transformer. Our results provide a rigorous geometric foundation for Transformers to address a mathematical problem, which is an answer to Lample and Charton's idea of training on diverse or representative inputs.

Yuta Kambe Yota Maeda Tristan Vaccon 19 pages http://arxiv.org/abs/2504.12453v1 2025-04-16T19:34:32Z 2025-04-16T19:34:32Z

In this work, we investigate generalized Weierstrass semigroups in arbitrary Kummer extensions of function field $\mathbb{F}_q(x)$. We analyze their structure and properties, with a particular emphasis on their maximal elements. Explicit descriptions of the sets of absolute and relative maximal elements within these semigroups are provided. Additionally, we apply our results to function fields of the maximal curves $\mathcal{X}_{a,b,n,s}$ and $\mathcal{Y}_{n,s}$, which cannot be covered by the Hermitian curve, and the Beelen-Montanucci curve. Our results generalize and unify several earlier contributions in the theory of Weierstrass semigroups, providing new perspectives on the relationship between these semigroups and function fields.

Alonso S. Castellanos Erik A. R. Mendoza Guilherme Tizziotti http://arxiv.org/abs/2504.12402v1 2025-04-16T18:06:55Z 2025-04-16T18:06:55Z

We apply some recent progress on higher Du Bois singularities to study the $\mathbb{A}^1$-invariance of algebraic $K$-groups.

Wanchun Shen 38 pages, comments welcome! http://arxiv.org/abs/2504.12253v1 2025-04-16T17:02:22Z 2025-04-16T17:02:22Z

We prove that a stability condition on a K3 surface is determined by the masses of spherical objects up to a natural $\mathbb{C}$-action. This is motivated by the result of Huybrechts and the recent proposal of Bapat-Deopurkar-Licata on the construction of a compactification of a stability manifold. We also construct lax stability conditions in the sense of Broomhead-Pauksztello-Ploog-Woolf associated to spherical bundles.

Kohei Kikuta Naoki Koseki Genki Ouchi 34 pages http://arxiv.org/abs/2407.16767v2 2025-04-16T16:05:21Z 2024-07-23T18:01:12Z

We study the problem of characterizing linear preserver subgroups of algebraic varieties, with a particular emphasis on secant varieties and other varieties of tensors. We introduce a number of techniques built on different geometric properties of the varieties of interest. Our main result is a simple characterization of the linear preservers of secant varieties of Segre varieties in many cases, including $\sigma_r((\mathbb{P}^{n-1})^{\times k})$ for all $r \leq n^{\lfloor k/2 \rfloor}$. We also characterize the linear preservers of several other sets of tensors, including subspace varieties, the variety of slice rank one tensors, symmetric tensors of bounded Waring rank, the variety of biseparable tensors, and hyperdeterminantal surfaces. Computational techniques and applications in quantum information theory are discussed. We provide geometric proofs for several previously known results on linear preservers.

Fulvio Gesmundo Young In Han Benjamin Lovitz 26 pages. Final version http://arxiv.org/abs/1906.11749v5 2025-04-16T15:45:10Z 2019-06-27T15:52:23Z

We develop a $G$-equivariant Lagrangian Floer theory and obtain a curved $A_\infty$ algebra, and in particular a $G$-equivariant disc potential. We construct a Morse model, which counts pearly trees in the Borel construction $L_G$. When applied to a smooth moment map fiber of a semi-Fano toric manifold, our construction recovers the $T$-equivariant toric Landau-Ginzburg mirror of Givental. We also study the $\bS^1$-equivariant Floer theory of a typical singular SYZ fiber (i.e. a pinched torus) and compute its $\bS^1$-equivariant disc potential via the gluing technique developed in \cite{CHL18,HKL}.

Yoosik Kim Siu-Cheong Lau Xiao Zheng v_5: 49 page, 6 figures. Published version, typos corrected and details added in Section 2.2 http://arxiv.org/abs/2403.16625v5 2025-04-16T14:59:33Z 2024-03-25T11:14:02Z

We present a new method for constructing virtual cycles for rank-2 Higgs sheaves $(E,\phi)$ on a smooth projective surface $S$. Using this, we redefine the $\mathbf{SU}(2)$-perfect obstruction theory previously constructed by Tanaka-Thomas. The key step in our construction involves modifying the $\mathbf{C}^\times$-localisation formula of Graber-Pandharipande by replacing the torus action with an involution $(E,\phi) \mapsto (E^*,-\phi^*)$.

Simon Schirren updated version (March'25) based on recent comments and suggestions