Showing 1–34 of 34 results for author: Grbić, J

Steenrod operations on polyhedral products

Authors: Sanjana Agarwal, Jelena Grbić, Michele Intermont, Milica Jovanović, Evgeniya Lagoda, Sarah Whitehouse

Abstract: We describe the action of the mod $2$ Steenrod algebra on the cohomology of various polyhedral products and related spaces. We carry this out for Davis-Januszkiewicz spaces and their generalizations, for moment-angle complexes as well as for certain polyhedral joins. By studying the combinatorics of underlying simplicial complexes, we deduce some consequences for the lowest cohomological dimension… ▽ More We describe the action of the mod $2$ Steenrod algebra on the cohomology of various polyhedral products and related spaces. We carry this out for Davis-Januszkiewicz spaces and their generalizations, for moment-angle complexes as well as for certain polyhedral joins. By studying the combinatorics of underlying simplicial complexes, we deduce some consequences for the lowest cohomological dimension in which non-trivial Steenrod operations can appear. We present a version of cochain-level formulas for Steenrod operations on simplicial complexes. We explain the idea of "propagating" such formulas from a simplicial complex $K$ to polyhedral joins over $K$ and we give examples of this process. We tie the propagation of the Steenrod algebra actions on polyhedral joins to those on moment-angle complexes. Although these are cases where one can understand the Steenrod action via a stable homotopy decomposition, we anticipate applying this method to cases where there is no such decomposition. △ Less

Submitted 20 June, 2024; v1 submitted 15 January, 2024; originally announced January 2024.

Comments: 21 pages, v2 minor changes, accepted version to appear in special issue of Topology and its Applications dedicated to proceedings of the Women in Topology 4 workshop

MSC Class: 55U10; 05E45; 13F55; 55S10

On the Connectivity of the Vietoris-Rips Complex of a Hypercube Graph

Authors: Martin Bendersky, Jelena Grbic

Abstract: We bring in the techniques of independence complexes and the notion of total dominating sets of a graph to bear on the question of the connectivity of the Vietoris-Rips complexes $VR(Q_n; r)$ of an $n$-hypercube graph. We obtain a lower bound for the connectivity of $VR(Q_n; r)$ for an arbitrary $n$-dimension hypercube and at all scale parameters $r$. The obtained bounds disprove the conjecture of… ▽ More We bring in the techniques of independence complexes and the notion of total dominating sets of a graph to bear on the question of the connectivity of the Vietoris-Rips complexes $VR(Q_n; r)$ of an $n$-hypercube graph. We obtain a lower bound for the connectivity of $VR(Q_n; r)$ for an arbitrary $n$-dimension hypercube and at all scale parameters $r$. The obtained bounds disprove the conjecture of Shukla that $\VR$ is $r$-connected. △ Less

Submitted 10 November, 2023; originally announced November 2023.

Relations among higher Whitehead maps

Authors: Jelena Grbic, George Simmons, Matthew Staniforth

Abstract: We define generalised higher Whitehead maps between polyhedral products. By investigating the interplay between the homotopy-theoretic properties of polyhedral products and the combinatorial properties of simplicial complexes, we describe new families of relations among these maps, while recovering and generalising known identities among Whitehead products. We define generalised higher Whitehead maps between polyhedral products. By investigating the interplay between the homotopy-theoretic properties of polyhedral products and the combinatorial properties of simplicial complexes, we describe new families of relations among these maps, while recovering and generalising known identities among Whitehead products. △ Less

Submitted 8 June, 2023; originally announced June 2023.

Comments: 44 pages

MSC Class: 55Q05; 55Q15 (Primary)

Normalizer decompositions of p-local compact groups

Authors: Eva Belmont, Natalia Castellana, Jelena Grbic, Kathryn Lesh, Michelle Strumila

Abstract: We give a normalizer decomposition for a p-local compact group (S, F, L) that describes |L| as a homotopy colimit indexed over a finite poset. Our work generalizes the normalizer decompositions for finite groups due to Dwyer, for p-local finite groups due to Libman, and for compact Lie groups in separate work due to Libman. Our approach gives a result in the Lie group case that avoids topological… ▽ More We give a normalizer decomposition for a p-local compact group (S, F, L) that describes |L| as a homotopy colimit indexed over a finite poset. Our work generalizes the normalizer decompositions for finite groups due to Dwyer, for p-local finite groups due to Libman, and for compact Lie groups in separate work due to Libman. Our approach gives a result in the Lie group case that avoids topological subtleties with Quillen's Theorem A, because we work with discrete groups. We compute the normalizer decomposition for the p-completed classifying spaces of U(p) and SU(p) and for the p-compact groups of Aguade and Zabrodsky. △ Less

