Algebraic Geometry
See recent articles
Showing new listings for Wednesday, 23 July 2025
- [1] arXiv:2507.16029 [pdf, html, other]
-
Title: Periodic Hypersurfaces and Lee-Yang PolynomialsSubjects: Algebraic Geometry (math.AG)
We prove a Fourier criterion for a $\mathbb{Z}^n$-periodic $C^{1+\epsilon}$-hypersurface $\Sigma\subset\mathbb{R}^n$ to be algebraic in the sense that $\Sigma=\Sigma(p):=\{x\in\mathbb{R}^n : p(e^{2\pi i x_1},\dots,e^{2\pi i x_n})=0\}$ for some polynomial $p$. More precisely, each direction $\ell\in\mathbb{R}^n$ defines a periodic measure $m_{\ell}$ on $\Sigma$ by $dm_{\ell}(x)=|\langle\ell,\hat n(x)\rangle|\,d\sigma(x)$, with $\hat n(x)$ the unit normal to $\Sigma$ and $\sigma$ its $n-1$ dimensional surface measure. Our Fourier criterion for $\Sigma$ is that there exists $\ell\in\mathbb{R}^n$ with Q-linearly independent entries and a closed cone $C\subset\mathbb{R}^n$ for which $\langle\ell,v\rangle>0$ for all nonzero $v\in C$, such that for $k\in\mathbb{Z}^n$ we have $\widehat{m}_{\ell}(k)=\int_{\Sigma/\mathbb{Z}^n}e^{2\pi i\langle k,x\rangle}\,dm_{\ell}(x)=0$ for every $k\notin C\cup(-C)$. Using Meyers terminology this says $(m_{\ell},C)$ is a "lighthouse". Under this hypothesis one shows $\Sigma=\Sigma(p)$, and after a suitable monomial change $p$ can be taken as a Lee-Yang polynomial. The proof relies on a recent characterization of all one-dimensional Fourier quasicrystals.
- [2] arXiv:2507.16133 [pdf, other]
-
Title: Delta-matroids and toric degenerations in OG(n,2n+1)Comments: 34 pages plus appendix, comments welcome!Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
We construct an explicit, embedded degeneration of the general torus orbit closure in the maximal orthogonal Grassmannian OG(n,2n+1) into a union of Richardson varieties. In particular, we deduce a formula for the cohomology class of the torus orbit closure, as a sum of products of Schubert classes. The moment map images of the degenerate pieces are the base polytopes of their underlying delta-matroids, and give a polyhedral decomposition of the unit hypercube.
- [3] arXiv:2507.16170 [pdf, html, other]
-
Title: Fourier-Sato transform for monodromic mixed Hodge modulesSubjects: Algebraic Geometry (math.AG); Representation Theory (math.RT)
We discuss a construction of the Fourier-Sato transform for monodromic mixed Hodge modules.
- [4] arXiv:2507.16374 [pdf, html, other]
-
Title: Homotopy type of complements of fiber-type curvesComments: To appear in Contemp. Math., Proceedings of the conference "115AM. Algebraic and topological interplay of algebraic varieties"Subjects: Algebraic Geometry (math.AG)
In this note we study the homotopy type of the complement of a plane projective curve of fiber-type. Roughly speaking, a curve of fiber-type is a finite union of fibers of a pencil. Under some restrictions, a full description of their homotopy type is given. In the context of fiber-type curves, we also partially answer in the positive a question originally posed by Libgober on the homotopy type of complements of plane curves, namely, whether or not the homotopy type of a curve complement is determined by the fundamental group and its Euler characteristic.
- [5] arXiv:2507.16452 [pdf, html, other]
-
Title: Hypercomplex analytic spaces and schemesComments: 14 pagesSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV); Differential Geometry (math.DG)
We propose definitions of hypercomplex analytic spaces and hypercomplex schemes. We show that such a hypercomplex space is canonically associated to the quotient of a hypercomplex manifold by a finite group action.
- [6] arXiv:2507.16492 [pdf, html, other]
-
Title: Intersection cohomology of Vinberg-Popov varietiesSubjects: Algebraic Geometry (math.AG); Representation Theory (math.RT); Symplectic Geometry (math.SG)
The Vinberg-Popov variety of a simply connected reductive algebraic group $G$ is a singular affine variety that contains the basic affine space $G/U$ as a Zariski open subset. It is defined as the spectrum of the ring of functions on $G/U$, and can also be identified with the universal symplectic implosion for the maximal compact subgroup of $G$. We provide a recursive procedure for computing the intersection cohomology of this variety, with an emphasis on the case where $G = \operatorname{SL}_n$.
- [7] arXiv:2507.16501 [pdf, html, other]
-
Title: Weibel vanishing and the projective bundle formula for mixed characteristic motivic cohomologyComments: The contents of arXiv:2412.06635v1 have been divided into two disjoint papers: arXiv:2412.06635v2 and the current paperSubjects: Algebraic Geometry (math.AG); K-Theory and Homology (math.KT); Number Theory (math.NT)
We prove that the motivic cohomology of mixed characteristic schemes, introduced in our previous work, satisfies various expected properties of motivic cohomology, including a motivic refinement of Weibel's vanishing in algebraic $K$-theory, the projective bundle formula, a comparison to Milnor $K$-theory, and a universal characterisation in terms of pro cdh descent. These results extend those of Elmanto--Morrow to schemes which are not necessarily defined over a field.
- [8] arXiv:2507.16547 [pdf, html, other]
-
Title: Hilbert scheme and Hilbert functions of smooth curves of degrees at most $15$ in $\mathbb{P}^5$Comments: 33 pagesSubjects: Algebraic Geometry (math.AG)
Denoting $\mathcal{H}_{d,g,5}$ by the Hilbert scheme of smooth curves of degree $d$ and genus $g$ in $\mathbb{P}^5$, let $\mathcal{H}$ be an irreducible component of $\mathcal{H}_{d,g,5}$. We study the Hilbert function $h_X:\mathbb{N}\longrightarrow\mathbb{N}$, $h_X(t):= h^0(\mathcal{I}_X(t))$ of a general member $X\in\mathcal{H}$, especially when the degree of the curve is low; $d\le 15$. We also determine the irreducibility of $\mathcal{H}_{d,g,5}$ for $d\le 14$ and study the natural functorial map $\mu :$\mathcal{H}_{d,g,5}$ \longrightarrow \mathcal{M}_g$ in some detail. We describe the fibre $\mu^{-1}\mu(X)$ for a general $X\in\mathcal{H} $ as well as determining the projective normality (or being ACM).
- [9] arXiv:2507.16566 [pdf, html, other]
-
Title: On the uniform positivity of $F$-signature under reduction modulo $p$Comments: 36 pagesSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
Carvajal-Rojas, Schwede and Tucker asked whether the mod $p$ reductions of a complex klt type singularity have uniformly positive $F$-signature for almost all primes $p$. In this paper, we give an affirmative answer to this conjecture in the case of pure subrings of regular local rings--for example, reductive quotient singularities. We also show that the conjecture can be reduced to the Gorenstein case. Finally, we discuss the connection with $F$-alpha invariants--a characteristic $p$ analog of Tian's alpha invariants introduced by Pande--for log Fano pairs.
- [10] arXiv:2507.16705 [pdf, html, other]
-
Title: Testing the variety hypothesisSubjects: Algebraic Geometry (math.AG); Metric Geometry (math.MG); Statistics Theory (math.ST); Machine Learning (stat.ML)
Given a probability measure on the unit disk, we study the problem of deciding whether, for some threshold probability, this measure is supported near a real algebraic variety of given dimension and bounded degree. We call this "testing the variety hypothesis". We prove an upper bound on the so-called "sample complexity" of this problem and show how it can be reduced to a semialgebraic decision problem. This is done by studying in a quantitative way the Hausdorff geometry of the space of real algebraic varieties of a given dimension and degree.
- [11] arXiv:2507.16755 [pdf, html, other]
-
Title: The GameTheory package for Macaulay2Erin Connelly, Vincenzo Galgano, Zhuang He, Giacomo Maletto, Elke Neuhaus, Irem Portakal, Hannah Tillmann-Morris, Chenyang ZhaoComments: 12 pages, 1 figureSubjects: Algebraic Geometry (math.AG)
We describe the GameTheory package version 1.0 for computing equilibria in game theory available since version 1.25.05 of Macaulay2. We briefly explain the four equilibrium notions, Nash, correlated, dependency, and conditional independence, and demonstrate their implementation in the package with examples.
- [12] arXiv:2507.16785 [pdf, html, other]
-
Title: The ranks of twists of an elliptic curve in characteristic $3$Subjects: Algebraic Geometry (math.AG)
Starting from the elliptic curve $E: y^2 = x^3 - x$ over $\mathbb{F}_9$, a curve $\mathcal{X}$ over $\mathbb{F}_{3^{2n}}$ and a cyclic cover of $\mathcal{X}$ of degree $m \in \{2,3,4,6\}$, we construct the corresponding $m$-twists over the function field $\mathbb{F}_{3^{2n}}(\mathcal{X})$. We also obtain the Mordell-Weil rank of these twists in terms of the Zeta functions of $\mathcal{X}$ and of suitable Kummer and Artin-Schreier extensions of it. Finally, we also describe the fibers of the elliptic fibration associated to such twists in the case $\mathcal{X} = \mathbb{P}^1$.
New submissions (showing 12 of 12 entries)
- [13] arXiv:2507.16667 (cross-list from math.RT) [pdf, other]
-
Title: Endoscopy for metaplectic affine Hecke categoriesComments: 131 pagesSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
For a possibly twisted loop group $LG$, and any character sheaf of its Iwahori subgroup, we identify the associated affine Hecke category with a combinatorial category of Soergel bimodules. In fact, we prove such results for affine Hecke categories arising from central extensions of the loop group $LG$. Our results work for mod $\ell$ or integral $\ell$-adic coefficients.
As applications, we obtain endoscopic equivalences between affine Hecke categories, including the derived Satake equivalence for metaplectic groups, and a series of conjectures by Gaitsgory in quantum geometric Langlands.
Cross submissions (showing 1 of 1 entries)
- [14] arXiv:2007.00994 (replaced) [pdf, html, other]
-
Title: Indecomposability of derived categories in familiesComments: 20 pages, accepted versionSubjects: Algebraic Geometry (math.AG)
Using the moduli space of semiorthogonal decompositions in a smooth projective family introduced by the second, the third and the fourth author, we discuss indecomposability results for derived categories in families. In particular, we prove that given a smooth projective family of varieties, if the derived category of the general fibre does not admit a semiorthogonal decomposition, the same happens for every fibre of the family. As a consequence, we deduce that in a smooth family of complex projective varieties, if there exists a fibre such that the base locus of its canonical linear series is either empty or finite, then any fibre of the family has indecomposable derived category.
Then we apply our results to achieve indecomposability of the derived categories of various explicit classes of varieties, as e.g. $n$-fold symmetric products of curves (with $0<n<\lfloor (g+3)/2 \rfloor$), Horikawa surfaces, an interesting class of double covers of the projective plane introduced by Ciliberto, and Hilbert schemes of points on these two classes of surfaces. - [15] arXiv:2305.13228 (replaced) [pdf, other]
-
Title: On the descent conjecture for rational points and zero-cyclesComments: 46 pages, fixed a gap in the proof of Proposition 3.6, using Propositions 2.10 and 2.11Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
The descent method is one of the approaches to study the Brauer--Manin obstruction to the local--global principle and to weak approximation on varieties over number fields, by reducing the problem to ``descent varieties''. In recent lecture notes by Wittenberg, he formulated a ``descent conjecture'' for torsors under linear algebraic groups. The present article gives a proof of this conjecture in the case of connected groups, generalizing the toric case from the previous work of Harpaz--Wittenberg. As an application, we deduce directly from Sansuc's work the theorem of Borovoi for homogeneous spaces of connected linear algebraic groups with connected stabilizers. We are also able to reduce the general case to the case of finite (étale) torsors. When the set of rational points is replaced by the Chow group of zero-cycles, an analogue of the above conjecture for arbitrary linear algebraic groups is proved.
- [16] arXiv:2309.09489 (replaced) [pdf, html, other]
-
Title: Positivity of tangent sheaves of projective varieties -- the structure of MRC fibrationsComments: v2: 40 pages; Minor revision, to appear in Algebraic Geometry. Theorem 1.4 (2) and Theorem 6.2 (5) in the previous version were removed. v1: 39 pages; comments are welcomeSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV); Differential Geometry (math.DG)
In this paper, we extend the structure theorem for smooth projective varieties with nef tangent bundle to projective klt varieties whose tangent sheaf is either positively curved or almost nef. Specifically, we show that such a variety $X$, up to a finite quasi-étale cover, admits a rationally connected fibration $X \to A$ onto an abelian variety $A$. For the proof, we develop the theory of positivity of coherent sheaves on projective varieties. As applications, we establish some relations between the geometric properties and positivity of tangent sheaves.
- [17] arXiv:2407.10082 (replaced) [pdf, html, other]
-
Title: On the blow-up formula of weighted stability for polarized toric manifoldsComments: (1) We have extended our approach to study blow-up formulas for weighted (Chow/K-) stability using our combinatorial framework. (2) The title has been slightly changed to reflect the generalization described in (1)Subjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG); Symplectic Geometry (math.SG)
Let $X$ be a smooth projective toric variety, and let $\widetilde{X}$ denote the blow-up of $X$ at finitely many distinct tours-invariant points. This paper provides an explicit combinatorial formula for the Chow weight of $\widetilde{X}$ in terms of the base toric manifold $X$ and the symplectic cuts of its associated Delzant polytope. We apply this blow-up formula to the projective plane and compare Chow stability of toric blow-ups with that of blow-ups at general points. Furthermore, we derive the blow-up formula of the Futaki-Ono invariant, which serves an obstruction to asymptotic Chow semistability of a polarized toric manifold. In the final section, we extend our approach to study blow-up formulas for weighted (Chow/K-) stability using our combinatorial framework.
- [18] arXiv:2408.07809 (replaced) [pdf, other]
-
Title: The Rank of the Normal Functions of the Ceresa and Gross--Schoen CyclesComments: 47 pages; final version --- minor changes from previous this http URL appear in Forum Math SigmaSubjects: Algebraic Geometry (math.AG)
The main result is that when the genus is at least 3, the rank of the normal function function of the Ceresa cycle over the moduli space of curves has maximal rank. This result was proved independently by Z. Gao and S.-W. Zhang (arXiv:2407.01304) by different methods. In genus 3 we show that the Green--Griffiths invariant of this normal function is a Teichmuller modular form of weight (4,0,-1) and use this to show that the rank of the Ceresa normal function is exactly 1 along the hyperelliptic locus.
- [19] arXiv:2409.09142 (replaced) [pdf, html, other]
-
Title: Abundance and SYZ conjecture in families of hyperkahler manifoldsComments: 25 pages, 2 figures, version 2.0, to appear in EpigaSubjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG)
Let $L$ be a holomorphic line bundle on a hyperkahler manifold $M$, with $c_1(L)$ nef and not big. SYZ conjecture predicts that $L$ is semiample. We prove that this is true, assuming that $(M,L)$ has a deformation $(M',L')$ with $L'$ semiample. We introduce a version of the Teichmuller space that parametrizes pairs $(M,L)$ up to isotopy. We prove a version of the global Torelli theorem for such Teichmuller spaces and use it to deduce the deformation invariance of semiampleness.
- [20] arXiv:2506.03745 (replaced) [pdf, other]
-
Title: Real Toric Varieties: Interactions between their Geometry and their TopologyJules Chenal (LPP), Matilde ManzaroliSubjects: Algebraic Geometry (math.AG)
In the present article, we investigate the topology of real toric varieties, especially those whose torus is not split over the field of real numbers. We describe some canonical fibrations associated to their real loci. Then, we establish various properties of their cohomology provided that their real loci are compact and smooth. For instance, we compute their Betti numbers, show that their cohomology is totally algebraic, and extend a criterion of orientability. In addition, we provide the topological classification of equivariant embeddings of non-split tridimensional tori.
- [21] arXiv:2506.14060 (replaced) [pdf, other]
-
Title: Linear Geometry and AlgebraComments: 45 chapters, 802 pagesSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Group Theory (math.GR); Rings and Algebras (math.RA)
Linear Geometry studies geometric properties which can be expressed via the notion of a line. All information about lines is encoded in a ternary relation called a line relation. A set endowed with a line relation is called a liner. So, Linear Geometry studies liners. Imposing some additional axioms on a liner, we obtain some special classes of liners: regular, projective, affine, proaffine, etc. Linear Geometry includes Affine and Projective Geometries and is a part of Incidence Geometry. The aim of this book is to present a self-contained logical development of Linear Geometry, starting with some intuitive acceptable geometric axioms and ending with algebraic structures that necessarily arise from studying the structure of geometric objects that satisfy those simple and intuitive geometric axioms. We shall meet many quite exotic algebraic structures that arise this way: magmas, loops, ternars, quasi-fields, alternative rings, procorps, profields, etc. We strongly prefer (synthetic) geometric proofs and use tools of analytic geometry only when no purely geometric proof is available. Liner Geometry has been developed by many great mathematicians since times of Antiquity (Thales, Euclides, Proclus, Pappus), through Renaissance (Descartes, Desargues), Early Modernity (Playfair, Gauss, Lobachevski, Bolyai, Poncelet, Steiner, Möbius), Late Modernity Times (Steinitz, Klein, Hilbert, Moufang, Hessenberg, Jordan, Beltrami, Fano, Gallucci, Veblen, Wedderburn, Lenz, Barlotti) till our contempories (Hartshorne, Hall, Buekenhout, Gleason, Kantor, Doyen, Hubault, Dembowski, Klingenberg, Grundhöfer).
- [22] arXiv:2507.09821 (replaced) [pdf, html, other]
-
Title: On direct summands of products of Jacobians over arbitrary fieldsComments: We now assume that k is perfect in Theorem 2.5, and hence also in parts (4)-(4') of Theorem 1.2. 22 pagesSubjects: Algebraic Geometry (math.AG)
We show that a principally polarized abelian variety over a field $k$ is, as an abelian variety, a direct summand of a product of Jacobians of curves which contain a $k$-point if and only if the polarization and the minimal class are both algebraic over $k$. This extends results of Beckmann--de Gaay Fortman and Voisin over the complex numbers to arbitrary fields, and refines an obstruction to the direct summand property over $\mathbb{Q}$ due to Petrov--Skorobogatov. We also give applications to the integral Tate conjecture for divisors and for $1$-cycles on abelian varieties over finitely generated fields; our results also address a $p$-adic version of the integral Tate conjecture over finite fields of characteristic $p$, for the first time beyond the case of divisors.
- [23] arXiv:1801.00311 (replaced) [pdf, html, other]
-
Title: Igor Rostislavovich Shafarevich: in MemoriamComments: 19 pages, 56 items of bibliography. Small linguistic and editorial changesSubjects: History and Overview (math.HO); Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Group Theory (math.GR); Number Theory (math.NT)
The prominent Russian mathematician Igor Rostislavovich Shafarevich passed away on February 19, 2017. In this article we supply his biography, discuss his many important contributions to number theory, algebra and algebraic geometry, and also discuss his political activity and some of his numerous publications on social issues.
- [24] arXiv:2403.00392 (replaced) [pdf, html, other]
-
Title: Irreducible components of sets of points in the plane that satisfy distance conditionsSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG); Metric Geometry (math.MG)
For a given graph whose edges are labeled with general real numbers, we consider the set of functions from the vertex set into the Euclidean plane such that the distance between the images of neighbouring vertices is equal to the corresponding edge label. This set of functions can be expressed as the zero set of quadratic polynomials and our main result characterizes the number of complex irreducible components of this zero set in terms of combinatorial properties of the graph. In case the complex components are three-dimensional, then the graph is minimally rigid and the component number is a well-known invariant from rigidity theory. If the components are four-dimensional, then they correspond to one-dimensional coupler curves of flexible planar mechanisms. As an application, we characterize the degree of irreducible components of such coupler curves combinatorially.
- [25] arXiv:2503.10517 (replaced) [pdf, html, other]
-
Title: Analytic diffeomorphisms of the circle and topological Riemann-Roch theorem for circle fibrationsComments: 53 pages; v3: references added; v4: minor changes; to appear in Proc. Steklov Inst. Math. vol. 330 (2025)Subjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG); Functional Analysis (math.FA); Representation Theory (math.RT)
We consider the group $\mathcal G$ which is the semidirect product of the group of analytic functions with values in ${\mathbb C}^*$ on the circle and the group of analytic diffeomorphisms of the circle that preserve the orientation. Then we construct the central extensions of the group $\mathcal G$ by the group ${\mathbb C}^*$. The first central extension, so-called the determinant central extension, is constructed by means of determinants of linear operators acting in infinite-dimensional locally convex topological $\mathbb C$-vector spaces. Other central extensions are constructed by $\cup$-products of group $1$-cocycles with the application to them the map related with algebraic $K$-theory. We prove in the second cohomology group, i.e. modulo of a group $2$-coboundary, the equality of the $12$th power of the $2$-cocycle constructed by the first central extension and the product of integer powers of the $2$-cocycles constructed above by means of $\cup$-products (in multiplicative notation). As an application of this result we obtain the new topological Riemann-Roch theorem for a complex line bundle $L$ on a smooth manifold $M$, where $\pi :M \to B$ is a fibration in oriented circles. More precisely, we prove that in the group $H^3(B, {\mathbb Z})$ the element $12 \, [ {\mathcal Det} (L)]$ is equal to the element $6 \, \pi_* ( c_1(L) \cup c_1(L))$, where $[{\mathcal Det} (L)]$ is the class of the determinant gerbe on $B$ constructed by $L$ and the determinant central extension.