Formulas for primitive Idempotents in Frobenius Algebras and an Application to Decomposition maps

TL;DR

This paper provides explicit formulas for primitive idempotents in Frobenius algebras and applies these to study decomposition maps in modular representation theory, with potential implications for Iwahori-Hecke-Algebras.

Contribution

It introduces explicit formulas for primitive idempotents and uses them to analyze decomposition maps in modular representation theory of Frobenius algebras.

Findings

Formulas for primitive idempotents using matrix entries.

Criteria for decomposition maps to be isomorphisms.

Potential approach to conjectures in Iwahori-Hecke-Algebras.

Abstract

In the first part of this paper we present explicit formulas for primitive idempotents in arbitrary Frobenius algebras using the entries of representing matrices coming from projective indecomposable modules with respect to a certain choice of basis. The proofs use a generalisation of the well known Frobenius-Schur relations for semisimple algebras. The second part of this paper considers $\Oh$-free $\Oh$-algebras of finite $\Oh$-rank over a discrete valuation ring $\Oh$ and their decomposition maps under modular reduction modulo the maximal ideal of $\Oh$, thereby studying the modular representation theory of such algebras. Using the formulas from the first part we derive general criteria for such a decomposition map to be an isomorphism that preserves the classes of simple modules involving explicitly known matrix representations on projective indecomposable modules. Finally we show how this approach could eventually be used to attack a conjecture by Gordon James in the formulation of Meinolf Geck for Iwahori-Hecke-Algebras, provided the necessary matrix representations on projective indecomposable modules could be constructed explicitly.