All Questions
23 questions
4
votes
0
answers
196
views
Valuations and (semi)norms on ring spectra
Valuations and seminorms on rings play a big role in number theory and analytic geometry, with seminorms being heavily used in Berkovich geometry and valuations featuring heavily in adic geometry.
Let'...
- 11.8k
5
votes
0
answers
210
views
Dependence of completion on the base ring
Let $M$ be a module over an $E_\infty$ ring, $A$. Let $I$ be an $A$-non unital commutative algebra together with an associative map $I \wedge_A M \to M$.
Define ${_A}(M/I^n)$ as the cofiber of $I^{\...
- 579
5
votes
1
answer
322
views
Is there a model structure for S-modules such that cofibrant operad-algebras forget to cofibrant S-modules?
In 1997, Elmendorf, Kriz, Mandell, and May wrote a book Rings, Modules, and Algebras in Stable Homotopy Theory in which they introduced the category of $S$-modules as a model for the stable homotopy ...
- 30.3k
4
votes
0
answers
294
views
Can one define fields in stable homotopy theory via invertibility?
In Nilpotence in Stable Homotopy Theory II, Hopkins–Smith define a field spectrum to be a ring spectrum $E$ such that $E_*X$ is a free $E_*$-module for all spectra $X$. They then show that any field ...
- 11.8k
16
votes
1
answer
608
views
Multiplicative Brown representability?
The Brown representability theorem can be convenient way to construct a spectrum. But to get a ring spectrum of even a very unstructured form seems to be harder. There's even currently a statement on ...
- 64k
6
votes
1
answer
390
views
What is the topological Hochschild cohomology of $\mathbb{F}_p$?
Following the computation of the THH (topological Hochschild homology) of $\mathbb{F}_p$ as outlined in Krause-Nikolaus.
We use the fact that $\mathbb{F}_p$ is initial $E_2$ ring with $0=p$ to compute
...
- 2,356
7
votes
1
answer
247
views
Module spectrum maps up to stable homotopy
Let $R$ be a commutative ring spectrum, $M$ and $N$ be a $R$-module spectra.
Let us consider $R$-module maps from $M$ to $N$ up to stable homotopy, that is maps $M \to N$ such that the composites $R \...
- 151
6
votes
1
answer
578
views
Two definitions of power operations --- how do they relate?
Below are two different stories about power operations for $\mathbb{E}_\infty$-ring spectra, and I am struggling to see how they relate. In the following we let $R$ be an $\mathbb{E}_\infty$-ring ...
- 317
13
votes
1
answer
2k
views
Equivalent definitions of Thom spectra
Background and notations:
Recall the classical contruction and definition of Thom spectra. To a spherical fibration $S^{n-1} \to \xi \to B$, we can associate the data of a Thom space $T_n(\xi)$, given ...
- 562
9
votes
0
answers
317
views
Are there non-obvious finite $E_\infty$ ring spectra?
I see two "obvious" classes of nonzero finite $E_\infty$ ring spectra $R$:
$R = \Sigma^\infty_+ (S^1)^{\times n}$
$R = D\Sigma^\infty_+ X$ ($X$ a finite space)
Questions:
Are there any others?
In ...
- 64k
8
votes
0
answers
328
views
Did the Goerss-Hopkins manuscript "Multiplicative stable homotopy theory" ever appear?
A citation to "M. J. Hopkins and P. Goerss, Multiplicative stable homotopy theory, unpublished manuscript, 1996" appears in the Hill, Hopkins, Ravenel Annals paper on the Kervaire invariant. It was ...
- 30.3k
5
votes
1
answer
480
views
Stable Dold-Kan correspondence and symmetric group actions
There exists a Quillen equivalence between $HRModSpectra$ (model category of ring spectra over Eilenberg-MacLane spectra $EM(R)$, where $R$ is a commutative ring, with stable model structure) and $Ch$ ...
- 371
12
votes
2
answers
2k
views
Connective spectra and infinite loop spaces
It seems to be standard that connective spectra are "the same" as infinite loop space. However, I do not understand the reason why the associated spectrum is connective.
For me, an infinite loop ...
- 9,863
5
votes
2
answers
598
views
Group of units of a ring spectrum vs of its connective cover
Let $R$ be a commutative ring spectrum (interpret this as you will; as an $E_\infty$-ring or as a commutative $S$-algebra etc.) and $\operatorname{GL}_1(R)$ as usual denote its space of units. If $\...
- 2,011
10
votes
1
answer
655
views
Generalized Thom spectra
I am currently trying to wrap my head around all kinds of different definitions of the notion of (generalized) Thom spectrum. My setup is as follows: Suppose I have a commutative (symmetric) ring ...
- 7,637
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 ...
- 37.8k
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 ...
- 19.9k
26
votes
1
answer
1k
views
From the perspective of bordism categories, where does the ring structure on Thom spectra come from?
To fix ideas, let's consider the Thom spectrum of framed bordism $M$, the spectrum whose homotopy groups are the framed bordism groups. $M$ has a ring spectrum structure inducing the product of ...
- 118k
4
votes
0
answers
376
views
matrix ring spectra
I am trying to understand matrix ring spectra. Apparently, I have two different definitions of those and I did not manage to show that they are equivalent - maybe they even are not in the general case....
- 7,637
5
votes
1
answer
444
views
endomorphisms of modules over symmetric ring spectra
I have a probably very basic question about modules over symmetric ring spectra:
Let $R$ be a commutative symmetric ring spectrum and let $M$ and $N$ be module spectra over $R$. Moreover, let $\...
- 7,637
41
votes
1
answer
10k
views
Why not a Roadmap for Homotopy Theory and Spectra?
MO has seen plenty of roadmap questions but oddly enough I haven't seen one for homotopy theory. As an algebraic geometer who's fond of derived categories I would like some guidance on how to build up ...
- 1,162
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\...
- 743
13
votes
1
answer
998
views
On the stable splitting of loops on a suspension
Let $X$ be a connected, based CW complex. Then the James splitting
of $\Sigma\Omega\Sigma X$ gives, in particular, a weak equivalence of spectra
$$
\Sigma^{\infty} \Omega\Sigma X_+ \quad \simeq \quad ...
- 18.9k