Submitted 22 January, 2023; originally announced January 2023.

Comments: 35 pages

MSC Class: 2020: Primary 55R35; Secondary 57T10

Models for the Cohomology of Certain Polyhedral Products

Authors: Martin Bendersky, Jelena Grbić

Abstract: For a commutative ring $\mathbf k$ with unit, we describe and study various differential graded $\mathbf k$-modules and $ \mathbf k$-algebras which are models for the cohomology of polyhedral products $(\underline{CX},\underline X)^K$. Along the way, we prove that the integral cohomology $H^*((D^1, S^0)^K; \mathbb Z)$ of the real moment-angle complex is a Tor module, the one that does not come fro… ▽ More For a commutative ring $\mathbf k$ with unit, we describe and study various differential graded $\mathbf k$-modules and $ \mathbf k$-algebras which are models for the cohomology of polyhedral products $(\underline{CX},\underline X)^K$. Along the way, we prove that the integral cohomology $H^*((D^1, S^0)^K; \mathbb Z)$ of the real moment-angle complex is a Tor module, the one that does not come from a geometric setting. We also reveal that the apriori different cup product structures in $H^*((D^1, S^0)^K;\mathbb Z)$ and in $H^*((D^n, S^{n-1})^K; \mathbb Z)$ for $n\geq 2$ have the same origin. As an application, this work sets the stage for studying the based loop space of $(\underline{CX}, \underline X)^K$ in terms of the bar construction applied to the differential graded $\mathbb Z$-algebras $B(\mathcal C^*(\underline X; \mathbb Z), K) $ quasi-isomorphic to the singular cochain algebra $\mathcal C^*((\underline{CX},\underline X)^K;\mathbb Z)$. △ Less

Submitted 24 June, 2022; originally announced June 2022.

Comments: 13 pages

Normalizers of chains of discrete $p$-toral subgroups in compact Lie groups

Authors: Eva Belmont, Natàlia Castellana, Jelena Grbić, Kathryn Lesh, Michelle Strumila

Abstract: In this paper we study the normalizer decomposition of a compact Lie group $G$ using the information of the fusion system $\mathcal{F}$ of $G$ on a maximal discrete $p$-toral subgroup. We prove that there is an injective map from the set of conjugacy classes of chains of $\mathcal{F}$-centric, $\mathcal{F}$-radical discrete $p$-toral subgroups to the set of conjugacy classes of chains of $p$-centr… ▽ More In this paper we study the normalizer decomposition of a compact Lie group $G$ using the information of the fusion system $\mathcal{F}$ of $G$ on a maximal discrete $p$-toral subgroup. We prove that there is an injective map from the set of conjugacy classes of chains of $\mathcal{F}$-centric, $\mathcal{F}$-radical discrete $p$-toral subgroups to the set of conjugacy classes of chains of $p$-centric, $p$-stubborn continuous $p$-toral subgroups. The map is a bijection when $π_0(G)$ is a finite $p$-group. We also prove that the classifying space of the normalizer of a chain of discrete $p$-toral subgroups of $G$ is mod $p$ equivalent to the classifying space of the normalizer of the corresponding chain of $p$-toral subgroups. △ Less

Submitted 17 December, 2021; v1 submitted 10 November, 2021; originally announced November 2021.

Comments: 18 pages. Version to appear in Women in Topology 2019 Proceedings

MSC Class: 55R35 (primary); 22E40; 55R40 (Secondary)

Duality in Toric Topology

Authors: Jelena Grbić, Matthew Staniforth

Abstract: We characterise integral Poincaré duality moment-angle complexes $\mathcal{Z}_{\mathcal{K}}$ in combinatorial terms of the Fan-Wang duality of the simplicial complex $\mathcal{K}$, and consequently in algebraic terms of the Gorenstein duality of the Stanley-Reisner ring $\mathbb{Z}[\mathcal{K}]$. We extend Poincaré duality results to certain polyhedral products using polyhedral join products of si… ▽ More We characterise integral Poincaré duality moment-angle complexes $\mathcal{Z}_{\mathcal{K}}$ in combinatorial terms of the Fan-Wang duality of the simplicial complex $\mathcal{K}$, and consequently in algebraic terms of the Gorenstein duality of the Stanley-Reisner ring $\mathbb{Z}[\mathcal{K}]$. We extend Poincaré duality results to certain polyhedral products using polyhedral join products of simplicial complexes. △ Less

