English

A new invariant that's a lower bound of LS-category

Algebraic Topology 2015-03-13 v2 Commutative Algebra

Abstract

Let XX be a simply connected CW-complex of finite type and K\mathbb{K} any field. A first known lower bound of LS-category cat(X)cat(X) is the Toomer invariant eK(X)e_{\mathbb{K}} (X) (\cite{Too}). In 19801980's F\'elix et al. introduced the concept of {\it depth} in algebraic topology and proved the depth theorem: depth(H(ΩX,K))cat(X)depth (H_*(\Omega X, \mathbb{K})) \leq cat(X). In this paper, we use the Eilenberg-Moore spectral sequence of XX to introduce a new numerical invariant, denoted by \textscr(X,K)\textsc{r}(X, \mathbb{K}), and show that it has the same properties as those of eK(X)e_{\mathbb{K}} (X). When the evaluation map (\cite{FHT88}) is non-trivial and char(K)2char(\mathbb{K})\not = 2, we prove that \textscr(X,K)\textsc{r}(X, \mathbb{K}) interpolates depth(H(ΩX,K))depth(H_*(\Omega X, \mathbb{K})) and eK(X)e_{\mathbb{K}} (X). Hence, we obtain an improvement of L. Bisiaux theorem (\cite{Bis99}) and then of the depth theorem. Motivated by these results, we associate to any commutative differential graded algebra (A,d)(A,d), a purely algebraic invariant \textscr(A,d)\textsc{r}(A,d) and, via the theory of minimal models, we relate it with our previous topological results. In particular, if (ΛV,d)(\Lambda V,d) is a Sullivan minimal algebra such that d=ikdid=\sum_{i\geq k}d_i and di(V)ΛiVd_i(V)\subseteq \Lambda ^iV, a greater lower bound is obtained, namely e0(ΛV,d)\textscr(ΛV,d)+(k2)e_0(\Lambda V, d)\geq \textsc{r}(\Lambda V, d) + (k-2).

Keywords

Cite

@article{arxiv.1211.5068,
  title  = {A new invariant that's a lower bound of LS-category},
  author = {Youssef Rami},
  journal= {arXiv preprint arXiv:1211.5068},
  year   = {2015}
}

Comments

21 pages