Questions tagged [ring-spectra]

For questions about ring spectra (in homotopy theory).

Filter by
Sorted by
Tagged with
1
vote
0answers
124 views

Cofibration of non-equivariant spectra in Hesselholt-Madsen

In the Hesselholt-Madsen paper "On the K-Theory of finite algebras over Witt vectors of perfect fields", Proposition $2.1$ claims a cofibration sequence for non-equivariant $S^1$ spectra as follows. ...
6
votes
0answers
105 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 =...
5
votes
0answers
167 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 ...
4
votes
1answer
187 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 ...
7
votes
0answers
162 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 ...
8
votes
1answer
224 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
votes
1answer
150 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 ...
4
votes
1answer
328 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} ...
4
votes
0answers
110 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 ...
11
votes
1answer
431 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 ...
4
votes
1answer
98 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 ...
9
votes
0answers
269 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 ...
3
votes
0answers
314 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
1answer
160 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 eludes me. ...
13
votes
1answer
1k views

Is the $\infty$-category of spectra “convenient”?

A 1991 paper of Lewis, title “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 ...
8
votes
1answer
323 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: ...
8
votes
0answers
259 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 ...
6
votes
2answers
459 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 ...
16
votes
1answer
560 views

Idempotent ring spectrum

Is there a lot of ring spectrum which are idempotent in the sense that the multiplication map $R \wedge R \rightarrow R$ is an equivalence ? The sphere spectrum $\mathbb{S}$ and the $0$ spectrum are ...
3
votes
0answers
170 views

On rings for which given an ideal , over it every minimal prime ideal is finitely generated

Let $R$ be a commutative ring with unity. If for every ideal of $R$, the minimal prime ideals over it are all finitely generated, then there are finitely many minimal prime ideals over every ideal of $...
1
vote
1answer
124 views

Integral domain satisfying a.c.c. on radical ideals and with algebraically closed fraction field

