The strong chromatic splitting conjecture
Let -local spectra be localized with respect to Morava -theory, let be the -complete sphere spectrum, and let
denote the exterior-algebra-type wedge of and all smash products of distinct listed spectra over . Strong chromatic splitting conjecture. If , or if and is odd, then there is an equivalence
in the category of -local spectra, with corresponding to the unit. If and is even, then there is an -local equivalence
with corresponding to the unit. This is a proposed revision of the original conjecture, incorporating the additional class at . It implies the weak chromatic splitting conjecture; the source notes that the weak form holds for finite spectra but fails for the -completion of .
References
Primary source
Tobias Barthel and Agnès Beaudry, “Chromatic structures in stable homotopy theory”, arXiv:1901.09004 (2019).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 4
RemarkAI-assistedClaimed by OpenAI. Claims an ordered 2^n-stage chromatic-overlap filtration for every height n>=1 and prime p>n+1 with the classical cofibers and canonical localization unit as first-stage map. The result is a filtration, not a wedge splitting.See full solution
Claimed by OpenAI. Claims an ordered 2^n-stage chromatic-overlap filtration for every height n>=1 and prime p>n+1 with the classical cofibers and canonical localization unit as first-stage map. The result is a filtration, not a wedge splitting.
Scope relative to this problem: Related structural progress: ordered 2^n-stage chromatic-overlap filtrations for height n>=1 and primes p>n+1, with classical cofibers and the canonical localization unit as the first map. A filtration does not assert the target exterior-algebra-type wedge splitting or a homotopy retraction.
GitHub repository: https://github.com/openai/math
- OpenAI-318-01-Filtered-chromatic-splitting-at-generic-primes.pdfOpen
RemarkAI-assistedClaimed by OpenAI. Claims explicit eight-stage height-three chromatic-overlap filtrations at every prime at least five, identifying attachments and retaining the canonical first-stage unit; a companion result implies a nonzero first height-one attachment.See full solution
Claimed by OpenAI. Claims explicit eight-stage height-three chromatic-overlap filtrations at every prime at least five, identifying attachments and retaining the canonical first-stage unit; a companion result implies a nonzero first height-one attachment.
Scope relative to this problem: Related height 3 structural progress at primes p>=5: an explicit eight-stage overlap filtration with identified attachments and canonical first-stage unit. The source retains nonzero attachments, including its companion-derived first height 1 attachment. This is not a wedge decomposition or a proof of strong splitting.
GitHub repository: https://github.com/openai/math
- OpenAI-318-02-The-height-three-chromatic-overlap-an-explicit-filtration-and-its-attachments.pdfOpen
RemarkAI-assistedClaimed by OpenAI. Claims that a specified canonical rationalized height-three-to-height-two overlap map is nonzero in degree minus three for primes at least five, contradicting the strong height-three chromatic-splitting formula even as an underlying-spectrum equivalence.See full solution
Claimed by OpenAI. Claims that a specified canonical rationalized height-three-to-height-two overlap map is nonzero in degree minus three for primes at least five, contradicting the strong height-three chromatic-splitting formula even as an underlying-spectrum equivalence.
Scope relative to this problem: The manuscript claims a specified rationalized height 3-to-height 2 overlap map is nonzero in degree -3 at primes p>=5 and thereby contradicts the strong height 3 formula even as an underlying-spectrum equivalence. Retain this exact height, prime range and map; do not infer arbitrary-height or weak-map nonretraction from this companion.
GitHub repository: https://github.com/openai/math
- OpenAI-318-03-A-rational-obstruction-to-strong-chromatic-splitting-at-height-three.pdfOpen
RemarkAI-assistedClaimed by OpenAI. Claims failure of finite assembly of the height-three chromatic overlap at prime three from rational, height-one and height-two local spheres by finite sums, shifts, cofibers and retracts in the specified E(2)-local module category.See full solution
Claimed by OpenAI. Claims failure of finite assembly of the height-three chromatic overlap at prime three from rational, height-one and height-two local spheres by finite sums, shifts, cofibers and retracts in the specified E(2)-local module category.
Scope relative to this problem: Related restricted-category obstruction at height 3, prime 3: no finite assembly from rational, height 1 and height 2 local spheres by finite sums, shifts, cofibers and retracts inside the specified E2-local MODULE category. It is not independently attributed as an obstruction to every underlying-spectrum wedge equivalence or canonical weak splitting-map retraction.
GitHub repository: https://github.com/openai/math
- OpenAI-318-04-Failure-of-finite-assembly-for-a-chromatic-overlap-at-the-prime-three.pdfOpen