Submitted 29 January, 2022; v1 submitted 13 July, 2021; originally announced July 2021.

Comments: 10 pages

MSC Class: 57P10; 16E65 (Primary) 57Q10; 13F55; 05E45 (Secondary)

The cohomology of the free loop spaces of $SU(n+1)/T^n$

Authors: Matthew I. Burfitt, Jelena Grbić

Abstract: We study the cohomology of the free loop space of $SU(n+1)/T^n$, the simplest example of a complete flag manifolds and an important homogeneous space. Through this enhanced analysis we reveal rich new combinatorial structures arising in the cohomology algebra of the free loop spaces. We build new theory to allow for the computation of $H^*(Λ(SU(n+1)/T^{n});\mathbb{Z})$, a significantly more compli… ▽ More We study the cohomology of the free loop space of $SU(n+1)/T^n$, the simplest example of a complete flag manifolds and an important homogeneous space. Through this enhanced analysis we reveal rich new combinatorial structures arising in the cohomology algebra of the free loop spaces. We build new theory to allow for the computation of $H^*(Λ(SU(n+1)/T^{n});\mathbb{Z})$, a significantly more complicated structure than other known examples. In addition to our theoretical results, we explicitly implement a novel integral Gröbner basis procedure for computation. This procedure is applicable to any Leray-Serre spectral sequence for which the cohomology of the base space is the quotient of a finitely generated polynomial algebra. The power of this procedure is illustrated by the explicit calculation of $H^*( Λ(SU(4)/T^3);\mathbb{Z})$. We also provide a python library with examples of all procedures used in the paper. △ Less

Submitted 23 October, 2022; v1 submitted 7 June, 2021; originally announced June 2021.

Comments: arXiv admin note: text overlap with arXiv:1706.10258

MSC Class: 55P35 (Primary) 14M15; 55T10; 13P10; 05E05 (Secondary)

A Unified Topological Approach to Data Science

Authors: Jelena Grbić, Jie Wu, Kelin Xia, Guo-Wei Wei

Abstract: We establish a new theory which gives a unified topological approach to data science, by being applicable both to point cloud data and to graph data, including networks beyond pairwise interactions. We generalize simplicial complexes and hypergraphs to super-hypergraphs and establish super-hypergraph homology as an extension of simplicial homology. Driven by applications, we also introduce super-p… ▽ More We establish a new theory which gives a unified topological approach to data science, by being applicable both to point cloud data and to graph data, including networks beyond pairwise interactions. We generalize simplicial complexes and hypergraphs to super-hypergraphs and establish super-hypergraph homology as an extension of simplicial homology. Driven by applications, we also introduce super-persistent homology. △ Less

Submitted 31 March, 2021; originally announced March 2021.

Comments: 46 pages, 8 fingures

MSC Class: 55N31 (Primary) 62R40; 68T09; 05C65; 55U10 (Secondary)

A new approach to mod 2 decompositions of BSU(2) and BSO(3)

Authors: Eva Belmont, Natàlia Castellana, Jelena Grbić, Kathryn Lesh, Michelle Strumila

Abstract: Dwyer, Miller and Wilkerson proved that at the prime 2, the classifying spaces of SU(2) and SO(3) can be obtained as a homotopy pushout of the classifying spaces of certain subgroups. In this paper we show explicitly how these decompositions arise from the fusion systems of SU(2) and SO(3) over maximal discrete 2-toral subgroups. Dwyer, Miller and Wilkerson proved that at the prime 2, the classifying spaces of SU(2) and SO(3) can be obtained as a homotopy pushout of the classifying spaces of certain subgroups. In this paper we show explicitly how these decompositions arise from the fusion systems of SU(2) and SO(3) over maximal discrete 2-toral subgroups. △ Less

Submitted 15 April, 2020; originally announced April 2020.

Comments: 19 pages. Women in Topology 2019

MSC Class: 55R35 (Primary) 20D20 55R40 (Secondary)

One-relator groups and algebras related to polyhedral products

Authors: Jelena Grbić, Marina Ilyasova, Taras Panov, George Simmons

