Source author record

Vladimir L. Popov

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

ResearcherUnclaimed source record

math.AG math.GR math.RT math.AC math.AT math.CO math.GT math.NT

Catalog footprint

Research overview

23works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Embeddings of groups ${\rm Aut}(F_n)$ into automorphism groups of algebraic varieties

For every positive integer $n$ , we construct, using algebraic groups, an infinite family of irreducible algebraic varieties $X$ ,whose automorphism group ${\rm Aut}(X)$ contains the automorphism group ${\rm Aut}(F_n)$ of a free group $F_n$ of rank $n$ as a subgroup. This property implies that, for $n \geqslant 2$ , such groups ${\rm Aut}(X)$ are nonamenable, and, for $n \geqslant 3$ , nonlinear and contain the braid group $B_n$ on $n$ strands. Some of these varieties $X$ are affine, and among affine, some are rational and some are not, some are smooth and some are singular. As an application, we deduce that, for $n \geqslant 3$ , every Cremona group of rank $\geqslant 3n$ contains the groups ${\rm Aut}(F_n)$ and $B_n$ as the subgroups. This bound is better than the one that follows from the paper by D. Krammer [14], where the linearity of the braid group $B_n$ is proved.

preprint2022arXiv

Faithful actions of automorphism groups of free groups on algebraic varieties

Considering a certain construction of algebraic varieties $X$ endowed with an algebraic action of the group ${\rm Aut}(F_n)$ , $n<\infty$ , we obtain a criterion for the faithfulness of this action. It gives an infinite family $\mathscr F$ of $X$ 's such that ${\rm Aut}(F_n)$ embeds into ${\rm Aut}(X)$ . For $n\geqslant 3$ , this implies nonlinearity, and for $n\geqslant 2$ , the existence of $F_2$ in ${\rm Aut}(X)$ (hence nonamenability of the latter) for $X\in \mathscr F$ . We find in ${\mathscr F}$ two infinite subfamilies ${\mathscr N}$ and $\mathscr R$ consisting of irreducible affine varieties such that every $X\in {\mathscr N}$ is nonrational (and even not stably rational), while every $X\in \mathscr R$ is rational and $3n$ -dimensional. As an application, we show that the minimal dimension of affine algebraic varieties $Z$ , for which ${\rm Aut}(Z)$ contains the braid group $B_n$ on $n\geqslant 3$ strands, does not exceed $3n$ . This upper bound strengthens the one following from the paper by D. Krammer [Kr02], where the linearity of $B_n$ was proved (this latter bound is quadratic in $n$ ). The same upper bound also holds for ${\rm Aut}(F_n)$ . In particular, it shows that the minimal rank of the Cremona groups containing ${\rm Aut}(F_n)$ , does not exceed $3n$ , and the same is true for $B_n$ if $n\geqslant 3$ . This paper is a major revision of [Po21].

preprint2022arXiv

Rationality of adjoint orbits

We prove that every orbit of the adjoint representation of any connected reductive algebraic group $G$ is a rational algebraic variety. For complex simply connected semisimple $G$ , this implies rationality of affine Hamiltonian $G$ -varieties (which we classify).

preprint2022arXiv

Underlying varieties and group structures

We explore to what extent the underlying variety of a connected algebraic group or the underlying manifold of a real Lie group determines its group structure.

preprint2021arXiv

On algebraic group varieties

Several results on presenting an affine algebraic group variety as a product of algebraic varieties are obtained.

preprint2020arXiv

Algebraic groups whose orbit closures contain only finitely many orbits

We explore connected affine algebraic groups $G$ , which enjoy the following finiteness property $\rm (F)$ : for every algebraic action of $G$ , the closure of every $G$ -orbit contains only finitely many $G$ -orbits. We obtain two main results. First, we classify such groups. Namely, we prove that a connected affine algebraic group $G$ enjoys property $\rm (F)$ if and only if $G$ is either a torus or a product of a torus and a one-dimensional connected unipotent algebraic group. Secondly, we obtain a characterization of such groups in terms of the modality of action in the sense of V. Arnol'd. Namely, we prove that a connected affine algebraic group $G$ enjoys property $\rm (F)$ if and only if for every irreducible algebraic variety $X$ endowed with an algebraic action of $G$ , the modality of $X$ is equal to $\dim X-\max_{x\in X} G\cdot x$ .

preprint2020arXiv

Root lattices in number fields

