Timeline for Odd primary dual Steenrod algebra
Current License: CC BY-SA 4.0
18 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 20, 2018 at 10:51 | answer | added | Saal Hardali | timeline score: 8 | |
| Aug 23, 2018 at 14:20 | comment | added | Saal Hardali | There's an exercise appearing in Hopkins's Coctalos notes which asks to show that the odd primary dual steenrod algebra corepresents the strict isomorphisms of the formal additive super group in the category of super algebras. google.co.il/url?sa=t&source=web&rct=j&url=http://… | |
| S Jun 8, 2018 at 17:42 | history | bounty ended | CommunityBot | ||
| S Jun 8, 2018 at 17:42 | history | notice removed | CommunityBot | ||
| Jun 1, 2018 at 17:40 | comment | added | André Henriques | @Dylan Wilson: nothing's wrong with those theorems. At this point, the remaining question is: how does the notion of "quasi-strict automorphism" from Inoue's paper relate to what I wrote next to the first set of question marks (are these conditions equivalent, are they distinct, does one imply the other?) | |
| May 31, 2018 at 22:33 | comment | added | Dylan Wilson | I'm confused- what's wrong with Theorem 4.2 and 5.2 in the Inoue article I mentioned above? Link here: projecteuclid.org/download/pdf_1/euclid.jmsj/1149166777 | |
| S May 31, 2018 at 16:23 | history | bounty started | Saal Hardali | ||
| S May 31, 2018 at 16:23 | history | notice added | Saal Hardali | Authoritative reference needed | |
| May 2, 2018 at 21:39 | comment | added | Neil Strickland | At one point (a long time ago) I tried quite hard to make this work, and could not come up with a satisfying formulation. But maybe someone else has done better. | |
| May 2, 2018 at 21:26 | history | edited | André Henriques | CC BY-SA 4.0 |
added 12 characters in body
|
| May 2, 2018 at 10:32 | comment | added | André Henriques | @მამუკა ჯიბლაძე That's very useful. From those formulas, I can see already that the tangent space at the identity is not supposed to be fixed. That tangent space has a two-step filtration, and it's only on the associated graded that the automorphism has to be the identity. | |
| May 2, 2018 at 9:36 | comment | added | მამუკა ჯიბლაძე | It is difficult for me to compare. He works with the formal automorphisms $F$ given by $$F(x)=x+\sum_{n\geqslant1}\xi_nx^{p^n},\qquad F(\theta)=\theta+\sum_{n\geqslant0}\tau_nx^{p^n},$$where $\xi_n$, resp. $\tau_n$ are the polynomial, resp. exterior generators of a Hopf algebra, with diagonal given by composition of such formal automorphisms. I could not find the place where it would be stated that a formal automorphism is of this form if and only if it preserves this or that structure. | |
| May 2, 2018 at 8:30 | comment | added | André Henriques | @მამუკა ჯიბლაძე. Unfortunately, I don't have easy access to that appendix. Since you seem to have access to it, could you please let me know whether my statements are correct? | |
| May 2, 2018 at 4:21 | comment | added | მამუკა ჯიბლაძე | This is considered in the second appendix (pp. 224 - 229) by Buchstaber to the Russian translation of Steenrod-Epstein. The title is "Алгебра Стинрода - обёртывающая алгебра супергруппы $p$-адических диффеоморфизмов прямой" (“The Steenrod algebra is an enveloping algebra of the supergroup of $p$-adic diffeomorphisms of the line”) | |
| May 2, 2018 at 3:12 | comment | added | Dylan Wilson | When p=2 this is true as stated. When p is odd, maybe try Inoue's paper "Odd primary steenrod algebra, additive formal group laws, and modular invariants" to fill in the question marks? | |
| May 1, 2018 at 21:40 | history | edited | André Henriques | CC BY-SA 3.0 |
added 82 characters in body
|
| May 1, 2018 at 21:00 | history | edited | André Henriques | CC BY-SA 3.0 |
added 49 characters in body
|
| May 1, 2018 at 20:55 | history | asked | André Henriques | CC BY-SA 3.0 |