Topological Field Theories in Homotopy Theory I
|
|
- Cory Robertson
- 6 years ago
- Views:
Transcription
1 Topological Field Theories in Homotopy Theory I Ulrike Tillmann, Oxford 2016 V Congreso Latinoamericano de Matemáticos 1
2 Manifolds M is a manifold of dimension d if locally it is diffeomorphic to R d or R d 0. M is closed if it is compact and has no boundary.
3 Manifolds M is a manifold of dimension d if locally it is diffeomorphic to R d or R d 0. M is closed if it is compact and has no boundary. Fundamental problem: classify compact smooth manifolds M of dim d; understand their groups of diffeomorphisms Diff(M).
4 d any : the empty set is a manifold of any dimension d = 0: M is a collection of finitely many points d = 1: M is a collection of circles S 1 and intervals [0, 1] d = 2: M is a collection of orientable surfaces F g,n and non-orientable surfaces N g,n of genus g and with n boundary components F 1,0 = torus N 1,1 = Möbius band
5 Leitmotif = Understanding Manifolds 1. Classical Cobordism Theory (Thom,...) 2. Topological Field Theory (Witten, Atiyah, Segal,...) 3. Cobordism Hypothesis (Baez-Dolan, Lurie,...) 4. Classifying spaces of cobordism categories classifying space of cobordism categories. (Galatius Madsen Tillmann Weiss) the cobordism hypothesis for invertible TQFTs filtration of the classical theory 5. Extracting information on Diff(M) Mumford conjecture (Madsen Weiss,...) higher dimensional analogues. (Galatius Randal-Williams,...)
6 1. Classical Cobordism Theory Definition: Two closed oriented (d 1)-dimensional manifolds M 0 and M 1 are cobordant if there exists a compact oriented d-dimensional manifold W with boundary W = M 0 M 1 M 0 W M 1 W M 2
7 M 0 W M 1 W M 2 Cobordism is an equivalence relation; denote equivalence classes by N + d 1 It is a group with product and inverse M 1 = M Together they form a graded ring with multiplication N + d 1 d>0
8 Examples: N + 0 = Z N+ 1 = {0} N+ 2 = {0}
9 Theorem [Thom] N + d = π d(ω MSO) Recall: For any space X, π d (X) is the group of homotopy classes of based maps from S d to X
10 Theorem [Thom] N + d = π d(ω MSO) where Ω MSO := lim n lim k maps (S n, (U n,k ) c ) and U n,k Gr + (n, k) is the universal n-dimensional bundle over the Grassmannian manifold of oriented n- planes in R n+k.
11 M d tubular neighbourhood N (M ) Rd+n 7 φn (M ) collapse d+n d+n c c S = (R ) (N (M )) (Un,d)c. (x, v) 7 (NxM, v).
12 Theorem [Thom] N + Q Q [CP 2, CP 4,... ].
13 Theorem [Thom] N + Q Q [CP 2, CP 4,... ]. Proof: For fixed and large n and k, π (Ω MSO) Q = π ( lim n lim k maps (S n, (U n,k ) c )) Q = π (maps (S n, (U n,k ) c )) Q = π +n ((U n,k ) c ) Q = H +n ((U n,k ) c ) Q by Serre = H (Gr + (n, k)) Q by Thom.
14 Réné Thom ( ); Fields Medal 1958
15 Cob δ d is the 2. Topological Field Theory discrete cobordism category with Objects: closed oriented d 1 dimensional manifolds M Morphisms from M 0 to M 1 : d-dimensional cobordism W with W = M 0 M 1 modulo diffeomorphisms rel. boundary Composition: gluing of cobordisms. W W : M 0 M 1 M 2
16 Definition: A d-dimensional TFT is a functor F : Cob δ d V to the category V of vector spaces that takes disjoint union of manifolds to tensor products of vector spaces. Example: the unit has to be mapped to the unit; hence F( ) = C
17 Folk Theorem: 2-dimensional TFTs are in one-to-one correspondence with finite dimensional, commutative Frobenius algebras: and hence F( n S 1 ) = A n F A := F(S 1 ) a µ : A A A <, >: A A C Id : A A
18 Commutativity: µ τ = µ : A A A Associativity and unitality are similar.
19 Edward Witten
20 Michael Atiyah
21 Motivation: d-dimensional TFTs define topological invariants for d- dimensional closed manifolds: If W = then it defines a morphisms W :, and F assigns a number to W depending only on its topology: F(W ) : F( ) = C F( ) = C Physical inspiration: locality!
22 3. Cobordism Hypothesis Physical inspiration: locality! Categorification: points, cobordisms, cobordisms of cobordisms,...
23 Cob δ d is replaced by d-fold category excobδ d V replaced by a d-fold symmetric monoidal category V d Study extended TFTs F : excob δ d V d Cobordism hypothesis (weak) [Baez-Dolan] Extended TFTs are determined by F( ).
24 Example: 1-dimensional theories Let F( + ) = V and F( ) = V evaluation e : V V C co-evaluation e : C V V V is finite dimensional as e e = dim(v ) : C C id : V id e V V V e id V
25 Enriched TFTs Consider moduli spaces of all compact (d 1)- and d-manifolds embedded in R d+n, n, to form the topological category Cob d. M 0 W M 1
26 The homotopy type of the space of morphisms: mor Cobd (M 0, M 1 ) W Emb (W, R d+ )/Diff(W ; ) W BDiff(W ; ) where the disjoint union is taken over all diffeomorphism classes of cobordisms W. Note: Emb (W, R d+ ) is weakly contractible, and Diff(W ; ) acts freely
27 Theorem [Hopkins-Lurie, Lurie]: F : excob fr d V d is determined by F( ), the value on a point. Vice versa, any object in V d satisfying certain duality and non-degeneracy properties gives rise to a TFT. More general: for non-orientable, oriented,..., F is still determined by F( ) but there are group actions that have to be considered.
28 Excursion: tangential structures Recall: Vect n (W ) = [W, BO(n)] = [W, Gr(n, )] E φ E Definition: Let θ(n) : X (n) BO(n) be a fiber bundle. A θ(n)-structure on W d is a lift of φ E : W BO(n) to X (n) for E = T W R n d Oriented +: Framed fr: Z/2Z BSO(n) BO(n) O(n) EO(n) BO(n) Example: S d is EO(n)-framed if n > d
29 4. Classifying space of cobordism categories B : Topological Categories Spaces, C BC gf c a g a a f b f b Example: for a group G get BG
30 4. Classifying space of cobordism categories B : Topological Categories Spaces, C BC gf c a g a a f b f b morphisms paths which are homotopy invertible!. for every a ob C, there is a characteristic map α : mor C (a, a) maps([0, 1], ; BC, a) = ΩBC monoidal cats E 1 -spaces (Ω-spaces) symmetric monoidal cats E -spaces (Ω -spaces)
31 Theorem [Galatius, Madsen, Tillmann, Weiss] ΩB(Cob d ) Ω MTSO(d) = lim n Ω d+n ((U d,n )c ) where Ud,n is the orthogonal complement of the universal bundle U d,n Gr + (d, n). Note: the Thom class is in dimension d
32 The characteristic map: morcobd (, ) 3 W N (W ) Rd+n 7 φt (W ) collapse d+n d+n c c )c α(w ) : S = (R ) N (W ) (Ud,n. (x, v) 7 (TxW, v) In Thom s theory: (x, v) 7 (NxW, v) (Un,d)c.
33 Filtration of classical cobordism theory The inclusion of multi-categories excob 1 excob d 1 excob d... induces on taking multi-classifying spaces a filtration Ω S Ω (d 1) MTSO(d 1) Ω d MTSO(d)... of Thom s space Ω MSO which respects the additive and multiplicative structure All Thom classes are in degree zero!
34 An even finer filtration Ω MSO lim n lim d Ω n (U n,d ) c lim d lim n Ω n (U d,n )c lim d lim n B(Cob d d,n ) A 2-morphism in Cob 2 2,1.
35 For the framed theory, this is the constant filtration B(exCob fr 1 ) B(exCobfr d ) Ω S Compare: Classically, framed cobordism theory is isomorphic to stable homotopy theory.
36 For the framed theory, this is the constant filtration B(exCob fr 1 ) B(exCobfr d ) Ω S Proof sketch: B(exCob fr d ) = lim n Ωn (U fr, d,n )c Ω S
37 For the framed theory, this is the constant filtration B(exCob fr 1 ) B(exCobfr d ) Ω S Proof sketch: B(exCob fr d ) = lim n Ωn (U fr, d,n )c Ω S fr is defined by EO(d) BO(n) and U fr d,n EO(d) = lim n U d,n is the universal bundle over the Stiefel manifold of framed d-planes in R d+n so that (U fr, d,n )c is approximately S n
38 Cobordism Hypothesis for invertible theories An extended framed TFT F : excob fr d V d induces a map of infinite loop spaces BF : B(exCob fr d ) Ω S B(V d ). Ω S is the free infinite loop space on one point = BF is determined by its value on that point, BF( ). If F is invertible (in the sense that the images of all morphisms are invertible) it factors through BF.
39 Leitmotif = Understanding Manifolds 1. Classical Cobordism Theory (Thom,...) 2. Topological Field Theory (Witten, Atiyah, Segal,...) 3. Cobordism Hypothesis (Baez-Dolan, Lurie,...) 4. Classifying spaces of cobordism categories classifying space of cobordism categories. (Galatius Madsen Tillmann Weiss) the cobordism hypothesis for invertible TQFTs filtration of the classical theory 5. Extracting information on Diff(M) Mumford conjecture (Madsen Weiss,...) higher dimensional analogues. (Galatius Randal-Williams,...)
The 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 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 informationTopology of the space of metrics with positive scalar curvature
Topology of the space of metrics with positive scalar curvature Boris Botvinnik University of Oregon, USA November 11, 2015 Geometric Analysis in Geometry and Topology, 2015 Tokyo University of Science
More informationStable moduli spaces of high dimensional manifolds
of high dimensional manifolds University of Copenhagen August 23, 2012 joint work with Søren Galatius Moduli spaces of manifolds We define W g := # g S n S n, a closed 2n-dimensional smooth manifold. When
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 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 informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
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 informationTopological Field Theories
Topological Field Theories RTG Graduate Summer School Geometry of Quantum Fields and Strings University of Pennsylvania, Philadelphia June 15-19, 2009 Lectures by John Francis Notes by Alberto Garcia-Raboso
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 informationCOBORDISM AND FORMAL POWER SERIES
COBORDISM AND FORMAL POWER SERIES NEIL STRICKLAND Thom s cobordism theorem The graded ring of cobordism classes of manifolds is Z/2[x 2, x 4, x 5, x 6, x 8, x 9, x 10, x 11, x 12, x 13, x 14, x 16, x 17,...
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 informationRemarks on Chern-Simons Theory. Dan Freed University of Texas at Austin
Remarks on Chern-Simons Theory Dan Freed University of Texas at Austin 1 MSRI: 1982 2 Classical Chern-Simons 3 Quantum Chern-Simons Witten (1989): Integrate over space of connections obtain a topological
More informationStable Homology by Scanning
Stable Homology by Scanning Variations on a Theorem of Galatius Talk at Luminy 24/6/2010 Allen Hatcher Question: What can one say about H Aut(F n )? H 1 and H 2 are known: both are Z 2 for large enough
More informationElliptic Cohomology. Prospects in Mathematics Durham, December Sarah Whitehouse. University of Sheffield
Elliptic Cohomology Prospects in Mathematics Durham, December 2006 Sarah Whitehouse University of Sheffield Plan 1 Overview 2 Invariants 3 From genera to cohomology theories 4 Elliptic curves 5 Elliptic
More informationA 50-Year View of Diffeomorphism Groups
A 50-Year View of Diffeomorphism Groups Allen Hatcher Question: For a smooth compact manifold M can one determine the homotopy type of its diffeomorphism group Diff(M)? Why this is interesting: Automorphisms
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 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 informationLecture 15: Duality. Next we spell out the answer to Exercise It is part of the definition of a TQFT.
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
More informationTHE REPRESENTATION OF THE MAPPING CLASS GROUP OF A SURFACE ON ITS FUNDAMENTAL GROUP IN STABLE HOMOLOGY. Ulrike Tillmann. 1. Introduction and results
THE REPRESENTATION OF THE MAPPING CLASS GROUP OF A SURFACE ON ITS FUNDAMENTAL GROUP IN STABLE HOMOLOGY Ulrike Tillmann Abstract. The natural action of the mapping class group of an orientable or nonorientable
More informationLecture 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 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 informationExotic spheres. Overview and lecture-by-lecture summary. Martin Palmer / 22 July 2017
Exotic spheres Overview and lecture-by-lecture summary Martin Palmer / 22 July 2017 Abstract This is a brief overview and a slightly less brief lecture-by-lecture summary of the topics covered in the course
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 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 informationHomotopy and geometric perspectives on string topology
Homotopy and geometric perspectives on string topology Ralph L. Cohen Stanford University August 30, 2005 In these lecture notes I will try to summarize some recent advances in the new area of study known
More informationAn introduction to cobordism
An introduction to cobordism Martin Vito Cruz 30 April 2004 1 Introduction Cobordism theory is the study of manifolds modulo the cobordism relation: two manifolds are considered the same if their disjoint
More informationVERLINDE ALGEBRA LEE COHN. Contents
VERLINDE ALGEBRA LEE COHN Contents 1. A 2-Dimensional Reduction of Chern-Simons 1 2. The example G = SU(2) and α = k 5 3. Twistings and Orientations 7 4. Pushforward Using Consistent Orientations 9 1.
More informationMath 231b Lecture 16. G. Quick
Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector
More informationCambridge University Press Frobenius Algebras and 2D Topological Quantum Field Theories Joachim Kock Excerpt More information
Introduction In this introduction we briefly explain the words of the title of these notes, give a sketch of what we are going to do with these notions, and outline the viewpoint we will take in order
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 informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
More informationLECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
More informationAlgebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism
Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized
More informationThe homotopy type of the cobordism category
Acta Math., 202 (2009), 195 239 DOI: 10.1007/s11511-009-0036-9 c 2009 by Institut Mittag-Leffler. All rights reserved The homotopy type of the cobordism category by Søren Galatius Stanford University Stanford,
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationArtin s map in stable homology. Ulrike Tillmann
Artin s map in stable homology Ulrike Tillmann Abstract: Using a recent theorem of Galatius [G] we identify the map on stable homology induced by Artin s injection of the braid group β n into the automorphism
More informationString Topology of Classifying Spaces
KTH Royal Institute of Technology Manifolds, K -theory, and Related Topics Dubrovnik, June 2014 Joint work with Richard Hepworth Preprint: arxiv:1308.6169 Z/2 coefficients Part 1: HCFTs String Topology
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 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 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 informationAn introduction to calculus of functors
An introduction to calculus of functors Ismar Volić Wellesley College International University of Sarajevo May 28, 2012 Plan of talk Main point: One can use calculus of functors to answer questions about
More informationEuler Characteristics of Categories and Homotopy Colimits
Euler Characteristics of Categories and Homotopy Colimits Thomas M. Fiore joint work with Wolfgang Lück and Roman Sauer http://www-personal.umd.umich.edu/~tmfiore/ Outline 1 2 3 4 5 6 I.. The most basic
More informationTopological K-theory, Lecture 3
Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ
More informationTHE STABLE MAPPING CLASS GROUP AND STABLE HOMOTOPY THEORY
THE STABLE MAPPING CLASS GROUP AND STABLE HOMOTOPY THEORY IB MADSEN AND MICHAEL WEISS Abstract. This overview is intended as a lightweight companion to the long article [20]. One of the main results there
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
More informationThe Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016
The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we
More informationNonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
More informationTOWARDS AN N-CATEGORY OF COBORDISMS
Theory and Applications of Categories, Vol. 18, No. 10, 2007, pp. 274 302. TOWARDS AN N-CATEGORY OF COBORDISMS EUGENIA CHENG AND NICK GURSKI Abstract. We discuss an approach to constructing a weak n-category
More informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationFROM MAPPING CLASS GROUPS TO AUTOMORPHISM GROUPS OF FREE GROUPS
J. London Math. Soc. (2) 72 (2005) 50 524 C 2005 London Mathematical Society doi:0.2/s002460705006757 FROM MAPPING CLASS GROUPS TO AUTOMORPHISM GROUPS OF FREE GROUPS NATHALIE WAHL Abstract It is shown
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 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 informationComplex Cobordism and Formal Group Laws
Complex Cobordism and Formal Group Laws Yonatan Harpaz November 7, 2012 Contents 1 Cobordism Homology Theories 1 2 Stable Structures and Complex Cobordism 5 3 Formal Group Laws 9 3.1 The Universal Formal
More informationInverting operations in operads
Topology and its Applications 235 (2018) 130 145 Contents lists available at ScienceDirect Topology and its Applications www.elsevier.com/locate/topol Virtual Special Issue Women in Topology II: Further
More informationSéminaire BOURBAKI Mars ème année, , n o 945. THE MUMFORD CONJECTURE [after Madsen and Weiss] by Geoffrey POWELL
Séminaire BOURBAKI Mars 2005 57ème année, 2004-2005, n o 945 THE MUMFORD CONJECTURE [after Madsen and Weiss] by Geoffrey POWELL 1. INTRODUCTION The Mumford conjecture concerns the cohomology of the moduli
More informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
More informationThe relationship between framed bordism and skew-framed bordism
The relationship between framed bordism and sew-framed bordism Pyotr M. Ahmet ev and Peter J. Eccles Abstract A sew-framing of an immersion is an isomorphism between the normal bundle of the immersion
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 informationA users guide to K-theory
A users guide to K-theory K-theory Alexander Kahle alexander.kahle@rub.de Mathematics Department, Ruhr-Universtät Bochum Bonn-Cologne Intensive Week: Tools of Topology for Quantum Matter, July 2014 Outline
More informationJ-holomorphic curves in symplectic geometry
J-holomorphic curves in symplectic geometry Janko Latschev Pleinfeld, September 25 28, 2006 Since their introduction by Gromov [4] in the mid-1980 s J-holomorphic curves have been one of the most widely
More informationSTABLE SPLITTINGS OF CLASSIFYING SPACES OF COMPACT LIE GROUPS
STABLE SPLITTINGS OF CLASSIFYING SPACES OF COMPACT LIE GROUPS 1. Introduction The goal of this talk is to provide a proof of the following result, following [Sna79]. Theorem 1.1. Let G n denote one of
More informationQUALIFYING EXAM, Fall Algebraic Topology and Differential Geometry
QUALIFYING EXAM, Fall 2017 Algebraic Topology and Differential Geometry 1. Algebraic Topology Problem 1.1. State the Theorem which determines the homology groups Hq (S n \ S k ), where 1 k n 1. Let X S
More informationModuli spaces of graphs and homology operations on loop spaces of manifolds
Moduli spaces of graphs and homology operations on loop spaces of manifolds Ralph L. Cohen Stanford University July 2, 2005 String topology:= intersection theory in loop spaces (and spaces of paths) of
More informationEquivariant cohomology of infinite-dimensional Grassmannian and shifted Schur functions
Equivariant cohomology of infinite-dimensional Grassmannian and shifted Schur functions Jia-Ming (Frank) Liou, Albert Schwarz February 28, 2012 1. H = L 2 (S 1 ): the space of square integrable complex-valued
More informationUniversal moduli spaces of surfaces with flat bundles and cobordism theory
Advances in Mathematics 221 2009) 1227 1246 www.elsevier.com/locate/aim Universal moduli spaces of surfaces with flat bundles and cobordism theory Ralph L. Cohen a,,1, Søren Galatius a,2, Nitu Kitchloo
More informationBERTRAND GUILLOU. s G q+r
STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an
More informationMapping class groups of surfaces and quantization
Mapping class groups of surfaces and quantization Sasha Patotski Cornell University ap744@cornell.edu May 13, 2016 Sasha Patotski (Cornell University) Quantization May 13, 2016 1 / 16 Plan 1 Mapping class
More informationarxiv: v1 [math.at] 29 Jun 2009
Contemporary Mathematics arxiv:0906.5198v1 [math.at] 29 Jun 2009 Open-closed field theories, string topology, and Hochschild homology Andrew J. Blumberg, Ralph L. Cohen, and Constantin Teleman Abstract.
More informationCohomology and Vector Bundles
Cohomology and Vector Bundles Corrin Clarkson REU 2008 September 28, 2008 Abstract Vector bundles are a generalization of the cross product of a topological space with a vector space. Characteristic classes
More informationTHEp 1 -CENTRALEXTENSIONOF THE MAPPING CLASS GROUP OF ORIENTABLE SURFACES
KNOT THEORY BANACH CENTER PUBLICATIONS, VOLUME 42 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1998 THEp 1 -CENTRALEXTENSIONOF THE MAPPING CLASS GROUP OF ORIENTABLE SURFACES SYLVAIN GERVAIS
More informationDeterminant lines and determinant line bundles
CHAPTER Determinant lines and determinant line bundles This appendix is an exposition of G. Segal s work sketched in [?] on determinant line bundles over the moduli spaces of Riemann surfaces with parametrized
More informationCobordism Categories
M Naeem Ahmad Kansas State University naeem@math.ksu.edu KSU Graduate Student Topology Seminar M Naeem Ahmad (KSU) September 10, 2010 1 / 31 We begin with few basic definitions and historical details to
More informationHigher Categories, Homotopy Theory, and Applications
Higher Categories, Homotopy Theory, and Applications Thomas M. Fiore http://www.math.uchicago.edu/~fiore/ Why Homotopy Theory and Higher Categories? Homotopy Theory solves topological and geometric problems
More informationDrawing: Prof. Karl Heinrich Hofmann
Drawing: Prof. Karl Heinrich Hofmann 1 2 Sylvester s Law of Inertia A demonstration of the theorem that every homogeneous quadratic polynomial is reducible by real orthogonal substitutions to the form
More informationLecture 6: Classifying spaces
Lecture 6: Classifying spaces A vector bundle E M is a family of vector spaces parametrized by a smooth manifold M. We ask: Is there a universal such family? In other words, is there a vector bundle E
More informationDefects in topological field theory: from categorical tools to applications in physics and representation theory
Defects in topological field theory: from categorical tools to applications in physics and representation theory Christoph Schweigert Mathematics Department Hamburg University based on work with Jürgen
More informationEQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms
EQUIVARIANT COHOMOLOGY MARTINA LANINI AND TINA KANSTRUP 1. Quick intro Let G be a topological group (i.e. a group which is also a topological space and whose operations are continuous maps) and let X be
More informationSupplement 2 to the paper Floating bundles and their applications
ariv:math/0104052v1 [math.at] 4 Apr 2001 Supplement 2 to the paper Floating bundles and their applications A.V. Ershov This paper is the supplement to the section 2 of the paper Floating bundles and their
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
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 informationCohomological Formulation (Lecture 3)
Cohomological Formulation (Lecture 3) February 5, 204 Let F q be a finite field with q elements, let X be an algebraic curve over F q, and let be a smooth affine group scheme over X with connected fibers.
More informationarxiv: v2 [math.at] 20 May 2016
arxiv:1412.8459v2 [math.at] 20 May 2016 The Higher Morita Category of E n -Algebras RUNE HAUGSENG We introduce simple models for associative algebras and bimodules in the context of non-symmetric -operads,
More informationA Short Exposition of the Madsen-Weiss Theorem
A Short Exposition of the Madsen-Weiss Theorem Allen Hatcher The theorem of Madsen and Weiss [MW] identifies the homology of mapping class groups of surfaces, in a stable dimension range, with the homology
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 informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)
Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationThe geometry of Landau-Ginzburg models
Motivation Toric degeneration Hodge theory CY3s The Geometry of Landau-Ginzburg Models January 19, 2016 Motivation Toric degeneration Hodge theory CY3s Plan of talk 1. Landau-Ginzburg models and mirror
More informationAlgebraic and topological perspectives on the Khovanov homology
Algebraic and topological perspectives on the Khovanov homology Jānis Lazovskis April 26, 213 Abstract We investigate the Khovanov homology, introduced in [4], of an embedded link. A detailed computation
More informationOn the Virtual Fundamental Class
On the Virtual Fundamental Class Kai Behrend The University of British Columbia Seoul, August 14, 2014 http://www.math.ubc.ca/~behrend/talks/seoul14.pdf Overview Donaldson-Thomas theory: counting invariants
More informationTopological K-theory, Lecture 2
Topological K-theory, Lecture 2 Matan Prasma March 2, 2015 Again, we assume throughout that our base space B is connected. 1 Direct sums Recall from last time: Given vector bundles p 1 E 1 B and p 2 E
More informationD-manifolds and derived differential geometry
D-manifolds and derived differential geometry Dominic Joyce, Oxford University September 2014 Based on survey paper: arxiv:1206.4207, 44 pages and preliminary version of book which may be downloaded from
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 informationThe Kervaire Invariant One Problem, Lecture 9, Independent University of Moscow, Fall semester 2016
The Kervaire Invariant One Problem, Lecture 9, Independent University of Moscow, Fall semester 2016 November 8, 2016 1 C-brations. Notation. We will denote by S the (, 1)-category of spaces and by Cat
More informationEquivariantly Twisted Cohomology Theories
Equivariantly Twisted Cohomology Theories John Lind The Johns Hopkins University AMS/MAA Joint Meetings Baltimore 2014 AMS Special Session on Homotopy Theory (1/17/2014) Twisted cohomology theories A twisted
More informationAlgebraic Topology II Notes Week 12
Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other
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 informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationBroken pencils and four-manifold invariants. Tim Perutz (Cambridge)
Broken pencils and four-manifold invariants Tim Perutz (Cambridge) Aim This talk is about a project to construct and study a symplectic substitute for gauge theory in 2, 3 and 4 dimensions. The 3- and
More information