We explore whether a root lattice may be similar to the lattice $\mathscr O$ of integers of a number field $K$ endowed with the inner product $(x, y):={\rm Trace}_{K/\mathbb Q}(x\cdotθ(y))$ , where $θ$ is an involution of $K$ . We classify all pairs $K$ , $θ$ such that $\mathscr O$ is similar to either an even root lattice or the root lattice $\mathbb Z^{[K:\mathbb Q]}$ . We also classify all pairs $K$ , $θ$ such that $\mathscr O$ is a root lattice. In addition to this, we show that $\mathscr O$ is never similar to a positive-definite even unimodular lattice of rank $\leqslant 48$ , in particular, $\mathscr O$ is not similar to the Leech lattice. In appendix, we give a general cyclicity criterion for the primary components of the discriminant group of $\mathscr O$ .

preprint2018arXiv

Three plots about the Cremona groups

The first group of results of this paper concerns the compressibility of finite subgroups of the Cremona groups. The second concerns the embeddability of other groups in the Cremona groups and, conversely, the Cremona groups in other groups. The third concerns the connectedness of the Cremona groups.

preprint2015arXiv

Bass' triangulability problem

Exploring Bass' Triangulability Problem on unipotent algebraic subgroups of the affine Cremona groups, we prove a triangulability criterion, the existence of nontriangulable connected solvable affine algebraic subgroups of the Cremona groups, and stable triangulability of such subgroups; in particular, in the stable range we answer Bass' Triangulability Problem is the affirmative. To this end we prove a theorem on invariant subfields of $1$ -extensions. We also obtain a general construction of all rationally triangulable subgroups of the Cremona groups and, as an application, classify rationally triangulable connected one-dimensional unipotent affine algebraic subgroups of the Cremona groups up to conjugacy.

preprint2015arXiv

Generic algebras: rational parametrization and normal forms

For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$ , we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$ -algebras of a fixed dimension, considered up to isomorphism, are parametrized by the values of a tuple of algebraically independent over $\boldsymbol k$ rational functions in the structure constants. (2) There exists an "algebraic normal form", to which the set of structure constants of every such algebra can be uniquely transformed by means of passing to its new basis, namely: there are two finite systems of nonconstant polynomials on the space of structure constants, $\{f_i\}_{i\in I}$ and $\{b_j\}_{j\in J}$ , such that the ideal generated by the set $\{f_i\}_{i\in I}$ is prime and, for every tuple $c$ of structure constants satisfying the property $b_j(c)\neq 0$ for all $j\in J$ , there exists a unique new basis of this algebra in which the tuple $c'$ of its structure constants satisfies the property $f_i(c')=0$ for all $i\in I$ .

preprint2015arXiv

Number of components of the nullcone

Answering the question of A. Joseph, for every pair $(G, V)$ where $G$ is a connected simple linear algebraic group and $V$ is a simple algebraic $G$ -module with a free algebra of invariants, the number of irreducible components of the nullcone of unstable vectors in $V$ is found.

preprint2015arXiv

On the equations defining affine algebraic groups

For the coordinate algebras of connected affine algebraic groups, we explore the problem of finding a presentation by generators and relations canonically determined by the group structure.

preprint2014arXiv

Around the Abhyankar--Sathaye conjecture

A "rational" version of the strengthened form of the Commuting Derivation Conjecture, in which the assumption of commutativity is dropped, is proved. A systematic method of constructing in any dimension greater than 3 the examples answering in the negative a question by M. El Kahoui is developed.

preprint2014arXiv

Finite subgroups of diffeomorphism groups

We prove:(1) the existence, for every integer n > 3, of a noncompact smooth n-dimensional topological manifold whose diffeomorphism group contains an isomorphic copy of every finitely presented group; (2) a finiteness theorem on finite simple subgroups of diffeomorphism groups of compact smooth topological manifolds.

preprint2014arXiv

On infinite dimensional algebraic transformation groups

We explore orbits, rational invariant functions, and quotients of the natural actions of connected, not necessarily finite dimensional subgroups of the automorphism groups of irreducible algebraic varieties. The applications of the results obtained are given.

preprint2013arXiv

Jordan groups and automorphism groups of algebraic varieties

This is the expanded version of my talk at the workshop "Groups of Automorphisms in Birational and Affine Geometry", October 29--November 3, 2012, Levico Terme, Italy. The first section is focused on Jordan groups in abstract setting, the second on that in the settings of automorphisms groups and groups of birational self-maps of algebraic varieties. The appendix is the expanded version of my notes on open problems posted on the site of this workshop. It contains formulations of some open problems and the relevant comments.

