Showing 1–37 of 37 results for author: Thériault, S

Homotopy rigidity for quasitoric manifolds over a product of $d$-simplices

Authors: Xin Fu, Tseleung So, Jongbaek Song, Stephen Theriault

Abstract: For a fixed integer $d\geq 1$, we show that two quasitoric manifolds over a product of $d$-simplices are homotopy equivalent after appropriate localization, provided that their integral cohomology rings are isomorphic. For a fixed integer $d\geq 1$, we show that two quasitoric manifolds over a product of $d$-simplices are homotopy equivalent after appropriate localization, provided that their integral cohomology rings are isomorphic. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Comments: 14 pages

MSC Class: 55P15; 57S12

Top cell attachment for a Poincare Duality complex

Authors: Stephen Theriault

Abstract: Let M be a simply-connected closed Poincare Duality complex of dimension n. Then M is obtained by attaching a cell of highest dimension to its (n-1)-skeleton M'. Conditions are given for when the skeletal inclusion i:M' --> M has the property that the based loops on i has a right homotopy inverse. This is an integral version of the rational statement that such a right homotopy inverse always exist… ▽ More Let M be a simply-connected closed Poincare Duality complex of dimension n. Then M is obtained by attaching a cell of highest dimension to its (n-1)-skeleton M'. Conditions are given for when the skeletal inclusion i:M' --> M has the property that the based loops on i has a right homotopy inverse. This is an integral version of the rational statement that such a right homotopy inverse always exists provided the rational cohomology of M is not generated by a single element. New methods are developed in order to do the integral case. These lead to p-local versions and recover the full rational statement. Families for which the integral statement holds include moment-angle manifolds and quasi-toric manifolds. △ Less

Submitted 21 February, 2024; originally announced February 2024.

Comments: 36 pages

Planar thermal Hall effect from phonons in cuprates

Authors: Lu Chen, Léna Le Roux, Gaël Grissonnanche, Marie-Eve Boulanger, Steven Thériault, Ruixing Liang, D. A. Bonn, W. N. Hardy, S. Pyon, T. Takayama, H. Takagi, Kejun Xu, Zhi-Xun Shen, Louis Taillefer

Abstract: A surprising "planar" thermal Hall effect, whereby the field is parallel to the current, has recently been observed in a few magnetic insulators, and this has been attributed to exotic excitations such as Majorana fermions or chiral magnons. Here we investigate the possibility of a planar thermal Hall effect in three different cuprate materials, in which the conventional thermal Hall conductivity… ▽ More A surprising "planar" thermal Hall effect, whereby the field is parallel to the current, has recently been observed in a few magnetic insulators, and this has been attributed to exotic excitations such as Majorana fermions or chiral magnons. Here we investigate the possibility of a planar thermal Hall effect in three different cuprate materials, in which the conventional thermal Hall conductivity $κかっぱ_{\rm {xy}}$ (with an out-of-plane field perpendicular to the current) is dominated by either electrons or phonons. Our measurements show that the planar $κかっぱ_{\rm {xy}}$ from electrons in cuprates is zero, as expected from the absence of a Lorentz force in the planar configuration. By contrast, we observe a sizable planar $κかっぱ_{\rm {xy}}$ in those samples where the thermal Hall response is due to phonons, even though it should in principle be forbidden by the high crystal symmetry. Our findings call for a careful re-examination of the mechanisms responsible for the phonon thermal Hall effect in insulators. △ Less

Submitted 1 November, 2023; v1 submitted 11 October, 2023; originally announced October 2023.

Homotopy of blow ups after looping

Authors: Ruizhi Huang, Stephen Theriault

