Showing 1–30 of 30 results for author: Rapinchuk, A S

On Almost Strong Approximation in Reductive Algebraic Groups

Authors: Andrei S. Rapinchuk, Wojciech Tralle

Abstract: We investigate a slight weakening of the classical property of strong approximation, which we call almost strong approximation, for connected reductive algebraic group over global fields with respect to special sets of valuations. While nonsimply connected groups (in particular, all algebraic tori) always fail to have strong approximation - and even almost strong approximation -- with respect to a… ▽ More We investigate a slight weakening of the classical property of strong approximation, which we call almost strong approximation, for connected reductive algebraic group over global fields with respect to special sets of valuations. While nonsimply connected groups (in particular, all algebraic tori) always fail to have strong approximation - and even almost strong approximation -- with respect to any finite set of valuations, we show that under appropriate assumptions they do have almost strong approximation with respect to (infinite) tractable sets of valuations, i.e. those sets that contain all archimedean valuations and a generalized arithmetic progression minus a set having Dirichlet density zero. Almost strong approximation is likely to have a variety of applications, and as an example we use almost strong approximation for tori to extend the essential part of the result of Radhika and Raghunathan on the congruence subgroup problem for inner forms of type $\textsf{A}_n$ to all absolutely almost simple simply connected groups. △ Less

Submitted 4 May, 2025; v1 submitted 1 March, 2025; originally announced March 2025.

Comments: 22 pages

The finiteness of the Tate-Shafarevich group over function fields for algebraic tori defined over the base field

Authors: Andrei S. Rapinchuk, Igor A. Rapinchuk

Abstract: Let $K$ be a field and $V$ be a set of rank one valuations of $K$. The corresponding Tate-Shafarevich group of a $K$-torus $T$ is $Sha(T , V) = \ker\left(H^1(K , T) \to \prod_{v \in V} H^1(K_v , T)\right)$. We prove that if $K = k(X)$ is the function field of a smooth geometrically integral quasi-projective variety over a field $k$ of characteristic 0 and $V$ is the set of discrete valuations of… ▽ More Let $K$ be a field and $V$ be a set of rank one valuations of $K$. The corresponding Tate-Shafarevich group of a $K$-torus $T$ is $Sha(T , V) = \ker\left(H^1(K , T) \to \prod_{v \in V} H^1(K_v , T)\right)$. We prove that if $K = k(X)$ is the function field of a smooth geometrically integral quasi-projective variety over a field $k$ of characteristic 0 and $V$ is the set of discrete valuations of $K$ associated with prime divisors on $X$, then for any torus $T$ defined over the base field $k$, the group $Sha(T , V)$ is finite in the following situations: (1) $k$ is finitely generated and $X(k) \neq \emptyset$; (2) $k$ is a number field. △ Less

Submitted 23 October, 2023; v1 submitted 3 July, 2023; originally announced July 2023.

Comments: Corrections and clarifications based on referee's feedback

Applications of the Fixed Point Theorem for group actions on buildings to algebraic groups over polynomial rings

Authors: Peter Abramenko, Andrei S. Rapinchuk, Igor A. Rapinchuk

Abstract: We apply the Fixed Point Theorem for the actions of finite groups on Bruhat-Tits buildings and their products to establish two results concerning the groups of points of reductive algebraic groups over polynomial rings in one variable, assuming that the base field is of characteristic zero. First, we prove that for a reductive $k$-group $G$, every finite subgroup of $G(k[t])$ is conjugate to a sub… ▽ More We apply the Fixed Point Theorem for the actions of finite groups on Bruhat-Tits buildings and their products to establish two results concerning the groups of points of reductive algebraic groups over polynomial rings in one variable, assuming that the base field is of characteristic zero. First, we prove that for a reductive $k$-group $G$, every finite subgroup of $G(k[t])$ is conjugate to a subgroup of $G(k)$. This, in particular, implies that if $k$ is a finite extension of the $p$-adic field $\mathbb{Q}_p$, then the group $G(k[t])$ has finitely many conjugacy classes of finite subgroups, which is a well-known property for arithmetic groups. Second, we give a give a short proof of the theorem of Raghunathan-Ramanathan about $G$-torsors over the affine line. △ Less

