<p>When <i>p</i> is an odd prime, we prove that the <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {F}_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-cohomology of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textrm{BP}\langle n\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>BP</mtext> <mo stretchy="false">⟨</mo> <mi>n</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> as a module over the Steenrod algebra determines the <i>p</i>-local spectrum <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\textrm{BP}\langle n\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>BP</mtext> <mo stretchy="false">⟨</mo> <mi>n</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation>. In particular, we prove that the <i>p</i>-local spectrum <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\textrm{BP}\langle n\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>BP</mtext> <mo stretchy="false">⟨</mo> <mi>n</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> only depends on its <i>p</i>-completion <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\textrm{BP}\langle n\rangle _p^\wedge \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>BP</mtext> <msubsup> <mrow> <mo stretchy="false">⟨</mo> <mi>n</mi> <mo stretchy="false">⟩</mo> </mrow> <mi>p</mi> <mo>∧</mo> </msubsup> </mrow> </math></EquationSource> </InlineEquation>. As a corollary, this proves that the <i>p</i>-local homotopy type of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\textrm{BP}\langle n\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>BP</mtext> <mo stretchy="false">⟨</mo> <mi>n</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> does not depend on the ideal by which we take the quotient of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\textrm{BP}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>BP</mtext> </math></EquationSource> </InlineEquation>. In the course of the argument, we show that there is a vanishing line for odd degree classes in the Adams spectral sequence for endomorphisms of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\textrm{BP}\langle n\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>BP</mtext> <mo stretchy="false">⟨</mo> <mi>n</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation>. We also prove that there are enough endomorphisms of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\textrm{BP}\langle n\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>BP</mtext> <mo stretchy="false">⟨</mo> <mi>n</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> in a suitable sense. When <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(p=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, we obtain the results for <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(n\le 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≤</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Uniqueness of p-local truncated Brown–Peterson spectra

  • David Jongwon Lee

摘要

When p is an odd prime, we prove that the \(\mathbb {F}_p\) F p -cohomology of \(\textrm{BP}\langle n\rangle \) BP n as a module over the Steenrod algebra determines the p-local spectrum \(\textrm{BP}\langle n\rangle \) BP n . In particular, we prove that the p-local spectrum \(\textrm{BP}\langle n\rangle \) BP n only depends on its p-completion \(\textrm{BP}\langle n\rangle _p^\wedge \) BP n p . As a corollary, this proves that the p-local homotopy type of \(\textrm{BP}\langle n\rangle \) BP n does not depend on the ideal by which we take the quotient of \(\textrm{BP}\) BP . In the course of the argument, we show that there is a vanishing line for odd degree classes in the Adams spectral sequence for endomorphisms of \(\textrm{BP}\langle n\rangle \) BP n . We also prove that there are enough endomorphisms of \(\textrm{BP}\langle n\rangle \) BP n in a suitable sense. When \(p=2\) p = 2 , we obtain the results for \(n\le 3\) n 3 .