An algorithm to determine LS-category and Ginsburg invariant of any rationally elliptic space
Let $X$ be a rationally elliptic space. Utilizing the Gorenstein algebra structure of $X$, we present three algorithms that together induce a generating class of $Ext^N_{(ΛV,d)}(\mathbb{Q},(ΛV,d))$ with $N$ being the formal dimension of $X$. From these algorithms, we derive an algorithm to compute the rational Lusternik-Schnirelmann category $cat_0(X)$. Furthermore, by applying a spectral sequence argument based on the {\it Eilenberg-Moore spectral sequence}, we compute the rational Ginsburg invariant $l_0(X)$ introduced by M. Ginsburg in \cite{Gin}.
math.AT↗