4 hours lecture + 2 hours exercise session

(In der Prüfungsordnung erscheint diese Vorlesung unter Modul M40: Ausgewählte Themen der Mathematik)

Winter term 2019/2020

Veranstaltungsnummer: 3314514

First lecture: 15.10.2019

**Exercise session:** Fridays 11:00-13:00 in room 1.012 (RUD 25)

Veranstaltungsnummer: 33145141

First exercise session: 18.10.2019

*19.09.2019*: The first lecture will take place on Tueday 15.10.2019 and the first exercise session will take place on Friday 18.10.2019. This course is a BMS course and is therefore held in English.*16.10.2019*: After discussion in the first lecture, lectures on Friday will take place from 9:30-11:00 (the availability of the same lecture room is confirmed and change is reflected on AGNES) then exercise session will go from 11:00-13:00.*31.10.2019*: The exercise sessions will happen precisely during the weeks when there is no Math+ BMS Friday event/lecture. Here we regard BMS event as an extended exercise session for us. If necessary, this might change later occasionally when more exercises need to be explained, and the lecturer will annouce on the Tuesdays of those weeks.

Higher structures are much richer than numerical invariants and can in themselves be regarded as geometric objects, which are sometimes even conjectured to faithfully represent the original geometric objects, e.g. in mirror symmetry and noncommutative geometry. At a more basic level, they provide a framework for understanding what invariant information one has captured, and for parametrizing the inductive constructions one hopes to carry out. Understanding and constructing higher structures is an active field of research and under rapid development. I hope to cover some aspects of the above story.

The following will provide some concrete topics and key words: I hope to cover the classical higher Massey product (as a better way to capture the ring structure on cohomology), and its "quantum" analogue in the Fukaya A-infinity algebra/category, the latter being an important symplectic invariant that provides bridges to other vastly different subjects. As an A-infinity structure is the first basic infinity structure, I will provide various viewpoints on it. I hope to cover the interaction of product and coproduct in the involutive bi-Lie infinity algebra of Cieliebak-Fukaya-Latschev, which connects string topology with symplectic field theory and the higher genus Fukaya category (and all three pictures can co-exist). Supplementary to this concrete description, I also hope to cover the recent conceptual treatment by Campos-Merkulov-Willwacher of a similar topic: the Frobenius properad satisfies Koszul duality. As a last topic, when a symplectic manifold is Kähler and equipped with a holomorphic Morse function, there is also a deep conjectural infinity-structure uncovered by physicists Gaiotto-Moore-Witten and mathematicians Kapranov-Kontsevich-Soibelman on a Fukaya category.

Exercise 1 (pdf)

Exercise 2 (pdf)

Exercise 3 (pdf)

Lecture 1 (15/10/2019): Homotopy transfer via homotopy retract from DGA. Introduction to A infinity algebra. Higher Massey products. Lecture note 1 (pdf)

Lecture 2 (18/10/2019): Loop product and coproduct on geometric chains of a loop space as an example to illustrate situations where associativity up to homotopy naturally arises. Transversality issues and reparametrization discussed. Expected Frobenius infinity compatibility not discussed yet.

Lecture 3 (22/10/2019): Universal property of tensor product. Koszul sign convention in differential graded context. Definition of A infinity algebra with correct signs. Tensor coalgebra (without unit) of the shifted graded (free) module and square 0 coderivation of degree 1 as an alternative definition, which explains the signs in the A infinity relation as an instance of the Koszul convention.

Lecture 4 (25/10/2019): Third interpretation of A infinity algebra, as a self-bracketing 0 (namely, homological) vector field on a non-commutative formal manifold in Kontsevich-Soibelman's viewpoint. A infinity morphisms (in two ways), composition being strictly associative.

Lecture 5 (29/10/2019): A infinity morphism as exponential, homotopy between two A infinity morphisms (in two ways), homological perturbation lemma, transfer by a formal diffeomorphism, quasi-isomorphisms are invertible up to homotopy. Three notions of units and equivalences.

Lecture 6 (1/11/2019): Formality. As an example to illustrate how to work with A infinity algebra and the transfer (by a formal diffeomorphism which is identity up to a certain order), we did a formality theorem due to Seidel that for an A infinity algebra (over field of characteristic 0) equipped with an Euler vector field (which is Hochschild 1-cocycle whose first term acts homologically on degree k homogeneous elements by multiplying by k). The notion of vector field here is different to that in Lecture 4, and will be made precise later. Another classical formality result is left as a guided exercise in Exercise sheet 4, to appear.

Lecture 7 (5/11/2019): Some introductory discussion on the Fukaya algebra associated to a compact relatively spin Lagrangian in a compact symplectic manifold. Curved A infinity algebra.

Lecture 1: We borrow from Part 1 of Vallette's https://arxiv.org/abs/1202.3245, but changed into cochain conventions for strict associativity of singular/de Rham cochains. (Remark: The C infinity algebra on cohomology is a complete invariant for simply connected rational homotopy type is a result of Kadeishvili in 2008, https://arxiv.org/abs/0811.1655.)

Lecture 2: Some background of string topology operations and compatibility can be found in Chas-Sullivan's https://arxiv.org/abs/9911159 and Sullivan's status on string topology circa 2007 at https://arxiv.org/abs/0710.4141. (Stasheff polytopes will be dicussed in detail later, as planer rooted trees, as Deligne-Mumford moduli for disks with boundary marked point, as the secondary polytope of a convex polygon.) Typed note for materials covered in the lecture will be provided here soon. (Lecturer's research preprint (with Manuel Rivera) contains a rigorous construction of coproduct that is closest to the geometric picture we discussed and its co-A infinity structure. Might touch upon it later after the preprint is polished and posted.)

Lecture 3: Definition of A infinity algebra can be found in Fukaya-Oh-Ohta-Ono's book 1 on Lagrangian Intersection Floer theory, and Seidel's EMS book on Fukaya categories and Picard-Lefschetz Theory. Some details of tensor coalgebra can be found in 1.2 of Loday-Vallette's Algebraic Operads. (Please read it only after attempting the last exercise in Exercise sheet 2.)

Lecture 4: For A infinity structure as a homological vector field on a non-commutative formal manifold, see Kontsevich-Soibelman's https://arxiv.org/abs/math/0606241 (which elaborates on the functor of points) as well as Cho-Lee's https://arxiv.org/abs/1002.3653.

Lecture 5: Seidel's Fukaya categories and Picard-Lefschetz Theory and Fukaya-Oh-Ohta-Ono's book 1 on Lagrangian Intersection Floer theory.

Lecture 6: Theorem 2.6 in Abouzaid-Smith's paper https://arxiv.org/abs/1311.5535.