On lifting maps between Weyl modules: Can bad shapes be resolved by better shapes? (Q1328485): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/aima.1994.1039 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2024819524 / rank | |||
Normal rank |
Latest revision as of 18:42, 21 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On lifting maps between Weyl modules: Can bad shapes be resolved by better shapes? |
scientific article |
Statements
On lifting maps between Weyl modules: Can bad shapes be resolved by better shapes? (English)
0 references
17 August 1994
0 references
Ever since the appearance of [\textit{K. Akin} and the first author, Adv. Math. 72, 171-210 (1988; Zbl 0681.20028)], in which the existence of finite projective resolutions of Weyl modules was proven, there has been a good deal of interest in describing such resolutions explicitly. An explicit resolution of two-rowed skew shapes was given elsewhere, but as yet no characteristic-free resolution of the general \(n\)-rowed skew shape (or even partition) has been made explicit. At one point in these investigations, it was observed that three-rowed ``bad'' shapes have a ``resolution'' in terms of ``better'' three-rowed skew shapes and that these resolutions very closely resembled in form the projective resolutions of two-rowed shapes. This observation initiated a program to resolve bad shapes in terms of better shapes. (Definitions of these terms are given in Section 2.) A positive spurt to this campaign was provided by the successful resolution of the worst bad shapes in terms of better ones. The way to proceed to the next step seemed clear. Unfortunately, despite persistent efforts to implement the next step, there always seemed to be some trouble. In characteristic zero, the use of the equivalence of the functors, \(\text{Hom}_G(L_\lambda, L_\mu \otimes X) \approx \text{Hom}_G (L_{\lambda/\mu}, X)\), helped to circumvent the problems, but it was soon clear that this equivalence is not true in every characteristic. (Here, too, is an interesting problem: we know that the functor \(\text{Hom}_G (L_\lambda, L_\mu \otimes X)\) is representable. What is it represented by?) But basically, as we show in Section 3, the obstacle lies in trying to lift a map between bad shapes to a map between associated good shapes. Since this lifting could be effected in characteristic zero, we had to find an arithmetic way to study the liftings of maps to see what was really occurring. Using the method of computing weight modules described in [loc. cit.] in connection with calculation of intertwining numbers, we produced an example to show that in general the maps we were trying to lift could not be lifted. In the final section of this paper, we give this example and show that our lifting problem is not solvable in characteristic two.
0 references
finite projective resolutions of Weyl modules
0 references
skew shapes
0 references
bad shapes
0 references
good shapes
0 references
liftings of maps
0 references
weight modules
0 references
intertwining numbers
0 references