Submitted 23 October, 2023; v1 submitted 19 August, 2022; originally announced August 2022.

Comments: Corrections and clarifications based on referee's feedback

Simple algebraic groups with the same maximal tori, weakly commensurable Zariski-dense subgroups, and good reduction

Authors: Vladimir I. Chernousov, Andrei S. Rapinchuk, Igor A. Rapinchuk

Abstract: We provide a new condition for an absolutely almost simple algebraic group to have good reduction with respect to a discrete valuation of the base field which is formulated in terms of the existence of maximal tori with special properties. This characterization, in particular, shows that the Finiteness Conjecture for forms of an absolutely almost simple algebraic group over a finitely generated fi… ▽ More We provide a new condition for an absolutely almost simple algebraic group to have good reduction with respect to a discrete valuation of the base field which is formulated in terms of the existence of maximal tori with special properties. This characterization, in particular, shows that the Finiteness Conjecture for forms of an absolutely almost simple algebraic group over a finitely generated field that have good reduction at a divisorial set of places of the field would imply the finiteness of the genus of the group at hand. It also leads to a new phenomenon that we refer to as "killing the genus by a purely transcendental extension." Yet another application deals with the investigation of "eigenvalue rigidity" of Zariski-dense subgroups, which in turn is related to the analysis of length-commensurable Riemann surfaces and general locally symmetric spaces. Finally, we analyze the Finiteness Conjecture and the genus problem for simple algebraic groups of type $\textsf{F}_4$. △ Less

Submitted 14 December, 2023; v1 submitted 8 December, 2021; originally announced December 2021.

Comments: Published version

Properness of the global-to-local map for algebraic groups with toric connected component and other finiteness properties

Authors: Andrei S. Rapinchuk, Igor A. Rapinchuk

Abstract: This is a companion paper to our previous work, where we proved the finiteness of the Tate-Shafarevich group for an arbitrary torus $T$ over a finitely generated field $K$ with respect to any divisorial set $V$ of places of $K$. Here, we extend this result to any $K$-group $D$ whose connected component is a torus (for the same $V$), and as a consequence obtain a finiteness result for the local-to-… ▽ More This is a companion paper to our previous work, where we proved the finiteness of the Tate-Shafarevich group for an arbitrary torus $T$ over a finitely generated field $K$ with respect to any divisorial set $V$ of places of $K$. Here, we extend this result to any $K$-group $D$ whose connected component is a torus (for the same $V$), and as a consequence obtain a finiteness result for the local-to-global conjugacy of maximal tori in reductive groups over finitely generated fields. Moreover, we prove the finiteness of the Tate-Shafarevich group for tori over function fields $K$ of normal varieties defined over base fields of characteristic zero and satisfying Serre's condition (F), in which case $V$ consists of the discrete valuations associated with the prime divisors on the variety (geometric places). In this situation, we also establish the finiteness of the number of $K$-isomorphism classes of algebraic $K$-tori of a given dimension having good reduction at all $v \in V$, and then discuss ways of extending this result to positive characteristic. Finally, we prove the finiteness of the number of isomorphism classes of forms of an absolutely almost simple group defined over the function field of a complex surface that have good reduction at all geometric places. △ Less

Submitted 14 December, 2023; v1 submitted 29 April, 2021; originally announced April 2021.

Comments: Final version

Recent developments in the theory of linear algebraic groups: Good reduction and finiteness properties

Authors: Andrei S. Rapinchuk, Igor A. Rapinchuk

Abstract: This is a survey article on some recent developments in the arithmetic theory of linear algebraic groups over higher-dimensional fields, written for the Notices of the AMS. This is a survey article on some recent developments in the arithmetic theory of linear algebraic groups over higher-dimensional fields, written for the Notices of the AMS. △ Less

Submitted 24 January, 2021; originally announced January 2021.