preprint2012arXiv

Some subgroups of the Cremona groups

We explore algebraic subgroups of of the Cremona group $\mathcal C_n$ over an algebraically closed field of characteristic zero. First, we consider some class of algebraic subgroups of $\mathcal C_n$ that we call flattenable. It contains all tori. Linearizability of the natural rational actions of flattenable subgroups on the affine space $\An$ is intimately related to rationality of the invariant fields and, for tori, is equivalent to it. We prove stable linearizability of these actions and show the existence of nonlinearizable actions among them. This is applied to exploring maximal tori in $\mathcal C_n$ and to proving the existence of nonlinearizable, but stably linearizable elements of infinite order in $\mathcal C_n$ for $n\geqslant 6$ . Then we consider some subgroups $\mathcal J(x_1,..., x_n)$ of $\mathcal C_n$ that we call the rational de Jonquières subgroups. We prove that every affine algebraic subgroup of $\mathcal J(x_1,..., x_n)$ is solvable and the group of its connected components is Abelian. We also prove that every reductive algebraic subgroup of $\mathcal J(x_1,..., x_n)$ is diagonalizable. Further, we prove that the natural rational action on $\An$ of any unipotent algebraic subgroup of $\mathcal J(x_1,..., x_n)$ admits a rational cross-section which is an affine subspace of $\An$. We show that in this statement "unipotent" cannot be replaced by "connected solvable".\;This is applied to proving a conjecture of A. Joseph on the existence of "rational slices" for the coadjoint representations of finite-dimensional algebraic Lie algebras $\mathfrak g$ under the assumption that the Levi decomposition of $\mathfrak g$ is a direct product.

preprint2012arXiv

Tori in the Cremona groups

We classify up to conjugacy the subgroups of certain types in the full, in the affine, and in the special affine Cremona groups. We prove that the normalizers of these subgroups are algebraic. As an application, we obtain new results in the Linearization Problem generalizing to disconnected groups Bia\lynicki-Birula's results of 1966-67. We prove "fusion theorems" for $n$ -dimensional tori in the affine and in the special affine Cremona groups of rank $n$ . In the final section we introduce and discuss the notions of Jordan decomposition and torsion primes for the Cremona groups.

preprint2011arXiv

Cross-sections, quotients, and representation rings of semisimple algebraic groups

Let $G$ be a connected semisimple algebraic group over an algebraically closed field $k$ . In 1965 Steinberg proved that if $G$ is simply connected, then in $G$ there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary $G$ such a cross-section exists if and only if the universal covering isogeny $τ\colon \tG\to G$ is bijective; this answers Grothendieck's question cited in the epigraph. In particular, for ${\rm char}\,k=0$ , the converse to Steinberg's theorem holds. The existence of a cross-section in $G$ implies, at least for ${\rm char}\,k=0$ , that the algebra $k[G]^G$ of class functions on $G$ is generated by ${\rm rk}\,G$ elements. We describe, for arbitrary $G$ , a minimal generating set of $k[G]^G$ and that of the representation ring of $G$ and answer two Grothendieck's questions on constructing generating sets of $k[G]^G$ . We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary $G$ and the existence of a rational cross-section in $G$ (for ${\rm char}\,k=0$ , this has been proved earlier); this answers the other Grothendieck's question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational $W$ -equivariant map $T\dashrightarrow G/T$ where $T$ is a maximal torus of $G$ and $W$ the Weyl group.

preprint2010arXiv

Is the function field of a reductive Lie algebra purely transcendental over the field of invariants for the adjoint action?

Let $k$ be a field of characteristic zero, let $G$ be a connected reductive algebraic group over $k$ and let $\mathfrak{g}$ be its Lie algebra. Let $k(G)$ , respectively, $k(\mathfrak{g})$ , be the field of $k$ -rational functions on $G$ , respectively, $\mathfrak{g}$ . The conjugation action of $G$ on itself induces the adjoint action of $G$ on $\mathfrak{g}$ . We investigate the question whether or not the field extensions $k(G)/k(G)^G$ and $k(\mathfrak{g})/k(\mathfrak{g})^G$ are purely transcendental. We show that the answer is the same for $k(G)/k(G)^G$ and $k(\mathfrak{g})/k(\mathfrak{g})^G$ , and reduce the problem to the case where $G$ is simple. For simple groups we show that the answer is positive if $G$ is split of type ${\sf A}_{n}$ or ${\sf C}_n$ , and negative for groups of other types, except possibly ${\sf G}_{2}$ . A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of $G$ on itself. The results and methods of this paper have played an important part in recent A. Premet's negative solution (arxiv:0907.2500) of the Gelfand--Kirillov conjecture for finite-dimensional simple Lie algebras of every type, other than ${\sf A}_n$ , ${\sf C}_n$ , and ${\sf G}_2$ .

