Questions tagged [ring-spectra]
For questions about ring spectra (in homotopy theory).
94
questions
1
vote
1
answer
165
views
[M,N]≅ [M,R] ⊗ N for E-infinity modules
Let $\texttt{R}$ be an $\texttt{E}$-infinity ring and let $\texttt{M,N}$ be $\texttt{E}$-infinity modules. Under what conditions do we have
$$ \texttt{[M, N] ≅ [M,R] ⊗ N}$$
Under ordinary ...
- 4,576
4
votes
1
answer
156
views
Fibre sequence of module spectra induces a fibre sequence of $K$-theory spectra?
Let $A$ be an $\mathbb{E}_\infty$-ring spectrum, and let $R_1$, $R_2$ and $R_3$ be $\mathbb{E}_\infty$-$A$-algebras.
We assume there is a homotopy fibre sequence
$$
R_1\to R_2 \to R_3
$$
in the stable ...
- 459
4
votes
0
answers
155
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'...
- 9,565
3
votes
0
answers
192
views
Homotopy colimit commutes with homotopy groups
I'm interested in something built upon the construction laid out in nlab article on Snaith's theorem
Let $(E, \mu, \iota)$ be a ring spectrum.
For $\beta \in \pi_n(E)$ an element of the $n$th stable ...
- 301
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 ...
- 1,748
0
votes
0
answers
166
views
Stable homotopy group of K(1)-local spectra
Fix a prime $p$. We let $C$ be the completion of the algebraic closure of $\mathbb{Q}_p$, and let $\mathcal{O}_C$ be its ring of integers. For a $p$-complete $K(\mathcal{O}_C;\mathbb{Z}_p)$-module $M$,...
- 117
5
votes
0
answers
207
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^{\...
- 559
5
votes
0
answers
105
views
Examples of comonoids (coalgebras) in the stable homotopy category $\mathbf{SH}$
My question is both for the topological and for the algebraic/motivic version of the stable homotopy category $\mathbf{SH}$.
It is well known that most cohomologies are represented in $\mathbf{SH}$ by ...
- 2,711
5
votes
1
answer
277
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 ...
- 24.8k
2
votes
1
answer
134
views
Monoidal colimit-preserving functor from spaces to $A$-modules
I am reading Lurie's Elliptic Cohomology II and it claims (Section 4.1.3) that for an $\mathbb{E}_\infty$-ring $A$ "there is an essentially unique symmetric monoidal functor $\mathcal{S} \to \...
8
votes
0
answers
237
views
What can I say about an $E_\infty$ ring spectrum with an odd invertible element?
I have an $E_\infty$ ring spectrum $R$. I suspect it is trivial, but I'm not sure. What I do know is that there is an $R$-linear equivalence $R \simeq \Sigma R$. Unless I am very confused, this ...
11
votes
1
answer
581
views
Does the spectrum of Morava E-theory depend only on height?
I almost expect the answer to this question to be no, but I can't find it explicitly said anywhere.
Given a formal group law $f$ of height $n$ over a perfect field $k$ of characteristic $p$, we can ...
4
votes
0
answers
201
views
Two Hattori-Stallings trace questions
$\DeclareMathOperator\THH{THH}\DeclareMathOperator\Perf{Perf}\DeclareMathOperator\map{map}\DeclareMathOperator\tr{tr}\DeclareMathOperator\HH{HH}\DeclareMathOperator\fib{fib}\DeclareMathOperator\id{id}\...
- 11.7k
5
votes
0
answers
153
views
Uniqueness of complex topological $K$-theory as an $S$-algebra
This might be well-known or trivial, but I could not figure out how to fill in the details: For an $S$-algebra $K$ denote its associated multiplicative cohomology theory by $h^*_K$. Suppose that I ...
- 7,447
5
votes
1
answer
263
views
Ring spectra structures on a certain spectral analogue of $\mathbb{Z}/2$
We can characterise $\mathbb{Z}$ and $\mathbb{Z}/2$ as the corepresenting abelian groups of the functors
\begin{align*}
\mathsf{Forget} &\colon \mathsf{Ab} \to \mathsf{Sets},\\
\mathrm{Inv}...
- 9,565
5
votes
0
answers
114
views
Variations on Thomason's equivalence between connective spectra and symmetric monoidal categories
There's a number of results relating monoidal categories to connective spectra (which are themselves equivalent to $\mathbb{E}_{\infty}$-spaces):
Symmetric monoidal categories model all connective ...
- 9,565
4
votes
0
answers
277
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 ...
- 9,565
4
votes
1
answer
202
views
Is there essentially unique notion of module over monoidal stable $\infty$-categories?
There is this (folklore?) fact: for a commutative ring $R$, the category of $R$-modules is equivalent to the category of internal abelian groups in the slice category $\operatorname{Commutative rings}/...
- 17.2k
1
vote
1
answer
503
views
Intuition behind formal neighborhood and local ring and formal power series
In The Geometry of Schemes by David Eisenbud and Joe Harris, on page 57, there is an explanation on "node" of a plane curve. The book says that, a curve $X\subseteq \mathbb A_{\mathbb C}^2$ ...
- 1,469
4
votes
1
answer
236
views
Is the rank of free module spectra unique?
Given a commutative ring, the rank of a free module is unique. This is the well known statement that commutative rings have invariant basis numbers. Does an analogue of this property hold for free ...
16
votes
1
answer
554
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 ...
- 56.7k
6
votes
1
answer
342
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
...
- 1,805
4
votes
0
answers
148
views
Preorientation of additive formal group
In "A Survey of Elliptic Cohomology", Section 3.2, Lurie asserts that the preorientations of the additive formal group $\widehat{\mathbf G}_a$ over $\mathbf Z$ are classified by the $\mathbb ...
- 1,951
4
votes
0
answers
137
views
Have mod $p^k$ Dyer Lashof operations been studied?
Here is one of the motivations for my question, when $p=2$. The homology of the spectrum $H\mathbb F_2$ as an algebra is generated by the Dyer Lashof operations on the single generator $\xi_1$ (and it ...
- 263
3
votes
1
answer
113
views
Vanishing tate of a $p$-complete spectra
I was told: if $X$ is bdd below and $p$-complete spectra then $X^{tC_q}$ vanishes for primes $q \not= p$.
I do not see how this holds.
I am aware from I.2.9 that if $X$ is bdd. below, then $X^{tC_q} \...
- 661
6
votes
3
answers
387
views
How does one rigorously lift a map $Sp \rightarrow Sp$ of spectra to equivariant spectra?
This is in part motivated from my attempt to understand tate diagonal in III.1 of Thomas Nikolaus, Peter Scholze, On topological cyclic homology, arXiv:1707.01799. I just want to make my ...
- 661
9
votes
1
answer
384
views
K-theory on finite-dimensional (possibly not finite) CW complexes
I am trying to understand why (at least my most elementary understanding of) topological K-theory breaks down for non-compact things (which I have seen asserted in various places). In particular, as ...
- 1,165
5
votes
1
answer
261
views
Is there a definition of reduced $E_\infty$ ring?
[Edit: I have completely changed the question in response to the replies given]
I am curious if there is well defined notion of reduced $E_\infty$-ring.
Let $CAlg$ denote the $\infty$-category of $E_\...
- 313
6
votes
0
answers
134
views
Homotopy groups of certain geometric fixed point spectrum
Let $G$ be a finite group and $E$ be a genuine $H$-spectrum for $H\leq G.$ Then for any subgroup $K$ of $G$, consider the $K$-spectrum $X=Res^G_K Ind^G_H(E).$
Is there any reference for computing the ...
- 745
7
votes
1
answer
258
views
Interesting "epimorphisms" of $E_\infty$-ring spectra
$\newcommand{\Mod}{\mathbf{Mod}} \newcommand{\map}{\mathrm{map}_{E_\infty-A}}$ Suppose $i:A\to B$ is a map of $E_\infty$-ring spectra. It induces a functor of $\infty$-categories $\Mod_B\to\Mod_A$ by ...
- 11.7k
7
votes
1
answer
215
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
464
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 ...
- 197
9
votes
0
answers
211
views
Two $\mathbb Z$-algebra structures on $\mathbb Z\otimes_{\mathbb S} R$
$\newcommand{\Sph}{\mathbb S} \newcommand{\Z}{\mathbb Z} \newcommand{\F}{\mathbb F}$
In this question I will abuse notation by writing $A$ for the (generalized) Eilenberg-MacLane spectrum associated ...
- 11.7k
6
votes
0
answers
130
views
$E_\infty$-maps of diagrams
I'm asking my question for a general symmetric monoidal $\infty$-category $ V$ and a general indexing simplicial set $I$, but my specific interest is for $ V = Sp$ with the usual smash product and $I =...
- 11.7k
5
votes
0
answers
230
views
$\mathbb Z \otimes_\mathbb S \mathbb Z$ is concentrated in degree $0$ : mistake in the argument
I'm not sure this is research level so if this is not appropriate, feel free to move the question to StackExchange. However, I post it here since my "fake proof" is based on a (recent) paper and I'm ...
- 11.7k
5
votes
1
answer
296
views
$KO_*$ groups of $\mathbb{R}P^\infty$, "Snaiths" theorem for $KO$
I posted this question some days ago at math.stackexchange, but didn't receive an answer.
I have two questions:
I wonder whether anyone has taken the time to compute $KO_*(\mathbb{R}P^\infty)$?
The ...
- 301
7
votes
0
answers
201
views
Duality of Hopf algebras and duality of spectra
Let $S$ be the sphere spectrum, and for $X$ a topological space, let $S(X)$ be the mapping spectrum from the free loop spectrum on $X$ to the sphere spectrum. This is an $E_\infty$ ring spectrum (also ...
- 7,862
8
votes
1
answer
348
views
A Thom spectrum from "doubled" tautological bundles?
Let us consider real vector bundles, and denote by $V_k$ the tautological bundle $V_k\to BO(k)$. From
$$
Thom(V\oplus 1_{\mathbb{R}}\to X)=\Sigma Thom(V\to X)
$$
and from $j^*V_{k+1}=V_k\oplus1_{\...
- 6,499
6
votes
1
answer
199
views
Morphisms from $bstring$ to $X\otimes \mathbb{Q}$ and sequences $s_n\in\pi_n(X)\otimes \mathbb{Q}$
I'm currently studying Ando-Hopkins-Rezk's work Multiplicative orientations of KO-theory and of the spectrum of TMFs. At a point a presumably obvious isomorphism is mentioned, which I'm however not ...
- 6,499
5
votes
1
answer
507
views
Does Spec functor sends pushouts of rings into pullbacks of sets?
This question was posted here on StackExchange.
Let $A$ be a commutative ring and $B,C$ be two commutative $A$-algebras.
Consider the pushout square of ring homomorphism
$\require{AMScd}$
\begin{CD}
...
- 249
6
votes
0
answers
177
views
Which ring spectra are homotopy limits of simpler ones?
Most surely I will tag this by reference request: I am sure very much is known about this question, I am just too ignorant to even guess where to look. What makes me feel especially foolish is the ...
- 17.2k
12
votes
1
answer
1k
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 ...
- 542
4
votes
1
answer
113
views
Kuenneth short exact sequence for K-homology
Atiyah proved a Kuenneth short exact sequence for K-theory. I need one for K-homology, but can not find any reference in the literature. Do you know one?
Using general spectra stuff, one gets a ...
- 2,896
9
votes
0
answers
294
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 ...
- 56.7k
4
votes
0
answers
425
views
DAG applied to homotopy theory: how to reach research level?
It is my dream to do research on applications of spectral algebraic geometry in homotopy theory one day. Specifically, giving a more uniform treatment for the results proved via scary computations (of ...
6
votes
1
answer
241
views
$p$-adic equivalence of spectra with $G$-action
In Krause and Nikolaus' "Lectures on topological Hochschild homology and cyclotomic spectra" (which can be found here), there is a lemma I'm trying to understand, but one line in the proof ...
- 837
17
votes
1
answer
2k
views
Is the $\infty$-category of spectra “convenient”?
A 1991 paper of Lewis, titled “Is there a convenient category of spectra?” proves that there is no category $\mathrm{Sp}$ satisfying the following desiderata$^1$:
There is a symmetric monoidal smash ...
- 9,565
8
votes
1
answer
479
views
How is topological André-Quillen homology (TAQ) a "stabilization", exactly?
Let $S\to A\to B$ be cofibrations of commutative $S$-algebras. Then the topological André-Quillen $B$-module $TAQ(B|A)$ can be computed as a stabilization. Precisely, I think it means the following: ...
- 2,864
8
votes
0
answers
304
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 ...
- 24.8k
6
votes
2
answers
730
views
Ring structures on algebraic K-theory spectrum, and its non-connective counterpart
I have a few naive questions on the algebraic K-theory spectrum construction, but whose answers I couldn't figure out using the internet. I'm mostly interested in the case of a commutative ring, but I ...
- 1,872