<p>We introduce the notion of a rank function on a <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\((d+2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mo>+</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-angulated category <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> which generalises the notion of a rank function on a triangulated category. Inspired by work of Chuang and Lazarev, for <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(d\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>d</mi> </math></EquationSource> </InlineEquation> an odd positive integer, we prove that there is a bijective correspondence between rank functions defined on objects in <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> and rank functions defined on morphisms in <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>. Inspired by work of Conde, Gorsky, Marks and Zvonareva, for <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(d\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>d</mi> </math></EquationSource> </InlineEquation> an odd positive integer, we show there is a bijective correspondence between rank functions on <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\({\textsf{proj}}A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">proj</mi> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation> and certain additive functions on <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\({\textsf{mod}}({\textsf{proj}}A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">mod</mi> <mo stretchy="false">(</mo> <mi mathvariant="sans-serif">proj</mi> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(A\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>A</mi> </math></EquationSource> </InlineEquation> is a twisted <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\((d+2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mo>+</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-periodic algebra and <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\({\textsf{proj}}A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">proj</mi> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation> is endowed with the Amiot-Lin <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\((d+2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mo>+</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-angulated category structure. This allows us to show that every integral rank function on <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\({\textsf{proj}}A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">proj</mi> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation> can be decomposed into a (locally finite) sum of irreducible rank functions.</p>

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

Rank functions on \((d+2)\)-angulated categories: a functorial approach

  • David Nkansah

摘要

We introduce the notion of a rank function on a \((d+2)\) ( d + 2 ) -angulated category \(\mathcal {C}\) C which generalises the notion of a rank function on a triangulated category. Inspired by work of Chuang and Lazarev, for \(d\) d an odd positive integer, we prove that there is a bijective correspondence between rank functions defined on objects in \(\mathcal {C}\) C and rank functions defined on morphisms in \(\mathcal {C}\) C . Inspired by work of Conde, Gorsky, Marks and Zvonareva, for \(d\) d an odd positive integer, we show there is a bijective correspondence between rank functions on \({\textsf{proj}}A\) proj A and certain additive functions on \({\textsf{mod}}({\textsf{proj}}A)\) mod ( proj A ) , where \(A\) A is a twisted \((d+2)\) ( d + 2 ) -periodic algebra and \({\textsf{proj}}A\) proj A is endowed with the Amiot-Lin \((d+2)\) ( d + 2 ) -angulated category structure. This allows us to show that every integral rank function on \({\textsf{proj}}A\) proj A can be decomposed into a (locally finite) sum of irreducible rank functions.