Showing 1–21 of 21 results for author: Limonchenko, I

On a class of toric manifolds arising from simplicial complexes

Authors: Ivan Limonchenko, Marinko Timotijević, Rade Živaljević

Abstract: Given an arbitrary abstract simplicial complex $K$ on $[m]:=\{1,2,\ldots,m\}$, different from the simplex $Δ_{[m]}$ with $m$ vertices, we introduce and study a canonical $(2m-2)$-dimensional toric manifold $X_K$, associated to the canonical $(m-1)$-dimensional complete regular fan $Σ_K$. This construction yields an infinite family of toric manifolds that are not quasitoric and provides a topologic… ▽ More Given an arbitrary abstract simplicial complex $K$ on $[m]:=\{1,2,\ldots,m\}$, different from the simplex $Δ_{[m]}$ with $m$ vertices, we introduce and study a canonical $(2m-2)$-dimensional toric manifold $X_K$, associated to the canonical $(m-1)$-dimensional complete regular fan $Σ_K$. This construction yields an infinite family of toric manifolds that are not quasitoric and provides a topological proof of the Dehn-Sommerville relations for the associated Bier sphere $\mathrm{Bier}(K)$. Finally, we prove a criterion for orientability of canonical real toric manifolds. △ Less

Submitted 16 June, 2025; originally announced June 2025.

Comments: 11 pages, 2 figures

MSC Class: 05E45; 13F55; 52B12; 55N10; 57S12

Chromatic numbers, Buchstaber numbers and chordality of Bier spheres

Authors: Ivan Limonchenko, Aleš Vavpetič

Abstract: We describe all the Bier spheres of dimension $d$ with chromatic number equal to $d+1$ and prove that all other $d$-dimensional Bier spheres have chromatic number equal to $d+2$, for any integer $d\geq 0$. Then we prove a general formula for complex and mod $p$ Buchstaber numbers of a Bier sphere $\mathrm{Bier}(K)$, for each prime $p\in\mathbb N$ in terms of the $f$-vector of the underlying simpli… ▽ More We describe all the Bier spheres of dimension $d$ with chromatic number equal to $d+1$ and prove that all other $d$-dimensional Bier spheres have chromatic number equal to $d+2$, for any integer $d\geq 0$. Then we prove a general formula for complex and mod $p$ Buchstaber numbers of a Bier sphere $\mathrm{Bier}(K)$, for each prime $p\in\mathbb N$ in terms of the $f$-vector of the underlying simplicial complex $K$. Finally, we classify all chordal Bier spheres and obtain their canonical realizations as boundaries of stacked polytopes. △ Less

Submitted 30 December, 2024; originally announced December 2024.

Comments: 18 pages, 7 figures

MSC Class: 05C15; 05E45; 13F55; 52B12; 57S12

Simplicial vs. cubical spheres, polyhedral products and the Nevo-Petersen conjecture

Authors: Ivan Limonchenko, Rade Živaljević

Abstract: We prove that a Murai sphere is flag if and only if it is a nerve complex of a flag nestohedron and classify all the polytopes arising in this way. Our classification implies that flag Murai spheres satisfy the Nevo-Petersen conjecture on $γ$-vectors of flag homology spheres. We continue by showing that a Bier sphere is minimally non-Golod if and only if it is a nerve complex of a truncation polyt… ▽ More We prove that a Murai sphere is flag if and only if it is a nerve complex of a flag nestohedron and classify all the polytopes arising in this way. Our classification implies that flag Murai spheres satisfy the Nevo-Petersen conjecture on $γ$-vectors of flag homology spheres. We continue by showing that a Bier sphere is minimally non-Golod if and only if it is a nerve complex of a truncation polytope different from a simplex and classify all the polytopes arising in this way. Finally, the notion of a cubical Bier sphere is introduced based on the polyhedral product construction, and we study combinatorial and geometrical properties of these cubical complexes. △ Less

Submitted 21 November, 2024; originally announced November 2024.

Comments: 23 pages, 4 figures

MSC Class: 13F55; 55N10; 55S20; 57S12

Bier spheres and toric topology

Authors: Ivan Limonchenko, Matvey Sergeev

