BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Vladimir L. Popov

Vladimir L. Popov contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.GRmath.COmath.RTmath.ACmath.ATmath.NT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
7topics
1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

14 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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$&#39;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].

0 citations0 reviewsNo code linkedOpen access
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&#39;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$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Jordan groups and automorphism groups of algebraic varieties

This is the expanded version of my talk at the workshop &#34;Groups of Automorphisms in Birational and Affine Geometry&#34;, 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.

0 citations0 reviewsNo code linkedOpen access
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 &#34;unipotent&#34; cannot be replaced by &#34;connected solvable&#34;.\;This is applied to proving a conjecture of A. Joseph on the existence of &#34;rational slices&#34; 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.

0 citations0 reviewsNo code linkedOpen access
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&#39;s question cited in the epigraph. In particular, for ${\rm char}\,k=0$, the converse to Steinberg&#39;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&#39;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&#39;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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access