LOW-DIMENSIONAL UNITARY REPRESENTATIONS of B3 1. Introduction Unitary Braid Representations Have Been Constructed in Several

Total Page:16

File Type:pdf, Size:1020Kb

LOW-DIMENSIONAL UNITARY REPRESENTATIONS of B3 1. Introduction Unitary Braid Representations Have Been Constructed in Several PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 129, Number 9, Pages 2597{2606 S 0002-9939(01)05903-2 Article electronically published on March 15, 2001 LOW-DIMENSIONAL UNITARY REPRESENTATIONS OF B3 IMRE TUBA (Communicated by Stephen D. Smith) Abstract. We characterize all simple unitarizable representations of the braid group B3 on complex vector spaces of dimension d ≤ 5. In particular, we prove that if σ1 and σ2 denote the two generating twists of B3,thenasimple representation ρ : B3 ! GL(V )(fordimV ≤ 5) is unitarizable if and only if the eigenvalues λ1,λ2;::: ;λd of ρ(σ1) are distinct, satisfy jλij =1and (d) ≤ ≤ (d) µ1i > 0for2 i d,wheretheµ1i are functions of the eigenvalues, explicitly described in this paper. 1. Introduction Unitary braid representations have been constructed in several ways using the representation theory of Kac-Moody algebras and quantum groups (see e.g. [1], [2], and [4]), and specializations of the reduced Burau and Gassner representations in [5]. Such representations easily lead to representations of PSL(2; Z)=B3=Z ,where Z is the center of B3,andPSL(2; Z)=SL(2; Z)={1g,where{1g is the center of SL(2; Z). We give a complete classification of simple unitary representations of B3 of dimension d ≤ 5 in this paper. In particular, the unitarizability of a braid rep- resentation depends only on the the eigenvalues λ1,λ2;::: ,λd of the images of the two generating twists of B3. The condition for unitarizability is a set of linear in- equalities in the logarithms of these eigenvalues. In other words, the representation is unitarizable if and only if the (arg λ1; arg λ2;::: ;arg λd) is a point inside a poly- hedron in (R=2π)d, where we give the equations of the hyperplanes that bound this polyhedron. This classification shows that the approaches mentioned previously do not produce all possible unitary braid representations. We obtain representations that seem to be new for d ≥ 3. As any unitary representation of Bn restricts to a unitary representation of B3 in an obvious way, these results may also be useful in classifying such representation of Bn. I would like to thank my advisor, Hans Wenzl, for the ideas he contributed to this paper and Nolan Wallach for his suggestions. Let B3 be generated by σ1 and σ2 with the relation σ1σ2σ1 = σ2σ1σ2.Itis 3 well known that the center of B3 is generated by (σ1σ2) .LetK be any field. If 3 ρ is a simple representation of B3 on a K-vector space V ,thenρ(σ1σ2) must act on V as a scalar δ 2 K.Sinceσ1 and σ2 are conjugates via σ1σ2σ1, their images Received by the editors August 31, 1999 and, in revised form, January 31, 2000. 1991 Mathematics Subject Classification. Primary 20F36, 20C07, 81R10; Secondary 20H20, 16S34. c 2001 American Mathematical Society 2597 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 2598 IMRE TUBA A = ρ(σ1)andB = ρ(σ2) have the same eigenvalues λ1,λ2;::: ,λd. We will need the following two results from [3]. Theorem 1.1. 1. Let K be an algebraically closed field, V a d-dimensional K- vector space, and λ1,λ2;::: ,λd 2 K −{0g,whered ≤ 5.Thereexistsa simple representation ρ : B3 ! GL(V ) such that the eigenvalues of A = ρ(σ1) (d) (d) satisfy Qrs =06 for all r =6 s where the polynomials Qrs are as follows: (2) − 2 − 2 Qrs = λr + λrλs λs; (3) 2 2 Qrs =(λr + λsλk)(λs + λrλk) with k =6 r; s. (4) − −1 2 2 Qrs = γ (λr + γ)(λs + γ)(γ + λrλk + λsλl)(γ + λrλl + λsλk) with γ2 = λ ···λ and k; l =6 r; s. 1 4 Y (5) −8 2 2 2 2 2 2 Qrs = γ (γ + λrγ + λr)(γ + λsγ + λs) (γ + λrλk)(γ + λsλk) k=6 r;s 5 with γ = λ1 ···λ5. 2. A simple representation of B3 of dimension d ≤ 5 is uniquely determined up to isomorphism by the eigenvalues of A = ρ(σ1) (for d ≤ 3)andδ,where 3 ρ(σ1σ2) = δ IdV (for d =4; 5). Explicit matrices for A = ρ(σ1)andB = ρ(σ2) are also listed in [3]. (d) The functions Qrs aredefinedin[3]by (d) (d) (d) (d) (d) Pr (B)Ps (A)Pr (B)=Qrs Pr (B); Q (d) − 2πiti where Pr (x)= i=6 r(x λi). Note that substituting λi = e and taking (d) logarithms reduces the problem of finding the zeroes of Qrs to solving a system of linear equations in the ti.(SeeExample4.2.) Proposition 1.2. Let ρ : B3 ! GL(V ) be a simple representation of dimension d ≤ 5. Then the minimal polynomials of A = ρ(σ1) and B = ρ(σ2) are the same as their characteristic polynomials. An immediate consequence of this is Corollary 1.3. If A (or B) is a diagonalizable matrix, then it has distinct eigen- values λ1,λ2;::: ,λd. Proof. Since AQis conjugate to some diagonal matrix D, its minimal polynomial is just p(x)= (x − dj)wherethedj are the distinct diagonal entries of D.By the previous proposition, deg p = d; hence D must have d distinct diagonal entries. Thus all of the diagonal entries of D are distinct. Since we are interested in unitarizable representations, we will let K = C and we will require that jλij =1.Letρ : B3 ! V be a simple d-dimensional represen- tation (d ≤ 5), and A = ρ(σ1), B = ρ(σ2). Any unitarizable complex matrix is diagonalizable, so we can assume that A and B are diagonalizable. So the eigen- values λ1,λ2;:::,λd are distinct by the last corollary. Let δ be the scalar via which 3 3 ρ(σ1σ2) acts on V ,thatis(AB) = δI.DenotetheC-algebra generated by A and B by B.Inotherwords,B = ρ(C B3), where C B3 is the group algebra. Note that B = End(V ) by simplicity. License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use LOW-DIMENSIONAL UNITARY REPRESENTATIONS OF B3 2599 The proof proceeds by defining a vector space antihomomorphism { : B!B and proving that it is an algebra antihomorphism and an involution of B in section 2. In section 3, we define a sesquilinear form h:;:i on the ideal I = BeB;1 that is invariant under multiplication by A and B.Weprovethath:;:i is positive definite (d) ≤ ≤ if µ1i > 0for2 i d.Inthiscase,ρ is a unitary representation of B3 on the d-dimensional vector space I.Wealsoprovethatρ is a unitarizable representation (d) ≤ ≤ µ1i > 0for2 i d. In section 4, we give some examples of using the positivity (d) of µ1i . 2. An involution of the image of B3 Let eM;i be the eigenprojection of M to the eigenspace of λi,whereM 2fA; Bg. That is, Y − (d) M λj Pi (M) eM;i = = Q : λi − λj 6 (λi − λj ) j=6 i j=i Note that eA;i and eB;i always exist because the eigenvalues are distinct. Also (d) (d) eM;ieM;j = δij eM;i. Define µij by eB;ieA;jeB;i = µij eB;i.Notethat Q(d) (d) Q ijQ µij = − − : k=6 i(λi λk) k=6 j (λj λk) (d) Lemma 2.1. The µij are real numbers. 6 −1 −1 Proof. For i = j, the proof is by direct computation using λi = λi and γ = γ . For example, for d =5: Q (γ2 + λ γ + λ2)(γ2 + λ γ + λ2) (γ2 + λ λ )(γ2 + λ λ ) (d) i i Q j j Qk=6 i;j i k j k µij = 8 γ 6 (λi − λk) 6 (λj − λk) k=i k=j Q −1 −1 −1 −1 2 2 (γλ +1+γ λi)(γλ +1+γ λj ) 6 (γ + λiλk)(γ + λjλk) = i j k=Qi;j : − −1 − −1 6 − − (1 λjλi )(1 λiλj ) γ k=6 i;j (λi λk)(λj λk) The first of the two quotients is easily seen to be real. For the second quotient, Q ! Q 2 2 −2 −1 −1 −2 −1 −1 6 (γ + λiλk)(γ + λj λk) 6 (γ + λ λ )(γ + λ λ ) k=Qi;j = k=i;jQ i k j k : 6 − − −6 −1 − −1 −1 − −1 γ k=6 i;j (λi λk)(λj λk) γ k=6 i;j (λi λk )(λj λk ) Q 12 3 3 2 Multiply the numerator and the denominator by γ λi λj k=6 i;j λk to see that this is still Q 2 2 6 (γ + λiλk)(γ + λjλk) k=Qi;j : 6 − − γ k=6 i;j (λi λk)(λj λk) License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 2600 IMRE TUBA P d For the case i = j,notethat k=1 eA;k = I,so eB;i = eB;iIeB;i Xd = eB;i eA;keB;i k=1 Xd = eB;ieA;keB;i k=1 Xd (d) = µik eB;i: k=1 P P d (d) (d) − (d) Hence k=1 µik =1,andµii =1 k=6 i µik is real. Proposition 2.2. S = feA;ieB;1eA;j j 1 ≤ i; j ≤ d; i =6 jg[feA;i j 1 ≤ i ≤ dg is a basis for the C-vector space B. Proof. Suppose Xd Xd Xd αij eA;ieB;1eA;j + αiieA;i =0: i=1 j=1 i=1 j=6 i Multiply by eA;i both on the left and on the right. The only term of the sum that survives is αiieA;i =0: Let vi be an eigenvector of A corresponding to λi.TheneA;ivi = vi =0,so6 eA;i =0.6 Hence αii =0.
Recommended publications
  • Map Composition Generalized to Coherent Collections of Maps
    Front. Math. China 2015, 10(3): 547–565 DOI 10.1007/s11464-015-0435-5 Map composition generalized to coherent collections of maps Herng Yi CHENG1, Kang Hao CHEONG1,2 1 National University of Singapore High School of Mathematics and Science, Singapore 129957, Singapore 2 Tanglin Secondary School, Singapore 127391, Singapore c Higher Education Press and Springer-Verlag Berlin Heidelberg 2015 Abstract Relation algebras give rise to partial algebras on maps, which are generalized to partial algebras on polymaps while preserving the properties of relation union and composition. A polymap is defined as a map with every point in the domain associated with a special set of maps. Polymaps can be represented as small subcategories of Set∗, the category of pointed sets. Map composition and the counterpart of relation union for maps are generalized to polymap composition and sum. Algebraic structures and categories of polymaps are investigated. Polymaps present the unique perspective of an algebra that can retain many of its properties when its elements (maps) are augmented with collections of other elements. Keywords Relation algebra, partial algebra, composition MSC 08A02 1 Introduction This paper considers partial algebras on maps (similar to those defined in [15]), constructed in analogy to relation algebras [5,12,16]. The sum of two maps f0 : X0 → Y0 and f1 : X1 → Y1 is defined if the union of their graphs is a functional binary relation R ⊆ (X0 ∪ X1) × (Y0 ∪ Y1), in which case the sum is the map (f0 + f1): X0 ∪ X1 → Y0 ∪ Y1 with graph R. This is defined similarly to the union operation + from [10].
    [Show full text]
  • LOCAL-GLOBAL PRINCIPLE for TRANSVECTION GROUPS 1. Introduction in 1956, J-P. Serre Asked If a Finitely Generated Projective Modu
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 138, Number 4, April 2010, Pages 1191–1204 S 0002-9939(09)10198-3 Article electronically published on November 20, 2009 LOCAL-GLOBAL PRINCIPLE FOR TRANSVECTION GROUPS A. BAK, RABEYA BASU, AND RAVI A. RAO (Communicated by Martin Lorenz) Abstract. In this article we extend the validity of Suslin’s Local-Global Prin- ciple for the elementary transvection subgroup of the general linear group GLn(R), the symplectic group Sp2n(R), and the orthogonal group O2n(R), where n>2, to a Local-Global Principle for the elementary transvection sub- group of the automorphism group Aut(P ) of either a projective module P of global rank > 0 and constant local rank > 2, or of a nonsingular symplec- tic or orthogonal module P of global hyperbolic rank > 0 and constant local hyperbolic rank > 2. In Suslin’s results, the local and global ranks are the same, because he is concerned only with free modules. Our assumption that the global (hyperbolic) rank > 0 is used to define the elementary transvec- tion subgroups. We show further that the elementary transvection subgroup ET(P )isnormalinAut(P ), that ET(P )=T(P ), where the latter denotes the full transvection subgroup of Aut(P ), and that the unstable K1-group K1(Aut(P )) = Aut(P )/ET(P )=Aut(P )/T(P ) is nilpotent by abelian, pro- vided R has finite stable dimension. The last result extends previous ones of Bak and Hazrat for GLn(R), Sp2n(R), and O2n(R). An important application to the results in the current paper can be found in a preprint of Basu and Rao in which the last two named authors studied the decrease in the injective stabilization of classical modules over a nonsingular affine algebra over perfect C1-fields.
    [Show full text]
  • Duals of Quantum Semigroups with Involution
    DUALS OF QUANTUM SEMIGROUPS WITH INVOLUTION YULIA KUZNETSOVA Abstract. We define a category QSI of quantum semigroups with involution which carries a corep- c resentation-based duality map M 7→ M. Objects in QSI are von Neumann algebras with comultipli- cation and coinvolution, we do not suppose the existence of a Haar weight or of a distinguished spatial realisation. In the case of a locally compact quantum group G, the duality b in QSI recovers the uni- \∞ u b ∗∗ u\∗∗ \∞ b u ∗∗ u\b ∗∗ versal duality of Kustermans: L (G) = C0 (G) = C0 (G) , and L (G) = C0 (G) = C0 (G) . Other various examples are given. 1. Introduction In the theory of locally compact groups, a crucial role is played by the Haar measure; in the theory of locally compact quantum groups, its place it taken by a pair of left and right Haar weights. It is known that in the classical case, the existence of a Haar measure is a theorem, whereas in the quantum case this is a part of axioms. The dual of a locally compact quantum group in the setting of Kustermans and Vaes [8] is defined via an explicit construction involving the Haar weight; in the setting of Woronowicz [17], the spatial realisation of the multiplicative unitary gives readily the corresponding pair of quantum group algebras in duality. This should be compared with the classical Pontryagin duality: we consider first the group G of continuous characters of G, which is meaningful for any topological group, and then prove that if G is locally compact abelian, then so is G, and G is isomorphic to G.
    [Show full text]
  • C*-Algebras of Matricially Ordered *-Semigroups
    C*-algebras of Matricially Ordered *-Semigroups Berndt Brenken COSy 2014 A map of a C*-algebra defined via an implementing partial isometry does not preserve algebra structure. It is, however, a completely positive *-linear map. We consider *-semigroups S, matricial partial order orders on S; along with a universal C*-algebra associated with S and a matricial ordering on S. Preface Universal C*-algebras involving an automorphism realized via an implementing unitary, or an endomorphism via an isometry, have played a fundamental role in operator algebras. Such maps preserve algebraic structure. We consider *-semigroups S, matricial partial order orders on S; along with a universal C*-algebra associated with S and a matricial ordering on S. Preface Universal C*-algebras involving an automorphism realized via an implementing unitary, or an endomorphism via an isometry, have played a fundamental role in operator algebras. Such maps preserve algebraic structure. A map of a C*-algebra defined via an implementing partial isometry does not preserve algebra structure. It is, however, a completely positive *-linear map. Preface Universal C*-algebras involving an automorphism realized via an implementing unitary, or an endomorphism via an isometry, have played a fundamental role in operator algebras. Such maps preserve algebraic structure. A map of a C*-algebra defined via an implementing partial isometry does not preserve algebra structure. It is, however, a completely positive *-linear map. We consider *-semigroups S, matricial partial order orders on S; along with a universal C*-algebra associated with S and a matricial ordering on S. The resulting Cuntz-Pimsner C*-algebra for this example is the universal C*-algebra P generated by a partial isometry.
    [Show full text]
  • A Characterization of the Galois Subbialgebras L-&(K/F)
    JOURNAL OF ALGEBRA 42, 31.5-362 (1976) A Characterization of the Galois Subbialgebras l-&(K/F) MITSUHIRO TAKEUCHI Liniversity of Tsukuba, Iboraki, 300-31 Japan Communicated by N. Jacobson Received April 30, 1975 Let K/k be an extension of fields of characteristic p > 0. Sweedler [6] defines a pointed cocommutative k-bialgebra H,(K) and a k-linear map W: H,(K) @ K - K such that (i) w meaSures K to K, i.e., w(a @ I) = e(a)1 and da 0 W L C 4ah) 0 4 4w 0 4 (a) for a E H,(K), h, p E K, (ii) K is a left H,(K)-module through w. The pair (H,(K), W) is characterized by some universality. We call H,(K) the GaZoi> k-bialgebra of K/k. When H is a subbialgebra of H,(K) put KH = {A E K / w(a @ A) = E(a)& Va E H}, which is a subfield of K containing k. Conversely if K 3 F 3 k are fields, there is a unique maximal subbialgebra H = H,(K/F) such that F C KH. We call H,(K/F) the Galois subbialgebra associated with F. In order to establish the Galois correspondence between the set of inter- mediate fields K r) F 3 k and the set of subbialgebras H of H,(K): F * H,(W) and KHclH we must solve the following two kinds of problems: (i) to characterize the subfields F of the form KH, (ii) to characterize the Galois subbialgebras H = H,(K/F).
    [Show full text]
  • Introduction to Representation Theory by Pavel Etingof, Oleg Golberg
    Introduction to representation theory by Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex Schwendner, Dmitry Vaintrob, and Elena Yudovina with historical interludes by Slava Gerovitch Licensed to AMS. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms Licensed to AMS. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms Contents Chapter 1. Introduction 1 Chapter 2. Basic notions of representation theory 5 x2.1. What is representation theory? 5 x2.2. Algebras 8 x2.3. Representations 9 x2.4. Ideals 15 x2.5. Quotients 15 x2.6. Algebras defined by generators and relations 16 x2.7. Examples of algebras 17 x2.8. Quivers 19 x2.9. Lie algebras 22 x2.10. Historical interlude: Sophus Lie's trials and transformations 26 x2.11. Tensor products 30 x2.12. The tensor algebra 35 x2.13. Hilbert's third problem 36 x2.14. Tensor products and duals of representations of Lie algebras 36 x2.15. Representations of sl(2) 37 iii Licensed to AMS. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms iv Contents x2.16. Problems on Lie algebras 39 Chapter 3. General results of representation theory 41 x3.1. Subrepresentations in semisimple representations 41 x3.2. The density theorem 43 x3.3. Representations of direct sums of matrix algebras 44 x3.4. Filtrations 45 x3.5. Finite dimensional algebras 46 x3.6. Characters of representations 48 x3.7. The Jordan-H¨oldertheorem 50 x3.8. The Krull-Schmidt theorem 51 x3.9.
    [Show full text]
  • Causal Symmetric Spaces Geometry and Harmonic Analysis Joachim Hilgert Gestur ´Olafsson
    Causal Symmetric Spaces Geometry and Harmonic Analysis Joachim Hilgert Gestur Olafsson´ Contents Preface viii Introduction x 1 Symmetric Spaces 1 1.1 BasicStructureTheory .. .. .. .. .. .. .. .. .. 1 1.2 DualSymmetricSpaces .. .. .. .. .. .. .. .. .. 7 1.2.1 The c-Dual Space ˜ c ................. 7 M 1.2.2 The Associated Dual Space a ........... 9 M 1.2.3 The Riemannian Dual Space r ........... 9 M 1.3 The Module Structure of To(G/H).............. 12 1.4 A-Subspaces........................... 22 1.5 TheHyperboloids........................ 24 2 Causal Orientations 29 2.1 ConvexConesandTheirAutomorphisms . 29 2.2 CausalOrientations . .. .. .. .. .. .. .. .. .. 39 2.3 Semigroups ........................... 43 2.4 TheOrderCompactification. 45 2.5 Examples ............................ 50 2.5.1 TheGroupCase .................... 50 2.5.2 TheHyperboloids . .. .. .. .. .. .. .. .. 51 2.6 Symmetric Spaces Related to Tube Domains . 52 2.6.1 BoundaryOrbits .. .. .. .. .. .. .. .. .. 56 2.6.2 The Functions Ψm ................... 58 2.6.3 The Causal Compactification of .......... 63 M 2.6.4 SU(n,n)......................... 65 2.6.5 Sp(n, R)......................... 68 v vi CONTENTS 3 Irreducible Causal Symmetric Spaces 71 3.1 ExistenceofCausalStructures . 71 3.2 The Classificationof Causal Symmetric Pairs . 83 4 Classification of Invariant Cones 91 4.1 Symmetric SL(2, R)Reduction ................ 91 4.2 TheMinimalandMaximalCones. 98 4.3 TheLinearConvexityTheorem . 105 4.4 TheClassification. 110 4.5 ExtensionofCones. 115 5 The Geometry 120 5.1 The Bounded Realization of H/H K ........... 121 ∩ 5.2 The Semigroup S(C)...................... 126 5.3 TheCausalIntervals . 130 5.4 CompressionSemigroups. 132 5.5 TheNonlinearConvexityTheorem . 143 5.6 The B]-Order.......................... 152 5.7 The Affine Closure of B] .................... 157 6 The Order Compactification 172 6.1 CausalGaloisConnections.
    [Show full text]
  • Knot Symmetries and the Fundamental Quandle
    KNOT SYMMETRIES AND THE FUNDAMENTAL QUANDLE EVA HORVAT Abstract. We establish a relationship between the knot symmetries and the automorphisms of the knot quandle. We identify the homeomorphisms of the pair (S3;K) that induce the (anti)automorphisms of the fundamental quandle Q(K). We show that every quandle (anti)automorphism of Q(K) is induced by a homeomorphism of the pair (S3;K). As an application of those results, we are able to explore some symmetry properties of a knot based on the presentation of its fundamental quandle, which is easily derived from a knot diagram. 1. Introduction It is well known that the knot quandle is a complete knot invariant [8]. The knot quandle and various derived quandle invariants have been extensively used to study and distinguish nonequivalent knots. Our idea is to study knot equivalences from the viewpoint of the funda- mental quandle. In this paper, we establish a relationship between the knot symmetries and the automorphisms of the knot quandle. Our goal is to investigate the complex topological information, hidden in the group of knot symmetries, from a purely algebraical perspective of the knot quandle. Our main results are the following. 3 3 Proposition 1.1. Let f :(S ;K) ! (S ;K) be a homeomorphism for which [fj@NK ] = ±1 2 2 MCG(T ). Then f induces a map f∗ : Q(K) ! Q(K) that is either a quandle automorphism or a quandle antiautomorphism. Proposition 1.2. Let F : Q(K) ! Q(K) be an (anti)automorphism of the fundamental quan- dle of a nontrivial knot K.
    [Show full text]
  • Bornological Quantum Groups
    Pacific Journal of Mathematics BORNOLOGICAL QUANTUM GROUPS CHRISTIAN VOIGT Volume 235 No. 1 March 2008 PACIFIC JOURNAL OF MATHEMATICS Vol. 235, No. 1, 2008 BORNOLOGICAL QUANTUM GROUPS CHRISTIAN VOIGT We introduce and study the concept of a bornological quantum group. This generalizes the theory of algebraic quantum groups in the sense of van Daele from the algebraic setting to the framework of bornological vector spaces. Working with bornological vector spaces allows to extend the scope of the latter theory considerably. In particular, the bornological theory covers smooth convolution algebras of arbitrary locally compact groups and their duals. Another source of examples arises from deformation quantization in the sense of Rieffel. Apart from describing these examples we obtain some general results on bornological quantum groups. In particular, we construct the dual of a bornological quantum group and prove the Pontrjagin duality theorem. 1. Introduction The concept of a multiplier Hopf algebra introduced by van Daele [1994] extends the notion of a Hopf algebra to the setting of nonunital algebras. An important difference to the situation for ordinary Hopf algebras is that the comultiplication of a multiplier Hopf algebra H takes values in the multiplier algebra M(H ⊗ H) and not in H ⊗ H itself. Due to the occurrence of multipliers, certain constructions with Hopf algebras have to be carried out more carefully in this context. Still, every multiplier Hopf algebra is equipped with a counit and an antipode satisfying analogues of the usual axioms. A basic example of a multiplier Hopf algebra is the algebra Cc(0) of compactly supported functions on a discrete group 0.
    [Show full text]
  • Linear Representations of Finite Groups
    Linear Representations of Finite Groups Randall R. Holmes Auburn University 1 0 Introduction Let G be a finite group, let K be a field, and let V be a finite-dimensional vector space over K. Denote by GL(V ) the group of invertible linear transformations from V to itself. A group homomorphism ρ : G ! GL(V ) is called a linear K-representation of G in V (or just a representation of G for short). One gains information about the structure of G by studying the totality of representa- tions of G (i.e., various ρ, V , and K). Example. Suppose K = C. If every \irreducible" representation of G (that is, one admitting no proper \subrepresentation") is of the form ρ : G ! GL(V ) with dim V = 1, then G is abelian (and conversely). Here are some notable applications of representation theory: (1) (Burnside) If jGj = paqb (p, q prime), then G is solvable. (Proof given in Section 25.) (2) (Feit-Thompson) Every group of odd order is solvable. (3) Classification of Finite Simple Groups. (Proof uses both the \ordinary" theory (char K = 0) and the \modular" theory (char K = p, prime).) (4) Quantum mechanics. Let ρ : G ! GL(V ) be a representation. Define the associated character χ : G ! K by χ(a) = tr ρ(a). By passing from ρ to the associated character χ, one loses information in general, but enough information is retained to allow proofs of important results. For instance, the theorem of Burnside stated above uses only characters, not actual repre- sentations. Much of the power of character theory comes from its deep connections with number theory.
    [Show full text]
  • 1 Introduction
    Some General Techniques on Linear Preserver Problems Alexander Guterman, Chi-Kwong Li, Peter Semrlˇ Abstract Several general techniques on linear preserver problems are described. The first one is based on a transfer principle in Model Theoretic Algebra that allows one to extend linear preserver results on complex matrices to matrices over other algebraically closed fields of characteristic 0. The second one concerns the use of some simple geometric technique to reduce linear preserver problems to standard types so that known results can be applied. The third one is about solving linear preserver problems on more general (operator) algebras by reducing the problems to idempotent preservers. Numerous examples will be given to demonstrate the proposed techniques. Keywords: Linear preserver, matrices, nilpotent, idempotent, algebraically closed fields. 1991 AMS Classification: 15A04, 47B49. 1 Introduction An active research topic in matrix theory is the linear preserver problems (LPP) that deal with the characterization of linear operators on matrix spaces with some special properties such as leaving certain functions, subsets or relations invariant. One may see [37] for an extensive survey and see [27] for a gentle introduction of the subject. As mentioned in [27], in the study of LPP one may focus on one specific question (see [37, Chapter 3]) or a family of related questions (see [37, Chapters 2 and 4]). Also, one may focus on general techniques that can cover many different LPP (see e.g. [27, Sections 5 and 6]). In fact, there are a number of well-developed techniques for studying LPP. To name a few examples, we have (I) the projective geometry technique (see [37, Chapter 4 and Section 8.5]), (II) the algebraic geometry technique (see [12, 18, 26]), (III) the differential geometry technique (see [27, Section 6] and its references), (IV) the duality technique (see [27, Section 6] and its references), (V) the group theory technique (see [11, 13, 14, 17, 38, 43] and [37, Section 8.4]), (VI) the functional identity technique (see [4]).
    [Show full text]
  • Automorphisms and Endomorphisms of First-Order Structures
    Automorphisms and endomorphisms of first-order structures A thesis submitted to the School of Mathematics at the University of East Anglia in partial fulfilment of the requirements for the degree of Doctor of Philosophy Thomas David Hawkins Coleman May 2017 © This copy of the thesis has been supplied on condition that anyone who con- sults it is understood to recognise that its copyright rests with the author and that use of any information derived there from must be in accordance with cur- rent UK Copyright Law. In addition, any quotation or extract must include full attribution. Abstract In this thesis, we consider questions relating to automorphisms and endo- morphisms of countable, relational first-order structures M, with a particular emphasis on bimorphism monoids. We determine semigroup-theoretic results for three types of endomorphism monoid on M, along with generation results when M is the random graph R or the discrete linear order (N; ≤). In addition, we introduce three types of partial map monoid of M, and prove some semigroup-theoretic and generation results in these cases. We introduce the idea of a permutation monoid, and characterise the closed submonoids of the infinite symmetric group Sym(N). Following this, we turn our attention the idea of oligomorphic transformation monoids, and expand on the existing results by considering a range of notions of homomorphism- homogeneity as introduced by Lockett and Truss in 2012. Furthermore, we show that for any finite group G, there exists an oligomorphic permutation monoid with group of units isomorphic to G. The main result of the thesis is an analogue of Fra¨ısse’s´ theorem covering twelve of the eighteen notions of homomorphism-homogeneity; this contains both Fra¨ısse’s´ theorem, and a version of this for MM-homogeneous structures by Cameron and Nesetˇ rilˇ in 2006, as corollaries.
    [Show full text]