DOCSLIB.ORG

Introduction to Compact (Matrix) Quantum Groups and Banica–Speicher (Easy) Quantum Groups

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Introduction to Compact (Matrix) Quantum Groups and Banica–Speicher (Easy) Quantum Groups Proc. Indian Acad. Sci. (Math. Sci.) Vol. 127, No. 5, November 2017, pp. 881–933. https://doi.org/10.1007/s12044-017-0362-3 Introduction to compact (matrix) quantum groups and Banica–Speicher (easy) quantum groups MORITZ WEBER Saarland University, Saarbrücken, Germany E-mail: [email protected] MS received 14 July 2017; published online 27 November 2017 Abstract. This is a transcript of a series of eight lectures, 90min each, held at IMSc Chennai, India from 5–24 January 2015. We give basic definitions, properties and examples of compact quantum groups and compact matrix quantum groups such as the existence of a Haar state, the representation theory and Woronowicz’s quantum version of the Tannaka–Krein theorem. Building on this, we define Banica–Speicher quantum groups (also called easy quantum groups), a class of compact matrix quantum groups determined by the combinatorics of set partitions. We sketch the classification of Banica– Speicher quantum groups and we list some applications. We review the state-of-the-art regarding Banica–Speicher quantum groups and we list some open problems. Keywords. Compact quantum groups; compact matrix quantum groups; easy quantum groups; Banica–Speicher quantum groups; noncrossing partitions; categories of partitions; tensor categories; Tannaka–Krein duality. Mathematics Subject Classification. 20G42; 05A18; 46LXX. 1. Introduction The study of symmetries in mathematics is almost as old as mathematics itself. From the 19th century onwards, symmetries are mostly modelled by actions of groups. How- ever, modern mathematics requires an extension of the symmetry concept to highly non- commutative situations. This was the birth of quantum groups in the 1980’s; in the ICM 1986 in Berkely, the notion ‘quantum group’ was coined by Drinfeld (see [82, Preface]), one of the pioneers together with Jimbo. See also the preface of Klimyk and Schmüdgen’s book for more on the origins of quantum groups in quantum physics and why they should serve as ‘the concept of symmetry in physics’ [84, Preface]. Also Woronowicz had applications to physics in mind when he introduced topological quantum groups in 1987. In [132, Introduction], he writes that “in the existing theory (in physics), it is known that the symmetry described by the considered group is broken” referring to elementary particle physics. We will follow his approach to quantum groups This is a survey article on the emerging subject of Banica–Speicher quantum groups, based on a first and extensive set of notes produced by Soumyashant Nayak of a lecture series in IMSc, Chennai during January 05–24, 2015. © Indian Academy of Sciences 881 882 Moritz Weber based on the concept of ‘non-commutative function algebras’ by Gelfand–Naimark, using C∗-algebras as our underlying algebras. The following illustrates Gelfand–Naimark’s phi- losophy of (topological) quantum spaces. Topology Non-comm. topol. X comp. space ←→ C(X) cont. fcts. AC∗-algebra identif. (comm. C∗-alg.) fg = gf (non-comm.). Now, what are symmetries of such quantum spaces? In the same spirit, we should have Comp. groups Comp. quantum groups. G comp. group ←→ C(G) cont. fcts. AC∗-algebra . G × G → GC(G) → C(G × G): A → A ⊗ A In the first half of these lecture notes, we give the basic definitions, properties and examples of compact quantum groups and compact matrix quantum groups such as the existence of a Haar state, the representation theory and Woronowicz’s quantum version of the Tannaka–Krein theorem. See [86,87,95] for older surveys on compact quantum groups, or [98,111] for more recent books. We do not cover the more general concept of locally compact quantum groups of Kustermans and Vaes [88]. Moreover, we neglect algebraic quantum groups (which are based on the theory of Hopf algebras), see [82,84,94]for more on this, or [111] for some links and similarities between algebraic and topological perspectives on quantum groups. In the second half, we give an introduction to Banica–Speicher quantum groups [31], also called easy quantum groups. They were defined in 2009 as a class of compact matrix quantum groups determined by the combinatorics of set partitions. The construction relies on Woronowicz’s Tannaka–Krein theorem, a quantum version of Schur–Weyl duality. His theorem basically states that compact matrix quantum groups are in one-to-one correspon- dence to certain tensor categories. The idea behind Banica–Speicher quantum groups is now to define a class of combinatorial objects which behaves like a tensor category and to which we may actually associate one – which thus yields a quantum group by Tannaka– Krein duality. Thus, Banica–Speicher quantum groups are of a very combinatorial nature. To give a feeling for them, let us be slightly more precise. Consider a partition p of the finite set {1,...,k, 1,...,l} into disjoint subsets. We represent such partitions pictorially using lines to represent the disjoint subsets. For instance, with k = 2 and l = 4, p ={{1}, {2, 2 }, {1 }, {3 , 4 }} is represented as 1 2 ∈ P (2, 4). 1 234 We associate a linear map n ⊗k n ⊗l Tp : (C ) → (C ) to such a partition p ∈ P(k, l). We then define operations on partitions, which match nicely via the assignment p → Tp with tensor category like operations on the maps Tp (such as forming the tensor product, the composition or the involution of linear maps). A class CMQGs and Banica–Speicher quantum groups 883 of partitions which is closed under these operations is called a category of partitions; it thus induces a tensor category via p → Tp; and it thus induces a compact matrix quantum group via Tannaka–Krein, a Banica–Speicher quantum group. Summarizing Combinatorics Comp. QG C categ. of part. RC tensor categ. ←→ G BS QG p partition p → Tp Tp linear map TK duality We end the lectures by sketching the classification of Banica–Speicher quantum groups and listing some applications. Moreover, we survey the state-of-the-art on Banica–Speicher quantum groups and we list several open problems. See [31,103,128] or the chapter [118, Ch. Easy quantum groups] for more on Banica–Speicher quantum groups. These lecture notes are a transcript of a series of eight lectures, 90min each, held at IMSc, Chennai, India from 5–24 January 2015. For some of the proofs, details are left out, as we tried to focus more on the motivation of definitions and concepts rather than on complete proofs. We assume the reader to be familiar with the basics of operator algebras, in particular, with the theory of C∗-algebras. 2. Definition and examples of CMQGs Example 2.1 (Warmup: groups as symmetries). The study of symmetries arising in math- ematics is an important tool in order to learn about the geometry of the considered objects (see for instance, the fundamental group in algebraic topology). We are interested in the viewpoint of groups as symmetries via actions on some spaces. Let us take a look at a few examples: (a) For the finite set Xn := {x1, x2,...,xn} of n points, let Aut(Xn) be the set of bijective maps f : Xn → Xn. The group Aut(Xn) is isomorphic to the symmetric group Sn which naturally acts on Xn via permutations. (b) The group of isometries of the sphere n n−1 := ∈ Rn | 2 = ⊆ Rn S x xi 1 i=1 is defined by − − − Iso(Sn 1) := {A : Sn 1 → Sn 1 | Ax, Ay = x, y }. It is isomorphic to the orthogonal group On. (c) The cube may be viewed as a graph with eight vertices, twelve edges. Its auto- morphism group consists of bijections α : → such that two vertices α(vi ) and α(vj ) are connected if and only if vi and v j are connected. The automorphism Z := Z⊕3 Z group is the wreath product 2 S3 2 S3 of 2 with the symmetric group S3, where Z2 := Z/2Z. More generally, for the n-hypercube, the automorphism group is Z2 Sn. Below we explicitly check the case n = 2. The automorphisms of the square (on four vertices) are 884 Moritz Weber eαβ σ αβσ αβ ασ βσ The group 2 2 2 (Z2 ⊕ Z2) S2 = α, β, σ | α = β = e,αβ = βα,σ = e,σασ = β,σβσ = α has elements e,α,β,σ,αβσ,αβ,ασ,βσ and the above automorphisms fulfill the relations of (Z2 ⊕ Z2) S2. Note that the graph below has the same symmetry group Z2 Sn as the n-hypercube. ··· · (2n vertices) Reminder 2.2 (Basic facts in operator algebras). We want to study symmetries in an operator algebraic context. To that end we review some basic ideas in operator algebras. They are a gateway to interpretations of what a symmetry should be in the non-commutative context. Philosophy behind non-commutative function algebras A compact Hausdorff space X gives rise to a commutative unital C∗-algebra, namely C(X), the space of complex-valued continuous functions on X. Conversely, a commutative unital C∗-algebra A is *-isomorphic to C(X), where X := Spec(A) := {φ : A → C | φ is a *-homomorphism,φ = 0} is a compact Hausdorff space (with the weak-∗ topology). Hence, we may identify compact topological spaces with commutative unital C∗-algebras. Therefore, non-commutative C∗- algebras may be viewed as non-commutative function algebras over ‘quantum spaces’, and the theory of C∗-algebras turns into a ‘non-commutative topology’. See also [77, Ch. 1]. Similarly a measure space (X,μ)may be uniquely identified with a commutative von Neumann algebra, namely L∞(X,μ), the space of measurable bounded functions on X acting by multiplication on the Hilbert space L2(X,μ). Thus, the study of von Neumann algebras may be viewed as ‘non-commutative measure theory’.
Load more

