Frobenius extensions and tilting complexes. (Q930354)

The aim of the paper is to give a construction of extensions \(A\) of an arbitrary ring \(R\), with the property that there exists an idempotent \(e\in A\) which is associated with an importent type of a tilting complex [cf. \textit{M. Hoshino} and \textit{Y. Kato}, Commun. Algebra 30, No. 1, 83-100 (2002; Zbl 1002.16004), \textit{J. Rickard}, J. Pure Appl. Algebra 61, No. 3, 303-317 (1989; Zbl 0685.16016)]. The extensions constructed are Frobenius extensions [\textit{F. Kasch}, Math. Ann. 127, 453-474 (1954; Zbl 0055.26301) and Sitzungsber. Heidelberger Akad. Wiss., Math.-Naturwiss Kl. 1960/61, 89-109 (1961; Zbl 0104.26201), \textit{T. Nakayama} and \textit{T. Tsuzuku}, Nagoya. Math. J. 17, 89-110 (1960; Zbl 0204.05101) and ibid. 19, 127-148 (1961; Zbl 0204.05102)] in the following modified sense (F1) \(A_R\) and \(_RA\) are finitely generated projective. (F2) \(A_A\cong\Hom_R(A,R_R)\) and \(_AA\cong\Hom_R(A,{_RR})\). The construction presented generalizes the reviewer's construction of serial Frobenius rings from local ones [\textit{H. Kupisch}, Arch. Math. 26, 23-35 (1975; Zbl 0304.16006), (3.8)] and equally starts with a triple \((R,c,\sigma)\), where \(c\in R\) is a non-unit and \(\sigma\) an automorphism of \(R\) such that: \[ \sigma(c)=c\text{ and }xc=c\sigma(x)\;\forall x\in R. \] Given \((R,c,\sigma)\), for any \(n\in\mathbb{N}\) and \(\pi\in S_n\) let \(A\) be the free \(R\)-module with basis \[ B=\{e_{ij},v_\kappa\mid i,j\in J,\;\kappa\in J_0\},\quad\text{where }J=\{1,\dots,n\},\;J_0=\{i\in J\mid\pi(i)=i\}. \] Then, on \(B\) a multiplication is defined in terms of \(B,c\) and \(\sigma\) (generalizing [the reviewer, loc. cit. (3.6)], where \(R\) is a local serial ring and \(\pi\) the cycle \((1,2,\dots,n)\)). The result is an associative ring \(A\) which in particular has the following properties: (1) The \(e_i=e_{ii}\) are orthogonal idempotents, \(1_A=\sum_{i\in J}e_i\) and \(xe_i=e_ix\;\forall x\in R\). (2) \(e_iAe_j\neq 0\;\forall i,j\in J\) and \(e_iA\ncong e_jA\) for \(i\neq j\). (3) \(e_iA\cong\Hom_R(Ae_{\pi(i)},R_R)\) and \(Ae_{\pi(i)}\cong\Hom_R(e_iA,{_RR})\). (4) There exists a ring automorphism \(\varphi\) of \(A\) such that \(\varphi(e_i)=e_{\pi(i)}\). In addition, if \(R\) is a local ring, then (i) \(e_iAe_i\) is local for all \(i\in J\), i.e., \(A\) is semiperfect. (ii) \(A\) is basic and connected.