http://arxiv.org/api/7PbnvRfwsgvP/QsyVkxZZ+s1z9o 2025-04-22T00:00:00-04:00 55246 15 15 http://arxiv.org/abs/2504.14801v1 2025-04-21T02:01:55Z 2025-04-21T02:01:55Z

Given a liftable smooth proper variety over $\mathbb{F}_p$, we construct the moduli stacks of crystals and isocrystals on it. We show that the former is a formal algebraic stack over $\mathbb{Z}_p$ and the latter is an adic stack -- Artin stack in rigid geometry -- over $\mathbb{Q}_p$. Both stacks come equipped with the Verschiebung endomorphism $V$ corresponding to the Frobenius pullback of (iso)crystals. We study the geometry of the $V$-fixed points over the open substack of irreducible isocrystals, which we use to geometrically count the rank one $F$-isocrystals. Along the way, we carefully develop the theory of adic stacks.

Gyujin Oh Koji Shimizu 111 pages http://arxiv.org/abs/2409.19789v2 2025-04-20T22:15:07Z 2024-09-29T21:23:00Z

Gaiotto, Moore, and Neitzke predicted that the hyperk\"ahler Ooguri-Vafa space $\mathcal{M}^{\rm ov}$ should provide a local model for Hitchin moduli spaces near the discriminant locus. To this end, Tulli identified $\mathcal{M}^{\rm ov}$ with a certain space of framed Higgs bundles with an irregular singularity. We extend this result by identifying the Ooguri-Vafa holomorphic symplectic form with a regularized version of the Atiyah-Bott form on the associated space of framed connections. We also prove the analogous statement for the corresponding semiflat forms. Finally, restricting to the Hitchin section, we identify a regularized version of Hitchin's $L^2$-metric with the Ooguri-Vafa metric.

Danny Nackan 81 pages, 28 figures; v2: new section about metric, expanded appendices, and a few clarifications http://arxiv.org/abs/2411.03161v2 2025-04-20T20:16:37Z 2024-11-05T15:05:04Z

We analyze the problem of determining Waring decompositions of the powers of any quadratic form over the field of complex numbers. Our main goal is to provide information about their rank and also to obtain decompositions whose size is as close as possible to this value. This is a classical problem and these forms assume importance especially because of their invariance under the action of the special orthogonal group. We give the detailed procedure to prove that the apolar ideal of the $s$-th power of a quadratic form is generated by the harmonic polynomials of degree $s+1$. We also generalize and improve some of the results on real decompositions given by B. Reznick in his notes of 1992, focusing on possibly minimal decompositions and providing new ones, both real and complex. We investigate the rank of the second power of a non-degenerate quadratic form in $n$ variables, which in most cases is equal to $(n^2+n+2)/2$, and also give some results on powers of ternary quadratic forms.

Cosimo Flavi 87 pages, 8 figures http://arxiv.org/abs/2504.14719v1 2025-04-20T19:17:54Z 2025-04-20T19:17:54Z

We prove a perfectoid analogue of the Ax-Kochen theorem on zeros of $p$-adic forms: Given $d\in \mathbb{N}$, there is a finite totally ramified extension $E/\mathbb{Q}_p$ such that every untilt of $\mathbb{F}_p(\!(t^{1/p^{\infty}})\!)$ containing $E$ is $C_2(d)$. We also prove a similar result for the existence of rational points in rationally connected varieties over perfectoid field extensions of $\mathbb{Q}_p^{ur}$.

Konstantinos Kartas 20 pages http://arxiv.org/abs/2504.14617v1 2025-04-20T13:53:58Z 2025-04-20T13:53:58Z

The main purpose of this paper is to define the {\it net logarithmic tangent sheaf}, as a generalization of the logarithmic tangent sheaf introduced by P.~Deligne, over the field of complex numbers, and prove some basic properties and give some applications. The generalization is valid for the pairs of the smooth complete intersection variety and its complete intersecting subvariety. As applications, we investigate the locus of net logarithmic tangent sheaves on a smooth cubic surface in the corresponding moduli space of semistable sheaves.

Sukmoon Huh Min-gyo Jeong 23 pages http://arxiv.org/abs/2504.14613v1 2025-04-20T13:44:22Z 2025-04-20T13:44:22Z