Comments: To appear in the Notices of the AMS. arXiv admin note: text overlap with arXiv:2005.05484

Linear algebraic groups with good reduction

Authors: Andrei S. Rapinchuk, Igor A. Rapinchuk

Abstract: This article is a survey of conjectures and results on reductive algebraic groups having good reduction at a suitable set of discrete valuations of the base field. Until recently, this subject has received relatively little attention, but now it appears to be developing into one of the central topics in the emerging arithmetic theory of (linear) algebraic groups over higher-dimensional fields. The… ▽ More This article is a survey of conjectures and results on reductive algebraic groups having good reduction at a suitable set of discrete valuations of the base field. Until recently, this subject has received relatively little attention, but now it appears to be developing into one of the central topics in the emerging arithmetic theory of (linear) algebraic groups over higher-dimensional fields. The focus of this article is on the Main Conjecture asserting the finiteness of the number of isomorphism classes of forms of a given reductive group over a finitely generated field that have good reduction at a divisorial set of places of the field. Various connections between this conjecture and other problems in the theory of algebraic groups (such as the analysis of the global-to-local map in Galois cohomology, the genus problem, etc.) are discussed in detail. The article also includes a brief review of the required facts about discrete valuations, forms of algebraic groups, and Galois cohomology. △ Less

Submitted 17 August, 2020; v1 submitted 11 May, 2020; originally announced May 2020.

Some finiteness results for algebraic groups and unramified cohomology over higher-dimensional fields

Authors: Andrei S. Rapinchuk, Igor A. Rapinchuk

Abstract: We formulate and analyze several finiteness conjectures for linear algebraic groups over higher-dimensional fields. In fact, we prove all of these conjectures for algebraic tori as well as in some other situations. This work relies in an essential way on several finiteness results for unramified cohomology. We formulate and analyze several finiteness conjectures for linear algebraic groups over higher-dimensional fields. In fact, we prove all of these conjectures for algebraic tori as well as in some other situations. This work relies in an essential way on several finiteness results for unramified cohomology. △ Less

Submitted 16 February, 2020; v1 submitted 4 February, 2020; originally announced February 2020.

Comments: Besides minor changes in exposition, we have added a new adelic proof of Theorem 1.2. This, in particular, allows us to remove any restrictions on the characteristic of the field

The finiteness of the genus of a finite-dimensional division algebra, and some generalizations

Authors: Vladimir I. Chernousov, Andrei S. Rapinchuk, Igor A. Rapinchuk

Abstract: We prove that the genus of a finite-dimensional division algebra is finite whenever the center is a finitely generated field of any characteristic. We also discuss potential applications of our method to other problems, including the finiteness of the genus of simple algebraic groups of type $\textsf{G}_2$. These applications involve the double cosets of adele groups of algebraic groups over arbit… ▽ More We prove that the genus of a finite-dimensional division algebra is finite whenever the center is a finitely generated field of any characteristic. We also discuss potential applications of our method to other problems, including the finiteness of the genus of simple algebraic groups of type $\textsf{G}_2$. These applications involve the double cosets of adele groups of algebraic groups over arbitrary finitely generated fields: while over number fields these double cosets are associated with the class numbers of algebraic groups and hence have been actively analyzed, similar question over more general fields seem to come up for the first time. In the Appendix, we link the double cosets with $\check{\rm C}$ech cohomology and indicate connections between certain finiteness properties involving double cosets (Condition (T)) and Bass's finiteness conjecture in $K$-theory. △ Less

Submitted 1 February, 2019; v1 submitted 1 February, 2018; originally announced February 2018.

Comments: Minor revisions and clarifications to the previous version

Bounded generation of SL_2 over rings of S-integers with infinitely many units

Authors: Aleksander V. Morgan, Andrei S. Rapinchuk, Balasubramanian Sury