Abstract: We link distinct concepts of geometric group theory and homotopy theory through underlying combinatorics. For a flag simplicial complex $K$, we specify a necessary and sufficient combinatorial condition for the commutator subgroup $RC_K'$ of a right-angled Coxeter group, viewed as the fundamental group of the real moment-angle complex $\mathcal{R}_K$, to be a one-relator group; and for the Pontrya… ▽ More We link distinct concepts of geometric group theory and homotopy theory through underlying combinatorics. For a flag simplicial complex $K$, we specify a necessary and sufficient combinatorial condition for the commutator subgroup $RC_K'$ of a right-angled Coxeter group, viewed as the fundamental group of the real moment-angle complex $\mathcal{R}_K$, to be a one-relator group; and for the Pontryagin algebra $H_*(Ω\mathcal{Z}_K)$ of the moment-angle complex to be a one-relator algebra. We also give a homological characterisation of these properties. For $RC_K'$, it is given by a condition on the homology group $H_2(\mathcal{R}_K)$, whereas for $H_*(Ω\mathcal{Z}_K)$ it is stated in terms of the bigrading of the homology groups of $\mathcal{Z}_K$. △ Less

Submitted 17 March, 2022; v1 submitted 25 February, 2020; originally announced February 2020.

Comments: 16 pages, published version

MSC Class: 20F55; 20F65; 55P15 (Primary) 05E45; 57M07; 57T30 (Secondary)

Journal ref: Proceedings of the Royal Society of Edinburgh: Section A Mathematics 152 (2022) 128-147

Non-trivial higher Massey products in moment-angle complexes

Authors: Jelena Grbić, Abigail Linton

Abstract: As part of various obstruction theories, non-trivial Massey products have been studied in symplectic and complex geometry, commutative algebra and topology for a long time. We introduce a general approach to constructing non-trivial Massey products in the cohomology of moment-angle complexes, using homotopy theoretical and combinatorial methods. Our approach sets a unifying way of constructing hig… ▽ More As part of various obstruction theories, non-trivial Massey products have been studied in symplectic and complex geometry, commutative algebra and topology for a long time. We introduce a general approach to constructing non-trivial Massey products in the cohomology of moment-angle complexes, using homotopy theoretical and combinatorial methods. Our approach sets a unifying way of constructing higher Massey products of arbitrary cohomological classes and generalises all existing examples of non-trivial Massey products in moment-angle complexes. As a result, we obtain explicit constructions of infinitely many non-formal manifolds that appear in topology, complex geometry and algebraic geometry. △ Less

Submitted 11 June, 2021; v1 submitted 16 November, 2019; originally announced November 2019.

Comments: Updated in line with the version to appear in Advances in Mathematics

MSC Class: 55S30; 05E45; 13F55

Lowest-degree triple Massey products in moment-angle complexes

Authors: Jelena Grbić, Abigail Linton

Abstract: We give a combinatorial classification of non-trivial triple Massey products of three dimensional classes in the cohomology of a moment-angle complex. This work improves on a result by Denham and Suciu (2007) by considering triple Massey products with non-trivial indeterminacy. We give a combinatorial classification of non-trivial triple Massey products of three dimensional classes in the cohomology of a moment-angle complex. This work improves on a result by Denham and Suciu (2007) by considering triple Massey products with non-trivial indeterminacy. △ Less

Submitted 13 November, 2019; v1 submitted 6 August, 2019; originally announced August 2019.

Simplicial $G$-complexes and representation stability of polyhedral products

Authors: Xin Fu, Jelena Grbić

Abstract: Representation stability in the sense of Church-Farb is concerned with stable properties of representations of sequences of algebraic structures, in particular of groups. We study this notion on objects arising in toric topology. With a simplicial $G$-complex $K$ and a topological pair $(X, A)$, a $G$-polyhedral product $(X, A)^K$ is associated. We show that the homotopy decomposition [2] of… ▽ More Representation stability in the sense of Church-Farb is concerned with stable properties of representations of sequences of algebraic structures, in particular of groups. We study this notion on objects arising in toric topology. With a simplicial $G$-complex $K$ and a topological pair $(X, A)$, a $G$-polyhedral product $(X, A)^K$ is associated. We show that the homotopy decomposition [2] of $Σ(X, A)^K$ is then $G$-equivariant after suspension. In the case of $Σ_m$-polyhedral products, we give criteria on simplicial $Σ_m$-complexes which imply representation stability of $Σ_m$-representations $\{H_i((X, A)^{K_m})\}$. △ Less

Submitted 4 March, 2019; v1 submitted 29 March, 2018; originally announced March 2018.

Comments: To appear in Algebraic & Geometric Topology

MSC Class: 20C30; 05E10; 55N91; 55U10

Journal ref: Algebr. Geom. Topol. 20 (2020) 215-238

The cohomology of free loop spaces of rank 2 flag manifolds

