<p>We introduce some new symmetric tensor categories based on the combinatorics of trees: a discrete family <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1058_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">D</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, for <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1058_Article_IEq2.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n \ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> an integer, and a continuous family <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1058_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}(t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">C</mi> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1058_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(t \ne 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>≠</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> a complex number. The construction is based on the general oligomorphic theory of Harman–Snowden, but relies on two non-trivial results we establish. The first determines the measures for the class of trees, and the second is a semi-simplicity theorem. These categories have some notable properties: for instance, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1058_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}(t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">C</mi> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the first example of a 1-parameter family of pre-Tannakian categories of superexponential growth that cannot be obtained by interpolating categories of moderate growth.</p>

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

Arboreal tensor categories

  • Nate Harman,
  • Ilia Nekrasov,
  • Andrew Snowden

摘要

We introduce some new symmetric tensor categories based on the combinatorics of trees: a discrete family \(\mathcal {D}(n)\) D ( n ) , for \(n \ge 3\) n 3 an integer, and a continuous family \(\mathcal {C}(t)\) C ( t ) , for \(t \ne 1\) t 1 a complex number. The construction is based on the general oligomorphic theory of Harman–Snowden, but relies on two non-trivial results we establish. The first determines the measures for the class of trees, and the second is a semi-simplicity theorem. These categories have some notable properties: for instance, \(\mathcal {C}(t)\) C ( t ) is the first example of a 1-parameter family of pre-Tannakian categories of superexponential growth that cannot be obtained by interpolating categories of moderate growth.