Ample bodies and Terracini loci of projective varieties

Antonio Laface,Alex Massarenti

DOI: https://doi.org/10.1112/blms.12940

2023-04-15

Abstract:We introduce the notion of ample body of a projective variety and use it to prove emptiness results for Terracini loci and specific identifiability results for toric and homogeneous varieties.

Algebraic Geometry

What problem does this paper attempt to address?

On the Terracini locus of projective varieties

Edoardo Ballico,Luca Chiantini

DOI: https://doi.org/10.48550/arXiv.2011.13189

2020-11-26

Abstract:We introduce and study properties of the Terracini locus of projective varieties X, which is the locus of finite subsets S of X such that 2S fails to impose independent conditions to a linear system L. Terracini loci are relevant in the study of interpolation problems over double points in special position, but they also enter naturally in the study of special loci contained in secant varieties to projective varieties. We find some criteria which exclude that a set S belongs to the Terracini locus. Furthermore, in the case where X is a Veronese variety, we bound the dimension of the Terracini locus and we determine examples in which the locus has codimension 1 in the symmetric product of X.

Algebraic Geometry
Geometry of first nonempty Terracini loci

Francesco Galuppi,Pierpaola Santarsiero,Douglas A. Torrance,Ettore Teixeira Turatti

2023-11-16

Abstract:After a few results on curves, we characterize the smallest nonempty Terracini loci of Veronese and Segre-Veronese varieties. For del Pezzo surfaces, we give a full description of the Terracini loci. Moreover, we present an algorithm to explicitly compute the Terracini loci of a given variety.

Algebraic Geometry
Terracini loci of curves

Edoardo Ballico,Luca Chiantini

2023-05-03

Abstract:We study subsets S of curves X whose double structure does not impose independent conditions to a linear series L, but there are divisors D in |L| singular at all points of S. These subsets form the Terracini loci of X. We investigate Terracini loci, with a special look towards their non-emptiness, mainly in the case of canonical curves, and in the case of space curves.

Algebraic Geometry
On the extendability of projective varieties: a survey

Angelo Felice Lopez

2023-12-06

Abstract:We give a survey of the incredibly beautiful amount of geometry involved with the problem of realizing a projective variety as hyperplane section of another variety.

Algebraic Geometry
Minimal Terracini loci in projective spaces

Edoardo Ballico,Maria Chiara Brambilla

2024-05-13

Abstract:We characterize the number of points for which there exist non-empty Terracini sets of points in $\mathbb{P}^n$. Then we study minimally Terracini finite sets of points in $\mathbb{P}^n$ and we obtain a complete description in the case of $\mathbb{P}^3$, when the number of points is less than twice the degree of the linear system.

Algebraic Geometry,Commutative Algebra
Projectivity of the moduli of equidimensional branchvarieties

Daniel Halpern-Leistner,Andres Fernandez Herrero,Trevor Jones,Ritvik Ramkumar

2024-10-15

Abstract:We resolve an open problem posed by Alexeev-Knutson on the projectivity of the moduli of branchvarieties in the equidimensional case. As an application, we construct projective moduli spaces of reduced equidimensional varieties equipped with ample linear series and subject to a semistability condition.

Algebraic Geometry
Convex bodies and algebraic equations on affine varieties

Kiumars Kaveh,Askold G. Khovanskii

DOI: https://doi.org/10.48550/arXiv.0804.4095

2008-04-25

Abstract:Given an affine variety X and a finite dimensional vector space of regular functions L on X, we associate a convex body to (X, L) such that its volume is responsible for the number of solutions of a generic system of functions from L. This is a far reaching generalization of usual theory of Newton polytopes (which is concerned with toric varieties). As applications we give new, simple and transparent proofs of some well-known theorems in both algebraic geometry (e.g. Hodge Index Theorem) and convex geometry (e.g. Alexandrov-Fenchel inequality). Our main tools are classical Hilbert theory on degree of subvarieties of a projective space (in algebraic geometry) and Brunn-Minkowski inequality (in convex geometric).

Algebraic Geometry
Projective spaces in Fermat varieties

Alex Degtyarev

DOI: https://doi.org/10.48550/arXiv.1512.06199

2015-12-19

Algebraic Geometry

Abstract:We give a brief systematic overview of a few results concerning the N\'eron--Severi lattices of Fermat varieties and Delsarte surfaces.
Minimal Terracini loci in the plane: gaps and non-gaps

Edoardo Ballico,Maria Chiara Brambilla

2024-08-08

Abstract:We study minimally Terracini finite sets of points in the projective plane and we prove that the sequence of the cardinalities of minimally Terracini sets can have any number of gaps for degree great enough.

Algebraic Geometry
Ample canonical heights for endomorphisms on projective varieties

Takahiro SHIBATA

