<p>We construct a lift of the degree filtration on the integer-valued polynomials to (even <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({{\,\textrm{MU}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mtext>MU</mtext> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation>-based) synthetic spectra. Namely, we construct a bialgebra in modules over the evenly filtered sphere spectrum which base-changes to the degree filtration on the integer-valued polynomials. As a consequence, we may lift the Hilbert additive group scheme to a spectral group scheme over <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {A}^1 / \mathbb {G}_m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">A</mi> </mrow> <mn>1</mn> </msup> <mo stretchy="false">/</mo> <msub> <mi mathvariant="double-struck">G</mi> <mi>m</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. We study the cohomology of its deloopings, and show that one obtains a lift of the filtered circle, studied in [<CitationRef CitationID="CR25">25</CitationRef>]. At the level of quasi-coherent sheaves, one obtains synthetic lifts of the <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Z</mi> </math></EquationSource> </InlineEquation>-linear <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>∞</mi> </math></EquationSource> </InlineEquation>-categories of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(S^1_{{{\,\textrm{fil}\,}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>S</mi> <mrow> <mspace width="0.166667em" /> <mtext>fil</mtext> <mspace width="0.166667em" /> </mrow> <mn>1</mn> </msubsup> </math></EquationSource> </InlineEquation>-representations. Our constructions crucially rely on the use of the even filtration of Hahn–Raksit–Wilson; it is linearity with respect to the even filtered sphere that powers the results of this work.</p>

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

The Synthetic Hilbert Additive Group Scheme

  • Alice Hedenlund,
  • Tasos Moulinos

摘要

We construct a lift of the degree filtration on the integer-valued polynomials to (even \({{\,\textrm{MU}\,}}\) MU -based) synthetic spectra. Namely, we construct a bialgebra in modules over the evenly filtered sphere spectrum which base-changes to the degree filtration on the integer-valued polynomials. As a consequence, we may lift the Hilbert additive group scheme to a spectral group scheme over \(\mathbb {A}^1 / \mathbb {G}_m\) A 1 / G m . We study the cohomology of its deloopings, and show that one obtains a lift of the filtered circle, studied in [25]. At the level of quasi-coherent sheaves, one obtains synthetic lifts of the \(\mathbb {Z}\) Z -linear \(\infty \) -categories of \(S^1_{{{\,\textrm{fil}\,}}}\) S fil 1 -representations. Our constructions crucially rely on the use of the even filtration of Hahn–Raksit–Wilson; it is linearity with respect to the even filtered sphere that powers the results of this work.