We describe smooth projective horospherical varieties with Picard number 1. Moreover we prove that the automorphism group of any such variety acts with at most two orbits and we give a geometric characterisation of non-homogeneous ones.
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 classify all smooth projective horospherical varieties of Picard group $\mathbb{Z}^2$ and we give a first description of their geometry via the Log Minimal Model Program.
Property $\mathcal{O}$ for an arbitrary complex, Fano manifold $X$, is a statement about the eigenvalues of the linear operator obtained from the quantum multiplication of the anticanonical class of $X$. Conjecture $\mathcal{O}$ is a conjecture that Property $\mathcal{O}$ holds for any Fano variety. Pasquier listed the smooth non-homogeneous horospherical varieties of Picard rank 1 into five classes. Conjecture $\mathcal{O}$ has already been shown to hold for the odd symplectic Grassmannians which is one of these classes. We will show that Conjecture $\mathcal{O}$ holds for two more classes an…
Geometric structures modeled on rational homogeneous manifolds are studied to characterize rational homogeneous manifolds and to prove their deformation rigidity. To generalize these characterizations and deformation rigidity results to quasihomogeneous varieties, we first study horospherical varieties and geometric structures modeled on horospherical varieties. Using Cartan geometry, we prove that a geometric structure modeled on a smooth projective horospherical variety of Picard number one is locally equivalent to the standard geometric structure when the geometric structure is defined on a…
We prove a conjecture of L.Bonavero, C. Casagrande, O. Debarre and S. Druel, on the pseudo-index of smooth Fano varieties, in the special case of horospherical varieties.
A horospherical variety is a normal algebraic variety where a connected reductive algebraic group acts with an open orbit isomorphic to a torus bundle over a flag variety. In this article we study the cohomology of line bundles on complete horospherical varieties.
In a previous work, we described the Minimal Model Program in the family of $\Qbb$-Gorenstein projective horospherical varieties, by studying certain continuous changes of moment polytopes of polarized horospherical varieties. Here, we summarize the results of the previous work and we explain how to generalize them in order to describe the Log Minimal Model Program for pairs $(X,\D)$ when $X$ is a projective horospherical variety.
Let X and Y be horospherical Mori fibre spaces which are birational equivariantly with respect to the group action. Then, there is a horospherical Sarkisov program from X/S to Y /T .
We describe the Minimal Model Program in the family of $\mathbb{Q}$-Gorenstein projective horospherical varieties, by studying a family of polytopes defined from the moment polytope of a Cartier divisor of the variety we begin with. In particular, we generalize the results on MMP in toric varieties due to M. Reid, and we complete the results on MMP in spherical varieties due to M. Brion in the case of horospherical varieties.
We investigate flexibility of affine varieties with an action of a linear algebraic group. Flexibility of a smooth affine variety with only constant invertible functions and a locally transitive action of a reductive group is proved. Also we show that a normal affine complexity-zero horospherical variety is flexible.
In this paper we describe orbits of automorphism group on a horospherical variety in terms of degrees of homogeneous with respect to natural grading locally nilpotent derivations. In case of (may be non-normal) toric varieties a description of orbits of automorphism group in terms of corresponding weight monoid is obtained.
In 2013 Bazhov proved a criterium for two points on a complete toric variety to lie in the same orbit of the neutral component of automorphism group. This criterium is in terms of divisor class group. Arzhantsev-Bazhov (2013) obtained a similar criterium for affine toric varieties. We prove a necessary condition similar this criteria to the cases of affine and projective horospherical varieties.
A horospherical variety is a normal algebraic variety where a reductive algebraic group acts with an open orbit which is a torus bundle over a flag variety. For example, toric varieties and flag varieties are horospherical. In this paper, we classify Fano horospherical varieties in terms of certain rational polytopes that generalize the reflexive polytopes considered by V. Batyrev. Then, we obtain an upper bound on the degree of smooth Fano horospherical varieties, analogus to that given by O. Debarre in the toric case. We extend a recent result of C. Casagrande: the Picard number of any Fano …
We present geometric realizations of horospherical two-orbit varieties, by showing that their blow-up along the unique closed-invariant orbit is the zero locus of a general section of a homogeneous vector bundle over some auxiliary variety. As an application, we compute the cohomology ring of the $G_2$-variety, including its quantum version. We also consider the Spin$_7$-variety, which deserves a different treatment.
We study the equivariant real structures on complex horospherical varieties, generalizing classical results known for toric varieties and flag varieties. In particular, we obtain a necessary and sufficient condition for the existence of such real structures and determine the number of equivalence classes. We then apply our results to classify the equivariant real structures on smooth projective horospherical varieties of Picard rank 1.
For arbitrary connected reductive group G we consider the motivic integral over the arc space of an arbitrary Q-Gorenstein horospherical G-variety associated with a colored fan and prove a formula for the stringy E-function of a horospherical variety X which generalizes the one for toric varieties. We remark that in contrast to toric varieties the stringy E-function of a Gorenstein horospherical variety X may be not a polynomial if some cones in the fan of X have nonempty sets of colors. Using the stringy E-function, we can formulate and prove a new smoothness criterion for locally factorial h…
We classify all smooth projective horospherical varieties with Picard number 1. We prove that the automorphism group of any such variety X acts with at most two orbits and that this group still acts with only two orbits on X blown up at the closed orbit. We characterize all smooth projective two-orbits varieties with Picard number 1 that satisfy this latter property.
Pasquier and Perrin discovered that the ${\rm G}_2$-horospherical manifold ${\bf X}$ of Picard number 1 can be realized as a smooth specialization of the rational homogeneous space parameterizing the lines on the 5-dimensional hyperquadric, in other words, it can be deformed nontrivially to the rational homogeneous space. We show that ${\bf X}$ is the only smooth projective variety with this property. This is obtained as a consequence of our main result that ${\bf X}$ can be recognized by its VMRT, namely, a Fano manifold of Picard number 1 is biregular to ${\bf X}$ if and only if its VMRT at …
We show that nef cycle classes on smooth complete spherical varieties are effective, and the products of nef cycle classes are also nef. Let X be a smooth projective spherical variety such that its effective cycle classes of codimension k are nef, where 1<= k <= dim(X)-1. We study the properties of X. And we show that if X is a toric variety, then X is isomorphic to the product of some projective spaces; if X is toroidal, then X is isomorphic to a rational homogeneous space; if X is horospherical, dim(X)>= 3 and k=2, then effective divisors on X are nef; if X is horospherical and effective div…
In this paper we determine the stringy motivic volume of log terminal horospherical $G$-varieties of complexity one, where $G$ is a connected reductive linear algebraic group. The stringy motivic volume of a log terminal variety is an invariant of singularities which was introduced by Batyrev and plays an important role in mirror symmetry for Calabi--Yau varieties. A horospherical $G$-variety of complexity one is a normal $G$-variety which is equivariantly birational to a product $C \times G/H$, where $C$ is a smooth projective curve and the closed subgroup $H$ contains a maximal unipotent sub…
Let $G$ be a connected reductive complex algebraic group. This paper is part of a project devoted to the space $Z$ of meromorphic quasimaps from a curve into an affine spherical $G$-variety $X$. The space $Z$ may be thought of as an algebraic model for the loop space of $X$. The theory we develop associates to $X$ a connected reductive complex algebraic subgroup $\check H$ of the dual group $\check G$. The construction of $\check H$ is via Tannakian formalism: we identify a certain tensor category $Q(Z)$ of perverse sheaves on $Z$ with the category of finite-dimensional representations of $\ch…
The aim of this article is the construction of the interior motive of a Picard variety. Those are Shimura varieties of PEL type. Our result is an application of the strategy developed by Wildeshaus to construct a Hecke-invariant motive whose realizations correspond to interior cohomology.
Symmetric varieties are normal equivariant open embeddings of symmetric homogeneous spaces and they are interesting examples of spherical varieties. The principal goal of this article is to study the rigidity under Kähler deformations of smooth projective symmetric varieties with Picard number one.
In this paper, we study derived categories of certain toric varieties with Picard number three that are blowing-up another toric varieties along their torus invariant loci of codimension at most three. We construct strong full exceptional collections by using Orlov's blow-up formula and mutations.
In this paper we study the geometry of mildly singular Fano varieties on which there is an effective prime divisor of Picard number one. Afterwards, we address the case of toric varieties. Finally, we treat the lifting of extremal contractions to universal covering spaces in codimension 1.
In this paper, we study the set $R_g^{(p)}$ of possible Picard numbers of abelian varieties of dimension $g$ over algebraically closed fields of characteristic $p>0$. We show that many of the results for complex abelian varieties have analogues in positive characteristic: non-completeness in dimension $g \geq 2$, asymptotic completeness as $g \rightarrow +\infty$, structure results for abelian varieties of large Picard number. On the way, we highlight and discuss new characteristic $p>0$ features and pathologies: non-additivity of the range of Picard numbers, supersingularity index of an abeli…
We investigate full strongly exceptional collections on smooth, com- plete toric varieties. We obtain explicit results for a large family of varieties with Picard number three, containing many of the families already known. We also describe the relations between the collections and the split of the push forward of the trivial line bundle by the toric Frobenius morphism.
We compute the Picard group of the universal abelian variety over the moduli stack $\mathscr A_{g,n}$ of principally polarized abelian varieties over $\mathbb{C}$ with a symplectic principal level $n$-structure. We then prove that over $\mathbb{C}$ the statement of the Franchetta conjecture holds in a suitable form for $\mathscr A_{g,n}$.
We show that every connected commutative algebraic group over an algebraically closed field of characteristic 0 is the Picard variety of some projective variety, obtained by pinching a smooth variety along a finite subscheme. In contrast, no Witt group of dimension at least 3 over a perfect field of prime characteristic is isogenous to the Picard variety obtained by this construction.
We study the birationality (onto its image) of the Abel-Prym morphism associated with a Prym-Tuyrin variety. We use such result to prove that Picard bundles over Prym varieties are simple and moreover they are stable when the Abel-Prym morphism is not birational. As a consequence we obtain that Picard bundles over moduli spaces of stable vector bundles with fixed determinant are simple. We prove that Picard bundles over moduli spaces of rank 2 vector bundles on curves of genus 2 bundles are stable.
We study the possible Picard numbers of abelian varieties of given dimension $g$. If $R_g$ denotes the set of realizable Picard numbers, then $R_g$ is bounded by $g^2$. We show that, for $g$ at least $3$, the set $R_g$ always has gaps and we analyze the nature of these gaps. We further prove that the Picard numbers are asymptotically complete in $[1,g^2]$ as $g$ goes to infinity. Finally we show that every Picard number which can be realized over the complex numbers can already be realized by an abelian variety defined over a number field.
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.
We prove that the Picard group of a regular simply connected variety over an algebraically closed field of arbitrary characteristic is finitely generated. The main difficulty to overcome is the unavailability of resolution of singularities. From this we deduce that in positive characteristic there exist no nontrivial stratified line bundles on such a variety, and we present a complex analog.
We construct a full, strongly exceptional collection of line bundles on the variety X that is the blow up of the projectivization of the vector bundle O_{P^{n-1}}\oplus O_{P^{n-1}}(b) along a linear space of dimension n-2, where b is a non-negative integer.
We study the equivariant cobordism rings for the action of a torus $T$ on smooth varieties over an algebraically closed field of characteristic zero. We prove a theorem describing the rational $T$-equivariant cobordism rings of smooth projective $G$-spherical varieties with the action of a maximal torus $T$ of $G$. As an application, we obtain explicit presentations for the rational equivariant cobordism rings of smooth projective horospherical varieties of Picard number one.
In this paper, we give the complete classification of full exceptional collections on smooth toric Fano threefolds and fourfolds with Picard rank two. To be precise, we give a partial answer to the conjecture in \cite{Kuz} and \cite{LYY}: we provide all the exceptional collections of maximal length and prove that they are in fact full exceptional collections.
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.
Over a family of varieties with singular special fiber, the relative Picard functor (i.e. the moduli space of line bundles) may fail to be compact. We propose a stability condition for line bundles on reducible varieties that is aimed at compactifying it. This stability condition generalizes the notion of `balanced multidegree' used by Caporaso in compactifying the relative Picard functor over families of curves. Unlike the latter, it is defined `asymptotically'; an important theme of this paper is that although line bundles on higher-dimensional varieties are more complicated than those on cu…
We generalize the Harnack-Thom theorem to relate the ranks of the Lawson homology groups with $\Z_2$-coefficients of a real quasiprojective variety with the ranks of its reduced real Lawson homology groups. In the case of zero-cycle group, we recover the classical Harnack-Thom theorem and generalize the classical version to include real quasiprojective varieties. We use Weil's construction of Picard varieties to construct reduced real Picard groups, and Milnor's construction of universal bundles to construct some weak models of classifying spaces of some cycle groups. These weak models are use…