ML-invariant and automorphism groups of certain word varieties in SL(2,C)^2
For a fixed element and a word we consider the automorphism group of the affine threefold We prove that Makar-Limanov invariant and is Jordan.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
For a fixed element g∈SL(2,C) and a word w=[xn,ym] we consider the automorphism group Aut(Sg) of the affine threefold Sg={(x,y)∈SL(2,C)2 ∣w(x,y)=g}. We prove that Makar-Limanov invariant ML(Sg)=O(Sg) and Aut(Sg) is Jordan.
We study the groups of biholomorphic and bimeromorphic automorphisms of conic bundles over certain compact complex manifolds of algebraic dimension zero.
A group G is called Jordan if there is a positive integer J=JG such that every finite subgroup B of G contains a commutative subgroup A⊂B such that A is normal in B and the index [B:A]≤J (V.L. Popov). In this paper we deal with Jordaness properties of the groups Bir(X) of birational automorphisms of irreducible smooth projective varieties X over an algebraically closed field of characteristic zero. It is known (Yu. Prokhorov - C. Shramov) that Bir(X) is Jordan if X is non-uniruled. On the other hand, the second named author proved that Bir(X) is not Jordan if X is birational to a product of the projective line and a positive-dimensional abelian variety. We prove that Bir(X) is Jordan if (uniruled) X is a conic bundle over a non-uniruled variety Y but is not birational to a product of Y and the projective line. (Such a conic bundle exists only if dim(Y)≥2.) When Y is an abelian surface, this Jordaness property result gives an answer to a question of Prokhorov and Shramov.
We show that an element w of a free group F on n generators defines a surjective word map of PSL(2,C)^n onto PSL(2,C) unless w belongs to the second derived subgroup of F. We also describe certain words maps that are surjective on SL(2,C) x SL(2,C). Here C is the field of complex numbers.
We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of algebraic surfaces. This gives a positive answer to a question of Vladimir L. Popov.
We study equidistribution of solutions of word equations of the form w(x,y)=g in the family of finite groups SL(2,q). We provide criteria for equidistribution in terms of the trace polynomial of w. This allows us to get an explicit description of certain classes of words possessing the equidistribution property and show that this property is generic within these classes.
We present a survey of results on word equations in simple groups, as well as their analogues and generalizations, which were obtained over the past decade using various methods, group-theoretic and coming from algebraic and arithmetic geometry, number theory, dynamical systems and computer algebra. Our focus is on interrelations of these machineries which led to numerous spectacular achievements, including solutions of several long-standing problems.
Given an element P(X1,...,Xd) of the finitely generated free Lie algebra, for any Lie algebra g we can consider the induced polynomial map P:gd→g. Assuming that K is an arbitrary field of characteristic =2, we prove that if P is not an identity in sl(2,K), then this map is dominant for any Chevalley algebra g. This result can be viewed as a weak infinitesimal counterpart of Borel's theorem on the dominancy of the word map on connected semisimple algebraic groups. We prove that for the Engel monomials [[[X,Y],Y],...,Y] and, more generally, for their linear combinations, this map is, moreover, surjective onto the set of noncentral elements of g provided that the ground field K is big enough, and show that for monomials of large degree the image of this map contains no nonzero central elements. We also discuss consequences of these results for polynomial maps of associative matrix algebras.
We investigate the surjectivity of the word map defined by the n-th Engel word on the groups PSL(2,q) and SL(2,q). For SL(2,q), we show that this map is surjective onto the subset SL(2,q)\{-id} provided that q>Q(n) is sufficiently large. Moreover, we give an estimate for Q(n). We also present examples demonstrating that this does not hold for all q. We conclude that the n-th Engel word map is surjective for the groups PSL(2,q) when q>Q(n). By using the computer, we sharpen this result and show that for any n<5, the corresponding map is surjective for all the groups PSL(2,q). This provides evidence for a conjecture of Shalev regarding Engel words in finite simple groups. In addition, we show that the n-th Engel word map is almost measure preserving for the family of groups PSL(2,q), with q odd, answering another question of Shalev. Our techniques are based on the method developed by Bandman, Grunewald and Kunyavskii for verbal dynamical systems in the group SL(2,q).
We determine the positive integers a,b and the prime powers q for which the word map w(x,y)=x^ay^b is surjective on the group PSL(2,q) (and SL(2,q)). We moreover show that this map is almost equidistributed for the family of groups PSL(2,q) (and SL(2,q)). Our proof is based on the investigation of the trace map of positive words.
In this paper we give a description of hypersurfaces with trivial ring AK(S), introduced by the second author as following. Let X be an affine variety and let G(X) be the group generated by all C+-actions on X. Then AK(X) is the subring of all regular G(X)− invariant functions on X. We show that a smooth affine surface S with AK(S)=C is quasihomogeneous and so may be obtained from a smooth rational projective surface by deleting a divisor of special form, which is called a ``zigzag''. We denote by A the set of all such surfaces, and by H those which have only three components in the zigzag. We prove that for a surface S∈A the following statements are equivalent: 1. S is isomorphic to a hypersurface; 2. S is isomorphic to a hypersurface, defined by equation xy=p(z) in C3, where p is a polynomial with simple roots only; 3. S admits a fixed-point free C+- action; 4. S∈H. Moreover, if S1 belongs to H, and S2 does not, then S1×Ck≅S2×Ck for any k∈N.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.