Related papers: Cobordism Categories and Parametrized Morse Theory

We compute the classifying space of the surface category $h\mathrm{Bord}_2$ whose objects are closed oriented $1$-manifolds and whose morphisms are diffeomorphism classes of oriented surface bordisms, and show that it is rationally…

We prove a twisting theorem for nodal classes in permutation-equivariant quantum $K$-theory, and combine it with existing theorems of Givental to obtain a twisting result for general characteristic classes of the virtual tangent bundle.…

For a function $W\in \mathbb{C}[X]$ on a smooth algebraic variety $X$ with Morse-Bott critical locus $Y\subset X$, Kapustin, Rozansky and Saulina suggest that the associated matrix factorisation category $\mathrm{MF}(X;W)$ should be…

The aim of this paper is to give a (discrete) Morse theoretic proof of the fact that the $k$-th skeleton of the flag complex $\mathcal{F}$, associated to the lattice of subspaces of a finite dimensional vector space, is homotopy equivalent…

We consider compact homogeneous spaces G/H of positive Euler characteristic endowed with an invariant almost complex structure J and the canonical action \theta of the maximal torus T ^{k} on G/H. We obtain explicit formula for the…

We prove that the ideal in complex cobordism ring $\MU^*$ generated by the polynomial generators $S=(x_1, x_k, k\geq 3)$ of $c_1$-spherical cobordism ring $W^*$, viewed as elements in $\MU^*$ by forgetful map is prime. Using the…

Given a bounding class $B$, we construct a bounded refinement $BK(-)$ of Quillen's $K$-theory functor from rings to spaces. $BK(-)$ is a functor from weighted rings to spaces, and is equipped with a comparison map $BK \to K$ induced by…

After two papers on weak cubical categories and {\it collarable} cospans, respectively, we put things together and construct a {\it weak} cubical category of cubical {\it collared} cospans of topological spaces. We also build a second…

The purpose of this article is to prove that the category of cocommutative Hopf $K$-algebras, over a field $K$ of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it…

We study fibred spaces with fibres in a structure category $\V$ and we show that cellular approximation, Blakers--Massey theorem, Whitehead theorems, obstruction theory, Hurewicz homomorphism, Wall finiteness obstruction, and Whitehead…

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…

Associated to each small category $C$, there is a category of $C$-shaped diagrams of simplicial sets and an $\infty$-category of $NC$-shaped homotopy coherent diagrams of spaces. We present a functor which exhibits the latter as the…

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…

We prove a certain 'fat hyperplane section' Weak Lefschetz-type theorem for etale cohomology of non-projective varieties, similar to a result of Goresky and MacPherson (over complex numbers). This statement easily yields certain (vast)…

Due to the deep work of Tillmann, Madsen, Weiss and Galatius, the cohomology of the stable mapping class group $\gaminf$ is known with rational or finite field coefficients. Little is known about the integral cohomology. In this paper, we…

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)$…

Let G be a discrete group. We give methods to compute for a generalized (co-)homology theory its values on the Borel construction (EG x X)/G of a proper G-CW-complex X satisfying certain finiteness conditions. In particular we give formulas…

For a (right and left) coherent ring $A$, we show that there exists a duality between homotopy categories ${\mathbb{K}}^{{\rm{b}}}({\rm mod}{\mbox{-}}A^{{\rm op}})$ and ${\mathbb{K}}^{{\rm{b}}}({\rm mod}{\mbox{-}}A)$. If $A=\Lambda$ is an…

We study the homotopy theory of a certain type of diagram categories whose vertices are in variable categories with a functorial path, leading to a good calculation of the homotopy category in terms of cofibrant objects. The theory is…

In this paper, we classify the homotopy types of the total spaces of $S^{2k-1}$-bundles (or fibrations) over $S^{2k}$ for $2\leq k\leq 6$. One of the two key new ingredients in the argument is the new necessary and sufficient conditions for…