Searcharxiv⌕ Search

arXiv subjects

Elisa Postinghel

Publications and source records attributed to Elisa Postinghel.

At least 19 recordsLinked to original sources
arXiv2024

Bilinear secants and birational geometry of blowups of $\mathbb P^n \times \mathbb P^{n+1}$

We introduce bilinear secant varieties and joins of subvarieties of products of projective spaces, as a generalisation of the classical secant varieties and joins of projective varieties. We show that the bilinear secant varieties of certain rational normal curves of $\mathbb P^n \times \mathbb P^{n+1}$ play a central role in the study of the birational geometry of $X^{n,n+1}_s$, its blowup in $s$ points in general position. We show that $X^{n,n+1}_s$ is log Fano, and we compute its effective and movable cones, for $s\le n+2$ and $n\ge 1$ and for $s\le n+3$ and $n\le 2$, and we compute the effective and movable cones of $X^{3,4}_6$.

math.AG↗
arXiv2024

Birational geometry of blowups via Weyl chamber decompositions and actions on curves

We study the birational geometry of $X^n_s$, the blow-up of $\mathbb{P}^n_\mathbb{C}$ at $s$ points in general position. We identify a set of subvarieties, which we call Weyl $r$-planes, that belong to an orbit for the action of the Weyl group on $r$-cycles. They satisfy the following properties: they appear as stable base locus of divisors; each Weyl $r$-plane is swept out by an $(n-r)$-moving curve class; moreover, if $s\ge n+3$, for any fixed $r$ all these curve classes belong to the same orbit for the Weyl action. For Mori dream spaces of type $X^n_s$, all such orbits are finite and they allow to reinterpret Mukai's description of the Mori chamber decomposition of the effective cone in terms of $(n-r)$-moving curve classes, unifying previous different approaches. If $X^n_s$ is not a Mori dream space, there are infinitely many Weyl $r$-planes. These yields the definition of the Weyl chamber decomposition of the pseudoeffective cone of divisors. We pose the question as to whether the nef chamber decomposition can be defined (in the negative part of $\overline{\mathrm{Eff}}(X^n_s)$) and, if this is the case, whether it coincides with the Weyl chamber decomposition. We conjecture that the answer is affirmative for $X^3_8$ and $X^5_9$.

math.AG↗
arXiv2024

Nonvanishing and Abundance for cones of movable divisors

Let $\overline{\mathrm{Mov}}^k(X)$ be the closure of the cone $\mathrm{Mov}^k(X)$ generated by classes of effective divisors on a projective variety $X$ with stable base locus of codimension at least $k+1$. We propose a generalized version of the Log Nonvanishing Conjecture and of the Log Abundance Conjecture for a klt pair $(X,\Delta)$, that is: if $K_X+\Delta \in \overline{\mathrm{Mov}}^{k}(X)$, then $K_X+\Delta \in \mathrm{Mov}^{k}(X)$. Moreover, we prove that if the Log Minimal Model Program, the Log Nonvanishing, and the Log Abundance hold, then so does our conjecture.

math.AG↗
arXiv2023

Duality and polyhedrality of cones for Mori dream spaces

Our goal is twofold. On one hand we show that the cones of divisors ample in codimension $k$ on a Mori dream space are rational polyhedral. On the other hand we study the duality between such cones and the cones of $k$-moving curves by means of the Mori chamber decomposition of the former. We give a new proof of the weak duality property (already proved by Payne and Choi) and we exhibit an interesting family of examples for which strong duality holds.

math.AG↗
arXiv2023

Waring identifiability for powers of forms via degenerations

We discuss an approach to the secant non-defectivity of the varieties parametrizing $k$-th powers of forms of degree $d$. It employs a Terracini type argument along with certain degeneration arguments, some of which are based on toric geometry. This implies a result on the identifiability of the Waring decompositions of general forms of degree kd as a sum of $k$-th powers of degree $d$ forms, for which an upper bound on the Waring rank was proposed by Fr\"oberg, Ottaviani and Shapiro.

math.AG↗
arXiv2022

On linear systems with multiple points on a rational normal curve

We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric explanation of the speciality of these linear systems, which is due to the presence of certain subvarieties in the base locus: linear spans of points, secant varieties of the rational normal curve or joins between them.

math.AG↗
arXiv2021

Weyl cycles on the blow-up of $\mathbb{P}^4$ at eight points

We define the Weyl cycles on $X^n_s$, the blown up projective space $\mathbb{P}^n$ in $s$ points in general position. In particular, we focus on the Mori Dream spaces $X^3_7$ and $X^{4}_{8}$, where we classify all the Weyl cycles of codimension two. We further introduce the Weyl expected dimension for the space of the global sections of any effective divisor that generalizes the linear expected dimension and the secant expected dimension.

math.AG↗
arXiv2019

On Strassen's rank additivity for small three-way tensors

