Danica Kosanović

Max-Planck Institut für Mathematik
Vivatsgasse 7, Bonn, DE 53111

I am a final year PhD student at the Max-Planck Insitut für Mathematik, under supervision of Peter Teichner. My studies are funded by the Max Planck Society, and I am a member of the International Max Planck Research School on Moduli Spaces (IMPRS). I have previously studied in Belgrade (Serbia) and Cambridge (UK).

My interests include knot theory, 4-manifolds, embedding calculus, operads, graph complexes.

For more details, see my CV, these slides or have a look at the tabs on the left.

From March till May 2020 I will be visiting IHES.

Upcoming talks

Knot invariants from homotopy theory @ Université de Lille

I like thinking about knots, 4-manifolds, surfaces inside, and in general about topology in low dimensions! However, I also believe that formalism and tools of higher topology, i.e. homotopy theory, higher categories, TQFT’s, operads, as well as combinatorics of Feynman diagrams and configuration spaces, should merge together to give even more insight about low-dimensional manifolds.

In my thesis I am studying finite type invariants of knots and their relation to the Goodwillie-Weiss embedding calculus. Below I give a short introduction into these topics.

Finite type invariants (often called Gusarov-Vassiliev, or just Vassiliev, invariants) give a certain filtration on the set of all invariants by their type. A dual point of view is, however, more geometric: there is a filtration on the monoid of knots itself, which arises by looking at a certain sequence of n-equivalence relations on knots. Then the n-th term of the filtration is comprised of knots which are n-equivalent to the unknot.

Connect-sum with Borromean rings

For example, two knots are 1-equivalent if they can be related by a sequence of crossing changes. This means that the first term in the filtration is equal to the whole monoid of knots! To get an idea about 2-equivalence, take a look at the operation on the left - grab some three strands of a knot and connect-sum them with the Borromean rings.

A completely different story is the Goodwillie-Weiss embedding calculus. When applied to the embedding functor of long knots $\mathcal{K}$ in the 3-space it yields a tower of spaces $\mathsf{T}_n$ together with evaluation maps $ev_n\colon\mathcal{K}\to\mathsf{T}_n$. These spaces turn out to be very interesting. For example, they can be shown to be double loop spaces of the mapping spaces between some (truncated) operads. Hence, their components form an abelian group and the evaluation map from knots gives a map on $\pi_0$ which turns out to be - a finite type invariant. It is conjectured to be universal such, in other words, the group of knots modulo relation of n-equivalence is isomorphic to $\pi_0\mathsf{T}_n$.

Therefore, the two stories should not be so separate after all. One unifying perspective is that of gropes. Namely, the trivalent vertices appearing in the diagrams for finite type theory (originating in quantum Chern-Simons theory) correspond to the Borromean rings, and the isotopy depicted below hints at how this in turn relates to gropes.

In the very last picture we clearly see a genus one surface with one boundary component emerging. This will represent the bottom stage of a grope.

Borromean rings isotopy


Space of gropes and the embedding calculus. In preparation.

Joint with Yuqing Shi and Peter Teichner.

A geometric approach to the embedding calculus knot invariants. (PhD thesis.)

The new version, which extends the surjectivity result to all 3-manifolds, will appear here soon.

Abstract. We prove that the invariants $ev_n\colon\pi_0\mathrm{Emb}_\partial(I,I^3)\to \pi_0\mathsf{T}_n$ of classical (long) knots arising from the Goodwillie-Weiss embedding calculus are surjective, which completes a missing case in the Goodwillie-Klein connectivity estimates and confirms a part of the conjecture by Budney-Conant-Koytcheff-Sinha that these are universal Vassiliev invariants over $\mathbb{Z}$. Crucial ingredients are our geometric understanding of $\mathsf{T}_n$, which we develop in general for $\mathrm{Emb}_\partial(I,M)$ where $M$ is any manifold with boundary, and an explicit interpretation of $ev_n$ when $\dim(M)=3$ from \cite{KST}, using capped grope cobordisms.

