Duality for presheaves on chamber systems, and a related chain complex (Q1822610)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Duality for presheaves on chamber systems, and a related chain complex |
scientific article |
Statements
Duality for presheaves on chamber systems, and a related chain complex (English)
0 references
1989
0 references
It is well known that, given a finite group G, a subgroup B and a family \({\mathcal P}=(P_ 1,...,P_ n)\) of subgroups containing B, a chamber system \({\mathcal C}={\mathcal C}(B,{\mathcal P})\) is defined having the cosets \(P_ Jg\) as cells of type J, where \(g\in G\), \(J\subseteq I=\{1,...,n\}\) and \(P_ J=<P_ j|\) \(j\in J>\); \(P_{\emptyset}=B\) by definition. A cell \(\sigma\) of type J is said to have dimension \(d=n-| J|\). So, the chamber system \({\mathcal C}\) can be viewed as a regular cell complex. The group G acts on \({\mathcal C}\) by right multiplication; given a cell \(\sigma\), let \(G_{\sigma}\) be the stabilizer of \(\sigma\) in that action of G, as usual. Given a field k, a presheaf \({\mathcal F}\) is the assignment to each cell \(\sigma\) of a \(kG_{\sigma}\)-module \({\mathcal F}_{\sigma}\) and to each face \(\tau\) of \(\sigma\) of a \(kG_{\sigma}\)-module morphism \(\phi_{\sigma \tau}: {\mathcal F}_{\sigma}\to {\mathcal F}_{\tau}\), with obvious conditions on compositions. The chain complex C.(\({\mathcal F})\) associated to \({\mathcal F}\) and the boundary maps \(\partial\) are defined in the usual way by means of direct sums of the modules \({\mathcal F}_{\sigma}\) and of the morphisms \(\phi_{\sigma \tau}\) (modulo a suitable sign \(+\) or -). The cochain complex \(C^.({\mathcal F})\) is defined by taking \(C^ i({\mathcal F})=Hom(C_ i({\mathcal F}),k)\) with coboundary maps \(\partial (f)=f\partial\) (clearly, \(C_ i({\mathcal F})\) is the set of i- dimensional chains of C.(\({\mathcal F})).\) In the paper under review the author considers certain pairs of presheaves (\({\mathcal F},{\mathcal F}^*)\) where \({\mathcal F}\) arises from representations of B and \(P_ 1,...,P_ n\) over some field k and \({\mathcal F}^*\) is a suitable presheaf `dual' of \({\mathcal F}\). He proves that \(H_ 0(C.({\mathcal F}))\cong H^ n(C^.({\mathcal F}^*))\). As a consequence of this duality relation, he can give a relatively simple description of \(H_ 0(C.({\mathcal F}))\) in terms of modules induced from B, \(P_ 1,...,P_ n\). He also obtains an easy proof of the following generalization of the construction of the Steinberg module for Chevalley groups by Solomon and Tits: if G is a Chevalley group over \(F_ q\) and V an irreducible \(F_ qG\)-module, then there is a presheaf \({\mathcal F}\) on the building for G such that \(H_ n(C.({\mathcal F}))\) contains an irreducible module isomorphic to V.
0 references
finite group
0 references
chamber system
0 references
cells
0 references
regular cell complex
0 references
chain complex
0 references
boundary maps
0 references
cochain complex
0 references
presheaves
0 references
representations
0 references
duality relation
0 references
modules
0 references
Steinberg module for Chevalley groups
0 references
building
0 references