Related papers: A Free Frobenius Bialgebra Structure of Differenti…

Let $f\colon M \to M$ be a uniformly quasiregular self-mapping of a compact, connected, and oriented Riemannian $n$-manifold $M$ without boundary, $n\ge 2$. We show that, for $k \in \{0,\ldots, n\}$, the induced homomorphism $f^* \colon…

In this article we describe an algebraic framework which can be used in three related but different contexts: string topology, symplectic field theory, and Lagrangian Floer theory of higher genus. It turns out that the relevant algebraic…

We introduce a strong homotopy notion of a cyclic symmetric inner product of an A-infinity algebra and prove a characterization theorem in the formalism of the infinity inner products by Tradler. We also show that it is equivalent to the…

Let $M$ be a compact oriented $d$-dimensional smooth manifold and $X$ a topological space. Chas and Sullivan \cite{Chas-Sullivan:stringtop} have defined a structure of Batalin-Vilkovisky algebra on $\mathbb{H}_*(LM):=H_{*+d}(LM)$. Getzler…

In their previous works arXiv:2105.11026, arXiv:2206.10749, Cristofaro-Gardiner, Humili\`ere, Mak, Seyfaddini and Smith defined links spectral invariants on connected compact surfaces and used them to show various results on the algebraic…

In the present paper by Frobenius algebra Y we mean a finite dimensional algebra possessing an associative and invertible (nondegenerate) form a scalar product, referred to as the Frobenius structure. The nondegenerate form has an inverse.…

We study a special type of $E_\infty$-operads that govern strictly unital $E_\infty$-coalgebras (and algebras) over the ring of integers. Morphisms of coalgebras over such an operad are defined by using universal $E_\infty$-bimodules. Thus…

We develop square zero obstruction theory for modules over $\mathbb{E}_1$-algebras in an arbitrary stable (presentably) monoidal $\infty$-category. We explicitly describe the obstruction element as the homotopy class of a canonically…

Let M denote the space of Borel probability measures on the real line. For every nonnegative t we consider the transformation $\mathbb B_t : M \to M$ defined for any given element in M by taking succesively the the (1+t) power with respect…

In this paper we prove an inverse function theorem in derived differential geometry. More concretely, we show that a morphism of curved $L_\infty$ spaces which is a quasi-isomorphism at a point has a local homotopy inverse. This theorem…

We conjecture an explicit formula for a cyclic analog of the Formality $L_{\infty}$-morphism [K]. We prove that its first Taylor component, the cyclic Hochschild-Kostant-Rosenberg map, is in fact a morphism (and a quasiisomorphism) of the…

Consider a sequence of compactly supported Hamiltonian diffeomorphisms $\phi_k$ of an exact symplectic manifold, all of which are "graphical" in the sense that their graphs are identified by a Darboux-Weinstein chart with the image of a…

We prove that the Seidel morphism of $(M \times M', \omega \oplus \omega')$ is naturally related to the Seidel morphisms of $(M,\omega)$ and $(M',\omega')$, when these manifolds are monotone. We deduce that any homotopy class of loops of…

Suppose M is a noncompact connected PL 2-manifold and let H(M)_0 denote the identity component of the homeomorphism group of M with the compact-open topology. In this paper we classify the homotopy type of H(M)_0 by showing that {\cal…

We introduce the holonomy-diffeomorphism algebra, a C*-algebra generated by flows of vectorfields and the compactly supported smooth functions on a manifold. We show that the separable representations of the holonomy-diffeomorphism algebra…

Given a Liouville manifold $M$, we introduce an invariant of $M$ that we call the Heegaard Floer symplectic cohomology $SH^*_\kappa(M)$ for any $\kappa \ge 1$ that coincides with the symplectic cohomology for $\kappa=1$. Writing $\hat{M}$…

In this paper we show that a strongly homotopy commutative (or $C_\infty$-) algebra with an invariant inner product on its cohomology can be uniquely extended to a symplectic $C_\infty$-algebra (an $\infty$-generalisation of a commutative…

We prove new structural results for the rational homotopy type of the classifying space $B\operatorname{aut}(X)$ of fibrations with fiber a simply connected finite CW-complex $X$. We first study nilpotent covers of $B\operatorname{aut}(X)$…

The singular set of a generic map $f: M\to F$ of a manifold $M$ of dimension $m\ge 2$ to an oriented surface $F$ is a closed smooth curve $\Sigma(f)$. We study the parity of the number of components of $\Sigma(f)$. The image $f(\Sigma)$ of…

We present several approaches to equivariant intersection cohomology. We show that for a complete algebraic variety acted by a connected algebraic group $G$ it is a free module over $H^*(BG)$. The result follows from the decomposition…