Abstract: We compute the real and complex Buchstaber numbers of an arbitrary Bier sphere. In dimension two, we identify all the 13 different combinatorial types of Bier spheres and show that 12 of them are nerve complexes of nestohedra, while the remaining one is a nerve complex of a generalized permutohedron. As an application of our results, we construct a regular normal fan for each of those 13 Delzant p… ▽ More We compute the real and complex Buchstaber numbers of an arbitrary Bier sphere. In dimension two, we identify all the 13 different combinatorial types of Bier spheres and show that 12 of them are nerve complexes of nestohedra, while the remaining one is a nerve complex of a generalized permutohedron. As an application of our results, we construct a regular normal fan for each of those 13 Delzant polytopes, compute the cohomology rings of the corresponding nonsingular projective toric varieties, and examine the orientability of the corresponding small covers. △ Less

Submitted 25 December, 2024; v1 submitted 5 June, 2024; originally announced June 2024.

Comments: 18 pages, 2 figures, 6 tables; statement of Theorem 2.16 corrected, minor changes

MSC Class: 13F55; 55N10; 57S12; 52B10; 52B05

Journal ref: Proc. Steklov Inst. Math., 326 (2024), 252-268

A stability theorem for bigraded persistence barcodes

Authors: Anthony Bahri, Ivan Limonchenko, Taras Panov, Jongbaek Song, Donald Stanley

Abstract: We define bigraded persistent homology modules and bigraded barcodes of a finite pseudo-metric space X using the ordinary and double homology of the moment-angle complex associated with the Vietoris-Rips filtration of X. We prove a stability theorem for the bigraded persistent double homology modules and barcodes. We define bigraded persistent homology modules and bigraded barcodes of a finite pseudo-metric space X using the ordinary and double homology of the moment-angle complex associated with the Vietoris-Rips filtration of X. We prove a stability theorem for the bigraded persistent double homology modules and barcodes. △ Less

Submitted 28 March, 2024; v1 submitted 26 March, 2023; originally announced March 2023.

Comments: 20 pages

MSC Class: Primary 57S12; 55N31; 57Z25; Secondary 13F55; 55U10

Generalized virtual polytopes and quasitoric manifolds

Authors: Askold Khovanskii, Ivan Limonchenko, Leonid Monin

Abstract: In this paper we develop a theory of volume polynomials of generalized virtual polytopes based on the study of topology of affine subspace arrangements in a real Euclidean space. We apply this theory to obtain a topological version of the BKK Theorem, the Stanley-Reisner and Pukhlikov-Khovanskii type descriptions for cohomology rings of generalized quasitoric manifolds. In this paper we develop a theory of volume polynomials of generalized virtual polytopes based on the study of topology of affine subspace arrangements in a real Euclidean space. We apply this theory to obtain a topological version of the BKK Theorem, the Stanley-Reisner and Pukhlikov-Khovanskii type descriptions for cohomology rings of generalized quasitoric manifolds. △ Less

Submitted 31 March, 2022; originally announced April 2022.

Comments: 18 pages

MSC Class: 57S12; 13F55; 55N45

On the homotopy decomposition for the quotient of a moment-angle complex and its applications

Authors: Ivan Limonchenko, Grigory Solomadin

Abstract: In this paper we prove that the quotient of any real or complex moment-angle complex by any closed subgroup in the naturally acting compact torus on it is equivariantly homotopy equivalent to the homotopy colimit of a certain toric diagram. For any quotient we prove an equivariant homeomorphism generalizing the well-known Davis-Januszkiewicz construction for quasitoric manifolds and small covers.… ▽ More In this paper we prove that the quotient of any real or complex moment-angle complex by any closed subgroup in the naturally acting compact torus on it is equivariantly homotopy equivalent to the homotopy colimit of a certain toric diagram. For any quotient we prove an equivariant homeomorphism generalizing the well-known Davis-Januszkiewicz construction for quasitoric manifolds and small covers. We deduce formality of the corresponding Borel construction space under the natural assumption on the group action in the complex case leading to the new description of the equivariant cohomology for the quotients by any coordinate subgroups. We prove the weak Toral Rank Conjecture for any partial quotient by the diagonal circle action. We give an explicit construction of partial quotients by circle actions having arbitrary torsion in integral cohomology. △ Less

Submitted 26 June, 2022; v1 submitted 28 February, 2022; originally announced February 2022.

Comments: 19 pages. Bibliography: 45 items. Comments: Title changed. Introduction rewritten. Added and updated proofs of Proposition 2.5, Theorems 4.15, 4.18, Corollary 5.4. Corrected Corollary 2.19, Example 2.17, Example 4.5. Generalized Corollary 5.4 to arbitrary simplicial complexes. Small typos corrected

