Related papers: Link Homotopy in S^n x R^{m-n} and Higher Order mu…

The main theorem shows that if M is an irreducible compact connected orientable 3-manifold with non-empty boundary, then the classifying space BDiff(M rel dM) of the space of diffeomorphisms of M which restrict to the identity map on…

In this paper we study $\mathcal M(X)$, the set of diffeomorphism classes of smooth manifolds with the simple homotopy type of $X$, via a map $\Psi$ from $\mathcal M(X)$ into the quotient of $K(X)=[X,BSO]$ by the action of the group of…

For any collection of spaces A, we investigate two non-negative integer homotopy invariants of maps: l_A(f), the A-cone length of f, and L_A(f), the A-category of f. When A is the collection of all spaces, these are the cone length and…

An involutive diffeomorphism $\sigma$ of a connected smooth manifold $M$ is called dissecting if the complement of its fixed point set is not connected. Dissecting involutions on a complete Riemannian manifold are closely related to…

In this paper we analyze some relationships between the topological complexity of a space $X$ and the category of $C_{\Delta_X},$ the homotopy cofibre of the diagonal map $\Delta_X:X\rightarrow X\times X.$ We establish the equality of the…

In this paper we introduce invariants of semi-free Hamiltonian actions of $S\sp 1$ on compact symplectic manifolds (which satisfy some technical conditions related to positivity) using the space of solutions to certain gauge theoretical…

Using the topological technique of diagrams of spaces, we calculate the homology of the union and the complement of finite arrangements of subspaces of the form $D + SP^{n-d}(X)$ in symmetric products $SP^n(X)$ where $D\in SP^d(X)$. As an…

Homotopy Type Theory is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…

Let $G$ be a simply-connected simple compact Lie group and let $M$ be an orientable smooth closed 4-manifold. In this paper we calculate the homotopy type of the suspension of $M$ and the homotopy types of the gauge groups of principal…

The set of all subracks $\mathcal{R}(X)$ of a finite rack $X$ form a lattice under inclusion. We prove that if a rack $X$ satisfies a certain condition then the homotopy type of the order complex of $\mathcal{R}(X)$ is a $(m-2)$-sphere,…

For an embedded Fano manifold $X$, we introduce a new invariant $S_X$ related to the dimension of covering linear spaces. The aim of this paper is to classify Fano manifolds $X$ which have large $S_X$.

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

We prove a homotopy invariance result for a certain covering space of the space of ordered configurations of two points in $M \times X$ where $M$ is a closed smooth manifold and $X$ is any fixed aspherical space which is not a point.

Finite-order invariants of knots in arbitrary 3-manifolds (including non-orientable ones) are constructed and studied by methods of the topology of discriminant sets. Obstructions to the integrability of admissible weight systems to…

The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…

We set up foundations of representation theory over $S$, the sphere spectrum, which is the `initial ring' of stable homotopy theory. In particular, we treat $S$-Lie algebras and their representations, characters, $gl_n(S)$-Verma modules and…

We review the recent developments of quantum invariants of 3-manifolds and links: $\hat{Z}$ and $F_L$. They are $q$-series invariants originated from mathematical physics. They exhibit rich features, for example, quantum modularity,…

We study configuration space integral formulas for Milnor's homotopy link invariants, showing that they are in correspondence with certain linear combinations of trivalent trees. Our proof is essentially a combinatorial analysis of a…

The theory of link-homotopy, introduced by Milnor, is an important part of the knot theory, with Milnor's mu-bar-invariants being the basic set of link-homotopy invariants. Skein relations for knot and link invariants played a crucial role…

We discuss four off-shell N=4 D=1 supersymmetry transformations, their associated one-dimensional sigma-models and their mutual relations. They are given by I) the (4,4)_{lin} linear supermultiplet (supersymmetric extension of R^4), II) the…