BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Stephen Theriault contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We analyze a general family of fibrations which, after looping, have sections. Methods are developed to determine the homotopy type of the fibre and the homotopy classes of the map from the fibre to the base. The methods are driven by applications to two-cones, Poincare Duality complexes, the connected sum operation, and polyhedral products.
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 on certain cell attachments. Key examples are (n-1)-connected Poincare Duality complexes of dimension 2n or 2n+1 with minor cohomological conditions.
Let $\mathcal{G}_k$ be the gauge group of the principal $SU(4)$-bundle over $S^4$ with second Chern class $k$ and let $p$ be a prime. We show that there is a rational or $p$-local homotopy equivalence $Ω\mathcal{G}_k\simeqΩ\mathcal{G}_{k'}$ if and only if $(60,k)=(60,k')$.
Let $G$ be a simply-connected, simple compact Lie group of type $\{n_{1},\ldots,n_{\ell}\}$, where $n_{1}\le\cdots \le n_{\ell}$. Let $\mathcal{G}_k$ be the gauge group of the principal $G$-bundle (namedright{P}{}{S^{4}}) whose isomorphism class is determined by the the second Chern class having value $k\in\mathbb{Z}$. We calculate the mod-$p$ homology of the classifying space $B\mathcal{G}_k$ provided that $n_{\ell}<p-1$ and $p$ does not divide $k$.
We give $p$-local homotopy decompositions of the suspensions of real toric spaces for odd primes $p$. Our decomposition is compatible with the one given by Bahri, Bendersky, Cohen, and Gitler for the suspension of the corresponding real moment-angle complex, or more generally, the polyhedral product. As an application, we obtain a stable rigidity property for real toric spaces.
In this paper we study the relationship between the moment-angle complex Z_k and the Davis-Januskiewicz space DJ(K) for a class of complexes K named missing-face complexes. If K has n vertices we consider the homotopy fibration sequence Z_k --> DJ(K) --> M where M is a product of n copies of infinite complex projective space. We observe that for such K, Z_k is homotopy equivalent to a wedge of spheres, and then show that under this equivalence the map Z_k --> DJ(K) is homotopic to a wedge sum of higher Whitehead products and iterated Whitehead products.
We answer a problem posed by Panov, which is to describe the relationship between the wedge summands in a homotopy decomposition of the moment-angle complex corresponding to a disjoint union of k points and the connected sum factors in a diffeomorphism decomposition of the moment-angle manifold corresponding to the simple polytope obtained by making k vertex cuts on a standard d-simplex. This establishes a bridge between two very different approaches to moment-angle manifolds.
We study the homotopy types of moment-angle complexes, or equivalently, of complements of coordinate subspace arrangements. The overall aim is to identify the simplicial complexes K for which the corresponding moment-angle complex Z_K has the homotopy type of a wedge of spheres or a connected sum of sphere products. When K is flag, we identify in algebraic and combinatorial terms those K for which Z_K is homotopy equivalent to a wedge of spheres, and give a combinatorial formula for the number of spheres in the wedge. This extends results of Berglund and Joellenbeck on Golod rings and homotopy theoretical results of the first and third authors. We also establish a connection between minimally non-Golod rings and moment-angle complexes Z_K which are homotopy equivalent to a connected sum of sphere products. We go on to show that for any flag complex K the loop spaces of Z_K and DJ(K) are homotopy equivalent to a product of spheres and loops on spheres when localised rationally or at any odd prime.
We give p-local homotopy decompositions of the loop spaces of compact, simply-connected symmetric spaces for quasi-regular primes. The factors are spheres, sphere bundles over spheres, and their loop spaces. As an application, upper bounds for the homotopy exponents are determined.
We determine loop space decompositions of simply-connected four-manifolds, $(n-1)$-connected $2n$-dimensional manifolds provided $n\notin\{4,8\}$, and connected sums of products of two spheres. These are obtained as special cases of a more general loop space decomposition of certain torsion-free $CW$-complexes with well-behaved skeleta and some Poincaré duality features.
We prove a conjecture of Bahri, Bendersky, Cohen and Gitler: if K is a shifted simplicial complex on n vertices, X_1,..., X_n are spaces and CX_i is the cone on X_i, then the polyhedral product determined by K and the pairs (CX_i,X_i) is homotopy equivalent to a wedge of suspensions of smashes of the X_i's. This generalises earlier work of the two authors in the special case where each X_i is a loop space. Connections are made to toric topology, combinatorics, and classical homotopy theory.
We prove two homotopy decomposition theorems for the loops on co-H-spaces, including a generalization of the Hilton-Milnor Theorem. These are applied to problems arising in algebra, representation theory, toric topology, and the study of quasi-symmetric functions.
Cohen conjectured that for r>=2 there is a space T^2n+1(2^r) and a homotopy fibration sequence Loop^2 S^2n+1 --> S^2n-1 --> T^2n+1(2^r) --> Loop S^2n+1 with the property that the left map composed with the double suspension, Loop^2 S^2n+1 --> S^2n-1 --> Loop^2 S^2n+1, is homotopic to the 2^r-power map. We positively resolve this conjecture when r>=3. Several preliminary results are also proved which are of interest in their own right.
Cohen, Moore, and Neisendorfer's work on the odd primary homotopy theory of spheres and Moore spaces, as well as the first author's work on the secondary suspension, predicted the existence of a p-local fibration S^2n-1 --> T --> ΩS^2n+1 whose connecting map is degree p^r. In a long and complex monograph, Anick constructed such a fibration for p>= 5 and r>= 1. Using new methods we give a much more conceptual construction which is also valid for p=3 and r>= 1. We go on to establish several properties of the space T.