<p>We use generic bricks in the study of arbitrary biserial algebras. For a biserial algebra <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3756_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Λ</mi> </math></EquationSource> </InlineEquation> of rank <i>n</i> over an algebraically closed field <i>k</i>, we show that <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3756_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Λ</mi> </math></EquationSource> </InlineEquation> is brick-infinite if and only if it admits a generic brick, which we further prove to be the case if and only if there exists an infinite family of bricks of length <i>d</i>, for some <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3756_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\(2\le d\le 2n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>≤</mo> <mi>d</mi> <mo>≤</mo> <mn>2</mn> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>. Consequently, we obtain an algebro-geometric realization of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3756_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation>-tilting finiteness of biserial algebras: <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3756_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Λ</mi> </math></EquationSource> </InlineEquation> is <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3756_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation>-tilting finite if and only if, for each dimension vector <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3756_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\underline{d}\)</EquationSource> <EquationSource Format="MATHML"><math> <munder> <mi>d</mi> <mo>̲</mo> </munder> </math></EquationSource> </InlineEquation>, there are only finitely many orbits of bricks in the representation variety <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3756_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathop {\textrm{mod}}\limits (\Lambda , \underline{d})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>mod</mtext> <mo stretchy="false">(</mo> <mi mathvariant="normal">Λ</mi> <mo>,</mo> <munder> <mi>d</mi> <mo>̲</mo> </munder> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Our results rely on our full classification of minimal brick-infinite biserial algebras in terms of quivers and relations, seen as the modern analogue of the classification of minimal representation-infinite (special) biserial algebras, given by Ringel. We show that if <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3756_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Λ</mi> </math></EquationSource> </InlineEquation> is a minimal brick-infinite biserial algebra, then <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3756_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Λ</mi> </math></EquationSource> </InlineEquation> is gentle and admits exactly one generic brick. In this case, we describe the spectrum of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3756_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Λ</mi> </math></EquationSource> </InlineEquation> and prove that it is similar to that of a tame hereditary algebra. In other words, <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3756_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathop {\textrm{Brick}}\limits (\Lambda )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Brick</mtext> <mo stretchy="false">(</mo> <mi mathvariant="normal">Λ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the disjoint union of a unique generic brick with a countable infinite set of bricks of finite lengths, and a family of bricks of length <i>d</i> parameterized by <i>k</i>. Our work strengthens and generalizes some earlier results on <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3756_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation>-tilting finiteness of gentle algebras and special biserial algebras, respectively treated by Plamondon and Schroll-Treffinger-Valdivieso.</p>

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

Biserial algebras and generic bricks

  • Kaveh Mousavand,
  • Charles Paquette

摘要

We use generic bricks in the study of arbitrary biserial algebras. For a biserial algebra \(\Lambda \) Λ of rank n over an algebraically closed field k, we show that \(\Lambda \) Λ is brick-infinite if and only if it admits a generic brick, which we further prove to be the case if and only if there exists an infinite family of bricks of length d, for some \(2\le d\le 2n\) 2 d 2 n . Consequently, we obtain an algebro-geometric realization of \(\tau \) τ -tilting finiteness of biserial algebras: \(\Lambda \) Λ is \(\tau \) τ -tilting finite if and only if, for each dimension vector \(\underline{d}\) d ̲ , there are only finitely many orbits of bricks in the representation variety \(\mathop {\textrm{mod}}\limits (\Lambda , \underline{d})\) mod ( Λ , d ̲ ) . Our results rely on our full classification of minimal brick-infinite biserial algebras in terms of quivers and relations, seen as the modern analogue of the classification of minimal representation-infinite (special) biserial algebras, given by Ringel. We show that if \(\Lambda \) Λ is a minimal brick-infinite biserial algebra, then \(\Lambda \) Λ is gentle and admits exactly one generic brick. In this case, we describe the spectrum of \(\Lambda \) Λ and prove that it is similar to that of a tame hereditary algebra. In other words, \(\mathop {\textrm{Brick}}\limits (\Lambda )\) Brick ( Λ ) is the disjoint union of a unique generic brick with a countable infinite set of bricks of finite lengths, and a family of bricks of length d parameterized by k. Our work strengthens and generalizes some earlier results on \(\tau \) τ -tilting finiteness of gentle algebras and special biserial algebras, respectively treated by Plamondon and Schroll-Treffinger-Valdivieso.