Akhil Mathew proved that if $A\to B$ is an étale map of $E_\infty$ R-algebras, then $THH^R(A)\otimes_A B \to THH^R(B)$ is an equivalence, generalizing a theorem of McCarthy-Minasian which works for connective algebras. Has somebody generalized McCarthy-Minasian's HKR theorem, which has a similar connective hypothesis, to the non-connective scenario?
@ReubenStern me too! but it’ll be a while; it still has to go through a further refereeing process, and then copyediting. that’s why there’s still time to take advice :p
@Twistediso it assumes a fair amount of knowledge of the basics. it’s certainly not shy about slinging spectra around, and it takes knowledge of the Steenrod operations for granted
it’s also not shy about algebraic geometry. there it at least includes all the definitions it uses, but i’m sure it can feel quite brisk
the thrust was like “you might think infinite loop spaces are really hard, but at least you don’t have to read whole tomes to understand the basic framework!”
Yeah, times change
And even snider youngsters take your snide remarks out of context
"The apparatus of definitions, theorems and proofs needed to carry out the programme in detail demands a capital investment of intellectual work which may seem daunting to those not directly concerned; many readers may be able to remember feeling the same way about spectral sequences, sheaf theory or whatever is now their favourite tool; let us be glad we don't work in algebraic geometry."