Authors: Matthew I. Burfitt, Jelena Grbić

Abstract: A complete flag manifold is the quotient of a Lie group by its maximal torus. The rank of a flag manifold is the dimension of the maximal torus of the Lie group. The rank 2 complete flag manifolds are $SU(3)/T^2$, $Sp(2)/T^2$, $Spin(4)/T^2$, $Spin(5)/T^2$ and $G_2/T^2$. In this paper we calculate the cohomology of the free loop space of rank 2 complete flag manifolds. A complete flag manifold is the quotient of a Lie group by its maximal torus. The rank of a flag manifold is the dimension of the maximal torus of the Lie group. The rank 2 complete flag manifolds are $SU(3)/T^2$, $Sp(2)/T^2$, $Spin(4)/T^2$, $Spin(5)/T^2$ and $G_2/T^2$. In this paper we calculate the cohomology of the free loop space of rank 2 complete flag manifolds. △ Less

Submitted 11 March, 2018; originally announced March 2018.

Comments: arXiv admin note: text overlap with arXiv:1706.10258

Universal simplicial complexes inspired by toric topology

Authors: Djordje Baralic, Jelena Grbic, Ales Vavpetic, Aleksandar Vucic

Abstract: Let $\mathbf{k}$ be the field $\mathbb{F}_p$ or the ring $\mathbb{Z}$. We study combinatorial and topological properties of the universal simplicial complexes $X(\mathbf{k}^n)$ and $K(\mathbf{k}^n)$ whose simplices are certain unimodular subsets of $\mathbf{k}^n$. As a main result we show that $X(\mathbf{k}^n)$, $K(\mathbf{k}^n)$ and the links of their simplicies are homotopy equivalent to a wedge… ▽ More Let $\mathbf{k}$ be the field $\mathbb{F}_p$ or the ring $\mathbb{Z}$. We study combinatorial and topological properties of the universal simplicial complexes $X(\mathbf{k}^n)$ and $K(\mathbf{k}^n)$ whose simplices are certain unimodular subsets of $\mathbf{k}^n$. As a main result we show that $X(\mathbf{k}^n)$, $K(\mathbf{k}^n)$ and the links of their simplicies are homotopy equivalent to a wedge of spheres specifying the exact number of spheres in the corresponding wedge decompositions. This is a generalisation of Davis and Januszkiewicz's result that $K(\mathbb{Z}^n)$ and $K(\mathbb{F}_2^n)$ are $(n-2)$-connected simplicial complexes. We discuss applications of these universal simplicial complexes to toric topology and number theory. △ Less

Submitted 23 November, 2020; v1 submitted 31 August, 2017; originally announced August 2017.

Comments: In the previous preprint, there were gaps in the proofs that $K(\mathbb{Z}^n)$ and $X(\mathbb{Z}^n)$ and their links of its simplices have homotopy type of a wedge of countable infinite number of spheres $S^{n-1}$. The fact was pointed to the authors by unanimous referee who read the previous version carefully. The result is proved using direct approach instead of using discrete Morse functions

MSC Class: 05E45; 57Q05; 52B22

$LS$-category of moment-angle manifolds and higher order Massey products

Authors: Piotr Beben, Jelena Grbić

Abstract: Using the combinatorics of the underlying simplicial complex $K$, we give various upper and lower bounds for the Lusternik-Schnirelmann (LS) category of moment-angle complexes $\zk$. We describe families of simplicial complexes and combinatorial operations which allow for a systematic description of the LS category. In particular, we characterise the LS category of moment-angle complexes $\zk$ ove… ▽ More Using the combinatorics of the underlying simplicial complex $K$, we give various upper and lower bounds for the Lusternik-Schnirelmann (LS) category of moment-angle complexes $\zk$. We describe families of simplicial complexes and combinatorial operations which allow for a systematic description of the LS category. In particular, we characterise the LS category of moment-angle complexes $\zk$ over triangulated $d$-manifolds $K$ for $d\leq 2$, as well as higher dimension spheres built up via connected sum, join, and vertex doubling operations. %This characterisation is given in terms of the combinatorics of $K$, the cup product length of $H^*(\zk)$, as well as a certain Massey products. We show that the LS category closely relates to vanishing of Massey products in $H^*(\zk)$ and through this connection we describe first structural properties of Massey products in moment-angel manifolds. Some of further applications include calculations of the LS category and the description of conditions for vanishing of Massey products for moment-angle manifolds over fullerenes, Pogorelov polytopes and $k$-neighbourly complexes, which double as important examples of hyperbolic manifolds. △ Less

