An algorithm to determine LS-category and Ginsburg invariant of any rationally elliptic space

Abstract

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 $Ex{t}_{(\Lambda V,d)}^N(\mathbb{Q},(\Lambda V,d))$ with $N$ being the formal dimension of $X$. From these algorithms, we derive an algorithm to compute the rational Lusternik-Schnirelmann category $ca{t}_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}.

36 pages