preprint2010arXiv

On the Makar-Limanov, Derksen invariants, and finite automorphism groups of algebraic varieties

A simple method of constructing a big stock of algebraic varieties with trivial Makar-Limanov invariant is described, the Derksen invariant of some varieties is computed, the generalizations of the Makar-Limanov and Derksen invariants are introduced and discussed, and some results on the Jordan property of automorphism groups of algebraic varieties are obtained.

preprint2010arXiv

The cone of Hilbert nullforms

We describe a geometric-combinatorial algorithm that allows one, using solely the system of weights and roots, to determine the Hesselink strata of the null-cone of a linear representation of a reductive algebraic group and calculate their dimensions. In particular, it provides a constructive approach to calculating the dimension of the null-cone and determining all its irreducible components of maximal dimension. In the case of the adjoint representation (and, more generally, a $θ$ -representation), the algorithm turns into the classification algorithm for the conjugacy classes of nilpotent elements in a semisimple Lie algebra (respectively, homogeneous nilpotent elements in a cyclically graded semisimple Lie algebra).

preprint2009arXiv

Algebraic cones

A characterization of algebraic cones in terms of actions of the one-dimensional multiplicative algebraic monoid ${\bf M}_{\rm m}$ and the algebraic group ${\bf G}_{\rm m}$ are given.

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.

Vladimir L. Popov

Research overview

Is this your work?

23 publications

Embeddings of groups ${\rm Aut}(F_n)$ into automorphism groups of algebraic varieties

Faithful actions of automorphism groups of free groups on algebraic varieties

Rationality of adjoint orbits

Underlying varieties and group structures

On algebraic group varieties

Algebraic groups whose orbit closures contain only finitely many orbits

Root lattices in number fields

Three plots about the Cremona groups

Bass' triangulability problem

Generic algebras: rational parametrization and normal forms

Number of components of the nullcone

On the equations defining affine algebraic groups

Around the Abhyankar--Sathaye conjecture

Finite subgroups of diffeomorphism groups

On infinite dimensional algebraic transformation groups

Jordan groups and automorphism groups of algebraic varieties

Some subgroups of the Cremona groups

Tori in the Cremona groups

Cross-sections, quotients, and representation rings of semisimple algebraic groups

Is the function field of a reductive Lie algebra purely transcendental over the field of invariants for the adjoint action?

On the Makar-Limanov, Derksen invariants, and finite automorphism groups of algebraic varieties

The cone of Hilbert nullforms

Algebraic cones

See the researcher in context

Building this map preview

Vladimir L. Popov

Research overview

Is this your work?

23 publications

Embeddings of groups Aut(Fn){\rm Aut}(F_n)Aut(Fn​) into automorphism groups of algebraic varieties

Faithful actions of automorphism groups of free groups on algebraic varieties

Rationality of adjoint orbits

Underlying varieties and group structures

On algebraic group varieties

Algebraic groups whose orbit closures contain only finitely many orbits

Root lattices in number fields

Three plots about the Cremona groups

Bass' triangulability problem

Generic algebras: rational parametrization and normal forms

Number of components of the nullcone

On the equations defining affine algebraic groups

Around the Abhyankar--Sathaye conjecture

Finite subgroups of diffeomorphism groups

On infinite dimensional algebraic transformation groups

Jordan groups and automorphism groups of algebraic varieties

Some subgroups of the Cremona groups

Tori in the Cremona groups

Cross-sections, quotients, and representation rings of semisimple algebraic groups

Is the function field of a reductive Lie algebra purely transcendental over the field of invariants for the adjoint action?

On the Makar-Limanov, Derksen invariants, and finite automorphism groups of algebraic varieties

The cone of Hilbert nullforms

Algebraic cones

See the researcher in context

Building this map preview

Embeddings of groups ${\rm Aut}(F_n)$ into automorphism groups of algebraic varieties