Submitted 15 January, 2021; v1 submitted 23 January, 2016; originally announced January 2016.

Comments: Added characterisation of LS-category of moment angle complexes over two dimensional surfaces; simplified some arguments

MSC Class: 55M30; 55U10; 05E40

$\frac{n}{3}$-Neighbourly Moment-Angle Complexes and their Unstable Splittings

Authors: Piotr Beben, Jelena Grbić

Abstract: Given an $\frac{n}{3}$-neighbourly simplicial complex $K$ on vertex set $[n]$, we show that the moment-angle complex $\mathcal{Z}_K$ is a $co$-$H$-space if and only if $K$ satisfies a homotopy analogue of the Golod property. Given an $\frac{n}{3}$-neighbourly simplicial complex $K$ on vertex set $[n]$, we show that the moment-angle complex $\mathcal{Z}_K$ is a $co$-$H$-space if and only if $K$ satisfies a homotopy analogue of the Golod property. △ Less

Submitted 24 February, 2016; v1 submitted 18 October, 2015; originally announced October 2015.

MSC Class: 55P15; 55U10; 13F55

Configuration Spaces and Polyhedral Products

Authors: Piotr Beben, Jelena Grbić

Abstract: This paper aims to find the most general combinatorial conditions under which a moment-angle complex $(D^2,S^1)^K$ is a co-$H$-space, thus splitting unstably in terms of its full subcomplexes. In this way we study to which extent the conjecture holds that a moment-angle complex over a Golod simplicial complex is a co-$H$-space. Our main tool is a certain generalisation of the theory of labelled co… ▽ More This paper aims to find the most general combinatorial conditions under which a moment-angle complex $(D^2,S^1)^K$ is a co-$H$-space, thus splitting unstably in terms of its full subcomplexes. In this way we study to which extent the conjecture holds that a moment-angle complex over a Golod simplicial complex is a co-$H$-space. Our main tool is a certain generalisation of the theory of labelled configuration spaces. △ Less

Submitted 21 May, 2017; v1 submitted 15 September, 2014; originally announced September 2014.

Comments: Published in Advances in Mathematics, 2017

MSC Class: 55P15; 55P35; 55U10; 13F55

The degrees of maps between $(2n-1)$-Poincar\' e complexes

Authors: Jelena Grbic, Aleksandar Vucic

Abstract: In this paper, using exclusively homotopy theoretical methods, we study degrees of maps between $(n-2)$-connected $(2n-1)$-dimensional Poincar\' e complexes which have torsion free integral homology. Necessary and sufficient algebraic conditions for the existence of map degrees between such Poincar\' e complexes are established. We calculate the set of all map degrees between certain two… ▽ More In this paper, using exclusively homotopy theoretical methods, we study degrees of maps between $(n-2)$-connected $(2n-1)$-dimensional Poincar\' e complexes which have torsion free integral homology. Necessary and sufficient algebraic conditions for the existence of map degrees between such Poincar\' e complexes are established. We calculate the set of all map degrees between certain two $(n-2)$-connected $(2n-1)$-dimensional torsion free Poincaré complexes. For low $n$, using knowledge of possible degrees of self maps, we classify, up to homotopy, torsion free $(n-2)$-connected $(2n-1)$-dimensional Poincar\' e complexes. △ Less

Submitted 5 September, 2013; originally announced September 2013.

MSC Class: Primary 55M25; 57P10; Secondary 55P15; 57R19; 57N15

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)

The integral homology ring of the based loop space on some generalised symmetric spaces

Authors: Jelena Grbic, Svjetlana Terzic

Abstract: In this paper we calculate the integral Pontrjagin homology ring of the based loop space on some generalised symmetric spaces with a toral stationary subgroup. In the Appendix we show that the method can be applied to other type generalised symmetric spaces as well. In this paper we calculate the integral Pontrjagin homology ring of the based loop space on some generalised symmetric spaces with a toral stationary subgroup. In the Appendix we show that the method can be applied to other type generalised symmetric spaces as well. △ Less

Submitted 6 February, 2012; v1 submitted 12 May, 2011; originally announced May 2011.

Comments: 14 pages; few background information added; to appear in Moscow Mathematical Journal

MSC Class: 57T20; 55P62 (Primary) 55P35; 57T35 (Secondary)

Hopf algebras and homotopy invariants

Authors: Victor Buchstaber, Jelena Grbic

