Frobenius Morphisms and Representations of Algebras

Bangming Deng,Jie Du
DOI: https://doi.org/10.1090/s0002-9947-06-03812-8
IF: 1.3529
2006-01-01
Transactions of the American Mathematical Society
Abstract:By introducing Frobenius morphismsFFon algebrasAAand their modules over the algebraic closureF¯q{\overline {\mathbb {F}}}_qof the finite fieldFq{\mathbb {F}}_qofqqelements, we establish a relation between the representation theory ofAAoverF¯q\overline {\mathbb {F}}_qand that of theFF-fixed point algebraAFA^FoverFq{\mathbb {F}}_q. More precisely, we prove that the category\textbf {mod}-AF\text {\textbf {mod}-}A^Fof finite-dimensionalAFA^F-modules is equivalent to the subcategory of finite-dimensionalFF-stableAA-modules, and, whenAAis finite dimensional, we establish a bijection between the isoclasses of indecomposableAFA^F-modules and theFF-orbits of the isoclasses of indecomposableAA-modules. Applying the theory to representations of quivers with automorphisms, we show that representations of a modulated quiver (or a species) overFq{\mathbb {F}}_qcan be interpreted asFF-stable representations of the corresponding quiver overF¯q\overline {\mathbb {F}}_q. We further prove that every finite-dimensional hereditary algebra overFq{\mathbb {F}}_qis Morita equivalent to someAFA^F, whereAAis the path algebra of a quiverQQoverF¯q\overline {\mathbb {F}}_qandFFis induced from a certain automorphism ofQQ. A close relation between the Auslander-Reiten theories forAAandAFA^Fis established. In particular, we prove that the Auslander-Reiten (modulated) quiver ofAFA^Fis obtained by “folding" the Auslander-Reiten quiver ofAA. Finally, by taking Frobenius fixed points, we are able to count the number of indecomposable representations of a modulated quiver overFq{\mathbb {F}}_qwith a given dimension vector and to generalize Kac’s theorem for all modulated quivers and their associated Kac–Moody algebras defined by symmetrizable generalized Cartan matrices.
What problem does this paper attempt to address?