Questions tagged [ring-spectra]

For questions about ring spectra (in homotopy theory).

Filter by
Sorted by
Tagged with
2 votes
1 answer
69 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 \...
user avatar
8 votes
0 answers
203 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 ...
user avatar
10 votes
1 answer
458 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 ...
user avatar
4 votes
0 answers
159 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}\...
user avatar
  • 8,025
5 votes
0 answers
138 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 ...
user avatar
5 votes
1 answer
227 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}...
user avatar
  • 6,346
5 votes
0 answers
96 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 ...
user avatar
  • 6,346
4 votes
0 answers
252 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 ...
user avatar
  • 6,346
4 votes
1 answer
160 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}/...
user avatar
1 vote
1 answer
319 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$ ...
user avatar
  • 1,457
4 votes
1 answer
201 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 ...
user avatar
15 votes
1 answer
503 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 ...
user avatar
  • 49.2k
6 votes
1 answer
308 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 ...
user avatar
  • 1,703
4 votes
0 answers
138 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 ...
user avatar
4 votes
0 answers
100 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 ...
user avatar
  • 263
3 votes
1 answer
102 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} \...
user avatar
6 votes
3 answers
344 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 ...
user avatar
8 votes
1 answer
292 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 ...
user avatar
5 votes
1 answer
239 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_\...
user avatar
  • 313
6 votes
0 answers
111 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 ...
user avatar
7 votes
1 answer
229 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 ...
user avatar
  • 8,025
7 votes
1 answer
190 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 \...
user avatar
  • 151
6 votes
1 answer
408 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 ...
user avatar
9 votes
0 answers
191 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 ...
user avatar
  • 8,025
6 votes
0 answers
126 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 =...
user avatar
  • 8,025
5 votes
0 answers
217 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 ...
user avatar
  • 8,025
5 votes
1 answer
253 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 ...
user avatar
  • 271
7 votes
0 answers
177 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 ...
user avatar
8 votes
1 answer
293 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_{\...
user avatar
6 votes
1 answer
174 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 ...
user avatar
4 votes
1 answer
433 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} ...
user avatar
6 votes
0 answers
146 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 ...
user avatar
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 ...
user avatar
4 votes
1 answer
106 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 ...
user avatar
  • 2,646
9 votes
0 answers
283 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 ...
user avatar
  • 49.2k
3 votes
0 answers
370 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
217 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 ...
user avatar
  • 632
16 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 ...
user avatar
  • 6,346
8 votes
1 answer
418 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: ...
user avatar
  • 2,764
8 votes
0 answers
291 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 ...
user avatar
  • 21.2k
6 votes
2 answers
608 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 ...
user avatar
  • 1,369
17 votes
1 answer
631 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 ...
user avatar
  • 32.2k
3 votes
0 answers
279 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 $...
user avatar
1 vote
1 answer
162 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 ...
user avatar
18 votes
1 answer
961 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 ...
user avatar
11 votes
3 answers
1k 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 ...
user avatar
  • 2,640
14 votes
0 answers
2k 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 ...
user avatar
  • 2,640
5 votes
1 answer
407 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$ ...
user avatar
4 votes
0 answers
228 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$? ...
user avatar
11 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 ...
user avatar