DOCSLIB.ORG

3D Holography: from Discretum to Continuum

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
3D Holography: from Discretum to Continuum 3D Holography: from discretum to continuum Bianca Dittrich (Perimeter Institute) V. Bonzom, B. Dittrich, to appear V. Bonzom, B.Dittrich, S. Mizera, A. Riello, w.i.p. ILQGS Sep 2015 1 Overview 1.Is quantum gravity fundamentally holographic? 2.Continuum: dualities for 3D gravity. 3.Regge calculus. 4.Computing the 3D partition function in Regge calculus. One loop correction. Boundary fluctuations. 2 1 1 S = d3xpgR d2xphK −16⇡G − 8⇡G Z Z@ 1 M β M = Ar(torus) r=1 = no ↵ dependence (0.217) sol −8⇡G | −4G 1 1 S = d3xpgR d2xphK −16⇡G − 8⇡G dt Z Z@ ln det(∆ m2)= 1 d3xK(t,1 x, x)M β(0.218)M − − 0 t = Ar(torus) r=1 = no ↵ dependence (0.217) Z Z sol −8⇡G | −4G 1 K = r dt Is quantum gravity fundamentallyln det(∆ m2)= holographic?1 d3xK(t, x, x) (0.218) i↵ − − t q = e Z0 (0.219)Z • In the last years spin1 foams have made heavily use of the K = r Generalized Boundary Formulation [Oeckl 00’s +, Rovelli, et al …] Region( bdry) i↵ (0.220) • Encodes dynamicsA into amplitudes associated to (generalized)q = e space time regions. (0.219) (0.221) bdry ( ) (0.220) ARegion bdry boundary -should satisfy (the dualized) Wheeler de Witt equation Hilbert space -gives no boundary (Hartle-Hawking) wave function • This looks ‘holographic’. However in the standard formulation one has the gluing axiom: ‘Gluing axiom’: essential to get more complicated from simpler amplitudes Amplitude for bigger region = glued from amplitudes for smaller regions This could be / is also called ‘locality axiom’. 3 35 35 Gluing / Locality axiom: problems in the discrete Assumes ‘gluing axiom’: needed to get more complicated from simpler amplitudes Amplitude for bigger region = glued from amplitudes for smaller regions Amplitude for more complicated boundary state = Integrating over data glued from amplitudes for less associated to discretization complicated boundary state misses out on most of the continuum data. Even on the However this gluing axiom does not hold in necessary discrete data the discrete: (depending on boundary discretization). Restricting to discretization we never obtain a full resolution of identity for the continuum Hilbert space. (This leads eventually to non-local amplitudes if one wants to represent continuum physics.) Gluing axiom / Locality axiom does not hold in the discrete. [e.g. Bahr, BD, He NJP 11 ] 4 The consistent boundary formalism [BD12, BD14, BD to appear] We do not assume “gluing axiom” (as fundamental). However we need a principle to connect amplitudes for less complicated and more complicated boundary data. Main Idea: A “discretization” just determines the wave function for a small subset of the degrees of freedom. All other degrees of freedom are put into the simplest state = vacuum state. Generalization of inductive Hilbert space techniques used in LQG. [Ashtekar, Isham, Lewandowski, …] Main Challenge: Be consistent - observables should not depend on choice of discrete structure, which is used to compute it. 5 j j j1 j2 j3 hcurve1 hcurve2 hcurve3 0 (0.195) | i hj1 hj2 hj3 0 (0.195) curve1 curve2 curve3 | i j exp(↵ iE )exp(↵ iE )exp(↵ iE ) 0 (0.196) 3 surf3 2 surf2 1 surf1 | i exp(↵3iEsurf3 )exp(↵2iEsurf2 )exp(↵1iEsurf1 ) 0 (0.196) j1 j2 j3 | i j1 j2 j3 hcurveVol1 hcurve2 hcurve3 0 (0.195) node | i j1 j2 j3 ↵1 ↵2 ↵3 Volnode ↵1 ↵2 ↵3 exp(↵3iEsurf3 )exp(↵2iEsurf2 )exp(↵1iEsurf1 ) 0 (0.196) ( hcurve )=1 | i { } j j j 1 2 3 ( hcurve )=1 Volnode { } ( hloops )= δ(hloops) ↵1 ↵2 ↵3 { } loops Q ( hloops )= δ(hloops) { } loopsi out in = out(@outconf 1) exp( S(conf 1)) in(@inconf 1) + ( hcurve )=1 h |P| i Q~ { } i i out(@outconf 2)out exp( inS(conf= 2)) outin((@@outinconfconf 2) 1) + exp(... S(conf(0.197) 1)) in(@inconf 1) + h |P|~ i ~ i ( hloops )= loops δ(hloops) { } in out out(@outconf 2) exp( S(conf 2)) in(@inconf 2) + ... (0.197) ~ Q i in out out in = out(@out conf= 1) exp( S(conf 1)) in(@inconf 1) + h |P| i P ~ i out(@outPconf 2) exp( S(conf 2)) in(@inconf 2) + ... (0.197) HFock ~ = P in out gµ⌫(t, x), φ(t, x) P ? ? Fock H H = gµ⌫(t, x), φ(t, x) P ? ? = (0.198) P H P ◦ P P HFock How to express the continuum dynamics [BD NJP 12, BD 14] g (t, x), φ(t, x) = (0.198) µ⌫ ( )= P ◦ P P (0.199) ? ? Avac out h out|P|;i H Boundary Hilbert space Boundary Hilbert space with low complexity with high complexity wave functions wave functions = low com( )(0.198) vac( out)= out (0.200) (0.199) P ◦ P P Avac low com A h |P|…;i embedding of embedding of boundary highboundary com low com vac( out)= out ( high com(0.199)) vac ( low com) (0.201) (0.200) A h Hilbert|P| ;ispaces AvacHilbert spaces A restricts to low com med com high com … ( low com) vac ( med com)(0.200) ( )(0.202) (0.201) Avac A Avac high com (cylindrical) consistency condition 32 med com( ) (0.202) Avac med com A (complete) family of consistent amplitudes defines a theory* of quantum gravity. 32 * Corresponds to a complete renormalization trajectory, with scale given by complexity parameter. 32 6 [BD NJP 12, BD 14] The consistent boundary formalism • We now only refer to boundary: fundamentally holographic formulation? • Question: What can we say about boundary ‘dynamics’? • Even in the case of a topological field theory, where we may have a chance to compute the boundary amplitudes in general? • Relation to AdS/CFT , Flat/CFT or dS/CFT? 7 (Further) Motivation Aim: Provide a concrete model for holography, that connects non-perturbative and / or discrete approaches to the continuum. Strategy: Work with an explicit realization of 3D (quantum) gravity. Puzzle: [Carlip] 3D gravity is topological. Degrees of freedom can be captured by discretization, in a discretization independent way. How does on obtain a (conformal) field theory from this theory? Further motivation (and an invitation): [Freidel 08] Using dualities in non-perturbative approaches? Need to develop a strategy: Questions: Can we do finite boundary? Not AdS? Work with (auxiliary) discretization? 8 Continuum theory: Thermal flat 3D space 9 3D gravity - CFT correspondence • [86 Brown-Henneaux] central extension of asymptotic charge algebra (AdS) • [Maldacena 97, …] AdS-CFT • in 3D in particular application to BTZ black holes [Strominger 97, Carlip,…] • [Giombi-Maloney-Yin 08] one-loop partition function reproduces character of Virasoro algebra • One-loop partition function is exact. Extension to flat space? • [06 Barnich-Compere, … ,Barnich et al] central extension of asymptotic charge algebra for flat case (BMS group at null infinity ) • [15 Barnich-Gonzalez-Maloney-Oblak] one-loop partition function reproduces character of BMS group [15 Oblak] review of continuum computation of one-loop partition function 10 1 1 S = d3xpgR d2xphK −16⇡G − 8⇡G Z Z@ 1 M β M . 2 3 = Ar(torus) r=1 = no ↵ dependence (0.217) T . sol −8⇡G | −4G Z . = AdS / ) 3 β i H 2 M + T @ Thermal AdS ✓ ( ⇡ dt is a 1 1 2 3 Thermal2 2spinning flat space I The easiest case to start with is the one in which @ = T . ln det(∆ m )= d xK(t, x, x) (0.218) = M M − − 0 t @ The simplest manifold with such boundary is Thermal⌧ AdS3. Z Z Take Euclidean AdS3 ) 1 φ =0 ✓ K = 2 2 2 2 2 2 r 2 2 2 2 2 2 2 2 ds = cosh ⇢dt + d⇢ +sinh+ ⇢dφ ds = dx + dx + dx = dt + dr + r dφ 2 t 1 2 3 φ φ , with the identification (t, φ) (t + β, φ + ✓) One-loop partition functions of 3D gravity d ⇠β ⇢ periodic identification: As a quotient, this is just with modulus The boundary + r = const = R β : Inverse temperature, 2 ✓ : Angular potential i↵ t I I ( q = e (0.219) (t, r, φ) (t + β,r,φ+ ↵) ⇠ Angular potential ) : +sinh φ =0 ⇠ φ ✓ , I The resulting space2 is a solid torus with a metric of constant t ⇢ , Simone Giombi ( inverse temperature and angular potential: d negative curvature t 3 moduli parameter for the (boundary) torus + r = const = R 2 2 AdS I The boundary @ is a T Region( bdry) (0.220) dt ⇢ M 1 A with modulus ⌧ = (✓ + if β). 2 2⇡ I As a quotient, this is just H3/Z. Want to study partition function: AdS = cosh Inverse temperature negative curvature The resulting space is a solid torus with a metric of constant The simplest manifold with such boundary is Thermal The easiest case to start with is the one in which 2 : 1 (0.221) I I Simone Giombi One-loop partition functions of 3D gravity bdry β with the identification ds Take Euclidean Z(β, ↵)= g exp( SE) [Pictures: Giombi] D − Z ~ Thermal This is expected to reproduce: Boundary Hamiltonian and angular momentum βH i↵J ZVira =Tre− − (0.222) 11 35 ⌧I (σ) lattice constant a any length ( b)= Xb ( b ,b ) ( ) (0.211) A D i A 1 i A b2,bi Z 2⇡ k s xk,n = e− N · xs,n (0.212) s X (2) 1 S = S(k, n, n0) rescaled 2N k,n,nX0 S(k, n, n0)=rk,nr k,n ∆(k) δ(n, n0)+dk,nd k,n ∆(k) δ(n, n0)+ − 0 − 0 (rk,nd k,n + dk,nr k,n )( ∆(k) + 2a) δ(n, n0) − 0 − 0 − ik↵ − rk,nd k,n 2a δ(n, n0 + 1) (1 + δn,0(e− 1)) − 0 ik↵ − − dk,nr k,n 2a δ(n, n0 1) (1 + δn ,0(e 1)) − 0 − 0 − − N (tnr0,n0 + r0,ntn0 )2a δ(n, n0) (0.213) ∆(k) =2 2 cos( 2⇡ k) , 2a =2 2 cos( 2⇡ ) (0.214) − N − N 2a Sdd(k, n, n0)=dk,nd k,n 2a 1 2δ(n, n0) δ(n, n0 + 1) δ(n, n0 1) + − 0 − ∆(k) − − − ✓ ◆✓ ik↵ ik↵ δ(n0, 1)δ(n, 0)(e− 1) δ(n, 1)δ(n0, 0)(e 1) − − − − − − ◆ 2 10 e ik↵ − ··· − − 12 1 0 det 0 − − ··· 1 =2 2 cos(k↵) (0.215) − ··· ··· ··· ··· ··· B eik↵ 0 12C B− ··· − C ↵ =0 @ A 1 1 1 1 2a − 1 = 1 ik↵ ik↵ det(Mred) N 2a − ∆(k) (1 e )(1 e− ) 2 k (N 1)/2 ✓ ◆ 1 3 1 2 Y− − − S = d xpgR d xphK −16⇡G − 8⇡G @ p 1 Thermal AdS1 1 ZM Z M = p4 2a 1 β Classical limit: Action evaluatedik↵ ikon↵ solution 2 = Ar(torus) r=1 = no ↵ dependence (0.217) N − I The easiest2a (1 case toe start)(1 withe− is the) one in which @ = T .
Load more

Recommended publications
  • Notes on Categorical Logic
    Notes on Categorical Logic Anand Pillay & Friends Spring 2017 These notes are based on a course given by Anand Pillay in the Spring of 2017 at the University of Notre Dame. The notes were transcribed by Greg Cousins, Tim Campion, L´eoJimenez, Jinhe Ye (Vincent), Kyle Gannon, Rachael Alvir, Rose Weisshaar, Paul McEldowney, Mike Haskel, ADD YOUR NAMES HERE. 1 Contents Introduction . .3 I A Brief Survey of Contemporary Model Theory 4 I.1 Some History . .4 I.2 Model Theory Basics . .4 I.3 Morleyization and the T eq Construction . .8 II Introduction to Category Theory and Toposes 9 II.1 Categories, functors, and natural transformations . .9 II.2 Yoneda's Lemma . 14 II.3 Equivalence of categories . 17 II.4 Product, Pullbacks, Equalizers . 20 IIIMore Advanced Category Theoy and Toposes 29 III.1 Subobject classifiers . 29 III.2 Elementary topos and Heyting algebra . 31 III.3 More on limits . 33 III.4 Elementary Topos . 36 III.5 Grothendieck Topologies and Sheaves . 40 IV Categorical Logic 46 IV.1 Categorical Semantics . 46 IV.2 Geometric Theories . 48 2 Introduction The purpose of this course was to explore connections between contemporary model theory and category theory. By model theory we will mostly mean first order, finitary model theory. Categorical model theory (or, more generally, categorical logic) is a general category-theoretic approach to logic that includes infinitary, intuitionistic, and even multi-valued logics. Say More Later. 3 Chapter I A Brief Survey of Contemporary Model Theory I.1 Some History Up until to the seventies and early eighties, model theory was a very broad subject, including topics such as infinitary logics, generalized quantifiers, and probability logics (which are actually back in fashion today in the form of con- tinuous model theory), and had a very set-theoretic flavour.
    [Show full text]
  • Arxiv:2012.08669V1 [Math.CT] 15 Dec 2020 2 Preface
    Sheaf Theory Through Examples (Abridged Version) Daniel Rosiak December 12, 2020 arXiv:2012.08669v1 [math.CT] 15 Dec 2020 2 Preface After circulating an earlier version of this work among colleagues back in 2018, with the initial aim of providing a gentle and example-heavy introduction to sheaves aimed at a less specialized audience than is typical, I was encouraged by the feedback of readers, many of whom found the manuscript (or portions thereof) helpful; this encouragement led me to continue to make various additions and modifications over the years. The project is now under contract with the MIT Press, which would publish it as an open access book in 2021 or early 2022. In the meantime, a number of readers have encouraged me to make available at least a portion of the book through arXiv. The present version represents a little more than two-thirds of what the professionally edited and published book would contain: the fifth chapter and a concluding chapter are missing from this version. The fifth chapter is dedicated to toposes, a number of more involved applications of sheaves (including to the \n- queens problem" in chess, Schreier graphs for self-similar groups, cellular automata, and more), and discussion of constructions and examples from cohesive toposes. Feedback or comments on the present work can be directed to the author's personal email, and would of course be appreciated. 3 4 Contents Introduction 7 0.1 An Invitation . .7 0.2 A First Pass at the Idea of a Sheaf . 11 0.3 Outline of Contents . 20 1 Categorical Fundamentals for Sheaves 23 1.1 Categorical Preliminaries .
    [Show full text]
  • Topological Quantum Field Theory with Corners Based on the Kauffman Bracket
    TOPOLOGICAL QUANTUM FIELD THEORY WITH CORNERS BASED ON THE KAUFFMAN BRACKET R˘azvan Gelca Abstract We describe the construction of a topological quantum field theory with corners based on the Kauffman bracket, that underlies the smooth theory of Lickorish, Blanchet, Habegger, Masbaum and Vogel. We also exhibit some properties of invariants of 3-manifolds with boundary. 1. INTRODUCTION The discovery of the Jones polynomial [J] and its placement in the context of quantum field theory done by Witten [Wi] led to various constructions of topological quantum field theories (shortly TQFT's). A first example of a rigorous theory which fits Witten's framework has been produced by Reshetikhin and Turaev in [RT], and makes use of the representation theory of quantum deformations of sl(2; C) at roots of unity (see also [KM]). Then, an alternative construction based on geometric techniques has been worked out by Kohno in [Ko]. A combinatorial approach based on skein spaces associated to the Kauffman bracket [K1] has been exhibited by Lickorish in [L1] and [L2] and by Blanchet, Habegger, Masbaum, and Vogel in [BHMV1]. All these theories are smooth, in the sense that they define invariants satisfying the Atiyah-Segal set of axioms [A], thus there is a rule telling how the invariants behave under gluing of 3-manifolds along closed surfaces. In an attempt to give a more axiomatic approach to such a theory, K. Walker described in [Wa] a system of axioms for a TQFT in which one allows gluings along surfaces with boundary, a so called TQFT with corners. This system of axioms includes the Atiyah-Segal axioms, but works for a more restrictive class of TQFT's.
    [Show full text]
  • On Different Geometric Formulations of Lagrangian Formalism
    Published in Differential Geom. Appl., 10 n. 3 (1999), 225–255 Version with some corrections/improvements On different geometric formulations of Lagrangian formalism Raffaele Vitolo1 Dept. of Mathematics “E. De Giorgi”, Universit`adi Lecce, via per Arnesano, 73100 Italy email: [email protected] Abstract We consider two geometric formulations of Lagrangian formalism on fibred manifolds: Krupka’s theory of finite order variational sequences, and Vinogradov’s infinite order variational sequence associated with the C–spectral sequence. On one hand, we show that the direct limit of Krupka’s variational bicomplex is a new infinite order variational bicomplex which yields a new infinite order variational sequence. On the other hand, by means of Vinogradov’s C–spectral sequence, we provide a new finite order variational sequence whose direct limit turns out to be the Vinogradov’s infinite order variational sequence. Finally, we provide an equivalence of the two finite order and infinite order variational sequences up to the space of Euler–Lagrange morphisms. Key words: Fibred manifold, jet space, infinite order jet space, variational bicomplex, variational sequence, spectral sequence. 1991 MSC: 58A12, 58A20, 58E30, 58G05. 1 This paper has been partially supported by Fondazione F. Severi, INdAM ‘F. Severi’ through a senior research fellowship, GNFM of CNR, MURST, University of Florence. 1 2 On formulations of Lagrangian formalism Introduction The theory of variational bicomplexes can be regarded as the natural geometrical set- ting for the calculus of variations [1, 2, 10, 11, 15, 19, 20, 21, 22, 23, 24]. The geometric objects which appear in the calculus of variations find a place on the vertices of a varia- tional bicomplex, and are related by the morphisms of the bicomplex.
    [Show full text]
  • Sheaf Theory 1 Introduction and Definitions
    Sheaf Theory Tom Lovering September 24, 2010 Abstract In this essay we develop the basic idea of a sheaf, look at some simple examples and explore areas of mathematics which become more transpar- ent and easier to think about in light of this new concept. Though we attempt to avoid being too dependent on category theory and homological algebra, a reliance on the basic language of the subject is inevitable when we start discussing sheaf cohomology (but by omitting proofs when they become too technical we hope it is still accessible). 1 Introduction and Denitions Mathematics is a curious activity. Most of us probably see it as some giant blob of knowledge and understanding, much of which is not yet understood and maybe never will be. When we study mathematics we focus on a certain `area' together with some collection of associated theorems, ideas and examples. In the course of our study it often becomes necessary to restrict our study to how these ideas apply in a more specialised area. Sometimes they might apply in an interesting way, sometimes in a trivial way, but they will always apply in some way. While doing mathematics, we might notice that two ideas which seemed disparate on a general scale exhibit very similar behaviour when applied to more specic examples, and eventually be led to deduce that their overarching essence is in fact the same. Alternatively, we might identify similar ideas in several dierent areas, and after some work nd that we can indeed `glue them together' to get a more general theory that encompasses them all.
    [Show full text]
  • Gluing I: Integrals and Symmetries
    Prepared for submission to JHEP CALT-TH 2018-024 Gluing I: Integrals and Symmetries Mykola Dedushenko1 1Walter Burke Institute for Theoretical Physics, California Institute of Technology, Pasadena, CA 91125, USA E-mail: [email protected] Abstract: We review some aspects of the cutting and gluing law in local quantum field theory. In particular, we emphasize the description of gluing by a path integral over a space of polarized boundary conditions, which are given by leaves of some Lagrangian foliation in the phase space. We think of this path integral as a non-local (d − 1)-dimensional gluing theory associated to the parent local d-dimensional theory. We describe various properties of this procedure and spell out conditions under which symmetries of the parent theory lead to symmetries of the gluing theory. The purpose of this paper is to set up a playground for the companion paper where these techniques are applied to obtain new results in supersymmetric theories. arXiv:1807.04274v2 [hep-th] 25 Jul 2018 Contents 1 Introduction1 1.1 Addressing possible concerns5 1.2 What we really do6 1.3 The structure of this paper7 2 Quantum mechanics8 2.1 Polarization and geometric quantization8 2.2 Path integral description and polarized boundary conditions 10 2.2.1 A remark on choices 15 2.3 Gluing and symmetry 15 2.3.1 Anomaly inflow 18 2.4 Gauge theories 18 2.5 Analytic continuation and the space-time signature 21 3 Elementary illustrative examples 25 3.1 Scalar fields 26 3.1.1 Free fields 27 3.2 Spinor fields 27 3.3 A pure gauge theory 28 3.3.1 Free fields 31 3.4 Gluing by anomalous theory and the inflow 31 3.5 Gluing despite global anomaly 32 4 Discussion and future directions 32 A Path integral derivation of the Main Lemma 35 A.1 Gluing and symmetries 37 B Wick rotation in phase space: harmonic oscillator 39 1 Introduction Local quantum field theories are our main theoretical tool in high energy physics.
    [Show full text]
  • Arxiv:1701.01374V3 [Math.AT] 28 Mar 2019 Ipefr.Tefloigtbepeet Hsanalogy: This Presents Table Following Categories Par the from Functors in Form
    SIX OPERATIONS FORMALISM FOR GENERALIZED OPERADS BENJAMIN C. WARD Abstract. This paper shows that generalizations of operads equipped with their respective bar/cobar dualities are related by a six operations formalism analogous to that of classical contexts in algebraic geometry. As a consequence of our constructions, we prove intertwining theorems which govern derived Koszul duality of push-forwards and pull-backs. Contents 1. Introduction. 1 2. Categorical six operations formalism. 6 3. Quillen adjunctions from morphisms of Feynman categories. 7 4. The functor L!. 10 5. The functor R!. 16 6. Quadratic intertwining and Manin products. 18 7. Six operations formalisms. 22 8. Verdier duality is Koszul duality 25 9. Examples. 27 Appendix A. Feynman categories reference guide. 35 References 38 1. Introduction. The crux of the homotopical algebra of dg algebras and operads is the property of cofi- brancy. To produce explicit cofibrant resolutions of these objects one may use the bar/cobar constructions, either by a single application to a Koszul dual object or by double application in general. By the “Feynman transform” we refer to a generalization of the bar/cobar construc- tion which may be applied within categories of dg operads, cyclic operads, modular operads, dioperads, properads, etc, and we will denote the Feynman transform by D (a notational arXiv:1701.01374v3 [math.AT] 28 Mar 2019 choice suggested by the results of this paper). We will refer to application of the Feynman transform as (derived) Koszul duality. The mantra of this paper holds that it is desirable to consider Koszul duality not as an aspect of these categories separately, but rather as a construction which intertwines the re- lationships (i.e.
    [Show full text]
  • Sheaves MAT4215 — Vår 2015 Sheaves
    Notes 1—Sheaves MAT4215 — Vår 2015 Sheaves Warning: Version prone to errors. Version 0.07—lastupdate:3/28/1510:46:24AM The concept of a sheaf was conceived in the German camp for prisoners of war called Oflag XVII where French officers taken captive during the fighting in France in the spring 1940 were imprisoned. Among them was the mathematician and lieutenant Jean Leray. In the camp he gave a course in algebraic topology (!!) during which he introduced some version of the theory of sheaves. He was aimed at calculating the cohomology of a total space of a fibration in terms of invariants of the base and the fibres (and naturally the fibration). To achieve this in addition to the concept of sheaves, he invented spectral sequences. After the war Henri Cartan and Jean Pierre Serre developed the theory further, and finally the theory was brought to the state as we know it today by Alexandre Grothendieck. Definition of presheaves Let X be a topological space. A presheaf (preknippe) of abelian groups on X consists of two sets of data: Sections over open sets: For each open set U X an abelian group F (U),also ⇤ ✓ written Γ(U, F ). The elements of F (U) are called sections (seksjoner) of F over U. Restriction maps: For every inclusion V U of open sets in X agrouphomo- ⇤ ✓ morphism ⇢U : F (U) F (V ) subjected to the conditions V ! ⇢U = ⇢V ⇢U W W ◦ V for all sequences W V U of inclusions of open sets in X. The maps ⇢U are ✓ ✓ V called restriction maps (restriksjonsavbildninger) and if s is a section over U,the U restriction ⇢ (s) is often written as s V .
    [Show full text]
  • Perry Hart Homotopy and K-Theory Seminar Talk #15 November 12, 2018
    Perry Hart Homotopy and K-theory seminar Talk #15 November 12, 2018 Abstract We begin higher Waldhausen K-theory. The main sources for this talk are Chapter 8 of Rognes, Chapter IV.8 of Weibel, and nLab. For the original development, see Friedhelm Waldhausen’s Algebraic K-theory of spaces (1985), 318-419. Remark 1. Let C be a Waldhausen category. Our goal is to construct the K-theory K(C ) of C as a based loop space ΩY endowed with a loop completion map ι : |wC | → K(C ) where wC denotes the subcategory of weak equivalences. This will produce a function ob C → |wC | → ΩY . Further, we’ll require of K(C ) certain limit and coherence properties, eventually rendering K(C ) the underlying infinite loop space of a spectrum K(C ), called the algebraic K-theory spectrum of C . Definition. Let C be a category equipped with a subcategory co(C ) of morphisms called cofibrations. The pair (C , coC ) is a category with cofibrations if the following conditions hold. 1. (W0) Every isomorphism in C is a cofibration. 2. (W1) There is a base point ∗ in C such that the unique morphism ∗ A is a cofibration for any A ∈ ob C . 3. (W2) We have a cobase change A B . C B ∪A C ` Remark 2. We see that B C always exists as the pushout B ∪∗ C and that the cokernel of any i : A B B exists as B ∪A ∗ along A → ∗. We call A B A a cofiber sequence. Definition. A Waldhausen category C is a category with cofibrations together with a subcategory wC of morphisms called weak equivalences such that every isomorphism in C is a w.e.
    [Show full text]
  • Hunting for Foxes with Sheaves
    Hunting for Foxes with Sheaves Michael Robinson Introduction Michael Robinson is an Associate Professor in the Department of Mathemat- To a radio amateur (or “ham”), fox hunting has nothing ics and Statistics at American University. His email address is michaelr to do with animals. It is a sport in which individuals race @american.edu. All figures can be reproduced using The Jupyter Notebook at: https://github For permission to reprint this article, please contact: .com/kb1dds/foxsheaf. [email protected]. Communicated by Notices Associate Editor Emilie Purvine. DOI: https://doi.org/10.1090/noti1867 MAY 2019 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY 661 each other to locate a hidden radio transmitter on a known We are left with the need for a general deterministic frequency. Since hams are encouraged to design and build method for finding the fox from a small number ofmea- their own equipment, the typical fox hunt involves a vari- surements. This article explains how to meet this need us- ety of different receivers and antennas with different ca- ing sheaves, mathematical objects that describe local consis- pabilities. Some of these can display the received signal tency within data. We can perform data fusion for any sheaf, strength from the hidden transmitter (loosely measuring though the fox hunting problem will guide our selection distance to the transmitter), while others estimate the com- of the specific sheaf we need and will be the context for pass bearing. Both of these estimates vary in accuracy and its interpretation. The resulting fox hunting sheaf is mod- in precision depending on terrain, environmental condi- ular; different sensors or models of their performance can tions, equipment quality, and the skill of the operator.
    [Show full text]
  • Sheaf Cohomology
    Sheaf Cohomology Andrew Kobin Fall 2018 Contents Contents Contents 0 Introduction 1 1 Presheaves and Sheaves on a Topological Space 2 1.1 Presheaves . .2 1.2 Sheaves . .3 1.3 The Category of Sheaves . .4 1.4 Etale´ Space and Sheafification . 10 2 Cechˇ Cohomology 15 2.1 The Mittag-Leffler Problem . 15 2.2 The Cechˇ Complex and Cechˇ Cohomology . 18 3 Sheaf Cohomology 22 3.1 Derived Functors and Cohomology . 22 3.2 Sheaf Cohomology . 24 3.3 Direct and Inverse Image . 27 3.4 Acyclic Sheaves . 37 3.5 De Rham Cohomology . 42 4 Scheme Theory 44 4.1 Affine Schemes . 44 4.2 Schemes . 46 4.3 Properties of Schemes . 48 4.4 Sheaves of Modules . 49 4.5 The Proj Construction . 52 A Category Theory 53 A.1 Representable Functors . 53 A.2 Adjoint Functors . 55 A.3 Limits and Colimits . 58 A.4 Abelian Categories . 60 A.5 Grothendieck Topologies and Sites . 61 i 0 Introduction 0 Introduction These notes follow a course on sheaf theory in topology and algebraic geometry taught by Dr. Andrei Rapinchuk at the University of Virginia in Fall 2018. Topics include: Basic presheaf and sheaf theory on a topological space Some algebraic geometry Sheaf cohomology Applications to topology and algebraic geometry. The main references are Godement's original 1958 text Topologie Alg´ebriqueet Th´eorie des Faisceaux, Wedhorn's Manifolds, Sheaves and Cohomology, Bredon's Sheaf Theory and Hartshorne's Algebraic Geometry. 1 1 Presheaves and Sheaves on a Topological Space 1 Presheaves and Sheaves on a Topological Space In this chapter, we describe the theory of presheaves and sheaves on topological spaces.
    [Show full text]
  • Lectures on Tensor Categories and Modular Functors
    See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/246674454 Lectures on tensor categories and modular functors ARTICLE CITATIONS READS 402 279 2 AUTHORS, INCLUDING: Bojko Bakalov North Carolina State University 40 PUBLICATIONS 956 CITATIONS SEE PROFILE Available from: Bojko Bakalov Retrieved on: 05 February 2016 University LECTURE Series Volume 21 Lectures on Tensor Categories and Modular Functors Bojko Bakalov Alexander Kirillov, Jr. M THE ATI A CA M L ΤΡΗΤΟΣ ΜΗ N ΕΙΣΙΤΩ S A O C C I I R E E T ΑΓΕΩΜΕ Y M A F O 8 U 88 NDED 1 American Mathematical Society Providence, Rhode Island Contents Introduction 1 Chapter 1. Braided Tensor Categories 9 1.1. Monoidal tensor categories 9 1.2. Braided tensor categories 15 1.3. Quantum groups 19 1.4. Drinfeld’s category 21 Chapter 2. Ribbon Categories 29 2.1. Rigid monoidal categories 29 2.2. Ribbon categories 33 2.3. Graphical calculus for morphisms 35 2.4. Semisimple categories 44 Chapter 3. Modular Tensor Categories 47 3.1. Modular tensor categories 47 3.2. Example: Quantum double of a finite group 59 3.3. Quantum groups at roots of unity 62 Chapter 4. 3-Dimensional Topological Quantum Field Theory 71 4.1. Invariants of 3-manifolds 71 4.2. Topological quantum field theory 76 4.3. 1+1 dimensional TQFT 78 4.4. 3D TQFT from MTC 82 4.5. Examples 87 Chapter 5. Modular Functors 93 5.1. Modular functors 93 5.2. The Lego game 99 5.3. Ribbon categories via the Hom spaces 108 5.4.
    [Show full text]