We define the isomorphism classes of torus-equivariant rank 2 arithmetically Cohen-Macaulay (aCM) vector bundles on the Veronese surface, up to a twist by the hyperplane class, and count them. Our approach makes use of Klyachko's description of toric vector bundles via filtrations and the associated cohomology computation. We also describe several representative bundles.

Yeonjae Hong Sukmoon Huh 21 pages. Includes several enumerative examples http://arxiv.org/abs/2403.13637v6 2025-04-20T13:36:06Z 2024-03-20T14:37:43Z

For a commutative Gorenstein Noetherian ring $R$, we construct an affine scheme $X$ solely from DG singularity category $S_{dg}(R)$ of $R$ such that there is a finite surjective morphism $X \rightarrow \mathrm{Spec}(R /I)$, where $\mathrm{Spec}(R /I)$ is the singular locus in $\mathrm{Spec}(R)$. As an application, for two such rings with equivalent DG singularity categories, we prove that the singular loci in their affine schemes have the same dimension.

Leilei Liu Jieheng Zeng 18 pages http://arxiv.org/abs/2306.03755v5 2025-04-20T13:13:28Z 2023-06-06T15:15:14Z

Recent progress in the deformation theory of Calabi-Yau varieties $Y$ with canonical singularities has highlighted the key role played by the higher Du Bois and higher rational singularities, and especially by the so-called $k$-liminal singularities for $k\ge 1$. The goal of this paper is to show that certain aspects of this study extend naturally to the $0$-liminal case as well, i.e. to Calabi-Yau varieties $Y$ with Gorenstein log canonical, but not canonical, singularities. In particular, we show the existence of first order smoothings of $Y$ in the case of isolated $0$-liminal hypersurface singularities, and extend Namikawa's unobstructedness theorem for deformations of singular Calabi-Yau threefolds $Y$ with canonical singularities to the case where $Y$ has an isolated $0$-liminal lci singularity under suitable hypotheses. Finally, we describe an interesting series of examples.

Robert Friedman Radu Laza 10.1093/imrn/rnaf112 37 pages; final version, to appear in IMRN http://arxiv.org/abs/2504.14593v1 2025-04-20T12:45:45Z 2025-04-20T12:45:45Z

We show that for a finite simplicial complex triangulating a disc, its Euclidean circle packings can be found by solving a system of polynomial equations. We also present a similar system of equations for unbranched circle packings. The variables in these equations are associated to corners of triangles in the complex, with one equation for each interior vertex, interior edge, and face. The vertex equations are generalisations of the Descartes circle theorem, of higher degree but more symmetric than those previously found by the authors. We also provide some connections between the spinorial approach of previous work of the authors, and classical Euclidean geometry.

Daniel V. Mathews Orion Zymaris 17 pages, 6 figures http://arxiv.org/abs/2503.22314v2 2025-04-20T10:21:22Z 2025-03-28T10:43:38Z

In the paper I introduce a new characteristic class $c(E)$ for a finite rank vector bundle $E$ on an affine scheme $S:=Spec(A)$ - the fundamental class of $E$. The class $c(E)$ is not a characteristic class in the classical sense in the sense that it lives in a pointed cohomology torsor $\operatorname{Ext}^1(L, \operatorname{End}_A(E))$. Most characteristic classes lives in a cohomology group. The pointed cohomology torsor $\operatorname{Ext}^1(L, \operatorname{End}_A(E))$ is a torsor on the abelian group $\operatorname{H}^2(L, Z(\operatorname{End}_A(E)))$ where $Z(\operatorname{End}_A(E))$ is the center of the ring of endomorphisms of $E$ and where the cohomology is the Lie-Rinehart cohomology of the center. The class $c(E)$ is trivial if and only if $E$ has a flat algebraic connection. Hence the class $c(T_S)$ where $T_S$ is the tangent bundle, is an an obstruction for $S$ to be algebraically parallelizable. I use a connection $\nabla$ to define $c(E)$ and I also prove the class $c(E)$ is independent of choice of connection, hence $c(E)$ is an invariant of the vector bundle $E$. The class generalize the Chern class, the Pontryagin class, the Euler class and the Teleman characteristic class. I prove using an explicit example that the class $c(E)$ is stronger than the Chern class and the Euler class. I also give a new proof of a formula for the curvature of a connection $\nabla$ in terms of an idempotent endomorphism $\phi$ defining $E$. This formula was claimed and proved in a paper put out on the arXiv in 2011, and in this paper I give a new proof that is easier to read. The class may be interesting in the study of the "cancellation problem" in affine algebraic geometry and the problem of giving algebraic formulas for the topological Euler characteristic. I also calculate the algebraic deRham cohomology of the complex two sphere and prove it is infinite dimensional.

