On the free loop spaces of a toric space (Q2398333)

A moment-angle complex (a special case of a polyhedral product) is a space parametrized by a simplicial complex and equipped with a torus action. The main example is the moment-angle complex \(Z_K =(D^2, S^1)^K\) [\textit{V. M. Buchstaber} and \textit{T. E. Panov}, Toric topology. Providence, RI: American Mathematical Society (AMS) (2015; Zbl 1375.14001)] which is the key object of study in toric topology. Whenever \(K\) is an \((n-1)\)-dimensional triangulation with \(m\) vertices of a sphere, \(Z_K\) is a manifold with orbit space a simple convex complex polytope \(P^n(K) = Z_K/\mathbb{T}^m\). The homotopy orbit space of \(Z_K\) is the Davis-Januszkiewicz space \(DJ(K) = ET^m\times _{\mathbb{T}^m}Z_K\) which is a cellular model for the Stanley-Reisner ring \(\mathbb{Z}[K]\). In this note, the authors recall the dichotomy for simply connected finite CW-complexes established in [\textit{Y. Félix} and \textit{S. Halperin}, Rational homotopy theory. New York, NY: Springer (2001; Zbl 0961.55002)] and develop another dichotomy arising from the free loop space \(LZ_K\). They state in Theorem 1.2 that \(Z_K\) has totally finite rational homotopy groups if and only if the Hilbert-Poincaré series for \(H_*(LZ_K; \mathbb{Q})\) has sub-exponential growth. Moreover, in Section \(2\), they take the opportunity to add a necessary and sufficient condition on \(K\) without which their result stated in [\textit{A. Bahri} et al., Proc. Steklov Inst. Math. 286, 219--223 (2014; Zbl 1310.57041)] is incorrect. The corrected version (Theorem 2.3) together with a result on coformal spaces and one on their free loop spaces stated respectively in [\textit{J. Neisendorfer} and \textit{T. Miller}, Ill. J. Math. 22, 565--579 (1978; Zbl 0396.55011)] and [\textit{P. Lambrechts}, J. Pure Appl. Algebra 161, No. 1--2, 177--192 (2001; Zbl 0981.55004)] are used to achieve the proof of Theorem 1.2. In the particular case of \(DJ(K)\), they show in Theorem 1.4 that the topology/geometry of the free loop space \(LDJ(K)\) is tightly tied to the geometry of \(P^n(K)\) .