Ample bodies and Terracini loci of projective varieties
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.
arXiv subjects
Publications and source records attributed to Alex Massarenti.
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.
Let $X_4\subset\mathbb{P}^{n+1}$ be a quartic hypersurface of dimension $n\geq 4$ over an infinite field $k$. We show that if either $X_4$ contains a linear subspace $Λ$ of dimension $h\geq \max\{2,\dim(Λ\cap \text{Sing}(X_4))-2\}$ or has double points along a linear subspace of dimension $h\geq 3$, a smooth $k$-rational point and is otherwise general, then $X_4$ is unirational over $k$. This improves previous results by A. Predonzan and J. Harris, B. Mazur, R. Pandharipande for quartics. We also provide a density result for the $k$-rational points of quartic $3$-folds with a double plane over a number field, and several unirationality results for quintic hypersurfaces over a $C_r$ field.
We prove that a general $n$-fold quadric bundle $\mathcal{Q}^{n-1}\rightarrow\mathbb{P}^{1}$, over a number field, with $(-K_{\mathcal{Q}^{n-1}})^n > 0$ and discriminant of odd degree $δ_{\mathcal{Q}^{n-1}}$ is unirational, and that the same holds for quadric bundles over an arbitrary infinite field provided that $\mathcal{Q}^{n-1}$ has a point, is otherwise general and $n\leq 5$. As a consequence we get the unirationality of a general $n$-fold quadric bundle $\mathcal{Q}^{h}\rightarrow\mathbb{P}^{n-h}$ with discriminant of odd degree $δ_{\mathcal{Q}^{h}}\leq 3h+4$, and of any smooth $4$-fold quadric bundle $\mathcal{Q}^{2}\rightarrow\mathbb{P}^{2}$, over an algebraically closed field, with $δ_{\mathcal{Q}^{2}}\leq 12$.
We construct wonderful compactifications of the spaces of linear maps, and symmetric linear maps of a given rank as blow-ups of secant varieties of Segre and Veronese varieties. Furthermore, we investigate their birational geometry and their relations with some spaces of degree two stable maps.
A point $p\in\mathbb{P}^N$ of a projective space is $h$-identifiable, with respect to a variety $X\subset\mathbb{P}^N$, if it can be written as linear combination of $h$ elements of $X$ in a unique way. Identifiability is implied by conditions on the contact locus in $X$ of general linear spaces called non weak defectiveness and non tangential weak defectiveness. We give conditions ensuring non tangential weak defectiveness of an irreducible and non-degenerated projective variety $X\subset\mathbb{P}^N$, and we apply these results to Segre-Veronese varieties.
A wonderful compactification of an orbit under the action of a semi-simple and simply connected group is a smooth projective variety containing the orbit as a dense open subset, and where the added boundary divisor is simple normal crossing. We construct the wonderful compactification of the space of symmetric and symplectic matrices, and investigate its geometry. As an application, we describe the birational geometry of the Kontsevich spaces parametrizing conics in Lagrangian Grassmannians.
We give algorithms to compute decompositions of a given polynomial, or more generally mixed tensor, as sum of rank one tensors, and to establish whether such a decomposition is unique. In particular, we present methods to compute the decomposition of a general plane quintic in seven powers, and of a general space cubic in five powers; the two decompositions of a general plane sextic of rank nine, and the five decompositions of a general plane septic. Furthermore, we give Magma implementations of all our algorithms.
In this paper we study the geometry of GIT configurations of $n$ ordered points on $\mathbb{P}^1$ both from the the birational and the biregular viewpoint. In particular, we prove that any extremal ray of the Mori cone of effective curves of the quotient $(\mathbb{P}^1)^n//PGL(2)$, taken with the symmetric polarization, is generated by a one dimensional boundary stratum of the moduli space. Furthermore, we develop some technical machinery that we use to compute the canonical divisor and the Hilbert polynomial of $(\mathbb{P}^1)^n//PGL(2)$ in its natural embedding, and its group of automorphisms.
We give an almost asymptotically sharp bound for the non secant defectiveness and identifiability of Segre-Veronese varieties. We also provide new examples of defective Segre-Veronese varieties.
This is an expository article written for the Notices of the AMS in which we discuss the weak Lefschetz Principle in birational geometry. Our departing point is the influential work of Solomon Lefschetz started in 1924. Indeed, we look at the original formulation of the Lefschetz hyperplane theorem in algebraic topology and build up to recent developments of it in birational geometry. In doing so, the main theme of the article is the following: there are many scenarios in geometry in which analogous versions of the Lefschetz hyperplane theorem hold. These scenarios are somewhat unexpected and have had a profound impact in mathematics.
We investigate the secant dimensions and the identifiablity of flag varieties parametrizing flag of sub vector spaces of a fixed vector space. We give numerical conditions ensuring that secant varieties of flag varieties have the expected dimension, and that a general point on these secant varieties is identifiable.
Moduli spaces of complete skew-forms are compactifications of spaces of skew-symmetric linear maps of maximal rank on a fixed vector space, where the added boundary divisor is simple normal crossing. In this paper we compute their effective, nef and movable cones, the generators of their Cox rings, and for those spaces having Picard rank two we give an explicit presentation of the Cox ring. Furthermore, we give a complete description of both the Mori chamber and stable base locus decompositions of the effective cone of some spaces of complete skew-forms having Picard rank at most four.
The effective cone of a Mori dream space admits two wall-and-chamber decompositions called Mori chamber and stable base locus decompositions. In general the former is a non trivial refinement of the latter. We investigate, from both the geometrical and the combinatorial viewpoints, the differences between these decompositions. Furthermore, we provide a criterion to establish whether the two decompositions coincide for a Mori dream space of Picard rank two, and we construct an explicit example of a Mori dream space of Picard rank two for which the decompositions are different, showing that our criterion is sharp. Finally, we classify the smooth toric 3-folds of Picard rank three for which the two decompositions are different.
Inspired by the Weak Lefschetz Principle, we study when a smooth projective variety fully determines the birational geometry of some of its subvarieties. In particular, we consider the natural embedding of the space of complete quadrics into the space of complete collineations and we observe that their birational geometry, from the point of view of Mori theory, fully determines each other. When two varieties are related in this way, we call them birational twins. We explore this notion and its various flavors for other embeddings between Mori dream spaces.
Fix $n\geq 5$ general points $p_1, \dots, p_n\in\mathbb{P}^1$, and a weight vector $\mathcal{A} = (a_{1}, \dots, a_{n})$ of real numbers $0 \leq a_{i} \leq 1$. Consider the moduli space $\mathcal{M}_{\mathcal{A}}$ parametrizing rank two parabolic vector bundles with trivial determinant on $\big(\mathbb{P}^1, p_1,\dots , p_n\big)$ which are semistable with respect to $\mathcal{A}$. Under some conditions on the weights, we determine and give a modular interpretation for the automorphism group of the moduli space $\mathcal{M}_{\mathcal{A}}$. It is isomorphic to $\left(\frac{\mathbb{Z}}{2\mathbb{Z}}\right)^{k}$ for some $k\in \{0,\dots, n-1\}$, and is generated by admissible elementary transformations of parabolic vector bundles. The largest of these automorphism groups, with $k=n-1$, occurs for the central weight $\mathcal{A}_{F}= \left(\frac{1}{2},\dots,\frac{1}{2}\right)$. The corresponding moduli space ${\mathcal M}_{\mathcal{A}_F}$ is a Fano variety of dimension $n-3$, which is smooth if $n$ is odd, and has isolated singularities if $n$ is even.
We study the projective behavior, mainly with respect to osculating spaces and secant varieties, of Lagrangian Grassmannians and Spinor varieties. We prove that these varieties have osculating dimension smaller than expected. Furthermore, we give numerical conditions ensuring the non secant defectivity of Lagrangian Grassmannians in their Plücker embedding and of Spinor varieties in both their Plücker and Spinor embeddings.
Comon's conjecture on the equality of the rank and the symmetric rank of a symmetric tensor, and Strassen's conjecture on the additivity of the rank of tensors are two of the most challenging and guiding problems in the area of tensor decomposition. We survey the main known results on these conjectures, and, under suitable bounds on the rank, we prove them, building on classical techniques used in the case of symmetric tensors, for mixed tensors. Finally, we improve the bound for Comon's conjecture given by flattenings by producing new equations for secant varieties of Veronese and Segre varieties.
Moduli spaces of complete collineations are wonderful compactifications of spaces of linear maps of maximal rank between two fixed vector spaces. We investigate the birational geometry of moduli spaces of complete collineations and quadrics from the point of view of Mori theory. We compute their effective, nef and movable cones, the generators of their Cox rings, and their groups of pseudo-automorphisms. Furthermore, we give a complete description of both the Mori chamber and stable base locus decompositions of the effective cone of the space of complete collineations of the 3-dimensional projective space.