<p>We follow definitions given by V. Lunts and A. Rosenberg and study the algebra of differential operators <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2750_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(D(\mathbb{k}Q)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>D</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="double-struck">k</mi> </mrow> <mi>Q</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> on the quiver algebra <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2750_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{k}Q\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="double-struck">k</mi> </mrow> <mi>Q</mi> </math></EquationSource> </InlineEquation> over a finite quiver <i>Q</i> and investigate their properties. We completely describe <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2750_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(D(\mathbb{k}Q)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>D</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="double-struck">k</mi> </mrow> <mi>Q</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> by finding a set <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2750_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{S}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">S</mi> </mrow> </math></EquationSource> </InlineEquation> of differential operators which generate <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2750_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(D(\mathbb{k}Q)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>D</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="double-struck">k</mi> </mrow> <mi>Q</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> both as a left and as a right <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2750_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{k}Q\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="double-struck">k</mi> </mrow> <mi>Q</mi> </math></EquationSource> </InlineEquation>-module. The key is the simultaneous introduction of the set <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2750_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{S}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">S</mi> </mrow> </math></EquationSource> </InlineEquation> in a natural algebraic inductive way and as combinatorially defined maps. Using this, we are able to describe the algebra structure of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2750_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(D(\mathbb{k}Q)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>D</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="double-struck">k</mi> </mrow> <mi>Q</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> by formulas which express every product Θ · Γ for <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2750_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Theta. \Gamma \in \cal{S}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi mathvariant="normal">Θ</mi> <mo>.</mo> <mi mathvariant="normal">Γ</mi> <mo>∈</mo> <mrow> <mi mathvariant="script">S</mi> </mrow> </math></EquationSource> </InlineEquation> as a linear combination of elements of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2750_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{S}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">S</mi> </mrow> </math></EquationSource> </InlineEquation> with non-negative integer coefficients. We also find generalized Leibnitz-type formulas for these operators, which suggest that <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2750_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(D(\mathbb{k}Q)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>D</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="double-struck">k</mi> </mrow> <mi>Q</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> behaves like a representative algebra, and suggest a possible comultiplication and quantum group structure of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2750_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(D(\mathbb{k}Q)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>D</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="double-struck">k</mi> </mrow> <mi>Q</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>. We end with some questions and concrete examples.</p>

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

Differential operators on path algebras

  • Miodrag C. Iovanov,
  • Uma N. Iyer

摘要

We follow definitions given by V. Lunts and A. Rosenberg and study the algebra of differential operators \(D(\mathbb{k}Q)\) D ( k Q ) on the quiver algebra \(\mathbb{k}Q\) k Q over a finite quiver Q and investigate their properties. We completely describe \(D(\mathbb{k}Q)\) D ( k Q ) by finding a set \(\cal{S}\) S of differential operators which generate \(D(\mathbb{k}Q)\) D ( k Q ) both as a left and as a right \(\mathbb{k}Q\) k Q -module. The key is the simultaneous introduction of the set \(\cal{S}\) S in a natural algebraic inductive way and as combinatorially defined maps. Using this, we are able to describe the algebra structure of \(D(\mathbb{k}Q)\) D ( k Q ) by formulas which express every product Θ · Γ for \(\Theta. \Gamma \in \cal{S}\) Θ . Γ S as a linear combination of elements of \(\cal{S}\) S with non-negative integer coefficients. We also find generalized Leibnitz-type formulas for these operators, which suggest that \(D(\mathbb{k}Q)\) D ( k Q ) behaves like a representative algebra, and suggest a possible comultiplication and quantum group structure of \(D(\mathbb{k}Q)\) D ( k Q ) . We end with some questions and concrete examples.