Helge Øystein Maakestad http://arxiv.org/abs/2408.11698v3 2025-04-20T06:01:26Z 2024-08-21T15:22:08Z

We investigate the Gopakumar-Vafa (GV) theory of local curves, namely, the total spaces of rank two vector bundles with canonical determinant on smooth projective curves. Under a certain genericity condition on the rank two bundles, we propose a general mechanism to compute the degree two GV invariants of local curves. In particular, we determine all the degree two GV invariants when the base curve has genus two. Combined with previous work by Bryan and Pandharipande, we obtain the GV/GW correspondence in this case. When the base curve has genus greater than two, we calculate GV invariants for some extremal genera, providing evidence for the GV/GW conjecture for curves of higher genus.

Ben Davison Naoki Koseki v1: 28 pages, comments very welcome v2: minor edits, including a reference v3: improvements based on referee's comments http://arxiv.org/abs/2504.14472v1 2025-04-20T03:38:54Z 2025-04-20T03:38:54Z

In the moduli space of semistable $\text{SL}(r, \mathbb{C})$-Higgs bundles, we show that there exists a sublocus of the upward flow through a polystable $\mathbb{C}^{*}$-fixed point, which is Lagrangian on its intersection with the stable locus. This intesesction is always non-empty in the case when the Higgs field of the fixed point vanishes, or when the automorphism group of its polystable representative is abelian. Under the same assumptions, we show that the conformal limit of a stable Higgs bundle lying on this locus exists.

Szehong Kwong http://arxiv.org/abs/2503.19343v3 2025-04-20T03:07:21Z 2025-03-25T04:35:48Z

An equilevel algebra is a subalgebra of the space of smooth functions $f: M \to {\mathbb R}$ distinguished in this space by finitely many conditions of the type $f(x_i) = f(\tilde x_i)$, $x_i \neq \tilde x_i \in M$, or approximated by such subalgebras. For $M = S^1$ or ${\mathbb R}^1$, the regular points of the variety of equilevel algebras of codimension $k$ are known in knot theory as $k$-chord diagrams. The whole of this variety completes the space of chord diagrams in the same way as the Hilbert schemes complete the configuration spaces. We describe cell structures of the varieties of all equilevel algebras up to the codimension three in the space $C^\infty(S^1, {\mathbb R})$ and compute their homology groups and characteristic classes of canonical vector bundles on them.

V. A. Vassiliev http://arxiv.org/abs/2504.14461v1 2025-04-20T02:47:05Z 2025-04-20T02:47:05Z

A general linear determinantal quartic in $\mathbb{P}^4$ is nodal, non-$\mathbb{Q}$-factorial and rational. We show that the family $\mathcal{F}$ of such quartics also contains rational $\mathbb{Q}$-factorial quartics, and that a generic member of $\mathcal{F}$ can specialize to a rational non-$\mathbb{Q}$-factorial double quadric. We describe the birational geometry of these three types of 3-folds, showing that it is governed by the extrinsic geometry of a curve $C\subset \mathbb{P}^3$.

Manuel Leal César Lozano Huerta Montserrat Vite 32 pages, comments are welcome! http://arxiv.org/abs/2406.16246v4 2025-04-20T00:46:48Z 2024-06-24T00:45:07Z

We study the congruence of bitangent lines of an irreducible surface in the 3-dimensional projective space in arbitrary characteristic, with special attention to quartic surfaces with rational double points and, in particular, Kummer quartic surfaces.

Igor Dolgachev Shigeyuki Kondō Revision (Section 5)