We give several results concerning the connected component ${\rm Aut}_X^0$ of the automorphism scheme of a proper variety $X$ over a field, such as its behaviour with respect to birational modifications, normalization, restrictions to closed subschemes and deformations. Then, we apply our results to study the automorphism scheme of not necessarily Jacobian elliptic surfaces $f: X \to C$ over algebraically closed fields, generalizing work of Rudakov and Shafarevich, while giving counterexamples to some of their statements. We bound the dimension $h^0(X,T_X)$ of the space of global vector fields on an elliptic surface $X$ if the generic fiber of $f$ is ordinary or if $f$ admits no multiple fibers, and show that, without these assumptions, the number $h^0(X,T_X)$ can be arbitrarily large for any base curve $C$ and any field of positive characteristic. If $f$ is not isotrivial, we prove that ${\rm Aut}_X^0 \cong μ_{p^n}$ and give a bound on $n$ in terms of the genus of $C$ and the multiplicity of multiple fibers of $f$. As a corollary, we re-prove the non-existence of global vector fields on K3 surfaces and calculate the connected component of the automorphism scheme of a generic supersingular Enriques surface in characteristic $2$. Finally, we present additional results on horizontal and vertical group scheme actions on elliptic surfaces which can be applied to determine ${\rm Aut}_X^0$ explicitly in many concrete cases.
In this work, we extend the concept of the double of an ideal defined in \cite{G2}, to the context of modules. We also obtain the genericity of the infinitesimal Lipschitz condition A for an enlarged class of analytic spaces.
We study the connected component of the automorphism group of a cubic hypersurface over complex numbers. When the cubic hypersurface has nonzero Hessian, this group is usually small. But there are examples with unusually large automorphism groups: the secants of Severi varieties. Can we characterize them by the property of having unusually large automorphism groups? We study this question from the viewpoint of prolongations of the Lie algebras. Our result characterizes the secants of Severi varieties, among cubic hypersurfaces with nonzero Hessian and smooth singular locus, in terms of prolong…
The purpose of this article is to show that the Castelnuovo theory for abelian varieties, developed by G. Pareschi and M. Popa, can be infinitesimalized. More precisely, we prove that an irreducible principally polarized abelian variety has a finite scheme in extremal position, in the sense of Castelnuovo theory for abelian varieties, if, and only if, it is a Jacobian and the scheme is contained in a unique Abel-Jacobi curve.
Given a compact Kähler manifold, the Infinitesimal Torelli problem asks whether the differential of the period map of a Kuranishi family is injective. Unlike the classical Torelli theorem for curves, there is a negative answer for example for hyperelliptic curves of genus greater than $2$. Nevertheless the Infinitesimal Torelli Theorem holds for many other classes of manifolds. We will prove it for smooth hypersurfaces in simple abelian varieties with sufficiently high self-intersection giving an effective bound on a result by Green in this particular case.
This paper is a work in progress on Bloch's conjecture asserting the vanishing of the Pontryagin product of a $ p $ codimensional cycle on an abelian variety by $ p+1 $ zero cycles of degree zero. We prove an infinitesimal version of the conjecture and we discuss, in particular, the case of $ 3 $ dimensional cycles.
Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This generalizes a result of Lombardo and Maffei for complex abelian varieties.
We solve the infinitesimal Torelli problem for $3$-dimensional quasi-smooth ${\mathbb{Q}}$-Fano hypersurfaces with at worst terminal singularities. We also find infinite chains of double coverings of increasing dimension which alternatively distribute themselves in examples and counterexamples for the infinitesimal Torelli claim and which share the analogue, and in some cases the same, Hodge-diagram properties as the length $3$ Gushel-Mukai chain of prime smooth Fanos of coindex $3$ and degree $10$.
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.
In 2007, Dubouloz introduced Danielewski varieties. Such varieties generalize Danielewski surfaces and provide counterexamples to generalized Zariski cancellation problem in arbitrary dimension. In the present work we describe the automorphism group of a Danielewski variety. This result is a generalization of a description of automorphisms of Danielewski surfaces due to Makar-Limanov.
In this paper we prove criteria for a nonnormal toric variety to be flexible, to be rigid and to be almost rigid. For rigid and almost rigid toric varieties we describe the automorphism group explicitly.
If $X$ is a rational surface without nonzero holomorphic vector field and $f$ is an automorphism of $X$, we study in several examples the Zariski tangent space of the local deformation space of the pair $(X, f)$.
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 this work we extend some previously known results on the automorphism group of Schubert varieties. We consider the Schubert conditions which define a Schubert variety. An automorphism of the Grassmannian fixes a Schubert variety contained in it if and only if it fixes certain elements of the flag used to define the Schubert conditions.
Let X be a flexible variety of F be an isomorphism of closed one-dimensional subschemes of $X$. We develop criteria which guarantee that F extends to au automorphism of X.
Mukai varieties are Fano varieties of Picard number one and coindex three. In genus seven to ten they are linear sections of some special homogeneous varieties. We describe the generic automorphism groups of these varieties. When they are expected to be trivial for dimensional reasons, we show they are indeed trivial, up to three interesting and unexpected exceptions in genera 7, 8, 9, and codimension 4, 3, 2 respectively. We conclude in particular that a generic prime Fano threefold of genus g has no automorphisms for 7 $\le$ g $\le$ 10. In the Appendix by Y. Prokhorov, the latter statement i…
We study finite $p$-subgroups of birational automorphism groups. By virtue of boundedness theorem of Fano varieties, we prove that there exists a constant $R(n)$ such that a rationally connected variety of dimension $n$ over an algebraically closed field is rational if its birational automorphism group contains a $p$-subgroups of maximal rank for $p > R(n)$. Some related applications on Jordan property are discussed.
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 give an explicit description of the automorphism group of a product of complete toric varieties over an arbitrary field in terms of the respective automorphism groups of its components. More precisely, we prove that, up to permutation of isomorphic components, an automorphism of a product corresponds to a product of automorphisms of its components. We also reprove, in modern language, the classic result by Demazure describing the group-scheme of automorphisms of a complete toric variety over an arbitrary field.
Determining when the birational automorphism group of a Fano variety is finite is an interesting and difficult problem. The main technique for studying this problem is by the Noether-Fano method. This method has been effective in studying this problem for Fano varieties of index one and two. The purpose of this paper is to give a new approach to this problem, and to show that in every positive characteristic there are Fano varieties of arbitrarily large index with finite (or even trivial) birational automorphisms. To do this we prove that these varieties admit ample and birationally equivarian…
We show that on an Abelian variety over an algebraically closed field of positive characteristic, the obstruction to lifting an automorphism to an Abelian variety over a field of characteristic zero as a morphism vanishes if and only if it vanishes for lifting it as an autoequivalence. We also compare the deformation space of these two types of deformations.
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（中国科学院数学与系统科学研究院数学天元基金中心）
Let $G$ be a connected reductive algebraic group. In this note we prove that for a quasi-affine $G$-spherical variety the weight monoid is determined by the weights of its non-trivial $\mathbb{G}_a$-actions that are homogeneous with respect to a Borel subgroup of $G$. As an application we get that a smooth affine $G$-spherical variety that is non-isomorphic to a torus is determined by its automorphism group inside the category of smooth affine irreducible varieties.
Let $A/F$ be an abelian variety over a field. Does there exist a smooth projective $F$-variety $X$, such that $A$ is isomorphic to the automorphism group scheme of $X/F$? We show that the answer is positive, if and only if $A$ has only finitely many automorphisms, over an algebraic closure of $F$. When $F=\mathbb C$, this result is due to Lombardo and Maffei. When $F$ is algebraically closed, it was obtained independently by Blanc and Brion.
We call a flag variety admissible if its automorphism group is the projective general linear group. (This holds in most cases.) Let $K$ be a field of characteristic $0$, containing all roots of unity. Let the $K$-variety $X$ be a form of an admissible flag variety. We prove that $X$ is either ruled, or the automorphism group of $X$ is bounded, meaning that, there exists a constant $C\in\mathbb{N}$ such that if $G$ is a finite subgroup of $Aut_K(X)$, then the cardinality of $G$ is smaller than $C$.
We show, among other things, that for each integer $n \ge 3$, there is a smooth complex projective rational variety of dimension $n$, with discrete non-finitely generated automorphism group and with infinitely many mutually non-isomorphic real forms. Our result is inspired by the work of Lesieutre and the work of Dinh and Oguiso.
Consider a smooth connected algebraic group $G$ acting on a normal projective variety $X$ with an open dense orbit. We show that Aut($X$) is a linear algebraic group if so is $G$; for an arbitrary $G$, the group of components of Aut($X$) is arithmetic. Along the way, we obtain a restrictive condition for $G$ to be the full automorphism group of some normal projective variety.
Let $J$ be the Jacobian of a smooth projective complex curve $C$ which admits non-trivial automorphisms, and let $A(J)$ be the ring of algebraic cycles on $J$ with rational coefficients modulo algebraic equivalence. We present new tautological rings in $A(J)$ which extend in a natural way the tautological ring studied by Beauville (Compos Math 140(3):683-688, 2004). We then show there exist tautological rings induced on special complementary abelian subvarieties of $J$.
We compute the group of automorphisms of an arbitrary ind-variety of (possibly isotropic) generalized flags. Such an ind-variety is a homogeneous ind-space for one of the ind-groups $SL(\infty)$, $O(\infty)$ or $Sp(\infty)$. We show that the respective automorphism groups are much larger than $SL(\infty)$, $O(\infty)$ or $Sp(\infty)$, and present the answer in terms of Mackey groups. The latter are groups of automorphisms of nondegenerate pairings of (in general infinite-dimensional) vector spaces. An explicit matrix form of the automorphism group of an arbitrary ind-variety of generalized fla…
For a variety $X$, a big $\mathbb{Q}$-divisor $L$ and a closed connected subgroup $G \subset \mathrm{Aut}(X, L)$ we define a $G$-invariant version of the $δ$-threshold. We prove that for a Fano variety $(X, -K_X)$ and a connected subgroup $G \subset \mathrm{Aut}(X)$ this invariant characterizes $G$-equivariant uniform $K$-stability. We also use this invariant to investigate $G$-equivariant $K$-stability of some Fano varieties with large groups of symmetries, including spherical Fano varieties. We also consider the case of $G$ being a finite group.
We review some basic facts on vector fields, in the complex-analytic setting, thus, obtaining a rationality result and an extension of the Birkhoff-Grothendieck theorem, as follows: (1) Let $Z$ be a compact complex manifold endowed with a very ample line bundle $L$. Denote by $\mathfrak{g}_L$ the extended Lie algebra of infinitesimal automorphisms of $L$. If the representation of $\mathfrak{g}_L$ on the space of holomorphic sections of $L$ is irreducible then $Z$ is rational; (2) Let $P$ be a holomorphic principal bundle over the Riemann sphere, with structural group $G$ whose Lie algebra is n…
