<p>Suppose <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10587_2025_1825_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal T}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">T</mi> </mrow> </math></EquationSource> </InlineEquation> is a rigidly-compactly generated tensor triangulated category and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10587_2025_1825_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal K}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">K</mi> </mrow> </math></EquationSource> </InlineEquation> is a compactly generated triangulated category on which <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10587_2025_1825_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal T}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">T</mi> </mrow> </math></EquationSource> </InlineEquation> acts, in the sense of Stevenson. We prove that if <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10587_2025_1825_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\({\rm Spc}({\cal T}^{\rm c})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="normal">Spc</mi> </mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="script">T</mi> </mrow> <mrow> <mi mathvariant="normal">c</mi> </mrow> </msup> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> is Noetherian and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10587_2025_1825_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal K}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">K</mi> </mrow> </math></EquationSource> </InlineEquation> is stable, then each object in <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10587_2025_1825_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal K}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">K</mi> </mrow> </math></EquationSource> </InlineEquation> has a unique functorial tower, filtered by Balmer-Favi cosupports. This is an analogy of Stevenson’s work on filtrations by Balmer-Favi supports.</p>

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

Filtrations by cosupports via tensor actions

  • Peng Xu

摘要

Suppose \({\cal T}\) T is a rigidly-compactly generated tensor triangulated category and \({\cal K}\) K is a compactly generated triangulated category on which \({\cal T}\) T acts, in the sense of Stevenson. We prove that if \({\rm Spc}({\cal T}^{\rm c})\) Spc ( T c ) is Noetherian and \({\cal K}\) K is stable, then each object in \({\cal K}\) K has a unique functorial tower, filtered by Balmer-Favi cosupports. This is an analogy of Stevenson’s work on filtrations by Balmer-Favi supports.