Abstract: The homotopy theory of the blow up construction in algebraic and symplectic geometry is investigated via two approaches. The first approach introduces and develops fibrewise surgery theory, for which the fibrewise framing is characterized by the homotopy groups of a certain gauge group. This is used to obtain a homotopy decomposition of the based loop space on a blow up that holds $p$-locally for… ▽ More The homotopy theory of the blow up construction in algebraic and symplectic geometry is investigated via two approaches. The first approach introduces and develops fibrewise surgery theory, for which the fibrewise framing is characterized by the homotopy groups of a certain gauge group. This is used to obtain a homotopy decomposition of the based loop space on a blow up that holds $p$-locally for all but finitely many primes $p$ and holds rationally. The second approach is purely homotopy theoretic and obtains a homotopy decomposition of the based loop space on a blow up that holds integrally provided a certain condition is satisfied by an associated homotopy action. As applications, we obtain $p$-local homotopy decompositions of the based loop space of a focal genus $2$ manifold, improve an earlier result of the authors on the homotopy of manifolds stabilized by projective spaces, and obtain for blow-ups a refinement of the rational dichotomy. △ Less

Submitted 30 October, 2023; v1 submitted 28 August, 2023; originally announced August 2023.

Comments: 47 pages; revise the interpretation of Theorem 1.1 and the exposition of its proof, more details are added; add a preliminary section to explain terminologies and the Cube Lemma; highlight the new "fibrewise surgery theory''

Weighted polyhedral products and Steenrod's problem

Authors: Tseleung So, Donald Stanley, Stephen Theriault

Abstract: We construct a weighted version of polyhedral products and compute its cohomology in some special cases. This is applied to resolve Steenrod's cohomology realization problem in a case related to exterior algebras. We construct a weighted version of polyhedral products and compute its cohomology in some special cases. This is applied to resolve Steenrod's cohomology realization problem in a case related to exterior algebras. △ Less

Submitted 2 June, 2023; originally announced June 2023.

Comments: 43 pages

MSC Class: Primary 55N10; Secondary 55U10; 13F70

Homotopy of manifolds stabilized by projective spaces

Authors: Ruizhi Huang, Stephen Theriault

Abstract: We study the homotopy of the connected sum of a manifold with a projective space, viewed as a typical way to stabilize manifolds. In particular, we show a loop homotopy decomposition of a manifold after stabilization by a projective space, and provide concrete examples. To do this, we trace the effect in homotopy theory of surgery on certain product manifolds by showing a loop homotopy decompositi… ▽ More We study the homotopy of the connected sum of a manifold with a projective space, viewed as a typical way to stabilize manifolds. In particular, we show a loop homotopy decomposition of a manifold after stabilization by a projective space, and provide concrete examples. To do this, we trace the effect in homotopy theory of surgery on certain product manifolds by showing a loop homotopy decomposition after localization away from the order of the image of the classical $J$-homomorphism. △ Less

Submitted 2 August, 2023; v1 submitted 8 April, 2022; originally announced April 2022.

Comments: Accepted version in Journal of Topology

An extended rational dichotomy for certain open books

Authors: Ruizhi Huang, Stephen Theriault

Abstract: We study the rational homotopy groups of open books in terms of those of their pages and bindings. Under homotopy conditions on the monodromy we prove a rational dichotomy theorem for open books, as an extension of the classical dichotomy in rational homotopy theory. As a direct application, we show that for Milnor's open book decomposition of an odd sphere with monodromy of finite order the induc… ▽ More We study the rational homotopy groups of open books in terms of those of their pages and bindings. Under homotopy conditions on the monodromy we prove a rational dichotomy theorem for open books, as an extension of the classical dichotomy in rational homotopy theory. As a direct application, we show that for Milnor's open book decomposition of an odd sphere with monodromy of finite order the induced action of the monodromy on the homology groups of its page cannot be nilpotent. We also calculate the integral homotopy groups of open books in terms of those of their pages and bindings when their monodromies are homotopic to the identity map. △ Less

Submitted 2 November, 2022; v1 submitted 13 November, 2021; originally announced November 2021.

Comments: 16 pages; an acknowledgement is added

Loop space decompositions of $(2n-2)$-connected $(4n-1)$-dimensional Poincaré Duality complexes

Authors: Ruizhi Huang, Stephen Theriault

