Related papers: Pullbacks of Sphere Fibrations over Connected Sums

We introduce various versions of spin structures on free loop spaces of smooth manifolds, based on a classical notion due to Killingback, and additionally coupled to two relations between loops: thin homotopies and loop fusion. The central…

This paper studies the (small) quantum homology and cohomology of fibrations $p: P\to S^2$ whose structural group is the group of Hamiltonian symplectomorphisms of the fiber $(M,\om)$. It gives a proof that the rational cohomology splits…

Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…

This paper continues investigations in "synthetic homotopy theory": the use of homotopy type theory to give machine-checked proofs of constructions from homotopy theory We present a mechanized proof of the Blakers-Massey connectivity…

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…

Let $A \Rightarrow M$ be a Lie algebroid. In this short note, we prove that a pull-back of $A$ along a fibration with homologically $k$-connected fibers, shares the same deformation cohomology of $A$ up to degree $k$.

Methods are developed to relate the action of a principal fibration to relative Whitehead products in order to determine the homotopy type of certain spaces. The methods are applied to thoroughly analyze the homotopy type of the based loops…

Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…

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…

The aim of this short paper is to establish a spectral algebra analog of the Bousfield-Kan "fibration lemma" under appropriate conditions. We work in the context of algebraic structures that can be described as algebras over an operad…

Motivated by prominent problems like the Hilali conjecture Yamaguchi--Yokura recently proposed certain estimates on the relations of the dimensions of rational homotopy and rational cohomology groups of fibre, base and total spaces in a…

We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…

We exhibit a homotopy theoretic proof of the Fundamental Theorem of Poincar\'e surgery in the simply connected case. We also deduce the Poincar\'e transversality exact sequence.

Homotopy links have proven to be one of the most powerful tools of stratified homotopy theory. In previous work, we described combinatorial models for the generalized homotopy links of a stratified simplicial set. For many purposes, in…

We consider real spectra, collections of Z/(2)-spaces indexed over Z oplus Z alpha with compatibility conditions. We produce fibrations connecting the homotopy fixed points and the spaces in these spectra. We also evaluate the map which is…

The purpose of this paper is to give some solutions for the classification problem in fibration theory by using the homotopy sequences of fibrations (sequences of $n$-th homotopy groups $ \pi_{n}(S,s_{o}) $ of total spaces of fibrations).…

We develop new tools to compute the index of symmetry in the context of homogeneous fibrations. As a consequence of our results, we determine the index of symmetry of every homogeneous space diffeomorphic to a compact rank-one symmetric…

We extend the usual notion of parallel transport along a path to triangulated surfaces. A homotopy of paths is lifted into a fibered category with connection and this defines a functor between the fibers above the boundary paths. These…

Let $X^\bullet$ be a cosimplicial object in a pointed $\infty$-category. We show that the fiber of $\mathrm{Tot}_m(X^\bullet) \to \mathrm{Tot}_n(X^\bullet)$ depends only on the pointed cosimplicial object $\Omega^k X^\bullet$ and is in…

One-point compactification turns real vector spaces into spheres. In homotopy theory, this transformation gets encoded in a map called the "real J-homomorphism". Here we define and investigate p-adic J-homomorphisms, which sort of turn…