Search

In this paper we study the birational geometry of $X$, a projective space $\mathbb{P}^n$ blown up at $s$ general points. We obtain a characterization of a special class of subvarieties, which we call Weyl $r$-planes, each of them being swept out by one $(n-r)$-moving curve class. For Mori dream spaces $X$, we unify different previous approaches, by reinterpreting the description of the Mori chamber decomposition of the effective cone in terms of these curve classes; in this case all relevant orbits are finite. For general $s$, we prove that Weyl $r$-planes are infinite and continue to appear as stable base locus. This yields the definition of the Weyl chamber decomposition of the pseudoeffective cone of divisors, that is a coarsening of its Mori chamber decomposition, when the latter can be defined. We prove that the combinatorics of such chamber decomposition obeys the Weyl group action on curves. We conjecture that for $s=n+4$ the Weyl and the Mori chamber decompositions coincide., Comment: 35 pages

The Terracini locus $\mathbb{T}(n, d; x)$ is the locus of all finite subsets $S \subset \mathbb{P}^n$ of cardinality $x$ such that $\langle S \rangle = \mathbb{P}^n$, $h^0(\mathcal{I}_{2S}(d)) > 0$, and $h^1(\mathcal{I}_{2S}(d)) > 0$. The celebrated Alexander-Hirschowitz Theorem classifies the triples $(n,d,x)$ for which $\dim\mathbb{T}(n, d; x)=xn$. Here we fully characterize the next step in the case $n=2$, namely, we prove that $\mathbb{T}(2,d;x)$ has at least one irreducible component of dimension $2x-1$ if and only if either $(d,x)=(6,10)$ or $(d,x)=(4,4)$ or $d\equiv 1,2 \pmod{3}$ and $x=(d+2)(d+1)/6$., Comment: 9 pages, comments are welcome

We prove that Segre-Veronese varieties are never secant defective if each degree is at least three. The proof is by induction on the number of factors, degree and dimension. As a corollary, we give an almost optimal non-defectivity result for Segre-Veronese varieties with one degree equal to one and all the others at least three., Comment: 12 pages

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., Comment: 4 pages, comments welcome

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., Comment: 23 pages. Revised version. Title changed

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., Comment: 20 pages, 1 figure

We study surfaces of bidegree (1,d) contained in the flag threefold in relation to the twistor projection. In particular, we focus on the number and the arrangement of twistor fibers contained in such surfaces. First, we prove that there is no irreducible surface of bidegree (1,d) containing d+2 twistor fibers in general position. On the other hand, given any collection of (d+1) twistor fibers satisfying a mild natural constraint, we prove the existence of a surface of bidegree (1,d) that contains them. We improve our results for d=2 or d=3, by removing all the generality hypotheses., Comment: 1 figure. Title, abstract and introduction updated. Published on New York Journal of Mathematics: https://nyjm.albany.edu/j/2023/29-45.html

We study smooth integral curves of bidegree $(1,1)$, called \textit{smooth conics}, in the flag threefold $\mathbb{F}$. The study is motivated by the fact that the family of smooth conics contains the set of fibers of the twistor projection $\mathbb{F}\to\mathbb{CP}^{2}$. We give a bound on the maximum number of smooth conics contained in a smooth surface $S\subset\mathbb{F}$. Then, we show qualitative properties of algebraic surfaces containing a prescribed number of smooth conics. Lastly, we study surfaces containing infinitely many twistor fibers. We show that the only smooth cases are surfaces of bidegree $(1,1)$. Then, for any integer $a>1$, we exhibit a method to construct an integral surface of bidegree $(a,a)$ containing infinitely many twistor fibers., Comment: 16 pages, 1 figure