Abstract: Beben and Wu showed that if $M$ is a $(2n-2)$-connected $(4n-1)$-dimensional Poincaré Duality complex such that $n\geq 3$ and $H^{2n}(M;\mathbb{Z})$ consists only of odd torsion, then $ΩおめがM$ can be decomposed up to homotopy as a product of simpler, well studied spaces. We use a result from \cite{BT2} to greatly simplify and enhance Beben and Wu's work and to extend it in various directions. Beben and Wu showed that if $M$ is a $(2n-2)$-connected $(4n-1)$-dimensional Poincaré Duality complex such that $n\geq 3$ and $H^{2n}(M;\mathbb{Z})$ consists only of odd torsion, then $ΩおめがM$ can be decomposed up to homotopy as a product of simpler, well studied spaces. We use a result from \cite{BT2} to greatly simplify and enhance Beben and Wu's work and to extend it in various directions. △ Less

Submitted 10 February, 2022; v1 submitted 15 June, 2021; originally announced June 2021.

Comments: 26 pages; slightly modified

Exponential growth in the rational homology of free loop spaces and in torsion homotopy groups

Authors: Ruizhi Huang, Stephen Theriault

Abstract: Using integral methods we recover and generalize some results by Félix, Halperin and Thomas on the growth of the rational homology groups of free loop spaces, and obtain a new family of spaces whose $p$-torsion in homotopy groups grows exponentially and satisfies Moore's Conjecture for all but finitely many primes. In view of the results, we conjecture that there should be a strong connection betw… ▽ More Using integral methods we recover and generalize some results by Félix, Halperin and Thomas on the growth of the rational homology groups of free loop spaces, and obtain a new family of spaces whose $p$-torsion in homotopy groups grows exponentially and satisfies Moore's Conjecture for all but finitely many primes. In view of the results, we conjecture that there should be a strong connection between exponential growth in the rational homotopy groups and the $p$-torsion homotopy groups for any prime $p$. △ Less

Submitted 8 May, 2022; v1 submitted 10 May, 2021; originally announced May 2021.

Comments: 15 pages; the exposition of the paper was improved and a mistake in the first version was corrected; comments are very welcome

MSC Class: 55P35; 55P62

Effect of pressure on the pseudogap and charge-density-wave phases of the cuprate La$_{1.6-x}$Nd$_{0.4}$Sr$_x$CuO$_4$ probed by thermopower measurements

Authors: A. Gourgout, A. Ataei, M. -E. Boulanger, S. Badoux, S. Thériault, D. Graf, J. -S. Zhou, S. Pyon, T. Takayama, H. Takagi, Nicolas Doiron-Leyraud, Louis Taillefer

Abstract: We report thermopower measurements under hydrostatic pressure on the cuprate superconductor La$_{1.6-x}$Nd$_{0.4}$Sr$_x$CuO$_4$ (Nd-LSCO), at low-temperature in the normal state accessed by suppressing superconductivity with a magnetic field up to $H = 31$ T. Using a newly developed AC thermopower measurement technique suitable for high pressure and high field, we track the pressure evolution of t… ▽ More We report thermopower measurements under hydrostatic pressure on the cuprate superconductor La$_{1.6-x}$Nd$_{0.4}$Sr$_x$CuO$_4$ (Nd-LSCO), at low-temperature in the normal state accessed by suppressing superconductivity with a magnetic field up to $H = 31$ T. Using a newly developed AC thermopower measurement technique suitable for high pressure and high field, we track the pressure evolution of the Seebeck coefficient $S$. At ambient pressure and low temperature, $S/T$ was recently found to suddenly increase in Nd-LSCO at the pseudogap critical doping $p^{\star} = 0.23$, consistent with a drop in carrier density $n$ from $n = 1 + p$ above $p^{\star}$ to $n = p$ below. Under a pressure of 2.0 GPa, we observe that this jump in $S/T$ is suppressed. This confirms a previous pressure study based on electrical resistivity and Hall effect which found $dp^{\star}/dP \simeq - 0.01$ holes/GPa, thereby reinforcing the interpretation that this effect is driven by the pressure-induced shift of the van Hove point. It implies that the pseudogap only exists when the Fermi surface is hole-like, which puts strong constraints on theories of the pseudogap phase. We also report thermopower measurements on Nd-LSCO and La$_{1.8-x}$Eu$_{0.2}$Sr$_x$CuO$_4$ in the charge density-wave phase near $p \sim 1/8$, which reveals a weakening of this phase under pressure. △ Less

