Related papers: On Poincar\'e Surgery
We introduce a homotopy theory of digraphs (directed graphs) and prove its basic properties, including the relations to the homology theory of digraphs constructed by the authors in previous papers. In particular, we prove the homotopy…
In this note we prove a theorem concerning the sewing of even dimensional neighbourly polytopes. The theorem provides a fast algorithm for sewing in practice. We also give a description of the universal faces of a sewn $d$-polytope in terms…
The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…
Starting from matter lagrangean containing higher order derivative than the first, we construct the Poincare gauge theory by localising the Poincare symmetry of the matter theory. The construction is shown to follow the usual geometric…
We use a classical result of McCord and reduction methods of finite spaces to prove a generalization of Thomason's theorem on homotopy colimits over posets. In particular this allows us to characterize the homotopy colimits of diagrams of…
A simplicial complex is a set equipped with a down-closed family of distinguished finite subsets. This structure, usually viewed as codifying a triangulated space, is used here directly, to describe "spaces" whose geometric realisation can…
Beben and Theriault proved a theorem on the homotopy fiber of an extension of a map with respect to a cone attachment, which has produced several applications. We give a short and elementary proof of this theorem.
We develop a homotopical variant of the classic notion of an algebraic theory as a tool for producing deformations of homotopy theories. From this, we extract a framework for constructing and reasoning with obstruction theories and spectral…
We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$. To achieve…
We prove a Poincar\'e-Bendixson theorem describing the asymptotic behavior of geodesics for a meromorphic connection on a compact Riemann surface. We shall also briefly discuss the case of non-compact Riemann surfaces, and study in detail…
We prove a Poincare lemma for a set of r smooth functions on a 2n-dimensional smooth manifold satisfying a commutation relation determined by r singular vector fields associated to a Cartan subalgebra of $\frak{sp}(2r,\mathbb R)$. This…
In this paper, by use of techniques associated to cobordism theory and Morse theory,we give a simple proof of Poincare conjecture, i.e. Every compact smooth simply connected 3-manifold is homeomorphic to 3-sphere.
We use the homotopy Brouwer theory of Handel to define a Poincar{\'e} index between two orbits for an orientation preserving fixed point free homeomorphism of the plane. Furthermore, we prove that this index is almost additive.
The Poincar\'{e} lemma (or Volterra theorem) is of utmost importance both in theory and in practice. It tells us every differential form which is closed, is locally exact. In other words, on a contractible manifold all closed forms are…
The paper focuses on various properties and applications of the homotopy operator, which occurs in the Poincar\'{e} lemma. In the first part, an abstract operator calculus is constructed, where the exterior derivative is an abstract…
Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this information. Homotopy coherent category theory arose out of a desire to…
We use derived localization of the bar and nerve constructions to provide simple proofs of a number of results in algebraic topology. This includes a recent generalization of Adams' cobar-construction to the non-simply connected case, and a…
Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…
In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in…
By adapting arguments of Annala-Hoyois-Iwasa in the log setting, we prove Poincar\'e duality for smooth projective morphisms in logarithmic motivic homotopy theory. As an application, we show that the crystalline cohomology of a log…