DOCSLIB.ORG

Deep-Beauty-Halvorson.Pdf

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Deep-Beauty-Halvorson.Pdf This page intentionally left blank Deep Beauty Understanding the Quantum World Through Mathematical Innovation No scientific theory has caused more puzzlement and confusion than quantum theory. Physics is supposed to help us to understand the world, but quantum theory makes it seem a very strange place. This book is about how mathematical innovation can help us gain deeper insight into the structure of the physical world. Chapters by top researchers in the mathematical foundations of physics explore new ideas, especially novel mathematical concepts, at the cutting edge of future physics. These creative developments in mathematics may catalyze the advances that enable us to understand our current physical theories, especially quantum theory. The authors bring diverse perspectives, unified only by the attempt to introduce fresh concepts that will open up new vistas in our understanding of future physics. Hans Halvorson is Professor of Philosophy at Princeton University. He has written ex- tensively on the foundations of quantum physics, with articles appearing in the Journal of Mathematical Physics, Physical Review, Philosophy of Science, and British Journal of Philosophy of Science, among others. He is currently working on applying the tools of category theory to questions in the foundations of mathematics. Halvorson has been the recipient of the Mellon New Directions Fellowhip (2007), the Cushing Memorial Prize in the History and Philosophy of Physics (2004), Best Article of the Year by a Recent Ph.D. (Philosophy of Science Association, 2001), and Ten Best Philosophy Articles of the Year (The Philosopher’s Annual, 2001 and 2002). Deep Beauty Understanding the Quantum World Through Mathematical Innovation Edited by Hans Halvorson Princeton University cambridge university press Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, Sao˜ Paulo, Delhi, Tokyo, Mexico City Cambridge University Press 32 Avenue of the Americas, New York, NY 10013-2473, USA www.cambridge.org Information on this title: www.cambridge.org/9781107005709 C Cambridge University Press 2011 This publication is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University Press. First published 2011 Printed in the United States of America A catalog record for this publication is available from the British Library. Library of Congress Cataloging in Publication data Deep beauty: understanding the quantum world through mathematical innovation / edited by Hans Halvorson. p. cm. Includes bibliographical references and index. ISBN 978-1-107-00570-9 (hardback) 1. Quantum theory – Mathematics. 2. Mathematical physics. I. Halvorson, Hans. QC174.17.M35D44 2011 530.120151–dc22 2010046924 ISBN 978-1-107-00570-9 Hardback Cambridge University Press has no responsibility for the persistence or accuracy of URLs for external or third-party Internet Web sites referred to in this publication and does not guarantee that any content on such Web sites is, or will remain, accurate or appropriate. Just as the essence of perception is not sensing objects but apprehending them, even if we can only apprehend them through the mediation of sense, so the paradigm of a real world is not its sensible imaginability but its intelligible apprehensibility. I do not mean by this that anything which can be conceived by the intellect is thereby shown to exist, but I do mean that anything that concretely exists can be grasped by the intellect in its concrete existence. If therefore the universe of modern physics is one in which all attempts to make it intelligible by models of sensory type fail and which requires for its systematisation the kind of concepts that are used by quantum physics, this does not in the least imply that it is unreal or subjective. It simply means that the formulae of quantum physics express the kind of intelligibility that it has. Eric Mascall (1905–1993) Contents Contributors page ix Preface xi Acknowledgments xiii Introduction1 Hans Halvorson I Beyond the Hilbert Space Formalism: Category Theory 1 A Prehistory of n-Categorical Physics 13 John C. Baez and Aaron D. Lauda 2 A Universe of Processes and Some of Its Guises 129 Bob Coecke 3 Topos Methods in the Foundations of Physics 187 Chris J. Isham 4 The Physical Interpretation of Daseinisation 207 Andreas Doring¨ 5 Classical and Quantum Observables 239 Hans F. de Groote 6 Bohrification 271 Chris Heunen, Nicolaas P. Landsman, and Bas Spitters II Beyond the Hilbert Space Formalism: Operator Algebras 7 Yet More Ado about Nothing: The Remarkable Relativistic Vacuum State 317 Stephen J. Summers 8 Einstein Meets von Neumann: Locality and Operational Independence in Algebraic Quantum Field Theory 343 Miklos´ Redei´ vii viii contents III Behind the Hilbert Space Formalism 9 Quantum Theory and Beyond: Is Entanglement Special? 365 Borivoje Dakic´ and Caslavˇ Brukner 10 Is Von Neumann’s “No Hidden Variables” Proof Silly? 393 Jeffrey Bub 11 Foliable Operational Structures for General Probabilistic Theories 409 Lucien Hardy 12 The Strong Free Will Theorem 443 John H. Conway and Simon Kochen Index 455 Contributors John C. Baez Hans F. de Groote Department of Mathematics, University Formerly of the Fachbereich Informatik of California, Riverside, California, und Mathematik, Goethe-Universitat¨ United States Frankfurt a.M., Germany Caslavˇ Brukner Andreas Doring¨ Faculty of Physics, University of Vienna, Computing Laboratory, University of Austria; Institute of Quantum Optics and Oxford, United Kingdom Quantum Information, Austrian Lucien Hardy Academy of Sciences, Vienna, Austria Perimeter Institute, Waterloo, Ontario, Jeffrey Bub Canada Philosophy Department and Institute for Chris Heunen Physical Science and Technology, Computing Laboratory, University of University of Maryland, College Park, Oxford, United Kingdom Maryland, United States Chris J. Isham Bob Coecke The Blackett Laboratory, Imperial Computing Laboratory, University of College, London, United Kingdom Oxford, United Kingdom Simon Kochen John H. Conway Department of Mathematics, Princeton Department of Mathematics, Princeton University, Princeton, New Jersey, University, Princeton, New Jersey, United States United States Nicolaas P. Landsman Borivoje Dakic´ Institute for Mathematics, Astrophysics, Faculty of Physics, University of Vienna, and Particle Physics, Radboud University Austria Nijmegen, Nijmegen, The Netherlands ix x contributors Aaron D. Lauda Bas Spitters Department of Mathematics, Columbia Department of Computer Science, University, New York, New York, Radboud University Nijmegen, United States Nijmegen, The Netherlands Miklos´ Redei´ Stephen J. Summers Department of Philosophy, Logic and Department of Mathematics, University Scientific Method, London School of of Florida, Gainesville, Florida, United Economics and Political Science, States London, United Kingdom Preface In the fall of 2006, I received a phone call from Charles (Chuck) Harper, then the Senior Vice President and Chief Strategist of the John Templeton Foundation (JTF).1 Chuck asked me, What are the topics that most need attention in your field (philosophy of physics) but that are not receiving funding from other sources? I told Chuck that current academic culture does not provide much encouragement for scientists to pursue “foundational” or “philosophical” issues. Whereas in previous centuries many of the great scientific minds also displayed a sharp philosophical acumen—witness Descartes, Leibniz, Bohr, Einstein, von Neumann, and Weyl—our current generation of great scientists seems to lack the time, ability, or interest to expand their scientific research into the more speculative or conceptual realms. So I told Chuck we should provide some encouragement to those scientists who wish to continue the tradition of philosophical reflection on their subjects. This book is the direct result of Chuck’s, and JTF’s, taking this idea seriously— that is, the idea that “philosophical” is not an antonym of “scientific.” Concretely, the support provided by JTF enabled us to bring a group of distinguished philosophers and scientists from around the globe to Princeton, New Jersey, for a two-day conference in October 2007.2 The invited speakers were given free rein to speak on whatever topic they chose. However, it immediately became apparent that there was a common methodological theme: Although the speakers had diverse research goals, they shared in common the vision of achieving a deeper insight into foundational issues by stretching the resources provided by traditional mathematics. (For elaboration on this point, see the introduction.) After the conference, it was agreed that the speakers would expand their ideas into chapters for a book. The book in your hands (or on your screen, or being read to you) 1 Currently Chancellor for International Distance Learning and Senior Vice President, Global Programs, of the American University System, as well as President of Vision-Five.com Consulting. 2 See http://symposia.templeton.org/deep beauty/. xi xii preface is the result. If our original intention for this book was realized—and we think that it was in excelsis—then its twelve essays carry the tradition of natural philosophy into the twenty-first century. Hans Halvorson Princeton University Acknowledgments Many thanks to the John Templeton Foundation (JTF) for its generous financial backing for this project. I hope that this book offers high yields in the growth of
Load more