MSC Class: 57S12; 13F55; 55N91

Minimally non-Golod face rings and Massey products

Authors: Ivan Limonchenko, Taras Panov

Abstract: We give a correct statement and a complete proof of the criterion obtained by Grbić, Panov, Theriault and Wu for the face ring $\Bbbk[K]$ of a simplicial complex $K$ to be Golod over a field $\Bbbk$. (The original argument depended on the main result of a paper by Berglund and Jöllenbeck, which was shown to be false by Katthän.) We also construct an example of a minimally non-Golod complex $K$ suc… ▽ More We give a correct statement and a complete proof of the criterion obtained by Grbić, Panov, Theriault and Wu for the face ring $\Bbbk[K]$ of a simplicial complex $K$ to be Golod over a field $\Bbbk$. (The original argument depended on the main result of a paper by Berglund and Jöllenbeck, which was shown to be false by Katthän.) We also construct an example of a minimally non-Golod complex $K$ such that the cohomology of the corresponding moment-angle complex $\mathcal Z_K$ has trivial cup product and a non-trivial triple Massey product. △ Less

Submitted 30 January, 2022; originally announced January 2022.

Comments: 3 pages

MSC Class: 13F55; 55S30; 57S12

Journal ref: Uspekhi Mat. Nauk 77 (2022), no. 4, 203-204

Cohomology rings of quasitoric bundles

Authors: Askold Khovanskii, Ivan Limonchenko, Leonid Monin

Abstract: The classical BKK theorem computes the intersection number of divisors on toric variety in terms of volumes of corresponding polytopes. It was observed by Pukhlikov and the first author that the BKK theorem leads to a presentation of the cohomology ring of toric variety as a quotient of the ring of differential operators with constant coefficients by the annihilator of an explicit polynomial. In… ▽ More The classical BKK theorem computes the intersection number of divisors on toric variety in terms of volumes of corresponding polytopes. It was observed by Pukhlikov and the first author that the BKK theorem leads to a presentation of the cohomology ring of toric variety as a quotient of the ring of differential operators with constant coefficients by the annihilator of an explicit polynomial. In this paper we generalize this construction to the case of quasitoric bundles. These are fiber bundles with generalized quasitoric manifolds as fibers. First we obtain a generalization of the BKK theorem to this case. Then we use recently obtained descriptions of the graded-commutative algebras which satisfy Poincaré duality to give a description of cohomology rings of quasitoric bundles. △ Less

Submitted 30 December, 2021; originally announced December 2021.

Comments: 16 pages, comments are welcome! arXiv admin note: substantial text overlap with arXiv:2006.12043

Double cohomology of moment-angle complexes

Authors: Ivan Limonchenko, Taras Panov, Jongbaek Song, Donald Stanley

Abstract: We put a cochain complex structure ${CH}^*(\mathcal Z_K)$ on the cohomology of a moment-angle complex $\mathcal Z_K$ and call the resulting cohomology the double cohomology, ${HH}^*(\mathcal Z_K)$. We give three equivalent definitions for the differential, and compute ${HH}^*(\mathcal Z_K)$ for a family of simplicial complexes containing clique complexes of chordal graphs. We put a cochain complex structure ${CH}^*(\mathcal Z_K)$ on the cohomology of a moment-angle complex $\mathcal Z_K$ and call the resulting cohomology the double cohomology, ${HH}^*(\mathcal Z_K)$. We give three equivalent definitions for the differential, and compute ${HH}^*(\mathcal Z_K)$ for a family of simplicial complexes containing clique complexes of chordal graphs. △ Less

Submitted 13 November, 2023; v1 submitted 13 December, 2021; originally announced December 2021.

Comments: 25 pages, 4 figures, published version

MSC Class: 13F55; 55N10; 55S20; 57S12

Journal ref: Advances in Math. 432 (2023), Paper no. 109274, 34 pp

Higher order Massey products and applications

Authors: Ivan Limonchenko, Dmitry Millionshchikov

