Lecture 15: Duality. Next we spell out the answer to Exercise It is part of the definition of a TQFT.
|
|
- Peregrine Ward
- 5 years ago
- Views:
Transcription
1 Lecture 15: Duality We ended the last lecture by introducing one of the main characters in the remainder of the course, a topological quantum field theory (TQFT). At this point we should, of course, elaborate on the definition and give examples, background, motivation, etc. I will not do so in these notes. Instead I refer you to the expository paper [F1] as well as to the beginning sections of [L1]. There are many other references with great expository material. In this lecture we explore the finiteness property satisfied by a TQFT, which is encoded via duality in symmetric monoidal categories. Some categorical preliminaries We begin with a standard notion which you ll find in any book which contains a chapter on categories, including books on category theory. Definition Let C,D be categories. A functor F: C D is an equivalence if there exist a functor G: D C, and natural isomorphisms G F id C and F G id D. Proposition A functor F : C D is an equivalence if and only if it satisfies: (i) For each d D there exist c C and an isomorphism ( f(c) d ) D; and (ii) For each c 1,c 2 C the map of hom-sets F: C(c 1,c 2 ) D ( F(c 1 ),F(c 2 ) ) is a bijection. If F satisfies (i) it is said to be essentially surjective and if it satisfies (ii) it is fully faithful. Exercise Prove Proposition Next we spell out the answer to Exercise It is part of the definition of a TQFT. Definition Let C,D be symmetric monoidal categories and F,G: C D symmetric monoidal functors. Then a symmetric monoidal natural transformation η: F G is a natural transformation such that the diagrams (15.5) F(1 C ) 1 D G(1C) η(1 C ) and (15.6) F(y 1 ) F(y 2 ) ψ η η F(y 1 y 2 ) η G(y 1 ) G(y 2 ) ψ G(y 1 y 2 ) commute for all y 1,y 2 C. Bordism: Old and New (M392C, Fall 12), Dan Freed, October 27,
2 2 D. S. Freed TQFT s as a symmetric monoidal category Fix a bordism category B = Bord X(n) and a symmetric monoidal category C. We now explain that topological quantum field theories F: B C are objects in a symmetric monoidal category. A morphism F G is as defined in Definition The monoidal product of theories F 1,F 2 is defined by (15.7) (F 1 F 2 )(Y) = F 1 (Y) F 2 (Y) (F 1 F 2 )(X) = F 1 (X) F 2 (X) for all objects Y B and morphisms (X: Y 0 Y 1 ) B. The tensor unit 1 is the trivial theory (15.8) 1(Y) = 1 C 1(X) = id 1C for all Y B and (X: Y 0 Y 1 ) B. We denote the symmetric monoidal category of TQFT s as (15.9) TQFT n = TQFTn X(n) [C] = Hom (Bord X(n),C). The short form of the notation is used if the tangential structure X(n) and codomain category C are clear. (15.10) Endomorphisms of the trivial theory. Suppose η: 1 1 in TQFT n. Then for all Y Bord X(n) we have η(y) C(1 C,1 C ) = End(1 C ). Note that if C = Ab is the category of abelian groups, then End(1 C ) = Z. So η is a numerical invariant of closed (n 1)-manifolds. Furthermore, if X: Y 0 Y 1 then by the naturality condition (13.18) we find that η(y 0 ) = η(y 1 ). This shows that η factors down to a homomorphism of monoids (15.11) η: Ω X(n) n 1 End(1 C). Now by Lemma 1.30, and its generalization to manifolds with tangential structure, we know that every element of Ω X(n) n 1 is invertible. It follows that the image of η consists of invertible elements. We say, simply, that η is invertible. In other words, an endomorphism of 1 is a bordism invariant of the type studied in the first half of the course. A topological quantum field theory, then, is a categorified bordism invariant. Exercise What is a topological quantum field theory whose codomain category has as objects the set of integers and only identity arrows? The invertibility observed in (15.10) is quite general. Theorem A morphism (η: F G) TQFT n is invertible. TQFT n is a groupoid. The two statements are equivalent. We prove Theorem at the end of this lecture.
3 Bordism: Old and New (Lecture 15) 3 (15.14) Central problem. Given a dimension n, a tangential structure X(n), and a codomain category C we can ask to compute the groupoid TQFTn X(n) [C]. This is a vague problem whose solution is an equivalent groupoid which is simpler than the groupoid of topological quantum field theories. It has a nice answer when n = 1. In the oriented case it is a generalization of the theorem that Ω SO 0 is the free abelian group with a single generator pt +. There is also a nice answer in the oriented case for n = 2. Finiteness in TQFT To motivate the abstract formulation of finiteness in symmetric monoidal categories, we prove the following simple proposition. For simplicity we omit any tangential structure. Proposition Let F: Bord Vect C be a TQFT. Then for all Y Bord the vector space F(Y) is finite dimensional.! Figure 26. Some elementary bordisms Figure 27. The S-diagram Proof. Fix Y Bord and let V = F(Y). Let c: n 1 Y Y and e: Y Y n 1 be the bordisms pictured in Figure 26. The manifold Y is depicted as a point, and each bordism has underlying manifold with boundary [0,1] Y. The composition depicted in Figure 27 is diffeomorphic to the identity bordism id Y : Y Y. Under F it maps to id V : V V (see (13.40)). On the other hand, the composition maps to (15.16) V id V F(c) V V V F(e) id V V Let the value of F(c): C V V on 1 C be v i v i for some finite set of vectors v i,v i V. i Then equating (15.16) with the identity map we find that for all ξ V we have (15.17) ξ = i e(ξ,v i)v i, and so the finite set of vectors {v i } spans V. This proves that V is finite dimensional. Exercise Prove that F(c) and F(e) are inverse bilinear forms.
4 4 D. S. Freed Duality data and dual morphisms We abstract the previous argument by singling out those objects in a symmetric monoidal category which obey a finiteness condition analogous to that of a finite dimensional vector space. Definition Let C be a symmetric monoidal category and y C. (i) Duality data for y is a triple of data (y,c,e) in which y is an object of C and c,e are morphisms c: 1 C y y, e: y y 1 C. We require that the compositions (15.20) y c idy y y idy e y y and (15.21) y id y c y y y e id y y be identity maps. If duality data exists for y, we say that y is dualizable. (ii) A morphism of duality data (y,c,e) (ỹ, c,ẽ) is a morphism y f ỹ such that the diagrams (15.22) y y c 1 C id y f c y ỹ and (15.23) y y e f id y 1 C ỹ y ẽ commute. c is called coevaluation and e is called evaluation. We now express the uniqueness of duality data. As duality data is an object in a category, as defined in Definition 15.19, we cannot say there is a unique object. Rather, here we have the strongest form of uniqueness possible in a category: duality data is unique up to unique isomorphism. Definition Let C be a category. (i) Ifforeach pairy 0,y 1 C thehom-setc(y 0,y 1 ) iseitherempty orcontains auniqueelement, we say that C is a discrete groupoid. (ii) If for each pair y 0,y 1 C the hom-set C(y 0,y 1 ) has a unique element, we say that C is contractible.
5 Bordism: Old and New (Lecture 15) 5 A discrete groupoid is equivalent to a set (Example 13.10). A contractible groupoid is equivalent to a category with one object and one morphism, the categorical analog of a point. Proposition Let C be a symmetric monoidal category and y C. Then the category of duality data for y is either empty or is contractible. The proof is a homework problem (Problem Set #2). A morphism between dualizable objects has a dual. Definition Let y 0,y 1 C be dualizable objects in a symmetric monoidal category and f: y 0 y 1 a morphism. The dual morphism f : y1 y 0 is the composition (15.27) y 1 id y 1 c 0 y 1 y 0 y 0 id y 1 f id y 0 y 1 y 1 y 0 e 1 id y 0 y 0 In the definition we choose duality data (y 0,c 0,e 0 ), (y 1,c 1,e 1 ) for y 0,y 1. Exercise Check that this definition agrees with that of a dual linear map for C = Vect. Also, spell out the consequence of Proposition for the dual morphism. Duality in bordism categories We already encountered dual manifolds and dual bordisms in Definition 1.22, Remark 1.24, and (2.20). In this subsection we prove the following. Theorem Every object in a bordism category Bord X(n) is dualizable. Proof. If X(n) is the trivial tangential structure BO(n) BO(n), so Bord X(n) = Bord is the bordism category of (unoriented) manifolds, then for any closed (n 1)-manifold Y we have Y = Y with coevaluation and evaluation as in Figure 26. In the general case, an object (Y,θ) Bord X(n) is a closed (n 1)-manifold Y equipped with a classifying map (15.30) R TY θ S(n) Y X(n) to the universal bundle (9.59); cf. (9.60). Its dual (Y,θ) = (Y,θ ) has the same underlying manifold and classifying map θ the composition (15.31) R TY 1 id TY R TY θ S(n) Y id Y Y X(n)
6 6 D. S. Freed The coevaluation and evaluation (X,p,θ 0,θ 1 ) are as depicted in Figure 26. In both cases X = [0,1] Y. For the coevaluation p: X {0,1} is the constant function 1, and for the evaluation it is the constant function 0. For the evaluation (15.32) θ 0 : [0,1) Y [0,1) Y [0,1] Y (t,y) (t/4, y) (t,y) (1 t/4,y) with natural lifts to the X(n)-structures. The formula for θ 1 for the coevaluation is similar. Exercise Write the map on X(n)-structures explicitly. Note the sign in the differential of the last formula in (15.32) matches the 1 in the first map of (15.31). Proof of Theorem We first prove the following. Proposition Let B,C be symmetric monoidal categories, F,G: B C symmetric monoidal functors, and y B dualizable. Then (i) F(y) C is dualizable. (ii) If η: F G is a symmetric monoidal natural transformation, then η(y): F(y) G(y) is invertible. Proof. If (y,c,e) is duality data for y, then ( F(y ),F(c),F(e) ) is duality data for F(y). This proves (i). For (ii) we claim that η(y ) is inverse to η(y). Note that by Definition 15.26, η(y ) is a map G(y ) F(y ), and since G(y ) = G(y) it may be interpreted as a map G(y) F(y). Let c: 1 B y y and e: y y 1 B be coevaluation and evaluation. Consider the diagram (15.35) G(y) id F(c) G(y) F(y ) F(y) id η(y ) id G(y) G(y ) F(y) G(e) id F(y) id G(c) id η(y ) η(y) id id η(y) G(y) G(y ) G(y) G(e) id η(y) G(y) We claim it commutes. The left triangle commutes due to the naturality of η applied to the coevaluation c: 1 B y y. The next triangle and the right square commute trivially. Now starting on the left, the composition along the top and then down the right is the composition η(y) η(y ). The composition diagonally down followed by the horizontal map is the identity, by G applied to the S-diagram relation (15.20) (and using (13.40)). A similar diagram proves that η(y ) η(y) = id. Theorem is an immediate consequence of Theorem and part (ii) of (11.71). Part (i) implies the following.
7 Bordism: Old and New (Lecture 15) 7 Theorem Let C be a symmetric monoidal category and F: Bord X(n) C be a topological quantum field theory. Then for all Y Bord X(n), the object F(Y) C is dualizable. References [F1] D. S. Freed, The cobordism hypothesis. [L1] Jacob Lurie, On the classification of topological field theories, Current developments in mathematics, 2008, Int. Press, Somerville, MA, 2009, pp arxiv:
Lecture 17: Invertible Topological Quantum Field Theories
Lecture 17: Invertible Topological Quantum Field Theories In this lecture we introduce the notion of an invertible TQFT. These arise in both topological and non-topological quantum field theory as anomaly
More informationA Taxonomy of 2d TQFTs
1 Section 2 Ordinary TFTs and Extended TFTs A Taxonomy of 2d TQFTs Chris Elliott October 28, 2013 1 Introduction My goal in this talk is to explain several extensions of ordinary TQFTs in two dimensions
More informationRemarks on Fully Extended 3-Dimensional Topological Field Theories
Remarks on Fully Extended 3-Dimensional Topological Field Theories Dan Freed University of Texas at Austin June 6, 2011 Work in progress with Constantin Teleman Manifolds and Algebra: Abelian Groups Pontrjagin
More informationRTG Mini-Course Perspectives in Geometry Series
RTG Mini-Course Perspectives in Geometry Series Jacob Lurie Lecture IV: Applications and Examples (1/29/2009) Let Σ be a Riemann surface of genus g, then we can consider BDiff(Σ), the classifying space
More informationThe Structure of Fusion Categories via Topological Quantum Field Theories
The Structure of Fusion Categories via Topological Quantum Field Theories Chris Schommer-Pries Department of Mathematics, MIT April 27 th, 2011 Joint with Christopher Douglas and Noah Snyder Chris Schommer-Pries
More informationManifolds, Higher Categories and Topological Field Theories
Manifolds, Higher Categories and Topological Field Theories Nick Rozenblyum (w/ David Ayala) Northwestern University January 7, 2012 Nick Rozenblyum (w/ David Ayala) Manifolds, Higher Categories and Topological
More information2-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS. Contents 1. The main theorem 1
2-DIMENSIONL TOPOLOGICL QUNTUM FIELD THEORIES ND FROBENIUS LGEBRS CROLINE TERRY bstract. Category theory provides a more abstract and thus more general setting for considering the structure of mathematical
More information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationGroupoid Representation Theory
Groupoid Representation Theory Jeffrey C. Morton University of Western Ontario Seminar on Stacks and Groupoids February 12, 2010 Jeffrey C. Morton (U.W.O.) Groupoid Representation Theory UWO Feb 10 1 /
More informationEXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY
EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY 1. Categories 1.1. Generalities. I ve tried to be as consistent as possible. In particular, throughout the text below, categories will be denoted by capital
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationCategory Theory. Categories. Definition.
Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling
More informationLOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT
LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT DENNIS GAITSGORY 1. Statement of the problem Throughout the talk, by a chiral module we shall understand a chiral D-module, unless explicitly stated
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationarxiv:math/ v1 [math.at] 5 Oct 1999
arxiv:math/990026v [math.at] 5 Oct 999 REPRESENTATIONS OF THE HOMOTOPY SURFACE CATEGORY OF A SIMPLY CONNECTED SPACE MARK BRIGHTWELL AND PAUL TURNER. Introduction At the heart of the axiomatic formulation
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More informationFormal Homotopy Quantum Field Theories and 2-groups.
Formal Homotopy Quantum Field Theories and 2-groups. ex-university of Wales, Bangor; ex-univertiy of Ottawa; ex-nui Galway, still PPS Paris, then...? All have helped! June 21, 2008 1 Crossed Modules, etc
More information1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.
MacLane: Categories or Working Mathematician 1 Categories, Functors, and Natural Transormations 1.1 Axioms or Categories 1.2 Categories Discrete categories. A category is discrete when every arrow is an
More informationNOTES ON ATIYAH S TQFT S
NOTES ON ATIYAH S TQFT S J.P. MAY As an example of categorification, I presented Atiyah s axioms [1] for a topological quantum field theory (TQFT) to undergraduates in the University of Chicago s summer
More informationCategorification and Topology.
Categorification and Topology John C. Baez for references and more, see: http://math.ucr.edu/home/baez/cat/ Once upon a time, mathematics was all about sets: In 1945, Eilenberg and Mac Lane introduced
More informationAn Introduction to the Stolz-Teichner Program
Intro to STP 1/ 48 Field An Introduction to the Stolz-Teichner Program Australian National University October 20, 2012 Outline of Talk Field Smooth and Intro to STP 2/ 48 Field Field Motivating Principles
More informationPART II.2. THE!-PULLBACK AND BASE CHANGE
PART II.2. THE!-PULLBACK AND BASE CHANGE Contents Introduction 1 1. Factorizations of morphisms of DG schemes 2 1.1. Colimits of closed embeddings 2 1.2. The closure 4 1.3. Transitivity of closure 5 2.
More informationIndCoh Seminar: Ind-coherent sheaves I
IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationarxiv: v1 [math.at] 25 Nov 2014
ON DUAIZABE OBJECTS IN MONOIDA BICATEGOIES, FAMED SUFACES AND THE COBODISM HYPOTHESIS PIOT PSTĄGOWSKI arxiv:1411.6691v1 [math.at] 25 Nov 2014 Abstract. We prove coherence theorems for dualizable objects
More informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More informationarxiv: v2 [math.qa] 22 Jan 2015
BOUNDARY CONDITIONS FOR TOPOLOGICAL QUANTUM FIELD THEORIES, ANOMALIES AND PROJECTIVE MODULAR FUNCTORS DOMENICO FIORENZA AND ALESSANDRO VALENTINO arxiv:1409.5723v2 [math.qa] 22 Jan 2015 Abstract. We study
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationOperads. Spencer Liang. March 10, 2015
Operads Spencer Liang March 10, 2015 1 Introduction The notion of an operad was created in order to have a well-defined mathematical object which encodes the idea of an abstract family of composable n-ary
More informationC2.7: CATEGORY THEORY
C2.7: CATEGORY THEORY PAVEL SAFRONOV WITH MINOR UPDATES 2019 BY FRANCES KIRWAN Contents Introduction 2 Literature 3 1. Basic definitions 3 1.1. Categories 3 1.2. Set-theoretic issues 4 1.3. Functors 5
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
More informationTopological Field Theories in Homotopy Theory I
Topological Field Theories in Homotopy Theory I Ulrike Tillmann, Oxford 2016 V Congreso Latinoamericano de Matemáticos 1 Manifolds M is a manifold of dimension d if locally it is diffeomorphic to R d or
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More informationDerived Algebraic Geometry I: Stable -Categories
Derived Algebraic Geometry I: Stable -Categories October 8, 2009 Contents 1 Introduction 2 2 Stable -Categories 3 3 The Homotopy Category of a Stable -Category 6 4 Properties of Stable -Categories 12 5
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More informationABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY
ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY ARDA H. DEMIRHAN Abstract. We examine the conditions for uniqueness of differentials in the abstract setting of differential geometry. Then we ll come up
More informationh M (T ). The natural isomorphism η : M h M determines an element U = η 1
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli
More informationA PARALLEL SECTION FUNCTOR FOR 2-VECTOR BUNDLES
Theory and Applications of Categories, Vol. 33, No. 23, 2018, pp. 644 690. A PARALLEL SECTION FUNCTOR FOR 2-VECTOR BUNDLES CHRISTOPH SCHWEIGERT AND LUKAS WOIKE Abstract. We associate to a 2-vector bundle
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More informationIND-COHERENT SHEAVES AND SERRE DUALITY II. 1. Introduction
IND-COHERENT SHEAVES AND SERRE DUALITY II 1. Introduction Let X be a smooth projective variety over a field k of dimension n. Let V be a vector bundle on X. In this case, we have an isomorphism H i (X,
More informationHigher Structures in Topological Quantum Field Theory
INSTITUTE OF MATHEMATICS UNIVERSITY OF ZÜRICH Higher Structures in Topological Quantum Field Theory Habilitationsschrift submitted to the faculty of Science of the University of Zürich by Dr. Alessandro
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationThe Classification of Topological Quantum Field Theories in Two Dimensions
The Classification of Topological Quantum Field Theories in Two Dimensions A thesis presented by Geoffrey Lee Advised by Jacob Lurie submitted in partial fulfillment of the requirements for an honors degree.
More informationANDREA TIRELLI. = M is the manifold M with the opposite orientation and B 1
AN INTRODUCTION TO (, n)-categories, FULLY EXTENDED TOPOLOGICAL QUANTUM FIELD THEORIES AND THEIR APPLICATIONS ANDREA TIRELLI Contents 1. Introduction 1 1.1. Topological Quantum Field Theories 1 1.2. Extended
More informationAtiyah-Singer Revisited
Atiyah-Singer Revisited Paul Baum Penn State Texas A&M Universty College Station, Texas, USA April 1, 2014 From E 1, E 2,..., E n obtain : 1) The Dirac operator of R n D = n j=1 E j x j 2) The Bott generator
More informationCategories and Quantum Informatics: Hilbert spaces
Categories and Quantum Informatics: Hilbert spaces Chris Heunen Spring 2018 We introduce our main example category Hilb by recalling in some detail the mathematical formalism that underlies quantum theory:
More informationMath 210B. The bar resolution
Math 210B. The bar resolution 1. Motivation Let G be a group. In class we saw that the functorial identification of M G with Hom Z[G] (Z, M) for G-modules M (where Z is viewed as a G-module with trivial
More information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationLecture 4: Stabilization
Lecture 4: Stabilization There are many stabilization processes in topology, and often matters simplify in a stable limit. As a first example, consider the sequence of inclusions (4.1) S 0 S 1 S 2 S 3
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
More informationRepresentations of quivers
Representations of quivers Gwyn Bellamy October 13, 215 1 Quivers Let k be a field. Recall that a k-algebra is a k-vector space A with a bilinear map A A A making A into a unital, associative ring. Notice
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationTENSOR CATEGORIES P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik
TENSOR CATEGORIES P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik Contents 1. Monoidal categories 4 1.1. The definition of a monoidal category 4 1.2. Basic properties of unit objects in monoidal categories
More informationarxiv: v2 [math.ct] 12 Oct 2016
THE CENTER FUNCTOR IS FULLY FAITHFUL arxiv:1507.00503v2 [math.ct] 12 Oct 2016 Liang Kong a,b,c, Hao Zheng d 1 a Department of Mathematics and Statistics University of New Hampshire, Durham, NH 03824, USA
More informationGroupoids and Orbifold Cohomology, Part 2
Groupoids and Orbifold Cohomology, Part 2 Dorette Pronk (with Laura Scull) Dalhousie University (and Fort Lewis College) Groupoidfest 2011, University of Nevada Reno, January 22, 2012 Motivation Orbifolds:
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationTopological K-theory
Topological K-theory Robert Hines December 15, 2016 The idea of topological K-theory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions
More informationPICARD GROUPS OF MODULI PROBLEMS II
PICARD GROUPS OF MODULI PROBLEMS II DANIEL LI 1. Recap Let s briefly recall what we did last time. I discussed the stack BG m, as classifying line bundles by analyzing the sense in which line bundles may
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.
More informationMath 440 Problem Set 2
Math 440 Problem Set 2 Problem 4, p. 52. Let X R 3 be the union of n lines through the origin. Compute π 1 (R 3 X). Solution: R 3 X deformation retracts to S 2 with 2n points removed. Choose one of them.
More informationCategories and Modules
Categories and odules Takahiro Kato arch 2, 205 BSTRCT odules (also known as profunctors or distributors) and morphisms among them subsume categories and functors and provide more general and abstract
More informationDecomposition Methods for Representations of Quivers appearing in Topological Data Analysis
Decomposition Methods for Representations of Quivers appearing in Topological Data Analysis Erik Lindell elindel@kth.se SA114X Degree Project in Engineering Physics, First Level Supervisor: Wojtek Chacholski
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More informationFrom Wikipedia, the free encyclopedia
Monomorphism - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/monomorphism 1 of 3 24/11/2012 02:01 Monomorphism From Wikipedia, the free encyclopedia In the context of abstract algebra or
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture I
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture I Set-up. Let K be an algebraically closed field. By convention all our algebraic groups will be linear algebraic
More information1 Introduction. 2 Categories. Mitchell Faulk June 22, 2014 Equivalence of Categories for Affine Varieties
Mitchell Faulk June 22, 2014 Equivalence of Categories for Affine Varieties 1 Introduction Recall from last time that every affine algebraic variety V A n determines a unique finitely generated, reduced
More informationWe then have an analogous theorem. Theorem 1.2.
1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.
More informationMONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY
MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY Contents 1. Cohomology 1 2. The ring structure and cup product 2 2.1. Idea and example 2 3. Tensor product of Chain complexes 2 4. Kunneth formula and
More informationAdjunctions! Everywhere!
Adjunctions! Everywhere! Carnegie Mellon University Thursday 19 th September 2013 Clive Newstead Abstract What do free groups, existential quantifiers and Stone-Čech compactifications all have in common?
More informationNOTES ON RESTRICTED INVERSE LIMITS OF CATEGORIES
NOTES ON RESTRICTED INVERSE LIMITS OF CATEGORIES INNA ENTOVA AIZENBUD Abstract. We describe the framework for the notion of a restricted inverse limit of categories, with the main motivating example being
More information1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality
1 ecall Assume we have a locally small category C which admits finite products and has a final object, i.e. an object so that for every Z Ob(C), there exists a unique morphism Z. Note that two morphisms
More informationThe Fundamental Group
The Fundamental Group Renzo s math 472 This worksheet is designed to accompany our lectures on the fundamental group, collecting relevant definitions and main ideas. 1 Homotopy Intuition: Homotopy formalizes
More informationNoncommutative geometry and quantum field theory
Noncommutative geometry and quantum field theory Graeme Segal The beginning of noncommutative geometry is the observation that there is a rough equivalence contravariant between the category of topological
More informationMath 535a Homework 5
Math 535a Homework 5 Due Monday, March 20, 2017 by 5 pm Please remember to write down your name on your assignment. 1. Let (E, π E ) and (F, π F ) be (smooth) vector bundles over a common base M. A vector
More informationThe maximal atlas of a foliation. 1 Maximal atlas, isonomy, and holonomy
The maximal atlas of a foliation Talk at 62. PSSL, Utrecht Oct. 1996 Anders Kock We shall describe such maximal atlas and provide it with an algebraic structure that brings along the holonomy groupoid
More informationUNIVERSAL DERIVED EQUIVALENCES OF POSETS
UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for
More informationModèles des langages de programmation Domaines, catégories, jeux. Programme de cette seconde séance:
Modèles des langages de programmation Domaines, catégories, jeux Programme de cette seconde séance: Modèle ensembliste du lambda-calcul ; Catégories cartésiennes fermées 1 Synopsis 1 the simply-typed λ-calculus,
More informationTHE QUANTUM DOUBLE AS A HOPF ALGEBRA
THE QUANTUM DOUBLE AS A HOPF ALGEBRA In this text we discuss the generalized quantum double construction. treatment of the results described without proofs in [2, Chpt. 3, 3]. We give several exercises
More informationLOCALISATIONS OF COBORDISM CATEGORIES AND INVERTIBLE TFTS IN DIMENSION TWO
Homology, Homotopy and Applications, vol.??(1), 2013, pp.1 26. LOCALISATIONS OF COBORDISM CATEGORIES AND INVERTIBLE TFTS IN DIMENSION TWO R. JUER and U. TILLMANN ACCEPTED FOR PUBLICATION IN HOMOLOGY, HOMOTOPY
More informationTHE TOTAL SURGERY OBSTRUCTION III
THE TOTAL SURGERY OBSTRUCTION III TIBOR MACKO Abstract. The total surgery obstruction s(x) of a finite n-dimensional Poincaré complex X is an element of a certain abelian group S n(x) with the property
More informationQuasi Riemann surfaces II. Questions, comments, speculations
Quasi Riemann surfaces II. Questions, comments, speculations Daniel Friedan New High Energy Theory Center, Rutgers University and Natural Science Institute, The University of Iceland dfriedan@gmail.com
More informationCONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams.
CONTINUITY Abstract. Continuity, tensor products, complete lattices, the Tarski Fixed Point Theorem, existence of adjoints, Freyd s Adjoint Functor Theorem 1. Continuity 1.1. Preserving limits and colimits.
More informationCOMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY
COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an
More informationAlgebraic Geometry
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationSOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2
SOME EXERCISES This is not an assignment, though some exercises on this list might become part of an assignment. Class 2 (1) Let C be a category and let X C. Prove that the assignment Y C(Y, X) is a functor
More informationLoop Groups and Lie 2-Algebras
Loop Groups and Lie 2-Algebras Alissa S. Crans Joint work with: John Baez Urs Schreiber & Danny Stevenson in honor of Ross Street s 60th birthday July 15, 2005 Lie 2-Algebras A 2-vector space L is a category
More informationEXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B
EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B SEBASTIAN GOETTE, KIYOSHI IGUSA, AND BRUCE WILLIAMS Abstract. When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic,
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
More informationCOURSE NOTES: HOMOLOGICAL ALGEBRA
COURSE NOTES: HOMOLOGICAL ALGEBRA AMNON YEKUTIELI Contents 1. Introduction 1 2. Categories 2 3. Free Modules 13 4. Functors 18 5. Natural Transformations 23 6. Equivalence of Categories 29 7. Opposite
More information