We address the problem of the additivity of the tensor rank. That is for two independent tensors we study if the rank of their direct sum is equal to the sum of their individual ranks. A positive answer to this problem was previously known as Strassen's conjecture until recent counterexamples were proposed by Shitov. The latter are not very explicit, and they are only known to exist asymptotically for very large tensor spaces. In this article we prove that for some small three-way tensors the additivity holds. For instance, if the rank of one of the tensors is at most 6, then the additivity holds. Or, if one of the tensors lives in $C^k \otimes C^3 \otimes C^3$ for any $k$, then the additivity also holds. More generally, if one of the tensors is concise and its rank is at most 2 more than the dimension of one of the linear spaces, then additivity holds. In addition we also treat some cases of the additivity of border rank of such tensors. In particular, we show that the additivity of the border rank holds if the direct sum tensor is contained in $C^4 \otimes C^4 \otimes C^4$. Some of our results are valid over an arbitrary base field.

math.AG↗
arXiv2019

Positivity of divisors on blown-up projective spaces, II

We construct log resolutions of pairs on the blow-up of the projective space in an arbitrary number of general points and we discuss the semi-ampleness of the strict transforms. As an application we prove that the abundance conjecture holds for an infinite family of such pairs. For $n+2$ points, these strict transforms are F-nef divisors on the moduli space $\overline{\mathcal{M}}_{0,n+3}$ in a Kapranov's model: we show that all of them are nef.

math.AG↗
arXiv2018

Newton-Okounkov bodies and Toric Degenerations of Mori dream spaces via Tropical compactifications

Given a smooth Mori dream space $X$ we construct a model dominating all the small $\mathbb{Q}$-factorial modifications via tropicalization. This construction allows us to recover a Minkowski basis for the Newton-Okounkov bodies of divisors on $X$ and hence the movable cone of $X$. The existence of such basis allows us to prove the polyhedrality of the global Newton-Okounkov body and the existence of toric degenerations.

math.AG↗
arXiv2017

Positivity of divisors on blown-up projective spaces, I

We study $l$-very ample, ample and semi-ample divisors on the blown-up projective space $\mathbb{P}^n$ in a collection of points in general position. We establish Fujita's conjectures for all ample divisors with the number of points bounded above by $2n$ and for an infinite family of ample divisors with an arbitrary number of points.

math.AG↗
arXiv2017

Vanishing theorems for linearly obstructed divisors

We study divisors in the blow-up of $\mathbb{P}^n$ at points in general position that are non-special with respect to the notion of linear speciality introduced in [5]. We describe the cohomology groups of their strict transforms via the blow-up of the space along their linear base locus. We extend the result to non-effective divisors that sit in a small region outside the effective cone. As an application, we describe linear systems of divisors in $\mathbb{P}^n$ blown-up at points in star configuration and their strict transforms via the blow-up of the linear base locus.

math.AG↗
arXiv2015

On Segre's bound for fat points in $\mathbb{P}^n$

For a scheme of fat points $Z$ defined by the saturated ideal $\mathcal{I}_Z$, the regularity index computes the Castelnuovo-Mumford regularity of the Cohen-Macaulay ring $R/\mathcal{I}_Z.$ For points in " general position" we improve the bound for the regularity index computed by Segre for $\mathbb {P}^2$ and generalised by Catalisano, Trung and Valla for $\mathbb {P}^n$. Moreover, we prove that the generalised Segre's bound conjectured by Fatabbi and Lorenzini holds for $n+3$ arbitrary points in $\mathbb {P}^n$. We propose a modification of Segre's conjecture for arbitrary points and we discuss some evidences.

math.AG↗
arXiv2015

On the effective cone of $\mathbb{P}^n$ blown-up at $n+3$ points

We compute the facets of the effective and movable cones of divisors on the blow-up of $\mathbb{P}^n$ at $n+3$ points in general position. Given any linear system of hypersurfaces of $\mathbb{P}^n$ based at $n+3$ multiple points in general position, we prove that the secant varieties to the rational normal curve of degree $n$ passing through the points, as well as their joins with linear subspaces spanned by some of the points, are cycles of the base locus and we compute their multiplicity. We conjecture that a linear system with $n+3$ points is linearly special only if it contains such subvarieties in the base locus and we give a new formula for the expected dimension.

math.AG↗
arXiv2015

On linear systems of $\mathbb{P}^3$ with nine base points

We study special linear systems of surfaces of $\mathbb{P}^3$ interpolating nine points in general position having a quadric as fixed component. By performing degenerations in the blown-up space, we interpret the quadric obstruction in terms of linear obstructions for a quasi-homogeneous class. By degeneration we also prove a Nagata type result for $\mathbb{P}^2$ that implies a base locus lemma for the quadric. As an application we establish Laface-Ugaglia Conjecture for linear systems with multiplicities bounded by 8 and for homogeneous linear systems with multiplicity m and degree up to 2m+1.

math.AG↗
arXiv2014

Degenerations of real irrational toric varieties

An irrational toric variety X is an analytic subset of the simplex associated to a finite configuration of real vectors. The positive torus acts on X by translation, and we consider limits of sequences of these translations. Our main result identifies all possible Hausdorff limits of translations of X as toric degenerations using elementary methods and the geometry of the secondary fan of the vector configuration. This generalizes work of Garcia-Puente et al., who used algebraic geometry and work of Kapranov, Sturmfels, and Zelevinsky, when the vectors were integral.

math.AG↗