DOI: https://doi.org/10.2969/jmsj/79157915

2019-04-01

Journal of the Mathematical Society of Japan

Abstract:We define an “ample canonical height” for an endomorphism on a projective variety, which is essentially a generalization of the canonical heights for polarized endomorphisms introduced by Call–Silverman. We formulate a dynamical analogue of the Northcott finiteness theorem for ample canonical heights as a conjecture, and prove it for endomorphisms on varieties of small Picard numbers, abelian varieties, and surfaces. As applications, for the endomorphisms which satisfy the conjecture, we show the non-density of the set of preperiodic points over a fixed number field, and obtain a dynamical Mordell–Lang type result on the intersection of two Zariski dense orbits of two endomorphisms on a common variety.

mathematics
Cactus varieties of sufficiently ample embeddings of projective schemes have determinantal equations

Weronika Buczyńska,Jarosław Buczyński,Łucja Farnik

2024-12-01

Abstract:For a fixed projective scheme X, a property P of line bundles is satisfied by sufficiently ample line bundles if there exists a line bundle L_0 on X such that P(L) holds for any L with (L - L_0) ample. As an example, sufficiently ample line bundles are very ample, moreover, for a normal variety X, the embedding corresponding to sufficiently ample line bundle is projectively normal. The grandfather of such properties and a basic ingredient used to study this concept is Fujita vanishing theorem, which is a strengthening of Serre vanishing to sufficiently ample line bundles. The r-th cactus variety of X is an analogue of secant variety and it is defined using linear spans of finite schemes of degree r. In this article we show that cactus varieties of sufficiently ample embeddings of X are set-theoretically defined by minors of matrices with linear entries. The topic is closely related to conjectures of Eisenbud-Koh-Stillman, which was proved by Ginensky in the case X a smooth curve. On the other hand Sidman-Smith proved that the ideal of sufficiently ample embedding of any projective scheme X is generated by 2 x 2 minors of a matrix with linear entries.

Algebraic Geometry
Algebraic Geometry Fall 2013

Eduard Looijenga

2013-01-01

Abstract:This is a survey paper about moduli spaces that have a natural structure of a (possibly incomplete) locally symmetric variety. We outline the Baily-Borel compactification for such varieties and compare it with the compactifications furnished by techniques in algebraic geometry. These differ in general, but we show that a reconciliation is possible by means of a generalization of the Baily-Borel technique for a class of incomplete locally symmetric varieties. The emphasis is here on moduli spaces of varieties other than that of polarized
Projectivity of good moduli spaces of vector bundles on stacky curves

Chiara Damiolini,Victoria Hoskins,Svetlana Makarova,Lisanne Taams

2024-07-05

Abstract:Moduli of vector bundles on stacky curves behave similarly to moduli of vector bundles on curves, except there are additional numerical invariants giving many different notions of stability. We apply the existence criterion for good moduli spaces of stacks to show that the moduli stack of semistable vector bundles on a stacky curve has a proper good moduli space. We moduli-theoretically prove that a natural determinantal line bundle on this moduli space is ample, thus proving this moduli space is projective. Our methods give effective bounds for when a power of this line bundle is basepoint-free. As a special case, we obtain new and effective constructions of moduli spaces of parabolic bundles.

Algebraic Geometry
Sumsets and Projective Curves

J. Elias

DOI: https://doi.org/10.1007/s00009-022-02108-0

2022-06-26

Mediterranean Journal of Mathematics

Abstract:The aim of this note is to exploit a new relationship between additive combinatorics and the geometry of monomial projective curves. We associate to a finite set of non-negative integers a monomial projective curve such that the Hilbert function of and the cardinalities of agree. The singularities of determines the asymptotic behaviour of | sA |, equivalently the Hilbert polynomial of , and the asymptotic structure of sA . We show that some additive inverse problems can be translate to the rigidity of Hilbert polynomials and we improve an upper bound of the Castelnuovo-Mumford regularity of monomial projective curves by using results of additive combinatorics.

mathematics, applied
A view on extending morphisms from ample divisors

Mauro C. Beltrametti,Paltin Ionescu

DOI: https://doi.org/10.48550/arXiv.0907.2338

2009-07-14

Abstract:The philosophy that ``a projective manifold is more special than any of its smooth hyperplane sections" was one of the classical principles of projective geometry. Lefschetz type results and related vanishing theorems were among the typically used techniques. We shall survey most of the problems, results and conjectures in this area, using the modern setting of ample divisors, and (some aspects of) Mori theory.

Algebraic Geometry
The Degeneracy Loci for Smooth Moduli of Sheaves

Yu Zhao

2024-08-26

