Apparently thanks to a theorem of Hopkins and Smith, every field spectrum splits into a wedge of Morava K-theories, where we allow the cases $K(0) = H \mathbb{Q}$ and $K(\infty) = H \mathbb{F}_p$. I do not understand this result. What about the Eilenberg-MacLane space $H\mathbb{R}$? Either it is not a field spectrum (which weirds me out) or it is a wedge of Morava K-theories (which also weirds me out). How does this work?
2026-03-25 04:36:28.1774413388
Field spectra and Eilenberg--MacLane spectra?
97 Views Asked by user720939 https://math.techqa.club/user/user720939/detail At
1
There are 1 best solutions below
Related Questions in HOMOLOGY-COHOMOLOGY
- Are these cycles boundaries?
- Cohomology groups of a torus minus a finite number of disjoint open disks
- $f$ - odd implies $d(f)$ - odd, question to the proof
- Poincarè duals in complex projective space and homotopy
- understanding proof of excision theorem
- proof of excision theorem: commutativity of a diagram
- exact sequence of reduced homology groups
- Doubts about computation of the homology of $\Bbb RP^2$ in Vick's *Homology Theory*
- the quotien space of $ S^1\times S^1$
- Rational points on conics over fields of dimension 1
Related Questions in HOMOTOPY-THEORY
- how to prove this homotopic problem
- Are $[0,1]$ and $(0,1)$ homotopy equivalent?
- two maps are not homotopic equivalent
- the quotien space of $ S^1\times S^1$
- Can $X=SO(n)\setminus\{I_n\}$be homeomorphic to or homotopic equivalent to product of spheres?
- Why do $S^1 \wedge - $ and $Maps(S^1,-)$ form a Quillen adjunction?
- Is $S^{n-1}$ a deformation retract of $S^{n}$ \ {$k$ points}?
- Connection between Mayer-Vietoris and higher dimensional Seifert-Van Kampen Theorems
- Why is the number of exotic spheres equivalent to $S^7,S^{11},S^{15},S^{27}$ equal to perfect numbers?
- Are the maps homotopic?
Related Questions in STABLE-HOMOTOPY-THEORY
- Shift in a stable $\infty$-category
- Reference for spectra theory (in topology)
- Invariant ideals of Hopf algebroid
- Why is the $J$-homomorphism an isomorphism for $n=1$?
- Equality of Hom groups via 5 lemma
- Who proved that $\pi_{n+1}(S^n) \cong \mathbb{Z}/2\mathbb{Z}$ for $n\geq 3$?
- Why Bousfield localization preserves homotopy pull-backs?
- Understanding Adams spectral sequence and Pontryagin-Thom isomorphism intuitively
- Loops Infinity of a spectrum
- Why is the map from a wedge to a product induces isomorphisms between stable homotopy groups
Related Questions in SPECTRA
- Reference request: Representability of multiplicative equivariant cohomology theories
- Isomorphism in the case of real symmetric matrices
- Reference for spectra theory (in topology)
- spectrum theory in generalized cohomology
- A question regarding generalized cohomology and spectra : proof of $E^{\ast}(S)\otimes\mathbb{R} = H^{\ast}(S;\pi_{\ast}E\otimes \mathbb{R})$
- Meaning of cocycle on a spectrum?
- Homotopy groups of wedge sum
- Relation of $\mathbb{Z}_2$-cohomology and interger cohomology
- Realizing the Berkovich affine line as a union of Berkovich spectrums
- Definition of the Berkovich spectrum
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
$H\mathbb{R}$ is a wedge of Morava K-theories: it is a wedge of uncountably many copies of $K(0)=H\mathbb{Q}$. This is because as an abelian group, $\mathbb{R}$ is just a direct sum of uncountably many copies of $\mathbb{Q}$ (pick a basis for $\mathbb{R}$ as a vector space over $\mathbb{Q}$).
More generally, in the case of Eilenberg-MacLane spectra, this theorem is just the elementary fact that every field is a vector space over $\mathbb{Q}$ or $\mathbb{F}_p$ for some prime $p$, and thus as an abelian group is a direct sum of copies of them.