Submitted 18 December, 2020; originally announced December 2020.

Comments: 9 pages, 5 figures

Journal ref: Phys. Rev. Research 3, 023066 (2021)

Homotopy fibrations with a section after looping

Authors: Stephen Theriault

Abstract: 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. 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. △ Less

Submitted 28 February, 2022; v1 submitted 23 May, 2020; originally announced May 2020.

Comments: 102 pages. Several changes from first version. To appear in Mem. Amer. Math. Soc

MSC Class: 55P35; 57N65; 55Q15

Phonons become chiral in the pseudogap phase of cuprates

Authors: G. Grissonnanche, S. Thériault, A. Gourgout, M. -E. Boulanger, E. Lefrançois, A. Ataei, F. Laliberté, M. Dion, J. -S. Zhou, S. Pyon, T. Takayama, H. Takagi, N. Doiron-Leyraud, L. Taillefer

Abstract: The nature of the pseudogap phase of cuprates remains a major puzzle. One of its new signatures is a large negative thermal Hall conductivity $κかっぱ_{\rm xy}$, which appears for dopings $p$ below the pseudogap critical doping $p^*$, but whose origin is as yet unknown. Because this large $κかっぱ_{\rm xy}$ is observed even in the undoped Mott insulator La$_2$CuO$_4$, it cannot come from charge carriers, thes… ▽ More The nature of the pseudogap phase of cuprates remains a major puzzle. One of its new signatures is a large negative thermal Hall conductivity $κかっぱ_{\rm xy}$, which appears for dopings $p$ below the pseudogap critical doping $p^*$, but whose origin is as yet unknown. Because this large $κかっぱ_{\rm xy}$ is observed even in the undoped Mott insulator La$_2$CuO$_4$, it cannot come from charge carriers, these being localized at $p = 0$. Here we show that the thermal Hall conductivity of La$_2$CuO$_4$ is roughly isotropic, being nearly the same for heat transport parallel and normal to the CuO$_2$ planes, i.e. $κかっぱ_{\rm zy}(T) \approx κかっぱ_{\rm xy} (T)$. This shows that the Hall response must come from phonons, these being the only heat carriers able to move as easily normal and parallel to the planes . At $p > p^*$, in both La$_{\rm 1.6-x}$Nd$_{\rm 0.4}$Sr$_x$CuO$_4$ and La$_{\rm 1.8-x}$Eu$_{\rm 0.2}$Sr$_x$CuO$_4$ with $p = 0.24$, we observe no c-axis Hall signal, i.e. $κかっぱ_{\rm zy}(T) = 0$, showing that phonons have zero Hall response outside the pseudogap phase. The phonon Hall response appears immediately below $p^* = 0.23$, as confirmed by the large $κかっぱ_{\rm zy}(T)$ signal we find in La$_{1.6-x}$Nd$_{\rm 0.4}$Sr$_x$CuO$_4$ with $p = 0.21$. The microscopic mechanism by which phonons become chiral in cuprates remains to be identified. This mechanism must be intrinsic - from a coupling of phonons to their electronic environment - rather than extrinsic, from structural defects or impurities, as these are the same on both sides of $p^*$. This intrinsic phonon Hall effect provides a new window on quantum materials and it may explain the thermal Hall signal observed in other topologically nontrivial insulators. △ Less

Submitted 27 July, 2020; v1 submitted 28 February, 2020; originally announced March 2020.

