Projective indecomposable modules, Scott modules and the Frobenius-Schur indicator.
Consider a 2-modular system \((\mathcal O,F,k)\) for a finite group \(G\), where \(\mathcal O\) is a complete discrete valuation ring with field of fractions \(F\), unique maximal ideal \(J(\mathcal O)\) and residue field \(\mathcal O/J(\mathcal O)=k\) of characteristic 2. The Frobenius-Schur indicator \(\nu(\chi)\) of a generalized character \(\chi\) of \(G\) is \[ |G|^{-1}\sum_{g\in G}\chi(g^2). \] Let \(e\) be a primitive idempotent in \(kG\), and \(\widehat e\) be the corresponding primitive idempotent in \(\mathcal OG\) modulo \(J(\mathcal O)G\). \(ekG\) and \(\widehat e\mathcal O G\) are the principal indecomposable \(kG\)-module and principal indecomposable \(\mathcal O G\)-module, respectively. The character \(\Phi\) of \(F\otimes_{\mathcal O}ekG\) is the principal indecomposable character of \(G\) corresponding to \(e\), \(\widehat e\) and \(ekG\) which can be expressed as \(\sum d_{\chi,\Phi}\chi\). \(d_{\chi,\Phi}\) is called the decomposition number of \(\Phi\). Let \(R\) be either \(\mathcal O\) or \(k\). The standard symmetrizing form \(\lambda\) on \(RG\) is the map from group ring \(RG\) to \(R\) taking the coefficient of \(1\) for any \(x\in RG\). The contragradient operator \(^\circ\) is an involutary algebra anti-automorphism of \(RG\) that maps each \(g\in G\) to its inverse. Let \(\Omega=\{g\in G\mid g^2=1\}\) and \(RS\) be the span of a subset \(S\) of \(G\) in \(RG\). The main result of the paper is that the Frobenious-Schur indicator of \(\Phi\) is the rank of the bilinear form \[ \lambda_e\colon k\Omega\times k\Omega\to k,\quad\text{where }\lambda_e(s,t)=\lambda(e^\circ set),\quad\text{for all }s,t\in\Omega. \] Note that a conjugacy class is real if it contains the inverse of each of its elements, and is strongly real if each of its elements is inverted by an involution. A direct application of the result is that for a 2-block \(B\) of \(kG\), \(B\) is real and has a strongly real defect class if and only if \(\lambda(e^\circ set)\neq 0\) for some primitive idempotent \(e\in B\) and some \(s,t\in\Omega\). Using a quadratic geometric approach, it is shown that if \(ekG\) has a quadratic geometry, then the Frobenius-Schur indicator is positive. In particular, \(e\) is in a strongly real 2-block of \(G\).
- Bilinear forms on G-algebras
- Blocks of modular representations
- scientific article; zbMATH DE number 4101445 (Why is no real title available?)
- scientific article; zbMATH DE number 67406 (Why is no real title available?)
- scientific article; zbMATH DE number 790100 (Why is no real title available?)
- Multiplicities, Scott Modules and Lower Defect Groups
- Nilpotent elements in the Green ring
- Projective modules and involutions.
- Quadratic geometries, projective modules, and idempotents
- Some indecomposable modules and their vertices
- Strongly real 2-blocks and the Frobenius-Schur indicator.
- The Frobenius-Schur indicator and projective modules
- The Frobenius-Schur indicator and projective modules
- Frobenius-Schur indicators of characters in blocks with cyclic defect
- Strongly real 2-blocks and the Frobenius-Schur indicator.
- Symmetric bilinear forms and vertices in characteristic 2
- G-invariant quadratic forms.
- On the involution module of \(\mathrm{GL}_n(2^f)\).
- On higher Frobenius-Schur indicators
- Involutions, cohomology and metabolic spaces.
- Quadratic principal indecomposable modules and strongly real elements of finite groups
- Quadratic geometries, projective modules, and idempotents
- Real subpairs and Frobenius-Schur indicators of characters in 2-blocks.
This page was built for publication: Projective indecomposable modules, Scott modules and the Frobenius-Schur indicator.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2370151)