If $R$ is an integral domain satisfying acc on radical ideals (i.e. Noetherian spectrum) and if the fraction field of $R$ is algebraically closed, then is $R$ a field ? If $R$ is normal (integrally ...
17
votes
1answer
740 views

A sheaf is a presheaf that preserves small limits

There is a common misconception that a sheaf is simply a presheaf that preserves limits. This has been discussed here before many times and I believe I understand it well enough. However when reading ...
10
votes
3answers
876 views

What is the symmetric monoidal structure on the $(\infty,1)$-category of spectra?

The $(\infty, 1)$ category $Sp$ of spectra as defined by Lurie in Higher Algebra has the structure of a symmetric monoidal category. Although I know the definition of symmetric monoidal category in ...
13
votes
0answers
1k views

What to expect from spectral algebraic geometry

So I've been trying to learn some derived algebraic geometry, and I've chosen to approach the subject from the perspective of spectral or "brave new" algebraic geometry. Without having to go through ...
5
votes
1answer
346 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$ ...
4
votes
0answers
145 views

Truncation and connected cover of spectra

Let $X$ be an $n$-connective spectrum for some $n\in \mathbb{Z}$. Is then $[X, Y] = [X, Y\langle n\rangle]$ for all spectra $Y$, where $Y\langle n\rangle$ denotes the $n$-connective cover of $Y$? ...
11
votes
2answers
1k 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 ...
23
votes
2answers
1k views

Has anyone seen a nice map of multiplicative cohomology theories?

I have seen lots of descriptions of this map in the literature but never seen it nicely drawn anywhere. I could try to do it myself but I really lack expertise, hence am afraid to miss something or ...
8
votes
2answers
210 views

Morphisms of $\mathbb E_l$-rings between $\mathbb E_k$-rings for $l<k$

Given two commutative rings $A$ and $B$, any map of rings $A\to B$ will automatically preserve the commutative structure. This is to say, the forgetful functor $\operatorname{CRing}\to \operatorname{...
18
votes
1answer
688 views

When do the polynomial algebra and free algebra coincide in brave new algebra?

Given an $\mathbb E_\infty$-ring (highly structured commutative ring spectrum if you want) $R$, we have the free $R$-algebra (on one generation) $R\{t\}\simeq \bigoplus_{n\ge 0} R_{\mathrm h\Sigma_n}$ ...
3
votes
1answer
258 views

Monoidality of truncation of spectra

If $X$ is a spectrum, we have a notion of its connective part $X_{\le 0}$ and the corresponding notion of truncation $X_{[i:j]} = X_{\le j}/X_{\le i-1}$, where $X_{\le j}$ is deduced from $X_{\le 0}$ ...
3
votes
1answer
138 views

Concrete pull-back calculation along H-space map

I am trying to calculate the pull-back of a cohomology class on the loopspace of the algebraic $K$-theory space $\Omega K(\mathbb{C})$ along the H-space map of $K(\mathbb{C}).$ Let $b_k\in \tilde{H}^{...
5
votes
2answers
370 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 $\...
3
votes
0answers
195 views

Can ring spectra be thought of as some sort of operad in $Top$?

It is a result of May's work on operads that the homotopy category (or $\infty$-category, if you prefer) of connective spectra is equivalent to a full subcategory of the category of representations of ...
14
votes
0answers
385 views

Does the category of G-spectra know G?

I was recently in the situation of having access to the category of $G$-modules (for some group $G$ which I had forgotten), as just a category, i.e. no monoidal structure, together with the forgetful ...
5
votes
0answers
180 views

Bockstein morphism of spectral sequences

Given an omega spectrum $E$, there is a type of chern character map given by its rationalization $$r:E\to E\wedge M\mathbb{R}\;,$$ where $M\mathbb{R}$ denotes a Moore spectrum. The cofiber of the map $...
16
votes
1answer
2k views

Motivation and potential applications of spectral algebraic geometry

Nowadays there is a lot of talk about derived algebraic geometry, but not so much about the related subject of spectral algebraic geometry. Now I'm curious what future is there for spectral algebraic ...
10
votes
0answers
473 views

$E_{\infty}$ $R$-algebras vs commutative DG $R$-algebras vs simplicial commutative $R$-algebras

I've been trying to understand better the relation between the basic blocks of derived algebraic geometry. More precisely, I'm trying to understand the relation between the DG approach, the spectral ...
5
votes
0answers
240 views

Schwede-Shipley theorem for monoidal categories?

The Schwede-Shipley theorem gives a criterion for a presentable stable $\infty$-category to be the category of modules over an $\mathcal{E}_1$-algebra. Is there any similar criterion for a monoidal ...
19
votes
1answer
989 views

What are explicit obstructions to realizability of formal group laws as complex-oriented ring spectra?

Recall that a complex-oriented spectrum is a ring spectrum E with a map $MU \to E$. Analogously, a ring with a (1-d commutative) formal group law is (represented by) a ring $R$ with a map $L \to R$ (...
8
votes
1answer
498 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 ...
4
votes
1answer
592 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 ...
12
votes
1answer
581 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 ...
-3
votes
1answer
194 views

Isomorphic quotient of a Module over Noetherian commutative algebra [closed]

I have a nice solution to the following problem and I thought of writing a paper about it but beforehand, I wanted to ask the problem here to see if this is an easy problem and if you people can solve ...
24
votes
1answer
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 ...
3
votes
0answers
264 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....
5
votes
1answer
379 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 $\...
14
votes
2answers
505 views

Truncations of E_infinity algebras

In section 4.1 of Lurie's DAG VIII, he implies the existence of an $E_\infty$-ring spectrum $A$ such that the coconnective truncation $\tau_{\leq 0} (A)$ does not admit the structure of an $E_\infty$-...
2
votes
0answers
364 views

Units of a ring spectrum

Is there a good notion of the spectrum of units $R^\ast$ in a (possibly non-connective) $E_\infty$-ring spectrum $R$? A standard definition (see section 1.2 in http://arxiv.org/abs/0810.4535) seems ...
35
votes
1answer
6k 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 ...