Journal ref: Nature Physics 16, 1108 (2020)

The suspension of a 4-manifold and its applications

Authors: Tseleung So, Stephen Theriault

Abstract: Let $M$ be a smooth, orientable, closed, connected $4$-manifold and suppose that $H_1(M;\mathbb{Z})$ is finitely generated and has no $2$-torsion. We give a homotopy decomposition of the suspension of $M$ in terms of spheres, Moore spaces and $Σしぐま\mathbb{C}P^{2}$. This is used to calculate any reduced generalized cohomology theory of $M$ as a group and to determine the homotopy types of certain curr… ▽ More Let $M$ be a smooth, orientable, closed, connected $4$-manifold and suppose that $H_1(M;\mathbb{Z})$ is finitely generated and has no $2$-torsion. We give a homotopy decomposition of the suspension of $M$ in terms of spheres, Moore spaces and $Σしぐま\mathbb{C}P^{2}$. This is used to calculate any reduced generalized cohomology theory of $M$ as a group and to determine the homotopy types of certain current groups and gauge groups. △ Less

Submitted 2 November, 2022; v1 submitted 24 September, 2019; originally announced September 2019.

Comments: 26 pages; accepted by Israel Journal of Mathematics

MSC Class: 57N65; 55P40 (Primary); 81T13 (Secondary)

The Homotopy Types of $SU(4)$-Gauge Groups

Authors: Tyrone Cutler, Stephen Theriault

Abstract: 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 $\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')$. △ Less

Submitted 27 June, 2022; v1 submitted 10 September, 2019; originally announced September 2019.

Comments: 17 pages

MSC Class: 55P15 (Primary); 54C35 (Secondary)

The homotopy types of $U(n)$-gauge groups over lens spaces

Authors: Ingrid Membrillo-Solis, Stephen Theriault

Abstract: We analyse the homotopy types of gauge groups for principal $U(n)$-bundles over lens spaces. We analyse the homotopy types of gauge groups for principal $U(n)$-bundles over lens spaces. △ Less

Submitted 5 July, 2019; originally announced July 2019.

Comments: 14 pages

MSC Class: 55P15; 54C35; 81T13

Homotopy groups of highly connected Poincare duality complexes

Authors: Piotr Beben, Stephen Theriault

Abstract: 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. 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. △ Less

Submitted 28 February, 2022; v1 submitted 13 December, 2018; originally announced December 2018.

Comments: 26 pages. To appear in Doc. Math

The mod-$p$ homology of the classifying spaces of certain gauge groups

Authors: Daisuke Kishimoto, Stephen Theriault

Abstract: 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$ pro… ▽ More 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$. △ Less

Submitted 11 January, 2021; v1 submitted 10 October, 2018; originally announced October 2018.

Comments: 12 pages

MSC Class: 55R40; 81T13

The homotopy types of $Sp(2)$-gauge groups over closed, simply-connected four-manifolds

Authors: Tseleung So, Stephen Theriault

Abstract: We determine the number of distinct fibre homotopy types for the gauge groups of principal $Sp(2)$-bundles over a closed, simply-connected four-manifold. We determine the number of distinct fibre homotopy types for the gauge groups of principal $Sp(2)$-bundles over a closed, simply-connected four-manifold. △ Less

Submitted 6 July, 2018; originally announced July 2018.

Comments: 20 pages

MSC Class: Primary 55P15; Secondary 81T13

Odd primary homotopy types of the gauge groups of exceptional Lie groups

Authors: Sho Hasui, Daisuke Kishimoto, Tseleung So, Stephen Theriault

Abstract: The $p$-local homotopy types of gauge groups of principal $G$-bundles over $S^4$ are classified when $G$ is a compact connected exceptional Lie group without $p$-torsion in homology except for $(G,p)=(\mathrm{E}_7,5)$. The $p$-local homotopy types of gauge groups of principal $G$-bundles over $S^4$ are classified when $G$ is a compact connected exceptional Lie group without $p$-torsion in homology except for $(G,p)=(\mathrm{E}_7,5)$. △ Less

