Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
169 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 ...
user145752's user avatar
6 votes
3 answers
465 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 ...
Bryan Shih's user avatar
5 votes
1 answer
321 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_\...
W. Zhan's user avatar
  • 448
6 votes
0 answers
135 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 =...
Maxime Ramzi's user avatar
  • 15.9k
5 votes
0 answers
239 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 ...
Maxime Ramzi's user avatar
  • 15.9k
19 votes
1 answer
1k 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 ...
ExceptionallyCluelessGrad's user avatar
12 votes
3 answers
2k 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 ...
Exit path's user avatar
  • 3,019
15 votes
0 answers
3k 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 ...
Exit path's user avatar
  • 3,019
14 votes
1 answer
2k views

Are Thom spectra MU, MSO and K-theory spectra KU, KO modules over some truncations of the sphere spectrum?

The Thom spectrum MO is a module over the ring spectrum π≤0S=HZ, where S is the sphere spectrum. In particular, MO is equivalent to the Eilenberg-MacLane spectrum Hπ*(MO). On the other hand, MU and ...
Dmitri Pavlov's user avatar