Actually, we prove a more general result: the first possibly non-vanishing embedding calculus invariant of a knot which is grope cobordant to the unknot is the equivalence class of the underlying tree of the grope. As a corollary, we confirm that these invariants are universal Vassiliev invariants over $\mathbb{Q}$, which factor configuration space integrals through the tower.

On Borromean link families in all dimensions. In preparation.

Joint with Peter Teichner.

Research talks and posters

21.4.2020 Online
Knot invariants from homotopy theory @ jointly Séminaire de l'équipe Topologie Algébrique, LAGA, Paris 13 and Séminaire de Topologie, IMJ-PRG, Paris 7, slides
A geometric approach to the embedding calculus @ Oberwolfach Workshop on Low-dimensional Topology
Knot invariants from homotopy theory @ Topology Seminar Bochum
Knot theory meets the embedding calculus @ Copenhagen Algebra/Topology Seminar
Нове технике у теорији утапања (New techniques in the theory of embeddings) @ Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrade
Knot theory meets the embedding calculus @ MPIM Topology Seminar, Bonn
Knots map onto components of the embedding calculus tower @ Spaces of Embeddings: Connections and Applications, Banff International Research Station, Canada
A gong show talk @ Workshop on 4-manifolds, MPIM Bonn
A gong show talk @ Knots and Braids in Norway (KaBiN), Trondheim
A geometric approach to embedding calculus @ Utrecht Geometry Center Seminar
Инваријанте чворова и конфигурациони простори (Knot invariants and configuration spaces) @ Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrade, slides (in Serbian)
Revisiting the Arf invariant @ Topology Seminar, MPIM Bonn
Extended evaluation maps from knots to the embedding tower @ Manifolds Workshop (part of Homotopy Harnessing Higher Structures Trimester) at Isaac Newton Institute, Cambridge, slides
Knot theory meets homotopy theory @ IMPRS Seminar, MPIM Bonn, slides
Grope cobordism and the embedding tower for knots @ ICM 2018 Satellite Conference: Braid Groups, Configuration Spaces and Homotopy Theory, in Salvador, Brazil
Feb 2018
Poster A homotopy theoretic approach to finite type knot invariants @ Winter Braids, CIRM, Luminy, France

Expository talks

On the paper by Bundey-Gabai about knotted 3-balls @ Online Student Seminar, notes
Watanabe's counting formula for classes in Diff(S^4) @ Hot Topic Seminar, MPIM
Milnor invariants and Whitney towers @ Milnor Invariants Learning Seminar, MPIM
July 2019
Introduction to Milnor link invariants and relation to Massey products @ Milnor Invariants Learning Seminar, MPIM
May 2019
Formality of little disks operads @ IMPRS seminar, MPIM
Sep/Oct 2018
Two talks about the paper of Ihara on automorphisms of pure sphere braid group @ GT learning seminar, MPIM
Apr/May 2018
Two talks on perturbative quantization and Chern-Simons theory for knots @ BV learning seminar, MPIM
Complex oriented cohomology theories @ Peter’s Seminar in Berkeley
Universal Knot Invariants @ The Chinese University of Hong Kong
How to draw a smooth 4−manifold? @ IMPRS seminar, MPIM
A categorical approach to quantum knot invariants @ Topology Seminar, MPIM
A survey of Witten-Reshetikhin-Turaev invariants of 3-manifolds @ Special Topology Seminar, MPIM
Topological reincarnations of the Arf invariant @ Cambridge Junior Geometry Tea Seminar, Cambridge, UK
Topological reincarnations of the Arf invariant @ Berkeley seminar

Milnor Invariants Learning Seminar (July & November 2019)

Ben Ruppik and I were organising a series of talks on Milnor invariants. Ben made a cool website which contains our notes and references.

Peter's and Aru's class on 4-manifolds (Winter Semester 2018)

I was giving tutorials for this class. Here is the page with the class notes and homework assignments.

1. Here are the level sets of the Boy's surface.

2. Here is the proof that Bing double of any knot is a boundary link: Bing

3. Here are solutions to some of the homework exercises we didn't have time to cover in the tutorials.

4. See also interior and boundary twists.