In this paper, we study the higher codimensional cycle structure of the Hilbert scheme of three points in the projective plane. In particular, we compute all Chern (and Segre) classes of all tautological bundles on it and compute the nef (effective) cones of cycles in codimensions 2 and 3 (dimensions 2 and 3).
We give a classification of embedded smooth projective varieties swept out by rational homogeneous varieties whose Picard number and codimension are one.
We generalize the definition of alpha invariant to arbitrary codimension. We also give a lower bound of these alpha invariants for K-semistable Q-Fano varieties and show that we can characterize projective spaces among all K-semistable Fano manifolds in terms of higher codimensional alpha invariants. Our results demonstrate the relation between alpha invariants of any codimension and volumes of Fano manifolds in the characterization of projective spaces.
We investigate the relation between codimension two smooth complete intersections in a projective space and some naturally associated graded algebras. We give some examples of log-concave polynomials and we propose two conjectures for these algebras.
We define fake weighted projective spaces as a generalisation of weighted projective spaces. We introduce the notions of fundamental group in codimension 1 and of universal covering in codimension 1. We prove that for every fake weighted projective space its universal cover in codimension 1 is a weighted projective space.
We establish a structure theorem for degree three codimension one foliations on projective spaces of dimension $n\ge 3$, extending a result by Loray, Pereira, and Touzet for degree three foliations on $\mathbb P^3$. We show that the space of codimension one foliations of degree three on $\mathbb{P}^n$, $n\ge 3$, has exactly $18$ distinct irreducible components parameterizing foliations without rational first integrals, and at least $6$ distinct irreducible components parameterizing foliations with rational first integrals.
Let X\subsetneq\mathbb{P}_{\mathbb{C}}^{N} be an n-dimensional nondegenerate smooth projective variety containing an m-dimensional subvariety Y. Assume that either m>\frac{n}{2} and X is a complete intersection or that m\geq\frac{N}{2}, we show deg(X)|deg(Y) and codim_{span(Y)}Y\geq codim_{\mathbb{P}^{N}}X, where span(Y) is the linear span of Y. These bounds are sharp. As an application, we classify smooth projective n-dimensional quadratic varieties swept out by m\geq[\frac{n}{2}]+1 dimensional quadrics passing through one point.
We study the component H_n of the Hilbert scheme whose general point parameterizes a pair of codimension two linear subspaces in P^n for n > 2. We show that H_n is smooth and isomorphic to the blow-up of the symmetric square of G(n-2,n) along the diagonal. Further H_n intersects only one other component in the full Hilbert scheme, transversely. We determine the stable base locus decomposition of its effective cone and give modular interpretations of the corresponding models, hence conclude that H_n is a Mori dream space.
Ran proved that smooth codimension 2 varieties in ${\bf P}^{m+2}$ are $j$-normal if $(j+1)(3j-1)\le m-1$, in this paper we extend this result to small codimension projective varieties. Let $X$ be a r codimension subvariety of $\pro$, we prove that if the set $Σ_{(j+1)}$ of $(j+1)$-secants to $X$ through a generic external point is not empty, $2(r+1)j\leq m-r$ and $(j+1)((r+1)j-1)\leq m-1$ then $X$ is $j$-normal. If $X$ is given by the zero locus of a section of a rank $r$ vector bundle $E$ on $\pro$, we prove that $\textrm{deg} Σ_{j+1}=\frac{1}{(j+1)!}\prod_{i=0}^{j}c_{r}(E(-i))$. Moreover we …
We study the lowest dimensional open case of the question whether every arithmetically Cohen--Macaulay subscheme of $\mathbb{P}^N$ is glicci, that is, whether every zero-scheme in $\mathbb{P}^3$ is glicci. We show that a set of $n \geq 56$ points in general position in $\PP^3$ admits no strictly descending Gorenstein liaison or biliaison. In order to prove this theorem, we establish a number of important results about arithmetically Gorenstein zero-schemes in $\mathbb{P}^3$.
In this paper, we prove that the statement: ``The (Generalized) Hodge Conjecture holds for codimension-two cycles on a smooth projective variety $X$" is a birationally invariant statement, that is, if the statement is true for $X$, it is also true for all smooth varieties $X'$ which are birationally equivalent to $X$. We also prove the analogous result for 1-cycles. As direct corollaries, the Hodge Conjecture holds for smooth rational projective manifolds with dimension less than or equal to five, and, the Generalized Hodge Conjecture holds for smooth rational projective manifolds with dimensi…
We give examples of infinitely extendable (not as cones) arithmetically Cohen-Macaulay and arithmetically Gorenstein subvarieties of projective spaces and which are not complete intersections. The proof uses the computation of the dimension of the Hilbert scheme of codimension $2$ subschemes of projective spaces due to G. Ellingsrud and of arithmetically Gorenstein codimension $3$ subschemes due to J. O. Kleppe and R.-M. Miró-Roig.
In the present paper, we provide general bounds for the torsion in the codimension 2 Chow groups of the products of projective homogeneous surfaces. In particular, we determine the torsion for the product of four Pfister quadric surfaces and the maximal torsion for the product of three Severi-Brauer surfaces. We also find an upper bound for the torsion of the product of three quadric surfaces with the same discriminant.
In this article we give a necessary and sufficient condition to characterize projective submanifolds in ${\mathbb P}^N$ with codimensions 2 and 3. The conditions involve the Chern classes of the manifold and a very ample line bundle on the manifold. This generalizes our earlier characterization for hypersurfaces. The higher codimensional cases are proposed as a general question.
We prove that a representation of the fundamental group of a quasi-projective manifold into the group of formal diffeomorphisms of one variable either is virtually abelian or, after taking the quotient by its center, factors through an orbicurve.
Critical loci for projective reconstruction from three views in four dimensional projective space are defined by an ideal generated by maximal minors of suitable $4 \times 3$ matrices, $N,$ of linear forms. Such loci are classified in this paper, in the case in which $N$ drops rank in codimension one, giving rise to reducible varieties. This leads to a complete classification of matrices of size $(n+1) \times n$ for $n \le 3,$ which drop rank in codimension one. Instability of reconstruction near non-linear components of critical loci is explored experimentally.
This article studies codimension one foliations on projective man-ifolds having a compact leaf (free of singularities). It explores the interplay between Ueda theory (order of flatness of the normal bundle) and the holo-nomy representation (dynamics of the foliation in the transverse direction). We address in particular the following problems: existence of foliation having as a leaf a given hypersurface with topologically torsion normal bundle, global structure of foliations having a compact leaf whose holonomy is abelian (resp. solvable), and factorization results.
Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree,i.e., Castelnuovo-Mumford regularity of a given variety X is less than or equal to deg(X)-codimension(X)+1. Generic projection methods proved to be effective for the study of regularity of smooth projevtive varieties of dimension at most four(cf.[BM},[K2],[L],[Pi] and [R1]) because there are nice vanishing theorems for cohomology of vector bundles (e.g. the Kodaira-Kawamata-Viehweg vanish…
We construct Calabi-Yau 3-folds as orbifolds embedded in weighted projective space in codimension 4. For each Hilbert series that is realised, there are at least two different components of Calabi-Yau 3-folds.
Fix integers $a\geq 1$, $b$ and $c$. We prove that for certain projective varieties $V\subset{\bold P}^r$ (e.g. certain possibly singular complete intersections), there are only finitely many components of the Hilbert scheme parametrizing irreducible, smooth, projective, low codimensional subvarieties $X$ of $V$ such that $$ h^0(X,\Cal O_X(aK_X-bH_X)) \leq λd^{ε_1}+c(\sum_{1\leq h < ε_2}p_g(X^{(h)})), $$ where $d$, $K_X$ and $H_X$ denote the degree, the canonical divisor and the general hyperplane section of $X$, $p_g(X^{(h)})$ denotes the geometric genus of the general linear section of $X$ o…
A general method to express in terms of Gauss sums the number of rational points of subschemes of projective schemes over finite fields is applied to the image of the triple embedding $\mathbb{P}^1\hookrightarrow\mathbb{P}^3$. As a consequence, we obtain a non-trivial description of the value of a Kloosterman-sum-like exponential sum.
We prove the conjecture that two projective symplectic resolutions for a symplectic variety $W$ are related by Mukai's elementary transformations over $W$ in codimension 2 in the following cases: (i). nilpotent orbit closures in a classical simple complex Lie algebra; (ii). some quotient symplectic varieties.
We introduce a method to determine if n-dimensional smooth subvarieties of an ambient space of dimension at most 2n − 2 inherit the Picard group from the ambient space (as it happens when the ambient space is a projective space, according to results of Barth and Larsen). As an application, we give an affirmative answer (up to some mild natural numerical conditions) when the ambient space is a Grassmannian of lines (thus improving results of Barth, Van de Ven and Sommese) or a product of two projective spaces of the same dimension.
We point out a gap in Murre's proof of the existence of a universal regular homomorphism for codimension $2$ cycles on a smooth projective variety, and offer two arguments to fill this gap.
We study codimension one holomorphic distributions on the projective three-space, analyzing the properties of their singular schemes and tangent sheaves. In particular, we provide a classification of codimension one distributions of degree at most 2 with locally free tangent sheaves, and show that codimension one distributions of arbitrary degree with only isolated singularities have stable tangent sheaves. Furthermore, we describe the moduli space of distributions in terms of Grothendieck's Quot-scheme for the tangent bundle. In certain cases, we show that the moduli space of codimension one …
For a projective variety $Z$ and for any integer $p$, define the $p$-th Néron-Severi group $NS_p(Z)$ of $Z$ as the image of the cycle map $A_{p}(Z)\to H_{2p}(Z; \mathbb{C})$. Now let $X\subset \Ps^{2m+1}$ ($m\geq 1$) be a projective variety of dimension $2m-1$, with isolated singularities, complete intersection of a smooth hypersurface of degree $k$, with a hypersurface of degree $n>max\{k, 2m+1\}$, and let $F$ be a general hypersurface of degree $n$ containing $X$. We prove that the natural map $NS_m(X)\to NS_m(F)$ is surjective, and that if $dim NS_m(F)=1$ then $dim NS_m(X)=1$. In particular…
We discuss two conjectures by Francesco Severi and Joe Harris about the irreducibility and the dimension of the Hilbert scheme parameterizing smooth projective curves of given degree and genus.
We show that for every smooth generic projective hypersurface $X\subset\mathbb P^{n+1}$, there exists a proper subvariety $Y\subsetneq X$ such that $\operatorname{codim}_X Y\ge 2$ and for every non constant holomorphic entire map $f\colon\mathbb C\to X$ one has $f(\mathbb C)\subset Y$, provided $°X\ge 2^{n^5}$. In particular, we obtain an effective confirmation of the Kobayashi conjecture for threefolds in $\mathbb P^4$.
We classify minimal-degree curves in the Hilbert schemes of points on algebraic surfaces. When the algebraic surface is the projective plane, the nef cone and a flip structure of these Hilbert schemes are determined.
In the present note we study configurations of codimension 2 flats in projective spaces and classify those with the smallest rate of growth of the initial sequence. Our work extends those of Bocci, Chiantini in P^2 and Janssen in P^3 to projective spaces of arbitrary dimension.
Gorenstein liaison seems to be the natural notion to generalize to higher codimension the well-known results about liaison of varieties of codimension~2 in projective space. In this paper we study points in ${\mathbb P}^3$ and curves in ${\mathbb P}^4$ in an attempt to see how far typical codimension~2 results will extend. While the results are satisfactory for small degree, we find in each case examples where we cannot decide the outcome. These examples are candidates for counterexamples to the hoped-for extensions of codimension~2 theorems.
In this article, we give the structure of codimension one foliations with canonical singularities and numerically trivial canonical class on varieties with klt singularities. Building on recent works of Spicer, Cascini - Spicer and Spicer - Svaldi, we then describe the birational geometry of rank two foliations with canonical singularities and canonical class of numerical dimension zero on complex projective threefolds.
We classify singular fibres of a projective Lagrangian fibration over codimension one points. As an application, we obtain a canonical bundle formula for a projective Lagrangian fibration over a smooth manifold.
We determine the automorphism group of the Hilbert scheme of two points on a generic projective K3 surface of any polarization. We obtain in particular new examples of Hilbert schemes of points having non-natural non-symplectic automorphisms. The existence of these automorphisms depends on solutions of Pell's equation.
We give the construction of weighted Lagranngiann Grassmannians$wLGr(3,6)$ and weighted partial $A_3$ flag variety $wFl_{1,3}$ coming from the symplectic Lie group $Sp(6,\mathbb C)$ and the general linear group $GL(4,\mathbb C)$ respectively. We give general formulas for their Hilbert series in terms of Lie theoretic data. We use them as key varieties (Format) to construct some families of polarized 3-folds in codimension 7 and 9. At the end, we list all the distinct weighted flag varieties in codimension $4\le c\le 10$.
We describe explicitly how certain standard opens of the Hilbert scheme of points are embedded into Grassmannians. The standard opens of the Hilbert scheme that we consider are given as the intersection of a corresponding basic open affine of the Grassmannian and a closed stratum determined by a Fitting ideal.
We provide a criterion for when Hilbert squares of complex projective K3 surfaces with Picard number one are strongly ambiguous. This criterion is the same as [DM, Proposition 3.14], but is obtained by a different method. In particular, this enables us to compute the automorphism groups of these Hilbert squares from a different point of view with respect to [BCNS].
Let $X$ a projective manifold equipped with a codimension $1$ (maybe singular) distribution whose conormal sheaf is assumed to be pseudoeffective. By a theorem of Jean-Pierre Demailly, this distribution is actually integrable and thus defines a codimension $1$ holomorphic foliation $\F$. We aim at describing the structure of such a foliation, especially in the non abundant case: It turns out that $\F$ is the pull-back of one of the "canonical foliations" on a Hilbert modular variety. This result remains valid for "logarithmic foliated pairs".
Take a smooth, connected and non-degenerate projective curve $X\subset \mathbb {P}^r$, $r\ge 2b+2\ge 6$, defined over an algebraically closed field with characteristic $0$ and let $σ_b(X)$ be the $b$-secant variety of $X$. We prove that the $X$-rank of $q$ is at least $b+1$ for a non-empty codimension $1$ locally closed subset of $σ_b(X)$.
In this paper, we give three bases for the cohomology groups of the Hilbert scheme of two points on projective space. Then, we use these bases to compute all effective and nef cones of higher codimensional cycles on the Hilbert scheme. Next, we compute the class in one of these bases of the Chern classes of tautological bundles coming from line bundles. Finally, we provide an application of these results to the degrees of secant varieties of complete intersections.
Let $k$ be an algebraically closed field of characteristic $p > 3$. Let $X$ be an irreducible smooth projective surface over $k$. Fix an integer $n \geq 1$ and let ${\mathcal{H}{\it ilb}}_X^n$ be the Hilbert scheme parameterizing effective $0$-cycles of length $n$ on $X$. The aim of the present article is to find the $S$-fundamental group scheme and Nori's fundamental group scheme of the Hilbert scheme $\mathcal{H}{\it ilb}_X^n$.
For a finitely generated associative algebra $\cA$ over a commutative ring $k$ we construct the Hilbert scheme ${\bf H}^{[n]}_{\cA}$ which parametrizes left ideals in $\cA$ of codimension $n.$
We seek to characterize homology classes of Lagrangian projective spaces embedded in irreducible holomorphic-symplectic manifolds, up to the action of the monodromy group. This paper addresses the case of manifolds deformation-equivalent to the Hilbert scheme of length-three subschemes of a K3 surface. The class of the projective space in the cohomology ring has prescribed intersection properties, which translate into Diophantine equations. Possible homology classes correspond to integral points on an explicit elliptic curve; our proof entails showing that the only such point is two-torsion.
We study the birational geometry of deformations of Hilbert schemes of points on the projective plane P2. We complete the picture in the paper of Daniele Arcara, Aaron Bertram, Izzet Coskun and Jack Huizenga by giving an explicit correspondence between the stable base locus walls on the Neron-Severi space and the actual walls on the Bridgeland stability space. We show that the birational geometry of a deformed Hilb P2 is different from that of Hilb P2.
We discuss the minimal free resolution of an irreducible projective subscheme X. If X is also reduced, we focus on the case when its degree equals two plus the codimension. The set of all possible graded Betti numbers is described if the codimension is two. In general, there are only partial results. Then we discuss Cohen-Macaulay structures on a linear subspace. For such curves of degree two, the classification has been obtained by Notari, Spreafico, and the author. In general, the classification problem seems rather difficult. Vatne has shown that such a classification of structures whose de…
Let $X = \mathbb{P}(E_1) \times_C \mathbb{P}(E_2)$ where $C$ is a smooth curve and $E_1$, $E_2$ are vector bundles over $C$.In this paper we compute the pseudo effective cones of higher codimension cycles on $X$.
Obstructions for codimension one multiple fibers of Lagrangian and Calabi--Yau fibrations
Columbia University(哥伦比亚大学);Korea Institute for Advanced Study(韩国高等研究院);National Center for Theoretical Sciences, National Taiwan University(台湾大学理论科学研究中心);University of Sheffield(谢菲尔德大学)
Let $X$ be a submanifold of dimension $n$ of the complex projective space $\mathbb P^N$ ($n<N$), and let $E$ be a vector bundle of rank two on $X$ . If $n\geq\frac{N+3}{2}\geq 4$ we prove a geometric criterion for the existence of an extension of $E$ to a vector bundle on the first order infinitesimal neighborhood of $X$ in $\mathbb P^N$ in terms of the splitting of the normal bundle sequence of $Y\subset X\subset\mathbb P^N$, where $Y$ is the zero locus of a general section of a high twist of $E$. In the last section we show that the universal quotient vector bundle on the Grassmann variety $…
We give a basis for the vector space generated by rational Hodge classes of type (2,2) on the Hilbert square of a projective K3 surface general in its rank, which is a subspace of the singular cohomology ring with rational coefficients: we use Nakajima operators and an algebraic model developed by Lehn and Sorger as main tools. We then obtain a basis of the lattice generated by integral Hodge classes of type (2,2) on the Hilbert square of a projective K3 surface general in its rank: we exploit lattice theory, a theorem by Qin and Wang and a result by Ellingsrud, Göttsche and Lehn.
We compute the Hilbert series of general weighted flag varieties and discuss a computer-aided method to determine their defining equations. We apply our results to weighted flag varieties coming from the Lie groups of type G_2 and GL(6), to construct some families of polarised projective varieties in codimensions 8 and 6, respectively.