Abstract: In this survey, we discuss two research areas related to Massey's higher operations. The first direction is connected with the cohomology of Lie algebras and the theory of representations. The second main theme is at the intersection of toric topology, homotopy theory of polyhedral products, and the homology theory of local rings, Stanley-Reisner rings of simplicial complexes. In this survey, we discuss two research areas related to Massey's higher operations. The first direction is connected with the cohomology of Lie algebras and the theory of representations. The second main theme is at the intersection of toric topology, homotopy theory of polyhedral products, and the homology theory of local rings, Stanley-Reisner rings of simplicial complexes. △ Less

Submitted 26 April, 2020; v1 submitted 23 February, 2020; originally announced February 2020.

Comments: 36 pages, 1 figure; minor changes, misprints corrected

MSC Class: 13F55 (Primary) 52B11; 55S30 (Secondary)

Massey products, toric topology and combinatorics of polytopes

Authors: Victor Buchstaber, Ivan Limonchenko

Abstract: In this paper we introduce a direct family of simple polytopes $P^{0}\subset P^{1}\subset\ldots$ such that for any $k$, $2\leq k\leq n$ there are non-trivial strictly defined Massey products of order $k$ in the cohomology rings of their moment-angle manifolds $\mathcal Z_{P^n}$. We prove that the direct sequence of manifolds… ▽ More In this paper we introduce a direct family of simple polytopes $P^{0}\subset P^{1}\subset\ldots$ such that for any $k$, $2\leq k\leq n$ there are non-trivial strictly defined Massey products of order $k$ in the cohomology rings of their moment-angle manifolds $\mathcal Z_{P^n}$. We prove that the direct sequence of manifolds $\ast\subset S^{3}\hookrightarrow\ldots\hookrightarrow\mathcal Z_{P^n}\hookrightarrow\mathcal Z_{P^{n+1}}\hookrightarrow\ldots$ has the following properties: every manifold $\mathcal Z_{P^n}$ is a retract of $\mathcal Z_{P^{n+1}}$, and one has inverse sequences in cohomology (over $n$ and $k$, where $k\to\infty$ as $n\to\infty$) of the Massey products constructed. As an application we get that there are non-trivial differentials $d_k$, for arbitrarily large $k$ as $n\to\infty$ in the Eilenberg--Moore spectral sequence connecting the rings $H^*(ΩX)$ and $H^*(X)$ with coefficients in a field, where $X=\mathcal Z_{P^n}$. △ Less

Submitted 29 December, 2019; originally announced December 2019.

Comments: 53 pages, 5 figures; extended version of a paper to appear in Izv. Math

MSC Class: 13F55; 14M25; 55S30 (Primary) 52B11 (Secondary)

SU-bordism: structure results and geometric representatives

Authors: Georgy Chernykh, Ivan Limonchenko, Taras Panov

Abstract: In the first part of this survey we give a modernised exposition of the structure of the special unitary bordism ring, by combining the classical geometric methods of Conner-Floyd, Wall and Stong with the Adams-Novikov spectral sequence and formal group law techniques that emerged after the fundamental 1967 work of Novikov. In the second part we use toric topology to describe geometric representat… ▽ More In the first part of this survey we give a modernised exposition of the structure of the special unitary bordism ring, by combining the classical geometric methods of Conner-Floyd, Wall and Stong with the Adams-Novikov spectral sequence and formal group law techniques that emerged after the fundamental 1967 work of Novikov. In the second part we use toric topology to describe geometric representatives in SU-bordism classes, including toric, quasitoric and Calabi-Yau manifolds. △ Less

Submitted 30 August, 2019; v1 submitted 17 March, 2019; originally announced March 2019.

Comments: 50 pages; published version

MSC Class: Primary 55N22; 57R77; Secondary 55T15; 14M25; 14J32

Journal ref: Russian Math. Surveys 74 (2019), no. 3, 461-524

Direct families of polytopes with nontrivial Massey products

Authors: Victor Buchstaber, Ivan Limonchenko

