FormalGeomNotes
FormalGeomNotes copied to clipboard
ecpeterson
Notes from the 278 semester class at Harvard
Crucially, one should pick the largest d such that C_d >= C >/= C_{d+1}.
I don't see any justification given as to why the self-map of KO_p has this form. The original paper blames this on the unstable Adams conjecture — why?
The formula given for finite K(n)-localization is valid only for finite complexes of type exactly n.
At the very least, there's a missing "to" after the word "corresponding".
https://projecteuclid.org/journals/homology-homotopy-and-applications/volume-6/issue-1/Operations-and-co-operations-in-Morava-E-theory/hha/1139839552.full
I’d removed Lior’s results from B.2 in fd2f83d for fear that the slow-to-appear citation meant that the statements were missing something. The preprint is out now https://arxiv.org/abs/2303.02603 , so there’s...
3.3.23 references 3.3.6 for its claimed p-typical logarithm. I don't immediately see why 3.3.6 justifies _dropping_ the unwanted terms rather than _canceling_ them, perhaps with contributions to the remaining positions....
Forms of K-Theory barely receives mention in the book, which is really a shame, and it would be great to include a summary. Theorem A can be tied directly to...