The C*-Algebras of Certain Lie Groups Janne-Kathrin Günther

Total Page:16

File Type:pdf, Size:1020Kb

The C*-Algebras of Certain Lie Groups Janne-Kathrin Günther The C*-algebras of certain Lie groups Janne-Kathrin Günther To cite this version: Janne-Kathrin Günther. The C*-algebras of certain Lie groups. Algebraic Topology [math.AT]. Université de Lorraine, 2016. English. NNT : 2016LORR0118. tel-01446979 HAL Id: tel-01446979 https://tel.archives-ouvertes.fr/tel-01446979 Submitted on 26 Jan 2017 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. AVERTISSEMENT Ce document est le fruit d'un long travail approuvé par le jury de soutenance et mis à disposition de l'ensemble de la communauté universitaire élargie. Il est soumis à la propriété intellectuelle de l'auteur. Ceci implique une obligation de citation et de référencement lors de l’utilisation de ce document. D'autre part, toute contrefaçon, plagiat, reproduction illicite encourt une poursuite pénale. Contact : [email protected] LIENS Code de la Propriété Intellectuelle. articles L 122. 4 Code de la Propriété Intellectuelle. articles L 335.2- L 335.10 http://www.cfcopies.com/V2/leg/leg_droi.php http://www.culture.gouv.fr/culture/infos-pratiques/droits/protection.htm PhD-FSTC-2016-41 Facult´edes Sciences et Technologies The Faculty of Sciences, Technology and Institut Elie Cartan de Lorraine Communication Ecole Doctorale IAEM Lorraine DISSERTATION Defense held on 22/09/2016 in Luxembourg to obtain the degree of DOCTEUR DE L’UNIVERSITE´ DU LUXEMBOURG EN MATHEMATIQUES´ AND DOCTEUR DE L’UNIVERSITE´ DE LORRAINE EN MATHEMATIQUES´ by Janne-Kathrin GUNTHER¨ Born on 4 March 1985 in Preetz (Germany) THE C∗-ALGEBRAS OF CERTAIN LIE GROUPS Dissertation defense committee Dr Martin OLBRICH, dissertation supervisor Professor, Universit´edu Luxembourg Dr Jean LUDWIG, dissertation supervisor Professor, Universit´ede Lorraine Dr Ingrid BELTITA, reporter Professor, Romanian Academy Dr Joachim HILGERT, reporter Professor, Universit¨at Paderborn Dr Anton THALMAIER, Chairman Professor, Universit´edu Luxembourg Dr Angela PASQUALE, Vice Chairman Professor, Universit´ede Lorraine Contents 1 Introduction 1 2 General definitions and results 6 2.1 Nilpotent Lie groups . 6 2.1.1 Preliminaries ................................ 6 2.1.2 Orbitmethod................................ 7 2.1.3 The C∗-algebra C∗(G/U, χℓ) ....................... 8 2.2 Generalresults ................................... 9 3 The C∗-algebras of connected real two-step nilpotent Lie groups 11 3.1 Preliminaries .................................... 11 3.1.1 Two-step nilpotent Lie groups . 11 3.1.2 Induced representations . 11 3.1.3 Orbitmethod................................ 12 3.2 Conditions 1, 2 and 3(a) . 13 3.3 Condition 3(b) . 17 3.3.1 Introductiontothesetting ........................ 17 3.3.2 Changing the Jordan-H¨older basis . 17 3.3.3 Definitions . 19 3.3.4 Formula for πk ............................... 20 3.4 Condition 3(b) – First case . 22 3.5 Condition 3(b) – Second case . 23 3.5.1 Convergence of (πk)k N in G ....................... 23 ∈ 3.5.2 Definition of νk ............................... 25 3.5.3 Theorem – Second Case . .b . 29 V 3.5.4 Transition to πk k N ........................... 37 3.6 Condition 3(b) – Third case∈ . 38 3.6.1 Convergence of (πk)k N in G ....................... 38 ∈ 3.6.2 Definition of νk ............................... 41 3.6.3 Theorem – Third Case . .b . 46 V 3.6.4 Transition to πk k N ........................... 50 3.7 Result for the connected real∈ two-step nilpotent Lie groups . 51 3.8 Example: The free two-step nilpotent Lie groups of 3 and 4 generators . 51 3.8.1 The case n =3............................... 52 3.8.2 The case n =4............................... 56 4 The C∗-algebra of SL(2, R) 64 4.1 Preliminaries .................................... 64 4.2 The spectrum of SL(2, R)............................. 67 4.2.1 Introduction of the operator Ku ..................... 67 4.2.2 Description of the irreducible unitary representations . 76 4.2.3 The SL(2, R)-representations applied to the Casimir operator . 79 4.2.4 The topology on SL(2, R)......................... 81 4.2.5 Definition of subsets Γi ofthespectrum ................. 86 4.3 Condition 3(a) . .d . 87 4.4 Condition 3(b) . 90 4.5 Result for the Lie group SL(2, R)......................... 95 5 On the dual topology of the groups U(n) ⋉Hn 100 5.1 Preliminaries .................................... 100 5.1.1 The coadjoint orbits of Gn . 101 5.1.2 The spectrum of U(n)........................... 103 5.1.3 The spectrum and the admissible coadjoint orbits of Gn . 104 5.2 Convergence in the quotient space gn‡ /Gn . 107 5.3 The topology of the spectrum of Gn . 121 5.3.1 The representation π(µ,r) . 121 5.3.2 The representation π(λ,α) . 123 5.3.3 The representation τλ . 143 5.4 Results........................................ 143 6 R´esum´e´etendu de cette th`ese en fran¸cais 146 6.1 Introduction..................................... 146 6.2 D´efinitionsetr´esultatsg´en´eraux . 150 6.2.1 Les groupes de Lie nilpotents – Pr´eliminaires . 150 6.2.2 Les groupes de Lie nilpotents – La m´ethode des orbites . 151 6.2.3 Les groupes de Lie nilpotents – La C∗-alg`ebre C∗(G/U, χℓ) . 152 6.2.4 R´esultats g´en´eraux . 153 6.3 Les C∗-alg`ebres des groupes de Lie connexes r´eels nilpotents de pas deux . 154 6.3.1 Pr´eliminaires – Les groupes de Lie nilpotents de pas deux . 154 6.3.2 Pr´eliminaires – La m´ethode des orbites . 154 6.3.3 Les Conditions 1, 2 et 3(a) . 156 6.3.4 Condition 3(b) – Introduction de la situation . 156 6.3.5 Condition 3(b) – Changement de la base de Jordan-H¨older . 157 6.3.6 Condition 3(b) – Premier cas . 159 6.3.7 Condition 3(b) – Deuxi`eme cas . 160 6.3.8 Condition 3(b) – Troisi`eme cas . 162 6.3.9 R´esultat pour les groupes de Lie connexes r´eels nilpotents de pas deux 162 6.4 La C∗-alg`ebre du groupe de Lie SL(2, R) . 163 6.4.1 Pr´eliminaires . 163 6.4.2 Le spectre de SL(2, R) – Introduction de l’op´erateur Ku . 165 6.4.3 Le spectre de SL(2, R) – Description des repr´esentations irr´eductibles unitaires................................... 168 6.4.4 Le spectre de SL(2, R) – La topologie sur SL(2, R) . 170 6.4.5 Les conditions limites duales sous contrˆole normique . 171 6.4.6 R´esultat pour le groupe de Lie SL(2, R) . .d . 172 6.5 Sur la topologie duale des groupes U(n) ⋉Hn . 173 6.5.1 Pr´eliminaires . 173 6.5.2 Le spectre et les orbites coadjointes admissibles de Gn . 174 6.5.3 Convergence dans l’espace quotient gn‡ /Gn et la topologie du spectre de Gn ...................................... 175 6.5.4 R´esultats . 177 7 Appendix 178 8 Acknowledgements 186 9 References 187 Abstract In this doctoral thesis, the C∗-algebras of the connected real two-step nilpotent Lie groups and the Lie group SL(2, R) are characterized. Furthermore, as a preparation for an analysis of its C∗-algebra, the topology of the spectrum of the semidirect product U(n)⋉Hn is described, where Hn denotes the Heisenberg Lie group and U(n) the unitary ∗ group acting by automorphisms on Hn. For the determination of the group C -algebras, the operator valued Fourier transform is used in order to map the respective C∗-algebra into the algebra of all bounded operator fields over its spectrum. One has to find the conditions that are satisfied by the image of this C∗-algebra under the Fourier transform and the aim is to characterize it through these conditions. In the present thesis, it is proved that both the C∗-algebras of the connected real two-step nilpotent Lie groups and the C∗-algebra of SL(2, R) fulfill the same conditions, namely the “norm controlled dual limit” conditions. Thereby, these C∗-algebras are described in this work and the “norm controlled dual limit” conditions are explicitly computed in both cases. The methods used for the two-step nilpotent Lie groups and the group SL(2, R) are completely different from each other. For the two-step nilpotent Lie groups, one regards their coadjoint orbits and uses the Kirillov theory, while for the group SL(2, R) one can accomplish the calculations more directly. R´esum´e Dans la pr´esente th`ese de doctorat, les C∗-alg`ebres des groupes de Lie connexes r´eels nilpotents de pas deux et du groupe de Lie SL(2, R) sont caract´eris´ees. En outre, comme pr´eparation `aune analyse de sa C∗-alg`ebre, la topologie du spectre du produit semi-direct U(n) ⋉Hn est d´ecrite, o`u Hn d´enote le groupe de Lie de Heisenberg et U(n) le groupe ∗ unitaire qui agit sur Hn par automorphismes. Pour la d´etermination des C -alg`ebres de groupes, la transformation de Fourier `avaleurs op´erationnelles est utilis´ee pour appliquer chaque C∗-alg`ebre dans l’alg`ebre de tous les champs d’op´erateurs born´es sur son spectre. On doit trouver les conditions que satisfait l’image de cette C∗-alg`ebre sous la transfor- mation de Fourier et l’objectif est de la caract´eriser par ces conditions.
Recommended publications
  • Modules and Lie Semialgebras Over Semirings with a Negation Map 3
    MODULES AND LIE SEMIALGEBRAS OVER SEMIRINGS WITH A NEGATION MAP GUY BLACHAR Abstract. In this article, we present the basic definitions of modules and Lie semialgebras over semirings with a negation map. Our main example of a semiring with a negation map is ELT algebras, and some of the results in this article are formulated and proved only in the ELT theory. When dealing with modules, we focus on linearly independent sets and spanning sets. We define a notion of lifting a module with a negation map, similarly to the tropicalization process, and use it to prove several theorems about semirings with a negation map which possess a lift. In the context of Lie semialgebras over semirings with a negation map, we first give basic definitions, and provide parallel constructions to the classical Lie algebras. We prove an ELT version of Cartan’s criterion for semisimplicity, and provide a counterexample for the naive version of the PBW Theorem. Contents Page 0. Introduction 2 0.1. Semirings with a Negation Map 2 0.2. Modules Over Semirings with a Negation Map 3 0.3. Supertropical Algebras 4 0.4. Exploded Layered Tropical Algebras 4 1. Modules over Semirings with a Negation Map 5 1.1. The Surpassing Relation for Modules 6 1.2. Basic Definitions for Modules 7 1.3. -morphisms 9 1.4. Lifting a Module Over a Semiring with a Negation Map 10 1.5. Linearly Independent Sets 13 1.6. d-bases and s-bases 14 1.7. Free Modules over Semirings with a Negation Map 18 2.
    [Show full text]
  • View of This, the Following Observation Should Be of Some Interest to Vector Space Pathologists
    Can. J. Math., Vol. XXV, No. 3, 1973, pp. 511-524 INCLUSION THEOREMS FOR Z-SPACES G. BENNETT AND N. J. KALTON 1. Notation and preliminary ideas. A sequence space is a vector subspace of the space co of all real (or complex) sequences. A sequence space E with a locally convex topology r is called a K- space if the inclusion map E —* co is continuous, when co is endowed with the product topology (co = II^Li (R)*). A i£-space E with a Frechet (i.e., complete, metrizable and locally convex) topology is called an FK-space; if the topology is a Banach topology, then E is called a BK-space. The following familiar BK-spaces will be important in the sequel: ni, the space of all bounded sequences; c, the space of all convergent sequences; Co, the space of all null sequences; lp, 1 ^ p < °°, the space of all absolutely ^-summable sequences. We shall also consider the space <j> of all finite sequences and the linear span, Wo, of all sequences of zeros and ones; these provide examples of spaces having no FK-topology. A sequence space is solid (respectively monotone) provided that xy £ E whenever x 6 m (respectively m0) and y £ E. For x £ co, we denote by Pn(x) the sequence (xi, x2, . xn, 0, . .) ; if a i£-space (E, r) has the property that Pn(x) —» x in r for each x G E, then we say that (£, r) is an AK-space. We also write WE = \x Ç £: P„.(x) —>x weakly} and ^ = jx Ç E: Pn{x) —>x in r}.
    [Show full text]
  • Bornologically Isomorphic Representations of Tensor Distributions
    Bornologically isomorphic representations of distributions on manifolds E. Nigsch Thursday 15th November, 2018 Abstract Distributional tensor fields can be regarded as multilinear mappings with distributional values or as (classical) tensor fields with distribu- tional coefficients. We show that the corresponding isomorphisms hold also in the bornological setting. 1 Introduction ′ ′ ′r s ′ Let D (M) := Γc(M, Vol(M)) and Ds (M) := Γc(M, Tr(M) ⊗ Vol(M)) be the strong duals of the space of compactly supported sections of the volume s bundle Vol(M) and of its tensor product with the tensor bundle Tr(M) over a manifold; these are the spaces of scalar and tensor distributions on M as defined in [?, ?]. A property of the space of tensor distributions which is fundamental in distributional geometry is given by the C∞(M)-module isomorphisms ′r ∼ s ′ ∼ r ′ Ds (M) = LC∞(M)(Tr (M), D (M)) = Ts (M) ⊗C∞(M) D (M) (1) (cf. [?, Theorem 3.1.12 and Corollary 3.1.15]) where C∞(M) is the space of smooth functions on M. In[?] a space of Colombeau-type nonlinear generalized tensor fields was constructed. This involved handling smooth functions (in the sense of convenient calculus as developed in [?]) in par- arXiv:1105.1642v1 [math.FA] 9 May 2011 ∞ r ′ ticular on the C (M)-module tensor products Ts (M) ⊗C∞(M) D (M) and Γ(E) ⊗C∞(M) Γ(F ), where Γ(E) denotes the space of smooth sections of a vector bundle E over M. In[?], however, only minor attention was paid to questions of topology on these tensor products.
    [Show full text]
  • LECTURE 12: LIE GROUPS and THEIR LIE ALGEBRAS 1. Lie
    LECTURE 12: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups Definition 1.1. A Lie group G is a smooth manifold equipped with a group structure so that the group multiplication µ : G × G ! G; (g1; g2) 7! g1 · g2 is a smooth map. Example. Here are some basic examples: • Rn, considered as a group under addition. • R∗ = R − f0g, considered as a group under multiplication. • S1, Considered as a group under multiplication. • Linear Lie groups GL(n; R), SL(n; R), O(n) etc. • If M and N are Lie groups, so is their product M × N. Remarks. (1) (Hilbert's 5th problem, [Gleason and Montgomery-Zippin, 1950's]) Any topological group whose underlying space is a topological manifold is a Lie group. (2) Not every smooth manifold admits a Lie group structure. For example, the only spheres that admit a Lie group structure are S0, S1 and S3; among all the compact 2 dimensional surfaces the only one that admits a Lie group structure is T 2 = S1 × S1. (3) Here are two simple topological constraints for a manifold to be a Lie group: • If G is a Lie group, then TG is a trivial bundle. n { Proof: We identify TeG = R . The vector bundle isomorphism is given by φ : G × TeG ! T G; φ(x; ξ) = (x; dLx(ξ)) • If G is a Lie group, then π1(G) is an abelian group. { Proof: Suppose α1, α2 2 π1(G). Define α : [0; 1] × [0; 1] ! G by α(t1; t2) = α1(t1) · α2(t2). Then along the bottom edge followed by the right edge we have the composition α1 ◦ α2, where ◦ is the product of loops in the fundamental group, while along the left edge followed by the top edge we get α2 ◦ α1.
    [Show full text]
  • CLIFFORD ALGEBRAS Property, Then There Is a Unique Isomorphism (V ) (V ) Intertwining the Two Inclusions of V
    CHAPTER 2 Clifford algebras 1. Exterior algebras 1.1. Definition. For any vector space V over a field K, let T (V ) = k k k Z T (V ) be the tensor algebra, with T (V ) = V V the k-fold tensor∈ product. The quotient of T (V ) by the two-sided⊗···⊗ ideal (V ) generated byL all v w + w v is the exterior algebra, denoted (V ).I The product in (V ) is usually⊗ denoted⊗ α α , although we will frequently∧ omit the wedge ∧ 1 ∧ 2 sign and just write α1α2. Since (V ) is a graded ideal, the exterior algebra inherits a grading I (V )= k(V ) ∧ ∧ k Z M∈ where k(V ) is the image of T k(V ) under the quotient map. Clearly, 0(V )∧ = K and 1(V ) = V so that we can think of V as a subspace of ∧(V ). We may thus∧ think of (V ) as the associative algebra linearly gener- ated∧ by V , subject to the relations∧ vw + wv = 0. We will write φ = k if φ k(V ). The exterior algebra is commutative | | ∈∧ (in the graded sense). That is, for φ k1 (V ) and φ k2 (V ), 1 ∈∧ 2 ∈∧ [φ , φ ] := φ φ + ( 1)k1k2 φ φ = 0. 1 2 1 2 − 2 1 k If V has finite dimension, with basis e1,...,en, the space (V ) has basis ∧ e = e e I i1 · · · ik for all ordered subsets I = i1,...,ik of 1,...,n . (If k = 0, we put { } k { n } e = 1.) In particular, we see that dim (V )= k , and ∅ ∧ n n dim (V )= = 2n.
    [Show full text]
  • Introuduction to Representation Theory of Lie Algebras
    Introduction to Representation Theory of Lie Algebras Tom Gannon May 2020 These are the notes for the summer 2020 mini course on the representation theory of Lie algebras. We'll first define Lie groups, and then discuss why the study of representations of simply connected Lie groups reduces to studying representations of their Lie algebras (obtained as the tangent spaces of the groups at the identity). We'll then discuss a very important class of Lie algebras, called semisimple Lie algebras, and we'll examine the repre- sentation theory of two of the most basic Lie algebras: sl2 and sl3. Using these examples, we will develop the vocabulary needed to classify representations of all semisimple Lie algebras! Please email me any typos you find in these notes! Thanks to Arun Debray, Joakim Færgeman, and Aaron Mazel-Gee for doing this. Also{thanks to Saad Slaoui and Max Riestenberg for agreeing to be teaching assistants for this course and for many, many helpful edits. Contents 1 From Lie Groups to Lie Algebras 2 1.1 Lie Groups and Their Representations . .2 1.2 Exercises . .4 1.3 Bonus Exercises . .4 2 Examples and Semisimple Lie Algebras 5 2.1 The Bracket Structure on Lie Algebras . .5 2.2 Ideals and Simplicity of Lie Algebras . .6 2.3 Exercises . .7 2.4 Bonus Exercises . .7 3 Representation Theory of sl2 8 3.1 Diagonalizability . .8 3.2 Classification of the Irreducible Representations of sl2 .............8 3.3 Bonus Exercises . 10 4 Representation Theory of sl3 11 4.1 The Generalization of Eigenvalues .
    [Show full text]
  • Matrix Lie Groups and Their Lie Algebras
    Matrix Lie groups and their Lie algebras Alen Alexanderian∗ Abstract We discuss matrix Lie groups and their corresponding Lie algebras. Some common examples are provided for purpose of illustration. 1 Introduction The goal of these brief note is to provide a quick introduction to matrix Lie groups which are a special class of abstract Lie groups. Study of matrix Lie groups is a fruitful endeavor which allows one an entry to theory of Lie groups without requiring knowl- edge of differential topology. After all, most interesting Lie groups turn out to be matrix groups anyway. An abstract Lie group is defined to be a group which is also a smooth manifold, where the group operations of multiplication and inversion are also smooth. We provide a much simple definition for a matrix Lie group in Section 4. Showing that a matrix Lie group is in fact a Lie group is discussed in standard texts such as [2]. We also discuss Lie algebras [1], and the computation of the Lie algebra of a Lie group in Section 5. We will compute the Lie algebras of several well known Lie groups in that section for the purpose of illustration. 2 Notation Let V be a vector space. We denote by gl(V) the space of all linear transformations on V. If V is a finite-dimensional vector space we may put an arbitrary basis on V and identify elements of gl(V) with their matrix representation. The following define various classes of matrices on Rn: ∗The University of Texas at Austin, USA. E-mail: [email protected] Last revised: July 12, 2013 Matrix Lie groups gl(n) : the space of n
    [Show full text]
  • What Does a Lie Algebra Know About a Lie Group?
    WHAT DOES A LIE ALGEBRA KNOW ABOUT A LIE GROUP? HOLLY MANDEL Abstract. We define Lie groups and Lie algebras and show how invariant vector fields on a Lie group form a Lie algebra. We prove that this corre- spondence respects natural maps and discuss conditions under which it is a bijection. Finally, we introduce the exponential map and use it to write the Lie group operation as a function on its Lie algebra. Contents 1. Introduction 1 2. Lie Groups and Lie Algebras 2 3. Invariant Vector Fields 3 4. Induced Homomorphisms 5 5. A General Exponential Map 8 6. The Campbell-Baker-Hausdorff Formula 9 Acknowledgments 10 References 10 1. Introduction Lie groups provide a mathematical description of many naturally-occuring sym- metries. Though they take a variety of shapes, Lie groups are closely linked to linear objects called Lie algebras. In fact, there is a direct correspondence between these two concepts: simply-connected Lie groups are isomorphic exactly when their Lie algebras are isomorphic, and every finite-dimensional real or complex Lie algebra occurs as the Lie algebra of a simply-connected Lie group. To put it another way, a simply-connected Lie group is completely characterized by the small collection n2(n−1) of scalars that determine its Lie bracket, no more than 2 numbers for an n-dimensional Lie group. In this paper, we introduce the basic Lie group-Lie algebra correspondence. We first define the concepts of a Lie group and a Lie algebra and demonstrate how a certain set of functions on a Lie group has a natural Lie algebra structure.
    [Show full text]
  • The Dual Topology for the Principal and Discrete Series on Semisimple Groupso
    transactions of the american mathematical society Volume 152, December 1970 THE DUAL TOPOLOGY FOR THE PRINCIPAL AND DISCRETE SERIES ON SEMISIMPLE GROUPSO BY RONALD L. LIPSMAN Abstract. For a locally compact group G, the dual space G is the set of unitary equivalence classes of irreducible unitary representations equipped with the hull- kernel topology. We prove three results about G in the case that G is a semisimple Lie group: (1) the irreducible principal series forms a Hausdorff subspace of G; (2) the "discrete series" of square-integrable representations does in fact inherit the discrete topology from G; (3) the topology of the reduced dual Gr, that is the support of the Plancherel measure, is computed explicitly for split-rank 1 groups. 1. Introduction. It has been a decade since Fell introduced the hull-kernel topology on the dual space G of a locally compact group G. Although a great deal has been learned about the set G in many cases, little or no work has been done relating these discoveries to the topology. Recent work of Kazdan indicates that this is an unfortunate oversight. In this paper, we shall give some results for the case of a semisimple Lie group. Let G be a connected semisimple Lie group with finite center. Associated with a minimal parabolic subgroup of G there is a family of representations called the principal series. Our first result states roughly that if we strike out those members of the principal series that are not irreducible (a "thin" collection, actually), then what remains is a Hausdorff subspace of G.
    [Show full text]
  • Appropriate Locally Convex Domains for Differential
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 86, Number 2, October 1982 APPROPRIATE LOCALLYCONVEX DOMAINS FOR DIFFERENTIALCALCULUS RICHARD A. GRAFF AND WOLFGANG M. RUESS Abstract. We make use of Grothendieck's notion of quasinormability to produce a comprehensive class of locally convex spaces within which differential calculus may be developed along the same lines as those employed within the class of Banach spaces and which include the previously known examples of such classes. In addition, we show that there exist Fréchet spaces which do not belong to any possible such class. 0. Introduction. In [2], the first named author introduced a theory of differential calculus in locally convex spaces. This theory differs from previous approaches to the subject in that the theory was an attempt to isolate a class of locally convex spaces to which the usual techniques of Banach space differential calculus could be extended, rather than an attempt to develop a theory of differential calculus for all locally convex spaces. Indeed, the original purpose of the theory was to study the maps which smooth nonlinear partial differential operators induce between Sobolev spaces by investigating the differentiability of these mappings with respect to a weaker (nonnormable) topology on the Sobolev spaces. The class of locally convex spaces thus isolated (the class of Z)-spaces, see Definition 1 below) was shown to include Banach spaces and several types of Schwartz spaces. A natural question to ask is whether there exists an easily-char- acterized class of D-spaces to which both of these classes belong. We answer this question in the affirmative in Theorem 1 below, the proof of which presents a much clearer picture of the nature of the key property of Z)-spaces than the corresponding result [2, Theorem 3.46].
    [Show full text]
  • Clifford Algebras and Lie Groups
    Clifford algebras and Lie groups Eckhard Meinrenken Lecture Notes, University of Toronto, Fall 2009. (Revised version of lecture notes from 2005) CHAPTER 1 Symmetric bilinear forms Throughout, K will denote a field of characteristic = 2. We are mainly interested in the cases K = R or C, and sometimes specialize6 to those two cases. 1. Quadratic vector spaces Suppose V is a finite-dimensional vector space over K. For any bilinear form B : V V K, define a linear map × → ♭ B : V V ∗, v B(v, ). → 7→ · The bilinear form B is called symmetric if it satisfies B(v1, v2)= B(v2, v1) ♭ ♭ for all v1, v2 V . Since dim V < this is equivalent to (B )∗ = B . The symmetric∈ bilinear form B is uniquely∞ determined by the associated quadratic form, QB(v)= B(v, v) by the polarization identity, (1) B(v, w)= 1 Q (v + w) Q (v) Q (w) . 2 B − B − B The kernel (also called radical ) of B is the subspace ker(B)= v V B(v, v ) = 0 for all v V , { ∈ | 1 1 ∈ } i.e. the kernel of the linear map B♭. The bilinear form B is called non- degenerate if ker(B) = 0, i.e. if and only if B♭ is an isomorphism. A vector space V together with a non-degenerate symmetric bilinear form B will be referred to as a quadratic vector space. Assume for the rest of this chapter that (V,B) is a quadratic vector space. Definition 1.1. A vector v V is called isotropic if B(v, v) = 0, and non-isotropic if B(v, v) = 0.
    [Show full text]
  • Matrices Lie: an Introduction to Matrix Lie Groups and Matrix Lie Algebras
    Matrices Lie: An introduction to matrix Lie groups and matrix Lie algebras By Max Lloyd A Journal submitted in partial fulfillment of the requirements for graduation in Mathematics. Abstract: This paper is an introduction to Lie theory and matrix Lie groups. In working with familiar transformations on real, complex and quaternion vector spaces this paper will define many well studied matrix Lie groups and their associated Lie algebras. In doing so it will introduce the types of vectors being transformed, types of transformations, what groups of these transformations look like, tangent spaces of specific groups and the structure of their Lie algebras. Whitman College 2015 1 Contents 1 Acknowledgments 3 2 Introduction 3 3 Types of Numbers and Their Representations 3 3.1 Real (R)................................4 3.2 Complex (C).............................4 3.3 Quaternion (H)............................5 4 Transformations and General Geometric Groups 8 4.1 Linear Transformations . .8 4.2 Geometric Matrix Groups . .9 4.3 Defining SO(2)............................9 5 Conditions for Matrix Elements of General Geometric Groups 11 5.1 SO(n) and O(n)........................... 11 5.2 U(n) and SU(n)........................... 14 5.3 Sp(n)................................. 16 6 Tangent Spaces and Lie Algebras 18 6.1 Introductions . 18 6.1.1 Tangent Space of SO(2) . 18 6.1.2 Formal Definition of the Tangent Space . 18 6.1.3 Tangent space of Sp(1) and introduction to Lie Algebras . 19 6.2 Tangent Vectors of O(n), U(n) and Sp(n)............. 21 6.3 Tangent Space and Lie algebra of SO(n).............. 22 6.4 Tangent Space and Lie algebras of U(n), SU(n) and Sp(n)..
    [Show full text]