Showing 1–5 of 5 results for author: Vylegzhanin, F

$p$-local decompositions of looped polyhedral products

Authors: Lewis Stanton, Fedor Vylegzhanin

Abstract: We show that localised away from a finite set of primes, the loop space of a moment-angle complex is homotopy equivalent to a product of loops on spheres. This verifies a conjecture of Anick for such spaces. We also develop a method to reduce the study of the loops of more general polyhedral products to that of the loops on a moment-angle complex. As a consequence, we give $p$-local loop space dec… ▽ More We show that localised away from a finite set of primes, the loop space of a moment-angle complex is homotopy equivalent to a product of loops on spheres. This verifies a conjecture of Anick for such spaces. We also develop a method to reduce the study of the loops of more general polyhedral products to that of the loops on a moment-angle complex. As a consequence, we give $p$-local loop space decompositions of a wide family of polyhedral products, quasitoric manifolds and simply connected toric orbifolds. We also describe the additive structure of loop homology of simply connected polyhedral products in terms of polynomials studied by Backelin and Berglund. △ Less

Submitted 18 June, 2025; originally announced June 2025.

Comments: 23 pages

MSC Class: Primary 55P35; 57S12; 16E30; Secondary 13F55; 14M25; 55P60; 57R18; 57R19

The commutator subalgebra of the Lie algebra associated with a right-angled Coxeter group

Authors: Fedor Vylegzhanin, Yakov Veryovkin

Abstract: We study the graded Lie algebra $L(RC_K)$ associated with the lower central series of a right-angled Coxeter group $RC_K$. We prove that its commutator subalgebra is a quotient of the polynomial ring over an auxiliary Lie subalgebra $N_K$ of the graph Lie algebra $L_K$, and conjecture that the quotient map is an isomorphism. The epimorphism is defined in terms of a new operation in the associated… ▽ More We study the graded Lie algebra $L(RC_K)$ associated with the lower central series of a right-angled Coxeter group $RC_K$. We prove that its commutator subalgebra is a quotient of the polynomial ring over an auxiliary Lie subalgebra $N_K$ of the graph Lie algebra $L_K$, and conjecture that the quotient map is an isomorphism. The epimorphism is defined in terms of a new operation in the associated Lie algebra, which corresponds to the squaring and has an analogue in homotopy theory. We show that the universal enveloping algebra $U(N_K)$ is the mod 2 loop homology algebra of the corresponding moment-angle complex $Z_K$. This allows us to give a presentation of the Lie algebra $N_K$ by generators and relations. △ Less

Submitted 13 May, 2025; v1 submitted 14 April, 2025; originally announced April 2025.

Comments: 18 pages. v3: better exposition in section 6; submitted

MSC Class: 20F14; 20F12; 20F55; 57S12

Cartesian subgroups in graph products of groups

Authors: Fedor Vylegzhanin

Abstract: The kernel of the natural projection of a graph product of groups onto their direct product is called the Cartesian subgroup. This construction generalises commutator subgroups of right-angled Coxeter and Artin groups. Using theory of polyhedral products, we give a lower and an upper bound on the number of relations in presentations of Cartesian groups and on their deficiency. The bounds are relat… ▽ More The kernel of the natural projection of a graph product of groups onto their direct product is called the Cartesian subgroup. This construction generalises commutator subgroups of right-angled Coxeter and Artin groups. Using theory of polyhedral products, we give a lower and an upper bound on the number of relations in presentations of Cartesian groups and on their deficiency. The bounds are related to the fundamental groups of full subcomplexes in the clique complex, and the lower bound coincide with the upper bound if these fundamental groups are free or free abelian. Following Li Cai's approach, we also describe an algorithm that computes "small" presentations of Cartesian subgroups. △ Less

Submitted 27 December, 2024; originally announced December 2024.

Comments: 26 pages, 6 figures

MSC Class: 20F05; 20F55; 57M07; 20F36; 20F65; 57M05; 57S12

Loop homology of moment-angle complexes in the flag case

Authors: Fedor Vylegzhanin

Abstract: We develop a general homological approach to presentations of connected graded associative algebras, and apply it to the loop homology of moment-angle complexes $Z_K$ that correspond to flag simplicial complexes $K$. For arbitrary coefficient ring, we describe generators of the Pontryagin algebra $H_*(ΩZ_K)$ and defining relations between them. We prove that such moment-angle complexes are coforma… ▽ More We develop a general homological approach to presentations of connected graded associative algebras, and apply it to the loop homology of moment-angle complexes $Z_K$ that correspond to flag simplicial complexes $K$. For arbitrary coefficient ring, we describe generators of the Pontryagin algebra $H_*(ΩZ_K)$ and defining relations between them. We prove that such moment-angle complexes are coformal over $\mathbb{Q},$ give a necessary condition for rational formality, and compute their homotopy groups in terms of homotopy groups of spheres. △ Less

Submitted 3 October, 2024; v1 submitted 27 March, 2024; originally announced March 2024.

Comments: 32 pages, revised. v.3: Theorem 1.2 strengthened, minor changes

MSC Class: 57S12; 16W50; 16E30 (Primary) 55Q52; 55P35; 55U15; 57T05 (Secondary)

Pontryagin algebras and the LS-category of moment-angle complexes in the flag case

Authors: Fedor Vylegzhanin

Abstract: For any flag simplicial complex $K$, we describe the multigraded Poincare series, the minimal number of relations and the degrees of these relations in the Pontryagin algebra of the corresponding moment-angle complex $Z_K$. We compute the LS-category of $Z_K$ for flag complexes and give a lower bound in the general case. The key observation is that the Milnor-Moore spectral sequence collapses at t… ▽ More For any flag simplicial complex $K$, we describe the multigraded Poincare series, the minimal number of relations and the degrees of these relations in the Pontryagin algebra of the corresponding moment-angle complex $Z_K$. We compute the LS-category of $Z_K$ for flag complexes and give a lower bound in the general case. The key observation is that the Milnor-Moore spectral sequence collapses at the second sheet for flag $K$. We also show that the results of Panov and Ray about the Pontryagin algebras of Davis-Januszkiewicz spaces are valid for arbitrary coefficient rings, and introduce the $(\mathbb{Z}\times\mathbb{Z}^m)$-grading on the Pontryagin algebras which is similar to the multigrading on the cohomology of $Z_K$. △ Less

Submitted 2 November, 2022; v1 submitted 16 March, 2022; originally announced March 2022.

Comments: 20 pages, published version

MSC Class: 57S12; 55M30; 55U10 (Primary) 57T35; 13F55; 05E40; 16S37 (Secondary)

Journal ref: Proc. Steklov Inst. Math. 317, 55-77(2022)