We characterize Kaehler manifolds with trivial logarithmic tangent bundle (with respect to a divisor D) as a class of certain compatifications of complex semi-tori.
Beauville asked if a compact Kähler manifold with split tangent bundle has a universal covering that is a product of manifolds. We use Mori theory and elementary results about holomorphic foliations to study this problem for projective uniruled varieties. In particular we obtain an affirmative answer for rationally connected varieties in any dimension and uniruled varieties in dimension 4.
We study the geometry of projective manifolds whose tangent bundles are nef on sufficiently general curves (i.e. the tangent bundle is generically nef) and show that manifolds whose anticanonical bundles are semi-ample have this property. Furthermore we introduce a notion of sufficient nefness and investigate the relation with manifolds whose anticanonical bundles are nef.
We give a simple combinatorial proof of the toric version of Mori's theorem that the only $n$-dimensional smooth projective varieties with ample tangent bundle are the projective spaces $\mathbb{P}^n$.
In this paper, we establish the following version at infinity of Whitney's theorem [6, 7]: Geometric and algebraic tangent cones at infinity of complex algebraic varieties coincide. The proof of this fact is based on a geometric characterization of geometric tangent cones at infinity and using the global Łojasiewicz inequality with explicit exponents for complex algebraic varieties. We also show that tangent cones at infinity of complex algebraic varieties can be computed using Gröbner bases.
The main goal of this paper is to prove the polystability of the logarithmic tangent sheaf $\mathscr T_X(-D)$ of a log canonical pair $(X,D)$ whose canonical bundle $K_X+D$ is ample, generalizing in a significant way a theorem of Enoki. We apply this result and the techniques involved in its proof to get a version of this theorem for stable varieties (the higher dimensional analogue of Deligne-Mumford's stable curves) and to prove the polystability with respect to any polarization of the tangent sheaf of a singular Calabi-Yau variety.
I prove a crystalline characterization of abelian varieties in characteristic $p>0$ amongst the class of varieties with trivial tangent bundle. I show using my characterization that a smooth, projective, ordinary variety with trivial tangent bundle is an abelian variety if and only if its second crystalline cohomology is torsion free. I also show that a conjecture of Ke-Zheng Li about characteristic $p>0$ varieties with trivial tangent bundles is true for surfaces. I give a new proof of a result of Li and prove a refinement of it. Based on my characterization of abelian varieties I propose mod…
This paper generalises Mori's famous theorem about "Projective manifolds with ample tangent bundles" to normal projective varieties in the following way: A normal projective variety over $\mathbb{C}$ with ample tangent sheaf is isomorphic to the complex projective space.
Recently, Kanemitsu has discovered a counterexample to the long-standing conjecture that the tangent bundle of a Fano manifold of Picard number one is (semi)stable. His counterexample is a smooth horospherical variety. There is a weaker conjecture that the tangent bundle of a Fano manifold of Picard number one is simple. We prove that this weaker conjecture is valid for smooth horospherical varieties of Picard number one. Our proof follows from the existence of an irreducible family of unbendable rational curves whose tangent vectors span the tangent spaces of the horospherical variety at gene…
We describe the stratification by tensor rank of the points belonging to the tangent developable of any Segre variety. We give algorithms to compute the rank and a decomposition of a tensor belonging to the secant variety of lines of any Segre variety. We prove Comon's conjecture on the rank of symmetric tensors for those tensors belonging to tangential varieties to Veronese varieties.
We determine the stability/instability of the tangent bundles of the Fano varieties in a certain class of two orbit varieties, which are classified by Pasquier in 2009. As a consequence, we show that some of these varieties admit unstable tangent bundles, which disproves a conjecture on stability of tangent bundles of Fano manifolds.
We study the positivity of exterior powers of the tangent sheaf on toric varieties in order to generalize results by Campana and Peternell about 3-folds with nef second exterior power of the tangent bundle. Using the theory of equivariant vector bundles and the toric MMP, we establish in the smooth case a criterion for the positivity of $Λ^m\mathcal T_X$ in terms of wall relations. As an application, we classify smooth toric varieties of arbitrary dimension $n\ge3$ with $Λ^2\mathcal T_X$ nef and those of dimension $n\ge 4$ with $Λ^3\mathcal T_X$ ample.
We give an introduction to the theory of varieties of minimal rational tangents, emphasizing its aspect as a fusion of algebraic geometry and differential geometry, more specifically, a fusion of Mori geometry of minimal rational curves and Cartan geometry of cone structures.
Following Contou-Carrere [CC], we consider the Bott-Samelson resolution of a Schubert variety as a variety of galleries in the Tits building associated to the situation. We prove that the rational smoothness of a Schubert variety can be expressed in terms of a subspace of the Zariski tangent space called, the combinatorial tangent space. For this, we use a characterization of rational smoothness of a Schubert variety introduced by Carrell and Peterson [CP].
For a hypersurface in a projective space, we consider the set of pairs of a point and a line in the projective space such that the line intersects the hypersurface at the point with a fixed multiplicity. We prove that this set of pairs forms a smooth variety for a general hypersurface.
We give a combinatorial criterion for the tangent bundle on a smooth toric variety to be stable with respect to a given polarisation in terms of the corresponding lattice polytope. Furthermore, we show that for a smooth toric surface and a smooth toric variety of Picard rank 2, there exists an ample line bundle with respect to which the tangent bundle is stable if and only if it is an iterated blow-up of projective space.
Let $X$ be a smooth projective variety defined over an algebraically closed field of positive characteristic $p$ whose tangent bundle is nef. We prove that $X$ admits a smooth morphism $X \to M$ such that the fibers are Fano varieties with nef tangent bundle and $T_M$ is numerically flat. We also prove that extremal contractions exist as smooth morphisms. As an application, we prove that, if the Frobenius morphism can be lifted modulo $p^2$, then $X$ admits, up to a finite étale Galois cover, a smooth morphism onto an ordinary abelian variety whose fibers are products of projective spaces.
Winkelmann considered compact complex manifolds $X$ equipped with a reduced effective normal crossing divisor $D\, \subset\, X$ such that the logarithmic tangent bundle $TX(-\log D)$ is holomorphically trivial. He characterized them as pairs $(X,\, D)$ admitting a holomorphic action of a complex Lie group $\mathbb G$ satisfying certain conditions \cite{Wi1}, \cite{Wi2}; this $\mathbb G$ is the connected component, containing the identity element, of the group of holomorphic automorphisms of $X$ that preserve $D$. We characterize the homogeneous holomorphic principal $H$--bundles over $X$, wher…
Let $X$ be a nonsingular complex projective toric variety. We address the question of semi-stability as well as stability for the tangent bundle $T{X}$. In particular, a complete answer is given when $X$ is a Fano toric variety of dimension four with Picard number at most two, complementing earlier work of Nakagawa. We also give an infinite set of examples of Fano toric varieties for which $TX$ is unstable; the dimensions of this collection of varieties are unbounded. Our method is based on the equivariant approach initiated by Klyachko and developed further by Perling and Kool.
We propose a conjectural list of Fano manifolds of Picard number $1$ with pseudoeffective normalized tangent bundles, which we prove in various situations by relating it to the complete divisibility conjecture of Russo and Zak on varieties with small codegree. Furthermore, the pseudoeffective thresholds and hence the pseudoeffective cones of the projectivized tangent bundles of rational homogeneous spaces of Picard number $1$ are explicitly determined by studying the total dual VMRT and the geometry of stratified Mukai flops. As a by-product, we obtain sharp vanishing theorems on the global tw…
We give simple geometric proofs of Aprodu-Farkas-Papadima-Raicu-Weyman's theorem on syzygies of tangent developable surfaces of rational normal curves and Raicu-Sam's result on syzygies of K3 carpets. As a consequence, we obtain a quick proof of Green's conjecture for general curves of genus $g$ over an algebraically closed field $\mathbf{k}$ with $\operatorname{char}(\mathbf{k}) = 0$ or $\operatorname{char}(\mathbf{k}) \geq \lfloor (g-1)/2 \rfloor$. We also show the arithmetic normality of tangent developable surfaces of arbitrary smooth projective curves of large degree.
We consider tangent cones to Schubert subvarieties of the flag variety $G/B$, where $B$ is a Borel subgroup of a reductive complex algebraic group $G$ of type $E_6$, $E_7$ or $E_8$. We prove that if $w_1$ and $w_2$ form a good pair of involutions in the Weyl group $W$ of $G$ then the tangent cones $C_{w_1}$ and $C_{w_2}$ to the corresponding Schubert subvarieties of $G/B$ do not coincide as subschemes of the tangent space to $G/B$ at the neutral point.
We formulate the equivalence problem, in the sense of E. Cartan, for families of minimal rational curves on uniruled projective manifolds. An important invariant of this equivalence problem is the variety of minimal rational tangents. We study the case when varieties of minimal rational tangents at general points form an isotrivial family. The main question in this case is for which projective variety $Z$, a family of minimal rational curves with $Z$-isotrivial varieties of minimal rational tangents is locally equivalent to the flat model. We show that this is the case when $Z$ satisfies certa…
Let $X$ be a complex smooth projective variety such that the exterior power of the tangent bundle $\bigwedge^{r} T_X$ is nef for some $1\leq r<\dim X$. We prove that, up to an étale cover, $X$ is a Fano fiber space over an Abelian variety. This gives generalizations of the structure theorem of varieties with nef tangent bundle by Demailly, Peternell and Schneider and that of varieties with nef $\bigwedge^{2} T_X$ by the author. Our result also gives an answer to a question raised by Li, Ou and Yang for varieties with strictly nef $\bigwedge^{r} T_X$ when $r < \dim X$.
We construct the fine moduli space of log abelian varieties with PEL structure, which gives a toroidal compactification of the moduli space of abelian varieties with PEL structure.
Tangent spaces to Schubert varieties of type A were characterized by Lakshmibai and Seshadri. This result was extended to the other classical types by Lakshmibai. We give a uniform characterization of tangent spaces to Schubert varieties in cominuscule G/P. Our results extend beyond cominuscule G/P; they describe the tangent space to any Schubert variety in G/B at a point xB, where x is a cominuscule Weyl group element in the sense of Peterson. Our results also give partial information about the tangent space to any Schubert variety at any point. Our method is to describe the tangent spaces of…
In this paper, we study smooth complex projective varieties $X$ such that some exterior power $\bigwedge^r T_X$ of the tangent bundle is strictly nef. We prove that such varieties are rationally connected. We also classify the following two cases. If $T_X$ is strictly nef, then $X$ isomorphic to the projective space $\mathrm{P}^n$. If $\bigwedge^2 T_X$ is strictly nef and if $X$ has dimension at least $3$, then $X$ is either isomorphic to $\mathrm{P}^n$ or a quadric $\mathrm{Q}^n$.
We prove stability of logarithmic tangent sheaves of singular hypersurfaces D of the projective space with constraints on the dimension and degree of the singularities of D. As main application, we prove that determinants and symmetric determinants have stable logarithmic tangent sheaves and we describe an open dense piece of the associated moduli space.
Let $\mathcal D_{d,k}$ denote the discriminant variety of degree $d$ polynomials in one variable with at least one of its roots being of multiplicity $\geq k$. We prove that the tangent cones to $\mathcal D_{d,k}$ span $\mathcal D_{d,k-1}$ thus, revealing an extreme ruled nature of these varieties. The combinatorics of the web of affine tangent spaces to $\mathcal D_{d,k}$ in $\mathcal D_{d,k-1}$ is directly linked to the root multiplicities of the relevant polynomials. In fact, solving a polynomial equation $P(z) = 0$ turns out to be equivalent to finding hyperplanes through a given point $P(…
We compute the initial ideals, with respect to certain conveniently chosen term orders, of ideals of tangent cones at torus fixed points to Schubert varieties in orthogonal Grassmannians. The initial ideals turn out to be square-free monomial ideals and therefore Stanley-Reisner face rings of simplicial complexes. We describe these complexes. The maximal faces of these complexes encode certain sets of non-intersecting lattice paths.
We study minimal rational curves on a complex manifold that are tangent to a distribution. In this setting, the variety of minimal rational tangents (VMRT) has to be isotropic with respect to the Levi tensor of the distribution. Our main result is a converse of this: any smooth projective variety isotropic with respect to a vector-valued anti-symmetric form can be realized as VMRT of minimal rational curves tangent to a distribution on a complex manifold. The complex manifold is constructed as a partial equivariant compactification of a metabelian group, which is a result of independent intere…
Tangent spaces of spherical Schubert varieties and counterexamples to the reducedness conjecture
Yau Mathematical Sciences Center, Tsinghua University(清华大学丘成桐数学科学中心);Department of Mathematics, University of North Carolina at Chapel Hill(北卡罗来纳大学教堂山分校数学系);Department of Mathematics, Jiangxi University of Finance and Economics(江西财经大学数学系)
Let $ϕ: X \to \mathbb P^n$ be a double cover branched along a smooth hypersurface of degree $2m, 2 \leq m \leq n-1$. We study the varieties of minimal rational tangents $\mathcal C_x \subset \mathbb P T_x(X)$ at a general point $x$ of $X$. We describe the homogeneous ideal of $\mathcal C_x$ and show that the projective isomorphism type of $\mathcal C_x$ varies in a maximal way as $x$ varies over general points of $X$. Our description of the ideal of $\mathbb C_x$ implies a certain rigidity property of the covering morphism $ϕ$. As an application of this rigidity, we show that any finite morphi…
The purpose of this paper is to translate positivity properties of the tangent bundle (and the anti-canonical bundle) of an algebraic manifold into existence and movability properties of rational curves and to investigate the impact on the global geometry of the manifold $X$. Among the results we prove are these: \quad If $X$ is a projective manifold, and ${\cal E} \subset T_X$ is an ample locally free sheaf with $n-2\ge rk {\cal E}\ge n$, then $X \simeq \EP_n$. \quad Let $X$ be a projective manifold. If $X$ is rationally connected, then there exists a free $T_X$-ample family of (rational) cur…
The present article studies the finite Zariski tangent spaces to an affine variety X as linear codes, in order to characterize their typical or exceptional properties by global geometric conditions on X. The discussion concerns the generic minimum distance of a tangent code to X, its lower semi-continuity under a deformation of X, as well as the existence of Zariski tangent spaces to X with exceptional minimum distance. Tangent codes are shown to admit simultaneous decoding. The duals of the tangent codes to X are realized by gradients of polynomials from the ideal of X. We provide constructio…
Let $G$ be a complex reductive group, $T$ be a maximal torus of $G$, $B$ be a Borel subgroup of $G$ containing $T$, $W$ be the Weyl group of $G$ with respect to $T$. To each element $w$ of $W$ one can associate the Schubert subvariety $X_w$ of the flag variety $G/B$, the tangent cone to $X_w$ at the identity point $p$ considered as a subcheme of the tangent space $T_p(G/B)$, and the reduced tangent cone to $X_w$ at $p$ considered as a subvariety of $T_p(G/B)$. Let $w_1$, $w_2$ be distinct involutions in $W$. We prove that if $G$ is of type $B_n$ or $C_n$, then the tangent cones corresponding t…
We investigate the logarithmic bundles associated to arrangements of hypersurfaces with a fixed degree in a smooth projective variety. We then specialize to the case when the variety is a quadric hypersurface and a multiprojective space to prove a Torelli type theorem in some cases.
Given a rational homogeneous variety G/P where G is complex simple and of type ADE, we prove that all tangent bundles T_{G/P} are simple, meaning that their only endomorphisms are scalar multiples of the identity. This result combined with Hitchin-Kobayashi correspondence implies stability of these tangent bundles with respect to the anticanonical polarization. Our main tool is the equivalence of categories between homogeneous vector bundles on G/P and finite dimensional representations of a given quiver with relations.
The set of T-invariant curves in a Schubert variety through a T-fixed point is relatively easy to characterize in terms of its weights, but the tangent space is more difficult. We prove that the weights of the tangent space are contained in the rational cone generated by the weights of the T-invariant curves. In simply laced types, this remains true if "rational" is replaced by "integral". We also obtain conditions under which every weight of the tangent space is the weight of a T-invariant curve, as well as a smoothness criterion. The results rely on equivariant K-theory, as well as the study…