Abstract: The problem of existence of nontrivial Massey products in cohomology of a space is well-known in algebraic topology and homological algebra. A number of problems in complex geometry, symplectic geometry, and algebraic topology can be stated in terms of Massey products. One of such problems is to establish formality of smooth manifolds in rational homotopy theory. There have already been constructe… ▽ More The problem of existence of nontrivial Massey products in cohomology of a space is well-known in algebraic topology and homological algebra. A number of problems in complex geometry, symplectic geometry, and algebraic topology can be stated in terms of Massey products. One of such problems is to establish formality of smooth manifolds in rational homotopy theory. There have already been constructed a few classes of spaces with nontrivial triple Massey products in cohomology. Until now, very few examples of manifolds $M$ with nontrivial higher Massey products in $H^*(M)$ were known. In this work we introduce a sequence of smooth closed manifolds $\{M_{k}\}^{\infty}_{k=1}$ such that $M_{k}\hookrightarrow M_{k+1}$ is a submanifold and a retract of $M_{k+1}$ for any $k\geq 1$ and there exists a nontrivial Massey product $\langleα_{1},\ldots,α_{n}\rangle$ in $H^*(M_{k})$ for each $2\leq n\leq k$. The sequence $\{M_k\}^{\infty}_{k=1}$ is determined by a new family of flag nestohedra $\mathcal P_{Mas}$. We give P.D.E. for the two-parametric generating series of $\mathcal P_{Mas}$. △ Less

Submitted 6 November, 2018; originally announced November 2018.

Comments: 28 pages, 5 figures

MSC Class: 13F55; 55S30 (Primary) 52B11 (Secondary)

Embeddings of moment-angle manifolds and sequences of Massey products

Authors: Victor Buchstaber, Ivan Limonchenko

Abstract: We show that for any face $F$ of a simple polytope $P$ the canonical equivariant homeomorphisms $h_P:\,\mathcal Z_P\to\mathcal Z_{K_P}$ and $h_F:\,\mathcal Z_F\to\mathcal Z_{K_F}$ are linked in a pentagonal commutative diagram with the maps of moment-angle manifolds and moment-angle-complexes, induced by a face embedding $i_{F,P}:\,F\to P$ and a simplicial embedding… ▽ More We show that for any face $F$ of a simple polytope $P$ the canonical equivariant homeomorphisms $h_P:\,\mathcal Z_P\to\mathcal Z_{K_P}$ and $h_F:\,\mathcal Z_F\to\mathcal Z_{K_F}$ are linked in a pentagonal commutative diagram with the maps of moment-angle manifolds and moment-angle-complexes, induced by a face embedding $i_{F,P}:\,F\to P$ and a simplicial embedding $Φ_{F,P}:\,K_F\to K_{F,P}\to K_P$, where $K_{F,P}$ is the full subcomplex of $K_P$ on the same vertex set as $Φ_{F,P}(K_F)$. We introduce the explicit constructions of the maps $i_{F,P}$, $Φ_{F,P}$ and show that a polytope $P$ is flag if and only if the induced embedding $\hat{i}_{F,P}:\,\mathcal Z_{F}\to\mathcal Z_P$ of moment-angle manifolds has a retraction and thus induces a split ring epimorphism in cohomology for any face $F\subset P$. As the applications of these results we obtain the sequences $\{P^n\}$ of flag simple polytopes such that there exists a nontrivial $k$-fold Massey product in $H^*(\mathcal Z_{P^n})$ with $k\to\infty$ as $n\to\infty$ and, moreover, the existence of a nontrivial $k$-fold Massey product in $H^*(\mathcal Z_{P^n})$ implies existence of a nontrivial $k$-fold Massey product in $H^*(\mathcal Z_{P^l})$ for any $l>n$. △ Less

Submitted 27 August, 2018; originally announced August 2018.

Comments: 23 pages

MSC Class: 13F55; 55S30 (Primary) 52B11 (Secondary)

Calabi-Yau hypersurfaces and SU-bordism

Authors: Ivan Limonchenko, Zhi Lu, Taras Panov

Abstract: Batyrev constructed a family of Calabi-Yau hypersurfaces dual to the first Chern class in toric Fano varieties. Using this construction, we introduce a family of Calabi-Yau manifolds whose SU-bordism classes generate the special unitary bordism ring $\varOmega^{SU}\otimes\mathbb{Z}[\frac{1}{2}]\cong\mathbb{Z}[\frac{1}{2}][y_{i}\colon i\ge 2]$. We also describe explicit Calabi-Yau representatives f… ▽ More Batyrev constructed a family of Calabi-Yau hypersurfaces dual to the first Chern class in toric Fano varieties. Using this construction, we introduce a family of Calabi-Yau manifolds whose SU-bordism classes generate the special unitary bordism ring $\varOmega^{SU}\otimes\mathbb{Z}[\frac{1}{2}]\cong\mathbb{Z}[\frac{1}{2}][y_{i}\colon i\ge 2]$. We also describe explicit Calabi-Yau representatives for multiplicative generators of the SU-bordism ring in low dimensions. △ Less

