An alternative approach to the Adem relations in the mod 2 Steenrod algebra

The Leibniz--Hopf algebra F is the free associative algebra over Z on one generator Sn in each degree n>0, with coproduct given by D(Sn) = \sumi+j=n Si \otimes Sj. We introduce a new perspective on the Adem relations in the mod 2 Steenrod algebra A2 by studying the map p\ast dual to the Hopf algebra epimorphism p: F \otimes Z/2 \to A2. We also express Milnor's Hopf algebra conjugation formula in A2\ast in a different form and give a new approach for the conjugation invariant problem in A2\ast.

Anahtar Kelimeler:

Adem relations, Hopf algebra, Leibniz--Hopf algebra, antipode, Steenrod algebra, quasisymmetric functions

An alternative approach to the Adem relations in the mod 2 Steenrod algebra

Keywords:

Adem relations, Hopf algebra, Leibniz--Hopf algebra, antipode, Steenrod algebra, quasisymmetric functions,

PDF

___

1] Adams JF. Lectures on generalised cohomology. Springer Lecture Notes in Mathematics 1969; 99: 1–138.
[2] Baker A, Richter B. Quasisymmetric functions from a topological point of view. Math Scand 2008; 103: 208–242.
[3] Crossley MD. The Steenrod algebra and other copolynomial Hopf algebras. B Lond Math Soc 2000; 32: 609–614.
[4] Crossley MD. Some Hopf algebras of words. Glasgow Math J 2006; 48: 575–582.
[5] Crossley MD, Turgay ND. Conjugation invariants in the Leibniz-Hopf algebra. J Pure Appl Algebra 2013; 217: 2247–2254.
[6] Crossley MD, Turgay ND. Conjugation invariants in the mod 2 dual Leibniz-Hopf algebra. Commun Algebra 2013; 41: 3261–3266.
[7] Crossley MD, Whitehouse S. On conjugation invariants in the dual Steenrod algebra. P Am Math Soc 2000; 128: 2809–2818.
[8] Crossley MD, Whitehouse S. Higher conjugation cohomology in commutative Hopf algebras. P Edinburgh Math Soc 2001; 44: 19–26.
[9] Ehrenborg R. On posets and Hopf algebras. Adv Math 1996; 119: 1–25.
[10] Gelfand IM, Krob D, Lascoux A, Leclerc B, Retakh VS, Thibon JY. Noncommutative symmetric functions. Adv Math 1995; 112: 218–348.
[11] Hazewinkel M. Generalized overlapping shuffle algebras. J Math Sci New York 2001; 106: 3168–3186.
[12] Hazewinkel M. The algebra of quasi-symmetric functions is free over the integers. Adv Math 2001; 164: 283–300.
[13] Hazewinkel M. Explicit polynomial generators for the ring of quasisymmetric functions over the integers. Acta Appl Math 2010; 109: 39–44.
[14] Malvenuto C, Reutenauer C. Duality between quasi-symmetric functions and the Solomon descent algebra. J Algebra 1995; 177: 967–982.
[15] Milnor J. The Steenrod algebra and its dual. Ann Math 1958; 67: 150–171.
[16] Schwartz L. Unstable Modules over the Steenrod Algebra and Sullivan’s Fixed Point Conjecture. Chicago, IL, USA: University of Chicago Press, 1994.
[17] Steenrod NE, Epstein DBA. Cohomology Operations. Princeton, NJ, USA: Princeton University Press, 1962.
[18] Strang G. Linear Algebra and Its Application. 3rd ed. San Diego, CA, USA: Harcourt Brace Jonanovich, 1988.