Representation type of Jordan algebras (Q610683): Difference between revisions

The authors provide finiteness and tameness criteria for one-sided representations of finite dimensional Jordan algebras of semimatrix type (i.e., finite dimensional Jordan algebras whose semisimple part is a direct sum of simple matrix algebras) having radical square equal to zero. Jordan algebras over a field \( \mathbf{k}\) are defined to be of finite, tame or wild type (for one-sided representations, for unital representations) provided the corresponding condition holds for \(U(J)\), \(S(J)\), or \(U_1(J)\), respectively. The above definition arises from a series of equivalences between different categories of finite dimensional Jordan bimodules over finite dimensional Jordan algebras and those of left finite dimensional associative modules over different associative envelopes. Indeed Jordan bimodules over a finite dimensional Jordan algebra \(J\) are in correspondence with left finite dimensional modules over its universal multiplicative envelope \(U(J)\). Moreover since without loss of generality it is possible to formally adjoin an identity element, the decomposition \(U(J)\cong S(J)\times U_1(J)\), where \(S(J)\) is the universal associative envelope and \(U_1(J)\) the universal unital envelope of \(J\), implies an equivalence between \(U(J)\)-mod and \(S(J)\text{-mod}\oplus U_1(J)\text{-mod}\). It follows from [\textit{N. Jacobson}, Structure theory of Jordan algebras. The University of Arkansas, Lecture Notes in Mathematics. 5. Fayetteville, (1981; Zbl 0492.17009)] that the category of left modules \(U(J)_1\)-mod is isomorphic to that of unital Jordan bimodules \(J-\text{mod}_1\) and similarly the category of \(S(J)\)-mod of left associative \(S(J)\)-modules to that of one-sided \(J\)-bimodules \(J-\text{mod}_{\frac{1}{2}}\) i.e. Jordan bimodules arising from a multiplicative specialization of the form \(\frac{1}{2}\sigma\) for some associative specialization \(\sigma\). In the case of unital Jordan algebras the study of \(S(J)\)-mod reduces to that of \(S_1(J)\)-mod where \(S_1(J)\) denotes the unital universal associative envelope of \(J\). The study of the representation type of \(S_1(J)\) is reduced (up to Morita equivalence) to that of the path algebra of a quiver \(Q\) to which classical results such as those of \textit{P. Gabriel} [Manuscr. Math. 6, 71--103 (1972); corr. ibid. 6, 309 (1972; Zbl 0232.08001)] and \textit{L. Nazarova} [Math. USSR, Izv. 7, 749--792 (1973); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 37, 752--791 (1973; Zbl 0298.15012)] can be applied. The required quiver is that of the tensor algebra (in the sense of \textit{S. Eilenberg} [Ann. Soc. Polon. Math. 21, 125--134 (1948; Zbl 0031.34303)]) of the unital universal envelope \(S_1({\mathcal L})\) of the Levy subalgebra \({\mathcal L}\) of \(J\) over a \(S_1({\mathcal L})\)-bimodule obtained from \(\text{Rad}\,J/(\text{Rad}^2 J+J\text{Rad}^2 J)\). Analogous to the notion of quiver \(Q(A)\) of an associative algebra \(A\) with Levi subalgebra \(S\) as the diagram of the \(S\)-bimodule \(\text{Rad}\,A/\text{Rad}^2A\), the authors introduce the notion of diagram of a semisimple Jordan algebra \({\mathcal L}\) and that of a \(U_1({\mathcal L})\)-module. The diagram of a Jordan algebra \(J\) with semisimple part \({\mathcal L}\) is then defined to be that of the \({\mathcal L}\)-bimodule \(\text{Rad}\, J/(\text{Rad}^2J+J\text{Rad}^2J)\). The connection between associative quivers and Jordan diagrams is established by defining the Qui map, a mapping sending the diagram of a Jordan algebra \(J\) of semimatrix type to the quiver of \(S_1(J)\). The desired finiteness and tameness criteria for Jordan bimodules arise then from applying the Qui map to a basic algebra Morita equivalent to \(S_1(J)\).