Submitted 9 July, 2018; v1 submitted 20 December, 2017; originally announced December 2017.

Comments: 10 pages, minor changes in version 2

MSC Class: Primary 57R77; Secondary 14M25

Journal ref: Proceedings of the Steklov Institute of Mathematics 302 (2018), 270-278

Topology of polyhedral products over simplicial multiwedges

Authors: Ivan Limonchenko

Abstract: We prove that certain conditions on multigraded Betti numbers of a simplicial complex $K$ imply existence of a higher Massey product in cohomology of a moment-angle-complex $\mathcal Z_K$, which contains a unique element (a strictly defined product). Using the simplicial multiwedge construction, we find a family $\mathcal{F}$ of polyhedral products being smooth closed manifolds such that for any… ▽ More We prove that certain conditions on multigraded Betti numbers of a simplicial complex $K$ imply existence of a higher Massey product in cohomology of a moment-angle-complex $\mathcal Z_K$, which contains a unique element (a strictly defined product). Using the simplicial multiwedge construction, we find a family $\mathcal{F}$ of polyhedral products being smooth closed manifolds such that for any $l,r\geq 2$ there exists an $l$-connected manifold $M\in\mathcal F$ with a nontrivial strictly defined $r$-fold Massey product in $H^{*}(M)$. As an application to homological algebra, we determine a wide class of triangulated spheres $K$ such that a nontrivial higher Massey product of any order may exist in Koszul homology of their Stanley--Reisner rings. As an application to rational homotopy theory, we establish a combinatorial criterion for a simple graph $Γ$ to provide a (rationally) formal generalized moment-angle manifold $\mathcal Z_{P}^{J}=(D^{2j_{i}},S^{2j_{i}-1})^{\partial P^*}$, $J=(j_{1},\ldots,j_m)$ over a graph-associahedron $P=P_Γ$ and compute all the diffeomorphism types of formal moment-angle manifolds over graph-associahedra. △ Less

Submitted 27 August, 2018; v1 submitted 1 November, 2017; originally announced November 2017.

Comments: 28 pages, 1 figure, minor changes in presentation, some applications of main results added, list of references updated

MSC Class: 13F55; 55S30 (Primary) 52B11 (Secondary)

Moment-angle manifolds, 2-truncated cubes and Massey operations

Authors: Ivan Limonchenko

Abstract: We construct a family of manifolds, one for each $n\geq 2$, having a nontrivial Massey $n$-product in their cohomology. These manifolds turn out to be smooth closed 2-connected manifolds with a compact torus action called moment-angle manifolds $\mathcal Z_P$, whose orbit spaces are simple $n$-dimensional polytopes $P$ obtained from a $n$-cube by a sequence of truncations of faces of codimension 2… ▽ More We construct a family of manifolds, one for each $n\geq 2$, having a nontrivial Massey $n$-product in their cohomology. These manifolds turn out to be smooth closed 2-connected manifolds with a compact torus action called moment-angle manifolds $\mathcal Z_P$, whose orbit spaces are simple $n$-dimensional polytopes $P$ obtained from a $n$-cube by a sequence of truncations of faces of codimension 2 only (2-truncated cubes). Moreover, the polytopes $P$ are flag nestohedra but not graph-associahedra. We compute some bigraded Betti numbers $β^{-i,2(i+1)}(Q)$ for an associahedron $Q$ in terms of its graph structure and relate it to the structure of the loop homology (Pontryagin algebra) $H_{*}(Ω\mathcal Z_Q)$. We also study triple Massey products in $H^{*}(\mathcal Z_Q)$ for a graph-associahedron $Q$. △ Less

Submitted 20 March, 2017; v1 submitted 27 October, 2015; originally announced October 2015.

Comments: 19 pages, 6 figures. To appear in Ch. Ann. of Math., Ser. B. Minor changes, misprints corrected. Main results of Section 4 were published in Rus. Math. Surveys

MSC Class: 13F55; 55S30 (Primary); 52B11 (Secondary)

Journal ref: Chinese Annals of Mathematics, 38B(6) (2017), 1287-1302

Families of minimally non-Golod complexes and their polyhedral products

Authors: Ivan Limonchenko

