<p>For any motivic <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2836_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{E}_{\infty}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="double-struck">E</mi> </mrow> <mrow> <mi mathvariant="normal">∞</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>-ring spectrum <i>A</i> we construct an equivalence <i>ρ</i> between the <i>∞</i>-category of cellular motivic <i>A</i>-module spectra and modules over an <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2836_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{E}_{1}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="double-struck">E</mi> </mrow> <mrow> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation>-algebra Θ in ℤ-graded spectra, under which the motivic grading corresponds to the ℤ-grading. If the base is ℂ or if <i>A</i> admits an <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2836_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{E}_{\infty}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="double-struck">E</mi> </mrow> <mrow> <mi mathvariant="normal">∞</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>-orientation, we refine the <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2836_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{E}_{1}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="double-struck">E</mi> </mrow> <mrow> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation>-algebra Θ to an <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2836_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{E}_{\infty}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="double-struck">E</mi> </mrow> <mrow> <mi mathvariant="normal">∞</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>-algebra and <i>ρ</i> to a symmetric monoidal equivalence.</p><p>To capture the symmetric monoidal structure in the general situation, we lift <i>ρ</i> to a symmetric monoidal equivalence to modules over an <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2836_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{E}_{\infty}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="double-struck">E</mi> </mrow> <mrow> <mi mathvariant="normal">∞</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>-algebra in <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2836_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{J}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">J</mi> </mrow> </math></EquationSource> </InlineEquation>-graded spectra that invert morphisms of <Emphasis FontCategory="NonProportional">J</Emphasis>, where <Emphasis FontCategory="NonProportional">J</Emphasis> is the diagram category of Sagave–Schlichtkrull [15], a model for Quillen’s localization of the groupoid of finite sets and bijections.</p>

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

A topological model for cellular motivic spectra

  • Hadrian Heine

摘要

For any motivic \(\mathbb{E}_{\infty}\) E -ring spectrum A we construct an equivalence ρ between the -category of cellular motivic A-module spectra and modules over an \(\mathbb{E}_{1}\) E 1 -algebra Θ in ℤ-graded spectra, under which the motivic grading corresponds to the ℤ-grading. If the base is ℂ or if A admits an \(\mathbb{E}_{\infty}\) E -orientation, we refine the \(\mathbb{E}_{1}\) E 1 -algebra Θ to an \(\mathbb{E}_{\infty}\) E -algebra and ρ to a symmetric monoidal equivalence.

To capture the symmetric monoidal structure in the general situation, we lift ρ to a symmetric monoidal equivalence to modules over an \(\mathbb{E}_{\infty}\) E -algebra in \(\cal{J}\) J -graded spectra that invert morphisms of J, where J is the diagram category of Sagave–Schlichtkrull [15], a model for Quillen’s localization of the groupoid of finite sets and bijections.