Topological Field Theories in Homotopy Theory I

Size: px
Start display at page:

Download "Topological Field Theories in Homotopy Theory I"

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 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 information

Remarks on Fully Extended 3-Dimensional Topological Field Theories

Remarks 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 information

RTG Mini-Course Perspectives in Geometry Series

RTG 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 information

Topology of the space of metrics with positive scalar curvature

Topology 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 information

Stable moduli spaces of high dimensional manifolds

Stable 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 information

NOTES ON ATIYAH S TQFT S

NOTES 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 information

A Taxonomy of 2d TQFTs

A 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 information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three 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 information

Bordism and the Pontryagin-Thom Theorem

Bordism 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 information

Topological Field Theories

Topological 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 information

arxiv:math/ v1 [math.at] 5 Oct 1999

arxiv: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 information

COBORDISM AND FORMAL POWER SERIES

COBORDISM 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 information

2-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS. Contents 1. The main theorem 1

2-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 information

Remarks on Chern-Simons Theory. Dan Freed University of Texas at Austin

Remarks 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 information

Stable Homology by Scanning

Stable 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 information

Elliptic Cohomology. Prospects in Mathematics Durham, December Sarah Whitehouse. University of Sheffield

Elliptic 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 information

A 50-Year View of Diffeomorphism Groups

A 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 information

Categorification and Topology.

Categorification 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 information

LOCALISATIONS OF COBORDISM CATEGORIES AND INVERTIBLE TFTS IN DIMENSION TWO

LOCALISATIONS 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 information

Lecture 15: Duality. Next we spell out the answer to Exercise It is part of the definition of a TQFT.

Lecture 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 information

THE 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. 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 information

Lecture 17: Invertible Topological Quantum Field Theories

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 information

Manifolds, Higher Categories and Topological Field Theories

Manifolds, 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 information

Exotic 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 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 information

Higher Structures in Topological Quantum Field Theory

Higher 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 information

ANDREA TIRELLI. = M is the manifold M with the opposite orientation and B 1

ANDREA 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 information

Homotopy and geometric perspectives on string topology

Homotopy 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 information

An introduction to cobordism

An 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 information

VERLINDE ALGEBRA LEE COHN. Contents

VERLINDE 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 information

Math 231b Lecture 16. G. Quick

Math 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 information

Cambridge University Press Frobenius Algebras and 2D Topological Quantum Field Theories Joachim Kock Excerpt More information

Cambridge 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 information

EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B

EXOTIC 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 information

We have the following immediate corollary. 1

We 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 information

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS

LECTURE 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 information

Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism

Algebraic 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 information

The homotopy type of the cobordism category

The 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 information

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY

LECTURE 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 information

Artin s map in stable homology. Ulrike Tillmann

Artin 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 information

String Topology of Classifying Spaces

String 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 information

Formal Homotopy Quantum Field Theories and 2-groups.

Formal 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 information

Introduction (Lecture 1)

Introduction (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 information

The Classification of Topological Quantum Field Theories in Two Dimensions

The 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 information

An introduction to calculus of functors

An 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 information

Euler Characteristics of Categories and Homotopy Colimits

Euler 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 information

Topological K-theory, Lecture 3

Topological 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 information

THE STABLE MAPPING CLASS GROUP AND STABLE HOMOTOPY THEORY

THE 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 information

Cobordant differentiable manifolds

Cobordant 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 information

The 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 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 information

Nonabelian Poincare Duality (Lecture 8)

Nonabelian 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 information

TOWARDS AN N-CATEGORY OF COBORDISMS

TOWARDS 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 information

LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES

LECTURE 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 information

FROM MAPPING CLASS GROUPS TO AUTOMORPHISM GROUPS OF FREE GROUPS

FROM 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 information

arxiv: v2 [math.qa] 22 Jan 2015

arxiv: 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 information

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

LECTURE: 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 information

Complex Cobordism and Formal Group Laws

Complex 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 information

Inverting operations in operads

Inverting 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 information

Séminaire BOURBAKI Mars ème année, , n o 945. THE MUMFORD CONJECTURE [after Madsen and Weiss] by Geoffrey POWELL

Sé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 information

Geometry 9: Serre-Swan theorem

Geometry 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 information

The relationship between framed bordism and skew-framed bordism

The 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 information

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

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 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 information

A users guide to K-theory

A 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 information

J-holomorphic curves in symplectic geometry

J-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 information

STABLE SPLITTINGS OF CLASSIFYING SPACES OF COMPACT LIE GROUPS

STABLE 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 information

QUALIFYING EXAM, Fall Algebraic Topology and Differential Geometry

QUALIFYING 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 information

Moduli spaces of graphs and homology operations on loop spaces of manifolds

Moduli 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 information

Equivariant cohomology of infinite-dimensional Grassmannian and shifted Schur functions

Equivariant 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 information

Universal moduli spaces of surfaces with flat bundles and cobordism theory

Universal 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 information

BERTRAND GUILLOU. s G q+r

BERTRAND 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 information

Mapping class groups of surfaces and quantization

Mapping 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 information

arxiv: v1 [math.at] 29 Jun 2009

arxiv: 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 information

Cohomology and Vector Bundles

Cohomology 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 information

THEp 1 -CENTRALEXTENSIONOF THE MAPPING CLASS GROUP OF ORIENTABLE SURFACES

THEp 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 information

Determinant lines and determinant line bundles

Determinant 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 information

Cobordism Categories

Cobordism 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 information

Higher Categories, Homotopy Theory, and Applications

Higher 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 information

Drawing: Prof. Karl Heinrich Hofmann

Drawing: 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 information

Lecture 6: Classifying spaces

Lecture 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 information

Defects 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 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 information

EQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms

EQUIVARIANT 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 information

Supplement 2 to the paper Floating bundles and their applications

Supplement 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 information

1. Algebraic vector bundles. Affine Varieties

1. 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 information

An Introduction to the Stolz-Teichner Program

An 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 information

Cohomological Formulation (Lecture 3)

Cohomological 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 information

arxiv: v2 [math.at] 20 May 2016

arxiv: 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 information

A Short Exposition of the Madsen-Weiss Theorem

A 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 information

Math 535a Homework 5

Math 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 information

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)

QUALIFYING 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 information

B 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.

B 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 information

The geometry of Landau-Ginzburg models

The 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 information

Algebraic and topological perspectives on the Khovanov homology

Algebraic 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 information

On the Virtual Fundamental Class

On 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 information

Topological K-theory, Lecture 2

Topological 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 information

D-manifolds and derived differential geometry

D-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 information

Groupoid Representation Theory

Groupoid 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 information

The 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 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 information

Equivariantly Twisted Cohomology Theories

Equivariantly 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 information

Algebraic Topology II Notes Week 12

Algebraic 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 information

Topological K-theory

Topological 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 information

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

ALGEBRAICALLY 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 information

Broken pencils and four-manifold invariants. Tim Perutz (Cambridge)

Broken 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