A study is made of algebraic curves and surfaces in the flag manifold $\mathbb{F}=SU(3)/T^2$, and their configuration relative to the twistor projection $\pi$ from $\mathbb{F}$ to the complex projective plane $\mathbb{CP}^2$, defined with the help of an anti-holomorphic involution $j$. This is motivated by analogous studies of algebraic surfaces of low degree in the twistor space $\mathbb{CP}^3$ of $S^4$. Deformations of twistor fibres project to real surfaces in $\mathbb{CP}^2$, whose metric geometry is investigated. Attention is then focussed on toric Del Pezzo surfaces that are the simplest type of surfaces in $\mathbb{F}$ of bidegree $(1,1)$. These surfaces define orthogonal complex structures on specified dense open subsets of $\mathbb{CP}^2$ relative to its Fubini-Study metric. The discriminant loci of various surfaces of bidegree $(1,1)$ are determined, and bounds given on the number of twistor fibres that are contained in more general algebraic surfaces in $\mathbb{F}$., Comment: 34 pages; 7 figures. Comments about v2: we added a couple of remarks, clarified some proof, removed several typos and updated the reference list. To appear on Mathematische Zeitschrift

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., Comment: Final version, published in The Art of Doing Algebraic Geometry. Trends in Mathematics. Birkhauser, Cham (2023)

We show that the algebraic boundaries of the regions of real binary forms with fixed typical rank are always unions of dual varieties to suitable coincident root loci., Comment: Accepted for publication in Foundations of Computational Mathematics

We describe the algebraic boundaries of the regions of real binary forms with fixed typical rank and of degree at most eight, showing that they are dual varieties of suitable coincident root loci., Comment: To appear in Linear Algebra and its Applications

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., Comment: 22 pages. Revised version. Statement of Theorem 5.1 corrected. To appear in Experimental Mathematics

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., Comment: 24 pages. Minor changes. To appear in Annali di Matematica Pura ed Applicata

Given a linear system in P^n with assigned multiple general points we compute the cohomology groups of its strict transforms via the blow-up of its linear base locus. This leads us to give a new definition of expected dimension of a linear system, which takes into account the contribution of the linear base locus, and thus to introduce the notion of linear speciality. We investigate such a notion giving sufficient conditions for a linear system to be linearly non-special for arbitrary number of points, and necessary conditions for small numbers of points., Comment: 26 pages. Minor changes, Definition 3.2 slightly extended. Accepted for publication in Transactions of AMS

We study the postulation of a general union Y of double, triple, quartuple and quintuple points of P^3. In characteristic 0, we prove that Y has good postulation in degree $d\ge 11$. The proof is based on the combination of the Horace differential lemma with a computer-assisted proof. We also classify the exceptions in degree 9 and 10.

We prove the existence of defective secant varieties of three-factor and four-factor Segre-Veronese varieties embedded in certain multi-degree. These defective secant varieties were previously unknown and are of importance in the classification of defective secant varieties of Segre-Veronese varieties with three or more factors., Comment: 10 pages

This paper explores the dimensions of higher secant varieties to Segre-Veronese varieties. The main goal of this paper is to introduce two different inductive techniques. These techniques enable one to reduce the computation of the dimension of the secant variety in a high dimensional case to the computation of the dimensions of secant varieties in low dimensional cases. As an application of these inductive approaches, we will prove non-defectivity of secant varieties of certain two-factor Segre-Veronese varieties. We also use these methods to give a complete classification of defective s-th Segre-Veronese varieties for small s. In the final section, we propose a conjecture about defective two-factor Segre-Veronese varieties., Comment: Revised version. To appear in Annali di Matematica Pura e Applicata

By the description due to Mukai and Iliev, a smooth prime Fano threefold X of genus 9 is associated to a surface P(V), ruled over a smooth plane quartic Gamma. We use Kuznetsov's integral functor to study rank-2 stable sheaves on X with odd determinant. For each c_2 \geq 7, we prove that a component of their moduli space M_X(2,1,c_2) is birational to a Brill-Noether locus of bundles on Gamma having enough sections when twisted by V. Moreover we prove that M_X(2,1,7) is isomorphic to the blowing-up of the Picard variety Pic^2(Gamma) along the curve parametrizing lines contained in X.

Given a smooth prime Fano threefold $X$ of genus 7 we consider its homologically projectively dual curve $\Gamma$ and the natural integral functor $\Phi^{!}:D^b(X) \to D^b(\Gamma)$. We prove that, for $d\geq 6$, $\Phi^{!}$ gives a birational map from a component of the moduli scheme $M_X(2,1,d)$ of rank 2 stable sheaves on $X$ with $c_1=1$, $c_2=d$ to a generically smooth $2d-9$-dimensional component of the Brill-Noether variety $W^{2d-11}_{d-5,5d-24}$ of stable vector bundles on $\Gamma$ of rank $d-5$ and degree $5d-24$ with at least $2d-10$ sections. This map turns out to be an isomorphism for $d=6$, and the moduli space $M_X(2,1,6)$ is fine. For general $X$, this moduli space is a smooth irreducible threefold., Comment: 37 pages; revised version