Abstract: In this paper we explore new relations between Algebraic Topology and the theory of Hopf Algebras. For an arbitrary topological space $X$, the loop space homology $H_*(ΩΣX; \coefZ)$ is a Hopf algebra. We introduce a new homotopy invariant of a topological space $X$ taking for its value the isomorphism class (over the integers) of the Hopf algebra $H_*(ΩΣX; \coefZ)$. This invariant is trivial if an… ▽ More In this paper we explore new relations between Algebraic Topology and the theory of Hopf Algebras. For an arbitrary topological space $X$, the loop space homology $H_*(ΩΣX; \coefZ)$ is a Hopf algebra. We introduce a new homotopy invariant of a topological space $X$ taking for its value the isomorphism class (over the integers) of the Hopf algebra $H_*(ΩΣX; \coefZ)$. This invariant is trivial if and only if the Hopf algebra $H_*(ΩΣX; \coefZ)$ is isomorphic to a Lie-Hopf algebra, that is, to a primitively generated Hopf algebra. We show that for a given $X$ these invariants are obstructions to the existence of a homotopy equivalence $ΣX\simeq Σ^2Y$ for some space $Y$. Further on, using the notion of Hopf algebras, we establish new structural properties of the cohomology ring, in particular, of the cup product. For example, using the fact that the suspension of a polyhedral product $X$ is a double suspension, we obtain a strong condition on the cohomology ring structure of $X$. This gives an important application in toric topology. For an algebra to be realised as the cohomology ring of a moment-angle manifold $\Z_P$ associated to a simple polytope $P$, we found an obstruction in the Hopf algebra $H_*(ΩΣ\Z_P)$. In addition, we use homotopy decompositions to study particular Hopf algebras. △ Less

Submitted 23 November, 2012; v1 submitted 10 November, 2010; originally announced November 2010.

