An extension of the LMO functor
|
|
- Kory Cross
- 5 years ago
- Views:
Transcription
1 An extension of the LMO functor Yuta Nozaki The Univ. of Tokyo December 23, 2014 VII Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
2 Introduction Contents 1 Introduction Examples of calculation Background and motivation 2 Definitions Domain and codomain of Z Extension of the LMO functor 3 Results and applications Main results Milnor invariants Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
3 Introduction Examples of calculation Examples of calculation Figure 1 : A cobordism ψ, introduced in [CHM08] Figure 2 : A new cobordism ψ, log Z(ψ, ) = log Z(ψ, ) = (i-deg > 2), (i-deg > 2). Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
4 Introduction Background and motivation References [BGRT02a] D. Bar-Natan, S. Garoufalidis, L. Rozansky and D. P. Thurston, The Århus integral of rational homology 3-spheres. I. A highly non trivial flat connection on S 3, Selecta Math. (N.S) 8 (2002), no. 3, [BGRT02b] D. Bar-Natan, S. Garoufalidis, L. Rozansky and D. P. Thurston, The Århus integral. II. Invariance and universality, Selecta Math. (N.S.) 8 (2002), no. 3, [CHM08] D. Cheptea, K. Habiro and G. Massuyeau, A functorial LMO invariant for Lagrangian cobordisms, Geom. Topol. 12 (2008), no. 2, [LMO98] T. T. Q. Le, J. Murakami and T. Ohtsuki, On a universal perturbative invariant of 3-manifolds, Topology 37 (1998), no. 3, Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
5 Introduction Background and motivation History of LMO Le, Murakami and Ohtsuki introduced the LMO invariant of connected, oriented, closed 3-manifolds [LMO98]. Bar-Natan, Garoufalidis, Rozansky and Thurston gave an alternative construction of the LMO invariant (of QHS s) by introducing the Århus integral, which is also called the formal Gaussian integral [BGRT02a, BGRT02b]. Cheptea, Habiro and Massuyeau constructed the LMO functor Z by using the formal Gaussian integral. Z is defined on a certain category of cobordisms [CHM08]. Theorem ([CHM08, Theorem 4.13]) Z : LCob q ts A is a tensor-preserving functor. Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
6 Introduction Background and motivation What kind of extension? Roughly speaking, the objects and morphisms of the domain are extended as follows: Σ g,1 Σ g,b+1 (b 0) and. Convention Notation and terminology are almost the same as in [CHM08], but their definitions are extended. The main differences will be emphasized in red (e.g. Σ g,b+1 ). Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
7 Introduction Background and motivation Properties of Z Z has important properties proved in [CHM08]: Z(M, σ, m) = exp (Lk(M)/2) Z Y (M, σ, m) (matrix (a ij ) identify linear combination of struts i,j a ij Z is universal among rational-valued finite-type invariants. i j ), Aim of today s talk Construct an extension of Z for which the above theorem and properties are true. Show a relation with the Milnor invariants of string links. Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
8 Definitions Contents 1 Introduction Examples of calculation Background and motivation 2 Definitions Domain and codomain of Z Extension of the LMO functor 3 Results and applications Main results Milnor invariants Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
9 Definitions Domain and codomain of Z Notation Mon(, ) := (free monoid generated by letters and ). w Mon(, ). The compact surface F w is defined as follows: β1 α1 δ1 β2 α2 δ2 F = R 3. w ± Mon(, ) ( w + = w = b), σ S b. The closed surface R w + w,σ is defined as follows: R,σ = / 1 0, _ σ(1) 0 σ(2) 0 Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
10 Definitions Domain and codomain of Z Domain of Z Definition (cobordism) A cobordism from F w+ to F w ( w + = w = b) is an equivalence class of triples (M, σ, m), where M is a connected, oriented, compact 3-manifold with M = Σ w + + w +b, σ S b, m : R w + w,σ M is an orientation-preserving homeomorphism, (M, σ, m) (N, τ, n) if σ = τ and there is an ori.-pres. homeo. f : M N s.t. M m f R w + w,σ n N. Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
11 Definitions Domain and codomain of Z Definition (strict monoidal category Cob) Obj(Cob) := Mon(, ). Cob(w +, w ) := {cobordisms from F w+ to F w } (or ). (M, σ, m) (N, τ, n) := (M m+ n 1 N, στ, m n + ). Id w := (F w [ 1, 1], Id S w, Id ). (M, σ, m) (N, τ, n) := (horizontal juxtaposition of M and N). m ± is the restriction of m to the top/bottom of the reference surface. Id = Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
12 Definitions Domain and codomain of Z Definition (Lagrangian cobordism) A cobordism (M, σ, m) Cob(w +, w ) is Lagrangian if the following two conditions are satisfied: 1. H 1 (M) = m, (A w ) + m +, (H 1 (F w+ )), 2. m +, (A w+ ) m, (A w ) + m +, (D w+ ). A w := α 1,..., α w, Dw := δ 1,..., δ w H1 (F w ). The strict monoidal subcategory LCob whose morphisms are Lagrangian cobordisms is obtained. Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
13 Definitions Domain and codomain of Z Bottom-top tangles Translating cobordisms into bottom-top tangles is necessary to define Z. In fact, there is a 1-1 correspondence by digging a bottom-top tangle (B, γ) along its framed oriented tangle γ. dig pull up rotate by π/2 Figure 3 : (B, γ) 1:1 (M, σ, m) Cob(w +, w ) Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
14 Definitions Domain and codomain of Z Codomain of Z Definition (space of Jacobi diagrams) X : an oriented compact 1-manifold, C: a finite set. A(X, C) := Q{Jacobi diagrams based on (X, C)}/AS, IHX, STU STU 3 = 1 2 AS 1 3 Figure 4 : X =, C = {1, 2, 3}, deg = 10/2 = 5 Remark Take the degree completion of A(X, C) and denote it in the same way. Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
15 Definitions Domain and codomain of Z The graded Q-linear map χ S : A(X, C S) A(X S, C) is defined as follows. c χ S 1 2! 1! 0! c + c Figure 5 : X =, S = {1, 2, 3} χ S is an isomorphism and plays an important role when dealing with Jacobi diagrams. However, χ S is not enough to construct an extension of the LMO functor. Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
16 Definitions Domain and codomain of Z S : a copy of S. Introduce the graded Q-linear map χ S,S : A(X, C S S ) A(X S, C) defined as follows. ' 2 ' χ S,S' 1 2! 1! 0! 2! Figure 6 : X = C =, S = {1, 2}, S = {1, 2 } A similar idea appears in [HM]. [HM] K. Habiro and G. Massuyeau, Symplectic Jacobi diagrams and the Lie algebra of homology cylinders, J. Topol. 2 (2009), no. 3, Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
17 Definitions Domain and codomain of Z Definition (strict monoidal category ts A) Obj( ts A) := Z 2 0. ts A((g, b), (f, b)) := {x A(, g + f b 0 ) x is a series of top-substantial Jacobi diagrams}. x y := χ 1 χ b 0 b 0, b (x/i + i ), (y/i i, i 0 i 0 0 ). g ( ) g i + Id (g,b) := exp. x y := x y. i=1 n := {1, 2,..., n }. i A Jacobi diagram D is top-substantial if D contains no struts ts A((g, b), (f, b)) ts A((h, b), (g, b)), g A(, h + f b 0 b 0 ) χ b 0,b 0 A( b0, h + f ) χ 1 b 0 A(, h + f b 0 ). Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27 i + j +.
18 Definitions Extension of the LMO functor The Kontsevich(-LMO) invariant Remark The Kontsevich invariant of tangles depends a parenthesizing of their boundaries. So, Mag(, ), Cob q and LCob q are needed instead of Mon(, ), Cob and LCob respectively. Mag(, ) := (free magma generated by letters and ). For example, Mon(, ) ( ( )) Mag(, ). Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
19 Definitions Extension of the LMO functor The Kontsevich-LMO invariant of a bottom-top q-tangle (B, γ) is defined as follows: 1. Find a surgery link L satisfying ([ 1, 1] 3 L, γ) = (B, γ); 2. Take the formal Gaussian integral of Z K (L γ) ν π0(l) A(L γ, ) along the set π 0 (L); 3. Normalize this last result in accordance with the signature of the matrix Lk(L); Z K-LMO (B, γ) A(γ, ) is obtained. Definition (extension of the LMO functor) Let (M, σ, m) LCob q (w +, w ). Z(M, σ, m) := χ 1 π 0 (γ) Z K-LMO (B, γ) ts A T g ts A((g, b), (f, b)). g = w +, f = w, b = w +. The element T g A(, g + g ) is the same as defined in [CHM08]. Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
20 Results and applications Contents 1 Introduction Examples of calculation Background and motivation 2 Definitions Domain and codomain of Z Extension of the LMO functor 3 Results and applications Main results Milnor invariants Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
21 Results and applications Main results Main results Theorem (N.) Z is a tensor-preserving functor having the following properties: Z(M, σ, m) = exp (Lk B (γ)/2) Z Y (M, σ, m), Remark Z is universal among rational-valued finite-type invariants. Lk B (γ) is suitably defined and belongs to Sym π0 (γ)( 1 2 Z). ( ) log Z = (i-deg > 2), ( ) 0 1/2 Lk [ 1,1] 3(γ) = =. 1/ Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
22 Results and applications Milnor invariants String links A string link (B, σ) on l strands is, for example, the figure on the right. MJ Figure 7 : An extension of the Milnor-Johnson correspondence S fr l := {string link (B, σ) on l strands H (B) = H ([ 1, 1] 3 )}. Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
23 Results and applications Milnor invariants Milnor invariants (B, σ) S := B \ N(σ) and s : (D l [ 1, 1]) S. D l := x 1 x l. ϖ 1 = ϖ := π 1 (D l, ), ϖ n := [ϖ n 1, ϖ]. The monoid homomorphism A n : Sl fr Aut(ϖ/ϖ n+1 ) defined by (B, σ) s, 1 s +, is called the nth Artin representation (n 1). Definition (Milnor invariant) The nth Milnor invariant is the monoid homomorphism µ n : Sl fr[n](:= Ker A n) ϖ/ϖ 2 Z ϖ n /ϖ n+1 defined by µ n (B, σ) := l x i s, (λ 1 i ), where λ i is the longitude determined by the framing of σ. i=1 Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
24 Results and applications Milnor invariants µ n (B, σ) (n 2) is regarded as a linear combination µ A n (B, σ) of connected tree Jacobi diagrams via the following commutative diagram. Im µ n (ϖ/ϖ 2 ϖ n /ϖ n+1 ) Q 0 A t,c n 1 ( l ) η n 1 Q l Q Lie n ( l ) [, ] Lie n+1 ( l ) 0 η n 1 is defined by D v (color of v) comm(d v), where v runs over all external vertices in D. Example (l = 3, n = 2) D 1 := = = 1 η 1 x1 [x 2, x 3 ] + x 2 [x 3, x 1 ] + x 3 [x 1, x 2 ]. Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
25 Results and applications Milnor invariants The first non-vanishing Milnor invariant of ([ 1, 1] 3, σ) is determined by the first non-trivial term of (χ 1 π 0 (σ) Z K (σ)) Y,t and vice versa (Habegger-Masbaum, 00). The same holds for (χ 1 π 0 (σ) Z K-LMO (B, σ)) Y,t (Moffatt, 06). The same is true for Z Y,t (MJ 1 (B, σ)) [CHM08]. Theorem (N.) Let w Mon(, ) and (B, σ) S fr 2 w + w. Then, the first non-vanishing Milnor invariant of (B, σ) is determined by the first non-trivial term of Z Y,t (MJ 1 w (B, σ)) and vice versa. Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
26 Results and applications Milnor invariants Example (Borromean rings) σ = ([ 1, 1] 3, σ): the string link illustrated in Figure 7 MJ 1 (σ) = ψ, ψ,. Using the functoriality of Z, we have log Z Y (MJ 1 (σ)) = (i-deg > 1). 1 By the above theorem, we conclude µ A 2 (σ) = D 1, and its image by Id ϖ/ϖ2 θ 2 is x 1 ( (1 + X 3 )(1 + X 2 )(1 + X 3 ) 1 (1 + X 2 ) 1) deg=2 + (cyclic...) = x 1 (X 3 X 2 X 2 X 3 ) + (cyclic permutations). Therefore, µ σ (j 1, j 2 ; i) = { sgn(j 1 j 2 i) if {j 1, j 2, i} = {1, 2, 3}, 0 otherwise. Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
27 Results and applications Milnor invariants Future research I would like to investigate the functor Z and find applications of it. 1 Introduction Examples of calculation Background and motivation 2 Definitions Domain and codomain of Z Extension of the LMO functor 3 Results and applications Main results Milnor invariants Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, / 27
An extension of the LMO functor and Milnor invariants
An extension of the LMO functor and Milnor invariants Yuta Nozaki The University of Tokyo October 27, 205 Topology and Geometry of Low-dimensional Manifolds Y. Nozaki (The Univ. of Tokyo) Ext. of the LMO
More informationarxiv:q-alg/ v1 26 Aug 1997
The Casson-Walker-Lescop Invariant as a Quantum 3-manifold Invariant by Nathan Habegger arxiv:q-alg/9708029v1 26 Aug 1997 UMR 6629 du CNRS, Université de Nantes Département de Mathématiques Nantes, FRANCE
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 informationVassiliev Invariants, Chord Diagrams, and Jacobi Diagrams
Vassiliev Invariants, Chord Diagrams, and Jacobi Diagrams By John Dougherty X Abstract: The goal of this paper is to understand the topological meaning of Jacobi diagrams in relation to knot theory and
More informationA REAPPEARENCE OF WHEELS
A REAPPEARENCE OF WHEELS STAVROS GAROUFALIDIS Abstract. Recently, a number of authors [KS, Oh2, Ro] have independently shown that the universal finite type invariant of rational homology 3-spheres on the
More informationTHE ÅRHUS INTEGRAL OF RATIONAL HOMOLOGY 3-SPHERES III: THE RELATION WITH THE LE-MURAKAMI-OHTSUKI INVARIANT
THE ÅRHUS INTEGRAL OF RATIONAL HOMOLOGY 3-SPHERES III: THE RELATION WITH THE LE-MURAKAMI-OHTSUKI INVARIANT DROR BAR-NATAN, STAVROS GAROUFALIDIS, LEV ROZANSKY, AND DYLAN P. THURSTON This is a DRAFT. Do
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
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 informationHabilitation à diriger des recherches
INSTITUT DE RECHERCHE MATHÉMATIQUE AVANCÉE Habilitation à diriger des recherches UMR 7501 Strasbourg Université de Strasbourg Spécialité MATHÉMATIQUES Gwénaël Massuyeau Quelques aspects de la théorie des
More informationJacobi Identities in Low-dimensional Topology
Jacobi Identities in Low-dimensional Topology James Conant, Rob Schneiderman and Peter Teichner Abstract The Jacobi identity is the key relation in the definition of a Lie algebra. In the last decade,
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 informationA formula for the action of Dehn twists on the HOMFLY-PT type skein algebra and its application
A formula for the action of Dehn twists on the HOMFLY-PT type skein algebra and its application Shunsuke Tsuji The university of Tokyo S Tsuji (Univ of Tokyo) Completed skein algebras 1 / 33 Outline of
More informationHyperbolic Knots and the Volume Conjecture II: Khov. II: Khovanov Homology
Hyperbolic Knots and the Volume Conjecture II: Khovanov Homology Mathematics REU at Rutgers University 2013 July 19 Advisor: Professor Feng Luo, Department of Mathematics, Rutgers University Overview 1
More informationRIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan
RIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan On multiframings of 3 manifolds Tatsuro Shimizu 1
More informationSURGERY EQUIVALENCE AND FINITE TYPE INVARIANTS FOR HOMOLOGY 3-SPHERES L. FUNAR Abstract. One considers two equivalence relations on 3-manifolds relate
SURGERY EQUIVALENCE AND FINITE TYPE INVARIANTS FOR HOMOLOGY 3-SPHERES L. FUNAR Abstract. One considers two equivalence relations on 3-manifolds related to nite type invariants. The rst one requires to
More informationAdvancement to Candidacy. Patterns in the Coefficients of the Colored Jones Polynomial. Katie Walsh Advisor: Justin Roberts
5000 10 000 15 000 3 10 12 2 10 12 1 10 12 Patterns in the Coefficients of the Colored Jones Polynomial 1 10 12 Advisor: Justin Roberts 2 10 12 3 10 12 Introduction Knots and Knot Invariants The Jones
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 informationCS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a
Q: What s purple and commutes? A: An abelian grape! Anonymous Group Theory Last lecture, we learned about a combinatorial method for characterizing spaces: using simplicial complexes as triangulations
More informationWSGP 19. Dror Bar-Natan From astrology to topology via Feynman diagrams and Lie algebras
WSGP 19 Dror Bar-Natan From astrology to topology via Feynman diagrams and Lie algebras In: Jan Slovák and Martin Čadek (eds.): Proceedings of the 19th Winter School "Geometry and Physics". Circolo Matematico
More informationON KIRBY CALCULUS FOR NULL-HOMOTOPIC FRAMED LINKS IN 3-MANIFOLDS
ON KIRBY CALCULUS FOR NULL-HOMOTOPIC FRAMED LINKS IN 3-MANIFOLDS KAZUO HABIRO AND TAMARA WIDMER Abstract. Kirby proved that two framed links in S 3 give orientationpreserving homeomorphic results of surgery
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 informationINERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS. Osaka Journal of Mathematics. 53(2) P.309-P.319
Title Author(s) INERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS Ramesh, Kaslingam Citation Osaka Journal of Mathematics. 53(2) P.309-P.319 Issue Date 2016-04 Text Version publisher
More informationThe Goodwillie-Weiss Tower and Knot Theory - Past and Present
The Goodwillie-Weiss Tower and Knot Theory - Past and Present Dev P. Sinha University of Oregon June 24, 2014 Goodwillie Conference, Dubrovnik, Croatia New work joint with Budney, Conant and Koytcheff
More informationPULLING APART 2-SPHERES IN 4 MANIFOLDS
PULLING APART 2-SPHERES IN 4 MANIFOLDS ROB SCHNEIDERMAN AND PETER TEICHNER Abstract. An obstruction theory for representing homotopy classes of surfaces in 4 manifolds by immersions with pairwise disjoint
More informationToward universality in degree 2 of the Kricker lift of the Kontsevich integral and the Lescop equivariant invariant
Toward universality in degree of the Kricker lift of the Kontsevich integral and the Lescop equivariant invariant Benjamin Audoux, Delphine Moussard To cite this version: Benjamin Audoux, Delphine Moussard
More informationDEFINITIONS: OPERADS, ALGEBRAS AND MODULES. Let S be a symmetric monoidal category with product and unit object κ.
DEFINITIONS: OPERADS, ALGEBRAS AND MODULES J. P. MAY Let S be a symmetric monoidal category with product and unit object κ. Definition 1. An operad C in S consists of objects C (j), j 0, a unit map η :
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 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 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 informationLink homology and categorification
Link homology and categorification Mikhail Khovanov Abstract. This is a short survey of algebro-combinatorial link homology theories which have the Jones polynomial and other link polynomials as their
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 informationEvaluation of sl N -foams. Workshop on Quantum Topology Lille
Evaluation of sl N -foams Louis-Hadrien Robert Emmanuel Wagner Workshop on Quantum Topology Lille a b a a + b b a + b b + c c a a + b + c a b a a + b b a + b b + c c a a + b + c Definition (R. Wagner,
More informationThe Maslov Index. Seminar Series. Edinburgh, 2009/10
The Maslov Index Seminar Series Edinburgh, 2009/10 Contents 1 T. Thomas: The Maslov Index 3 1.1 Introduction: The landscape of the Maslov index............... 3 1.1.1 Symplectic vs. projective geometry...................
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 informationRemark Grassmann algebra Λ V is clearly supercommutative.
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 a perfect score, a student
More informationExotic spheres and topological modular forms. Mark Behrens (MIT) (joint with Mike Hill, Mike Hopkins, and Mark Mahowald)
Exotic spheres and topological modular forms Mark Behrens (MIT) (joint with Mike Hill, Mike Hopkins, and Mark Mahowald) Fantastic survey of the subject: Milnor, Differential topology: 46 years later (Notices
More informationEndomorphism Rings of Abelian Varieties and their Representations
Endomorphism Rings of Abelian Varieties and their Representations Chloe Martindale 30 October 2013 These notes are based on the notes written by Peter Bruin for his talks in the Complex Multiplication
More informationTwisted Higher Rank Graph C*-algebras
Alex Kumjian 1, David Pask 2, Aidan Sims 2 1 University of Nevada, Reno 2 University of Wollongong East China Normal University, Shanghai, 21 May 2012 Introduction. Preliminaries Introduction k-graphs
More informationHIGHER HOLONOMY OF FORMAL HOMOLOGY CONNECTIONS AND BRAID COBORDISMS
HIGHER HOLONOMY OF FORMAL HOMOLOGY CONNECTIONS AND BRAID COBORDISMS TOSHITAKE KOHNO Abstract We construct a representation of the homotopy 2-groupoid of a manifold by means of K-T Chen s formal homology
More information3-manifold Invariants and TQFT s
3-manifold Invariants and TQFT s Sean Pohorence January 2016 Topological quantum field theories (TQFT s) can be motivated by physicists approach using the path integral (partition function) in quantum
More informationTransverse geometry. consisting of finite sums of monomials of the form
Transverse geometry The space of leaves of a foliation (V, F) can be described in terms of (M, Γ), with M = complete transversal and Γ = holonomy pseudogroup. The natural transverse coordinates form the
More informationGauge Theory and Mirror Symmetry
Gauge Theory and Mirror Symmetry Constantin Teleman UC Berkeley ICM 2014, Seoul C. Teleman (Berkeley) Gauge theory, Mirror symmetry ICM Seoul, 2014 1 / 14 Character space for SO(3) and Toda foliation Support
More informationThese slides available at joyce/talks.html
Kuranishi (co)homology: a new tool in symplectic geometry. II. Kuranishi (co)homology Dominic Joyce Oxford University, UK work in progress based on arxiv:0707.3572 v5, 10/08 summarized in arxiv:0710.5634
More informationµ INVARIANT OF NANOPHRASES YUKA KOTORII TOKYO INSTITUTE OF TECHNOLOGY GRADUATE SCHOOL OF SCIENCE AND ENGINEERING 1. Introduction A word will be a sequ
µ INVARIANT OF NANOPHRASES YUKA KOTORII TOKYO INSTITUTE OF TECHNOLOGY GRADUATE SCHOOL OF SCIENCE AND ENGINEERING 1. Introduction A word will be a sequence of symbols, called letters, belonging to a given
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 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 informationRE-NORMALIZED LINK INVARIANTS FROM THE UNROLLED QUANTUM GROUP. 1. Introduction
RE-NORMALIZED LINK INARIANS FROM HE UNROLLED QUANUM GROUP NAHAN GEER 1 Introduction In the last several years, C Blanchet, F Costantino, B Patureau, N Reshetikhin, uraev and myself (in various collaborations)
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 informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More informationarxiv:math/ v1 [math.gt] 13 Jun 2005
arxiv:math/0506229v1 [math.gt] 13 Jun 2005 LINK HOMOLOGY AND UNORIENTED TOPOLOGICAL QUANTUM FIELD THEORY VLADIMIR TURAEV AND PAUL TURNER ABSTRACT. We investigate Khovanov homology of stable equivalence
More informationM ath. Res. Lett. 17 (2010), no. 1, 1 10 c International Press 2010 ODD KHOVANOV HOMOLOGY IS MUTATION INVARIANT. Jonathan M. Bloom
M ath. Res. Lett. 17 (2010), no. 1, 1 10 c International Press 2010 ODD KHOVANOV HOMOLOGY IS MUTATION INVARIANT Jonathan M. Bloom Abstract. We prove that odd Khovanov homology is mutation invariant over
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 informationAN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE
AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE FRANCIS BROWN Don Zagier asked me whether the Broadhurst-Kreimer conjecture could be reformulated as a short exact sequence of spaces of polynomials
More informationDerived Differential Geometry
Derived Differential Geometry Lecture 1 of 3: Dominic Joyce, Oxford University Derived Algebraic Geometry and Interactions, Toulouse, June 2017 For references, see http://people.maths.ox.ac.uk/ joyce/dmanifolds.html,
More informationChapter 3: Homology Groups Topics in Computational Topology: An Algorithmic View
Chapter 3: Homology Groups Topics in Computational Topology: An Algorithmic View As discussed in Chapter 2, we have complete topological information about 2-manifolds. How about higher dimensional manifolds?
More information1 Hochschild Cohomology and A : Jeff Hicks
1 Hochschild Cohomology and A : Jeff Hicks Here s the general strategy of what we would like to do. ˆ From the previous two talks, we have some hope of understanding the triangulated envelope of the Fukaya
More informationFINITE TYPE INVARIANTS OF INTEGRAL HOMOLOGY 3-SPHERES: A SURVEY
KNOT THEORY BANACH CENTER PUBLICATIONS, VOLUME 42 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1998 FINITE TYPE INVARIANTS OF INTEGRAL HOMOLOGY 3-SPHERES: A SURVEY XIAO-SONG LIN Department
More informationLecture 4 Super Lie groups
Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is
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 informationBinary Trees, Geometric Lie Algebras, and Operads
Binary Trees, Geometric Lie Algebras, and Operads Ben West May 4, 2016 1 The moduli space of binary trees and the welding operation Let T be a binary tree. We put a total ordering on its nodes as follows.
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 informationHomological representation formula of some quantum sl 2 invariants
Homological representation formula of some quantum sl 2 invariants Tetsuya Ito (RIMS) 2015 Jul 20 First Encounter to Quantum Topology: School and Workshop Tetsuya Ito (RIMS) Homological representation
More informationarxiv:math/ v1 [math.gt] 2 Nov 1999
A MOVE ON DIAGRAMS THAT GENERATES S-EQUIVALENCE OF KNOTS Swatee Naik and Theodore Stanford arxiv:math/9911005v1 [math.gt] 2 Nov 1999 Abstract: Two knots in three-space are S-equivalent if they are indistinguishable
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 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 informationBernhard Keller. University Paris 7 and Jussieu Mathematics Institute. On differential graded categories. Bernhard Keller
graded graded University Paris 7 and Jussieu Mathematics Institute graded Philosophy graded Question: What is a non commutative (=NC) scheme? Grothendieck, Manin,... : NC scheme = abelian category classical
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationLecture II: Curve Complexes, Tensor Categories, Fundamental Groupoids
Lecture II: Curve Complexes, Tensor Categories, Fundamental Groupoids 20 Goal The aim of this talk is to relate the concepts of: divisor at infinity on the moduli space of curves fundamental group(oid)
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationTHANG T. Q. LE. Curriculum Vitae. date: 01/2007. School of Mathematics Office: (1-404) Georgia Institute of Technology Fax: (1-404)
THANG T. Q. LE Curriculum Vitae date: 01/2007 School of Mathematics Office: (1-404) 385-0054 Georgia Institute of Technology Fax: (1-404) 894-4409 Atlanta, GA 30332-0160 E-mail: letu@math.gatech.edu USA
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 informationA geometric solution of the Kervaire Invariant One problem
A geometric solution of the Kervaire Invariant One problem Petr M. Akhmet ev 19 May 2009 Let f : M n 1 R n, n = 4k + 2, n 2 be a smooth generic immersion of a closed manifold of codimension 1. Let g :
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
More informationEQUIVARIANT AND NONEQUIVARIANT MODULE SPECTRA
EQIVARIANT AND NONEQIVARIANT MODLE SPECTRA J. P. MAY Abstract. Let be a compact Lie group, let R be a commutative algebra over the sphere -spectrum S, and let R be its underlying nonequivariant algebra
More informationarxiv: v2 [math.gt] 27 Mar 2009
ODD KHOVANOV HOMOLOGY IS MUTATION INVARIANT JONATHAN M. BLOOM arxiv:0903.3746v2 [math.gt] 27 Mar 2009 Abstract. We define a link homology theory that is readily seen to be both isomorphic to reduced odd
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 information1 Differentiable manifolds and smooth maps
1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set
More informationDraft: November 3, 2012 MUTATION AND THE CHARACTERISTIC-2 RASMUSSEN INVARIANT
MUTATION AND THE CHARACTERISTIC-2 RASMUSSEN INVARIANT THOMAS C. JAEGER Abstract. We show that Khovanov s universal sl(2) homology with coefficients in F 2 is invariant under component-preserving mutation.
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationOn denominators of the Kontsevich integral and the universal perturbative invariant of 3-manifolds
Invent. math. 135, 689±722 (1999) DOI 10.1007/s002229800892 On denominators of the Kontsevich integral and the universal perturbative invariant of 3-manifolds Thang T.Q. Le Department of Mathematics, SUNY
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 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 informationProjective Dehn twist
Spherical Dehn twist Spherical vs Projective and more Institute for Advanced Study September 23, 2016 Spherical Dehn twist Spherical vs Projective and more Symplectic manifolds A symplectic manifold (M
More informationQuantum Groups. Jesse Frohlich. September 18, 2018
Quantum Groups Jesse Frohlich September 18, 2018 bstract Quantum groups have a rich theory. Categorically they are wellbehaved under the reversal of arrows, and algebraically they form an interesting generalization
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
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 informationD-MODULES: AN INTRODUCTION
D-MODULES: AN INTRODUCTION ANNA ROMANOVA 1. overview D-modules are a useful tool in both representation theory and algebraic geometry. In this talk, I will motivate the study of D-modules by describing
More informationA surgery formula for the 2-loop piece of the LMO invariant of a pair
ISSN 464-8997 on line) 464-8989 printed) 6 Geometry & Topology Monographs Volume 4: Invariants of knots and 3-manifolds Kyoto 00) Pages 6 8 A surgery formula for the -loop piece of the LMO invariant of
More informationAlgebraic Cobordism. 2nd German-Chinese Conference on Complex Geometry East China Normal University Shanghai-September 11-16, 2006.
Algebraic Cobordism 2nd German-Chinese Conference on Complex Geometry East China Normal University Shanghai-September 11-16, 2006 Marc Levine Outline: Describe the setting of oriented cohomology over a
More informationNONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) aar. Heidelberg, 17th December, 2008
1 NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Heidelberg, 17th December, 2008 Noncommutative localization Localizations of noncommutative
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 informationBackground and history. Classifying exotic spheres. A historical introduction to the Kervaire invariant problem. ESHT boot camp.
A historical introduction to the Kervaire invariant problem ESHT boot camp April 4, 2016 Mike Hill University of Virginia Mike Hopkins Harvard University Doug Ravenel University of Rochester 1.1 Mike Hill,
More informationA UNIFIED WITTEN-RESHETIKHIN-TURAEV INVARIANT FOR INTEGRAL HOMOLOGY SPHERES
A UNIFIED WITTEN-RESHETIKHIN-TURAEV INVARIANT FOR INTEGRAL HOMOLOGY SPHERES KAZUO HABIRO Abstract. We construct an invariant J M of integral homology spheres M with values in a completion Z[] d of the
More informationarxiv:math/ v2 [math.gt] 14 Nov 2005
GOUSSAROV-HABIRO THEORY FOR STRING LINKS AND THE MILNOR-JOHNSON CORRESPONDENCE JEAN-BAPTISTE MEILHAN arxiv:math/0402035v2 [math.gt] 14 Nov 2005 Abstract. We study the Goussarov-Habiro finite type invariants
More information9. The Lie group Lie algebra correspondence
9. The Lie group Lie algebra correspondence 9.1. The functor Lie. The fundamental theorems of Lie concern the correspondence G Lie(G). The work of Lie was essentially local and led to the following fundamental
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 informationMirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere
Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere A gift to Professor Jiang Bo Jü Jie Wu Department of Mathematics National University of Singapore www.math.nus.edu.sg/ matwujie
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 informationarxiv: v2 [math.at] 18 Sep 2008
TOPOLOGICAL HOCHSCHILD AND CYCLIC HOMOLOGY FOR DIFFERENTIAL GRADED CATEGORIES arxiv:0804.2791v2 [math.at] 18 Sep 2008 GONÇALO TABUADA Abstract. We define a topological Hochschild (THH) and cyclic (TC)
More information