The group of endo-permutation modules (Q1976869)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The group of endo-permutation modules
scientific article

    Statements

    The group of endo-permutation modules (English)
    0 references
    0 references
    0 references
    0 references
    24 July 2000
    0 references
    Let \(k\) be a field of characteristic \(p>0\) and \(P\) a finite \(p\)-group. A finitely generated \(kP\)-module \(M\) is called an endo-permutation module if \(\text{End}_k(M)\) is a permutation \(kP\)-module. These modules were introduced and studied by \textit{E. C. Dade} [Ann. Math., II. Ser. 107, 459-494 (1978; Zbl 0395.16007) and ibid. 108, 317-346 (1978; Zbl 0404.16003)]. They play an important role in representation theory. For example, they appear as sources of simple modules in \(p\)-solvable groups, in the structure theory of nilpotent blocks and in the study of Morita and derived equivalences between blocks. Dade showed that the tensor product induces the structure of an Abelian group on the set of isomorphism classes of indecomposable endo-permutation \(kP\)-modules with vertex \(P\). This group is now called the Dade group of \(P\) and denoted by \(D(P)\). Dade also determined the structure of \(D(P)\) when \(P\) is Abelian. Based on this, \textit{L. Puig} [J. Algebra 131, No. 2, 513-526 (1990; Zbl 0699.20004)] proved that, for an arbitrary finite \(p\)-group \(P\), \(D(P)\) is always finitely generated. In the paper under review, the authors show that the torsion-free rank of \(D(P)\) coincides with the number of noncyclic subgroups of \(P\). They also show that, when \(p\) is odd, a certain quotient \(\overline D_t(P)\) of the torsion subgroup \(D_t(P)\) of \(D(P)\) is an elementary Abelian 2-group whose rank coincides with the number of nontrivial cyclic subgroups of \(P\). It is expected that \(\overline D_t(P)=D_t(P)\) in this case. One can view the Dade group construction as a functor on a certain category of finite \(p\)-groups where the morphisms come from restriction, inflation, deflation, tensor induction and isomorphisms. The authors show that there exists a nonsplit exact sequence of functors \(0\to\mathbb{Q}\otimes_\mathbb{Z} D\to\mathbb{Q}\otimes_\mathbb{Z} B\to\mathbb{Q}\otimes_\mathbb{Z} R\to 0\) where \(B\) is the Burnside ring functor and \(R\) is the rational character ring functor. Moreover, the functors \(\mathbb{Q}\otimes_\mathbb{Z} D\) and \(\mathbb{Q}\otimes_\mathbb{Z} R\) are simple. There is a similar exact sequence of functors involving \(\overline D_t\), for \(p\) odd. The results and techniques introduced in this paper constitute a considerable progress on questions that had remained open for many years.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    endo-trivial modules
    0 references
    finite \(p\)-groups
    0 references
    numbers of cyclic subgroups
    0 references
    categories of finite \(p\)-groups
    0 references
    endo-permutation modules
    0 references
    sources
    0 references
    simple modules
    0 references
    nilpotent blocks
    0 references
    derived equivalences
    0 references
    vertices
    0 references
    Dade groups
    0 references
    torsion-free ranks
    0 references
    numbers of noncyclic subgroups
    0 references
    tensor induction
    0 references
    exact sequences of functors
    0 references
    Burnside rings
    0 references
    character rings
    0 references
    0 references