Lecture Notes in Topological Groups (2014) Updated 7.2.17

Total Page:16

File Type:pdf, Size:1020Kb

Lecture Notes in Topological Groups (2014) Updated 7.2.17 LECTURE NOTES IN TOPOLOGICAL GROUPS (2014) UPDATED 7.2.17 MICHAEL MEGRELISHVILI Contents 1. Lecture 1 1 2. Lecture 2 4 3. Lecture 3 8 4. Lecture 4 13 5. Lecture 5 17 6. Lectures 6 and 7 21 7. Lecture 8 27 8. Lecture 9 30 9. Lectures 10,11,12 34 References 43 1. Lecture 1 Definition 1.1. Let (G; m) be a group and τ be a topology on G. We say that (G; m; τ) (or, simply, G) is a topological group if the two basic operations m : G × G ! G; (x; y) 7! m(x; y) := xy and the inversion i : G ! G; x 7! x−1 are continuous. We say also that τ is a group topology on the group G. By TGr we denote the class of all topological groups. In most cases later we consider Hausdorff groups. Morphisms in TGr are continuous homomorphisms. For example, −1 id :(R; τdiscrete) ! R is a continuous homomorphism but not id . Algebraically id is of course an isomorphism. That is, isomorphism in Gr but not in TGr. Note that every group with the discrete topology is a topological group. Hence, Gr ⊂ T Gr. Trivial topology is also a group topology on every group. We say that a topological group is Hausdorff, compact, metrizable, separable etc. if the given topology on G satisfies the corresponding topological property. Remarks 1.2. Date: February, 2017. 1 2 (1) (a short version) 1.1 is equivalent to the following condition: G × G ! G; (x; y) 7! xy−1 is continuous. (2) (in terms of nbds) 1.1 is equivalent to the following conditions: (a) 8U 2 N(xy) 9V 2 N(x);W 2 N(y): VW ⊂ U (b) 8U 2 N(x−1) 9V 2 N(x): V −1 ⊂ U. Note that (b) is equivalent to (b') 8U 2 N(x−1) U −1 2 N(x). (3) (in terms of (generalized) sequences) If G is metrizable then 1.1 is equivalent to the following condition: −1 −1 xn ! x; yn ! y ) xnyn ! xy In general one may use the nets ( generalized sequences). Exercise 1.3. (1) Show that R2 and R are nonhomeomorphic topological spaces but algebraically these groups are isomorphic. (2) Show that the discrete spaces Z and Z × Z2 are homeomorphic but as groups they are not isomorphic. Definition 1.4. (1) In terms of Definition 1.1 we say that G is: paratopological group if m is continuous. (2) Let (S; m) be a semigroup and τ be a topology on S. We say that the semi- group S is: (a) topological semigroup if m : S × S ! S is continuous. So, a paratopolog- ical group is a topological semigroup. (b) semitopological if m is separately continuous. That is, if all left and right translations la : S ! S; x 7! ax; ra : S ! S; x 7! xa are continuous for every a 2 S. (c) right (left) topological if right (left) translations of S are continuous. Example 1.5. (1) (para but not topo) Let τs be the Sorgenfrey topology (standard topological base is f[a; b)g) on the group (R; +) of all reals. Then (R; τs; +) is a paratopological but not topological group. Hint: [0; 1) 2 τs but (−1; 0] 2= τs. (2) (semi but not para) For every group G the pair (G; τcof ) (with the cofinite topology) is a semitopological group which satisfies T1. It is a paratopological group iff G is finite. (3) (right but not left) For every topological space X consider the semigroup (XX ; ◦) of all selfmaps wrt product (=pointwise) topology. Then XX is right X X topological. * If X 2 T1 the teft translation lf : X ! X is continuous iff f 2 C(X; X). Note that if X is compact then XX is compact by the Tychonoff theorem. Theorem 1.6. Let S be a right topological semigroup. If S is compact then it contains at least one idempotent. 3 Proof. We have to show that there exists m 2 S such that m2 = m. By Zorn's Lemma (and compactness of S) thee exists a minimal compact sub- semigroup M ⊆ S (indeed, for any chain of compact subsemigroups the intersection is a nonempty compact subsemigroup (by the compactness) of S). Take arbitrary m 2 M. Our aim is to show that m2 = m. Consider the set Mm. Then Mm ⊆ M is a subsemigroup. Observe also that Mm is compact. By the minimality of M we necessarily have Mm = M. This implies that um = m for some u 2 S. Hence, the following set K := fx 2 M : xm = mg is nonempty. Moreover, K is a subsemigroup and compact (again use the continuity of right translations). Since K ⊆ M we necessarily have K = M. This implies that m 2 K. Therefore, m2 = m. 4 2. Lecture 2 Definition 2.1. A topological space X is said to be homogeneous if for every x; y 2 X there exists an autohomeomorphism h : X ! X (notation: h 2 H(X)) s.t. h(x) = y. Lemma 2.2. For every semitopological group the left (right) translations are home- omorphism. For every topological group the inversion map is a homeomorphism. −1 −1 −1 Proof. Observe that la = la−1 (ra = ra−1 ) and i = i. Proposition 2.3. Every semitopological group (hence, also, every topological, as a topological space) is homogeneous. Definition 2.4. A topological space (X; τ) is said to be of group type if there exists a group structure m on X such that (X; τ; m) is a topological group. Remarks 2.5. (1) [0; 1]n for every natural n is not homogeneous hence not of group type. (2) The Hilbert cube [0; 1]N is homogeneous (Keller). At the same time it has the fixed point property: every continuous map h : [0; 1]N ! [0; 1]N has a fixed point. It follows that the Hilbert cube is not of group type. Moreover, there is no structure of a left (right) topological group on it. (3) The Cantor set C ⊂ [0; 1] is of group type. Indeed, C is homeomorphic to the N topological space Z2 , which is a topological group. (4) The space of all irrational numbers RnQ is of group type being homeomorphic to ZN. (5) The Sorgenfrey line as a topological space is homogeneous but not of group type (up to a non-trivial theorem of Kakutani below: every Hausdorff topological group with the first countable property B1 is metrizable). Some examples of topological groups: (1) Every group in the discrete topology. (2) GLn(R) are locally compact metrizable topological group. It, as a metric 2 space, is embedded isometrically into the Euclidean metric space Rn . (3) The orthogonal group On(R) ⊂ GLn(R) is compact by Heine-Borel thm being a bounded and a closed subset in the metric space GLn(R). Note that O2(R) is isomorphic in TGr with the "circle group" T ≤ C∗. (4) TGr is closed under: subgroups, factor-groups, topological products, box products. (5) Every Euclidean space Rn and Tn the n-dimensional torus. (6) Every normed space (more generally, any linear topological space). (7) (Z; dp) the integers wrt the p-adic metric. It is a precompact group (totally bounded in its metric) and its completion is the compact topological group of all p-adic integers. (8) For every compact space K the group of all autohomeomorphisms H(K) en- dowed with the so-called compact-open topology (we define it later). (9) For every metric space (X; d) the group of all onto isometries Iso(X; d) ⊂ XX endowed with the pointwise topology inherited from XX . (10) For every Banach space (V; jj·jj) the group Isolin(V ) of all linear onto isometries V ! V endowed with the pointwise topology inherited from V V . For example, 5 n if V := R is the Euclidean space then Isolin(V ) = On(R) the orthogonal group. Note that, in contrast to the case of Rn, for infinite dimensional V the topological group Isolin(V ) as usual is not compact. Moreover, Teleman's theorems show that every Hausdorff topological group G is embedded into Isolin(V ) for suitable V and also into some H(K) for suitable compact space K. As we will see below even groups like Z and R cannot be embedded into compact groups. We examine the question which topological groups admit representations on good Banach spaces (like: Hilbert, reflexive, ...). For these purposes we give a necessary basic material for topological group theory. Including among others: first steps in uniform structures and uniformly continuous functions on groups. We touch also some questions from the van-Kampen Pontryagin duality theory for locally compact abelian groups. 6 2.1. First homework. Let G be a topological group. Exercise 2.6. Prove that (1) cl(A−1) = cl(A)−1 and cl(A)cl(B) ⊂ cl(AB) for every subsets A; B of G. (2) If H ≤ G is a subgroup then cl(H) ≤ G is also a subgroup. (3) If H ¢ G is a normal subgroup then cl(H) ¢ G is also a normal subgroup. (4) If G, in addition, is abelian and H ≤ G then cl(H) ≤ G is also an abelian subgroup. Give a counterexample if G is not Hausdorff. Exercise 2.7. Prove that the function n k1 k2 kn (1) G ! G; (x1; x2; ··· ; xn) 7! x1 x2 ··· xn is continuous for every given tuple n (k1; k2; ··· ; kn) 2 Z . (2) For every nbd U 2 N(e) of the identity e 2 G and every given natural n 2 N there exists V 2 N(e) such that V = V −1 and V n := VV ··· V ⊂ U.
Recommended publications
  • On S-Topological Groups
    Mathematica Moravica Vol. 18-2 (2014), 35–44 On s-Topological Groups Muhammad Siddique Bosan, Moiz ud Din Khan and Ljubiša D.R. Kočinac∗) Abstract. In this paper we study the class of s-topological groups and a wider class of S-topological groups which are defined by us- ing semi-open sets and semi-continuity introduced by N. Levine. It is shown that these groups form a generalization of topological groups, and that they are different from several distinct notions of semitopolog- ical groups which appear in the literature. Counterexamples are given to strengthen these concepts. Some basic results and applications of s- and S-topological groups are presented. Similarities with and differ- ences from topological groups are investigated. 1. Introduction If a set is endowed with algebraic and topological structures, then it is natural to consider and investigate interplay between these two structures. The most natural way for such a study is to require algebraic operations to be continuous. It is the case in investigation of topological groups: the multi- plication mapping and the inverse mapping are continuous. Similar situation is with topological rings, topological vector spaces and so on. However, it is also natural to see what will happen if some of algebraic operations sat- isfy certain weaker forms of continuity. Such a study in connection with topological groups started in the 1930s and 1950s and led to investigation of semitopological groups (the multiplication mapping is separately con- tinuous), paratopological groups (the multiplication is jointly continuous), quasi-topological groups (which are semitopological groups with continu- ous inverse mapping).
    [Show full text]
  • Dynamics for Discrete Subgroups of Sl 2(C)
    DYNAMICS FOR DISCRETE SUBGROUPS OF SL2(C) HEE OH Dedicated to Gregory Margulis with affection and admiration Abstract. Margulis wrote in the preface of his book Discrete subgroups of semisimple Lie groups [30]: \A number of important topics have been omitted. The most significant of these is the theory of Kleinian groups and Thurston's theory of 3-dimensional manifolds: these two theories can be united under the common title Theory of discrete subgroups of SL2(C)". In this article, we will discuss a few recent advances regarding this missing topic from his book, which were influenced by his earlier works. Contents 1. Introduction 1 2. Kleinian groups 2 3. Mixing and classification of N-orbit closures 10 4. Almost all results on orbit closures 13 5. Unipotent blowup and renormalizations 18 6. Interior frames and boundary frames 25 7. Rigid acylindrical groups and circular slices of Λ 27 8. Geometrically finite acylindrical hyperbolic 3-manifolds 32 9. Unipotent flows in higher dimensional hyperbolic manifolds 35 References 44 1. Introduction A discrete subgroup of PSL2(C) is called a Kleinian group. In this article, we discuss dynamics of unipotent flows on the homogeneous space Γn PSL2(C) for a Kleinian group Γ which is not necessarily a lattice of PSL2(C). Unlike the lattice case, the geometry and topology of the associated hyperbolic 3-manifold M = ΓnH3 influence both topological and measure theoretic rigidity properties of unipotent flows. Around 1984-6, Margulis settled the Oppenheim conjecture by proving that every bounded SO(2; 1)-orbit in the space SL3(Z)n SL3(R) is compact ([28], [27]).
    [Show full text]
  • Functorial Constructions in Paratopological Groups Reflecting Separation Axioms
    Functorial constructions in paratopological groups reflecting separation axioms Mikhail Tkachenko Universidad Aut´onomaMetropolitana, Mexico City [email protected] Brazilian Conference on General Topology and Set Theory S~aoSebasti~ao,Brazil, 2013 In honor of Ofelia T. Alas Contents: 1. Three known functorial constructions 2. Each axiom of separation has its functorial reflection 3. `Internal' description of the groups Tk (G) 4. Properties of the functors Tk 's 5. Products and functors 6. Some applications A paratopological group is a group G with topology such that multiplication in G is jointly continuous. `topological' =) `paratopological' =) `semitopological' Let (G; τ) be a paratopological group and τ −1 = fU−1 : U 2 τg be the conjugate topology of G. Then G 0 = (G; τ −1) is also a paratopological group and the inversion in G is a homeomorphism of (G; τ) onto (G; τ −1). Let τ ∗ = τ _ τ −1 be the least upper bound of τ and τ −1. Then G ∗ = (G; τ ∗) is a topological group associated to G. ∗ For the Sorgenfrey line S, the topological group S is discrete. Paratopological and semitopological groups A semitopological group is an abstract group G with topology τ such that the left and right translations in G are continuous or, equivalently, multiplication in G is separately continuous. `topological' =) `paratopological' =) `semitopological' Let (G; τ) be a paratopological group and τ −1 = fU−1 : U 2 τg be the conjugate topology of G. Then G 0 = (G; τ −1) is also a paratopological group and the inversion in G is a homeomorphism of (G; τ) onto (G; τ −1).
    [Show full text]
  • Syllabus for M.Phil
    Structure of Syllabus for M.Phil. in Mathematics Semester-I Full Full Full Full Course Course Code Course Name Marks Marks Marks Marks Credit Type (External) (Practical) (Internal) (Total) Research Methodology: MPHILMA-101 Theory Research Foundation 20 5 25 2 Research Methodology: Computer Application in MPHILMA-102 Practical 20 5 25 2 Research Elective: Any two papers to be chosen from Table-I, 40 10 50 4 based on research interest of MPHILMA-103 Theory + + + + the students and availability of suitable teachers/ 40 10 50 4 Supervisors. Total 120 30 150 12 Semester-II Full Full Full Full Course Course Code Course Name Marks Marks Marks Marks Credit Type (External) (Practical) (Internal) (Total) Elective: Any three papers to 40 10 50 4 be chosen from Table-II, + + + + MPHILMA-201 Theory based on research interest of 40 10 50 4 the students and availability of + + + + suitable teachers/Supervisors. 40 10 50 4 Total 120 30 150 12 Semester-III Full Full Full Full Course Course Code Course Name Marks Marks Marks Marks Credit Type (External) (Practical) (Internal) (Total) Preliminary MPHILMA-301 Theory 75 75 6 Dissertation MPHILMA-302 Theory Viva-voce 25 25 2 Total 100 100 8 Semester-IV Full Full Full Full Course Course Code Course Name Marks Marks Marks Marks Credit Type (External) (Practical) (Internal) (Total) MPHILMA-401 Theory Final Dissertation 75 75 6 MPHILMA-402 Theory Viva-voce 25 25 2 Total 100 100 8 Table: I Elective Papers for MPHILMA-103 (M1) to MPHILMA-103 (M18) Elective Paper Title of the Paper Sub-Code M1 Theory of Convergence
    [Show full text]
  • Some Groups of Finite Homological Type
    Some groups of finite homological type Ian J. Leary∗ M¨ugeSaadeto˘glu† June 10, 2005 Abstract For each n ≥ 0 we construct a torsion-free group that satisfies K. S. Brown’s FHT condition and is FPn, but is not FPn+1. 1 Introduction While working on comparing different notions of Euler characteristic, K. S. Brown introduced a new homological finiteness condition for discrete groups [5, IX.6]. The group G is said to be of finite homological type or FHT if G has finite virtual cohomological dimension, and for every G-module M whose underlying abelian group is finitely generated, the homology groups Hi(G; M) are all finitely generated. If G is FHT , then one may define a ‘na¨ıve Euler characteristic’ for every finite-index subgroup H of G, as the alternating sum of the dimensions of the homology groups of H with rational coefficients. One question that arises is the connection between FHT and the usual homological finiteness conditions FP and FPn, which were introduced by J.-P. Serre [8]. (We shall define these conditions below.) It is easy to see that any group G of type FP is FHT , and one might conjecture that every torsion-free group that is FHT is also of type FP . The aim of this paper is to show that this is not the case. For each n ≥ 0, we exhibit a torsion-free group Gn that is FHT and of type FPn, but that is not of type FPn+1. Our construction is based on R. Bieri’s construction of a group that is FPn but not FPn+1 [2, Prop 2.14].
    [Show full text]
  • A Theorem on Discrete Groups and Some Consequences of Kazdan's
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF FUNCTIONAL ANALYSIS 6, 203-207 (1970) A Theorem on Discrete Groups and Some Consequences of Kazdan’s Thesis ROBERT R. KALLMAN* Department of Mathematics, Yale University, New Haven, Connecticut 06520 Communicated by Irving Segal Received June 21, 1969 Let G be a noncompact simple Lie group, and let r be a discrete subgroup of G such that G/P has finite volume. The main result of this paper is that the left ring of P is a Type II1 von Neumann algebra. This result in turn is applied to solve, in some generality, a problem in dynamical systems posed by I. M. Gelfand. INTRODUCTION If G is a locally compact unimodular group, let Y(G) be the von Neumann algebra generated by left translations L(a) (a in G) on L2(G). Let I’ be a discrete subgroup of G, and let p be a measure on G/r which is invariant under the natural action of G. The measure class of p is uniquely determined. If f is in L2(G/F), let (V4f)W = flu-’ - 4. The following problem is of interest in dynamical systems (cf. Gelfand [3]). Let &?(G, r) be the von Neumann algebra on L2(G) @ L2(G/.F) generated by L(a) @ V(u) (u in G) and I @ M(4) (here 4 is in L”(G/r, p) and (&Z(+)f)(x) = ~$(x)f(x), for all f in L2(G/r)).
    [Show full text]
  • Discrete Groups and Simple C*-Algebras 1 Introduction
    Discrete groups and simple C*-algebras by Erik Bedos* Department of Mathematics University of Oslo P.O.Box 1053, Blindern 0316 Oslo 3, Norway 1 Introduction Let G denote a discrete group and let us say that G is C* -simple if the reduced group C* -algebra associated with G is simple. We notice im­ mediately that there is no interest in considering here the full group C*­ algebra associated with G, because it is simple if and only if G is trivial. Since Powers in 1975 ([26]) proved that all non-abelian free groups are C*­ simple, the class of C* -simple groups has been considerably enlarged (see [1,2,6,7,12,13,14,16,24] as a sample!), and two important subclasses are the so-called weak Powers groups ([6,13]; see section 4 for definition and ex­ amples) and the groups of Akemann-Lee type ([1,2]), which are groups possessing a normal non-abelian free subgroup with trivial centralizer. The problem of giving an intrisic characterization of C* -simple groups is still open. It is known that a C* -simple group has no normal amenable subgroup other than the trivial one ([24; proposition 1.6]) and is ICC (since the center of the associated reduced group C* -algebra must be the scalars). One may of course wonder if the converse is true. On the other hand, most C* -simple groups are known to have a unique trace, i.e. the canonical trace on the reduced group C* -algebra· is unique, which naturally raises the problem whether this is always true or not ([13; §2, question (2)]).
    [Show full text]
  • Discreteness Properties of Translation Numbers in Solvable Groups
    DISCRETENESS PROPERTIES OF TRANSLATION NUMBERS IN SOLVABLE GROUPS GREGORY R. CONNER Abstract. We define a group to be translation proper if it carries a left- invariant metric in which the translation numbers of the non-torsion elements are nonzero and translation discrete if they are bounded away from zero. The main results of this paper are that a translation proper solvable group of finite virtual cohomological dimension is metabelian-by-finite, and that a translation discrete solvable group of finite virtual cohomological dimension, m, is a finite m extension of Z . 1. Introduction The notion of a translation number comes from Riemannian geometry. Suppose M is a compact Riemannian manifold of nonpositive sectional curvature and Mf is its universal cover, enjoying the metric induced from M. Then the covering transformation group acts as isometries on Mf. Under these conditions any covering transformation of Mf fixes a geodesic line. Since a geodesic line is isometric to R, a covering transformation must translate each point of such a fixed geodesic line by a constant amount which is called the translation number of the covering transformation. This notion can be abstracted. Let G be a group which is equipped with a metric, d, which is invariant under left multiplication by elements of G, i.e., d(xy, xz)=d(y,z) ∀ x, y, z ∈ G. We then say that d is a left-invariant group metric k k (or a metric for brevity) on G. Let kk: G −→ Z be defined by x = d(x, 1G). To fix ideas, one may consider a finitely generated group equipped with a word metric.
    [Show full text]
  • 3.4 Discrete Groups
    3.4 Discrete groups Lemma 3.4.1. Let Λ be a subgroup of R2, and let ~a;~b be two elements of Λ that are linearly independent as vectors in R2. Suppose that the paralleogram spanned by ~a and ~b contains no other elements of Λ other than ~0;~a;~b and ~a +~b. Then Λ is the group Λ = fm~a + n~b j m; n 2 Zg: (3.4) Proof. The plane is tiled up with copies of the parallellogram P spanned by the four vectors ~0;~a;~b;~a+~b. The vertices of these parallellograms are m~a+n~b for some integers m and n. Since Λ is a group all these vertices are in Λ. If Λ is not the group fm~a + n~b j m; n 2 Zg, then there exists an element x 2 Λ not in located at any of the vertices of the parallellograms. Since these parallellograms tile the whole plane there exist m and n such that x is contained in the parallellogram m~a + n~b; (m + 1)~a + n~b; m~a + (n + 1)~b and (m + 1)~a + (n + 1)~b. The element x0 = x − m~a − n~b is in the group Λ, and in the first paralleogram P . By assumption x0 is one of the four vertices of P , and it follows that also x is an vertex of the parallellograms. Hence Λ is the group fm~a + n~b j m; n 2 Zg. Definition 3.4.2. A subgroup Λ of R2 is called a lattice if there exists an > 0 such that every non-zero element ~a 2 Λ has length j~aj > .
    [Show full text]
  • Extensions of Topological and Semitopological Groups and the Product Operation
    Commentationes Mathematicae Universitatis Carolinae Aleksander V. Arhangel'skii; Miroslav Hušek Extensions of topological and semitopological groups and the product operation Commentationes Mathematicae Universitatis Carolinae, Vol. 42 (2001), No. 1, 173--186 Persistent URL: http://dml.cz/dmlcz/119232 Terms of use: © Charles University in Prague, Faculty of Mathematics and Physics, 2001 Institute of Mathematics of the Academy of Sciences of the Czech Republic provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://project.dml.cz Comment.Math.Univ.Carolin. 42,1 (2001)173–186 173 Extensions of topological and semitopological groups and the product operation A.V. Arhangel’skii, M. Huˇsek Abstract. The main results concern commutativity of Hewitt-Nachbin realcompactifica- tion or Dieudonn´ecompletion with products of topological groups. It is shown that for every topological group G that is not Dieudonn´ecomplete one can find a Dieudonn´e complete group H such that the Dieudonn´ecompletion of G × H is not a topological group containing G×H as a subgroup. Using Korovin’s construction of Gδ-dense orbits, we present some examples showing that some results on topological groups are not valid for semitopological groups. Keywords: topological group, Dieudonn´ecompletion, PT-group, realcompactness, Moscow space, C-embedding, product Classification: 22A05, 54H11, 54D35, 54D60 §0. Introduction Although many of our general results are valid for more general spaces, we shall assume that all the spaces under consideration are Tychonoff.
    [Show full text]
  • Deforming Discrete Groups Into Lie Groups
    Deforming discrete groups into Lie groups March 18, 2019 2 General motivation The framework of the course is the following: we start with a semisimple Lie group G. We will come back to the precise definition. For the moment, one can think of the following examples: • The group SL(n; R) n × n matrices of determinent 1, n • The group Isom(H ) of isometries of the n-dimensional hyperbolic space. Such a group can be seen as the transformation group of certain homoge- neous spaces, meaning that G acts transitively on some manifold X. A pair (G; X) is what Klein defines as “a geometry” in its famous Erlangen program [Kle72]. For instance: n n • SL(n; R) acts transitively on the space P(R ) of lines inR , n n • The group Isom(H ) obviously acts on H by isometries, but also on n n−1 @1H ' S by conformal transformations. On the other side, we consider a group Γ, preferably of finite type (i.e. admitting a finite generating set). Γ may for instance be the fundamental group of a compact manifold (possibly with boundary). We will be interested in representations (i.e. homomorphisms) from Γ to G, and in particular those representations for which the intrinsic geometry of Γ and that of G interact well. Such representations may not exist. Indeed, there are groups of finite type for which every linear representation is trivial ! This groups won’t be of much interest for us here. We will often start with a group of which we know at least one “geometric” representation.
    [Show full text]
  • CHARACTERS of ALGEBRAIC GROUPS OVER NUMBER FIELDS Bachir Bekka, Camille Francini
    CHARACTERS OF ALGEBRAIC GROUPS OVER NUMBER FIELDS Bachir Bekka, Camille Francini To cite this version: Bachir Bekka, Camille Francini. CHARACTERS OF ALGEBRAIC GROUPS OVER NUMBER FIELDS. 2020. hal-02483439 HAL Id: hal-02483439 https://hal.archives-ouvertes.fr/hal-02483439 Preprint submitted on 18 Feb 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. CHARACTERS OF ALGEBRAIC GROUPS OVER NUMBER FIELDS BACHIR BEKKA AND CAMILLE FRANCINI Abstract. Let k be a number field, G an algebraic group defined over k, and G(k) the group of k-rational points in G: We deter- mine the set of functions on G(k) which are of positive type and conjugation invariant, under the assumption that G(k) is gener- ated by its unipotent elements. An essential step in the proof is the classification of the G(k)-invariant ergodic probability measures on an adelic solenoid naturally associated to G(k); this last result is deduced from Ratner's measure rigidity theorem for homogeneous spaces of S-adic Lie groups. 1. Introduction Let k be a field and G an algebraic group defined over k. When k is a local field (that is, a non discrete locally compact field), the group G = G(k) of k-rational points in G is a locally compact group for the topology induced by k.
    [Show full text]