Related papers: The circle transfer and cobordism categories

A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…

In this paper, we introduce a category of graded commutative rings with certain algebraic morphisms, to investigate the cobordism category of plumbed 3-manifolds. In particular, we define a non-associative distributive algebra that gives…

By using homotopy transfer techniques in the context of rational homotopy theory, we show that if $C$ is a coalgebra model of a space $X$, then the $A_\infty$-coalgebra structure in $H_*(X;\mathbb{Q})\cong H_*(C)$ induced by the higher…

A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…

We geometrically construct a homology theory that generalizes the Euler characteristic mod 2 to objects in the unoriented cobordism ring N_*(X) of a topological space X. This homology theory Eh_* has coefficients Z/2 in every nonnegative…

In recent decades, the structure of the mod-2 cohomology of the Steenrod ring $\mathscr A$ has become a major subject of study in the field of Algebraic Topology. One of the earliest attempts to study this cohomology through the use of…

We construct a category $\mathrm{HomCob}$ whose objects are {\it homotopically 1-finitely generated} topological spaces, and whose morphisms are {\it cofibrant cospans}. Given a manifold submanifold pair $(M,A)$, we prove that there exists…

Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the…

We show that the automorphism group of every zero entropy infinite shift admits a "drift" homomorphism to $(\mathbb{R},+)$ that maps the shift map to 1. This homomorphism arises as the expectation, under an invariant measure, of a cocycle…

We prove that any diffeomorphism of a compact manifold can be C^1-approximated by a diffeomorphism which exhibits a homoclinic bifurcation (a homoclinic tangency or a heterodimensional cycle) or by a diffeomorphism which is partially…

For any ring $A$ and a small, preadditive, Hom-finite, and locally bounded category $Q$ that has a Serre functor and satisfies the (strong) retraction property, we show that the category of additive functors from $Q$ to the category of…

Our main result is a generalization of Cappell's 5-dimensional splitting theorem. As an application, we analyze, up to internal s-cobordism, the smoothable splitting and fibering problems for certain 5-manifolds mapping to the circle. For…

We quiver-interpret the classical simplicial theory - including the cosimplex category $\Delta$, Dold-Kan correspondence, and Hochschild homology - as a certain Q-homotopy theory of type $A$. For the cyclic and cubical theories, we proceed…

We introduce Hochschild (co-)homology of morphisms of schemes or analytic spaces and study its fundamental properties. In analogy with the cotangent complex we introduce the so called (derived) Hochschild complex of a morphism; the…

In paper arXiv:1406.1744, we constructed a symmetric monoidal category $LIE^{MC}$ whose objects are shifted (and filtered) L-infinity algebras. Here, we fix a cooperad $C$ and show that algebras over the operad $Cobar(C)$ naturally form a…

We generalize Quillen's Theorem A to diagrams of lax 2-functors which commute up to transformation. It follows from a special case of this result that 2-categories are models for homotopy types.

We calculate geometric and homotopical (or stable) bordism rings associated to semi-free $S^1$ actions on complex manifolds, giving explicit generators for the geometric theory. The classification of semi-free actions with isolated fixed…

For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify…

Let X be a connected topological space admitting a universal cover. Let a be a degree one cohomology class on X. We define and study a two-cocycle on a group acting on X by homeomorphisms preserving the class a. We use this cocycle to…

Let $X$ be a differentiable manifold endowed with a transitive action $\alpha:A\times X\longrightarrow X$ of a Lie group $A$. Let $K$ be a Lie group. Under suitable technical assumptions, we give explicit classification theorems, in terms…