Bounding the rational LS-category of certain spaces via the Hilbert function. (Q1403826)

The authors present an algorithm for computing the rational Lusternik-Schnirelmann category of a pure elliptic space \(X\). They improve in this way an algorithm developed by \textit{L. Lechuga} in [Bull. Belg. Math. Soc.-Simon Stevin 9, No. 4, 533--544 (2002; Zbl 1039.58011)]. Denote by \((\Lambda(x_1,\dots, x_n, y_1,\dots, y_m), d)\) the model of \(X\) with \(d(x_i)= 0\), and \(d(y_j)= f_j(x_1,\dots,x_n)\). We write \(R= \Lambda(x_1,\dots, x_n)\), I the ideal generated by the \(f_j\), \(\ell t(I)\) the ideal generated by the leading terms of \(I\) and \(H^I\) the Hilbert series of \(R/\ell t(I)\). The algorithm is based on the relations between \(\text{cat}_0(X)\) and \(m(X)= \max\{k\mid H^1(k)\neq 0\}\): (1) if \(m= n\), \(\text{cat}_0(X)= m(X)\); (2) \(m(X)+ m- n\leq \text{cat}_0(X)\); (3) \(\text{cat}_0(X)\leq m- n+ \max\{k\mid H^j(k)\neq 0\}\) for all ideal \(J\subset I\) generated by a regular sequence.