Submitted 27 March, 2018; originally announced March 2018.

Comments: 12 pages

MSC Class: 55P15 (Primary); 54C35 (Secondary)

Suspension splittings and self-maps of flag manifolds

Authors: Shizuo Kaji, Stephen Theriault

Abstract: If $G$ is a compact connected Lie group and $T$ is a maximal torus, we give a wedge decomposition of $ΣしぐまG/T$ by identifying families of idempotents in cohomology. This is used to give new information on the self-maps of $G/T$. If $G$ is a compact connected Lie group and $T$ is a maximal torus, we give a wedge decomposition of $ΣしぐまG/T$ by identifying families of idempotents in cohomology. This is used to give new information on the self-maps of $G/T$. △ Less

Submitted 14 May, 2018; v1 submitted 6 February, 2018; originally announced February 2018.

Comments: a minor change in notation. [10] added in the references

MSC Class: 55P40; 55S37 (Primary) 57T15 (Secondary)

The homotopy theory of polyhedral products associated with flag complexes

Authors: Taras Panov, Stephen Theriault

Abstract: If $K$ is a simplicial complex on $m$ vertices the flagification of $K$ is the minimal flag complex $K^f$ on the same vertex set that contains $K$. Letting $L$ be the set of vertices, there is a sequence of simplicial inclusions $L\to K\to K^f$. This induces a sequence of maps of polyhedral products… ▽ More If $K$ is a simplicial complex on $m$ vertices the flagification of $K$ is the minimal flag complex $K^f$ on the same vertex set that contains $K$. Letting $L$ be the set of vertices, there is a sequence of simplicial inclusions $L\to K\to K^f$. This induces a sequence of maps of polyhedral products $(\underline X,\underline A)^L\stackrel g\longrightarrow(\underline X,\underline A)^K\stackrel f\longrightarrow (\underline X,\underline A)^{K^f}$. We show that $Ωおめがf$ and $Ωおめがf\circΩおめがg$ have right homotopy inverses and draw consequences. For a flag complex $K$ the polyhedral product of the form $(\underline{CY},\underline Y)^K$ is a co-$H$-space if and only if the $1$-skeleton of $K$ is a chordal graph, and we deduce that the maps $f$ and $f\circ g$ have right homotopy inverses in this case. △ Less

Submitted 28 September, 2018; v1 submitted 1 September, 2017; originally announced September 2017.

Comments: 25 pages

MSC Class: 55P35 (Primary); 05E45 (Secondary)

Journal ref: Compositio Math. 155 (2019), no. 1, 206-228

Moore's Conjecture for Polyhedral Products

Authors: Yanlong Hao, Qianwen Sun, Stephen Theriault

Abstract: Moore's Conjecture is shown to hold for generalized moment-angle complexes and a criterion is proved that determines when a polyhedral product is elliptic or hyperbolic. Moore's Conjecture is shown to hold for generalized moment-angle complexes and a criterion is proved that determines when a polyhedral product is elliptic or hyperbolic. △ Less

Submitted 2 May, 2018; v1 submitted 26 January, 2017; originally announced January 2017.

Comments: reference fixed from version 2

MSC Class: 55Q05; 13F55; 55P62; 55U10

Journal ref: Math. Proc. Camb. Phil. Soc. 167 (2019) 23-33

The Dual Polyhedral Product, Cocategory and Nilpotence

Authors: Stephen Theriault

Abstract: The notion of a dual polyhedral product is introduced as a generalization of Hovey's definition of Lusternik-Schnirelmann cocategory. Properties established from homotopy decompositions that relate the based loops on a polyhedral product to the based loops on its dual are used to show that if X is a simply-connected space then the weak cocategory of X equals the homotopy nilpotency class of the ba… ▽ More The notion of a dual polyhedral product is introduced as a generalization of Hovey's definition of Lusternik-Schnirelmann cocategory. Properties established from homotopy decompositions that relate the based loops on a polyhedral product to the based loops on its dual are used to show that if X is a simply-connected space then the weak cocategory of X equals the homotopy nilpotency class of the based loops on X. This answers a fifty year old question posed by Ganea. The methods are applied to determine the homotopy nilpotency class of quasi-p-regular exceptional Lie groups and sporadic p-compact groups. △ Less