We study the postulation of a general union $Y$ of double, triple, and quartuple points of $\mathbb{P}^3$. We prove that $Y$ has the expected postulation in degree $d\ge 41$, using the Horace differential lemma. We also discuss the cases of low degree with the aid of computer algebra., Comment: 14 pages, to appear in J. Pure App. Algebra

Let $X_{m,n}$ be the Segre-Veronese variety $\mathbb{P}^m \times \mathbb{P}^n$ embedded by the morphism given by $\mathcal{O}(1,2)$. In this paper, we provide two functions $\underline{s}(m,n)\le \bar{s}(m,n)$ such that the $s^{\mathrm{th}}$ secant variety of $X_{m,n}$ has the expected dimension if $s \leq \underline{s}(m,n)$ or $ \bar{s}(m,n) \leq s$. We also present a conjecturally complete list of defective secant varieties of such Segre-Veronese varieties., Comment: 18 pages; published version; corrected typo in Definition 4.3

Given a smooth non-hyperelliptic prime Fano threefold X, we prove the existence of all rank 2 ACM vector bundles on X by deformation of semistable sheaves. We show that these bundles move in generically smooth components of the corresponding moduli space. We give applications to pfaffian representations of quartic threefolds in P^4 and cubic hypersurfaces of a smooth quadric of P^5., Comment: 28 pages; revised version, submitted to Michigan Mathematical Journal

The Alexander-Hirschowitz theorem says that a general collection of $k$ double points in ${\bf P}^n$ imposes independent conditions on homogeneous polynomials of degree $d$ with a well known list of exceptions. We generalize this theorem to arbitrary zero-dimensional schemes contained in a general union of double points. We work in the polynomial interpolation setting. In this framework our main result says that the affine space of polynomials of degree $\le d$ in $n$ variables, with assigned values of any number of general linear combinations of first partial derivatives, has the expected dimension if $d\neq 2$ with only five exceptional cases. If $d=2$ the exceptional cases are fully described., Comment: 34 pages, 2 tables, revised version: different proof of Theorem 4.1, Section 4 significantly changed, Appendix added

The Alexander-Hirschowitz theorem says that a general collection of $k$ double points in ${\bf P}^n$ imposes independent conditions on homogeneous polynomials of degree $d$ with a well known list of exceptions. Alexander and Hirschowitz completed its proof in 1995, solving a long standing classical problem, connected with the Waring problem for polynomials. We expose a self-contained proof based mainly on previous works by Terracini, Hirschowitz, Alexander and Chandler, with a few simplifications. We claim originality only in the case $d=3$, where our proof is shorter. We end with an account of the history of the work on this problem., Comment: 29 pages, the proof in the case of cubics has been simplified, three references added, to appear in J. Pure Appl. Algebra

In the paper ``Chirality change in string theory'', by Douglas and Zhou, the authors give a list of bundles on a quintic Calabi-Yau threefold. Here we prove the semistability of most of these bundles. This provides examples of string theory compactifications which have a different number of generations and can be connected.

We are interested in those bundles $C$ on $\mathbb{P}^N$ which admit a resolution of the form $$ 0 \to \mathbb{C}^s \otimes E \xrightarrow{\mu} \mathbb{C}^t \otimes F \to C \to 0.$$ In this paper we prove that, under suitable conditions on $(E,F)$, a generic bundle with this form is either simple or canonically decomposable. As applications we provide an easy criterion for the stability of such bundles on $\mathbb{P}^2$ and we prove the stability when $E = \mathcal{O}$, $F = \mathcal{O}(1)$ and $C$ is an exceptional bundle on $\mathbb{P}^N$ for $N \geq 2$., Comment: 23 pages, 1 figure, revised version, to appear in Mathematische Nachrichten

We prove that a generic Steiner bundle E is simple if and only if the Euler characteristic of the endomorphism bundle of E is less or equal to 1. In particular we show that either E is exceptional or it satisfies the following inequality t\leq(\frac{n+1+\sqrt((n+1)^2-4)}{2})s., Comment: 11 pages