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 and an example in a third class of Pasquier's list. The theory of Perron-Frobenius reduces our proofs to be graph-theoretic in nature.
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.
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…
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 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.
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.
Automorphism groups of toroidal horospherical varieties
Center for Complex Geometry, Institute for Basic Science (IBS)（基础科学研究院复杂几何中心）；Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院数学天元基金中心）
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.
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 …
Pseudo-effective and nef cones on spherical varieties
我们证明了光滑完备球面簇上的nef圈类是有效的，并且nef圈类的乘积也是nef的。设X是光滑射影球面簇，使得其余维k的有效圈类为nef，其中1<= k <= dim（X）-1。我们研究了X的性质。证明了若X是环面簇，则X同构于某些射影空间的乘积，若X是环面簇，则X同构于有理齐性空间，若X是次球面簇，dim（X）≥ 3，k=2，则X上的有效因子是nef;如果X是次球面的且X上的有效因子是nef，则存在从X到有理齐性空间的态射，使得每个纤维同构于Picard数1的某些次球面簇的乘积。
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…
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 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 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.
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…