Submitted 21 September, 2018; v1 submitted 19 June, 2015; originally announced June 2015.

Comments: 50 pages, journal accepted version

MSC Class: 55M30; 55P15; 55P35

Homotopy decomposition of a suspended real toric space

Authors: Suyoung Choi, Shizuo Kaji, Stephen Theriault

Abstract: 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. 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. △ Less

Submitted 27 April, 2016; v1 submitted 26 March, 2015; originally announced March 2015.

Comments: The paper has been slightly generalized from the published version in Bol. Soc. Mat. Mex

MSC Class: 55P15; 57S17

Mod p decompositions of the loop spaces of compact symmetric spaces

Authors: Shizuo Kaji, Akihiro Ohsita, Stephen Theriault

Abstract: 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 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. △ Less

Submitted 28 September, 2014; originally announced September 2014.

Comments: 31 pages

MSC Class: 55P15; 55P40

Journal ref: Algebr. Geom. Topol. 15 (2015) 1771-1811

The Loop Space Homotopy Type of Simply-connected Four-manifolds and their Generalizations

Authors: Piotr Beben, Stephen Theriault

Abstract: 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 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. △ Less

Submitted 3 June, 2014; originally announced June 2014.

Comments: Adv. Math., to be published

MSC Class: 55P35; 57N65; 57P10

Moment-angle manifolds and Panov's problem

Authors: Stephen Theriault

Abstract: 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 esta… ▽ More 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. △ Less

Submitted 22 January, 2015; v1 submitted 19 May, 2014; originally announced May 2014.

Comments: In form accepted by International Mathematics Research Notices 2015

MSC Class: 55P15; 57R19; 32V40

Homotopy types of moment-angle complexes for flag complexes

Authors: Jelena Grbic, Taras Panov, Stephen Theriault, Jie Wu

Abstract: 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… ▽ More 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. △ Less

Submitted 8 July, 2014; v1 submitted 5 November, 2012; originally announced November 2012.

Comments: 20 pages. Misprints corrected, sections 6 and 8 removed (they are available in version 4)

Journal ref: Trans. of the Amer. Math. Soc. 368 (2016), no.9, 6663-6682

The homotopy type of the polyhedral product for shifted complexes

Authors: Jelena Grbic, Stephen Theriault

Abstract: 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 lo… ▽ More 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. △ Less

Submitted 20 October, 2011; v1 submitted 13 September, 2011; originally announced September 2011.

Comments: 27 pages, typos corrected, Section 8 improved

MSC Class: 55P15 (Primary) 13F55; 52C35 (Secondary)

Higher Whitehead products in toric topology

Authors: Jelena Grbic, Stephen Theriault

Abstract: 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 sph… ▽ More 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. △ Less

Submitted 20 May, 2015; v1 submitted 9 November, 2010; originally announced November 2010.

Comments: This version is as of March 2014. Several corrections made from the first submission

MSC Class: 55P25; 55Q15; 13F55; 52C35

Decompositions of looped co-H-spaces and applications

Authors: Jelena Grbic, Stephen Theriault, Jie Wu

Abstract: 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. 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. △ Less

Submitted 5 November, 2010; originally announced November 2010.

Comments: 15 pages

MSC Class: 55P35; 55P45; 05E05; 20C20; 52C35

2-Primary Anick Fibrations

Authors: Stephen Theriault

Abstract: 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 w… ▽ More 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. △ Less

Submitted 15 April, 2008; originally announced April 2008.

Comments: 27 pages

MSC Class: 55P35; 55Q40

Anick's fibration and the odd primary homotopy exponent of spheres

