http://arxiv.org/api/qTK3GiChFMjngSh2ytwf/jhlBo8 2025-04-22T00:00:00-04:00 55246 45 15 http://arxiv.org/abs/2412.05120v2 2025-04-18T17:46:34Z 2024-12-06T15:22:27Z

We investigate birational properties of hypersurfaces of degree $6$ in the weighted projective space $\mathbf{P}(1,1,2,2,3)$. In particular, we prove that any such quasi-smooth hypersurface is not rational.

Yuri Prokhorov 16 pages, revised version http://arxiv.org/abs/2206.00269v5 2025-04-18T17:39:29Z 2022-06-01T06:51:45Z

We study complex algebraic K3 surfaces of Picard ranks 11,12, and 13 of finite automorphism group that admit a Jacobian elliptic fibration with a section of order two. We prove that the K3 surfaces admit a birational model isomorphic to a projective quartic hypersurface and construct geometrically the frames of all supported Jacobian elliptic fibrations. We determine the dual graphs of all smooth rational curves for these K3 surfaces, the polarizing divisors, and the embedding of the reducible fibers in each frame into the corresponding dual graph.

Adrian Clingher Andreas Malmendier Flora Poon 33 pages http://arxiv.org/abs/2401.08843v2 2025-04-18T17:26:28Z 2024-01-16T21:41:39Z

The main goal of this article is to expand the theory of invariants of Artin-Schreier curves by giving a complete classification in genus 3 and 4. To achieve this goal, we first establish standard forms of Artin-Schreier curves and determine all isomorphisms between curves in this form. We then compute reconstructing systems of invariants for curves in each connected component of the strata of the moduli spaces for Artin-Schreier curves of genus 3 and 4 for $p>2$.

Juanita Duque-Rosero Heidi Goodson Elisa Lorenzo García Beth Malmskog Renate Scheidler 25 pages http://arxiv.org/abs/2404.17341v2 2025-04-18T13:21:17Z 2024-04-26T11:43:43Z

The purpose of this note is to show that the minimal $e$ for which every smooth Fano hypersurface of dimension $n$ contains a free rational curve of degree at most $e$ cannot be bounded by a linear function in $n$ when the base field has positive characteristic. This is done by providing a super-linear bound on the minimal possible degree of a free curve in certain Fermat hypersurfaces.

Raymond Cheng 10.1090/proc/17206 5 pages, accepted version, comments always welcome! http://arxiv.org/abs/2403.13463v2 2025-04-18T13:14:05Z 2024-03-20T10:16:05Z

We construct singular quartic double fivefolds whose Kuznetsov component admits a crepant categorical resolution of singularities by a twisted Calabi--Yau threefold. We also construct rational specializations of these fivefolds where such a resolution exists without a twist. This confirms an instance of a higher-dimensional version of Kuznetsov's rationality conjecture, and of a noncommutative version of Reid's fantasy on the connectedness of the moduli of Calabi--Yau threefolds.

Raymond Cheng Alexander Perry Xiaolei Zhao 23 pages, accepted version, comments always welcome! http://arxiv.org/abs/2309.11999v4 2025-04-18T13:03:51Z 2023-09-21T12:15:42Z

We show that the derived category of perverse Nori motives and mixed Hodge modules are the derived categories of their constructible hearts. This enables us to construct $\infty$-categorical lifts of the six operations and therefore to obtain realisation functors from the category of Voevodsky \'etale motives to the derived categories of perverse Nori motives and mixed Hodge modules that commute with the operations. We give a proof that the realisation induces an equivalence of categories between Artin motives in the category of \'etale motives and Artin motives in the derived category of Nori motives. We also prove that if a motivic $t$-structure exists then Voevodsky \'etale motives and the derived category of perverse Nori motives are equivalent. Finally we give a presentation of the indization of the derived category of perverse Nori motives as a category of modules in Voevodsky \'etale motives that gives a continuity result for perverse Nori motives.

Swann Tubach 58 pages, accepted version http://arxiv.org/abs/2504.13642v1 2025-04-18T11:33:05Z 2025-04-18T11:33:05Z

We prove that algebraic stacks satisfy 2-descent for fppf coverings. We generalize Galois descent for schemes to stacks, by considering the case where the fppf covering is a finite Galois covering and reformulating 2-descent data for stacks in terms of group actions on the stack.

Olivier de Gaay Fortman 12 pages, comments welcome http://arxiv.org/abs/2504.13607v1 2025-04-18T10:27:41Z 2025-04-18T10:27:41Z

We give a new proof of the Hodge conjecture for abelian fourfolds of Weil type with discriminant 1 and all of their powers. The Hodge conjecture for these abelian fourfolds was proven by Markman using hyperholomorphic sheaves on hyper-K\"ahler varieties of generalized Kummer type, and by constructing semiregular sheaves on abelian varieties. Our proof instead relies on a direct geometric relation between abelian fourfolds of Weil type with discriminant 1 and the six-dimensional hyper-K\"ahler varieties $\widetilde{K}$ of O'Grady type arising as crepant resolutions $\widetilde{K}\to K$ of a locally trivial deformation of a singular moduli space of sheaves on an abelian surface. As applications, we establish the Hodge conjecture and the Tate conjecture for any variety $\widetilde{K}$ of OG6-type as above, and all of its powers.