Recommended publications
  • A Scale-Covariant Quantum Space-Time
    A scale-covariant quantum space-time Claudio Perini∗ Institute for Gravitation and the Cosmos, Physics Department, Penn State, University Park, PA 16802-6300, USA Gabriele Nunzio Tornetta† School of Mathematics and Statistics, University of Glasgow, 15 University Gardens, G12 8QW, Scotland A noncommutative space-time admitting dilation symmetry was briefly mentioned in the seminal work [1] of Doplicher, Fredenhagen and Roberts. In this paper we explicitly construct the model in details and carry out an in-depth analysis. The C∗-algebra that describes this quantum space-time is determined, and it is shown that it admits an action by - automorphisms of the dilation group, along with the expected Poincar´ecovariance. In order∗ to study the main physical properties of this scale-covariant model, a free scalar neutral field is introduced as a investigation tool. Our key results are then the loss of locality and the irreducibility, or triviality, of special field algebras associated with regions of the ordinary Minkowski space-time. It turns out, in the conclusions, that this analysis allows also to argue on viable ways of constructing a full conformally covariant model for quantum space-time. I. INTRODUCTION In this paper we study a non-commutative space-time of DFR-type, that can be obtained as the limiting scale-free case of the original DFR model [1]. The main mathematical interest to study this model is that it is Poincar´e and dilation covariant, thus it possesses almost all the symmetries given by the conformal group. The issue of implementing the remaining symmetry, which is the relativistic ray inversion, is discussed in the concluding section.
    [Show full text]
  • On the Space of Generalized Fluxes for Loop Quantum Gravity
    Home Search Collections Journals About Contact us My IOPscience On the space of generalized fluxes for loop quantum gravity This article has been downloaded from IOPscience. Please scroll down to see the full text article. 2013 Class. Quantum Grav. 30 055008 (http://iopscience.iop.org/0264-9381/30/5/055008) View the table of contents for this issue, or go to the journal homepage for more Download details: IP Address: 194.94.224.254 The article was downloaded on 07/03/2013 at 11:02 Please note that terms and conditions apply. IOP PUBLISHING CLASSICAL AND QUANTUM GRAVITY Class. Quantum Grav. 30 (2013) 055008 (24pp) doi:10.1088/0264-9381/30/5/055008 On the space of generalized fluxes for loop quantum gravity B Dittrich1,2, C Guedes1 and D Oriti1 1 Max Planck Institute for Gravitational Physics, Am Muhlenberg¨ 1, D-14476 Golm, Germany 2 Perimeter Institute for Theoretical Physics, 31 Caroline St N, Waterloo ON N2 L 2Y5, Canada E-mail: [email protected], [email protected] and [email protected] Received 5 September 2012, in final form 13 January 2013 Published 5 February 2013 Online at stacks.iop.org/CQG/30/055008 Abstract We show that the space of generalized fluxes—momentum space—for loop quantum gravity cannot be constructed by Fourier transforming the projective limit construction of the space of generalized connections—position space— due to the non-Abelianess of the gauge group SU(2). From the Abelianization of SU(2),U(1)3, we learn that the space of generalized fluxes turns out to be an inductive limit, and we determine the consistency conditions the fluxes should satisfy under coarse graining of the underlying graphs.
    [Show full text]
  • Chapter 2 C -Algebras
    Chapter 2 C∗-algebras This chapter is mainly based on the first chapters of the book [Mur90]. Material bor- rowed from other references will be specified. 2.1 Banach algebras Definition 2.1.1. A Banach algebra C is a complex vector space endowed with an associative multiplication and with a norm k · k which satisfy for any A; B; C 2 C and α 2 C (i) (αA)B = α(AB) = A(αB), (ii) A(B + C) = AB + AC and (A + B)C = AC + BC, (iii) kABk ≤ kAkkBk (submultiplicativity) (iv) C is complete with the norm k · k. One says that C is abelian or commutative if AB = BA for all A; B 2 C . One also says that C is unital if 1 2 C , i.e. if there exists an element 1 2 C with k1k = 1 such that 1B = B = B1 for all B 2 C . A subalgebra J of C is a vector subspace which is stable for the multiplication. If J is norm closed, it is a Banach algebra in itself. Examples 2.1.2. (i) C, Mn(C), B(H), K (H) are Banach algebras, where Mn(C) denotes the set of n × n-matrices over C. All except K (H) are unital, and K (H) is unital if H is finite dimensional. (ii) If Ω is a locally compact topological space, C0(Ω) and Cb(Ω) are abelian Banach algebras, where Cb(Ω) denotes the set of all bounded and continuous complex func- tions from Ω to C, and C0(Ω) denotes the subset of Cb(Ω) of functions f which vanish at infinity, i.e.
    [Show full text]
  • Low-Dimensional Internal Categorial Structures in Weakly Mal'cev
    Low-dimensional internal categorial structures in weakly Mal'cev sesquicategories N. Martins-Ferreira Polytechnic Institute of Leiria Thesis Presented for the Degree of DOCTOR OF PHILOSOPHY in the Department of Mathematics and Applied Mathematics UNIVERSITY OF CAPE TOWN June 3, 2008 ii Abstract In this work, the author introduces pseudocategory as a generalization for an internal category in dimension 2. First, a pseudocategory is de- ¯ned [Ch1]1 as a system, consisting of a precategory diagram together with special 2-cells in a 2-category, satisfying some coherence conditions: if the 2-category is of the form Cat(B), of internal categories, internal functors and internal natural transformations in some category B, then a pseudocategory in (internal to) Cat(B) simultaneously generalizes internal bicategory in B and internal double-category in B (it is a pseudo-double- category in B, using the terminology of M. Grandis and R. Par¶e);later, a pseudocategory is considered in the more general context of a sesquicate- gory [Ch2], with one of the main results of this thesis being the description of pseudocategories in (internal to) a weakly Mal'cev sesquicategory [Ch9]. The notions of weakly Mal'cev category and weakly Mal'cev sesquicat- egory are also new concepts that are introduced here. Weakly Mal'cev categories, generalize Mal'cev categories, and seem to be an appropriate setting for the study of internal categories and precategories: an internal category (here, as in a Mal'cev category) is completely determined by its underlying reflexive graph; but (here, unlike in a Mal'cev category) not every internal category is an internal groupoid [Ch3].
    [Show full text]
  • Dark Matter and Weak Signals of Quantum Spacetime
    PHYSICAL REVIEW D 95, 065009 (2017) Dark matter and weak signals of quantum spacetime † ‡ Sergio Doplicher,1,* Klaus Fredenhagen,2, Gerardo Morsella,3, and Nicola Pinamonti4,§ 1Dipartimento di Matematica, Università di Roma “La Sapienza”, Piazzale Aldo Moro 5, I-00185 Roma, Italy 2II Institut für Theoretische Physik, Universität Hamburg, D-22761 Hamburg, Germany 3Dipartimento di Matematica, Università di Roma “Tor Vergata”, Via della Ricerca Scientifica, I-00133 Roma, Italy 4Dipartimento di Matematica, Università di Genova, Via Dodecaneso 35, I-16146 Genova, Italy, and INFN Sezione di Genova, Genova, Italy (Received 29 December 2016; published 13 March 2017) In physically motivated models of quantum spacetime, a Uð1Þ gauge theory turns into a Uð∞Þ gauge theory; hence, free classical electrodynamics is no longer free and neutral fields may have electromagnetic interactions. We discuss the last point for scalar fields, as a way to possibly describe dark matter; we have in mind the gravitational collapse of binary systems or future applications to self-gravitating Bose-Einstein condensates as possible sources of evidence of quantum gravitational phenomena. The effects considered so far, however, seem too faint to be detectable at present. DOI: 10.1103/PhysRevD.95.065009 I. INTRODUCTION but their superpositions would, in general, not be—they would lose energy in favor of mysterious massive modes One of the main difficulties of present-day physics is the (see also [6]). lack of observation of quantum aspects of gravity. Quantum A naive computation showed, by that mechanism, that a gravity has to be searched without a guide from nature; the monochromatic wave train passing through a partially observed universe must be explained as carrying traces of reflecting mirror should lose, in favor of those ghost quantum gravitational phenomena in the only “laboratory” modes, a fraction of its energy—a very small fraction, suitable to those effects, i.e., the universe itself a few unfortunately, of the order of one part in 10−130 [5].
    [Show full text]
  • The Principle of Locality. Effectiveness, Fate and Challenges
    The Principle of Locality. Effectiveness, fate and challenges Sergio Doplicher Dipartimento di Matematica University of Rome “La Sapienza” 00185 Roma, Italy October 26, 2018 Abstract The Special Theory of Relativity and Quantum Mechanics merge in the key principle of Quantum Field Theory, the Principle of Locality. We review some examples of its “unreasonable effectiveness” in giving rise to most of the conceptual and structural frame of Quantum Field Theory, especially in absence of massless particles. This effectiveness shows up best in the formulation of Quantum Field Theory in terms of operator algebras of local observables; this formulation is successful in digging out the roots of Global Gauge Invariance, through the analysis of Superselection Structure and Statistics, in the structure of the local observable quantities alone, at least for purely massive theories; but so far it seems unfit to cope with the Principle of Local Gauge Invariance. This problem emerges also if one attempts to figure out the fate of the Principle of Locality in theories describing the gravitational forces between elementary particles as well. An approach based on the need to keep an operational meaning, in terms of localisation of events, of the notion of Spacetime, shows that, in the small, the latter must loose arXiv:0911.5136v1 [math-ph] 26 Nov 2009 any meaning as a classical pseudoRiemannian manifold, locally based on Minkowski space, but should acquire a quantum structure at the Planck scale. We review the Geometry of a basic model of Quantum Spacetime and some attempts to formulate interaction of quantum fields on Quan- tum Spacetime. The Principle of Locality is necessarily lost at the Planck scale, and it is a crucial open problem to unravel a replacement in such theories which is equally mathematically sharp, namely a Prin- ciple where the General Theory of Relativity and Quantum Mechanics merge, which reduces to the Principle of Locality at larger scales.
    [Show full text]
  • Banach Algebras
    Banach Algebras Yurii Khomskii Bachelor Thesis Department of Mathematics, Leiden University Supervisor: Dr. Marcel de Jeu April 18, 2005 i Contents Foreword iv 1. Algebraic Concepts 1 1.1. Preliminaries . 1 1.2. Regular Ideals . 3 1.3. Adjoining an Identity . 4 1.4. Quasi-inverses . 8 2. Banach Algebras 10 2.1. Preliminaries of Normed and Banach Algebras . 10 2.2. Inversion and Quasi-inversion in Banach Algebras . 14 3. Spectra 18 3.1. Preliminaries . 18 3.2. Polynomial Spectral Mapping Theorem and the Spectral Radius Formula . 22 4. Gelfand Representation Theory 25 4.1. Multiplicative Linear Functionals and the Maximal Ideal Space . 25 4.2. The Gelfand Topology . 30 4.3. The Gelfand Representation . 31 4.4. The Radical and Semi-simplicity . 33 4.5. Generators of Banach algebras . 34 5. Examples of Gelfand Representations 36 5.1. C (X ) for X compact and Hausdorff . 36 5.2. C 0(X ) for X locally compact and Hausdorff. 41 5.3. Stone-Cecˇ h compactification . 42 5.4. A(D) . 44 5.5. AC (Γ) . 46 5.6. H 1 . 47 ii iii Foreword The study of Banach algebras began in the twentieth century and originated from the observation that some Banach spaces show interesting properties when they can be supplied with an extra multiplication operation. A standard exam- ple was the space of bounded linear operators on a Banach space, but another important one was function spaces (of continuous, bounded, vanishing at infin- ity etc. functions as well as functions with absolutely convergent Fourier series). Nowadays Banach algebras is a wide discipline with a variety of specializations and applications.
    [Show full text]
  • Mathematical Tripos Part III Lecture Courses in 2013-2014
    Mathematical Tripos Part III Lecture Courses in 2013-2014 Department of Pure Mathematics & Mathematical Statistics Department of Applied Mathematics & Theoretical Physics Notes and Disclaimers. • Students may take any combination of lectures that is allowed by the timetable. The examination timetable corresponds to the lecture timetable and it is therefore not possible to take two courses for examination that are lectured in the same timetable slot. There is no requirement that students study only courses offered by one Department. • The code in parentheses after each course name indicates the term of the course (M: Michaelmas; L: Lent; E: Easter), and the number of lectures in the course. Unless indicated otherwise, a 16 lecture course is equivalent to 2 credit units, while a 24 lecture course is equivalent to 3 credit units. Please note that certain courses are non-examinable, and are indicated as such after the title. Some of these courses may be the basis for Part III essays. • At the start of some sections there is a paragraph indicating the desirable previous knowledge for courses in that section. On one hand, such paragraphs are not exhaustive, whilst on the other, not all courses require all the pre-requisite material indicated. However you are strongly recommended to read up on the material with which you are unfamiliar if you intend to take a significant number of courses from a particular section. • The courses described in this document apply only for the academic year 2013-14. Details for subsequent years are often broadly similar, but not necessarily identical. The courses evolve from year to year.
    [Show full text]
  • Spectral Theory
    SPECTRAL THEORY EVAN JENKINS Abstract. These are notes from two lectures given in MATH 27200, Basic Functional Analysis, at the University of Chicago in March 2010. The proof of the spectral theorem for compact operators comes from [Zim90, Chapter 3]. 1. The Spectral Theorem for Compact Operators The idea of the proof of the spectral theorem for compact self-adjoint operators on a Hilbert space is very similar to the finite-dimensional case. Namely, we first show that an eigenvector exists, and then we show that there is an orthonormal basis of eigenvectors by an inductive argument (in the form of an application of Zorn's lemma). We first recall a few facts about self-adjoint operators. Proposition 1.1. Let V be a Hilbert space, and T : V ! V a bounded, self-adjoint operator. (1) If W ⊂ V is a T -invariant subspace, then W ? is T -invariant. (2) For all v 2 V , hT v; vi 2 R. (3) Let Vλ = fv 2 V j T v = λvg. Then Vλ ? Vµ whenever λ 6= µ. We will need one further technical fact that characterizes the norm of a self-adjoint operator. Lemma 1.2. Let V be a Hilbert space, and T : V ! V a bounded, self-adjoint operator. Then kT k = supfjhT v; vij j kvk = 1g. Proof. Let α = supfjhT v; vij j kvk = 1g. Evidently, α ≤ kT k. We need to show the other direction. Given v 2 V with T v 6= 0, setting w0 = T v=kT vk gives jhT v; w0ij = kT vk.
    [Show full text]
  • Adiabatic Limits and Renormalization in Quantum Spacetime
    DOTTORATO DI RICERCA IN MATEMATICA XXXII CICLO DEL CORSO DI DOTTORATO Adiabatic limits and renormalization in quantum spacetime Aleksei Bykov A.A. 2019/2020 Docente Guida/Tutor: Prof. D. Guido Relatore: Prof. G. Morsella Coordinatore: Prof. A. Braides Contents 1 Introduction 4 2 Doplicher-Fredenhagen-Roberts Quantum Spacetime 11 2.1 Construction and basic facts . 11 2.2 Quantum fields on the DFR QST and the role of Qµν . 12 2.2.1 More general quantum fields in DFR QST . 13 2.3 Optimally localised states and the quantum diagonal map . 17 3 Perturbation theory for QFT and its non-local generalization 21 3.1 Hamiltonian perturbation theory . 22 3.1.1 Ordinary QFT . 22 3.1.2 Non-local case: fixing HI ............................. 26 3.1.3 Hamiltonian approach: fixing Hint ........................ 35 3.2 Lagrangian perturbation theories . 38 3.3 Yang-Feldman quantizaion . 41 3.4 LSZ reduction . 41 4 Feynman rules for non-local Hamiltonian Perturbation theory 45 5 Lagrangian reformulation of the Hamiltonian Feynman rules 52 6 Corrected propagator 57 7 Adiabatic limit 61 7.1 Weak adiabatic limit and the LSZ reduction . 61 7.1.1 Existence of the weak adiabatic limit . 61 7.1.2 Feynman rules from LSZ reduction . 64 7.2 Strong adiabatic limit . 65 8 Renormalization 68 8.1 Formal renormalization . 68 8.2 The physical renormalization . 71 8.2.1 Dispersion relation renormalisation . 72 8.2.2 Field strength renormalization . 72 8.3 Conluding remarks on renormalisation . 73 9 Conclusions 75 9.1 Summary of the main results . 75 9.2 Outline of further directions .
    [Show full text]
  • The Periodic Table of N-Categories for Low Dimensions I: Degenerate Categories and Degenerate Bicategories Draft
    The periodic table of n-categories for low dimensions I: degenerate categories and degenerate bicategories draft Eugenia Cheng and Nick Gurski Department of Mathematics University of Chicago E-mail: [email protected], [email protected] July 2005 Abstract We examine the periodic table of weak n-categories for the low-dimensional cases. It is widely understood that degenerate categories give rise to monoids, doubly degenerate bicategories to commutative monoids, and degenerate bicategories to monoidal categories; however, to understand this correspondence fully we examine the totalities of such structures to- gether with maps between them and higher maps between those. Cate- gories naturally form a 2-category Cat so we take the full sub-2-category of this whose 0-cells are the degenerate categories. Monoids naturally form a category, but we regard this as a discrete 2-category to make the comparison. We show that this construction does not yield a biequiva- lence; to get an equivalence we ignore the natural transformations and consider only the category of degenerate categories. A similar situation occurs for degenerate bicategories. The tricategory of such does not yield an equivalence with monoidal categories; we must consider only the cate- gories of such structures. For doubly degenerate bicategories the tricate- gory of such is not naturally triequivalent to the category of commutative monoids (regarded as a tricategory). However in this case considering just the categories does not give an equivalence either; to get an equivalence we consider the bicategory of doubly degenerate bicategories. We conclude with a hypothesis about how the above cases might generalise for n-fold degenerate n-categories.
    [Show full text]
  • MAT 449 : Representation Theory
    MAT 449 : Representation theory Sophie Morel December 17, 2018 Contents I Representations of topological groups5 I.1 Topological groups . .5 I.2 Haar measures . .9 I.3 Representations . 17 I.3.1 Continuous representations . 17 I.3.2 Unitary representations . 20 I.3.3 Cyclic representations . 24 I.3.4 Schur’s lemma . 25 I.3.5 Finite-dimensional representations . 27 I.4 The convolution product and the group algebra . 28 I.4.1 Convolution on L1(G) and the group algebra of G ............ 28 I.4.2 Representations of G vs representations of L1(G) ............. 33 I.4.3 Convolution on other Lp spaces . 39 II Some Gelfand theory 43 II.1 Banach algebras . 43 II.1.1 Spectrum of an element . 43 II.1.2 The Gelfand-Mazur theorem . 47 II.2 Spectrum of a Banach algebra . 48 II.3 C∗-algebras and the Gelfand-Naimark theorem . 52 II.4 The spectral theorem . 55 III The Gelfand-Raikov theorem 59 III.1 L1(G) ....................................... 59 III.2 Functions of positive type . 59 III.3 Functions of positive type and irreducible representations . 65 III.4 The convex set P1 ................................. 68 III.5 The Gelfand-Raikov theorem . 73 IV The Peter-Weyl theorem 75 IV.1 Compact operators . 75 IV.2 Semisimplicity of unitary representations of compact groups . 77 IV.3 Matrix coefficients . 80 IV.4 The Peter-Weyl theorem . 86 IV.5 Characters . 87 3 Contents IV.6 The Fourier transform . 90 IV.7 Characters and Fourier transforms . 93 V Gelfand pairs 97 V.1 Invariant and bi-invariant functions .
    [Show full text]