26
Stack Exchange
votes

Chromatic Spectra and Cobordism

Posted on 10/12/2014
UQ ID:105
Science
MathOverflow
Original

I apologize in advance, if some of the things I've written are incorrect.

The cobordism hypothesis states that is the free symmetric monoidal -category with duals generated by a point. There is a geometric realization functor , where is the -category (I mean a quasicategory, but you can think of it as a model category, or whatever you like) of (small) -categories, and is -category of -groupoids, otherwise known as spaces. This functor is a left adjoint (in the homotopical sense) to the inclusion functor . Therefore, preserves (homotopy) colimits. If we "restrict" ourselves to the symmetric monodical -categories, we would get a functor , where is the -category of symmetric monoidal -categories and is the -category of infinite loop spaces. This should also preserve colimits. It manifests itself in the fact that is the infinite loop space of the sphere spectrum.

There is a universal characterization of the bordism -category of manifolds with singularities [Theorem 4.3.11 in Lurie's paper]. The type of singularities considered are those of Baas-Sullivan theory, which produce a wide array of chromatic spectra, such as the Brown-Peterson spectrum , the Johnson-Wilson spectra , and, of course, the Morava K-theory spectra . I am wondering:

Is it possible to give these spectra a universal characterization using the fact that geometric realization preserves colimits?

EDIT: When I think about it, I am not sure whether there is a universal description of , where is topological space, a vector bundle on it of dimension , other than the case when is point. We can write it down. It is simply , where is the Thom spectrum of .

Do we get a different characterization of these infinite loopspaces from the cobordism hypothesis?

Keywords & Tags
homotopy-theory
stable-homotopy
infinity-categories
cobordism
chromatic-homotopy
Model Answers (9)
Submitted answers from various AI models
Unsolved
No reviews yet

K2-Think

Pending UQ Validation
Needs Human Verification
MBZUAI-IFM
Qwen2.5-32B
Sep 18, 2025, 01:50 PM

To address the question of whether chromatic spectra like Brown-Peterson (), Johnson-Wilson (), and Morava -theory () can be given a universal characterization using the geometric realization functor's colimit preservation, we proceed as follows:

1. Cobordism Hypothesis and Geometric Realization

The cobordism hypothesis states that the framed bordism ca...

0 model reviews
0 human reviews
No reviews yet

GPT-5

UQ Validated
Needs Human Verification
OpenAI
Sep 2, 2025, 06:56 AM

Short answer.

  • For ordinary tangential structures (X, ζ) the cobordism hypothesis does not give anything “new”: one has a canonical identification |Bordn(X,ζ)| ≃ Ω∞−n Mζ, i.e. the geometric realization of the n-dimensional (∞,n)-bordism category is the (∞−n)-fold loop space of the Thom spectrum Mζ. This is the same identification one gets from Pontryagin–Thom/“GMTW” results; it is not a diffe...
0 model reviews
0 human reviews
No reviews yet

o3 Pro

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

Let Bord be any of the symmetric‐monoidal (∞,n)-categories that are constructed in §4 of Lurie’s “On the Classification of Topological Field Theories”.
Write

|–| : SymMon_(∞,n) → Alg_{E_∞}(Gpd_∞) ≃ CAlg(Sp)

for the geometric realisation functor (it is left adjoint to the inclusion of E_∞-spaces into symmetric–monoidal (∞,n)-categories, hence preserves all homotopy colimits).

  1. ...
0 model reviews
0 human reviews
No reviews yet

o4 mini

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

Here is what is really going on: nothing mystical is hiding in the cobordism‐hypothesis beyond the well–known Baas–Sullivan picture of Thom–spectra as colimits of “bordism with singularities” and the fact that geometric realization [ | - |;:;\SymMon_{(\infty,n)};\longrightarrow;\Alg_{\E_\infty} ] preserves all homotopy colimits. In particular one recovers at once all of the usual push–o...

0 model reviews
0 human reviews
No reviews yet

o3

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

Let me recall the two ingredients that are relevant here.

(1) For every tangential structure
ξ : X → BO(n)
Lurie defines a symmetric–monoidal bordism ((\infty ,n))-category
Bord({n}^{,\xi }). His Cobordism Hypothesis implies that Bord({n}^{,\xi }) is the free symmetric–monoidal ((\infty ,n))-category with duals generated by a ξ–framed point. ...

0 model reviews
0 human reviews
No reviews yet

Gemini 2.5 Pro

Failed UQ Validation
Needs Human Verification
Google
Aug 1, 2025, 12:00 AM

This is an excellent question that connects two deep and powerful areas of modern algebraic topology. Your intuition is very much on the right track. The cobordism hypothesis and its machinery do provide a universal characterization for these spectra, which is conceptually different from their construction as Thom spectra.

Let's break it down.

The Universal Property of Bordism Categories

Fi...

0 model reviews
0 human reviews
No reviews yet

Claude 3.7 Sonnet

Failed UQ Validation
Needs Human Verification
Anthropic
Aug 1, 2025, 12:00 AM

Chromatic Spectra and the Cobordism Hypothesis

Your question probes deep connections between cobordism theory, chromatic homotopy theory, and higher categorical structures.

On Universal Characterizations

The key insight of the cobordism hypothesis is that is the free symmetric monoidal -category with duals generated by a point. When we apply geomet...

0 model reviews
0 human reviews
No reviews yet

DeepSeek R1

Failed UQ Validation
Needs Human Verification
DeepSeek
deepseek-ai/DeepSeek-R1
Aug 1, 2025, 12:00 AM
<think> We are given a question about chromatic spectra and cobordism, specifically asking for a universal characterization of certain spectra (like Brown-Peterson, Johnson-Wilson, Morava K-theory) using the cobordism hypothesis and the fact that geometric realization preserves colimits.

The context is the cobordism hypothesis, which states that the bordism category with framing, denoted $\mathbf...

0 model reviews
0 human reviews
No reviews yet

Claude Opus 4

Failed UQ Validation
Needs Human Verification
Anthropic
Aug 1, 2025, 12:00 AM

This is a fascinating question that touches on deep connections between chromatic homotopy theory, cobordism categories, and the cobordism hypothesis. Let me address your questions systematically.

The Main Question

Your core question asks whether chromatic spectra like BP, E(n), and K(n) can be given universal characterizations using the fact that geometric realization preserves colimits. Thi...

0 model reviews
0 human reviews
Submit Your Model's Answer
Your submission will be validated by our LLM validator and then by human experts

You need to be logged in to submit an answer