Let G/Q be an homogeneous variety embedded in a projective space P thanks to an ample line bundle L. Take a projective space containing P and form the cone X over G/Q, we call this a cone over an homogeneous variety.
Let $α$ a class of 1-cycle on X. In this article we describe the irreducible components of the scheme of morphisms of class $α$ from a rational curve to X.
The situation depends on the line bundle L : if the projectivised tangent space to the vertex contains lines (i.e. if G/Q contains lines in P) then the irreducible components are described as in our paper math.AG/0407123 by the difference between Cartier and Weil divisors. On the contrary if there is no line in the projectivised tangent space to the vertex then there are new irreducible components corresponding to the multiplicity of the curve through the vertex.
As in math.AG/0407123 we use a resolution Y of X (the blowing-up) and study the curves on Y.
We compute the nef cone of the Hilbert scheme of points on a general rational elliptic surface. As a consequence of our computation, we show that the Morrison-Kawamata cone conjecture holds for these nef cones.
The aim of this paper is to give another proof to a result on the image of a homogeneous quadratic map which is positive with respect to a homogeneous cone, given by Graczyk and Ishi in 2014. The new proof depends on a purely algebraic method, whereas the original depends on analytic arguments. This enables us to give explicit formulas of the basic relative invariants of homogeneous cones, obtained by the previous paper [J. Lie Theory 24 (2014), 1013--1032] without analytic arguments.
We verify the Morrison--Kawamata conjecture for a certain class of rational threefolds, namely blowups of P^3 in the base locus of a net of quadrics with no reducible members. This seems to be the first verified case of the conjecture for klt Calabi--Yau pairs in dimension 3 with non-zero boundary divisor.
We determine the effective cone of the Quot scheme parametrizing all rank r, degree d quotient sheaves of the trivial bundle of rank n on P^1. More specifically, we explicitly construct two effective divisors which span the effective cone, and we also express their classes in the Picard group in terms of a known basis.
Let $M \subset X$ be a submanifold of a rational homogeneous space $X$ such that the normal sequence splits. We prove that $M$ is also rational homogeneous.
We investigate the possible homological classes of rational curves on the moduli space $X_n=\bar{\mathcal{M}_{0,n}}$ of rational nodal curves with $n$ marked points. In the case of $X_5$ and $X_6$ the relevant homology classes belong to certain polyhedral cones which we describe explicitly. Not all homology classes in the cone correspond to rational curves, but all classes sufficiently far from the walls of the cone do. The proof for $X_5$ is explicit, the proof for $X_6$ was carried out using computers.
We give a classification of embedded smooth projective varieties swept out by rational homogeneous varieties whose Picard number and codimension are one.
In this paper, we introduce zeta values of rational convex cones, which is a generalization of cyclotomic multiple zeta values. These zeta values have integral expressions. The main theorem asserts that zeta values of cones can be expressed as linear combinations of cyclotomic multiple zeta values over some cyclotomic field.
Answering a problem raised by Lazarsfeld, Hwang and Mok proved that a surjective holomorphic map from a rational homogeneous space of Picard number 1 onto projective manifold different from projective space must be a biholomorphism. THe aim of this paper is to generalized this result to irreducible rational homogeneous space of higher Picard number.
This paper considers normal projective complex surface X with at worst Kawamata log terminal singularities and K_X is numerically trivial. The aim is to prove that there is a finite rational polyhedral cone which is a fundamental domain for the action Aut(X) on the rational convex hull of its ample cone.
We identify a set of initial rational contractions of fiber type on $\overline{M}_{0,6}$. Our proof uses a new algorithm we develop for verifying descriptions of the cone of effective divisors on varieties without elementary rational contractions of fiber type. On Mori dream spaces, our algorithm identifies faces of the cone of nef curves associated to initial rational contractions of fiber type.
Let X be a normal projective variety admitting an action of a semisimple group with a unique closed orbit. We construct finitely many rational curves in X, all having a common point, such that every effective one-cycle on X is rationally equivalent to a unique linear combination of these curves with non-negative rational coefficients. When X is nonsingular, these curves are projective lines, and they generate the integral Chow group of one-cycles.
We consider surfaces $X$ defined by plane divisorial valuations $ν$ of the quotient field of the local ring $R$ at a closed point $p$ of the projective plane $\mathbb{P}^2$ over an arbitrary algebraically closed field $k$ and centered at $R$. We prove that the regularity of the cone of curves of $X$ is equivalent to the fact that $ν$ is non positive on ${\mathcal O}_{\mathbb{P}^2}(\mathbb{P}^2\setminus L)$, where $L$ is a certain line containing $p$. Under these conditions, we characterize when the characteristic cone of $X$ is closed and its Cox ring finitely generated. Equivalent conditions …
Let $Y$ be a smooth rational surface and let $D$ be a cycle of rational curves on $Y$ which is an anticanonical divisor, i.e. an element of $|-K_Y|$. Looijenga studied the geometry of such surfaces $Y$ in case $D$ has at most five components and identified a geometrically significant subset $R$ of the divisor classes of square -2 orthogonal to the components of $D$. Motivated by recent work of Gross, Hacking, and Keel on the global Torelli theorem for pairs $(Y,D)$, we attempt to generalize some of Looijenga's results in case $D$ has more than five components. In particular, given an integral …
Complex projective algebraic varieties with $\mathbb{C}^*$-actions can be thought of as geometric counterparts of birational transformations. In this paper we describe geometrically the birational transformations associated to rational homogeneous varieties endowed with a $\mathbb{C}^*$-action with no proper isotropy subgroups.
We show that the pseudoeffective cone of $k$-cycles on a complete complexity one $T$-variety is rational polyhedral for any $k$, generated by classes of $T$-invariant subvarieties. When $X$ is also rational, we give a presentation of the Chow groups of $X$ in terms of generators and relations, coming from the combinatorial data defining $X$ as a $T$-variety.
A curve on a projective variety is called movable if it belongs to an algebraic family of curves covering the variety. We consider when the cone of movable curves can be characterized without existence statements of covering families by studying the complete intersection cone on a family of blow-ups of complex projective space, including the moduli space of stable six-pointed rational curves, $\bar{M}_{0,6}$, and the permutohedral or Losev-Manin moduli space of four-pointed rational curves. Our main result is that the movable and complete intersection cones coincide for the toric members of th…
Let $N$ be a point of an orbit closure $\bar{O_M}$ in a module variety such that its orbit $O_N$ has codimension two in $\bar{O_M}$. We show that under some additional conditions the pointed variety $(\bar{O_M},N)$ is smoothly equivalent to a cone over a rational normal curve.
We study global deformations of certain projective bundles over projective spaces. We show that any projective global deformation of a projective bundle over $\bP^1$ carries the structure of a projective bundle over some projective space. Furthermore, we construct examples in arbitrary dimension $\ge 3$ of almost homogeneous Fano projective bundles over $\bP^2$ which can be globally deformed to non-almost homogeneous manifolds.
We study the equivalence between infinitesimal Torelli theorem for smooth hypersurfaces in rational homogeneous varieties with Picard number one and the theory of generalized Massey products. This equivalence shows that the differential of the period map vanishes on an infinitesimal deformation if and only if certain twisted differential forms are elements of the Jacobian ideal of the hypersurface. We also prove an infinitesimal Torelli theorem result for smooth hypersurfaces in log parallelizable varieties.
Complete intersections inside rational homogeneous varieties provide interesting examples of Fano manifolds. For example, if $X = \cap_{i=1}^r D_i \subset G/P$ is a general complete intersection of $r$ ample divisors such that $K_{G/P}^* \otimes \mathcal{O}_{G/P}(-\sum_i D_i)$ is ample, then $X$ is Fano. We first classify these Fano complete intersections which are locally rigid. It turns out that most of them are hyperplane sections. We then classify general hyperplane sections which are quasi-homogeneous.
By studying the theory of rational curves, we introduce a notion of rational simple connectedness for projective homogeneous spaces. As an application, we prove that over a function field of an algebraic surface, a projective homogeneous space admits a rational point if the elementary obstruction vanishes.
In this short paper, we show that the fiber cones of rational normal scrolls are Cohen-Macaulay. As an application, we compute their Castelnuovo-Mumford regularities and $\mathbf{a}$-invariants, as well as the reduction number of the defining ideals of the rational normal scrolls. We also characterize the Gorensteinness of the fiber cone.
We give characterizations of a finite group $G$ acting symplectically on a rational surface ($\mathbb{C}P^2$ blown up at two or more points). In particular, we obtain a symplectic version of the dichotomy of $G$-conic bundles versus $G$-del Pezzo surfaces for the corresponding $G$-rational surfaces, analogous to a classical result in algebraic geometry. Besides the characterizations of the group $G$ (which is completely determined for the case of $\mathbb{C}P^2\# N\overline{\mathbb{C}P^2}$, $N=2,3,4$), we also investigate the equivariant symplectic minimality and equivariant symplectic cone of…
Let $M$ be an irreducible holomorphically symplectic manifold. We show that all faces of the Kahler cone of $M$ are hyperplanes $H_i$ orthogonal to certain homology classes, called monodromy birationally minimal (MBM) classes. Moreover, the Kahler cone is a connected component of a complement of the positive cone to the union of all $H_i$. We provide several characterizations of the MBM-classes. We show the invariance of MBM property by deformations, as long as the class in question stays of type (1,1). For hyperkahler manifolds with Picard group generated by a negative class $z$, we prove tha…
The space of smooth rational curves of degree $d$ in a projective variety $X$ has compactifications by taking closures in the Hilbert scheme, the moduli space of stable sheaves or the moduli space of stable maps respectively. In this paper we compare these compactifications by explicit blow-ups and -downs when $X$ is a projective homogeneous variety and $d\leq 3$. Using the comparison result, we calculate the Betti numbers of the compactifications when $X$ is a Grassmannian variety.
This paper is withdrawn. The current main theorem can be proved by using a simple field theory. The main theorem is to placed by another theorem, shortly.
We review and develop some techniques used to investigate the effective cones of higher codimension classes. Our results show that a large collection of boundary strata of rational tails type are extremal in their effective cones on $\overline{\mathcal{M}}_{g,n}$ and provide evidence for the conjecture that all boundary strata of $\overline{\mathcal{M}}_{g,n}$ are extremal. As a corollary, we show that all boundary strata are extremal in genus zero.
Assume that R is a local regular ring containing an infinite perfect field, or that R is the local ring of a point on a smooth scheme over an infinite field. Let K be the field of fractions of R and the characteristic of K is not 2. Let X be an exceptional projective homogeneous scheme over R. We prove that in most cases the condition that X has a K-point implies that X has an R-point.
Given a rational homogeneous manifold $S=G/P$ of Picard number one and a Schubert variety $S_0 $ of $S$, the pair $(S,S_0)$ is said to be homologically rigid if any subvariety of $S$ having the same homology class as $S_0$ must be a translate of $S_0$ by the automorphism group of $S$. The pair $(S,S_0)$ is said to be Schur rigid if any subvariety of $ S$ with homology class equal to a multiple of the homology class of $S_0$ must be a sum of translates of $S_0$. Earlier we completely determined homologically rigid pairs $(S,S_0)$ in case $S_0 $ is homogeneous and answered the same question in s…
Let G be a connected linear algebraic group over an algebraically closed field k, and let H be a connected closed subgroup of G. We prove that the homogeneous variety G/H is a rational variety over k whenever H is solvable, or when dim(G/H) < 11 and characteristic(k) = 0. When H is of maximal rank in G, we also prove that G/H is rational if the maximal semisimple quotient of G is isogenous to a product of almost-simple groups of type A, type C (when characteristic(k) is not 2), or type B_3 or G_2 (when characteristic(k) = 0).
We study the question whether rational homogeneous spaces are rigid under Fano deformation. In other words, given any smooth connected family f:X -> Zof Fano manifolds, if one fiber is biholomorphic to a rational homogeneous space S, whether is f an S-fibration? The cases of Picard number one were studied in a series of papers by J.-M. Hwang and N. Mok. For higher Picard number cases, we notice that the Picard number of a rational homogeneous space G/P is less or equal to the rank of G. Recently A. Weber and J. A. Wisniewski proved that rational homogeneous spaces G/P with Picard numbers equal…
We prove the connectedness of the moduli space of maps (of fixed genus and homology class) to the homogeneous space G/P by degeneration via the maximal torus action. In the genus 0 case, the irreducibility of the moduli of maps is a direct consequence of connectedness. An analysis of a related Bialynicki-Birula stratification of the map space yields a rationality result: the (coarse) moduli space of genus 0 maps to G/P is a rational variety. The rationality argument depends essentially upon rationality results for quotients of SL2 representations proven by Katsylo and Bogomolov.
Let $X$ be an $n$-dimensional complex Fano manifolds $(n\geq 3)$. Assume that $X$ contains a divisor $A$, which is isomorphic to a rational homogeneous space with Picard number one, such that the conormal bundle $\mathscr{N}^*_{A/X}$ is ample over $A$. Building on the works of Tsukioka, Watanabe and Casagrande-Druel, we give a complete classification of such pairs $(X,A)$.
Heisenberg Equivariant Compactifications of Rational Homogeneous Varieties
Shenzhen University（深圳大学）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；University of Chinese Academy of Sciences（中国科学院大学）；Institute for Basic Science（基础科学研究所）
In this paper, we investigate Murre's conjecture on the existence of a Chow--Kuenneth decomposition for a rational homogeneous bundle $Z\to S$ over a smooth variety, defined over complex numbers. Chow-Künneth decomposition is exhibited for $Z$ whenever $S$ has a Chow--Kuenneth decomposition. The same conclusion holds for a class of log homogeneous varieties, studied by M. Brion.
Smooth Schubert varieties in rational homogeneous manifolds of Picard number 1 are horospherical varieties. We characterize standard embeddings of smooth Schubert varieties in rational homogeneous manifolds of Picard number 1 by means of varieties of minimal rational tangents. In particular, we mainly consider nonhomogeneous smooth Schubert varieties in symplectic Grassmannians and in the 20-dimensional $F_4$-homogeneous manifold associated to a short simple root.
Starting point of the present work is a conjecture of F. Catanese which says that in the derived category of coherent sheaves on any rational homogeneous manifold G/P there should exist a complete strong exceptional poset and a bijection of the elements of the poset with the Schubert varieties in G/P such that the partial order on the poset is the order induced by the Bruhat-Chevalley order. The goal of this work is to provide further evidence for Catanese's conjecture, clarify some aspects of it and supply new techniques. In particular we prove a theorem on the derived categories of quadric b…
We show how to construct certain homogeneous deformations for rational normal varieties with codimension one torus action. This can then be used to construct homogeneous deformations of any toric variety in arbitrary degree. For locally trivial deformations coming from this construction, we calculate the image of the Kodaira-Spencer map. We then show that for a smooth complete toric variety, our homogeneous deformations span the space of first-order deformations.
We consider possibly singular rational projective k*-surfaces and provide an explicit description of the unit component of the automorphism group in terms of isotropy group orders and intersection numbers of suitable invariant curves. As an application, we characterize the almost homogeneous rational projective k*-surfaces and we specify the two-dimensional groups acting almost transitively as well as the corresponding homogeneous spaces.
We study extremality properties of covering families of rational curves on projective varieties. Among others, we show that on a normal and Q-factorial projective variety of dimension at most 4, every covering and quasi-unsplit family of rational curves generates a geometric extremal ray of the Mori cone.
We determine which tangential varieties of homogeneously embedded rational homogeneous varieties are spherical. We determine the homogeneous coordinate rings and rings of covariants of the tangential varieties of homogenously embedded compact Hermitian symmetric spaces (CHSS). We give bounds on the degrees of generators of the ideals of tangential varieties of CHSS and obtain more explicit infomation about the ideals in certain cases.
It is a well-known fact that families of minimal rational curves on rational homogeneous manifolds of Picard number one are uniform, in the sense that the tangent bundle to the manifold has the same splitting type on each curve of the family. In this note we prove that certain --stronger-- uniformity conditions on a family of minimal rational curves on a Fano manifold of Picard number one allow to prove that the manifold is homogeneous.
We study the null-cone of a semi-simple algebraic group acting on a number of copies of its Lie algebra via the diagonal adjoint action. We show that the null cone has rational singularities in the case of SL3. We observe by example that the null-cone is not normal in general and that the normalization of the null-cone does not have rational singularities in general. This is achieved by computing cohomology of certain vector bundles on flag varieties.
