DOCSLIB.ORG

Representations of Locally Compact Groups – Fall 2013 Fiona Murnaghan

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Representations of Locally Compact Groups – Fall 2013 Fiona Murnaghan Representations of locally compact groups { Fall 2013 Fiona Murnaghan Contents Chapter 1. Topological groups 5 1. Definitions and basic properties 5 2. Locally compact, totally disconnected groups 10 3. Matrix groups 14 4. Haar measure on locally compact Hausdorff groups 16 5. Coset spaces and quasi-invariant measures 21 Chapter 2. Continuous representations of locally compact groups 29 1. Definition of continuous representation 29 2. Representations of compact groups are unitary 32 3. Irreducibility, subrepresentations, etc. 32 4. The regular representation on L2(G=H) 34 5. Intertwining operators and Schur's Lemma 35 Chapter 3. Representations of compact groups: the general theory 39 1. The Peter-Weyl Theorem 39 2. Faithful representations 43 3. Finite-dimensional representations of locally profinite groups 43 4. Finite-dimensional subrepresentations of the regular representation 44 5. Orthogonality relations for matrix coefficients 47 6. Decomposition of the regular representation 48 7. Decomposition of unitary representations of compact groups 49 8. Characters of finite-dimensional representations 50 9. Convolution, characters and orthogonal projections 53 10. Induced representations of compact groups 56 Chapter 4. Representations of compact Lie groups 59 1. Maximal tori and Weyl's Integral Formula 60 2. Weights of finite-dimensional representations 62 3. Relations between representations of compact Lie groups and complex Lie algebras 63 4. Highest weight theorem 65 5. The Weyl character formula 68 Chapter 5. Representations of reductive groups 69 3 4 CONTENTS 1. The Iwasawa decomposition 69 2. Principal series representations of SL2(F ) 71 3. Parabolic subgroups of Sp4(F ) 73 4. Parabolic subgroups and induction 77 5. Discrete series representations{general properties 78 6. Maximal Tori 80 7. Discrete series representations of reductive Lie groups 82 8. Discrete series representations of reductive p-adic groups 85 9. Maximal tori and representations of finite groups of Lie type 88 10. Harish-Chandra's Philosophy of Cusp Forms 89 Bibliography 93 CHAPTER 1 Topological groups 1. Definitions and basic properties Definition 1.1. A topological group G is a group which is a topological space and has the property that the map (x; y) 7! xy−1 from G × G to G is continuous. (Equivalently, the maps (x; y) 7! xy and x 7! x−1 are continuous.) Here, G × G is given the product topology. Lemma 1.2. Let G be a topological group. Then (1) The map g 7! g−1 is a homeomorphism of G onto itself. −1 (2) Fix g0 2 G. The maps g 7! g0g, g 7! gg0, and g 7! g0gg0 are homeomorphisms of G onto itself. Example 1.3. Let F be a field that is also a topological group under addition and the nonzero elements F × in F is a toplogical group under multiplication. (Some standard examples are R, C and finite extensions of the field Qp of p-adic numbers). The set Mn(F ) n2 of n × n matrices with entries in F is homoemorphic to F . Let GLn(F ) (also denoted by GL(n; F )) be the group of invertible matrices in Mn(F ). Since GL(n; F ) is a subset of Mn(F ), we can make GLn(F ) into a topological space using the the subspace topology. The determinant map det : Mn(F ) ! F is continuous (it's a polynomial in the matrix entries). It is easy to see that the multiplication map (A; B) 7! AB from Mn(F ) × Mn(F ) ! Mn(F ) is continuous, so the restriction to GLn(F )×GLn(F ) is also continuous. Given A 2 GLn(F ), let adj A be the adjoint of A. Using the fact that A−1 = adj A= det A, we can see that inversion is continuous. Hence GLn(F ) is a topological group under matrix multiplication. If F is Hausdorff and locally compact, then GLn(F ) is Hausdorff and locally compact. (Recall that a topological space X is locally compact if given a point x 2 X there exists a compact subset U of X such that U contains an open neighbourhood of x.) More generally, if R is a commutative ring with identity, R is a topological space, and multiplication and addition are continuous maps from R × R to R, let GLn(R) = f A 2 5 6 1. TOPOLOGICAL GROUPS × × Mn(R) j det A 2 R g. Here, R is the group of units in R. Then GLn(R) is a topological group under matrix multiplication. Example 1.4. Let B(H) be the set of bounded linear operators on a Hilbert space H. (Recall that a linear operator T on H is bounded if there exists a positive constant C such that kT (v)k ≤ Ckvk for all v 2 H.) If T 2 B(H) is bijective, then T −1 2 B(H). The strong operator topology on B(H) is the weakest locally convex topology such that the evaluation map sending T to kT (v)k is continuous for each vector v 2 H. If H is infinite-dimensional, the group of bijective operators in B(H) is not a topological group with respect to the subspace topology induced by the strong operator topology on B(H). Neither the multiplication map nor the inversion map is continuous. If we take the subgroup U(H) of unitary operators on H, this is a topological group with respect to the subspace topology. To see this, fix T1, T2 2 U(H). Fix > 0 and v 2 H. Then the set V := f S 2 U(H) j k(S − T1T2(v)k < g is an open neighbourhood of T1T2 in the strong operator topology. Let 0 V = f (S1;S2) 2 U(H) j k(S1 − T1)(T2(v))k < /2; and k(S2 − T2)(v)k < /2 g: 0 0 Then V is an open neighbourhood of (T1;T2) in U(H) × U(H). Let (S1;S2) 2 V . Then k(S1S2 − T1T2)(v)k = kS1(S2 − T2)(v) + (S1 − T1)(T2(v))k ≤ kS1(S2 − T2)(v)k + k(S1 − T1)(T2(v))k = k(S2 − T2)(v)k + k(S1 − T1)(T2(v))k < /2 + /2 To see that inversion is continuous, fix T 2 U(H). Then, given v 2 H and > 0, let V = f S 2 U(H) j k(S − T −1)(v)k < g. Set w = T −1(v). Show that the image of the open neighbourhood f S0 2 U(H) j k(S0 − T )(w)k < g of T under the inversion map is a subset of V. A subgroup H of a topological group G is a topological group in the subspace topology. Example 1.5. Let (I; ≤) be a directed partially ordered set. Suppose that fGigi2I is a family of finite groups. Assume that whenever i ≤ j 2 I, there exists a homomorphism fij : Gj ! Gi such that (1) fii is the identity map. (2) fik = fij ◦ fjk for i ≤ j ≤ k 2 I. 1. DEFINITIONS AND BASIC PROPERTIES 7 Then ((Gi)i2I ; (fij)i≤j2I ) is called an inverse (or projective) system of finite groups and ho- momorphisms. Let lim G be the subset of the direct product Q G consisting of elements − i i2I i (g ) such that g = f (g ) for all i ≤ j 2 I. It is easy to see that lim G is a subgroup of i i2I i ij j − i Q i2I Gi. We give each Gi the discrete topology and then we take the product topology on Q G . Then lim G is closed in Q G . Furthermore, lim G is compact and totally dis- i2I i − i i2I i − i connected. The details are left as an exercise. Here is a simple concrete example: fix a prime i j i p, take I to be the natural numbers, Gi = Z=p Z, and, for i ≤ j, set fij(n + p Z) = n + p Z, n 2 . Then := lim =pi is known as the group of p-adic integers. (In fact, is a Z Zp − Z Z Zp ring.) Lemma 1.6. Any open subgroup of a topological group is closed. Proof. Let H be an open subgroup of a topological subgroup G. If g 2 G, then gH is S open. Hence S := g2GnH gH is open. Since H = G n S, it follows that H is closed. Lemma 1.7. If H is a subgroup of a topological group G, the closure H is a subgroup of G. If H is normal in G, then H is normal in G. Proof. Let x, y 2 H. Let U be an open neighbourhood of xy. Let SU = f (u; v) 2 G×G j uv 2 U g. Then SU is open and contains (x; y). Let U1 and U2 be open neighbourhoods of x and y, respectively, such that U1 × U2 ⊂ SU . Because x, y 2 H, Uj \ H is nonempty, j = 1, 2. Fix u 2 U1 \ H and v 2 U2 \ H. Note that uv 2 U \ H. We have shown that U \ H is nonempty for any open neighbourhood U of xy. Hence xy 2 H. Let V be an open neighbourhood of y−1. Let V 0 = f v−1 j v 2 V g. Since V 0 is open and contains y and y 2 H, the intersection V 0 \ H is nonempty. The inverse of any point in V 0 \ H belongs to V \ H. Hence V \ H is nonempty. As before, this implies that y−1 2 H. The assertion about normality is left as an exercise. Let H be a subgroup of a topological group G, and let q : G ! G=H be the canonical mapping of G onto G=H.
Load more

Recommended publications
  • Physics.Hist-Ph] 15 May 2018 Meitl,Fo Hsadsadr Nepeainlprinciples
    Why Be Regular?, Part I Benjamin Feintzeig Department of Philosophy University of Washington JB (Le)Manchak, Sarita Rosenstock, James Owen Weatherall Department of Logic and Philosophy of Science University of California, Irvine Abstract We provide a novel perspective on “regularity” as a property of representations of the Weyl algebra. We first critique a proposal by Halvorson [2004, “Complementarity of representa- tions in quantum mechanics”, Studies in History and Philosophy of Modern Physics 35(1), pp. 45–56], who argues that the non-regular “position” and “momentum” representations of the Weyl algebra demonstrate that a quantum mechanical particle can have definite values for position or momentum, contrary to a widespread view. We show that there are obstacles to such an intepretation of non-regular representations. In Part II, we propose a justification for focusing on regular representations, pace Halvorson, by drawing on algebraic methods. 1. Introduction It is standard dogma that, according to quantum mechanics, a particle does not, and indeed cannot, have a precise value for its position or for its momentum. The reason is that in the standard Hilbert space representation for a free particle—the so-called Schr¨odinger Representation of the Weyl form of the canonical commutation relations (CCRs)—there arXiv:1805.05568v1 [physics.hist-ph] 15 May 2018 are no eigenstates for the position and momentum magnitudes, P and Q; the claim follows immediately, from this and standard interpretational principles.1 Email addresses: [email protected] (Benjamin Feintzeig), [email protected] (JB (Le)Manchak), [email protected] (Sarita Rosenstock), [email protected] (James Owen Weatherall) 1Namely, the Eigenstate–Eigenvalue link, according to which a system has an exact value of a given property if and only if its state is an eigenstate of the operator associated with that property.
    [Show full text]
  • Locally Compact Groups: Traditions and Trends Karl Heinrich Hofmann Technische Universitat Darmstadt, [email protected]
    University of Dayton eCommons Summer Conference on Topology and Its Department of Mathematics Applications 6-2017 Locally Compact Groups: Traditions and Trends Karl Heinrich Hofmann Technische Universitat Darmstadt, [email protected] Wolfgang Herfort Francesco G. Russo Follow this and additional works at: http://ecommons.udayton.edu/topology_conf Part of the Geometry and Topology Commons, and the Special Functions Commons eCommons Citation Hofmann, Karl Heinrich; Herfort, Wolfgang; and Russo, Francesco G., "Locally Compact Groups: Traditions and Trends" (2017). Summer Conference on Topology and Its Applications. 47. http://ecommons.udayton.edu/topology_conf/47 This Plenary Lecture is brought to you for free and open access by the Department of Mathematics at eCommons. It has been accepted for inclusion in Summer Conference on Topology and Its Applications by an authorized administrator of eCommons. For more information, please contact [email protected], [email protected]. Some Background Notes Some \new" tools Near abelian groups Applications Alexander Doniphan Wallace (1905{1985) Gordon Thomas Whyburn Robert Lee Moore Some Background Notes Some \new" tools Near abelian groups Applications \The best mathematics is the most mixed-up mathematics, those disciplines in which analysis, algebra and topology all play a vital role." Gordon Thomas Whyburn Robert Lee Moore Some Background Notes Some \new" tools Near abelian groups Applications \The best mathematics is the most mixed-up mathematics, those disciplines in which
    [Show full text]
  • An Overview of Topological Groups: Yesterday, Today, Tomorrow
    axioms Editorial An Overview of Topological Groups: Yesterday, Today, Tomorrow Sidney A. Morris 1,2 1 Faculty of Science and Technology, Federation University Australia, Victoria 3353, Australia; [email protected]; Tel.: +61-41-7771178 2 Department of Mathematics and Statistics, La Trobe University, Bundoora, Victoria 3086, Australia Academic Editor: Humberto Bustince Received: 18 April 2016; Accepted: 20 April 2016; Published: 5 May 2016 It was in 1969 that I began my graduate studies on topological group theory and I often dived into one of the following five books. My favourite book “Abstract Harmonic Analysis” [1] by Ed Hewitt and Ken Ross contains both a proof of the Pontryagin-van Kampen Duality Theorem for locally compact abelian groups and the structure theory of locally compact abelian groups. Walter Rudin’s book “Fourier Analysis on Groups” [2] includes an elegant proof of the Pontryagin-van Kampen Duality Theorem. Much gentler than these is “Introduction to Topological Groups” [3] by Taqdir Husain which has an introduction to topological group theory, Haar measure, the Peter-Weyl Theorem and Duality Theory. Of course the book “Topological Groups” [4] by Lev Semyonovich Pontryagin himself was a tour de force for its time. P. S. Aleksandrov, V.G. Boltyanskii, R.V. Gamkrelidze and E.F. Mishchenko described this book in glowing terms: “This book belongs to that rare category of mathematical works that can truly be called classical - books which retain their significance for decades and exert a formative influence on the scientific outlook of whole generations of mathematicians”. The final book I mention from my graduate studies days is “Topological Transformation Groups” [5] by Deane Montgomery and Leo Zippin which contains a solution of Hilbert’s fifth problem as well as a structure theory for locally compact non-abelian groups.
    [Show full text]
  • Fourier Analysis Using Representation Theory
    FOURIER ANALYSIS USING REPRESENTATION THEORY NEEL PATEL Abstract. In this paper, it is our goal to develop the concept of Fourier transforms by using Representation Theory. We begin by laying basic def- initions that will help us understand the definition of a representation of a group. Then, we define representations and provide useful definitions and the- orems. We study representations and key theorems about representations such as Schur's Lemma. In addition, we develop the notions of irreducible repre- senations, *-representations, and equivalence classes of representations. After doing so, we develop the concept of matrix realizations of irreducible represen- ations. This concept will help us come up with a few theorems that lead up to our study of the Fourier transform. We will develop the definition of a Fourier transform and provide a few observations about the Fourier transform. Contents 1. Essential Definitions 1 2. Group Representations 3 3. Tensor Products 7 4. Matrix Realizations of Representations 8 5. Fourier Analysis 11 Acknowledgments 12 References 12 1. Essential Definitions Definition 1.1. An internal law of composition on a set R is a product map P : R × R ! R Definition 1.2. A group G, is a set with an internal law of composition such that: (i) P is associative. i.e. P (x; P (y; z)) = P (P (x; y); z) (ii) 9 an identity; e; 3 if x 2 G; then P (x; e) = P (e; x) = x (iii) 9 inverses 8x 2 G, denoted by x−1, 3 P (x; x−1) = P (x−1; x) = e: Let it be noted that we shorthand P (x; y) as xy.
    [Show full text]
  • Factorization of Unitary Representations of Adele Groups Paul Garrett [email protected]
    (February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett [email protected] http://www.math.umn.edu/˜garrett/ The result sketched here is of fundamental importance in the ‘modern’ theory of automorphic forms and L-functions. What it amounts to is proof that representation theory is in principle relevant to study of automorphic forms and L-function. The goal here is to get to a coherent statement of the basic factorization theorem for irreducible unitary representations of reductive linear adele groups, starting from very minimal prerequisites. Thus, the writing is discursive and explanatory. All necessary background definitions are given. There are no proofs. Along the way, many basic concepts of wider importance are illustrated, as well. One disclaimer is necessary: while in principle this factorization result makes it clear that representation theory is relevant to study of automorphic forms and L-functions, in practice there are other things necessary. In effect, one needs to know that the representation theory of reductive linear p-adic groups is tractable, so that conversion of other issues into representation theory is a change for the better. Thus, beyond the material here, one will need to know (at least) the basic properties of spherical and unramified principal series representations of reductive linear groups over local fields. The fact that in some sense there is just one irreducible representation of a reductive linear p-adic group will have to be pursued later. References and historical notes
    [Show full text]
  • 23 Infinite Dimensional Unitary Representations
    23 Infinite dimensional unitary representations Last lecture, we found the finite dimensional (non-unitary) representations of SL2(R). 23.1 Background about infinite dimensional representa- tions (of a Lie group G) What is an infinite dimensional representation? 1st guess Banach space acted on by G? This is no good for the following reasons: Look at the action of G on the functions on G (by left translation). We could use L2 functions, or L1 or Lp. These are completely different Banach spaces, but they are essentially the same representation. 2nd guess Hilbert space acted on by G? This is sort of okay. The problem is that finite dimensional representations of SL2(R) are NOT Hilbert space representations, so we are throwing away some interesting representations. Solution (Harish-Chandra) Take g to be the Lie algebra of G, and let K be the maximal compact subgroup. If V is an infinite dimensional representation of G, there is no reason why g should act on V . The simplest example fails. Let R act on L2(R) by left translation. Then d d 2 R d the Lie algebra is generated by dx (or i dx ) acting on L ( ), but dx of an L2 function is not in L2 in general. Let V be a Hilbert space. Set Vω to be the K-finite vectors of V , which are the vectors contained in a finite dimensional representation of K. The point is that K is compact, so V splits into a Hilbert space direct sum finite dimensional representations of K, at least if V is a Hilbert space.
    [Show full text]
  • Arxiv:2106.02924V2 [Math.GR] 2 Jul 2021 (1) Npriua,When Particular, in and T 2 ] Suppose 3]: [2, Ity Hoe
    A CAUCHY–DAVENPORT THEOREM FOR LOCALLY COMPACT GROUPS YIFAN JING AND CHIEU-MINH TRAN Abstract. We generalize the Cauchy–Davenport theorem to locally compact groups. 1. Introduction A fundamental result in additive combinatorics is the Cauchy–Davenport inequal- ity [2, 3]: suppose X,Y are nonempty subsets of Z/pZ for some prime p, then |X + Y | ≥ min{|X| + |Y | − 1,p}. The main result of this paper is a generalization of the Cauchy–Davenport theorem to all locally compact groups: Theorem 1.1. Let G be a locally compact group, µG a left Haar measure on G, −1 R>0 νG = µG the corresponding right Haar measure on G, and ∆G : G → is the modular map. Suppose X,Y are nonempty compact subsets of G and XY is a subset of a closed set E. With α = infx∈X ∆G(x) and β = supy∈Y ∆G(y), we have ν (X) µ (Y ) sup µ (H) µ (G) min G + G 1 − H G , G ≤ 1, ν (XY ) µ (XY ) αν (X)+ β−1µ (Y ) µ (XY ) ( G G G G G ) where H ranges over proper compact subgroups of ker ∆G with −1 µG(H) ≤ min{β µG(E), ανG(E)}. In particular, when G is unimodular, (1) µG(XY ) ≥ min{µG(X)+ µG(Y ) − sup µG(H),µG(G)}, H arXiv:2106.02924v2 [math.GR] 2 Jul 2021 and H ranges over proper compact subgroups of G with µG(H) ≤ µG(E). When G is a cyclic group of order p, and take µG the counting measure on G, Theorem 1.1 recovers the Cauchy–Davenport inequality, as the only proper subgroup of Z/pZ has size one.
    [Show full text]
  • Haar Measure on Locally Compact Topological Groups
    Haar Measure on Locally Compact Topological Groups Abhishek Gupta February 2, 4, 2015 These are notes of my presentation delivered as a part of the course MTH 638: Abstract Harmonic Analysis at IIT Kanpur. Please send errors to [email protected]. The existence and uniqueness (i.e. upto scaling) of the Haar measure is proved. We follow the proof given by Weil and discussed in the book `Abstract Harmonic Analysis' by G.B. Folland. The modular function is also discussed briefly. By a locally compact group we shall mean a topological group which is locally compact and Hausdorff as a topological space. Note that in such a space the Urysohn lemma applies which we shall use, often without explicit comment. 1 Haar Measure: its Existence and Uniqueness Let G be a locally compact group. Cc(G) denotes the space of real valued compactly supported functions + on G and Cc (G) = ff 2 Cc(G): f ≥ 0; f 6= 0g. Recall that a Radon measure on a topological space X is a Borel measure which is finite on compact subsets (compact subsets of Hausdorff spaces are Borel measurable), outer regular on all Borel subsets and inner regular on all σ-finite Borel sets. Definition 1.1. A left(respectively right) Haar measure on a locally compact topological group G is a Radon measure µ such that µ(E) = µ(xE)(respectively µ(E) = µ(Ex)) for every Borel set E and 8x 2 G. Given a left Haar measure µ, one can immediately see thatµ ~ defined byµ ~(E) = µ(E−1) is a right Haar measure.
    [Show full text]
  • Lecture 1: Group C*-Algebras and Actions of Finite Groups on C*-Algebras 11–29 July 2016
    The Second Summer School on Operator Algebras and Noncommutative Geometry 2016 East China Normal University, Shanghai Lecture 1: Group C*-algebras and Actions of Finite Groups on C*-Algebras 11{29 July 2016 Lecture 1 (11 July 2016): Group C*-algebras and Actions of Finite N. Christopher Phillips Groups on C*-Algebras Lecture 2 (13 July 2016): Introduction to Crossed Products and More University of Oregon Examples of Actions. Lecture 3 (15 July 2016): Crossed Products by Finite Groups; the 11 July 2016 Rokhlin Property. Lecture 4 (18 July 2016): Crossed Products by Actions with the Rokhlin Property. Lecture 5 (19 July 2016): Crossed Products of Tracially AF Algebras by Actions with the Tracial Rokhlin Property. Lecture 6 (20 July 2016): Applications and Problems. N. C. Phillips (U of Oregon) Group C*-Algebras, Actions of Finite Groups 11 July 2016 1 / 28 N. C. Phillips (U of Oregon) Group C*-Algebras, Actions of Finite Groups 11 July 2016 2 / 28 A rough outline of all six lectures General motivation The material to be described is part of the structure and classification The beginning: The C*-algebra of a group. theory for simple nuclear C*-algebras (the Elliott program). More Actions of finite groups on C*-algebras and examples. specifically, it is about proving that C*-algebras which appear in other Crossed products by actions of finite groups: elementary theory. parts of the theory (in these lectures, certain kinds of crossed product C*-algebras) satisfy the hypotheses of known classification theorems. More examples of actions. Crossed products by actions of finite groups: Some examples.
    [Show full text]
  • CHAPTER 2 Representations of Finite Groups in This Chapter We Consider
    CHAPTER 2 Representations of Finite Groups In this chapter we consider only finite-dimensional representations. 2.1. Unitarity, complete reducibility, orthogonality relations Theorem 1. A representation of a finite group is unitary. c Proof. Let (π, V ) be a (finite- dimensional) representation of a finite group G = { g1, g2, . gn }. Let h·, ·i1 be any inner product on V . Set n X hv, wi = hπ(gj)v, π(gj)wi1, v, w ∈ V. j=1 Then it is clear from the definition that hπ(g)v, π(g)wi = hv, wi, v, w ∈ V, g ∈ G. Pn Note that if v ∈ V , then hv, vi = j=1hπ(gj)v, π(gj)vi1 and if v 6= 0, then π(gj)v 6= 0 for all j implies hπ(gj)v, π(gj)vi1 > 0 for all j. Hence v 6= 0 implies hv, vi > 0. The other properties of inner product are easy to verify for h·, ·i, using the fact that h·, ·i1 is an inner product, and each π(gj) is linear. The details are left as an exercise. qed The following is an immediate consequence of Theorem 1 and a result from Chapter I stating that a finite-dimensional unitary representation is completely reducible. Theorem 2. A representation of a finite group is completely reducible. Example. Let G be a finite group acting on a finite set X. Let V be a complex vector space having a basis { vx1 , . , vxm } indexed by the elements x1, . , xm of X. If g ∈ G, let π(g) be the operator sending vxj to vg·xj , 1 ≤ j ≤ m.
    [Show full text]
  • Locally Compact Vector Spaces and Algebras Over Discrete Fieldso
    LOCALLY COMPACT VECTOR SPACES AND ALGEBRAS OVER DISCRETE FIELDSO BY SETH WARNER The structure of locally compact vector spaces over complete division rings topologized by a proper absolute value (or, more generally, over complete division rings of type V) is summarized in the now classical theorem that such spaces are necessarily finite-dimensional and are topologically isomorphic to the cartesian product of a finite number of copies of the scalar division ring [9, Theorems 5 and 7], [6, pp. 27-31]. Here we shall continue a study of locally compact vector spaces and algebras over infinite discrete fields that was initiated in [16]. Since any topological vector space over a topological division ring K remains a topological vector space if K is retopologized with the discrete topology, some restriction needs to be imposed in our investigation, and the most natural restriction is straightness : A topological vector space F over a topological division ring K is straight if for every nonzero ae E,fa: X -^ Xa is a homeomorphism from K onto the one-dimensional subspace generated by a. Thus if K is discrete, a straight A^-vector space is one all of whose one-dimensional subspaces are discrete. Any Hausdorff vector space over a division ring topologized by a proper absolute value is straight [6, Proposition 2, p. 25]. In §1 we shall prove that if F is an indiscrete straight locally compact vector space over an infinite discrete division ring K, then K is an absolutely algebraic field of prime characteristic and [F : K] > X0. In §2 we shall see that finite- dimensional subspaces of straight locally compact vector spaces need not be discrete.
    [Show full text]
  • Exactness of Locally Compact Groups 10
    EXACTNESS OF LOCALLY COMPACT GROUPS JACEK BRODZKI1, CHRIS CAVE2, AND KANG LI3 Abstract. We give some new characterizations of exactness for locally compact second countable groups. In particular, we prove that a locally compact second countable group is exact if and only if it admits a topologically amenable action on a compact Hausdorff space. This answers an open question by Anantharaman-Delaroche. 1. Introduction In their study of the continuity of fibrewise reduced crossed product C∗-bundles Kirchberg and Wassermann [24] introduced a new class of groups, called exact groups, defined by the following property. We say that a locally compact group G is exact if the operation of taking reduced crossed products by G preserves short exact sequences of G-C∗-algebras. It is an immediate consequence of this definition (and more details will be given later) ∗ ∗ ∗ that the reduced group C -algebra Cr (G) of an exact group G is an exact C -algebra in the ∗ sense that the operation of taking the minimal tensor product with Cr (G) preserves short exact sequences of C∗-algebras. In the same paper, Kirchberg and Wassermann proved the converse assertion for all discrete groups [24, Theorem 5.2]. Thus, a discrete group G is ∗ ∗ ∗ exact if and only if its reduced C -algebra Cr (G) is an exact C -algebra. This result sparked a lot of interest focused on identifying properties of discrete groups that are equivalent to exactness. It was proved by Anantharaman-Delaroche [5, Theorem 5.8, Theorem 7.2] and ∗ independently by Ozawa [28, Theorem 3] that for a discrete group G, Cr (G) is exact if and ∗ only if the uniform Roe algebra Cu(G) is nuclear if and only if G acts amenably on a compact Hausdorff space.
    [Show full text]