BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Mikhail Borovoi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
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.
Published work
Using results of Cartan, Matsumoto, and Casselman, we give a short proof of Timashev's theorem computing the real component group π_0 G(R) of a connected reductive real algebraic group G in terms of a maximal torus of G containing a maximal split torus.
For a connected semisimple group G over the field of real numbers R, using a method of Onishchik and Vinberg, we compute the first Galois cohomology set H^1(R,G) in terms of Kac labelings of the affine Dynkin diagram of G.
Let $G$ be a connected semisimple group over an algebraically closed field $k$ of characteristic 0. Let $Y=G/H$ be a spherical homogeneous space of $G$, and let $Y'$ be a spherical embedding of $Y$. Let $k_0$ be a subfield of $k$. Let $G_0$ be a $k_0$ -model ($k_0$-form) of $G$. We show that if $G_0$ is an inner form of a split group and if the subgroup $H$ of $G$ is spherically closed, then $Y$ admits a $G_0$-equivariant $k_0$-model. If we replace the assumption that $H$ is spherically closed by the stronger assumption that $H$ coincides with its normalizer in $G$, then $Y$ and $Y'$ admit compatible $G_0$-equivariant $k_0$-models, and these models are unique.
Let X be a homogeneous space of a quasi-trivial k-group G, with geometric stabilizer H, over a number field k. We prove that under certain conditions on the character group of H, certain algebraic Brauer-Manin obstructions to the Hasse principle and weak approximation vanish, because the abelian groups where they take values vanish. When H is connected or abelian, these algebraic Brauer-Manin obstructions to the Hasse principle and weak approximation are the only ones, so we prove the Hasse principle and weak approximation for X under certain conditions. As an application, we obtain new sufficient conditions for the Hasse principle and weak approximation for linear algebraic groups.
Let G be a simply connected absolutely simple algebraic group defined over the field of real numbers R. Let H be a simply connected semisimple R-subgroup of G. We consider the homogeneous space X=G/H. We ask: How many connected components has X(R)? We give a method of answering this question. Our method is based on our solutions of generalized Reeder puzzles.
Let X=G/H be the quotient of a connected reductive algebraic C-group G defined over the field of complex numbers C by a finite subgroup H. We describe the topological fundamental group of the homogeneous space X, which is nonabelian when H is nonabelian. Further, we construct an example of a homogeneous space X and an automorphism s of C such that the topological fundamental groups of X and of the conjugate variety sX are not isomorphic.
Let G be a connected, compact, semisimple algebraic group over the field of real numbers R. Using Kac diagrams, we describe combinatorially the first Galois cohomology sets H^1(R,H) for all inner forms H of G. As examples, we compute explicitly H^1 for all real forms of the simply connected group of type E_7 (which has been known since 2013) and for all real forms of half-spin groups of type D_{2k} (which seems to be new).
Soit X un espace homogène d'un groupe algébrique linéaire connexe G sur C. Soit x un C-point de X. On désigne par H le stabilisateur de x dans G. On montre qu'on peut définir algébriquement le groupe fondamental topologique π_1(X(C),x), si ce groupe fondamental topologique est abélien. Si Pic(G)=0 et H est connexe ou abélien, on calcule π_1(X(C),x) en termes des groupes de caractères de G et H. En outre, si G et X sont définis sur un corps algébriquement clos de caractéristique p quelconque, on calcule la partie première à p du groupe fondamental étale de X en termes des groupes de caractères de G et H (si Pic(G)=0 et H est connexe). Let X be a homogeneous space of a connected linear algebraic group G defined over C. Let x be a C-point of X. We denote by H the stabilizer of x in G. We show that if the topological fundamental group π_1(X(C),x) is abelian, then it can be defined algebraically. If Pic(G)=0 and H is connected or abelian, we compute π_1(X(C),x) in terms of the character groups of G and H. Furthermore, when G and X are defined over an algebraically closed field of arbitrary characteristic p, we compute the prime-to-p étale fundamental group of X in terms of the character groups of G and H (if Pic(G)=0 and H is connected).
A linear algebraic group G is over a field K is called a Cayley K-group if it admits a Cayley map, i.e., a G-equivariant K-birational isomorphism between the group variety G and its Lie algebra. We classify real reductive algebraic groups of absolute rank 1 and 2 that are Cayley R-groups.
Let k be a global field. Let G be a connected linear algebraic k-group, assumed reductive when k is a function field. It follows from a result of a preprint by Bary-Soroker, Fehm and Petersen that when H is a smooth connected k-subgroup of G, the quotient space G/H is of Hilbert type. We prove a similar result for certain non-connected k-subgroups H of G. In particular, we prove that if G is a simply connected k-group over a number field k, and H is an abelian k-subgroup of G, not necessarily connected, then G/H is of Hilbert type.
A linear algebraic group G over a field k is called a Cayley group if it admits a Cayley map, i.e. a G-equivariant birational isomorphism over k between the group variety G and its Lie algebra Lie(G). A prototypical example is the classical "Cayley transform" for the special orthogonal group SO(n) defined by Arthur Cayley in 1846. A linear algebraic k-group G is called stably Cayley if $G \times S$ is Cayley for some split k-torus S. We classify stably Cayley semisimple groups over an arbitrary field k of characteristic 0.
We define the algebraic fundamental group functor of a reductive group scheme over an arbitrary (non-empty) base scheme and prove that this functor is exact.
This is an English translation of the author's 1981 note in Russian, published in a Yaroslavl collection. We prove that if an Abelian variety over C has no nontrivial endomorphisms, then its Hodge group is Q-simple.
Let k be a field, G a smooth connected linear algebraic group and X a homogeneous space of G over k, such that the geometric stabilizers are extensions of a smooth group of multiplicative type by a smooth connected characterfree group. If k has characteristic zero and if X^c is a smooth compactification of X over k, we obtain a formula for the algebraic Brauer group of X^c. Several variants are obtained in positive characteristic p, including the finite field case and the global field case, where the formulae describe the prime-to-p part of the algebraic unramified Brauer group of X, without assuming the existence of a smooth compactification of X. Moreover, assuming that stabilizers are connected, then our formulae hold for the prime-to-p part of the whole unramified Brauer group.
We give a new proof of the theorem stating that for any connected linear algebraic group G over an algebraically closed field k of characteristic 0 and for any closed connected subgroup H of G, the unramified Brauer group of G/H vanishes.
A linear algebraic group G is over a field K is called a Cayley group if it admits a Cayley map, i.e., a G-equivariant K-birational isomorphism between the group variety G and its Lie algebra. We prove that the special unitary group in 3 variables SU_3 is a Cayley group over R, thus extending a result of V.L. Popov, who proved in 1975 that the special linear group in 3 variables SL_3 over an algebraically closed field of characteristic 0 is Cayley. We also discuss the question whether the R-group SL_{3,R} is Cayley.
Let X be a homogeneous space, X = G/H, where G is a connected linear algebraic group over a number field k, and H is a k-subgroup of G (not necessarily connected). Let S be a finite set of places of k. We compute the Brauer-Manin obstruction to weak approximation for X in S in terms of Galois cohomology.
Let k be a field of characteristic 0 and let X be a smooth geometrically integral k-variety. In our previous paper we defined the extended Picard complex UPic(X) as a certain complex of Galois modules in degrees 0 and 1. We computed the isomorphism class of UPic(G) in the derived category of Galois modules for a connected linear k-group G. In this paper we assume that X is a homogeneous space of a connected linear k-group G with geometric stabilizer H. We compute the isomorphism class of UPic(X) in the derived category of Galois modules in terms of the character groups of G and H. The proof is based on the notion of the extended equivariant Picard complex UPic_G(X) of a G-variety X.
For a homogeneous space X (not necessarily principal) of a connected algebraic group G (not necessarily linear) over a number field k, we prove a theorem of strong approximation for the adelic points of X in the Brauer-Manin set. Namely, for an adelic point x of X orthogonal to a certain subgroup (which may contain transcendental elements) of the Brauer group Br(X) of X with respect to the Manin pairing, we prove a strong approximation property for x away from a finite set S of places of k. Our result extends a result of Harari for torsors of semiabelian varieties and a result of Colliot-Thélène and Xu for homogeneous spaces of simply connected semisimple groups, and our proof uses those results.
Let G be a connected linear algebraic group over a field k. We say that G is toric-friendly if for any field extension K/k and any maximal K-torus T in G the group G(K) has only one orbit in (G/T)(K). Our main result is a classification of semisimple (and under certain assumptions on k, of connected) toric-friendly groups.
For a smooth geometrically integral variety $X$ over a field $k$ of characteristic 0, we introduce and investigate the extended Picard complex $UPic(X)$. It is a certain complex of Galois modules of length 2, whose zeroth cohomology is $\bar{k}[X]^*/ \bar{k}^*$ and whose first cohomology is $Pic(\bar{X})$, where $\bar{k}$ is a fixed algebraic closure of $k$ and $\bar{X}$ is obtained from $X$ by extension of scalars to $\bar{k}$. When $X$ is a $k$-torsor of a connected linear $k$-group $G$, we compute $UPic(X)=UPic(G)$ (in the derived category) in terms of the algebraic fundamental group $π_1(G)$. As an application we compute the elementary obstruction for such $X$.
Let $f$ be an indefinite ternary quadratic form, and let $q$ be an integer such that $-q det(f)$ is not a square. Let $N(T,f,q)$ denote the number of integral solutions of the equation $f(x)=q$ where $x$ lies in the ball of radius $T$ centered at the origin. We are interested in the asymptotic behavior of $N(T,f,q)$ as $T$ tends to infinity. We deduce from the results of our joint paper with Z. Rudnick that $N(T,f,q)$ grows like cE(T,f,q)$ as $T$ tends to infinity, where $E(T,f,q)$ is the Hardy-Littlewood expectation (the product of local densities) and $0 \le c \le 2$. We give examples of $f$ and $q$ such that $c$ takes the values 0, 1, 2.