Suppose $π: X \to Y$ is a smooth blow-up along a submanifold $Z$ of $Y$ between complex Fano manifolds $X$ and $Y$ of pseudo-indices $i_X$ and $i_Y$ respectively (recall that $i_X$ is defined by $i_X := \min \{-K_X \cdot C | C {is a rational curve of} X\}$). We prove that $i_X \leq i_Y$ if $2\dim (Z)< \dim(Y) + i_Y -1$ and show that this result is optimal by classifying the ``boundary'' cases. As expected, these results are obtained by studying rational curves on $X$ and $Y$.
In this paper we determine which blow-ups $X$ of $\mathbb{P}^n$ at general points are log Fano, that is, when there exists an effective $\mathbb{Q}$-divisor $Δ$ such that $-(K_X+Δ)$ is ample and the pair $(X,Δ)$ is klt. For these blow-ups, we produce explicit boundary divisors $Δ$ making $X$ log Fano.
We consider the problem to determine which blow-ups along subvarieties in products of two projective spaces are log Fano. By describing the nef cones of such blow-ups with special centers, we give a partial classification result. For each example, explicit boundary divisors are also given.
The aim of this paper is twofold. Firstly, we determine which blow-ups of products of projective spaces at general points are varieties of Fano type, and give boundary divisors making these spaces log Fano pairs. Secondly, we describe generators of the Cox rings of some cases.
We consider weak Fano manifolds with small contractions obtained by blowing up successively curves and subvarieties of codimension 2 in products of projective spaces. We give a classification result for a special case. In the process of proof, we describe explicitly the structure of nef cones and compute the self intersection numbers of anti-canonical divisors for such weak Fano manifolds.
We study Fano manifolds of pseudoindex greater than one and dimension greater than five, which are blow-ups of smooth varieties along smooth centers of dimension equal to the pseudoindex of the manifold. We obtain a classification of the possible cones of curves of these manifolds, and we prove that there is only one such manifold without a fiber type elementary contraction.
The Picard number of a Fano manifold X obtained by blowing up a curve in a smooth projective variety is known to be at most 5, in any dimension greater than or equal to 4. We show that the Picard number attains to the maximal if and only if X is the blow-up of the projective space whose center consists of two points, the strict transform of the line joining them and a linear subspace or a quadric of codimension 2. This result is obtained as a consequence of a classification of special types of Fano manifolds.
We classify smooth toric Fano varieties of dimension $n\geq 3$ containing a toric divisor isomorphic to $\PP^{n-1}$. As a consequence of this classification, we show that any smooth complete toric variety $X$ of dimension $n\geq 3$ with a $T$-fixed point $x\in X$ such that the blow-up $B_x(X)$ of $X$ at $x$ is Fano is isomorphic either to $\PP^n$ or to the blow-up of $\PP^n$ along a $\PP^{n-2}$. As expected, such results are proved using toric Mori theory due to Reid.
This article constructs a smooth weak Fano threefold of Picard number two with small anti-canonical morphism that arises as a blowup of a smooth curve of genus 5 and degree 8 in $\mathbb{P}^3$. While the existence of this weak Fano was known as a numerical possibility in \cite{CM13} and constructed in BL12, this paper removes the dependencies on the results in \cite{JPR11} needed in the construction of BL12 and constructs the link in the style of ACM17.
In this paper we study smooth, complex Fano 4-folds X with large Picard number rho(X), with techniques from birational geometry. Our main result is that if X is isomorphic in codimension one to the blow-up of a smooth projective 4-fold Y at a point, then rho(X) is at most 12. We give examples of such X with Picard number up to 9. The main theme (and tool) is the study of fixed prime divisors in Fano 4-folds, especially in the case rho(X)>6, in which we give some general results of independent interest.
The purpose of this paper is to give basic tools for the classification of nonsingular toric Fano varieties by means of the notions of primitive collections and primitive relations due to Batyrev. By using them we can easily deal with equivariant blow-ups and blow-downs, and get an easy criterion to determine whether a given nonsingular toric variety is a Fano variety or not. As applications of these results, we get a toric version of a theorem of Mori, and can classify, in principle, all nonsingular toric Fano varieties obtained from a given nonsingular toric Fano variety by finite succession…
We characterise smooth curves in P^3 whose blow-up produces a threefold with anticanonical divisor big and nef. These are curves C of degree d and genus g lying on a smooth quartic, such that (i) $4d-30 \le g\le 14$ or $(g,d) = (19,12)$, (ii) there is no 5-secant line, 9-secant conic, nor 13-secant twisted cubic to C. This generalises the classical similar situation for the blow-up of points in P^2. We describe then Sarkisov links constructed from these blow-ups, and are able to prove the existence of Sarkisov links which were previously only known as numerical possibilities.
We answer a question of Keel: How much can one improve a non-toroidal ideal sheaf by a sequence of toroidal blow-ups? Version2: Corollary 5 was proved earlier by Tevelev and Ulirsch.
Building on the work of Mukai, we explore the birational geometry of the moduli spaces M_{S,L} of semistable rank two torsion-free sheaves, with c_1=-K_S and c_2=2, on a polarized degree one del Pezzo surface (S,L); this is related to the birational geometry of the blow-up X of P^4 in 8 points. Our analysis is explicit and is obtained by looking at the variation of stability conditions. Then we provide a careful investigation of the blow-up X and of the moduli space Y=M_{S,-K_S}, which is a remarkable family of smooth Fano 4-folds. In particular we describe the relevant cones of divisors of Y,…
In the first part of the paper, we give an explicit algorithm to compute the (genus zero) Gromov-Witten invariants of blow-ups of an arbitrary convex projective variety in some points if one knows the Gromov-Witten invariants of the original variety. In the second part, we specialize to blow-ups of P^r and show that many invariants of these blow-ups can be interpreted as numbers of rational curves on P^r having specified global multiplicities or tangent directions in the blown-up points. We give various numerical examples, including a new easy way to determine the famous multiplicity d^{-3} fo…
We use degeneration formula to study the change of stable pair invariants of 3-folds under blow-ups and obtain some closed blow-up formulae. Related results on Donaldson-Thomas invariants are also discussed. Our results give positive evidence for GW/DT/P correspondence, and also give partial correspondence for varieties not necessarily toric or complete intersections.
In this paper we prove the existence of purely log terminal blow-up for Kawamata log terminal singularity and obtain the criterion for a singularity to be weakly exceptional in terms of the exceptional divisor of plt blow-up.
We give an explicit presentation with generators and relations of the quantum cohomology ring of the blow-up of a projective space along a linear subspace.
This paper is a revision of the author's old preprint "Exactness, integrality, and log modifications". We will prove that any quasi-compact morphism of fs log schemes can be modified locally on the base to an integral morphism by base change by fs log blow-ups.
In this paper we study the pseudoeffective cones of blow-ups of Grassmannians at sets of points. For small numbers of points, the cones are often spanned by proper transforms of Schubert classes. In some special cases, we provide sharp bounds for when the Schubert classes fail to span and we describe the resulting geometry.
We use a family of algebraic foliations given by A. Lins Neto to provide new evidences to a conjecture, related to the Harbourne-Hirschowitz's one and implying the Nagata's conjecture, which concerns the structure of the Mori cone of blow-ups of $\mathbb{P}^2$ at very general points.
We study k-very ampleness of line bundles on blow-ups of hyperelliptic surfaces at r very general points. We obtain a numerical condition on the number of points for which a line bundle on the blow-up of a hyperelliptic surface at these r points gives an embedding of order k.
We suggest an effective procedure to calculate numerical invariants for rank two bundles over blown-up surfaces. We study the moduli spaces M_j of bundles on the blown-up plane splitting over the exceptional divisor as O(j)+O(-j). We use the numerical invariants to give a topological decomposition of M_j.
We show that a Fano manifold (X,-K_X) is not slope stable with respect to a smooth curve Z if and only if (X,Z) is isomorphic to one of (projective space, line), (product of projective line and projective space, fiber of second projection) or (blow up of projective space along linear subspace of codimension two, nontrivial fiber of blow up).
We prove the irredcibility (and the rational connectedness) of the moduli spaces of (free) morphisms from a projective line to a successive blowing-up of a product of projective spaces if a suitable numerical condition on morphisms is provided (and also if all centers of the blowing-up are rationally connected).
In this paper we classify weak Fano varieties that can be obtained by blowing-up general points in prime Fano varieties. We also classify spherical blow-ups of Grassmannians in general points, and we compute their effective cone. These blow-ups are, in particular, Mori dream spaces. Furthermore, we compute the stable base locus decomposition of the blow-up of a Grassmannian in one point, and we show how it is determined by linear systems of hyperplanes containing the osculating spaces of the Grassmannian at the blown-up point, and by the rational normal curves in the Grassmannian passing throu…
We establish a blow-up formula for Hodge cohomology of locally free sheaves on smooth proper varieties over an algebraically closed field of positive characteristic. For this, we introduce a notion of relative Hodge sheaves and study their behavior under blow-ups along smooth centers. In particular, as an application, we study the blow-up invariance of the $E_2$-degeneracy of the Hochschild--Kostant--Rosenberg spectral sequence for smooth proper varieties.
The aim of this note is to investigate the relation between two types of non-singular projective varieties of Picard rank 2, namely the Projective bundles over Projective spaces and certain Blow-up of Projective spaces.
Building on the work of Casagrande-Codogni-Fanelli, we develop our study on the birational geometry of the Fano fourfold $Y=M_{S,-K_S}$ which is the moduli space of semi-stable rank-two torsion-free sheaves with $c_1=-K_S$ and $c_2=2$ on a polarised degree-one del Pezzo surface $(S,-K_S)$. Based on the relation between $Y$ and the blow-up of $\mathbb{P}^4$ in $8$ points, we describe completely the base scheme of the anticanonical system $|{-}K_Y|$. We also prove that the Bertini involution $ι_Y$ of $Y$, induced by the Bertini involution $ι_S$ of $S$, preserves every member in $|{-}K_Y|$. In pa…
In this paper we classify all the compactifications of affine homology $3$-cells into the blow-ups of the projective $3$-space along smooth curves such that the log canonical divisors are linearly trivial. As a result, we prove that each embedded affine $3$-fold is isomorphic to the affine $3$-space except one example.
The Morrison--Kawamata Cone Conjecture predicts that the action of the automorphism group on the effective nef cone and the action of the pseudo-automorphism group on the effective movable cone of a klt Calabi-Yau pair have rational, polyhedral fundamental domains. In a previous paper, we proved the conjecture for certain blowups of Fano manifolds of index n-1. In this paper, we consider the Morrison--Kawamata conjecture for blowups of Fano manifolds of index n-2.
In order to study wall crossing formula of Donaldson type invariants on the blown-up plane, Nakajima-Yoshioka constructed a sequence of blow-up/blow-down diagrams connecting the moduli space of torsion free framed sheaves on projective plane, and that on its blow-up. In this paper, we prove that Nakajima-Yoshioka's diagram realizes the minimal model program. Furthermore, we obtain a fully-faithful embedding between the derived categories of these moduli spaces.
Given a sequence of point blow-ups of smooth n-dimensional projective varieties $Z_{i}$ defined over an algebraically closed field k, $Z_{s}\rightarrow Z_{s-1}\rightarrow ...\rightarrow Z_{1}\rightarrow Z_{0}$, we give two presentations of the Chow ring of its sky $A^{\bullet}(Z_{s})$. The first one using the classes of the total transforms of the exceptional components as generators and the second one using the classes of the strict transforms ones. We prove that the skies of two sequences of point blow-ups of the same length have isomorphic Chow rings. Finally we give a characterization of f…
We study the projective spectrum of the Rees algebra of a module, and characterize it by a universal property. As applications, we give descriptions of universal flatifications of modules and of birational projective morphisms.
The symmetric projective varieties of rank one are all smooth and Fano by a classic result of Akhiezer. We classify the locally factorial (respectively smooth) projective symmetric $G$-varieties of rank 2 which are Fano. When $G$ is semisimple we classify also the locally factorial (respectively smooth) projective symmetric $G$-varieties of rank 2 which are only quasi-Fano. Moreover, we classify the Fano symmetric $G$-varieties of rank 3 obtainable from a wonderful variety by a sequence of blow-ups along $G$-stable varieties. Finally, we classify the Fano symmetric varieties of arbitrary rank …
Raphaël Rouquier introduced an invariant of triangulated categories which is known as Rouquier dimension. Orlov conjectured that for any smooth quasi-projective variety $X$ the Rouquier dimension of $D^b_{\mathrm{coh}}(X)$ is equal to $\mathrm{dim}\, X$. In this note we show that some blow-ups of projective spaces satisfy Orlov's conjecture. This includes a blow-up of $\mathbb{P}^2$ in nine arbitrary distinct points, or a blow-up of three distinct points lying on an exceptional divisor of a blow-up of $\mathbb{P}^3$ in a line. In particular, our method gives an alternative proof of Orlov's con…
We prove that the redundant blow-up preserves the finite generation of the Cox ring of a rational surface under a suitable assumption, and we study the birational structure of Mori dream rational surfaces via redundant blow-ups. It turns out that the redundant blow-up completely characterizes birational morphisms of Mori dream rational surfaces with anticanonical Iitaka dimension $0$. As an application, we construct new Mori dream rational surfaces with anticanonical Iitaka dimension $0$ and $-\infty$ of arbitrarily large Picard number.
A conjecture, related to the Nagata conjecture and the Segre-Harbourne-Gimigliano-Hirschowitz conjecture, states that every integral curve with negative self-intersection on the blow-up of $¶^2$ at a set of points in very general position is a (-1)-curve. In this paper we verify this conjecture for all curves whose image on $¶^2$ is a curve with a singularity of multiplicity two at one of the centers of the blow-up.
We completely classify redundant blow-ups appearing in the theory of rational surfaces with big anticanonical divisor due to Sakai. In particular, we construct a rational surface with big anticanonical divisor which is not a minimal resolution of a del Pezzo surface with only rational singularities, which gives a negative answer to a question raised in a paper by Testa, Várilly-Alvarado, and Velasco.
Given an arbitrary projective birational morphism of varieties, we provide a natural and explicit way of constructing relative compactifications of the maps induced on the main components of the jet schemes. In the case the morphism is the Nash blow-up of a variety, such relative compactifications are shown to be given by the Nash blow-ups of the main components of the jet schemes.
In this paper we apply Shokurov's inductive method to study terminal and canonical singularities. As an easy consequence of the Minimal Model Program we show that for any three-dimensional log terminal singularity there exists some special, so called, plt blow-up. We discuss properties of them and construct some examples.
We prove that certain Severi varieties of nodal curves of positive genus on general blow-ups of the twofold symmetric product of a general elliptic curve are non-empty and smooth of the expected dimension. This result, besides its intrinsic value, is an important preliminary step for the proof of nonemptiness of Severi varieties on general Enriques surfaces in arXiv:2109.10735.