MSC Class: 55T25; 16T05 (Primary) 55P35; 55P40; 57T05 (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

The integral Pontrjagin homology of the based loop space on a flag manifold

Authors: Jelena Grbic, Svjetlana Terzic

Abstract: The based loop space homology of a special family of homogeneous spaces, flag manifolds of connected compact Lie groups is studied. First, the rational homology of the based loop space on a complete flag manifold is calculated together with its Pontrjagin structure. Second, it is shown that the integral homology of the based loop space on a flag manifold is torsion free. This results in a descri… ▽ More The based loop space homology of a special family of homogeneous spaces, flag manifolds of connected compact Lie groups is studied. First, the rational homology of the based loop space on a complete flag manifold is calculated together with its Pontrjagin structure. Second, it is shown that the integral homology of the based loop space on a flag manifold is torsion free. This results in a description of the integral homology. In addition, the integral Pontrjagin structure is determined. △ Less

Submitted 23 April, 2009; v1 submitted 5 February, 2007; originally announced February 2007.

Comments: revised version, 17 pages, to appear in Osaka Journal of Mathematics

MSC Class: 57T20; 55P62 (Primary) 55P35; 57T35 (Secondary)

Natural transformations of tensor algebras and representations of combinatorial groups

Authors: Jelena Grbic, Jie Wu

Abstract: Natural linear and coalgebra transformations of tensor algebras are studied. The representations of certain combinatorial groups are given. These representations are connected to natural transformations of tensor algebras and to the groups of the homotopy classes of maps from the James construction to loop spaces. Applications to homotopy theory appear in a sequel. Natural linear and coalgebra transformations of tensor algebras are studied. The representations of certain combinatorial groups are given. These representations are connected to natural transformations of tensor algebras and to the groups of the homotopy classes of maps from the James construction to loop spaces. Applications to homotopy theory appear in a sequel. △ Less

Submitted 30 June, 2009; v1 submitted 10 February, 2006; originally announced February 2006.

Comments: This is the version published by Algebraic & Geometric Topology on 29 November 2006

MSC Class: 16W30; 20F38; 55P35

Journal ref: Algebr. Geom. Topol. 6 (2006) 2189-2228

Applications of combinatorial groups to Hopf invariant and the exponent problem

Authors: Jelena Grbic, Jie Wu

Abstract: Combinatorial groups together with the groups of natural coalgebra transformations of tensor algebras are linked to the groups of homotopy classes of maps from the James construction to a loop space. This connection gives rise to applications to homotopy theory. The Hopf invariants of the Whitehead products are studied and a rate of exponent growth for the strong version of the Barratt Conjectur… ▽ More Combinatorial groups together with the groups of natural coalgebra transformations of tensor algebras are linked to the groups of homotopy classes of maps from the James construction to a loop space. This connection gives rise to applications to homotopy theory. The Hopf invariants of the Whitehead products are studied and a rate of exponent growth for the strong version of the Barratt Conjecture is given. △ Less

Submitted 30 June, 2009; v1 submitted 10 February, 2006; originally announced February 2006.

Comments: This is the version published by Algebraic & Geometric Topology on 29 November 2006

MSC Class: 55P35; 16W30; 55Q15; 55Q25

Journal ref: Algebr. Geom. Topol. 6 (2006) 2229-2255

The cohomology of exotic 2-local finite groups

Authors: Jelena Grbic

Abstract: There exist spaces BSol(q) which are the classifying spaces of a family of 2-local finite groups based on certain fusion system over the Sylow 2-subgroups of Spin_7(q). In this paper we calculate the cohomology of BSol(q) as an algebra over the Steenrod algebra A_2. We also provide the calculation of the cohomology algebra over A_2 of the finite group of Lie type G_2(q). There exist spaces BSol(q) which are the classifying spaces of a family of 2-local finite groups based on certain fusion system over the Sylow 2-subgroups of Spin_7(q). In this paper we calculate the cohomology of BSol(q) as an algebra over the Steenrod algebra A_2. We also provide the calculation of the cohomology algebra over A_2 of the finite group of Lie type G_2(q). △ Less

Submitted 14 January, 2006; originally announced January 2006.

Comments: 13 pages

MSC Class: 55R35; 55R37; (20D06; 20D20)

Universal homotopy associative, homotopy commutative H-spaces and the EHP spectral sequence

Authors: Jelena Grbic

Abstract: Assume that all spaces and maps are localised at a fixed prime $p$. We study the possibility of generating a universal space $U(X)$ from a space $X$ which is universal in the category of homotopy associative, homotopy commutative H-spaces in the sense that any map f:X->Y to a homotopy associative, homotopy commutative H-space extends to a uniquely determined H-map F: U(X)->Y. Develo** a method… ▽ More Assume that all spaces and maps are localised at a fixed prime $p$. We study the possibility of generating a universal space $U(X)$ from a space $X$ which is universal in the category of homotopy associative, homotopy commutative H-spaces in the sense that any map f:X->Y to a homotopy associative, homotopy commutative H-space extends to a uniquely determined H-map F: U(X)->Y. Develo** a method for recognising certain universal spaces, we show the existence of the universal space F_2(n) of a certain three-cell complex L. Using this specific example, we derive some consequences for the calculation of the unstable homotopy groups of spheres, namely, we obtain a formula for the d_1-differential of the EHP-spectral sequence valid in a certain range. △ Less

Submitted 14 January, 2006; originally announced January 2006.

Comments: 29 pages

MSC Class: 55P45; 55E15; 55Q70; 55P35

Universal spaces of two-cell complexes and their exponent bounds

Authors: Jelena Grbic

Abstract: Let $P^{2n+1}$ be a two-cell complex which is formed by attaching a $(2n+1)$--cell to a $2m$--sphere by a suspension map. We construct a universal space $U$ for $P^{2n+1}$ in the category of homotopy associative, homotopy commutative $H$--spaces. By universal we mean that $U$ is homotopy associative, homotopy commutative, and has the property that any map $f\colon P^{2n+1}\lra Y$ to a homotopy a… ▽ More Let $P^{2n+1}$ be a two-cell complex which is formed by attaching a $(2n+1)$--cell to a $2m$--sphere by a suspension map. We construct a universal space $U$ for $P^{2n+1}$ in the category of homotopy associative, homotopy commutative $H$--spaces. By universal we mean that $U$ is homotopy associative, homotopy commutative, and has the property that any map $f\colon P^{2n+1}\lra Y$ to a homotopy associative, homotopy commutative $H$--space $Y$ extends to a uniquely determined $H$--map $\bar{f}\colon U\lra Y$. We then prove upper and lower bounds of the $H$--homotopy exponent of $U$. In the case of a mod~$p^r$ Moore space $U$ is the homotopy fibre $S^{2n+1}\{p^r\}$ of the $p^r$--power map on $S^{2n+1}$, and we reproduce Neisendorfer's result that $S^{2n+1}\{p^r\}$ is homotopy associative, homotopy commutative and that the $p^r$--power map on $S^{2n+1}\{p^r\}$ is null homotopic. △ Less

Submitted 12 January, 2006; originally announced January 2006.

Comments: 12 pages

MSC Class: 55P45; 55E15; 55Q70; 55P35

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