Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Invariant theory and the lambda algebra


Author: William M. Singer
Journal: Trans. Amer. Math. Soc. 280 (1983), 673-693
MSC: Primary 55Q45; Secondary 55S10, 55T15, 55U10
DOI: https://doi.org/10.1090/S0002-9947-1983-0716844-7
MathSciNet review: 716844
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ A$ be the Steenrod algebra over the field $ {F_2}$. In this paper we construct for any left $ A$-module $ M$ a chain complex whose homology groups are isomorphic to the groups $ \operatorname{Tor}_s^A({F_2},M)$. This chain complex in homological degree $ s$ is built from a ring of invariants associated with the action of the linear group $ G{L_s}({F_2})$ on a certain algebra of Laurent series. Thus, the homology of the Steenrod algebra (and so the Adams spectral sequence for spheres) is seen to have a close relationship to invariant theory. A key observation in our work is that the Adem relations can be described in terms of the invariant theory of $ G{L_2}({F_2})$. Our chain complex is not new: it turns out to be isomorphic to the one constructed by Kan and his coworkers from the dual of the lambda algebra. Thus, one effect of our work is to give an invariant-theoretic interpretation of the lambda algebra. As a consequence we find that the dual of lambda supports an action of the Steenrod algebra that commutes with the differential. The differential itself appears as a kind of "residue map". We are also able to describe the coalgebra structure of the dual of lambda using our invariant-theoretic language.


References [Enhancements On Off] (What's this?)

  • [1] A. K. Bousfield, E. B. Curtis, D. M. Kan, D. G. Quillen, D. L. Rector and J. W. Schlesinger, The $ \bmod$-$ p$ lower central series and the Adams spectral sequence, Topology 5 (1966), 331-342. MR 0199862 (33:8002)
  • [2] A. K. Bousfield and E. B. Curtis. A spectral sequence for the homotopy of nice spaces, Trans. Amer. Math. Soc. 151 (1970), 457-479. MR 0267586 (42:2488)
  • [3] L. E. Dickson. A fundamental system of invariants of the general modular linear group with a solution of the form problem, Trans. Amer. Math. Soc. 12 (1911), 75-98. MR 1500882
  • [4] L. Kristensen, A Curtan formula for secondary cohomology operutions, Math. Scand. 16 (1965), 97-115. MR 0196740 (33:4926)
  • [5] I. Madsen, On the action of the Dyer-Lashof algebra in $ {H_{\ast}}(G)$, Pacific J. Math. 60 (1975), 235-275. MR 0388392 (52:9228)
  • [6] J. W. Milnor and J. C. Moore, On the structure of Hopf algebras, Ann. of Math. (2) 81 (1965), 211-264. MR 0174052 (30:4259)
  • [7] H. Mui, Modular invariant theory und the cohomology algebras of symmetric groups, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 22 (1975), 319-369. MR 0422451 (54:10440)
  • [8] W. M. Singer, A new chain complex for the homology of the Steenrod algebra, Proc. Cambridge Philos. Soc. 90 (1981), 279-292. MR 620738 (82k:55018)
  • [9] -, Iterated loop functors and the homology of the Steenrod algebra. II: A chain complex for $ \Omega_s^kM$, J. Pure Appl. Algebra 16 (1980), 85-97. MR 549706 (81b:55040)
  • [10] -, The construction of certain algebras over the Steenrod algebra, J. Pure Appl. Algebra 11 (1977), 53-59. MR 0467746 (57:7598)
  • [11] C. Wilkerson, Classifying spaces, Steenrod operations, and algebraic closure, Topology 16 (1977), 227-237. MR 0442932 (56:1307)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 55Q45, 55S10, 55T15, 55U10

Retrieve articles in all journals with MSC: 55Q45, 55S10, 55T15, 55U10


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1983-0716844-7
Keywords: Adams spectral sequence, homotopy groups of spheres, lower central series, lambda algebra, cohomology of the Steenrod algebra
Article copyright: © Copyright 1983 American Mathematical Society

American Mathematical Society