Abstract: Let O be the ring of S-integers in a number field k. We prove that if the group of units O^* is infinite then every matrix in $Γ$ = SL_2(O) is a product of at most 9 elementary matrices. This completes a long line of research in this direction. As a consequence, we obtain that $Γ$ is boundedly generated as an abstract group. Let O be the ring of S-integers in a number field k. We prove that if the group of units O^* is infinite then every matrix in $Γ$ = SL_2(O) is a product of at most 9 elementary matrices. This completes a long line of research in this direction. As a consequence, we obtain that $Γ$ is boundedly generated as an abstract group. △ Less

Submitted 19 June, 2018; v1 submitted 30 August, 2017; originally announced August 2017.

Comments: Final version - to appear in `Algebra and Number Theory'

Journal ref: Alg. Number Th. 12 (2018) 1949-1974

Spinor Groups with Good Reduction

Authors: Vladimir I. Chernousov, Andrei S. Rapinchuk, Igor A. Rapinchuk

Abstract: Let $K$ be a 2-dimensional global field of characteristic $\neq 2$, and let $V$ be a divisorial set of places of $K$. We show that for a given $n \geqslant 5$, the set of $K$-isomorphism classes of spinor groups $G = \mathrm{Spin}_n(q)$ of nondegenerate $n$-dimensional quadratic forms over $K$ that have good reduction at all $v \in V$, is finite. This result yields some other finiteness properties… ▽ More Let $K$ be a 2-dimensional global field of characteristic $\neq 2$, and let $V$ be a divisorial set of places of $K$. We show that for a given $n \geqslant 5$, the set of $K$-isomorphism classes of spinor groups $G = \mathrm{Spin}_n(q)$ of nondegenerate $n$-dimensional quadratic forms over $K$ that have good reduction at all $v \in V$, is finite. This result yields some other finiteness properties, such as the finiteness of the genus $\mathbf{gen}_K(G)$ and the properness of the global-to-local map in Galois cohomology. The proof relies on the finiteness of the unramified cohomology groups $H^i(K , μ_2)_V$ for $i \geqslant 1$ established in the paper. The results for spinor groups are then extended to some unitary groups and to groups of type $\textsf{G}_2$. △ Less

Submitted 4 November, 2018; v1 submitted 25 July, 2017; originally announced July 2017.

Comments: Added dedication and made minor stylistic changes. To appear in Compositio Mathematica

Journal ref: Compositio Math. 155 (2019) 484-527

Generic elements of a Zariski-dense subgroup form an open subset

Authors: Gopal Prasad, Andrei S. Rapinchuk

Abstract: Let G be a semi-simple algebraic group over a finitely generated field K of characteristic zero, and let Γ< G(K) be a finitely generated Zariski-dense subgroup. In this note we prove that the set of K-generic elements of Γ(whose existence was established earlier in [9]) is open in the profinite topology of Γ. We then extend this result to the fields of positive characteristic, and also prove the e… ▽ More Let G be a semi-simple algebraic group over a finitely generated field K of characteristic zero, and let Γ< G(K) be a finitely generated Zariski-dense subgroup. In this note we prove that the set of K-generic elements of Γ(whose existence was established earlier in [9]) is open in the profinite topology of Γ. We then extend this result to the fields of positive characteristic, and also prove the existence of generic elements in this case. △ Less

Submitted 25 July, 2017; v1 submitted 8 July, 2017; originally announced July 2017.

Comments: We now prove the existence of generic elements in arbitrary Zariski-dense subsemigroups

On the size of the genus of a division algebra

Authors: Vladimir I. Chernousov, Andrei S. Rapinchuk, Igor A. Rapinchuk

Abstract: Let D be a central division algebra of degree n over a field K. One defines the genus gen(D) of D as the set of classes [D'] in the Brauer group Br(K) of K represented by central division algebras D' of degree n over K having the same maximal subfields as D. We prove that if the field K is finitely generated and n is prime to its characteristic, then gen(D) is finite, and give explicit estimations… ▽ More Let D be a central division algebra of degree n over a field K. One defines the genus gen(D) of D as the set of classes [D'] in the Brauer group Br(K) of K represented by central division algebras D' of degree n over K having the same maximal subfields as D. We prove that if the field K is finitely generated and n is prime to its characteristic, then gen(D) is finite, and give explicit estimations of its size in certain situations. △ Less

Submitted 8 September, 2015; originally announced September 2015.

On the congruence kernel for simple algebraic groups

Authors: Gopal Prasad, Andrei S. Rapinchuk

Abstract: This paper contains several results about the structure of the congruence kernel C^(S)(G) of an absolutely almost simple simply connected algebraic group G over a global field K with respect to a set of places S of K. In particular, we show that C^(S)(G) is always trivial if S contains a generalized arithmetic progression. We also give a criterion for the centrality of C^(S)(G) in the general situ… ▽ More This paper contains several results about the structure of the congruence kernel C^(S)(G) of an absolutely almost simple simply connected algebraic group G over a global field K with respect to a set of places S of K. In particular, we show that C^(S)(G) is always trivial if S contains a generalized arithmetic progression. We also give a criterion for the centrality of C^(S)(G) in the general situation in terms of the existence of commuting lifts of the groups G(K_v) for v \notin S in the S-arithmetic completion \widehat{G}^(S). This result enables one to give simple proofs of the centrality in a number of cases. Finally, we show that if K is a number field and $G$ is K-isotropic then C^(S)(G) as a normal subgroup of \widehat{G}^(S) is almost generated by a single element. △ Less

Submitted 12 March, 2015; originally announced March 2015.

Division algebras with the same maximal subfields

Authors: Vladimir I. Chernousov, Andrei S. Rapinchuk, Igor A. Rapinchuk

Abstract: We give a survey of recent results related to the problem of characterizing finite-dimensional division algebras by the set of isomorphism classes of their maximal subfields. We also discuss various generalizations of this problem and some of its applications. In the last section, we extend the problem to the context of absolutely almost simple algebraic groups. We give a survey of recent results related to the problem of characterizing finite-dimensional division algebras by the set of isomorphism classes of their maximal subfields. We also discuss various generalizations of this problem and some of its applications. In the last section, we extend the problem to the context of absolutely almost simple algebraic groups. △ Less

Submitted 16 January, 2015; originally announced January 2015.

On graphs and valuations

Authors: Ido Efrat, Andrei S. Rapinchuk, Yoav Segev

Abstract: In the last two decades new techniques emerged to construct valuations on an infinite division ring $D,$ given a normal subgroup $N\subseteq D$ of finite index. These techniques were based on the commuting graph of $D^{\times}/N$ in the case where $D$ is non-commutative, and on the Milnor K-graph on $D^{\times}/N,$ in the case where $D$ is commutative. In this paper we unify these two approaches a… ▽ More In the last two decades new techniques emerged to construct valuations on an infinite division ring $D,$ given a normal subgroup $N\subseteq D$ of finite index. These techniques were based on the commuting graph of $D^{\times}/N$ in the case where $D$ is non-commutative, and on the Milnor K-graph on $D^{\times}/N,$ in the case where $D$ is commutative. In this paper we unify these two approaches and consider V-graphs on $D^{\times}/N$ and how they lead to valuations. We furthermore generalize previous results to situations of finitely many valuations. △ Less

Submitted 27 August, 2014; v1 submitted 31 January, 2014; originally announced January 2014.

Comments: 40 pages, no figures

MSC Class: Primary: 16W60; 16K20; 19D45 Secondary: 05C25

Weakly commensurable groups, with applications to differential geometry

Authors: Gopal Prasad, Andrei S. Rapinchuk

Abstract: The article contains a survey of our results on weakly commensurable arithmetic and general Zariski-dense subgroups, length-commensurable and isospectral locally symmetric spaces and of related problems in the theory of semi-simple agebraic groups. We have included a discussion of very recent results and conjectures on absolutely almost simple algebraic groups having the same maximal tori and fini… ▽ More The article contains a survey of our results on weakly commensurable arithmetic and general Zariski-dense subgroups, length-commensurable and isospectral locally symmetric spaces and of related problems in the theory of semi-simple agebraic groups. We have included a discussion of very recent results and conjectures on absolutely almost simple algebraic groups having the same maximal tori and finite-dimensional division algebras having the same maximal subfields. △ Less

Submitted 22 November, 2013; v1 submitted 4 July, 2013; originally announced July 2013.

Comments: Improved exposition, updated bibliography. arXiv admin note: substantial text overlap with arXiv:1212.1217

The genus of a division algebra and the unramified Brauer group

Authors: Vladimir I. Chernousov, Andrei S. Rapinchuk, Igor A. Rapinchuk

Abstract: Let D be a finite-dimensional central division algebra over a field K. We define the genus gen(D) of D to be the collection of classes in the Brauer group of K represented by central division K-algebras D' having the same maximal subfields as D. In this paper, we describe a general approach to proving the finiteness of gen(D) and estimating its size that involves the unramified Brauer group with r… ▽ More Let D be a finite-dimensional central division algebra over a field K. We define the genus gen(D) of D to be the collection of classes in the Brauer group of K represented by central division K-algebras D' having the same maximal subfields as D. In this paper, we describe a general approach to proving the finiteness of gen(D) and estimating its size that involves the unramified Brauer group with respect to an appropriate set of discrete valuations of K. △ Less

Submitted 2 March, 2013; originally announced March 2013.

Generic elements in Zariski-dense subgroups and isospectral locally symmetric spaces

Authors: Gopal Prasad, Andrei S. Rapinchuk

Abstract: The article contains a survey of results on length-commensurable and isospectral locally symmetric spaces and related problems in the theory of semi-simple algebraic groups. The article contains a survey of results on length-commensurable and isospectral locally symmetric spaces and related problems in the theory of semi-simple algebraic groups. △ Less

Submitted 13 September, 2013; v1 submitted 5 December, 2012; originally announced December 2012.

Comments: New material has been added in section 9

On strong approximation for algebraic groups

Authors: Andrei S. Rapinchuk

Abstract: This is an expanded version of my talk given at the workshop "Hot Topics: Thin Groups and Super-strong Approximation" (MSRI, Berkeley, February 6-10, 2012). This is an expanded version of my talk given at the workshop "Hot Topics: Thin Groups and Super-strong Approximation" (MSRI, Berkeley, February 6-10, 2012). △ Less

Submitted 18 July, 2012; originally announced July 2012.

Weakly commensurable S-arithmetic subgroups in almost simple algebraic groups of types B and C

Authors: Skip Garibaldi, Andrei S. Rapinchuk

Abstract: Let G and G' be absolutely almost simple algebraic groups of types B and C respectively, of rank at least 3, and defined over a number field K. We determine when G and G' have the same isomorphism or isogeny classes of maximal K-tori. This leads to the necessary and sufficient conditions for two Zariski-dense S-arithmetic subgroups of G and G' to be weakly commensurable. Let G and G' be absolutely almost simple algebraic groups of types B and C respectively, of rank at least 3, and defined over a number field K. We determine when G and G' have the same isomorphism or isogeny classes of maximal K-tori. This leads to the necessary and sufficient conditions for two Zariski-dense S-arithmetic subgroups of G and G' to be weakly commensurable. △ Less

Submitted 7 May, 2012; originally announced May 2012.

MSC Class: 20G15 (Primary) 11E57; 14L35; 20G30 (Secondary)

Journal ref: Algebra & Number Theory, vol. 7 (2013), #5, 1147-1178

The Multinorm Principle For Linearly Disjoint Galois Extensions

Authors: Timothy P. Pollio, Andrei S. Rapinchuk

Abstract: Let L_1 and L_2 be finite separable extensions of a global field K, and let E_i be the Galois closure of L_i over K for i=1,2. We establish a local-global principle for the product of norms from L_1 and L_2 (so-called multinorm principle) provided that the extensions E_1 and E_2 are linearly disjoint over K. Let L_1 and L_2 be finite separable extensions of a global field K, and let E_i be the Galois closure of L_i over K for i=1,2. We establish a local-global principle for the product of norms from L_1 and L_2 (so-called multinorm principle) provided that the extensions E_1 and E_2 are linearly disjoint over K. △ Less

Submitted 1 March, 2012; originally announced March 2012.

On the fields generated by the lengths of closed geodesics in locally symmetric spaces

Authors: Gopal Prasad, Andrei S. Rapinchuk

Abstract: This paper is the next installment of our analysis of length-commensurable locally symmetric spaces begun in Publ. math. IHES 109(2009), 113-184. For a Riemannian manifold $M$, we let $L(M)$ be the weak length spectrum of $M$, i.e. the set of lengths of all closed geodesics in $M$, and let $\mathcal{F}(M)$ denote the subfield of $\mathbb{R}$ generated by $L(M)$. Let now $M_i$ be an arithmetically… ▽ More This paper is the next installment of our analysis of length-commensurable locally symmetric spaces begun in Publ. math. IHES 109(2009), 113-184. For a Riemannian manifold $M$, we let $L(M)$ be the weak length spectrum of $M$, i.e. the set of lengths of all closed geodesics in $M$, and let $\mathcal{F}(M)$ denote the subfield of $\mathbb{R}$ generated by $L(M)$. Let now $M_i$ be an arithmetically defined locally symmetric space associated with a simple algebraic $\mathbb{R}$-group $G_i$ for $i = 1, 2$. Assuming Schanuel's conjecture from transcendental number theory, we prove (under some minor technical restrictions) the following dichotomy: either $M_1$ and $M_2$ are length-commensurable, i.e. $\mathbb{Q} \cdot L(M_1) = \mathbb{Q} \cdot L(M_2)$, or the compositum $\mathcal{F}(M_1)\mathcal{F}(M_2)$ has infinite transcendence degree over $\mathcal{F}(M_i)$ for at least one $i = 1$ or $2$ (which means that the sets $L(M_1)$ and $L(M_2)$ are very different). △ Less

Submitted 1 October, 2011; originally announced October 2011.

Centrality of the congruence kernel for elementary subgroups of Chevalley groups of rank >1 over noetherian rings

Authors: Andrei S. Rapinchuk, Igor A. Rapinchuk

Abstract: We prove the centrality of the congruence kernel for the elementary subgroup of a Chevalley group G of rank >1 over an arbitrary noetherian ring R (under some minor restrictions on R if G is of type C_n or G_2). We prove the centrality of the congruence kernel for the elementary subgroup of a Chevalley group G of rank >1 over an arbitrary noetherian ring R (under some minor restrictions on R if G is of type C_n or G_2). △ Less

Submitted 14 July, 2010; originally announced July 2010.

On division algebras having the same maximal subfields

Authors: A. S. Rapinchuk, I. A. Rapinchuk

Abstract: We address the problem of when two finite dimensional central division algebras over the same field are necessarily isomorphic given that they have the same maximal subfields. We address the problem of when two finite dimensional central division algebras over the same field are necessarily isomorphic given that they have the same maximal subfields. △ Less

Submitted 29 December, 2009; v1 submitted 18 October, 2009; originally announced October 2009.

Comments: 16 pages

MSC Class: 16K50; 20G15

Number theoretic techniques in the theory of Lie groups and differential geometry

Authors: Gopal Prasad, Andrei S. Rapinchuk

Abstract: The purpose of this article is to present a survey of our recent results on length commensurable and isospectral locally symmetric spaces. The geometric questions led us to the notion of "weak commensurability" of two Zariski-dense subgroups in a semi-simple Lie group. We have shown that for arithmetic subgroups, weak commensurability has surprisingly strong consequences. Our proofs make use of… ▽ More The purpose of this article is to present a survey of our recent results on length commensurable and isospectral locally symmetric spaces. The geometric questions led us to the notion of "weak commensurability" of two Zariski-dense subgroups in a semi-simple Lie group. We have shown that for arithmetic subgroups, weak commensurability has surprisingly strong consequences. Our proofs make use of p-adic techniques and results from algebraic and transcendental number theory. △ Less

Submitted 15 September, 2008; originally announced September 2008.

Comments: This is a slightly revised version of a survey article published in the Proceedings of the International Congress of Chinese Mathematicians held in 2007

Developments on the congruence subgroup problem after the work of Bass, Milnor and Serre

Authors: Gopal Prasad, Andrei S. Rapinchuk

Abstract: In this survey article we give an overview of the developments on the congruence subgroup and the metaplectic problems after the work of Bass, Milnor and Serre. In this survey article we give an overview of the developments on the congruence subgroup and the metaplectic problems after the work of Bass, Milnor and Serre. △ Less

Submitted 8 October, 2008; v1 submitted 9 September, 2008; originally announced September 2008.

Comments: 22 pages

MSC Class: 20G30

Local-global principles for embedding of fields with involution into simple algebras with involution

Authors: Gopal Prasad, Andrei S. Rapinchuk

Abstract: In this paper we prove local-global principles for embedding of fields with involution into central simple algebras with involution over a global field. These should be of interest in study of classical groups over global fields. We deduce from our results that in a group of type D_n, n>4 even, two weakly commensurable Zariski-dense S-arithmetic subgroups are actually commensurable. A consequenc… ▽ More In this paper we prove local-global principles for embedding of fields with involution into central simple algebras with involution over a global field. These should be of interest in study of classical groups over global fields. We deduce from our results that in a group of type D_n, n>4 even, two weakly commensurable Zariski-dense S-arithmetic subgroups are actually commensurable. A consequence of this result is that given an absolutely simple algebraic K-group G of type D_n, n>4 even, K a number field, any K-form G' of G having the same set of isomorphism classes of maximal K-tori as G, is necessarily K-isomorphic to G. These results lead to results about isolength and isospectral compact hyperbolic spaces of dimension 2n-1 with n even. △ Less

Submitted 2 July, 2009; v1 submitted 3 June, 2008; originally announced June 2008.

Weakly commensurable arithmetic groups, lengths of closed geodesics and isospectral locally symmetric spaces

Authors: Gopal Prasad, Andrei S. Rapinchuk

Abstract: We introduce the notion of weak commensurabilty of arithmetic subgroups and relate it to the length equivalence and isospectrality of locally symmetric spaces. We prove many strong consequences of weak commensurabilty and derive from these many interesting results about isolength and isospectral locally symmetric spaces. We introduce the notion of weak commensurabilty of arithmetic subgroups and relate it to the length equivalence and isospectrality of locally symmetric spaces. We prove many strong consequences of weak commensurabilty and derive from these many interesting results about isolength and isospectral locally symmetric spaces. △ Less

Submitted 3 November, 2008; v1 submitted 20 May, 2007; originally announced May 2007.

Comments: 62 pages

Journal ref: Publ. Math. IHES 109(2009)

Bounded generation of S-arithmetic subgroups of isotropic orthogonal groups over number fields

Authors: Igor V. Erovenko, Andrei S. Rapinchuk

Abstract: Let f be a nondegenerate quadratic form in at least 5 variables over a number field K and let S be a finite set of valuations of K containing all Archimedean ones. We prove that if the Witt index of f is at least 2 or it is 1 and S contains a non-Archimedean valuation, then the S-arithmetic subgroups of the special orthogonal group of f have bounded generation. These groups provide a series of e… ▽ More Let f be a nondegenerate quadratic form in at least 5 variables over a number field K and let S be a finite set of valuations of K containing all Archimedean ones. We prove that if the Witt index of f is at least 2 or it is 1 and S contains a non-Archimedean valuation, then the S-arithmetic subgroups of the special orthogonal group of f have bounded generation. These groups provide a series of examples of boundedly generated S-arithmetic groups in isotropic, but not quasi-split, algebraic groups. △ Less

Submitted 29 August, 2005; v1 submitted 24 August, 2005; originally announced August 2005.

Comments: An extended version of the paper accepted by the Journal of Number Theory, it includes a self-contained proof of Witt's theorem for local lattices