Related papers: On Poincar\'e Surgery

We show that discrete and classical homotopy theories are equivalent after localizing at n-equivalences for any non-negative integer n. By constructing an explicit homotopy inverse to the graph nerve functor associating an n-fibrant cubical…

The main results in this note concern the characterization of the length of continua 1 (Theorems 2.5) and the parametrization of continua with finite length (Theorem 4.4). Using these results we give two independent and relatively…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

We set up Heegaard Floer theory over the integers, using canonical orientations coming from coupled Spin structures on the Lagrangian tori. We prove naturality of Heegaard Floer homology, sutured Floer homology, and link Floer homology over…

In this note we study umkehr maps in generalized (co)homology theories arising from the Pontrjagin-Thom construction, from integrating along fibers, pushforward homomorphisms, and other similar constructions. We consider the basic…

Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on…

We prove that the complement of a toric arrangement has the homotopy type of a minimal CW complex. As a corollary we obtain that the integer cohomology of these spaces is torsion free. We use Discrete Morse Theory, providing a sequence of…

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…

We construct a log algebraic version of the homotopy sequence for a quasi-projective normal crossing log variety over a log point of characteristic zero and prove some exactness properties of it. Our proofs are purely algebraic.

A geometric version of the Poincar\'e Lemma is established for the topological vector space of differential chains. In particular, every differential k-cycle with compact support in a contractible open subset U of a smooth n-manifold M is…

We prove two kinds of fibering theorems for maps X --> P, where X and P are Poincare spaces. The special case of P = S^1 yields a Poincare duality analogue of the fibering theorem of Browder and Levine.

We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial…

We describe the relation of $r$-similarity and finite-order invariants on the homotopy set $[S^1,Y]=\pi_1(Y)$.

An introduction to the applications of algebraic surgery to the structure theory of high-dimensional topological manifolds.

One of the important theorems in homotopy theory is the Hilton splitting. In this paper we will construct all the Hilton homomorphisms by geometrical means and prove a family of sharper symmetry relations of linking coefficients which…

We consider Noether symmetries within Hamiltonian setting as transformations that preserve Poincar\'e-Cartan form, i.e., as symmetries of characteristic line bundles of nondegenerate 1-forms. In the case when the Poincar\'e-Cartan form is…

For a directed polytope, we construct a colored operad whose Poincare-Hilbert series encodes certain operations on the cellular complex of the polytope. We conjecture that for a class of short polytopes the constructed operads are Koszul…

Generalized \'etale homotopy pro-groups $\pi_1^{\ets}(\mc{C}, x)$ associated to pointed connected small Grothendieck sites $(\mc{C}, x)$ are defined and their relationship to Galois theory and the theory of pointed torsors for discrete…

By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…

We present the theory of higher order invariants and higher order automorphic forms in the simplest case, that of a compact quotient. In this case many things simplify and we are thus able to prove a more precise structure theorem than in…