Questions tagged [chromatic-homotopy]
The chromatic-homotopy tag has no usage guidance.
68
questions
3
votes
0
answers
206
views
Is there anything special about the Honda formal group?
The "standard" Morava E-theory $E_n$ (at a prime $p$) is typically defined using the so-called "Honda formal group law", the unique FGL $\Gamma_n$ over $\mathbb{F}_{p^n}$ ...
9
votes
1
answer
267
views
Does every complex orientable $E_\infty$-ring admit an $E_\infty$ complex orientation?
A ring spectrum $E$ is complex oriented if it is equipped with a ring map $MU\rightarrow E$. It is complex orientable if such a ring map exists.
An $E_\infty$-ring $E$ is $E_\infty$-complex oriented ...
3
votes
1
answer
149
views
Can the Picard-graded homotopy of a nonzero object be nilpotent?
Let $\mathcal C$ be a symmetric monoidal stable category such that the thick subcategory generated by the unit is all of $\mathcal C$ -- in particular, every object is dualizable (I'm particularly ...
5
votes
1
answer
230
views
If $\pi_\ast A$ is graded-commutative, then is $A_\ast$ a lax monoidal functor?
Let $A$ be a homotopy ring spectrum. Then the homology theory $A_\ast : Spectra \to GrAb$ lifts to a homology theory valued in $GrMod(\pi_\ast A)$. If $A$ is homotopy commutative, then this functor $...
19
votes
2
answers
2k
views
Why the sphere spectrum is more correct than $\mathbb{Z}$?
One may argue that $\mathbb{S}$ is more correct than $\mathbb{Z}$. Can anyone make it more explicitly? For example, what information will be lost if we work in $\mathbb{Z}$ instead of $\mathbb{S}$?
...
4
votes
1
answer
179
views
On the sparsity of the descent spectral sequence computing homotopy groups of the K(n)-local sphere
There is a descent spectral sequence computing $\pi_*L_{K(n)}S^0$ with $E_2$-term
$$E_2^{s,t}\cong H^s_c(\mathbb{G}_n,(E_n)_t)$$
It is mentioned in Barthel-Beaudry (in the description of Figure 3.30) ...
7
votes
0
answers
236
views
What is the Balmer spectrum of the p-complete stable homotopy category?
When doing computations with spectra, we first reduce to working at a prime p by using the arithmetic fracture theorem: (the homotopy groups of) a spectrum of finite type can be recovered from its ...
5
votes
0
answers
116
views
Solving polynomial equations in $K(h)$-local or $T(h)$-local spectra?
This is the same question as an earlier question of mine, except in a different category.
Let $Spt_{T(h)}^{fin}$ be the category of finite $T(h)$-local spectra. Let $K_0^\oplus(Spt_{T(h)}^{fin})$ be ...
6
votes
1
answer
264
views
Does the Lie algebra structure on rational homotopy groups reflect similar information to the formal group structure in characteristic p?
It's well known (c.f. Quillen and Sullivan) that the rational homotopy theory of spaces is equivalent to the homotopy theory of rational DG-algebras; in particular, rational spaces and rational ...
4
votes
2
answers
179
views
Is $\operatorname{dim}_{K(h)_\ast} K(h)_\ast X$ increasing in $h$?
Let $X$ be a finite $p$-local spectrum. For each $h \in \mathbb{N} \cup \{\infty\}$, let $K(h)$ be Morava $K$-theory of height $h$. Recall that the coefficients $K(h)_\ast$ are a graded field, and $K(...
4
votes
0
answers
139
views
Are telescopes Noetherian?
Let $p$ be a prime and $h \in \mathbb N$ a height.
Question 1: Does there exist a compact $T(h)$-local spectrum $A$ with a unital multiplication making $\pi_\ast A$ a Noetherian ring?
A priori it's ...
4
votes
0
answers
198
views
Is there any use for n-dimensional formal group laws in chromatic homotopy?
Chromatic homotopy tends to mainly focus on $1$-dimensional (commutative) FGLs. From a geometric perspective, this is because line bundles form a group and n-plane bundles don't, so the first Chern ...
12
votes
1
answer
293
views
Can the Bousfield class of projective space be computed directly?
Recall that the Bousfield class of a spectrum $E$, written $\langle E\rangle$, is the class of spectra $X$ such that $X\wedge E$ is not contractible. For example the Bousfield class of any of the ...
2
votes
0
answers
71
views
Map to study $K(n)$-local Picard Group
Let $R$ be an $E_{\infty}$-ring. There's a fiber/cofiber sequence $S$: $gl_1 R \to \text{Pic}(R) \to H(\text{Pic}(R))$, where $\text{Pic}(R) =\pi_0 \text{Pic}(R)$ is the Picard group of $R$. Rotating ...
4
votes
1
answer
156
views
Are Landweber exact spectra determined by their coefficient ring?
Let $E$ be a Landweber exact ring spectrum. That is, we have a map of homotopy ring spectra $MU\rightarrow E$ and an isomorphism of homology theories $E_*X\simeq MU_*X\otimes_{MU_*}E_*$. Is the ...
7
votes
1
answer
436
views
$E$-(co)homology of $BU(n)$ (Reference request)
I am currently reading Lurie's notes on Chromatic Homotopy Theory (252x) and in Lecture 4 (https://www.math.ias.edu/~lurie/252xnotes/Lecture4.pdf), he skims through the calculation of $E^{\ast}(BU(n))$...
11
votes
1
answer
560
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 ...
1
vote
1
answer
108
views
Can a finite, type $n+k$ spectrum be a (non-iterated) colimit of finite, type $n$ spectra for $k \geq 2$?
By the thick subcategory theorem, if $X, Y$ are finite $p$-local spectra of type $m,n$ respectively, then $Y$ can be built from $Y$ in a finite number of "steps" iff $n \geq m$. Here, a &...
3
votes
0
answers
101
views
Does $K(n)$ detect minimal $K(n)$-local cell structures?
Let $X$ be a finite spectrum, and let $N = dim_{\mathbb F_p} H_\ast(X;\mathbb F_p)$. I believe that $p$-completion $X^\wedge_p$ may be built as an $N$-cell complex where the cells are shifts of the $p$...
17
votes
2
answers
694
views
For which $n$ does there exist a closed manifold of (chromatic) type $n$?
Let $p$ be a prime and $n \in \mathbb N$. Does there exist a closed manifold which is of type $n$ after $p$-localization?
When $n= 0$ the answer is yes. When $p = 2$ and $n = 1$ we can take $\mathbb R ...
8
votes
0
answers
188
views
Projective $BP_\ast$-dimension of the $BP$-homology of classifying spaces of finite groups
Fix a prime $p$ and let $G$ be a finite group. Do we know the projective dimension of $BP_\ast (BG)$ as a graded $BP_\ast$-module? Or at least that it is finite?
My guess is the following:
The ...
12
votes
1
answer
250
views
Is every complex oriented ring spectrum with additive FGL an Eilenberg-Maclane spectrum?
Suppose $E$ is a complex-oriented ring spectrum whose formal group law is isomorphic to the additive one. As the title suggests, we might as well change the complex orientation so that the formal ...
24
votes
1
answer
682
views
Are complex-oriented ring spectra determined by their formal group law?
To every complex-oriented ring spectrum $E$ there is associated a formal group law, which is a power series $F_E(x,y)\in E_*[[x,y]]$.
Suppose $E$ and $F$ are two complex-oriented ring spectra and ...
13
votes
1
answer
458
views
Chromatic orientability of manifolds
If a compact manifold $M$ with empty boundary is oriented with respect to all the connective Morava $K$-theories $k(n)_*$, localized at a prime $p$, can one conclude that $M$ is orientable with ...
21
votes
1
answer
1k
views
Why does elliptic cohomology fail to be unique up to contractible choice?
It is often stated that the derived moduli stack of oriented elliptic curves $\mathsf{M}^\mathrm{or}_\mathrm{ell}$ is the unique lift of the classical moduli stack of elliptic curves satisfying some ...
6
votes
1
answer
206
views
Homotopy groups of $K(n)$-localization of the Brown-Peterson spectrum
We fix $p$ prime and $n$ a natural number. We let $K(n)$ be the $2(p^{n}-1)$-periodic Morava $K$-theory, i.e. $K(n)_*=\mathbb{F}_p[v_n^{\pm 1}]$ with $|v_n|=2(p^n-1)$. I distinctly recall that we ...
8
votes
1
answer
854
views
What is so 'coloured' on Chromatic Homotopy Theory
As the title suggest, I would like know the motivation/ historical background
why chromatic homotopy theory is called 'chromatic'. Literally, what
analogy to colors it might have.
Accordings to
...
9
votes
1
answer
375
views
Applications of equivariant homotopy theory in chromatic homotopy theory
I usually do computations in equivariant homotopy theory, but I would like to learn chromatic homotopy theory where one may use the equivariant techniques, e.g., slice spectral sequences, etc.
For ...
11
votes
0
answers
687
views
Chromatic blueshift and Tate cohomology
Let $R$ be an $L_n$-local ring spectrum. Then one knows that the Tate construction $R^{tC_p}$ (with respect to the trivial $C_p$-action on $R$) is $L_{n-1}$-local; this "blueshift" result is ...
7
votes
2
answers
495
views
Chromatic t-structures?
Questions: Fix a prime $p$ and $n \in \mathbb N_{\geq 1}$.
Does the category $Sp_{K(n)}$ of $K(n)$-local spectra admit a nontrivial $t$-structure?
By "nontrivial", I simply mean that $\{0\}...
5
votes
0
answers
163
views
chromatic minimal cell structures
If $X$ is a finite $p$-local spectrum, then the minimal number of cells needed to construct $X$ is exactly $\dim_{\mathbb F_p} H_\ast(X,\mathbb F_p)$. Is there an analogous result in the $K(n)$-local ...
18
votes
1
answer
663
views
Are the AHSS and Adams spectral sequence the same when computing connective Morava K-theory of a space?
Let $k(n)$ be the $n$th connective Morava K-theory, with $k(n)_* = \mathbb F_p[v]$ where $|v| = 2p^n-2$. If $X$ is a space or a spectrum (assumed bounded below), one can compute $k(n)_*(X)$ using ...
6
votes
1
answer
374
views
Descent for $K(1)$-local spectra
For odd primes, we have an equalizer diagram for the $K(1)$- local sphere given by
$$L_{K(1)}S \rightarrow K{{ \xrightarrow{\Psi^g}}\atop{\xrightarrow[i_K ] {}}} K$$
where $g$ is a topological ...
11
votes
1
answer
571
views
On the relation between categorification and chromatic redshift
In the introduction to the paper Higher traces, noncommutative motives, and the categorified Chern character, Hoyois, Scherotzke and Sibilla write the following.
An important insight emerging from ...
8
votes
2
answers
875
views
Why do we study complex orientable cohomology theories
It seems that much of the literature in stable homotopy theory seems to study complex orientable cohomology theories. What is the reason of restricting to this class of multiplicative cohomology ...
11
votes
0
answers
432
views
Chromatic Homotopy Theory and Physics
Chromatic homotopy theory is a subfield of stable homotopy theory that studies complex-oriented cohomology theories from the "chromatic" point of view, which is based on Quillen's work relating ...
10
votes
1
answer
249
views
Formal group law for oriented bordism
From this answer I learned that the coefficient ring $MSO^{*}[1/2]$ of oriented bordism with 2 inverted supports an odd formal group law and is infact the universal such ring. Is there a reference/...
6
votes
0
answers
163
views
Is there an $\infty$-topos of monochromatic spaces?
Fix (a prime $p$ and) a chromatic height $h$. Recall that the Bousfield-Kuhn functor $\Phi_h: \mathcal M_h^f \to Sp_{T(h)}$ is monadic, where $\mathcal M_h^f \subseteq Top_\ast$ is a certain ...
14
votes
0
answers
291
views
Does virtual Morava K-theory have an Eilenberg-Moore spectral sequence?
In a recent question, Tim Campion was interested in analyzing the Morava $K$–theory of a space $X$ by dissecting the space into connective and coconnective parts: $$X(m, \infty) \to X \to X[0, m].$$ ...
22
votes
2
answers
5k
views
References and resources for (learning) chromatic homotopy theory and related areas
What references and resources (e.g. video recorded lectures) are available for learning chromatic homotopy theory and related areas (such as formal geometry)?
21
votes
2
answers
2k
views
Latest results in chromatic homotopy theory
I started a PhD in chromatic homotopy three years ago, but I had to quit it due to personal reasons after one year. Last week I was looking at all my notes from that period and I was wondering where ...
18
votes
1
answer
529
views
Milnor Conjecture on Lie groups for Morava K-theory
A conjecture by Milnor state that if $G$ is a Lie group, then the map $B(G^{disc})\to BG$ sending the classifying space of $G$ endowed with the discrete topology to the classifying space of the ...
7
votes
1
answer
325
views
Crafting Suspension Spectra
There is a theorem by Hopkins and Smith which states that for every $n > 0$ there is an ideal $I_n = (v_0^{k_0}, \dots, v_n^{k_n})$ such that there exist a spectrum $X_n$ with the following ...
5
votes
1
answer
186
views
Homology of a limit of spectra + Cofiber
I have a countable sequence of finite suspension spectra $X_i$, whose $BP$-homology is a $BP_*(BP)$-comodule. Let's assume $BP_*(X_i) = \Sigma^{d_i} BP_* / (v_0^{k_0}, \dots v_i^{k_i}),$ for some $d_n$...
5
votes
1
answer
281
views
Map between homology of spectra
Let $X$ be a suspension spectra whose $BP$-homology is infinitely generated
($BP_*(X) = \Sigma^d BP_*/I$, where $I$ has the form $I=(v_0^{i_0}, \dots , v_n^{i_n})$ such that the homology is a $BP_*(BP)...
3
votes
1
answer
258
views
Studying the limit of a sequence of spectra knowing their BP-Homology
QUESTION EDITED: There was a mistake, the spectrum i had written before didn't even exist, so a big thanks to the people who made me notice that in the comments.
Let $X_n$ be the spectrum such that $...
9
votes
0
answers
148
views
How to show that a spectrum X is not Chromatically Complete
There are some criteria which tell us when a spectrum $X$ is chromatically complete (it's the homotopy limit of its chromatic tower):
It has to be p-local and finite, according to the chromatic ...
11
votes
0
answers
195
views
What are examples of spectra whose mod 2 cohomology contain A//A(n)?
Let $//$ denote the Hopf algebra quotient. We know that:
$$HF_{2}^*(ko) \simeq A//A(1)$$
$$HF_2^*(tmf) \simeq A//A(2)$$
By Hopf invariant one, we know there is no $X$ such that $HF_2^*(X) \simeq A//...
9
votes
0
answers
217
views
Chromatic Completion of Suspension Spectra and affine results
There is the Chromatic Convergence Theorem by Hopkins and Ravanel which states that the homotopy inverse limit of the chromatic tower of a finite spectra $X$ is $X$.
Let's call any spectra with this ...
26
votes
2
answers
2k
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 ...