Authors: Stephen Theriault

Abstract: For primes p>=3, Cohen, Moore, and Neisendorfer showed that the exponent of the p-torsion in the homotopy groups of S^2n+1 is p^n. This was obtained as a consequence of a thorough analysis of the homotopy theory of Moore spaces. Anick further developed this for p>=5 by constructing a homotopy fibration S^2n-1 --> T^2n+1(p^r) --> Loop S^2n+1 whose connecting map is degree p^r on the bottom cell.… ▽ More For primes p>=3, Cohen, Moore, and Neisendorfer showed that the exponent of the p-torsion in the homotopy groups of S^2n+1 is p^n. This was obtained as a consequence of a thorough analysis of the homotopy theory of Moore spaces. Anick further developed this for p>=5 by constructing a homotopy fibration S^2n-1 --> T^2n+1(p^r) --> Loop S^2n+1 whose connecting map is degree p^r on the bottom cell. A much simpler construction of such a fibration for p>=3 was given by Gray and the author using new methods. In this paper the new methods are used to start over, first constructing Anick's fibration for p>=3, and then using it to obtain the exponent result for spheres. △ Less

Submitted 21 March, 2008; originally announced March 2008.

Comments: 25 pages

MSC Class: 55Q40; 55R05; 55P99

An elementary construction of Anick's fibration

Authors: Brayton Gray, Stephen Theriault

Abstract: 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 mo… ▽ More 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. △ Less

Submitted 4 October, 2007; originally announced October 2007.

Comments: 30 pages

MSC Class: 55P45; 55P40; 55P35

Journal ref: Geom. Topol. 14 (2010) 243-275

Odd-primary homotopy exponents of compact simple Lie groups

Authors: Donald M Davis, Stephen D Theriault

Abstract: We note that a recent result of the second author yields upper bounds for odd-primary homotopy exponents of compact simple Lie groups which are often quite close to the lower bounds obtained from v_1-periodic homotopy theory. We note that a recent result of the second author yields upper bounds for odd-primary homotopy exponents of compact simple Lie groups which are often quite close to the lower bounds obtained from v_1-periodic homotopy theory. △ Less

Submitted 5 April, 2009; v1 submitted 18 January, 2006; originally announced January 2006.

Comments: This is the version published by Geometry & Topology Monographs on 22 February 2008

MSC Class: 55Q52; 57T20

Journal ref: Geom. Topol. Monogr. 13 (2008) 195-201

The homotopy type of the complement of a coordinate subspace arrangement

Authors: Jelena Grbic, Stephen Theriault

Abstract: The homotopy type of the complement of a complex coordinate subspace arrangement is studied by fathoming out the connection between its topological and combinatorial structures. A family of arrangements for which the complement is homotopy equivalent to a wedge of spheres is described. One consequence is an application in commutative algebra: certain local rings are proved to be Golod, that is,… ▽ More The homotopy type of the complement of a complex coordinate subspace arrangement is studied by fathoming out the connection between its topological and combinatorial structures. A family of arrangements for which the complement is homotopy equivalent to a wedge of spheres is described. One consequence is an application in commutative algebra: certain local rings are proved to be Golod, that is, all Massey products in their homology vanish. △ Less

Submitted 12 January, 2006; originally announced January 2006.

Comments: 42 pages

MSC Class: 13F55; 55P15

The homotopy type of the complement of the codimension-two coordinate subspace arrangement

Authors: Jelena Grbic, Stephen Theriault

Abstract: The complement of the codimension 2 complex coordinate subspace arrangement is shown to be homotopy equivalent to a wedge of spheres. The complement of the codimension 2 complex coordinate subspace arrangement is shown to be homotopy equivalent to a wedge of spheres. △ Less

Submitted 13 December, 2005; originally announced December 2005.

Comments: 2 pages LaTeX

MSC Class: 52C35; 55P15

Journal ref: Russian Math. Surveys 59 (2004), no. 6, 1207-1209