We study open equivariant projective embeddings of homogeneous spaces such that the complement of the open orbit does not contain divisors. Criterions of existence of such an embedding are considered and finiteness of isomorphism classes of embeddings for a given homogeneous space is proved. Any embedding with small boundary is realized as a GIT-quotient associated with a linearization of the trivial line bundle on the space of the canonical embedding. The generalized Cox's construction and the theory of bunched rings allow us to describe basic geometric properties of embeddings with small boundary in combinatorial terms.
We construct irreducible complex projective varieties such that the Lyubeznik numbers of their affine cones depend on the choices of projective embeddings. The main ingredient is the recent work of Reichelt-Saito-Walther, where the Lyubeznik numbers are reinterpreted using perverse sheaves and reducible projective varieties with dependent Lyubeznik numbers are constructed.
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.
Let V be a normal affine surface which admits a C*- and a C+-action. In this note we show that in many cases V can be embedded as a principal Zariski open subset into a hypersurface of a weighted projective space. In particular, we recover a result of D. Daigle and P. Russell.
We give a classification of embedded smooth projective varieties swept out by rational homogeneous varieties whose Picard number and codimension are one.
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.
In this article we prove a result comparing rationality of algebraic cycles over the function field of a projective homogeneous variety under a linear algebraic group of type $F_4$ or $E_8$ and over the base field, which can be of any characteristic.
Let X be a nonsingular arithmetically Cohen-Macaulay projective scheme, Z a nonsingular subscheme of X. Let π: Y --> X be the blowup of X along the ideal sheaf of Z, E_0 the pull-back of a general hyperplane in X and E the exceptional divisor. In this paper, we study projective embeddings of Y given by the divisor tE_0 - eE. We give explicit values of d and δsuch that for all e > 0 and t > ed + δ, these embeddings is projectively normal and arithmetically Cohen-Macaulay. We also study the regularity of the ideal sheaf and syzygies of these embeddings. When X is a surface and Z is a 0-dimension…
In this addendum we generalize some results of our article "Generically split projective homogeneous varieties", Duke Math. J. 152 (2010), no. 1, 155-173. More precisely, we remove all restrictions on the characteristic of the base field and complete our classification by the last missing case, namely $\PGO_{2n}^+$.
Let $G$ be a semi-simple algebraic group over a perfect field $k$. A lot of progress has been made recently in computing the Chow motives of projective $G$-homogenous varieties. When $k$ has positive characteristic, a broader class of $G$-homogeneous varieties appear. These are varieties over which $G$ acts transitively with possibly non-reduced isotropy subgroup. In this paper we study these varieties which we call ${\it \mbox{projective pseudo-homogeneous varieties}}$ for $G$ inner type over $k$ and prove that their motives satisfy Rost nilpotence. We also find their motivic decompositions a…
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.
We prove an elementary but somewhat unexpected result about projective embeddings of smooth varieties X whose cotangent bundles are numerically effective. Specifically, we show that the degree of X in any projective embedding must grow (almost) exponentially in the dimension of X.
We prove that under some assumptions on an algebraic group $G$, indecomposable direct summands of the motive of a projective $G$-homogeneous variety with coefficients in $\mathbb{F}_p$ remain indecomposable if the ring of coefficients is any field of characteristic $p$. In particular for any projective $G$-homogeneous variety $X$, the decomposition of the motive of $X$ in a direct sum of indecomposable motives with coefficients in any finite field of characteristic $p$ corresponds to the decomposition of the motive of $X$ with coefficients in $\mathbb{F}_p$. We also construct a counterexample …
We give a complete classification of anisotropic projective homogeneous varieties of dimension less than 6 up to motivic isomorphism. We give several criteria for anisotropic flag varieties of type A_n to have isomorphic motives.
In this paper we construct a tilting sheaf for Severi-Brauer Varieties and Involution Varieties. This sheaf relates the derived category of each variety to the derived category of modules over a ring whose semisimple component consists of the Tits algebras of the corresponding linear algebraic group.
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.
Let A be a central division algebra over a field F with ind A = n. In computing canonical p-dimension of projective PGL_1(A)-homogeneous varieties, for p prime, we can reduce to the case of generalized Severi-Brauer varieties X_e(A) with ind A a power of p divisible by e. We prove that canonical 2-dimension (and hence canonical dimension) equals dimension for all X_e(A) with ind A = 2e a power of 2.
We construct complex projective schemes with Lyubeznik numbers of their cones depending on the choices of projective embeddings. This answers a question of G. Lyubeznik in the characteristic 0 case. It contrasts with a theorem of W. Zhang in the positive characteristic case where the Frobenius endomorphism is used. Reducibility of schemes is essential in our argument. B. Wang recently constructed examples of irreducible projective schemes (which are not normal) from our examples of reducible ones. So the question is still open in the normal singular case.
We consider those projective bundles (or Brauer-Severi varieties) over an abelian variety that are homogeneous, i.e., invariant under translation. We describe the structure of these bundles in terms of projective representations of commutative algebraic groups; the irreducible bundles correspond to Heisenberg groups and their standard representations. Our results extend those of Mukai on semi-homogeneous vector bundles, and yield a geometric view of the Brauer group of abelian varieties.
An explicit projective embedding of the moduli space of marked cubic surfaces is given. This embedding is equivariant under the Weyl group of type E6. The image is defined by a system of linear and cubic equations. To express the embedding in a most symmetric way, the target would be 79-dimensional, however the image lies in a 9-dimensional linear subspace.
In arXiv:math/0405373 , Eisenbud, Huneke and Ulrich conjectured a result on the Castelnuovo-Mumford regularity of the embedding of a projective space $\mathbb{P}^{n-1}\hookrightarrow \mathbb{P}^{r-1}$ determined by generators of a linearly presented $\mathfrak{m}$-primary ideal. This result implies in particular that the image is scheme defined by equations of degree at most $n$. In this text we prove that the ideal of maximal minors of the Jacobian dual matrix associated to the input ideal defines the image as a scheme; it is generated in degree $n$. Showing that this ideal has a linear resol…
Reason for withdrawal: There is a serious mistake in the calculation of the divisor of the rational section used in the proof of Prop. 2.2.1., and with the correct value the argument does not work.
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 the present paper we provide a general algorithm to compute multiplicative cohomological operations on algebraic oriented cohomology of projective homogeneous G-varieties, where G is a split reductive algebraic group over a field of characteristic 0. More precisely, we extend such operations to the respective T-equivariant (T is a maximal split torus of G) oriented theories, and then compute them using equivariant Schubert calculus techniques. This generalizes an approach suggested by Garibaldi-Petrov-Semenov for Steenrod operations. We also show that operations on the theories of additive …
Let $X$ be an arbitrary projective scheme over a field $k$. Let $A$ be the local ring at the vertex of the affine cone for some embedding $ι: X\hookrightarrow \mathbb{P}^n_k$. G. Lyubeznik asked (in \cite{l2}) whether the integers $λ_{i,j}(A)$ (defined in \cite{l1}), called the Lyubeznik numbers of $A$, depend only on $X$, but not on the embedding. In this paper, we make a big step toward a positive answer to this question by proving that in positive characteristic, for a fixed $X$, the Lyubezink numbers $λ_{i,j}(A)$ of the local ring $A$, can only achieve finitely many possible values under a…
A criterion for the existence of a birational embedding of an algebraic curve into a projective plane with two Galois points is presented. Several novel examples of plane curves with two inner Galois points as an application are described.
Let $X$ be a projective scheme over a field $k$ and let $A$ be the local ring at the vertex of the affine cone of $X$ under some embedding $X\hookrightarrow\mathbb{P}^n_k$. We prove that, when $\ch(k)>0$, the Lyubeznik numbers $λ_{i,j}(A)$ are intrinsic numerical invariants of $X$, i.e., $λ_{i,j}(A)$ depend only on $X$, but not on the embedding.
The main goal of this paper is to prove the Schmidt--Kolchin conjecture. This conjecture says the following: the vector space of degree \(d\) differentially homogeneous polynomials in \((N+1)\) variables is of dimension \((N+1)^{d}\). Next, we establish a one-to-one correspondance between differentially homogeneous polynomials in \((N+1)\) variables, and twisted jet differentials on projective spaces. As a by-product of our study of differentially homogeneous polynomials, we are thus able to understand explicitly twisted jet differentials on projective spaces.
We give bounds on the order of torsion in the Chow group of zero dimensional cycles for isotropic Grassmannians and Brauer-Severi flag varieties. To do this, we introduce tools to understand the behavior of torsion in Chow groups with coefficients under morphisms of proper varieties
This paper deals with syzygies of Segre embeddings. Let d >=3 and n_1, ..., n_d nonzero natural numbers. We prove that O(1,...., 1) on the product of P^{n_1}, ...,P^{n_d} satisfies Property N_p if and only if p <= 3.
We will consider an explicit birational map between a quadric and the projective variety X(J) of traceless rank one elements in a simple reduced Jordan algebra J. X(J) is a homogeneous G-variety for the automorphism group G=Aut(J). We will show that the birational map is a blow up followed by a blow down. This will allow us to use the blow up formula for motives together with Vishik's work on the motives of quadrics to give a motivic decomposition of X(J).
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.
Let $C \subset \mathbb {P}^r$ a general embedding of prescribed degree of a general smooth curve with prescribed genus. Here we prove that either $h^0(\mathbb {P}^r,\mathcal {I}_C(2)) =0$ or $h^1(\mathbb {P}^r,\mathcal {I}_C(2)) =0$ (a problem called the Maximal Rank Conjecture in the range of quadrics).
We construct new examples of exceptional collections of line bundles on the variety of Borel subgroups of a split semisimple linear algebraic group G of rank 2 over a field. We exhibit exceptional collections of the expected length for types A_2 and B_2=C_2 and prove that no such collection exists for type G_2. This settles the question of the existence of full exceptional collections of line bundles on projective homogeneous G-varieties for split linear algebraic groups G of rank at most 2.
Let $\cP=G/P$ be a homogeneous projective variety with $G$ a reductive group and $P$ a parabolic subgroup. In positive characteristic we exhibit for $G$ of low rank a Karoubian complete strongly exceptional poset of locally free sheaves appearing in the Frobenius direct image of the structure sheaf of $G/P$. These sheaves are all defined over $\bbZ$, so by base change provide a Karoubian complete strongly exceptional poset on $\cP$ over $\bbC$, adding to the list of classical results by Beilinson and Kapranov on the Grassmannians and the quadrics over $\bbC$.
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.
Let $f(\bf z,\bar{\bf z})$ be a strongly mixed homogeneous polynomial of 3 variables $\bf z=(z_1,z_2,z_3)$ of polar degree $q$ with an isolated singularity at the origin. It defines a smooth Riemann surface $C$ in the complex projective space $\mathbb P^2$. The fundamental group of the complement $\mathbb P^2\setminus C$ is cyclic group of order $q$ if $f$ is homogeneous polynomial without $\bar{\bf z}$. We propose a conjecture that this may be even true for mixed homogeneous polynomials by giving several supporting examples.
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 embeddability of superschemes into $Π$-projective spaces and into supergrassmannians $G(1|1,n|n)$. We give some criteria based on the relation with ${\mathbb{A}}^{0|1}$-torsors and ${\mathbb{A}}^{0|1}$-fibrations. We also prove the existence of nice quotients for free actions of ${\mathbb{A}}^{0|1}$ on superschemes.
Let $M_1$ and $M_2$ be two Kähler manifolds. One says that $M_1$ and $M_2$ are "relatives" if they share a non-trivial Kähler submanifold $S$, namely, if there exist two holomorphic and isometric immersions (Kähler immersions) $h_1: S -> M_1$ and $h_2: S -> M_2$. In this paper we show that a bounded homogeneous domain with a homogeneous Kähler metric and a projective Kähler manifold (i.e. a projective manifold endowed with the restriction of the Fubini-Study metric) are not relatives. Our result is a generalization of the result obtained by A. J. Di Scala and A. Loi (in "Kähler manifolds and t…
Grothendieck-Chow motives of quadric hypersurfaces have provided many insights into the theory of quadratic forms. Subsequently, the landscape of motives of more general projective homogeneous varieties has begun to emerge. In particular, there have been many results which relate the motive of a one homogeneous variety to motives of other simpler or smaller ones. In this paper, we exhibit a relationship between motives of two homogeneous varieties by producing a natural rational map between them which becomes a projective bundle morphism after being resolved. This allows one to use formulas fo…
In this paper we develop the "local part" of our local/global approach to globally valued fields (GVFs). The "global part", which relies on these results, is developed in a subsequent paper.We study virtual divisors on projective varieties defined over a valued field $K$, as well as sub-valuations on polynomial rings over $K$ (analogous to homogeneous polynomial ideals). We prove a Nullstellensatz-style duality between projective varieties equipped with virtual divisors (analogous to projective varieties over a plain field) and certain sub-valuations on polynomial rings over $K$ (analogous to …
I. Panin proved in the nineties that the algebraic K-theory of twisted projective homogeneous varieties can be expressed in terms of central simple algebras. Later, Merkurjev and Panin described the algebraic K-theory of toric varieties as a direct summand of the algebraic K-theory of separable algebras. In this article, making use of the recent theory of noncommutative motives, we extend Panin and Merkurjev-Panin computations from algebraic K-theory to every additive invariant. As a first application, we fully compute the cyclic homology (and all its variants) of twisted projective homogeneou…
We present a new proof of the classification of complex simple Lie algebras via the projective geometry of homogeneous varieties. Our proof proceeds by constructing homogeneous varieties using the ideals of the secant and tangential varieties of homogeneous varieties already constructed. Our algorithms make no reference to root systems. Our proofs use properties of root systems, but not their classification.
Let $\hat{L}$ be the projective completion of an ample line bundle $L$ over $D$, a smooth projective manifold. Hwang-Singer \cite{HwangS} have constructed complete CSCK metric on $\hat{L}\backslash D$. When the corresponding \kahler form is in the cohomology class of a rational divisor $A$ and when $L$ has negative CSCK metric on $D$, we show that the Kodaira embedding induced by orthonormal basis of the Bergman space of $kA$ is almost balanced. As a corollary, $(\hat{L},D,cA,0)$ is K-semistable.
Given an embedding of a smooth projective curve $X$ of genus $g\geq1$ into $\mathbb{P}^N$, we study the locus of linear subspaces of $\mathbb{P}^N$ of codimension 2 such that projection from said subspace, composed with the embedding, gives a Galois morphism $X\to\mathbb{P}^1$. For genus $g\geq2$ we prove that this locus is a smooth projective variety with components isomorphic to projective spaces. If $g=1$ and the embedding is given by a complete linear system, we prove that this locus is also a smooth projective variety whose positive-dimensional components are isomorphic to projective bund…
An embedding of a point-line geometry Γis usually defined as an injective mapping εfrom the point-set of Γto the set of points of a projective space such that ε(l) is a projective line for every line l of Γ, but different situations have lately been considered in the literature, where ε(l) is allowed to be a subline of a projective line or a curve. In this paper we propose a more general definition of embedding which includes all the above situations and we focus on a class of embeddings, which we call Grassmman embeddings, where the points of Γare firstly associated to lines of a projective g…
Over a field of positive characteristic, a semisimple algebraic group $G$ may have some nonreduced parabolic subgroup $P$. In this paper, we study the Schubert and Bott-Samelson-Demazure-Hansen (BSDH) varieties of $G/P$, with $P$ nonreduced, when the base field is perfect. It is shown that in general the Schubert and BSDH varieties of such a $G/P$ are not normal, and the projection of the BSDH variety onto the Schubert variety has nonreduced fibers at closed points. When the base field is finite, the generalized convolution morphisms between BSDH varieties are also studied. It is shown that th…
We study the projective geometry of homogeneous varieties $X= G/P\subset P(V)$, where $G$ is a complex simple Lie group, $P$ is a maximal parabolic subgroup and $V$ is the minimal $G$-module associated to $P$. Our study began with the observation that Freudenthal's magic chart could be derived from Zak's theorem on Severi varieties and standard geometric constructions. Our attempt to understand this observation led us to discover further connections between projective geometry and representation theory. Among other things, we calculate the variety of tangent directions to lines on $X$ through …
The Deligne-Lusztig varieties associated to the Coxeter classes of the algebraic groups 2A2, 2B2 and 2G2 are affine algebraic curves. We produce explicit projective models of the closures of these curves. Furthermore for $d$ the Coxeter number of these groups, we find polynomials for each of these models that cut out the $\F_q$-points, the $\F_{q^d}$-points and the $\F_{q^{d+1}}$-points, and demonstrate a relation satisfied by these polynomials.
In this article we generalize the injectivity of the push-forward homomorphism at the level of Chow groups, induced by the closed embedding of $\Sym^m C$ into $\Sym^n C$ for $m\leq n$, where $C$ is a smooth projective curve, to symmetric powers of a smooth projective variety of higher dimension. We also prove the analog of this theorem for product of symmetric powers of smooth projective varieties. As an application we prove the injectivity of the push-forward homomorphism at the level of Chow groups, induced by the closed embedding of self product of theta divisor into the self product of the…
Automorphism groups and Homogeneous fibrations on projective varieties with nef anticanonical divisors
Department of Mathematics, Southern University of Science and Technology（南方科技大学数学系）；Department of Mathematical Sciences, Xi’an Jiaotong-Liverpool University（西交利物浦大学数学科学系）
The Jacobian ideal provides the set of infinitesimally trivial deformations for a homogeneous polynomial, or for the corresponding complex projective hypersurface. In this article, we investigate whether the associated linear deformation is indeed trivial, and show that the answer is no in a general situation. We also give a characterization of tangentially smoothable hypersurfaces with isolated singularities. Our results have applications in the local study of variations of projective hypersurfaces, complementing the global versions given by J. Carlson and P. Griffiths, R. Donagi and the auth…
