Source author record

Tatiana Bandman

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
6topics
4close collaborators

Published work

11 publications

preprint2026arXiv

ML-invariant and automorphism groups of certain word varieties in SL(2,C)^2

For a fixed element g∈SL(2,C)g\in SL(2,C) and a word w=[xn,ym]w=[x^n,y^m] we consider the automorphism group Aut(Sg)Aut(S_{g}) of the affine threefold Sg={(x,y)∈SL(2,C)2 ∣w(x,y)=g}.S_{g}=\{(x,y)\in SL(2,C)^2 \ | w(x,y)=g\}. We prove that Makar-Limanov invariant ML(Sg)=O(Sg)ML(S_{g})=\mathcal{O}(S_{g}) and Aut(Sg)Aut(S_{g}) is Jordan.

preprint2016arXiv

Jordan groups, conic bundles and abelian varieties

A group GG is called Jordan if there is a positive integer J=JGJ=J_G such that every finite subgroup B\mathcal{B} of GG contains a commutative subgroup A⊂B\mathcal{A}\subset \mathcal{B} such that A\mathcal{A} is normal in B\mathcal{B} and the index [B:A]≤J[\mathcal{B}:\mathcal{A}] \le J (V.L. Popov). In this paper we deal with Jordaness properties of the groups Bir(X)Bir(X) of birational automorphisms of irreducible smooth projective varieties XX over an algebraically closed field of characteristic zero. It is known (Yu. Prokhorov - C. Shramov) that Bir(X)Bir(X) is Jordan if XX is non-uniruled. On the other hand, the second named author proved that Bir(X)Bir(X) is not Jordan if XX is birational to a product of the projective line and a positive-dimensional abelian variety. We prove that Bir(X)Bir(X) is Jordan if (uniruled) XX is a conic bundle over a non-uniruled variety YY but is not birational to a product of YY and the projective line. (Such a conic bundle exists only if dim⁡(Y)≥2\dim(Y)\ge 2.) When YY is an abelian surface, this Jordaness property result gives an answer to a question of Prokhorov and Shramov.

preprint2013arXiv

Equations in simple matrix groups: algebra, geometry, arithmetic, dynamics

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.

preprint2011arXiv

Equations in simple Lie algebras

Given an element P(X1,...,Xd)P(X_1,...,X_d) of the finitely generated free Lie algebra, for any Lie algebra gg we can consider the induced polynomial map P:gd→gP: g^d\to g. Assuming that KK is an arbitrary field of characteristic ≠2\ne 2, we prove that if PP is not an identity in sl(2,K)sl(2,K), then this map is dominant for any Chevalley algebra gg. 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][[[X,Y],Y],...,Y] and, more generally, for their linear combinations, this map is, moreover, surjective onto the set of noncentral elements of gg provided that the ground field KK 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.

preprint2011arXiv

On the Surjectivity of Engel Words on PSL(2,q)

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).

preprint2000arXiv

Affine surfaces with AK(S)=C.AK(S)=\Bbb C.

In this paper we give a description of hypersurfaces with trivial ring AK(S)AK(S), introduced by the second author as following. Let XX be an affine variety and let G(X)G(X) be the group generated by all C+\Bbb {C}^+-actions on XX. Then AK(X)AK(X) is the subring of all regular G(X)−G(X)- invariant functions on X.X. We show that a smooth affine surface SS with AK(S)=CAK(S)=\Bbb 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 AA the set of all such surfaces, and by HH those which have only three components in the zigzag. We prove that for a surface S∈AS \in A the following statements are equivalent: 1. SS is isomorphic to a hypersurface; 2. SS is isomorphic to a hypersurface, defined by equation xy=p(z)xy=p(z) in C3,\Bbb {C}^3 , where pp is a polynomial with simple roots only; 3. SS admits a fixed-point free C+\Bbb {C}^+- action; 4. S∈H.S\in H. Moreover, if S1S_1 belongs to H,H, and S2S_2 does not, then S1×Ck≇S2×CkS_1\times \Bbb {C}^k\not\cong S_2\times \Bbb {C}^k for any k∈Nk\in\Bbb N.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.