All Questions
5 questions
12
votes
1
answer
661
views
Nonunital $E_\infty$-rings
An elementary fact of algebra is that the category of nonunital commutative rings is equivalent to that of $\mathbb{Z}$-augmented unital commutative rings, the equivalence being given by forming ...
9
votes
1
answer
3k
views
Topological Hochschild cohomology?
Let $A$ be a $E_\infty$-ring spectrum. By EKMM, it may be treated as a commutative algebra in the appropriate category. In particular, one may define topological Hochschild homology as $A\wedge_{A\...
8
votes
3
answers
1k
views
Why did Ravenel define a ring spectrum to be flat if its smash-square splits into copies of itself?
In appendix A.2 of the orange book, Ravenel defines a ring spectrum $E$ to be flat if $E\wedge E$ is equivalent to a coproduct of suspensions of $E$. (Call this definition (1).) I've seen this ...
5
votes
1
answer
776
views
Is there an analog of the Barratt-Eccles construction for group-like E_∞-spaces and E_∞-ring spaces?
The Barratt-Eccles operad is an operad in simplicial sets
that provides a particularly nice model of an E∞-operad;
algebras in spaces over the Barratt-Eccles operad model E∞-spaces,
i.e., homotopy ...
4
votes
1
answer
1k
views
Can motivic E_∞-ring spectra be strictified to commutative motivic symmetric ring spectra?
Theorem 4.5.4.7 (4.4.4.7 in the old version) in Lurie's Higher Algebra (or Theorem 4.3.22 in DAG III) states (roughly speaking) that under certain conditions
the ∞-category of commutative ∞-monoids in ...