The Gabriel-Roiter measure for representation-finite hereditary algebras. (Q875086): Difference between revisions

The Gabriel-Roiter measure was introduced by Gabriel in 1973 in connection with the induction scheme used by Roiter in his proof of the first Brauer-Thrall conjecture. Let \(\Lambda\) be a finite dimensional algebra over an algebraically closed field \(k\). The Gabriel-Roiter measure associates to a finitely generated \(\Lambda\)-module \(M\) a rational number \(\mu(M)\in [0,1]\). It can be defined by induction by setting \(\mu(0)=0\), \(\mu(M)=\max\mu(M')+2^{-m}\) if \(M\) is indecomposable of length \(m\) and \(\mu(M)=\max\mu(M')\) if \(M\) is decomposable. The maximum is taken over all proper submodules \(M'\) of \(M\). An indecomposable submodule \(T\) of an indecomposable module \(M\) is called a Gabriel-Roiter submodule if every proper submodule \(M'\) of \(M\) satisfies \(\mu(M')\leq \mu(T)\). \textit{C. M. Ringel} has shown [in Contemp. Math. 406, 105-135 (2006; Zbl 1111.16013) and Bull. Sci. Math. 129, No. 9, 726-748 (2005; Zbl 1133.16017)] that every nonsimple indecomposable module \(Y\) possesses a Gabriel-Roiter submodule \(X\) and \(Y/X\) is indecomposable for any such \(X\). One of the main results of Bo Chen asserts that if \(\Lambda\) is hereditary representation-finite then any indecomposable possesses at most 3 Gabriel-Roiter submodules and if \(T\) is a Gabriel-Roiter submodule of \(M\) then \(\Hom(T,M/T)=0\), thus we get an orthogonal exceptional pair \((M/T,T)\). (A pair \((V,U)\) of modules is exceptional if \(U,V\) are exceptional modules and \(\Hom(U,V)=\Hom(V,U)=\text{Ext}^1(U,V)=0\).) Another theorem is that, under the above assumptions, if \(M/T\) is not injective then the domain \(X\) of the minimal right almost split map \(X\to M/T\) is indecomposable.