Recommended publications
  • A General Theory of Localizations
    GENERAL THEORY OF LOCALIZATION DAVID WHITE • Localization in Algebra • Localization in Category Theory • Bousfield localization Thank them for the invitation. Last section contains some of my PhD research, under Mark Hovey at Wesleyan University. For more, please see my website: dwhite03.web.wesleyan.edu 1. The right way to think about localization in algebra Localization is a systematic way of adding multiplicative inverses to a ring, i.e. given a commutative ring R with unity and a multiplicative subset S ⊂ R (i.e. contains 1, closed under product), localization constructs a ring S−1R and a ring homomorphism j : R ! S−1R that takes elements in S to units in S−1R. We want to do this in the best way possible, and we formalize that via a universal property, i.e. for any f : R ! T taking S to units we have a unique g: j R / S−1R f g T | Recall that S−1R is just R × S= ∼ where (r; s) is really r=s and r=s ∼ r0=s0 iff t(rs0 − sr0) = 0 for some t (i.e. fractions are reduced to lowest terms). The ring structure can be verified just as −1 for Q. The map j takes r 7! r=1, and given f you can set g(r=s) = f(r)f(s) . Demonstrate commutativity of the triangle here. The universal property is saying that S−1R is the closest ring to R with the property that all s 2 S are units. A category theorist uses the universal property to define the object, then uses R × S= ∼ as a construction to prove it exists.
    [Show full text]
  • Quantum Groups and Algebraic Geometry in Conformal Field Theory
    QUANTUM GROUPS AND ALGEBRAIC GEOMETRY IN CONFORMAL FIELD THEORY DlU'KKERU EI.INKWIJK BV - UTRECHT QUANTUM GROUPS AND ALGEBRAIC GEOMETRY IN CONFORMAL FIELD THEORY QUANTUMGROEPEN EN ALGEBRAISCHE MEETKUNDE IN CONFORME VELDENTHEORIE (mrt em samcnrattint] in hit Stdirlands) PROEFSCHRIFT TER VERKRIJGING VAN DE GRAAD VAN DOCTOR AAN DE RIJKSUNIVERSITEIT TE UTRECHT. OP GEZAG VAN DE RECTOR MAGNIFICUS. TROF. DR. J.A. VAN GINKEI., INGEVOLGE HET BESLUIT VAN HET COLLEGE VAN DE- CANEN IN HET OPENBAAR TE VERDEDIGEN OP DINSDAG 19 SEPTEMBER 1989 DES NAMIDDAGS TE 2.30 UUR DOOR Theodericus Johannes Henrichs Smit GEBOREN OP 8 APRIL 1962 TE DEN HAAG PROMOTORES: PROF. DR. B. DE WIT PROF. DR. M. HAZEWINKEL "-*1 Dit proefschrift kwam tot stand met "•••; financiele hulp van de stichting voor Fundamenteel Onderzoek der Materie (F.O.M.) Aan mijn ouders Aan Saskia Contents Introduction and summary 3 1.1 Conformal invariance and the conformal bootstrap 11 1.1.1 Conformal symmetry and correlation functions 11 1.1.2 The conformal bootstrap program 23 1.2 Axiomatic conformal field theory 31 1.3 The emergence of a Hopf algebra 4G The modular geometry of string theory 56 2.1 The partition function on moduli space 06 2.2 Determinant line bundles 63 2.2.1 Complex line bundles and divisors on a Riemann surface . (i3 2.2.2 Cauchy-Riemann operators (iT 2.2.3 Metrical properties of determinants of Cauchy-Ricmann oper- ators 6!) 2.3 The Mumford form on moduli space 77 2.3.1 The Quillen metric on determinant line bundles 77 2.3.2 The Grothendieck-Riemann-Roch theorem and the Mumford
    [Show full text]
  • Complete Objects in Categories
    Complete objects in categories James Richard Andrew Gray February 22, 2021 Abstract We introduce the notions of proto-complete, complete, complete˚ and strong-complete objects in pointed categories. We show under mild condi- tions on a pointed exact protomodular category that every proto-complete (respectively complete) object is the product of an abelian proto-complete (respectively complete) object and a strong-complete object. This to- gether with the observation that the trivial group is the only abelian complete group recovers a theorem of Baer classifying complete groups. In addition we generalize several theorems about groups (subgroups) with trivial center (respectively, centralizer), and provide a categorical explana- tion behind why the derivation algebra of a perfect Lie algebra with trivial center and the automorphism group of a non-abelian (characteristically) simple group are strong-complete. 1 Introduction Recall that Carmichael [19] called a group G complete if it has trivial cen- ter and each automorphism is inner. For each group G there is a canonical homomorphism cG from G to AutpGq, the automorphism group of G. This ho- momorphism assigns to each g in G the inner automorphism which sends each x in G to gxg´1. It can be readily seen that a group G is complete if and only if cG is an isomorphism. Baer [1] showed that a group G is complete if and only if every normal monomorphism with domain G is a split monomorphism. We call an object in a pointed category complete if it satisfies this latter condi- arXiv:2102.09834v1 [math.CT] 19 Feb 2021 tion.
    [Show full text]
  • Category of G-Groups and Its Spectral Category
    Communications in Algebra ISSN: 0092-7872 (Print) 1532-4125 (Online) Journal homepage: http://www.tandfonline.com/loi/lagb20 Category of G-Groups and its Spectral Category María José Arroyo Paniagua & Alberto Facchini To cite this article: María José Arroyo Paniagua & Alberto Facchini (2017) Category of G-Groups and its Spectral Category, Communications in Algebra, 45:4, 1696-1710, DOI: 10.1080/00927872.2016.1222409 To link to this article: http://dx.doi.org/10.1080/00927872.2016.1222409 Accepted author version posted online: 07 Oct 2016. Published online: 07 Oct 2016. Submit your article to this journal Article views: 12 View related articles View Crossmark data Full Terms & Conditions of access and use can be found at http://www.tandfonline.com/action/journalInformation?journalCode=lagb20 Download by: [UNAM Ciudad Universitaria] Date: 29 November 2016, At: 17:29 COMMUNICATIONS IN ALGEBRA® 2017, VOL. 45, NO. 4, 1696–1710 http://dx.doi.org/10.1080/00927872.2016.1222409 Category of G-Groups and its Spectral Category María José Arroyo Paniaguaa and Alberto Facchinib aDepartamento de Matemáticas, División de Ciencias Básicas e Ingeniería, Universidad Autónoma Metropolitana, Unidad Iztapalapa, Mexico, D. F., México; bDipartimento di Matematica, Università di Padova, Padova, Italy ABSTRACT ARTICLE HISTORY Let G be a group. We analyse some aspects of the category G-Grp of G-groups. Received 15 April 2016 In particular, we show that a construction similar to the construction of the Revised 22 July 2016 spectral category, due to Gabriel and Oberst, and its dual, due to the second Communicated by T. Albu. author, is possible for the category G-Grp.
    [Show full text]
  • Quantum Group and Quantum Symmetry
    QUANTUM GROUP AND QUANTUM SYMMETRY Zhe Chang International Centre for Theoretical Physics, Trieste, Italy INFN, Sezione di Trieste, Trieste, Italy and Institute of High Energy Physics, Academia Sinica, Beijing, China Contents 1 Introduction 3 2 Yang-Baxter equation 5 2.1 Integrable quantum field theory ...................... 5 2.2 Lattice statistical physics .......................... 8 2.3 Yang-Baxter equation ............................ 11 2.4 Classical Yang-Baxter equation ...................... 13 3 Quantum group theory 16 3.1 Hopf algebra ................................. 16 3.2 Quantization of Lie bi-algebra ....................... 19 3.3 Quantum double .............................. 22 3.3.1 SUq(2) as the quantum double ................... 23 3.3.2 Uq (g) as the quantum double ................... 27 3.3.3 Universal R-matrix ......................... 30 4Representationtheory 33 4.1 Representations for generic q........................ 34 4.1.1 Representations of SUq(2) ..................... 34 4.1.2 Representations of Uq(g), the general case ............ 41 4.2 Representations for q being a root of unity ................ 43 4.2.1 Representations of SUq(2) ..................... 44 4.2.2 Representations of Uq(g), the general case ............ 55 1 5 Hamiltonian system 58 5.1 Classical symmetric top system ...................... 60 5.2 Quantum symmetric top system ...................... 66 6 Integrable lattice model 70 6.1 Vertex model ................................ 71 6.2 S.O.S model ................................. 79 6.3 Configuration
    [Show full text]
  • Lecture 4 Supergroups
    Lecture 4 Supergroups Let k be a field, chark =26 , 3. Throughout this lecture we assume all superalgebras are associative, com- mutative (i.e. xy = (−1)p(x)p(y) yx) with unit and over k unless otherwise specified. 1 Supergroups A supergroup scheme is a superscheme whose functor of points is group val- ued, that is to say, valued in the category of groups. It associates functorially a group to each superscheme or equivalently to each superalgebra. Let us see this in more detail. Definition 1.1. A supergroup functor is a group valued functor: G : (salg) −→ (sets) This is equivalent to have the following natural transformations: 1. Multiplication µ : G × G −→ G, such that µ ◦ (µ × id) = (µ × id) ◦ µ, i. e. µ×id G × G × G −−−→ G × G id×µ µ µ G ×y G −−−→ Gy 2. Unit e : ek −→ G, where ek : (salg) −→ (sets), ek(A)=1A, such that µ ◦ (id ⊗ e)= µ ◦ (e × id), i. e. id×e e×id G × ek −→ G × G ←− ek × G ց µ ւ G y 1 3. Inverse i : G −→ G, such that µ ◦ (id, i)= e ◦ id, i. e. (id,i) G −−−→ G × G µ e eyk −−−→ Gy The supergroup functors together with their morphisms, that is the nat- ural transformations that preserve µ, e and i, form a category. If G is the functor of points of a superscheme X, i.e. G = hX , in other words G(A) = Hom(SpecA, X), we say that X is a supergroup scheme. An affine supergroup scheme X is a supergroup scheme which is an affine superscheme, that is X = SpecO(X) for some superalgebra O(X).
    [Show full text]
  • Non-Commutative Phase and the Unitarization of GL {P, Q}(2)
    Non–commutative phase and the unitarization of GLp,q (2) M. Arık and B.T. Kaynak Department of Physics, Bo˘gazi¸ci University, 80815 Bebek, Istanbul, Turkey Abstract In this paper, imposing hermitian conjugate relations on the two– parameter deformed quantum group GLp,q (2) is studied. This results in a non-commutative phase associated with the unitarization of the quantum group. After the achievement of the quantum group Up,q (2) with pq real via a non–commutative phase, the representation of the algebra is built by means of the action of the operators constituting the Up,q (2) matrix on states. 1 Introduction The mathematical construction of a quantum group Gq pertaining to a given Lie group G is simply a deformation of a commutative Poisson-Hopf algebra defined over G. The structure of a deformation is not only a Hopf algebra arXiv:hep-th/0208089v2 18 Oct 2002 but characteristically a non-commutative algebra as well. The notion of quantum groups in physics is widely known to be the generalization of the symmetry properties of both classical Lie groups and Lie algebras, where two different mathematical blocks, namely deformation and co–multiplication, are simultaneously imposed either on the related Lie group or on the related Lie algebra. A quantum group is defined algebraically as a quasi–triangular Hopf alge- bra. It can be either non-commutative or commutative. It is fundamentally a bi–algebra with an antipode so as to consist of either the q–deformed uni- versal enveloping algebra of the classical Lie algebra or its dual, called the matrix quantum group, which can be understood as the q–analog of a classi- cal matrix group [1].
    [Show full text]
  • Non-Commutative Dual Representation for Quantum Systems on Lie Groups
    Loops 11: Non-Perturbative / Background Independent Quantum Gravity IOP Publishing Journal of Physics: Conference Series 360 (2012) 012052 doi:10.1088/1742-6596/360/1/012052 Non-commutative dual representation for quantum systems on Lie groups Matti Raasakka Max Planck Institute for Gravitational Physics (Albert Einstein Institute), Am M¨uhlenberg 1, 14476 Potsdam, Germany, EU E-mail: [email protected] Abstract. We provide a short overview of some recent results on the application of group Fourier transform to quantum mechanics and quantum gravity. We close by pointing out some future research directions. 1. Introduction The group Fourier transform is an integral transform from functions on a Lie group to functions on a non-commutative dual space. It was first formulated for functions on SO(3) [1, 2], later generalized to SU(2) [2–4] and other Lie groups [5, 6], and is based on the quantum group structure of Drinfel’d double of the group [7, 8]. The transform provides a unitarily equivalent representation of quantum systems with a Lie group configuration space in terms of non- commutative algebra of functions on the classical dual space, the dual of the Lie algebra. As such, it has proven useful in several different ways. Most importantly, it provides a clear connection between the quantum system and the corresponding classical one, allowing for a better physical insight into the system. In the case of quantum gravity models this has turned out to be particularly helpful in unraveling the geometrical content of the models, because the dual variables have an intuitive interpretation as classical geometrical quantities.
    [Show full text]
  • 1.25. the Quantum Group Uq (Sl2). Let Us Consider the Lie Algebra Sl2
    55 1.25. The Quantum Group Uq (sl2). Let us consider the Lie algebra sl2. Recall that there is a basis h; e; f 2 sl2 such that [h; e] = 2e; [h; f] = −2f; [e; f] = h. This motivates the following definition. Definition 1.25.1. Let q 2 k; q =6 ±1. The quantum group Uq(sl2) is generated by elements E; F and an invertible element K with defining relations K − K−1 KEK−1 = q2E; KFK−1 = q−2F; [E; F] = : −1 q − q Theorem 1.25.2. There exists a unique Hopf algebra structure on Uq (sl2), given by • Δ(K) = K ⊗ K (thus K is a grouplike element); • Δ(E) = E ⊗ K + 1 ⊗ E; • Δ(F) = F ⊗ 1 + K−1 ⊗ F (thus E; F are skew-primitive ele­ ments). Exercise 1.25.3. Prove Theorem 1.25.2. Remark 1.25.4. Heuristically, K = qh, and thus K − K−1 lim = h: −1 q!1 q − q So in the limit q ! 1, the relations of Uq (sl2) degenerate into the relations of U(sl2), and thus Uq (sl2) should be viewed as a Hopf algebra deformation of the enveloping algebra U(sl2). In fact, one can make this heuristic idea into a precise statement, see e.g. [K]. If q is a root of unity, one can also define a finite dimensional version of Uq (sl2). Namely, assume that the order of q is an odd number `. Let uq (sl2) be the quotient of Uq (sl2) by the additional relations ` ` ` E = F = K − 1 = 0: Then it is easy to show that uq (sl2) is a Hopf algebra (with the co­ product inherited from Uq (sl2)).
    [Show full text]
  • An Introduction to the Theory of Quantum Groups Ryan W
    Eastern Washington University EWU Digital Commons EWU Masters Thesis Collection Student Research and Creative Works 2012 An introduction to the theory of quantum groups Ryan W. Downie Eastern Washington University Follow this and additional works at: http://dc.ewu.edu/theses Part of the Physical Sciences and Mathematics Commons Recommended Citation Downie, Ryan W., "An introduction to the theory of quantum groups" (2012). EWU Masters Thesis Collection. 36. http://dc.ewu.edu/theses/36 This Thesis is brought to you for free and open access by the Student Research and Creative Works at EWU Digital Commons. It has been accepted for inclusion in EWU Masters Thesis Collection by an authorized administrator of EWU Digital Commons. For more information, please contact [email protected]. EASTERN WASHINGTON UNIVERSITY An Introduction to the Theory of Quantum Groups by Ryan W. Downie A thesis submitted in partial fulfillment for the degree of Master of Science in Mathematics in the Department of Mathematics June 2012 THESIS OF RYAN W. DOWNIE APPROVED BY DATE: RON GENTLE, GRADUATE STUDY COMMITTEE DATE: DALE GARRAWAY, GRADUATE STUDY COMMITTEE EASTERN WASHINGTON UNIVERSITY Abstract Department of Mathematics Master of Science in Mathematics by Ryan W. Downie This thesis is meant to be an introduction to the theory of quantum groups, a new and exciting field having deep relevance to both pure and applied mathematics. Throughout the thesis, basic theory of requisite background material is developed within an overar- ching categorical framework. This background material includes vector spaces, algebras and coalgebras, bialgebras, Hopf algebras, and Lie algebras. The understanding gained from these subjects is then used to explore some of the more basic, albeit important, quantum groups.
    [Show full text]
  • Of F-Points of an Algebraic Variety X Defined Over A
    JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 14, Number 3, Pages 509{534 S 0894-0347(01)00365-4 Article electronically published on February 27, 2001 R-EQUIVALENCE IN SPINOR GROUPS VLADIMIR CHERNOUSOV AND ALEXANDER MERKURJEV The notion of R-equivalence in the set X(F )ofF -points of an algebraic variety X defined over a field F was introduced by Manin in [11] and studied for linear algebraic groups by Colliot-Th´el`ene and Sansuc in [3]. For an algebraic group G defined over a field F , the subgroup RG(F )ofR-trivial elements in the group G(F ) of all F -pointsisdefinedasfollows.Anelementg belongs to RG(F )ifthereisa A1 ! rational morphism f : F G over F , defined at the points 0 and 1 such that f(0) = 1 and f(1) = g.Inotherwords,g can be connected with the identity of the group by the image of a rational curve. The subgroup RG(F )isnormalinG(F ) and the factor group G(F )=RG(F )=G(F )=R is called the group of R-equivalence classes. The group of R-equivalence classes is very useful while studying the rationality problem for algebraic groups, the problem to determine whether the variety of an algebraic group is rational or stably rational. We say that a group G is R-trivial if G(E)=R = 1 for any field extension E=F. IfthevarietyofagroupG is stably rational over F ,thenG is R-trivial. Thus, if one can establish non-triviality of the group of R-equivalence classes G(E)=R just for one field extension E=F, the group G is not stably rational over F .
    [Show full text]
  • Adams Operations and Symmetries of Representation Categories Arxiv
    Adams operations and symmetries of representation categories Ehud Meir and Markus Szymik May 2019 Abstract: Adams operations are the natural transformations of the representation ring func- tor on the category of finite groups, and they are one way to describe the usual λ–ring structure on these rings. From the representation-theoretical point of view, they codify some of the symmetric monoidal structure of the representation category. We show that the monoidal structure on the category alone, regardless of the particular symmetry, deter- mines all the odd Adams operations. On the other hand, we give examples to show that monoidal equivalences do not have to preserve the second Adams operations and to show that monoidal equivalences that preserve the second Adams operations do not have to be symmetric. Along the way, we classify all possible symmetries and all monoidal auto- equivalences of representation categories of finite groups. MSC: 18D10, 19A22, 20C15 Keywords: Representation rings, Adams operations, λ–rings, symmetric monoidal cate- gories 1 Introduction Every finite group G can be reconstructed from the category Rep(G) of its finite-dimensional representations if one considers this category as a symmetric monoidal category. This follows from more general results of Deligne [DM82, Prop. 2.8], [Del90]. If one considers the repre- sentation category Rep(G) as a monoidal category alone, without its canonical symmetry, then it does not determine the group G. See Davydov [Dav01] and Etingof–Gelaki [EG01] for such arXiv:1704.03389v3 [math.RT] 3 Jun 2019 isocategorical groups. Examples go back to Fischer [Fis88]. The representation ring R(G) of a finite group G is a λ–ring.
    [Show full text]