Related papers: Homotopy transfer theorem and KZB connections

We extend the rational homotopy theory of operads developed by B. Fresse to several types of modules over operads.

Homotopy links have proven to be one of the most powerful tools of stratified homotopy theory. In previous work, we described combinatorial models for the generalized homotopy links of a stratified simplicial set. For many purposes, in…

A knot type is exchange reducible if an arbitrary closed n-braid representative can be changed to a closed braid of minimum braid index by a finite sequence of braid isotopies, exchange moves and +/- destabilizations. In the manuscript [J…

A contact manifold admittting a supporting contact form without contractible Reeb orbits is called hypertight. In this paper we construct a Rabinowitz Floer homology associated to an arbitrary supporting contact form for a hypertight…

Kolmogorov's invariant torus theorem is proved using a simple fixed point theorem.

We prove that the parallel transport of a flat $n-1$-gerbe on any given target space gives rise to an $n$-dimensional extended homotopy quantum field theory. In case the target space is the classifying space of a finite group, we provide…

Homotopy type theory is a new branch of mathematics which merges insights from abstract homotopy theory and higher category theory with those of logic and type theory. It allows us to represent a variety of mathematical objects as basic…

We calculate the local Fourier transforms for connections on the formal punctured disk, corroborating the results of J. Fang and C. Sabbah using a different method. Our method is similar to Fang's, but more direct.

This paper proves Koszul duality for coloured operads and uses it to introduce strongly homotopy operads as a suitable homotopy invariant version of operads. It shows that rational chains on configuration spaces of points in the plane form…

We prove the following Hartogs-Bochner type theorem: Let $M$ be a connected $C^2$ hypersurface of $P_n(\mathbb{C})$ ($n\geq 2$) which divides $P_n(\mathbb{C})$ in two connected open sets $\Omega_1$ and $\Omega_2$. Then there exists $i \in…

We show that the Waldhausen trace map $\mathrm{Tr}_X \colon A(X) \to QX_+$, which defines a natural splitting map from the algebraic $K$-theory of spaces to stable homotopy, is natural up to \emph{weak} homotopy with respect to transfer…

We propose an axiomatic characterization of coarse homology theories defined on the category of bornological coarse spaces. We construct a category of motivic coarse spectra. Our focus is the classification of coarse homology theories and…

Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra). We prove…

A homotopy commutative algebra, or $C_{\infty}$-algebra, is defined via the Tornike Kadeishvili homotopy transfer theorem on the vector space generated by the set of Young tableaux with self-conjugated Young diagrams. We prove that this…

We prove a connectedness result for products of weighted projective spaces.

We consider the relationship between hyperbolic cone-manifold structures on surfaces, and algebraic representations of the fundamental group into a group of isometries. A hyperbolic cone-manifold structure on a surface, with all interior…

The Horizontal Chord Theorem states that if a continuous curve connects points $A$ and $B$ in the plane, then for any integer $k$ there are points $C$ and $D$ on the curve such that $\overrightarrow{AB}=k \overrightarrow{CD}$. In this note,…

We develop a homotopical variant of the classic notion of an algebraic theory as a tool for producing deformations of homotopy theories. From this, we extract a framework for constructing and reasoning with obstruction theories and spectral…

This paper gives an extension of the classical Zariski-van Kampen theorem describing the fundamental groups of the complements of plane singular curves by generators and relations. It provides a procedure for computation of the first…

We prove the existence of essential loops in the space of contact structures on torus bundles over the circle.