let's more explicitly nose around the v1-divisibility in the E := E(2)/p-homology of K(Z, 3), and pick any element x. Wuergler says inverting v1 on E gives something bousfield equivalent to K(1), for which K(Z, 3) is acyclic—so x has to be v1-power-torsion, lest it survive into K(1)-homology

so the hopf algebra coming out of topology lives all in odd degrees, so has no visible product or coproduct. not the kind of thing that will be easily in the image of an alternating algebra construction

this leg of the discussion has been mod p, but my ~ suspicion ~ is that trying to re-inject p into the picture will cause similar mess. you could try to play around with that part by knowing the mod-p homology of K(Z, 3), using an ASS to recover ku_* K(Z, 3), and quotienting/inverting p/v1 in whatever combination pleases you

if you do reinject p, then E(2) is BP-flat, so BP is guaranteed to be at least as gross. at the moment, we can only guess that it's at least as gross—but it feels like a good guess

a slightly different lesson you might distill from this is that outright taking the homology of something (or homotopy!—the same garbage litters the homotopy of the E(1)- and E(2)-local spheres) is asking for trouble, and it is "better" (as in: less nasty) to understand local data + gluing data than to be taking 'global sections' of whatever delocalized object

i suspect that there are clever ways around these kinds of complaints if you start to travel along those lines, but i never heard an example i found to be both complicated and compelling

odd-concentration aside, these kinds of divisibility towers where what made me skeptical about the construction you want living in the hopf algebra literature. well-behaved and over a field, fine; losing one of those two, hmm, maybe; infinitely divisible over a nonnoetherian base, godspeed

this is less algebraic topology than algebraic geometry, but i figure someone here might know an answer. fix r>0. what is an example of a smooth proper variety (necessarily of dimension geq r) over a field k of char p>0 whose hodge-de rham spectral sequence has nontrivial d_r-differential? (i guess this question has a homotopical analogue, too: one can ask for a smooth proper dg-k-linear category C whose tate spectral sequence HH(C)((u)) => HP(C) does not degenerate at E_r.)

@EricPeterson Thanks for the details!

@DenisNardin Sorry for pinging you. So once again regarding Rmk 7.2: How is exactly the hypothesis that the functor takes finite disjoint unions to products used to define the map? Obviously, we have functoriality in A[T(S)], but the problem is functoriality in the sheafification. So given s \in A[T](S), we want a map A[S] \to A[T]. By passing to a cover of S, I get element s_i \in A[T(S_i)]. I would guess that we want to descend the map \sum_i A[S_i] \to A[T] to a map A[S] \to A[T]

And that for this we need the hypothesis. But I am having trouble seeing where this is used.