We extend the classical formula of Porteous for blowing-up Chern classes to the case of blow-ups of possibly singular varieties along regularly embedded centers. The proof of this generalization is perhaps conceptually simpler than the standard argument for the nonsingular case, involving Riemann-Roch without denominators. The new approach relies on the explicit computation of an ideal, and a mild generalization of the well-known formula for the normal bundle of a proper transform.
We also discuss alternative, very short proofs of the standard formula in some cases: an approach relying on the theory of Chern-Schwartz-MacPherson classes (working in characteristic 0), and an argument reducing the formula to a straightforward computation of Chern classes for sheaves of differential 1-forms with logarithmic poles (when the center of the blow-up is a complete intersection).
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.
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.
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.
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 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.
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.
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.
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.
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.
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.
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.
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.
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.
Let $C \subset \mathbb{P}^2$ be an irreducible and reduced curve of degree $e > 0$. Let $X$ be the blow up of $\mathbb{P}^2$ at $r$ distinct smooth points $p_1,\ldots,p_r \in C$. We study line bundles on $X$ and establish conditions for ampleness and $k$-very ampleness.
For every $n\geq 3$, we find a sufficient condition for the blow-up of a weighted projective space $\mathbb{P}(a,b,c,d_1,\cdots,d_{n-2})$ at the identity point not to be a Mori Dream Space. We exhibit several infinite sequences of weights satisfying this condition in all dimensions $n\geq 3$.
Let $X$ be the blow up of $\mathbb{P}^2$ at $r$ general points $p_1,\ldots,p_r \in \mathbb{P}^2$. We study line bundles on $X$ given by plane curves of degree $d$ passing through $p_i$ with multiplicity $m_i$. We establish conditions for ampleness, very ampleness and global generation of such line bundles.
Phantom subcategories on blow-ups of Hirzebruch surfaces
School of Mathematics and Statistics, Guizhou University（贵州大学数学与统计学院）；School of Science, Hunan City University（湖南城市学院理学院）；School of Mathematics and Statistics, Changsha University of Science and Technology（长沙理工大学数学与统计学院）
In this paper we prove that no multiple of the linear system of plane curves of degree $d\geq 4$ with a point of multiplicity $d-m$ (with $2 \leq m \leq d$) and $m(2d-m)$ simple general points is effective.
In the present paper, we focus on a weighted version of the Bounded Negativity Conjecture which predicts that for every smooth projective surface in characteristic zero the self-intersection numbers of reduced and irreducible curves are bounded from below by a global constant. We gather evidence for this conjecture by showing various bounds on the self-intersection number of curves in an algebraic surface. We focus our attention on blow-ups of algebraic surfaces, which have so far been neglected.