Abstract: We consider families of simple polytopes $P$ and simplicial complexes $K$ well-known in polytope theory and convex geometry, and show that their moment-angle complexes have some remarkable homotopy properties which depend on combinatorics of the underlying complexes and algebraic properties of their Stanley--Reisner rings. We introduce infinite series of Golod and minimally non-Golod simplicial co… ▽ More We consider families of simple polytopes $P$ and simplicial complexes $K$ well-known in polytope theory and convex geometry, and show that their moment-angle complexes have some remarkable homotopy properties which depend on combinatorics of the underlying complexes and algebraic properties of their Stanley--Reisner rings. We introduce infinite series of Golod and minimally non-Golod simplicial complexes $K$ with moment-angle complexes $\mathcal Z_K$ having free integral cohomology but not homotopy equivalent to a wedge of spheres or a connected sum of products of spheres respectively. We then prove a criterion for a simplicial multiwedge and composition of complexes to be Golod and minimally non-Golod and present a class of minimally non-Golod polytopal spheres. △ Less

Submitted 20 November, 2020; v1 submitted 14 September, 2015; originally announced September 2015.

Comments: 13 pages, Construction 3.9 and Theorem 3.10 added

MSC Class: 13F55; 55U10

Journal ref: Far Eastern Mathematical Journal, 15:2 (2015), 222-237

Stanley--Reisner rings of generalised truncation polytopes and their moment-angle manifolds

Authors: Ivan Limonchenko

Abstract: We consider simple polytopes $P=vc^{k}(Δ^{n_{1}}\times\ldots\timesΔ^{n_{r}})$, for $n_1\ge\ldots\ge n_r\ge 1,r\ge 1,k\ge 0$, that is, $k$-vertex cuts of a product of simplices, and call them {\emph{generalized truncation polytopes}}. For these polytopes we describe the cohomology ring of the corresponding moment-angle manifold $\mathcal Z_P$ and explore some topological consequences of this calcul… ▽ More We consider simple polytopes $P=vc^{k}(Δ^{n_{1}}\times\ldots\timesΔ^{n_{r}})$, for $n_1\ge\ldots\ge n_r\ge 1,r\ge 1,k\ge 0$, that is, $k$-vertex cuts of a product of simplices, and call them {\emph{generalized truncation polytopes}}. For these polytopes we describe the cohomology ring of the corresponding moment-angle manifold $\mathcal Z_P$ and explore some topological consequences of this calculation. We also examine minimal non-Golodness for their Stanley--Reisner rings and relate it to the property of $\mathcal Z_P$ being a connected sum of sphere products. △ Less

Submitted 9 January, 2014; originally announced January 2014.

Comments: 12 pages. arXiv admin note: text overlap with arXiv:1101.0066

Journal ref: Proceedings of the Steklov Institute of Mathematics, 286 (2014), 188-197

Bigraded Betti numbers of some simple polytopes

Authors: Ivan Limonchenko

Abstract: The bigraded Betti numbers b^{-i,2j}(P) of a simple polytope P are the dimensions of the bigraded components of the Tor groups of the face ring k[P]. The numbers b^{-i,2j}(P) reflect the combinatorial structure of P as well as the topology of the corresponding moment-angle manifold \mathcal Z_P, and therefore they find numerous applications in combinatorial commutative algebra and toric topology.… ▽ More The bigraded Betti numbers b^{-i,2j}(P) of a simple polytope P are the dimensions of the bigraded components of the Tor groups of the face ring k[P]. The numbers b^{-i,2j}(P) reflect the combinatorial structure of P as well as the topology of the corresponding moment-angle manifold \mathcal Z_P, and therefore they find numerous applications in combinatorial commutative algebra and toric topology. Here we calculate some bigraded Betti numbers of the type β^{-i,2(i+1)} for associahedra, and relate the calculation of the bigraded Betti numbers for truncation polytopes to the topology of their moment-angle manifolds. These two series of simple polytopes provide conjectural extrema for the values of b^{-i,2j}(P) among all simple polytopes P with the fixed dimension and number of vertices. △ Less

Submitted 7 March, 2011; v1 submitted 30 December, 2010; originally announced January 2011.

Comments: 15 pages, LaTex2e. Revisions in v2:(a)new references added;(b)Conjecture 2.7 reformulated and proved as Theorem 2.9 in Section 2

Journal ref: Mathematical Notes, 94:3 (2013), 351-363