劉雨喆 章超

摘 要：在表示型的研究中，野代數(shù)Γ=k〈x，y〉扮演重要角色，但通常描述其表示是非常困難的。本文主要利用Belitskii算法得到代數(shù)Γ所有二維表示的同構(gòu)類，等價(jià)地，得到二階矩陣對(duì)的Belitskii標(biāo)準(zhǔn)形，并得到該線性矩陣問題的Belitskii標(biāo)準(zhǔn)形的參數(shù)數(shù)。

關(guān)鍵詞：

箭圖表示;矩陣對(duì);Λ-穩(wěn)定;野表示型

中圖分類號(hào)：O154

文獻(xiàn)標(biāo)識(shí)碼： A

代數(shù)表示型問題是代數(shù)表示理論中的基本問題之一。所謂表示型問題，即研究有限維k-代數(shù)的不可分解模的分類問題。域k上的有限維代數(shù)自然地分為兩類：表示有限的代數(shù)和表示無限的代數(shù)。這里，表示有（無）限代數(shù)是指模范疇中具有有（無）限多個(gè)不可分解對(duì)象。對(duì)于表示無限的代數(shù)，Donovan-Freislich猜想它們可以分為更細(xì)致的兩類， 即馴（tame）表示型代數(shù)和野（wild）表示型代數(shù)[1]。 粗略地說，一個(gè)代數(shù)是馴表示型代數(shù)當(dāng)且僅當(dāng)它的不可分解表示可以由一個(gè)連續(xù)變量來量化，而野表示型代數(shù)具有由任意多變量量化的不可分解表示。后來Drozd利用矩陣方法證明了上述雙分定理[2]。更細(xì)致地說，表示野代數(shù)的定義依賴于代數(shù)Γ=k〈x，y〉的表示范疇。通常來說，完全描述野代數(shù)的表示范疇是不可能的。代數(shù)Γ本身也是表示野代數(shù)。

由Gabriel圖化理論，代數(shù)Γ同構(gòu)于箭圖Q=（Q0，Q1）對(duì)應(yīng)的箭圖代數(shù)kQ，其中點(diǎn)集Q0={1}，箭向集Q1={α∶1→1;β∶1→1}。由文獻(xiàn)[3]中表示理論可知，代數(shù)kQ的n維表示即為Y=（kn，A，B），其中A，B為n階方陣。給定代數(shù)kQ的另外n維表示Y′=（kn，A′，B′），MM′當(dāng)且僅當(dāng)存在可逆矩陣P，使得P-1AP=A′，P-1BP=B′。

因而計(jì)算該代數(shù)表示的同構(gòu)類問題，等價(jià)于解線性矩陣問題：給定矩陣對(duì)（A，B），是否存在可逆矩陣P，使P-1AP，P-1BP同時(shí)為在某一確定意義下的標(biāo)準(zhǔn)形。對(duì)任意給定的矩陣對(duì)，Belitskii約化算法卻是確定其相似標(biāo)準(zhǔn)形的一個(gè)有效算法[4-6]。Jordan標(biāo)準(zhǔn)形理論表明一定存在可逆矩陣P，使得P-1AP為Jordan形矩陣。Belitskii算法的基本思想是在保持J不變的情況下，繼續(xù)約化M=P-1BP時(shí)，矩陣集合只能是Λ={S∈GLn（k） SJ=JS}，其中GLn（k）表示數(shù)域上的全體可逆n階矩陣組成的一般線性群。Belitskii標(biāo)準(zhǔn)形的參數(shù)數(shù)，粗略地說，是代數(shù)群G={S∈Λ det（S）≠0}作用在由這些矩陣M構(gòu)成的代數(shù)簇上的一個(gè)量化參數(shù)，它的定義依賴于單個(gè)矩陣M在共軛作用下的G-軌道的維數(shù)與余維數(shù)[7]。本文中我們總假定k為代數(shù)閉域。本文主要計(jì)算代數(shù)Γ=k（x，y）

參考文獻(xiàn)：

[1]DONOVAN P， FREISLICH M R.Some evidence for an extension of the Brauer￣Thrall conjecture[J].Sonderforschungsbereich Theor Math， 1973， 40：24-26.

[2]DROZD Y A.2 Tame and wild matrix problems， Representation theory II[M].Heidelberg，Berlin： Springer，1980：242-258.

[3]AUSLANDER M，REITEN I，SMAL S O.Representation Theory of Artin Algebras[C]//Cambridge Studies in Advanced Mathematics，vol 36， Cambridge： Cambridge University Press， 1995.

[4]SERGEICHUK V V.Canonical matrices for basic matrix problems[J].Linear algebra and its applications，2002，317（1/3）：53-102.

[5]BELITSKII G R.Normal form in a space of matrices[C]//Analysis in Infinite￣dimensional Space and Operator Theory， Russian ：Naukova Dumka， Kiev， 1983：3-15.

[6]BELITSKII G R.Normal form in matrix spaces[J].Integral equation operator theory， 2000， 38（3）： 251-283.

[7]劉先平， 徐運(yùn)閣.基于Belitskii典范形參數(shù)數(shù)的計(jì)算[J].中國(guó)科學(xué)：數(shù)學(xué)， 2018， 48（7）： 879-892.

[8]KRAFT H， RIEDTMANN C.Geometry of representations of quivers[J].Representations of algebras， 1986， 116： 109-145.

（責(zé)任編輯：周曉南）