Abstract:Let S be a smooth projective surface over $\mathbb{C}$. We prove that, under certain technical assumptions, the degeneracy locus of the universal sheaf over the moduli space of stable sheaves is either empty or an irreducible Cohen-Macaulay variety of the expected dimension. We also provide a criterion for when the degeneracy locus is non-empty. This result generalizes the work of Bayer, Chen, and Jiang for the Hilbert scheme of points on surfaces. The above result is a special case of a general phenomenon: for a perfect complex of Tor-amplitude [0,1], the geometry of the degeneracy locus is closely related to the geometry of the derived Grassmannian. We analyze their birational geometry and relate it to the incidence varieties of derived Grassmannians. As a corollary, we prove a statement previously claimed by the author in <a class="link-https" data-arxiv-id="2408.06860" href="https://arxiv.org/abs/2408.06860">arXiv:2408.06860</a>.

Algebraic Geometry
Geometry and moduli of polarised varieties

Caucher Birkar

2020-01-01

Abstract:In this paper we investigate the geometry of projective varieties polarised by ample and more generally nef and big Weil divisors. First we study birational boundedness of linear systems. We show that if $X$ is a projective variety of dimension $d$ with $\epsilon$-lc singularities for $\epsilon>0$, and if $N$ is a nef and big Weil divisor on $X$ such that $N-K_X$ is pseudo-effective, then the linear system $|mN|$ defines a birational map for some natural number $m$ depending only on $d,\epsilon$. This is key to proving various other results. For example, it implies that if $N$ is a big Weil divisor (not necessarily nef) on a klt Calabi-Yau variety of dimension $d$, then the linear system $|mN|$ defines a birational map for some natural number $m$ depending only on $d$. It also gives new proofs of some known results, for example, if $X$ is an $\epsilon$-lc Fano variety of dimension $d$ then taking $N=-K_X$ we recover birationality of $|-mK_X|$ for bounded $m$. We prove similar birational boundedness results for nef and big Weil divisors $N$ on projective klt varieties $X$ when both $K_X$ and $N-K_X$ are pseudo-effective (here $X$ is not assumed $\epsilon$-lc). Using the above we show boundedness of polarised varieties under some natural conditions. We extend these to boundedness of semi-log canonical Calabi-Yau pairs polarised by effective ample Weil divisors not containing lc centres. Combining this with the moduli theory of stable pairs we show that polarised Calabi-Yau pairs and polarised Fano pairs admit projective coarse moduli spaces.
Numerical and enumerative results on Okounkov bodies

Piotr Pokora

DOI: https://doi.org/10.9734/BJMCS/2015/17733

2015-05-12

Abstract:In this note we focus on three independent problems on Okounkov bodies for projective varieties. The main goal is to present a geometric version of the classical Fujita Approximation Theorem, a Jow-type theorem and a cardinality formulae for Minkowski bases on a certain class of smooth projective surfaces.

Algebraic Geometry
Quasidenseness in and Projective Parallelotopes

A. E. Gutman,I. A. Emelianenkov

DOI: https://doi.org/10.1134/s0037446624020034

2024-03-27

Siberian Mathematical Journal

Abstract:We establish two new criteria for the closedness of Archimedean cones in countable-dimensional locally convex spaces in terms of projective parallelotopes and projective automorphisms. We also answer some open questions about quasidenseness and quasi-interior.

mathematics
Characterization of projective spaces and $\mathbb P^r$-bundles as ample divisors

Jie Liu

DOI: https://doi.org/10.1017/nmj.2017.31

2017-10-11

Abstract:Let $X$ be a projective manifold of dimension $n$. Suppose that $T_X$ contains an ample subsheaf. We show that $X$ is isomorphic to $\mathbb{P}^n$. As an application, we derive the classification of projective manifolds containing a $\mathbb{P}^r$-bundle as an ample divisor by the recent work of D.~Litt.

Algebraic Geometry

Ample bodies and Terracini loci of projective varieties

On the Terracini locus of projective varieties

Geometry of first nonempty Terracini loci

Terracini loci of curves

On the extendability of projective varieties: a survey

Minimal Terracini loci in projective spaces

Projectivity of the moduli of equidimensional branchvarieties

Convex bodies and algebraic equations on affine varieties

Projective spaces in Fermat varieties

Minimal Terracini loci in the plane: gaps and non-gaps

Ample canonical heights for endomorphisms on projective varieties

Cactus varieties of sufficiently ample embeddings of projective schemes have determinantal equations

Algebraic Geometry Fall 2013

Projectivity of good moduli spaces of vector bundles on stacky curves

Sumsets and Projective Curves

A view on extending morphisms from ample divisors

The Degeneracy Loci for Smooth Moduli of Sheaves

Geometry and moduli of polarised varieties

Numerical and enumerative results on Okounkov bodies

Quasidenseness in and Projective Parallelotopes

Characterization of projective spaces and $\mathbb P^r$-bundles as ample divisors