Upper and Lower Bounds of the (co)chain Type Level of a Space
Article
First Online:
Received:
Accepted:
- 102 Downloads
Abstract
We establish an upper bound for the cochain type level of the total space of a pull-back fibration. It explains to us why the numerical invariants for principal bundles over the sphere are less than or equal to two. Moreover computational examples of the levels of path spaces and Borel constructions, including biquotient spaces and Davis-Januszkiewicz spaces, are presented. We also show that the chain type level of the homotopy fibre of a map is greater than the E-category in the sense of Kahl, which is an algebraic approximation of the Lusternik-Schnirelmann category of the map. The inequality fits between the grade and the projective dimension of the cohomology of the homotopy fibre.
Keywords
Level Semi-free module Triangulated category Formal space Borel construction L.-S. categoryMathematics Subject Classifications (2010)
16E45 18E30 55R20 13D07Preview
Unable to display preview. Download preview PDF.
References
- 1.Avramov, L.L., Buchweitz, R.-O., Iyengar, S.B., Miller, C.: Homology of perfect complexes. Adv. Math. 223, 1731–1781 (2010)MathSciNetMATHCrossRefGoogle Scholar
- 2.Baum, P.F.: On the cohomology of homogeneous spaces. Topology 7, 15–38 (1968)MathSciNetMATHCrossRefGoogle Scholar
- 3.Baum, P.F., Smith, L.: Real cohomology of differential Fibre bundles. Comment. Math. Helv. 42, 171–179 (1967)MathSciNetMATHCrossRefGoogle Scholar
- 4.Benson, D.J.B., Greenlees, J.P.C.: Complete intersections and derived categories. arXiv:math.AC/0906.4025v1 (2009, preprint)
- 5.Bondal, A., Van den Bergh, M.: Generetors and representability of functors in commutative and non-commutative geometry. Mosc. Math. J. 3, 1–36 (2003)MathSciNetMATHGoogle Scholar
- 6.Buchstaber, V.M., Panov, T.E.: Torus actions and their applications in topology and combinatorics. University Lecture Series, vol. 24. American Mathematical Society (2002)Google Scholar
- 7.Davis, M.W., Januszkiewicz, T.: Convex polytopes, Coxeter orbifolds and torus actions. Duke Math. J. 62, 417–451 (1991)MathSciNetMATHCrossRefGoogle Scholar
- 8.Dwyer, W.G., Greenlees, J.P.C., Iyengar, S.: Duality in algebra and topology. Adv. Math. 200, 357–402 (2006)MathSciNetMATHCrossRefGoogle Scholar
- 9.El haouari, M.: p-formalité des espaces. J. Pure Appl. Algebra 78, 27–47 (1992)MathSciNetMATHCrossRefGoogle Scholar
- 10.Eschenburg, J.-H.: New examples of manifolds with strictly positive curvature. Invent. Math 66, 469–480 (1982)MathSciNetMATHCrossRefGoogle Scholar
- 11.Félix, Y., Halperin, S., Thomas, J.-C.: Gorenstein spaces. Adv. Math. 71, 92–112 (1988)MATHCrossRefGoogle Scholar
- 12.Félix, Y., Halperin, S., Thomas, J.-C.: Differential graded algebras in topology. In: James, I.M. (ed.) Handbook of Algebraic Topology, pp. 829–865. Elsevier, Amsterdam (1995)CrossRefGoogle Scholar
- 13.Félix, Y., Halperin, S., Thomas, J.-C.: Rational homotopy theory. Grad. Texts Math. 205 Springer (2001)Google Scholar
- 14.Greenlees, J.P.C., Hess, K., Shamir, S.: Complete intersections and rational homotopy theory. arXiv:math.AC/0906.3247v1 (2009, preprint)
- 15.Gugenheim, K.A.M.V., May, J.P.: On the theory and applications of differential torsion products. Mem. Am. Math. Soc. 142 (1974)Google Scholar
- 16.Halperin, S., Lemaire, J.-M.: Notions of category in differential algebra. Algebraic Topology: Rational Homotopy. Springer Lecture Notes in Math., vol. 1318, pp. 138–154. Springer, Berlin, New York (1988)CrossRefGoogle Scholar
- 17.Happel, D.: On the derived category of a finite-dimensional algebra. Comment. Math. Helv. 62, 339–389 (1987)MathSciNetMATHCrossRefGoogle Scholar
- 18.Happel, D.: Triangulated categories in the representation theory of finite-dimensional algebras. London Mathematical Society Lecture Note Series, vol. 119. Cambridge University Press, Cambridge (1988)MATHCrossRefGoogle Scholar
- 19.Hauschild, V.: Deformations and the rational homotopy of the monoid of fibre homotopy equivalences. Ill. J. Math. 37, 537–560 (1993)MathSciNetMATHGoogle Scholar
- 20.Hess, K.: A proof of Ganea conjecture for rational spaces. Topology 30, 205–214 (1991)MathSciNetMATHCrossRefGoogle Scholar
- 21.Hovey, M., Lockridge, K.: The ghost dimension of a ring. Proc. Am. Math. Soc. 137, 1907–1913 (2009)MathSciNetMATHCrossRefGoogle Scholar
- 22.Idrissi, E.: Quelques contre-exemples pour la LS-catégorie d’une algèbre de cochaîes. Ann. Inst. Fourier 41(4), 989–1003 (1991)MathSciNetMATHCrossRefGoogle Scholar
- 23.Jørgensen, P.: Auslander-Reiten theory over topological spaces. Comment. Math. Helv. 79, 160–182 (2004)MathSciNetCrossRefGoogle Scholar
- 24.Jørgensen, P.: The Auslander-Reiten quiver of a Poincaré duality space. Algebr. Represent. Theory 9, 323–336 (2006)MathSciNetCrossRefGoogle Scholar
- 25.Jørgensen, P.: Calabi-Yau categories and Poincaré duality spaces. Trends in representation theory of algebras and related topics. EMS Ser. Congr. Rep., Eur. Math. Soc., pp. 399–431. Zürich (2008)Google Scholar
- 26.Kahl, T.: On the algebraic approximation of Lusternik-Schnirelmann category. J. Pure Appl. Algebra 181, 227–277 (2003)MathSciNetMATHCrossRefGoogle Scholar
- 27.Kahl, T.: Note on L.-S. category and DGA modules. Bell. Belg. Math. Soc. 13, 703–717 (2006)MathSciNetMATHGoogle Scholar
- 28.Keller, B.: Deriving DG categories. Ann. Sci. École Norm. Sup. 27(4), 63–102 (1994)MATHGoogle Scholar
- 29.Krause, H., Kussin, D.: Rouquier’s theorem on representation dimension. Representations of Algebras and Related Topics. Contemp. Math. – Amer. Math. Soc. 406, 95–103 (2006)MathSciNetCrossRefGoogle Scholar
- 30.Kriz, I., May, J.P.: Operads, algebras, modules and motives. Astérisque (233) (1995)Google Scholar
- 31.Kuribayashi, K.: On the mod p cohomology of spaces of free loops on the Grassmann and Stiefel manifolds. J. Math. Soc. Jpn. 43, 331–346 (1991)MathSciNetMATHCrossRefGoogle Scholar
- 32.Kuribyashi, K.: Mod p equivariant cohomology of homogeneous spaces. J. Pure Appl. Algebra 147, 95–105 (2000)MathSciNetCrossRefGoogle Scholar
- 33.Kuribayashi, K.: The cohomology of a pull-back on \({\mathbb K}\)-formal spaces. Topology Appl. 125, 125–159 (2002)MathSciNetMATHCrossRefGoogle Scholar
- 34.Kuribayashi, K.: On the levels of maps and topological realization of objects in a triangulated category (2009, preprint)Google Scholar
- 35.Kuribayashi, K.: On the rational cohomology of the total space of the universal fibration with an elliptic fibre. Contemp. Math. Amer. Math. Soc. 519, 165–179 (2010)Google Scholar
- 36.Kuribayashi, K., Yamaguchi, T.: The cohomology algebra of certain free loop spaces. Fundam. Math. 154, 57–73 (1997)MathSciNetMATHGoogle Scholar
- 37.McConnell, J.C., Robson, J.C.: Noncommutative noetherian rings. Grad. Stud. Math. 30 (2001)Google Scholar
- 38.Munkholm, H.J.: The Eilenberg-Moore spectral sequence and strongly homotopy multiplicative maps. J. Pure Appl. Algebra 5, 1–50 (1974)MathSciNetMATHCrossRefGoogle Scholar
- 39.Notbohm, D., Ray, N.: On Davis-Januszkiewicz homotopy types I; formality and rationalisation. Algebr. Geom. Topol. 5, 31–51 (2005)MathSciNetMATHCrossRefGoogle Scholar
- 40.Panov, T.: Cohomology of face rings, and torus actions. Surveys in contemporary mathematics. London Math. Soc. Lecture Note Ser., vol. 347 pp. 165–201. Cambridge Univ. Press, Cambridge (2008)Google Scholar
- 41.Roberts, P.: Homological invariants of modules over commutative rings. Sem. Math. Sup., vol. 72. Presses Univ. Montréal, Montrél (1980)Google Scholar
- 42.Rouquier, R.: Dimensions of triangulated categories. J. K-Theory 1, 193–256 (2008)MathSciNetMATHCrossRefGoogle Scholar
- 43.Schmidt, K.: Auslander-Reiten theory for simply connected differential graded algebras. arXiv:math.RT/0801.0651v1 (2008, preprint)
- 44.Singhof, W.: On the topology of double coset manifolds. Math. Ann. 297, 133–146 (1993)MathSciNetMATHCrossRefGoogle Scholar
- 45.Smith, L.: On the characteristic zero cohomology of the free loop sapce. Am. J. Math. 103, 887–910 (1981)MATHCrossRefGoogle Scholar
Copyright information
© Springer Science+Business Media B.V. 2011