Salvatore Floccari Lie Fu 22 pages http://arxiv.org/abs/2212.13948v3 2025-04-18T08:08:40Z 2022-12-28T16:50:42Z

We show a mathematically precise version of the SYZ conjecture, proposed in the family Floer context, for the conifold with a conjectural mirror relation between smoothing and crepant resolution. The singular T-duality fibers are explicitly written and exactly correspond to the codimension-2 `missing points' in the mirror cluster variety, which confirms the speculation of Chan, Pomerleano, and Ueda but only in the non-archimedean setting. Concerning purely the area of Berkovich geometry and forgetting all the mirror symmetry background, our B-side analytic fibration is also a new explicit example of affinoid torus fibration with singular extension.

Hang Yuan 24 pages. Accepted version. To provide further clarity, an outline of the construction has been added to the introduction, particularly addressing some concerns about the matching of integral affine structures http://arxiv.org/abs/2502.02082v2 2025-04-18T06:53:02Z 2025-02-04T08:04:22Z

Given a flat conic bundle $X/S$ and an abstract spinor bundle $\mathcal{F}$ on $X$ we define a new conic bundle $X_{\mathcal{F}}/S$, called a spinor modification of $X$, such that the even Clifford algebras of $X/S$ and $X_{\mathcal{F}}/S$ are Morita equivalent and the orthogonal complements of $\mathrm{D}^{\mathrm{b}}(S)$ in $\mathrm{D}^{\mathrm{b}}(X)$ and $\mathrm{D}^{\mathrm{b}}(X_{\mathcal{F}})$ are equivalent as well. We demonstrate how the technique of spinor modifications works in the example of conic bundles associated with some nonfactorial 1-nodal prime Fano threefolds. In particular, we construct a categorical absorption of singularities for these Fano threefolds.

Alexander Kuznetsov v2: 27 pages; to appear in Proc. Steklov Inst. Math http://arxiv.org/abs/2504.13505v1 2025-04-18T06:49:42Z 2025-04-18T06:49:42Z

We define instanton sheaves of higher rank on smooth Fano threefolds X of Picard rank one and show that their topological classification depends on two integers, namely the rank n (or the half of it, if the Fano index of X is odd) and the charge k. We elucidate the value of the minimal charge k0 of slope-stable n-instanton bundles (except for Fano threefolds of index 1 and genus 3 or 4), as an integer depending only on the genus of X and on n and we prove the existence of slope-stable n-instanton bundles of charge k greater than k0. Next, we study the acyclic extension of instantons on Fano threefolds with curvilinear Kuznetsov component and give a monadic description when the intermediate Jacobian is trivial. Finally, we provide several features of a general element in the main component of the moduli space of intantons, such as and generic splitting over rational curves contained in X and stable restriction to a K3 section S of X, and give applications to Lagrangian subvarieties of moduli spaces of sheaves on S.

Gaia Comaschi UPPA Daniele Faenzi UBE http://arxiv.org/abs/2504.12903v2 2025-04-18T03:39:07Z 2025-04-17T12:48:18Z

This paper has three main goals : (1) To give an axiomatic formulation of the construction of "reduced \v{C}ech complexes", complexes using fewer than the usual number of intersections but still computing cohomology of an appropriate class of sheaves; (2) To give a construction of such a reduced \v{C}ech complex for every semi-proper toric variety $X$, where every open used in the complex is torus stable, and such that the cell complex governing the reduced \v{C}ech complex has dimension the cohomological dimension of $X$; and (3) to give an algorithm to compute the higher direct images of line bundles relative to a toric fibration between smooth proper toric varieties.

Mike Roth Sasha Zotine Comments welcome http://arxiv.org/abs/2504.12894v2 2025-04-18T03:34:40Z 2025-04-17T12:36:31Z

In this note we show that the nonnegative part of a proper complex toric variety has the homeomorphism type of a sphere, and consequently that the nonnegative part has a natural structure of a cell complex. This extends previous results of Ehlers and Jurkiewicz. The proof also provides a simplicial decomposition of the nonnegative part, and a parameterization of each maximal simplex. This result is needed in arXiv:2504.12903 as part of an argument constructing a torus-stable reduced \v{C}ech complex for any semi-proper toric variety.

Mike Roth Comments welcome http://arxiv.org/abs/2504.13366v1 2025-04-17T22:16:23Z 2025-04-17T22:16:23Z

Analytic lattice cohomology is a new invariant of reduced curve singularities. In the case of plane curves, it is an algebro-geometric analogue of Heegaard Floer Link homology. However, by the rigidity of the analytic structure, lattice cohomology can be naturally defined in higher codimensions as well. In this paper we show that in the case of irreducible plane curve singularities the lattice cohomology is a complete embedded topological invariant. We also compare it to the integral Seifert form in the case of multiple branches.

Alexander A. Kubasch Gergő Schefler http://arxiv.org/abs/2504.13345v1 2025-04-17T21:27:17Z 2025-04-17T21:27:17Z

We introduce the notion of a Lie superheaps as a generalisation of Lie supergroups. We show that the well-known `groupification' and `heapification' functors generalise to the ambience of supergeometry. In particular, we show that there is an isomorphism between the categories of pointed Lie superheaps and Lie supergroups. To do this we make extensive use of the functor of points.

Andrew James Bruce 7 pages