arXiv subjects
Publications and source records attributed to Alvaro Liendo.
In this note we show that if the automorphism group of a normal affine surface $S$ is isomorphic to the automorphism group of a Danielewski surface, then $S$ is isomorphic to a Danielewski surface.
Let $X$ be a smooth hypersurface of dimension $n\geq 1$ and degree $d\geq 3$ in the projective space given as the zero set of a homogeneous form $F$. If $(n,d)\neq (1,3), (2,4)$ it is well known that every automorphism of $X$ extends to an automorphism of the projective space, i.e., $\operatorname{Aut}(X)\subseteq \operatorname{PGL}(n+2,\mathbb{C})$. We say that the automorphism group $\operatorname{Aut}(X)$ is $F$-liftable if there exists a subgroup of $\operatorname{GL}(n+2,\mathbb{C})$ projecting isomorphically onto $\operatorname{Aut}(X)$ and leaving $F$ invariant. Our main result in this paper shows that the automorphism group of every smooth hypersurface of dimension $n$ and degree $d$ is $F$-liftable if and only if $d$ and $n+2$ are relatively prime. We also provide an effective criterion to compute all the integers which are a power of a prime number and that appear as the order of an automorphism of a smooth hypersurface of dimension $n$ and degree $d$. As an application, we give a sufficient condition under which some Sylow $p$-subgroups of $\operatorname{Aut}(X)$ are trivial or cyclic of order $p$.
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.
An ind-variety is an inductive limit of closed embeddings of algebraic varieties and an ind-group is a group object in the category of ind-varieties. These notions were first introduced by Shafarevich in the study of the automorphism group of affine spaces and have been studied by many authors afterwards. An ind-torus is an ind-group obtained as an inductive limit of closed embeddings of algebraic tori that are also algebraic group homomorphisms. In this paper, we introduce the natural definition of toric ind-varieties as ind-varieties having an ind-torus as an open set and such that the action of the ind-torus on itself by translations extends to a regular action on the whole ind-variety. We are brought to introduce and study pro-affine semigroup that turn out to be unital semigroups isomorphic to closed subsemigroups of the group of arbitrary integer sequences with the product topology such that their projection to the first i-th coordinates is finitely generated for all positive integers i. Our main result is a duality between the categories of affine toric ind-varieties and the the category of pro-affine semigroups.
Let X be a normal variety endowed with an algebraic torus action. An additive group action $α$ on X is called vertical if a general orbit of $α$ is contained in the closure of an orbit of the torus action and the image of the torus normalizes the image of $α$ in Aut(X). Our first result in this paper is a classification of vertical additive group actions on X under the assumption that X is proper over an affine variety. Then we establish a criterion as to when the infinitesimal generators of a finite collection of additive group actions on X generate a finite-dimensional Lie algebra inside the Lie algebra of derivations of X.
We provide a complete description of normal affine algebraic varieties over the real numbers endowed with an effective action of the real circle, that is, the real form of the complex multiplicative group whose real locus consists of the unitary circle in the real plane. Our approach builds on the geometrico-combinatorial description of normal affine varieties with effective actions of split tori in terms of proper polyhedral divisors on semiprojective varieties due to Altmann and Hausen
In this article, we introduce an approach to study the fundamental group of a log terminal T-variety. As applications, we prove the simply connectedness of the spectrum of the Cox ring of a complex Fano variety, we compute the fundamental group of a rational log terminal T-varieties of complexity one, and we study the local fundamental group of log terminal T-singularities with a good torus action and trivial GIT decomposition.
We generalize classical results about the topology of toric varieties to the case of projective Q-factorial T-varieties of complexity one using the language of divisorial fans. We describe the Hodge-Deligne polynomial in the smooth case, the cohomology ring and the Chow ring in the contraction-free case.
A smooth variety is called uniformly rational if every point admits a Zariski open neighborhood isomorphic to a Zariski open subset of the affine space. In this note we show that every smooth and rational affine variety endowed with an algebraic torus action such that the algebraic quotient has dimension 0 or 1 is uniformly rational.
In this paper we provide a characterization of smooth algebraic varieties endowed with a faithful algebraic torus action in terms of a combinatorial description given by Altmann and Hausen. Our main result is that such a variety X is smooth if and only if it is locally isomorphic in the étale topology to the affine space endowed with a linear torus action. Furthermore, this is the case if and only if the combinatorial data describing X is locally isomorphic in the étale topology to the combinatorial data describing affine space endowed with a linear torus action. Finally, we provide an effective method to check the smoothness of a Gm-threefold in terms of the combinatorial data.
Let X be a normal affine T-variety of complexity at most one over a perfect field k, where T stands for the split algebraic torus. Our main result is a classification of additive group actions on X that are normalized by the T-action. This generalizes the classification given by the second author in the particular case where k is algebraically closed and of characteristic zero. With the assumption that the characteristic of k is positive, we introduce the notion of rationally homogeneous locally finite iterative higher derivations which corresponds geometrically to additive group actions on affine T-varieties normalized up to a Frobenius map. As a preliminary result, we provide a complete description of these additive group actions in the toric situation.
In this paper we generalize the algebraic density property to not necessarily smooth affine varieties relative to some closed subvariety containing the singular locus. This property implies the remarkable approximation results for holomorphic automorphisms of the Andersén-Lempert theory. We show that an affine toric variety X satisfies this algebraic density property relative to a closed T-invariant subvariety Y if and only if X-Y is different from T. For toric surfaces we are able to classify those which posses a strong version of the algebraic density property (relative to the singular locus). The main ingredient in this classification is our proof of an equivariant version of Brunella's famous classification of complete algebraic vector fields in the affine plane.
We characterize rational actions of the additive group on algebraic varieties defined over a field of characteristic zero in terms of a suitable integrability property of their associated velocity vector fields. This extends the classical correspondence between regular actions of the additive group on affine algebraic varieties and the so-called locally nilpotent derivations of their coordinate rings. This leads in particular to a complete characterization of regular additive group actions on semi-affine varieties in terms of their associated vector fields. Among other applications, we review properties of the rational counter-part of the Makar-Limanov invariant for affine varieties and describe the structure of rational homogeneous additive group actions on toric varieties.
We consider a normal complete rational variety with a torus action of complexity one. In the main results, we determine the roots of the automorphism group and give an explicit description of the root system of its semisimple part. The results are applied to the study of almost homogeneous varieties. For example, we describe all almost homogeneous (possibly singular) del Pezzo k*-surfaces of Picard number one and all almost homogeneous (possibly singular) Fano threefolds of Picard number one having a reductive automorphism group with two-dimensional maximal torus.
In this paper we give an effective criterion as to when a positive integer q is the order of an automorphism of a smooth hypersurface of dimension n and degree d, for every d>2, n>1, (n,d)\neq (2,4), and \gcd(q,d)=\gcd(q,d-1)=1. This allows us to give a complete criterion in the case where q=p is a prime number. In particular, we show the following result: If X is a smooth hypersurface of dimension n and degree d admitting an automorphism of prime order p then p<(d-1)^{n+1}; and if p>(d-1)^n then X is isomorphic to the Klein hypersurface, n=2 or n+2 is prime, and p=Φ_{n+2}(1-d) where Φ_{n+2} is the (n+2)-th cyclotomic polynomial. Finally, we provide some applications to intermediate jacobians of Klein hypersurfaces.
In this paper we classify SL_2-actions on normal affine T-varieties that are normalized by the torus T. This is done in terms of a combinatorial description of T-varieties given by Altmann and Hausen. The main ingredient is a generalization of Demazure's roots of the fan of a toric variety. As an application we give a description of special SL_2-actions on normal affine varieties. We also obtain, in our terms, the classification of quasihomogeneous SL_2-threefolds due to Popov.
Let X=spec A be a normal affine variety over an algebraically closed field k of characteristic 0 endowed with an effective action of a torus T of dimension n. Let also D be a homogeneous locally nilpotent derivation on the normal affine Z^n-graded domain A, so that D generates a k_+-action on X that is normalized by the T-action. We provide a complete classification of pairs (X,D) in two cases: for toric varieties (n=\dim X) and in the case where n=\dim X-1. This generalizes previously known results for surfaces due to Flenner and Zaidenberg. As an application we compute the homogeneous Makar-Limanov invariant of such varieties. In particular we exhibit a family of non-rational varieties with trivial Makar-Limanov invariant.
Let k[x_1,...,x_n] be the polynomial algebra in n variables and let A^n=Spec k[x_1,...,x_n]. In this note we show that the root vectors of the affine Cremona group Aut(A^n) with respect to the diagonal torus are exactly the locally nilpotent derivations x^a\times d/dx_i, where x^a is any monomial not depending on x_i. This answers a question due to Popov.