Related papers: Stratified Whitehead's theorem and knot invariants

We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…

Centers of categories capture the natural operations on their objects. Homotopy coherent centers are introduced here as an extension of this notion to categories with an associated homotopy theory. These centers can also be interpreted as…

We construct a notion of derived completion which applies to homomorphisms of commutative S-algebras. We study the relationship of the construction with other constructions of completions, and prove various invariance properties. The…

The concept of orbifolds should unify differential geometry with equivariant homotopy theory, so that orbifold cohomology should unify differential cohomology with proper equivariant cohomology theory. Despite the prominent role that…

This paper uses a net-theoretic approach to convergence spaces, aimed to simplify the description of continuous convergence in order to apply it in problems concerning Homotopy Theory. We present methods for handling homotopies of limit…

By a theorem of A.Bj\"orner, for every interval $[u,v]$ in the Bruhat order of a Coxeter group $W$, there exists a stratified space whose strata are labeled by the elements of $[u,v]$, adjacency is described by the Bruhat order, and each…

In this article, we construct a cofibrantly generated model structure on the category of spaces stratified over a fixed poset, and show that it is Quillen-equivalent to a category of diagrams of simplicial sets. Then, considering all those…

We propose a new non-commutative generalization of the representation variety and the character variety of a knot group. Our strategy is to reformulate the construction of the algebra of functions on the space of representations in terms of…

This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from…

We introduce a natural stratification of the space of projective classes of measured laminations on a complete hyperbolic surface of finite area. We prove a rigidity result, namely, the group of self-homeomorphisms of the space of…

Let $\overline{M}$ be a compact smoothly stratified pseudo-manifold endowed with a wedge metric $g$. Let $\overline{M}_\Gamma$ be a Galois $\Gamma$-covering. Under additional assumptions on $\overline{M}$, satisfied for example by Witt…

In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…

Knotoids were introduced by V. Turaev as open-ended knot-type diagrams that generalize knots. Turaev defined a two-variable polynomial invariant of knotoids which encompasses a generalization of the Jones knot polynomial to knotoids. We…

We introduce new invariants of a Riemannian singular space, the local Yamabe and Sobolev constants, and then go on to prove a general version of the Yamabe theorem under that the global Yamabe invariant of the space is strictly less than…

Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This…

Pseudodiagrams are knot or link diagrams where some of the crossing information is missing. Pseudoknots are equivalence classes of pseudodiagrams, where equivalence is generated by a natural set of Reidemeister moves. In this paper, we…

We construct knot invariants categorifying the quantum knot variants for all representations of quantum groups. We show that these invariants coincide with previous invariants defined by Khovanov for sl_2 and sl_3 and by Mazorchuk-Stroppel…

We find the stable homotopy classification of elliptic operators on stratified manifolds. Namely, we establish an isomorphism of the set of elliptic operators modulo stable homotopy and the $K$-homology group of the singular manifold. As a…

We study the rational homotopy types of classifying spaces of automorphism groups of smooth simply connected manifolds of dimension at least five. We give dg Lie algebra models for the homotopy automorphisms and the block diffeomorphisms of…

We provide an inductive algorithm computing Gromov-Witten invariants in all genera with arbitrary insertions of all smooth complete intersections in projective space. We also prove that all Gromov-Witten classes of all smooth complete…