arXiv research

The paper proves a generalized inverse function theorem for curved $L_\infty$ spaces.

Simple construction of Rumin algebra for contact manifolds.

The paper proves a category of dg manifolds with finite positive amplitude.

Analyzes string topology operations using Chen's integrals and homotopy transfer.

Develops derived differential geometry theory.

Researchers prove an $L$-theoretic signature transfer in codimension 2.

By considering homotopies that preserve the stratification, one obtains a natural notion of homotopy for stratified spaces. In this short note, we introduce invariants of stratified homotopy, the stratified homotopy groups. We show that they satisify a stratified version of Whitehead's theorem. As an example, we introd…

Proves Poincaré surgery theorem using homotopy theory.

Homotopy momentum map extends Noether's theorem in general relativity.

Study homotopy types of free racks and quandles, proving analogs of Milnor's theorem.

This paper reinterprets Khovanov-Sano symmetries using BV formalism.

New proofs and refined theorems on bounded cohomology.

Paper calculates homotopy types of non-compact surfaces using groupoids.

Inverse function theorem and homotopy description for L-infinity bundles.

In this paper a geometric approach toward stable homotopy groups of spheres, based on the Pontrjagin-Thom construction is proposed. From this approach a new proof of Hopf Invariant One Theorem by J.F.Adams for all dimensions except $15,31,63,127$ is obtained. It is proved that for $n>127$ in the stable homotopy group o…

Satellite formula connects knot concordance invariants to surgery.

Let p be an odd regular prime, and assume that the Lichtenbaum-Quillen conjecture holds for K(Z[1/p]) at p. Then the p-primary homotopy type of the smooth Whitehead spectrum Wh(*) is described. A suspended copy of the cokernel-of-J spectrum splits off, and the torsion homotopy of the remainder equals the torsion homoto…

Paper constructs a transfer map for codimension 2 submanifolds in higher index theory.

Coarse homotopy theory connects Euclidean cones to shape theory of compact spaces.

Homotopy connectedness theorems for complex submanifolds of homogeneous spaces (sometimes referred to as theorems of Barth-Lefshetz type) have been established by a number of authors. Morse Theory on the space of paths lead to an elegant proof of homotopy connectedness theorems for complex submanifolds of Hermitian sym…

Stable approach solves equivariant Hopf theorem for G-manifolds.

Global homotopies upgrade classical map in differential geometry.

Geometric models for representations up to homotopy using simplicial vector bundles.

Novikov theorem extended to rational Pontryagin classes for cyclic group $C_4$.

New method encodes manifold homotopy types into algebra structures, extending previous bounds.

Homotopy operators help describe structures in equivariant deformation problems.

DM improves self-supervised transfer learning by matching target distributions.

We record various properties of twisted Becker-Gottlieb transfer maps and study their multiplicative properties analogous to Becker-Gottlieb transfer. We show these twisted transfer maps factorise through Becker-Schultz-Mann-Miller-Miller transfer; some of these might be well known. We apply this to show that $BSO(2n+1…

We compute the homotopy type of the space of proper d-dimensional submanifolds of ${\mathbb R}^n$ with a smooth version of the Fell topology. Our methods allow us to compute the homotopy type of the space of submanifolds with summable labels too, and to give a new proof of the Galatius--Randal-Williams theorem on the h…

We prove a "gluing" theorem for monotone homotopies; a monotone homotopy is a homotopy through simple contractible closed curves which themselves are pairwise disjoint. We show that two monotone homotopies which have appropriate overlap can be replaced by a single monotone homotopy. The ideas used to prove this theorem…

We show that a regular cover of a general topological space provides structure similar to a triangulation. In this general setting we define analogues of simplicial maps and prove their existence and uniqueness up to homotopy. As an application we give simple proofs of sharpened versions of nerve theorems of K. Borsuk …

Flat torus triangulations' space is homotopy equivalent to a torus.

We provide an interpretation of the APS index theorem of Piazza-Schick and Zeidler in terms of coarse homotopy theory. On the one hand we propose a motivic version of the boundary value problem, the index theorem, and the associated secondary invariants. On the other hand, we discuss in detail how the abstract version …

We prove that an open 3-manifold proper homotopy equivalent to a geometrically simply connected polyhedron is simply connected at infinity, generalizing a theorem of V.Poenaru.

New algebraic structure derived from Kähler manifolds.

Using technique of wheeled props we establish a correspondence between the homotopy theory of unimodular Lie 1-bialgebras and the famous Batalin-Vilkovisky formalism. Solutions of the so called quantum master equation satisfying certain boundary conditions are proven to be in 1-1 correspondence with representations of …

In this paper we prove a tertiary index theorem which relates a spectral geometric and a homotopy theoretic invariant of an almost complex manifold with framed boundary. It is derived from the index theoretic and homotopy theoretic versions of a complex elliptic genus and interestingly related with the structure of the…

Study quantifies convergence of Alexandrov spaces without collapsing.

In this paper we explain how Morse theory for the Yang-Mills functional can be used to prove an analogue, for surface groups, of the Atiyah-Segal theorem. Classically, the Atiyah-Segal theorem relates the representation ring R(Γ) of a compact Lie group $Γ$ to the complex K-theory of the classifying space $BΓ$. For infi…

The framed little 2-discs operad is homotopy equivalent to a cyclic operad. We show that the derived modular envelope of this cyclic operad (i.e., the modular operad freely generated in a homotopy invariant sense) is homotopy equivalent to the modular operad made from classifying spaces of diffeomorphism groups of 3-di…

This is the second of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we develop a basic machinery for studying homotopy classes of such maps. It contains two parts: (1) the construction of a set of algebraic invariants -- the homotopy groups, and (2) an analog o…

This paper considers the Pontryagin characters of graded vector bundles of finite rank, in the cohomology vector spaces of a Lie algebroid over the same base. These Pontryagin characters vanish if the graded vector bundle carries a representation up to homotopy of the Lie algebroid. As a consequence, this gives a stron…

We endow the de Rham cohomology of any Poisson or Jacobi manifold with a natural homotopy Frobenius manifold structure. This result relies on a minimal model theorem for multicomplexes and a new kind of a Hodge degeneration condition.

We prove an analogue of the de Rham theorem for the extended L^2-cohomology introduced by M. Farber. This is done by establishing that the de Rham complex over a compact closed manifold with coefficients in a flat Hilbert bundle E of A-modules over a finite von Neumann algebra A is chain-homotopy equivalent (with bound…

We show that representations up to homotopy can be differentiated in a functorial way. A van Est type isomorphism theorem is established and used to prove a conjecture of Crainic and Moerdijk on deformations of Lie brackets.

Groups of homotopy equivalences of graphs help realize compact subgroups.

Extends Perelman's theorem to positive intermediate curvature conditions.

We use Chen's iterated integrals to integrate representations up to homotopy. That is, we construct an A_infty functor from the representations up to homotopy of a Lie algebroid to those of its infinity groupoid. This construction extends the usual integration of representations in Lie theory. We discuss several exampl…