This paper explicitly describes the first cohomology groups of Specht modules over symmetric groups in positive characteristic, using a novel approach involving extensions and hyperalgebra actions to analyze module structures.
Contribution
It provides a new explicit description of $H^1$ for Specht modules, including conditions for non-vanishing and bounds on dimension, via comparison with general linear group cohomology.
Findings
01
Explicit formulas for $H^1$ when $p>2$
02
Sufficient conditions for non-zero cohomology at $p=2$
03
Lower bounds for the dimension of cohomology groups
Abstract
Let Σd denote the symmetric group of degree d and let K be a field of positive characteristic p. For p>2 we give an explicit description of the first cohomology group H1(Σd,Sp(λ)), of the Specht module Sp(λ) over K, labelled by a partition λ of d. We also give a sufficient condition for the cohomology to be non-zero for p=2 and we find a lower bound for the dimension. Our method is to proceed by comparison with the cohomology for the general linear group G(n) over K and then to reduce to the calculation of ExtB(n)1(SdE,Kλ), where B(n) is a Borel subgroup of G(n), SdE denotes the dth symmetric power of the natural module E for G(n) and Kλ denotes the one dimensional B(n)-module with weight λ. The main new input is the description of module extensions by: extensions…
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Let Σd denote the symmetric group of degree d and let K be a field of positive characteristic p. For p>2 we give an explicit description of the first cohomology group H1(Σd,Sp(λ)), of the Specht module Sp(λ) over K, labelled by a partition λ of d.
We also give a sufficient condition for the cohomology to be non-zero for p=2 and we find a lower bound for the dimension.
The cohomology of Specht modules has been considered in many papers including [12], [14], [17] and [23].
Our method is to proceed by comparison with the cohomology for the general linear group G(n) over K and then to reduce to the calculation of
ExtB(n)1(SdE,Kλ), where B(n) is a Borel subgroup of G(n), where SdE denotes the dth symmetric power of the natural module E for G(n) and Kλ denotes the one dimensional B(n)-module with weight λ.
The main new input is the description of module extensions by: extensions sequences, coherent triples of extension sequences and coherent multi-sequences of extension sequences, and the detailed calculation of the possibilities for such sequences. These sequences arise from the action of divided powers elements in the negative part of the hyperalgebra of G(n).
Our methods are valid also in the quantised context and we aim to treat this in a separate paper.
Introduction
Let K be an algebraically closed field and let p be the characteristic of K. Let n be a positive integer. We write G(n) for the general linear group over K of degree n, write B(n) for the Borel subgroup consisting of lower triangular matrices and T(n) for the maximal torus consisting of diagonal matrices.
The weights of a G(n)-module or a B(n)-module (or T(n)-module) will be computed with respect to T(n).
We set X(n)=Zn and let X+(n) be the set of dominant weights, i.e., the set of λ=(λ1,…,λn)∈X(n) such that λ1≥λ2≥⋯≥λn. We write Λ(n) for the set of polynomial weights, i.e., the set of λ=(λ1,…,λn)∈X(n) such that λ1,…,λn≥0 and we write Λ+(n) for the set of dominant polynomial weights, i.e., X+(n)⋂Λ(n). The degree of a polynomial weight λ=(λ1,…,λn) is λ1+⋯+λn. For d≥0 we write Λ(n,d) for the set of polynomial weights of degree d and Λ+(n,d) for Λ(n,d)⋂X+(n), the set of polynomial dominant weights of degree d.
For 1≤r≤n we define ϵr=(0,…,0,1,0,…,0)∈X(n) (with 1 appearing in the rth position).
We write E for the natural module and SdE for its dth symmetric power, for d≥0. For λ∈X(n) we write Kλ for the one dimensional B(n)-module with weight λ. For each λ∈Λ+(n) we have the induced module G(n)-module ∇(λ)=indB(n)G(n)Kλ. In particular we have ∇(d,0,…,0)=SdE. Moreover, by a result of Cline, Parshall, Scott, van der Kallen, see e.g., [16] II, 4.7 Corollary a) we have the following.
Theorem 0.1**.**
For i≥0 and λ,μ∈Λ+(n) we have
[TABLE]
and in particular
[TABLE]
if λ∈Λ+(n,d).
We denote by Σd the symmetric group of degree d. For each partition λ of d we have the Specht module Sp(λ) over K, for Σd.
Recall that, for n≥d and λ,μ∈Λ+(n,d) we have
ExtG(n)i(∇(μ),∇(λ))=ExtΣdi(Sp(μ),Sp(λ)), for i=0 and p=2 and for i=1 and p=2,3 , by [5], Proposition 10.5 (i) and Proposition 10.6 (i), or [13]. Our interest in this is paper is in degrees [math] and 1 so the relevant result for us is the following.
Proposition 0.2**.**
For λ∈Λ+(n,d) we have:
(i) HomG(n)(SdE,∇(λ))=H0(Σd,Sp(λ)); and
(ii) dimH1(Σd,Sp(λ))≥dimExtG(n)1(SdE,∇(λ)), with equality if p=2.
This follows in most cases by the above results or the paper [17] of Kleshchev and Nakano. We also give a proof, via the arguments of [5], Section 10, in Appendix I.
The detailed description of ExtB(n)1(SdE,Kλ) is quite complicated in general. However there are a couple of striking consequences that we now give. Throughout the analysis the notions of what we call James pairs and James partitions are of paramount importance. We suppose that K has prime characteristic p. Let (a,b) be a two part partition. Let v=valp(a+1) be the p-adic valuation of a+1. Let β denote the p-adic length of b, i.e., β is the non-negative integer such that b=∑i=0βbipi, with 0≤bi<p and bβ=0. We call (a,b) a James pair if β<v (equivalently b<pv, equivalently (ia+i)=0, modulo p, for 1≤i≤b). We call a partition λ=(λ1,…,λn) of length n≥2 a James partition if (λr,λr+1) is James for all 1≤r<n.
Let λ=(λ1,…,λn) be a James partition and let li=lenp(λi) and vi=valp(λi+1), for 1≤i≤n. We define the segments of λ to be the equivalence classes of {1,…,n} for the relation r=s if and only if lr=ls. For 1≤r,s≤n we define r and s to be adjacent if they belong to the same segment or if 1<r<n, s=r+1, and r+1 is the only element in its segment and λr=pvr−1−1. We define the p-segments of λ to be the equivalent classes of {1,…,n} for the equivalence relation generated by adjacency.
The following, obtained in Section 7, is a complete description of the dimensions of the extension spaces for James partitions.
Theorem 0.3**.**
Let λ be a James partition or degree d of length n≥2 and let N≥n.
(i) If l1=l2 then dimExtB(N)1(SdE,Kλ) is the number of p-segments of {1,…,n}.
(ii) If l1>l2 then dimExtB(N)1(SdE,Kλ) is one less than the number of p-segments of {1,…,n}.
In the non-James case the results are not so easy to describe but the following general result, Proposition 9.4(i) and (ii), is significant.
Proposition 0.4**.**
Let λ=(λ1,…,λn) be a non-James partition of length n and let N≥n. Let r be minimal such that (λr,λr+1) is not James.
(i) If n≥r+2 then there is an injective linear map from ExtB(N)1(SdE,Kλ) to ExtB(N)1(Sd0E,Kμ), where μ is the 3-part partition (λr,λr+1,λr+2) and d0 is the degree of μ;
(ii) if r=n−1 then there is an injective linear map from ExtB(N)1(SdE,Kλ) to ExtB(N)1(Sd0E,Kμ), where μ is the 2-part partition (λn−1,λn) and d0 is the degree of μ.
This leads to the following, see Theorem 12.1.
Theorem 0.5**.**
Let λ be a non-James partition or degree d of length n≥2 and let N≥n. Then we have
[TABLE]
In Theorems 12.30 and 12.31 we describe all non-James, non-split partitions, i.e. partitions λ with dimExtB(N)1(SdE,Kλ)=1 (where d is the degree of λ and N is at least the number of parts of λ).
Via Proposition 0.2, these results also give the dimensions of the first cohomology spaces of Specht modules for p=2.
We mention some of the other highlights of the paper.
It is important for us to establish a close relationship between modules for the hyperalgebra of B(n) and rational B(n)-modules. What we do is in fact to give some version of Verma’s Conjecture for B(n)-modules. Since the arguments also give a proof of Verma’s Conjecture (for all semisimple, simply connected algebraic groups) we include, in Section 1, a new proof (for earlier proofs see the papers by Sullivan, [21] and Cline, Parshall and Scott, [2]).
We give, in Section 3, a simple proof of James’s Theorem on the fixed points of Specht modules, [15], 24.4 Theorem, via our formalism in terms of divided powers operators.
Our investigation into the nature of coherent multi-sequence starts in Section 5, where we determine all extension sequences for two part partitions. As a corollary we recover the result of Erdmann, [9], (3.6) Theorem, describing the first extension groups between Weyl modules for SL2(K).
As a by-product of our approach to extension spaces via coherent multi-sequences, we give, in Section 9, a short proof of the main result of Weber, [23], Theorem 1.2, which says that H1(Σd,Sp(λ))=0 if the partition λ contains two distant non-James pairs.
In Section 13, using our main result on extensions, we give a counterexample to a conjecture of Hemmer on the cohomology of Specht modules.
We now describe the layout of the paper. In Section 1 we describe the link between modules for the hyperalgebra and rational modules, which is the starting point of our investigation. In Secton 2 this is taken further to describe relations between the divided powers of operators and to give a description of the hyperalgebra by generators and relations.
In Section 3 we give, as a warm-up exercise in the use of the divided powers operations, a proof of James’s Theorem on invariants of Specht modules.
In Section 4 we define extension multi-sequences make explicit the link between certain extensions of B(n)-modules and coherent multi-sequences.
In Section 5 we determine the basic extension sequences, i.e, those sequence arising via two part partitions. The result is that a two part partition falls into one of three types: it is either split, or James, or what we call pointed. This trichotomy is the basis of the analysis for 3-part partitions which we give in later sections.
In Section 6 we give the definition of a coherent triple in terms of certain relations between basic extension sequences. These relations are used many times in the sections which follow, particularly to determine extension groups for 3-part partitions.
In Section 7 we first determine all coherent triples for a James 3-part partition. We then use this to determine the dimension of ExtB(n)1(SdE,Kλ) (and hence H1(Σd,Sp(λ))), for any James partition λ. We find in particular that if λ is a James partitions of length n then the extension space has dimension at most n−1, and that this bound is achieved.
In Section 8 we calculate the extension sequence for 3 part partitions (a,b,c) in which (a,b) is James and (b,c) is not.
In Section 9, we use the results given so far to describe various general results including Proposition 0.4 above, that the cohomology group, for a non-James partition λ is embedded in the cohomology for a certain 3 part or 2 part partition made up of consecutive parts of λ.
In Section 10 we describe all coherent triples for 3 part partitions (a,b,c) in which (a,b) is split.
In Section 11 we describe all coherent triples for 3 part partitions (a,b,c) in which (a,b) is pointed.
In Section 12 we obtain our main result for extension groups. The final result turns out to be much simpler than one might have anticipated, in view of the complexity coming from the analysis of coherent triples.
In Section 13 we comment on some questions raised by Hemmer, [12].
In Appendix I we give a proof of Proposition 0.2, based on [5], Section 10.
Finally, in Appendix II, we list together, for the convenience of the reader, the complete set of relations for coherent multi-sequences that are used throughout.
1 Divided powers operators, hyperaglebras and Verma’s Conjecture.
In calculating extensions of B(n)-modules it is technically much simpler to work with the action of the hyperalgebra, more precisely with
(hy(U(n)),T(n))-modules, where hy(U(n)) is the hyperalgebra of the group U(n) of lower unitriangular matrices in G(n), than the group B(n) itself. In this section we describe the hyperalgebra of U(n). We shall also need a version of Verma’s Conjecture relating rational modules and modules for the hyperalgebra of a semisimple group. In fact the approach we take here leads to a new proof, which we include here, of the usual version of Verma’s Conjecture.
Let G be a linear algebraic group over K. We write K[G] for the coordinate algebra of G. Then K[G] is naturally a Hopf algebra, in particular a coalgebra, and the full linear dual K[G]∗ is thus naturally an associative K-algebra. If V is a rational G-module then V is naturally a K[G]∗-module. The action is given as follows. If V has basis {vi∣i∈I} and the elements fij∈K[G], are defined by the formulas gvi=∑j∈Ifji(g)vj, for g∈G, i,j∈I, then, for γ∈K[G]∗, we have γ(vi)=∑j∈Jγ(fji)vj.
Let M be the augmentation ideal of K[G], i.e.,
M={f∈K[G]∣f(1)=0}. Then the hyperalgebra (or algebra of distributions) hy(G) is defined by
[TABLE]
Then hy(G) is a Hopf subalgebra of the Hopf dual of K[G]. For a left hy(G)-module V we have the space of “fixed points”
[TABLE]
where ϵ:hy(G)→K is the augmentation map of the Hopf algebra hy(G). i.e., the map given by ϵ(X)=X(1K[G]), for X∈hy(G).
Let eij, 1≤i,j≤n, be the matrix units of the algebra M(n) of n×n matrices with entries in K and let In denote the identity matrix. For 1≤r,s≤n with r=s, we define u(r,s)(ξ)=In+ξers∈G(n), for ξ∈K, and define U(r,s) to the the one dimensional unipotent subgroup {u(r,s)(ξ)∣ξ∈K} of G(n).
The coordinate algebra K[U(r,s)] is the free polynomial algebra in one variable x(r,s), where x(r,s)(u(r,s)(ξ))=ξ, for ξ∈K. The hyperalgebra hy(U(r,s)) has K-basis X(r,s)i, i≥0, where X(r,s)i(x(r,s)j)=δij (the Kronecker delta), for i,j≥0. We shall call these basis elements the divided powers operators.
If V is a rational U(r,s)-module and v∈V and v0,v1,…∈V are such that
[TABLE]
for ξ∈K, then X(r,s)iv=vi. From the fact that u(r,s)(ν)u(r,s)(ξ)=u(r,s)(ν+ξ), for ν,ξ∈K, we deduce that
[TABLE]
for v∈V, i,j≥0. Taking V=K[G(n)], the left regular module and evaluating at 1, we deduce that
[TABLE]
for all i,j≥0.
One easily deduces that a linear map between U(r,s)-modules is a module homomorphism if and only if it commutes with the action of all X(r,s)i.
We write U(n) for the unipotent radical of B(n), i.e., the group of all lower unitriangular matrices.
Suppose that 1≤s<r≤n. Restriction of functions K[U(n)] to K[U(r,s)] is a surjection of Hopf algebras which induces a monomorphism of Hopf algebras hy(U(r,s))→hy(U(n)), by which we identity hy(U(r,s)) with a Hopf subalgebra of hy(U(n)).
Furthermore multiplication
[TABLE]
is an isomorphism of varieties and induces K-space isomorphism
[TABLE]
Hence the elements
[TABLE]
with i(2,1),i(3,1),i(3,2),…,i(n,n−1)≥0, form a K-basis of hy(U(n)) (a version of the Poincaré-Birkhoff-Witt Theorem).
Lemma 1.1**.**
(i) A linear map between U(n)-modules is a U(n)-module homomorphism if and only if it commutes with the action of all X(r+1,r)i, with 1≤r<n, i>0.
(ii) A linear map between B(n)-modules is a B(n)-module homomorphism if and only if it is a T(n)-module homomorphism and commutes with the action of all X(r+1,r)i, with 1≤r<n, i>0.
Proof.
Let V and W be B(n)-modules and let ϕ:V→W be a linear map. Certainly if ϕ is a B(n)-module map then it is a k[B(n)]∗-module map and hence commutes with the action of all X(r+1,r)i, 1≤r<n, i>0. Suppose, on the other hand that ϕ commutes with the action of all X(r+1,r)i. Then, for v∈V and ξ∈K, we have
[TABLE]
Hence ϕ is a module homomorphism for the groups U(r+1,r), 1≤r<n, and hence for the group they generate, namely U(n). This proves (i) and now (ii) is clear.
∎
By a similar, but simpler argument, one also has the following.
Lemma 1.2**.**
(i) A subspace of a U(n)-module is a U(n)-submodule if and only if it is stabilised by all divided power operators
X(r+1,r)i, for 1≤r<n, i>0.
*(ii) A U(n)-module is trivial if and only if all divided power operators,
X(r+1,r)i, for 1≤r<n, i>0, act as zero.*
(iii) A subspace of a B(n)-module is a B(n)-submodule if and only if it is a T(n)-submodule and stabilised by all divided power operators X(r+1,r)i, for 1≤r<n, i>0.
We shall consider the category of (hy(U(n)),T(n))-modules. By a
(hy(U(n)),T(n))-module we mean a vector space V, say, which is a hy(U(n))-module and T(n)-module in such a way that X(r,s)iVα⊆Vα+i(ϵr−ϵs), for all α∈X(n), 1≤r,s≤n with r>s and i>0. If V and W are (hy(U(n)),T(n))-modules then a map ϕ:V→W is a morphism of hy(U(n))-modules and T(n)-modules. If V is a B(n)-module then we write Vhy, for V regarded as a T(n)-module and hy(U(n))-module as above. Thus we have an exact functor V↦Vhy, from finite dimensional B(n)-modules to finite dimensional (hy(U(n)),T(n))-modules. We shall need that this is an equivalence of categories.
In fact the argument we shall give is valid for an arbitrary reductive group over K and we give it in that context. So now let G be a reductive group over K. Let T be a maximal torus and let W=NG(T)/T be the Weyl group (where NG(T) is the normaliser of T in G). Let X(T) be the character group of T. Then W acts naturally on X(T). We pick a positive definite symmetric W-invariant bilinear form on ℜ⊗ZX(T). Now T acts naturally on the Lie algebra Lie(G) of G and the set of
Φ of non-zero weights is a root system in the -span, E say, of Φ. We choose a set of positive roots Φ+={α1,…,αN} (where N=∣Φ+∣). We have the usual partial order on X(T). Thus for λ,μ∈X(T) we write λ≥μ if λ−μ is a sum of positive roots.
Remark 1.3**.**
We shall use the following elementary fact. If μ is a weight of a B-module V then there exists a one dimensional submodule isomorphic to Kλ
for some λ∈X(T) with λ≤μ. (This follows for example from [4], (1.4.4), or [16], II, 4.9 Lemma.)
The height of an element μ∈X(T) with μ≥0 is defined by the condition that μ is a sum of 0pt(μ) simple roots. For μ≥0 we define P(μ) to be the number of ways of writing μ as a sum of positive roots, i.e., the number of tuples (mα)α∈Φ+ such that μ=∑α∈Φ+mαα.
For α∈Φ let Uα be the corresponding root subgroup. Let Gadd be the additive group of K, regarded as an algebraic group, in the natural way. For α∈Φ, we choose an isomorphism of algebraic groups ϕα:Gadd→Uα such that tϕα(ξ)t−1=ϕα(α(t)ξ), for ξ∈K.
There are uniquely determined elements Xα,i, i≥0, of the hyperalgebra of Uα such that if V is a rational Uα-module and v∈V then ϕα(ξ)v=∑i≥0ξiXα,iv. We denote by B the negative Borel subgroup of G and denote by U be the unipotent radical of B. Identifying hy(Uα) with a subalgebra of hy(U), for α∈Φ−, we have, by the argument of (*) above, that hy(U) has a K-basis consisting of the elements
[TABLE]
with i1,…,iN running over the non-negative integers.
For λ∈X(T) we denote by Kλ the one dimensional B-module on which T acts with weight λ. We shall use the fact that if ExtB1(Kλ,Kμ)=0, for λ,μ∈X(T), then λ>μ (see e.g. [16]).
We shall need a version of Lemma 1.2 in the more general situation. We leave the details to the reader.
Lemma 1.4**.**
(i) A subspace of a U-module is a U-submodule if and only if it is stabilised by all divided power operators
X−α,i, for α∈Φ+ , i>0.
*(ii) A U-module is trivial if and only if all divided power operators,
X−α,i, for α∈Φ+, i>0, act as zero.*
(iii) A subspace of a B-module is a B-submodule if and only if it is a T-submodule and stabilised by all divided power operators X−α,i, for α∈Φ+, i>0.
By a (hy(U),T)-module we mean a vector space V, say, which is a T-module and hy(U)-module in such a way that X−α,iVλ⊆Vλ−iα, for all λ∈X(T), α∈Φ+, i≥0. If V is a B-module we write Vhy for the corresponding (hy(U),T)-module. We write mod(B) for the category of finite dimensional rational B-module and mod(hy(U),T) for the category of finite dimensional (hy(U),T)-modules. We have, as above, an exact functor
FB:mod(B)→mod(hy(U),T), sending V∈mod(B) to Vhy∈mod(hy(U),T).
Proposition 1.5**.**
The functor FB:mod(B)→mod(hy(U),T) is an equivalence of categories.
Proof.
It is enough to prove that for any V∈mod(hy(U),T) there exists Z∈mod(B) such that Z=Vhy.
We first produce a B-module that will be of great use to us. Multiplication T×U→B is an isomorphism of varieties. We put
[TABLE]
Then A is a left B-module summand of K[B] and has trivial socle K. Thus A is the injective hull of K, as a B-module. The map π:A→K[U], given by restriction of functions is an isomorphism of K-algebra. The group T acts on U by conjugation and induces on K[U] the structure of a left T-module. For f∈A, t∈T, u∈U, we have
[TABLE]
Hence π is an isomorphism of T-modules. Let M={f∈K[U]∣f(1)=0}. For r≥0, the rth power Mr of the ideal M is a T-submodule of K[U]. By complete reducibility we have that K[U] and ⨁r≥0Mr/Mr+1 are isomorphic as T-modules. Now K[U] is a polynomial algebra so that the natural map from the rth symmetric power Sr(M/M2) to Mr/Mr+1 is an isomorphism, for r≥0. Furthermore M/M2 is T-module isomorphic to Lie(U)∗, the dual of the Lie algebra of U. The weights of Lie(U) are −α1,…,−αN, and hence the weights of Lie(U)∗ are α1,…,αN, each occurring with multiplicity one. It follows that for μ∈X(T), we have dimK[U]μ is P(μ), if μ≥0 and is [math] otherwise.
We regard K[U] as a B-module via the isomorphism π:A→K[U]. We fix r≥0. Let Qr be the largest B-submodule of K[U] with weights of height at most r. We claim that dimQrμ=P(μ), for μ∈X(T) with 0pt(μ)≤r. Suppose that ν∈X(T) and Kν appears in the socle of K[U]/Qr. Then there is a submodule H of K[U] containing Qr such that H/Qr is isomorphic to Kν. Since H is not contained in Qr we have 0pt(ν)>r. Now if τ is any weight of K[U]/Qr then we must have τ≥ν for some ν∈X(T) such that Kν appears in the socle of K[U]/Qr, by Remark 1.3. Hence we have 0pt(τ)≥0pt(ν)>r. Hence we have dimQrτ=dimK[U]τ=P(τ), for all τ≥0 with 0pt(τ)≤r.
We now show that any finite dimensional (hy(B),T)-module V embeds in a module of the form Zhy, for some B-module Z. Suppose V1,V2 are non-zero (hy(B),T)-submodules such that V1⋂V2=0. Thus V embeds in V/V1⊕V/V2 so that if
V/V1 embeds in Z1hy and V/V2 embeds in Z2hy, for B-modules Z1,Z2 then V embeds in Z1hy⊕Z2hy=(Z1⊕Z2)hy. Hence we may suppose that V has simple socle L, say. Then L is isomorphic to Kλhy, for some λ∈X(T). If V⊗L∗ embeds in Zhy, for some B-module Z then, since V is isomorphic to (V⊗L∗)⊗L, it embeds in Zhy⊗Kλhy=(Z⊗Kλ)hy. Hence, replacing V by V⊗L∗, we may assume that socle of V is a one dimensional trivial module. Thus all weights of V are ≥0 and we choose r such that 0pt(μ)≤r, for every weight μ of V.
The dual module H=V∗ has simple head the one dimensional simple module. In particular H is generated by a weight vector h0, say, of weight [math]. Hence H is spanned by the elements X−α1,i1…X−αN,iNh0 such that 0pt(i1α1+⋯+iNαN)≤r. We write Ir for the K-span of the elements X−α1,i1…X−αN such that 0pt(i1α1+⋯+iNαN)>r. We have a hy(U)-module surjection ϕ:hy(U)→H, ϕ(X)=Xh0, for X∈hy(U). Let JH be the kernel of ϕ, i.e., the annihilator of h0. Then we have Ir⊆JH and hy(U)/JH≅H, in particular we have
[TABLE]
where the sum is over all μ∈X(T) with μ≥0 and 0pt(μ)≤r.
This applies in particular to Qr∗ and since dimQr∗=dimhy(U)/Ir we have that Ir is the annihilator of an element of weight zero in Qr∗, in particular Ir is a left ideal and, regarding hy(U)/Ir as a (hy(U),T)-module, in such a way that X−α1,i1…X−αN,iN+Ir has weight −(i1α1+⋯+iNαN), we have Qr∗≅hy(U)/Ir. Hence we have that H=hy(U)/J is an epimorphic image of Qr∗ and so V embeds in Qrhy.
Thus we have that a (hy(U),T)-module V may be identified with a submodule of a module of the form Zhy, for some B-module Z. But then, for α∈Φ+, we have ϕ−α(ξ)v=∑i≥0ξiX−α,iv, for ξ∈K, v∈V. Hence V is a B-submodule of Z and V=V0hy, where V0 is the space V, regarded as a B-submodule of Z.
∎
Verma’s Conjecture
We note that in fact the above Proposition gives a new proof of the so-called Verma’s conjecture. For other proofs see [21] and [2]. We take G to be semisimple and simply connected. Then a G-module V is naturally a hy(G)-module giving an exact functor FG:mod(G)→mod(hy(G)), where mod(hy(G)) denotes the category of finite dimensional hy(G)-modules. Less formally, for a G-module V, we will say also that V is regarded as a hy(G)-module. The action of Xα,i, for α∈Φ, i≥0, on v∈V, is given by the formula xα(ξ)v=∑i≥0ξixα,iv. Similarly a rational T-module may be regarded as a hy(T)-module. The set HomK−alg(hy(T),K), of
K-algebra homomoprhisms from hy(T) to K, is naturally a group (since hy(T) is a Hopf algebra).
For λ∈X(T), one has a k-algebra homomorphism λ′:hy(T)→K, given by hv=λ(h)v, for v∈Tλ. Then map X(T)→HomK−alg(hy(T),K), sending λ to λ′ is an injective homomorphism. We say that a K-algebra homomoprhism from hy(T) to K is integral if it has the form λ′ for some λ∈X(T). We identify λ∈X(T) with λ∈HomK−alg(hy(T),K) and in this way identify X(T) with the group of integral K-algebra homomorphisms from hy(T) to K. For a finite dimensional hy(G)-module V we have V=⊕λ∈X(T)Vλ, where Vλ={v∈V∣hv=λ(h) for all h∈H}. Furthermore if V is simple then, it follows from the classification of finite dimensional simple modules, that V is isomorphic to FG(M), for some finite dimensional G-module M. For further details see e.g., [11].
We shall say that a finite dimensional hy(G)-module V is rational if is isomorphic to FG(M), for some rational G-module M. This is equivalent to the statement that the vector space V may be given the structure of a rational G-module in such a way that Vλ is the λ weight space for V, regarded as a T-module and xα(ξ)v=∑i≥0ξiXα,iv, for α∈Φ, ξ∈K, v∈V.
We shall need the following.
Lemma 1.6**.**
*(i) For a finite dimensional hy(G)-module V we have
H0(hy(G),V)=H0(hy(U),V)T.*
(ii) For finite dimensional hy(G)-modules V1,V2 we have Homhy(G)(V1,V2)=Homhy(U)(V1,V2)T.
Proof.
(i) Certainly H0(hy(G),V)≤H0(hy(U),V)T. Let U+ be the unipotent radical of the positive Borel subgroup G. Then we have that the multiplication map hy(U+)⊗hy(T)⊗hy(U)→hy(G) is a vector space isomorphism. Let v0∈H0(hy(U),V)T. Then we have that hy(G)v0=hy(U+)hy(T)v0 and hy(T) acts by scalar multiplication on Kv0 so that hy(G)v0=hy(U+)v0. Moreover hy(U+) is a spanned by elements of the form Xα1,i1⋯XαN,iN so that the module
hy(G)v0 has only weights ≥0. Hence the only composition factor of hy(G)v0 is the trivial module and so hy(G)v0 is trivial. Hence v0∈H0(hy(G),V) and H0(hy(G),V)=H0(hy(U),V)T.
(ii) This follows from (i) by identifying V1∗⊗V2 with HomK(V1,V2) in the usual way.
∎
Theorem 1.7**.**
*(Verma’s Conjecture) The functor
FG:mod(G)→mod(hy(G)) is an equivalence of categories.*
Proof.
It is enough to prove that a finite dimensional hy(G)-module is rational. Let V be a finite dimensional hy(G)-module. We regard V as a (hy(U),T)-module. By Proposition 1.5 the space V, regarded as a (hy(U),T)-module has the structure of a B-module, i.e., the is a B-module action on V such that xα(ξ)v=∑i≥0ξiXα,iv, for α∈Φ+, ξ∈K, v∈V. We write V for the K-space V regarded as a B-module via this action.
The induction functor indBG:mod(B)→mod(G) is left exact and we have the right derived functors RiindBG:mod(B)→mod(G), for i≥0. If M is a G-module then we have that R1indBGM=0 and, by [22], Exercise 2.1.4 for example, the evaluation map evM:indBGM→M is a B-module isomorphism.
We claim that the evaluation map evV:indBGV→V is an isomorphism. If V is irreducible then it has the form FG(M) for some simple G-module M and then V is isomorphic to the restriction of M to B, and hence evV:indBGV→V is an isomorphism. Now assume that V is not irreducible, let L be an irreducible hy(G)-submodule and let Q=V/L. Then we have a commutative diagram
[TABLE]
of B-modules, with rows exact (since R1indBGLˉ=0), where the vertical maps are the evaluation maps. We may assume, by induction on dimension, that the first and third vertical maps are isomorphisms and hence, so too is the middle map evV:indBGV→V.
This proves the claim and therefore that the action of B on V extends to a G-module action. Let Z be the vector space V regarded as a G-module via this action. Then we have Zλ=Vλ, for λ∈X(T), and x−α(ξ)z=∑i≥0ξiX−α,iz, for α∈Φ+, ξ∈K, z∈Z. Hence, as a (hy(U),T)-module, Z is precisely V. The identity map Z→V is an isomorphism of (hy(U),T)-modules and hence, by Lemma 1.6(ii), an isomorphism of hy(G)-modules. Thus we have V=FG(Z) and we are done.
∎
2 Generators and Relations
To make further progress we give generators and relations for the hyperalgebra hy(U(n)) of U(n). First fix 1≤r,s≤n, with r=s. Then, for η,ζ∈K, we have u(r,s)(η)u(r,s)(ζ)=u(r,s)(η+ζ). Hence, for a rational G-module V and v∈V, we have
[TABLE]
and hence
[TABLE]
Thus, for i,j≥1, we have
[TABLE]
Applying this to the regular module K[G] and evaluating at 1, we obtain
[TABLE]
Since we are interested in the hyperalgebra of U(n) we are interested in the operators X(r,s)i with n≥r>s≥1, and i>0. For ease of calculation we will find it useful to set Y(r,s)i=X(s,r)i, for 1≤r<s≤n, i>0. We thus have
[TABLE]
We now fix 1≤r<s<t≤n. Then it is easy to check that we have
[TABLE]
for η,ζ∈K. Hence, for any G-module V and any v∈V we have
[TABLE]
and therefore
[TABLE]
Hence for all i,j≥0 we have
[TABLE]
for all v∈V. Applying this to the regular module K[G] and evaluating at the identity we have
[TABLE]
Hence we have
[TABLE]
for 1≤r<s<t≤n and i,j≥1.
Moreover, we have u(t,r)(ζ)u(s,r)(η)=u(s,r)(η)u(t,r)(ζ) and
u(t,r)(ζ)u(t,s)(η)=u(t,s)(η)u(t,r)(ζ) from which we deduce that
[TABLE]
and
[TABLE]
for all 1≤r<s<t≤n, i,j>0.
Now suppose that 1≤q,r,s,t≤n are distinct. Then we have
u(q,r)(η)u(s,t)(ζ)=u(s,t)(ζ)u(q,r)(η) and by the argument above we obtain
[TABLE]
for all 1≤q,r,s,t≤n, with q,r,s,t distinct and q<r, s<t and i,j≥1.
Now it is easy to see that relations (1)-(5) may be used to express any monomial in Y(r,s)i (with 1≤r,s≤n, r=s, i≥1) as a linear combination of monomials of the form
[TABLE]
with i(1,2),…,i(n−1,n) non-negative integers.
Hence we have:
Proposition 2.1**.**
For the generators Y(r,s)i, 1≤r<s≤n, i≥1 the relations (1)-(5) above form a set of defining relations for hy(U(n)).
3 James’s Theorem on invariants of Specht modules.
We are interested in the degree 1 cohomology of Specht modules. However, we should mention that the degree [math] situation, namely the invariants of the Specht modules, was solved by James, see [15], 24.4 Theorem. As a warm-up exercise we deduce this from a result of B(n)-module homomorphisms using the divided powers operators.
It is convenient to describe some notation and recall Lucas’s formula at this point. In this section, for a,b≥0, the binomial coefficient (ba) will be understood to lie in the field K (of positive characteristic p), i.e., we write simply (ba) for (ba)1K.
**Notation: **We write a non-negative integer a in base p as a=∑i≥0piai, with 0≤ai<p. If a is positive its p length lenp(a) is the largest non-negative integer l such that al=0 and its p-adic valuation valp(a) is the maximum positive integer v such that pv divides a.
We recall that for a positive integers a and b written in base p as a=∑i≥0aipi and b=∑i≥0bipi we have
[TABLE]
where m is the maximum of lenp(a) and lenp(b).
For a non-negative integer a we define aˉ by the formula a=a0+paˉ. By Lucas’s formula, for non-negative integers a=a0+paˉ, b=b0+pbˉ we have (ba)=(b0a0)(bˉaˉ).
Remark 3.1**.**
For non-negative integers a,b, written in base p as above, we have (ba+b)=0 if and only if ai+bi≤p−1 for all i≥0. To see this we write a=a0+paˉ, b=b0+pbˉ, as above. If a0+b0≥p then (a+b)0<b0 and (ba+b)=0 by Lucas’s Formula. If a0+b0≤p−1 then (b0(a+b)0)=0 and (ba)=(b0(a+b)0)(bˉaˉ+bˉ) so the result follows by induction.
We first describe a condition that will be of crucial importance to us for the rest of the paper.
Definition 3.2**.**
A two part partition (a,b), with b>0, will be called a James partition if (ia+i)=0 for all 1≤i≤b. A partition λ=(λ1,…,λn) of length n will be called a James partition if (λr,λr+1) is James, for all 1≤r<n. We adopt the convention that a partition of length one is James.
By a two part partition we mean a partition with precisely two non-zero parts.
Remark 3.3**.**
A two part partition (a,b) is a James partition if and only if b<pvalp(a+1). The James condition is that for all 1≤m≤b we have (ma+m)=0, i.e., writing m=∑i≥0mipi, we have ai+mi>p−1 for some i. This can only happen if a0=⋯=alenp(b)=p−1, i.e., valp(a+1)≥lenp(b), i.e., b<pvalp(a+1).
We establish some notation involving the symmetric powers of the natural module that will be in force for rest of the paper. The module E has the basis e1,…,en, where ei is the column vector of length n with 1 in the ith position and zeroes elsewhere. For α=(α1,…,αn)∈Λ(n,d) we set eα=e1α1e2α2…enαn∈SdE.
Let 1≤s,t≤n with s=t. We calculate the effect of X(s,t)i on SdE. We have
[TABLE]
Since U(n) acts on S(E) by algebra automorphisms we have
[TABLE]
which is
[TABLE]
Hence we get
[TABLE]
in particular, for 1≤r<n, i>0, we have
[TABLE]
Let λ be a partition of degree d with at most n parts. We consider the space HomB(n)(SdE,Kλ). We have the largest trivial U(n)-module quotient H0(U(n),SdE). Thus H0(U(n),SdE)=SdE/N, where N is the smallest U(n) submodule of SdE with trivial quotient. Thus, by Lemma 1.2 (iii), we have
[TABLE]
where
[TABLE]
The weight spaces in SdE, and hence in N and SdE/N are at most one dimensional. Thus N is the K-span of the eβ with (β1,…,βn)∈Λ(n,d) such that eβ is a scalar multiple of X(r,r+1)ieα, for some α=(α1,…,αn)∈Λ(n,d) and 1≤r<n, i>0. By considering weights we see that we must have α=β+i(ϵr−ϵr+1) and Y(r,r+1)ieα=(iβr+i)eβ. Hence eβ∈N if and only if we have there exists some 1≤r<n and 0<i≤βr+1 such that (iβr+i)=0,
Hence H0(U(n),SdE) has K-basis eμ+N, where μ runs though the set of James partitions of n of degree r. Now we have
HomB(SdE,Kλ)=HomT(n)(H0(U(n),SdE),Kλ), and so by Proposition 0.1 we obtain the following result.
Proposition 3.4**.**
For a partition λ of degree d we have
[TABLE]
or
[TABLE]
By Proposition 0.2 , we have James’s result, [15], 24.4 Theorem:
Proposition 3.5**.**
For a partition λ of degree d we have
[TABLE]
4 Extension sequences and module extensions
We now wish to examine the possible B(n)-module extensions of SdE by a one dimensional module.
We fix a partition λ with degree d and having at most n parts. Let V be an extension of SdE by Kλ. Thus V contains a one dimensional B(n)-submodule V∞ isomorphic to Kλ and V/V∞ is isomorphic to SdE. We fix 0=v∞∈V∞ and an isomorphism θ:V/V∞→SdE. Note that θ is determined up to multiplication by a non-zero scalar since
[TABLE]
For α∈Λ(n,r), α=λ there is a unique element vα of weight α such that θ(vα+V∞)=eα. We also choose an element vλ∈V of weight λ such that θ(vλ+V∞)=eλ.
Let 1≤r<s≤n. Suppose α∈Λ(n,r), 0<i≤αr Then we have
[TABLE]
by Section 2 and hence, applying θ to Y(r,s)ivλ+V∞ we see that
there exist scalars y(r,s)i∈K such that
[TABLE]
The scalars y(r,s)i are of paramount importance for our analysis of extensions of symmetric powers.
Definition 4.1**.**
We call the sequence (y(r,s)i)1≤i≤λs the (r,s)-extension sequence determined by the V,v∞ and θ. We call the collection of sequences (y(r,s)i)1≤r<s≤n,1≤i≤λs, the extension multi-sequence determined by V,v∞ and θ.
Of course we can take for V the split extension V=SdE⊕Kλ and V∞=Kλ=Kv∞. We take θ:V/V∞→SdE to be the natural map (induced by the projection from V=SdE⊕V∞ onto the first summand). We take vλ=eλ−v∞. Then, for 0<i≤λs, we have
[TABLE]
Definition 4.2**.**
The extension multi-sequence produced in this way will be called the standard multi-sequence for λ and denoted (y(r,s)ist). Specifically we have y(r,s)i=(iλr+i), for 1≤r<s≤n and 1≤i≤λs. A multiple of the standard multi-sequence will be called a standard multi-sequence.
We continue with an analysis of extension multi-sequences arising from a general module extension V.
Suppose i,j≥1 and i+j≤λs. Then by Section 2, (1), we have
[TABLE]
i.e.,
[TABLE]
and taking the coefficients of v∞ we get:
[TABLE]
It will be important to know all sequences satisfying this relation (E) and we classify them in the next section.
Now we consider a triple 1≤r<s<t≤n and consider the relations that exist between the extension sequences (y(r,s)i),(y(s,t)j) and (y(r,t)k). We take 1≤i≤λs, 1≤k≤λt. By Section 2, (3), we have
[TABLE]
i.e.,
[TABLE]
and taking the coefficients of v∞ we get:
[TABLE]
We take now j,k≥1 with j+k≤λt. By Section 2, (4), we have
[TABLE]
i.e.,
[TABLE]
and taking the coefficients of v∞ we get:
[TABLE]
We now take 1≤i≤j≤λt and use relation Section 2, (2). We have
[TABLE]
i.e.,
[TABLE]
and taking coefficients of v∞ we get
[TABLE]
Now suppose that 1≤j≤λt, j<i≤λs+j. Then we have
λ+(ϵr−ϵs)+j(ϵs−ϵt)∈Λ(n,r) and, using
Section 2, (2) we have
[TABLE]
i.e.,
[TABLE]
and taking coefficients of v∞ we get
[TABLE]
Solutions to the equations (T1)-(T3b) (i.e., what will be called coherent triples) will be analysed extensively in subsequence sections. There remains one further equation, coming from the commuting relation Section 2,(5). So suppose 1≤q,r,s,t≤n and distinct and q<r, s<t. Then, for 1≤i≤λt, 1≤j≤λr, we obtain
[TABLE]
i.e.,
[TABLE]
and taking coefficients of v∞ we obtain the “commuting condition”,
[TABLE]
Proposition 4.3**.**
Let λ be a partition and let (y(r,s)i) be an extension multi-sequence for λ. Then the elements y(r,s)i∈K satisfy the equations (E),(T1)-(T3b) and (C) above. Conversely, given elements y(r,s)i∈K, 1≤r<s≤n, 1≤i≤λs, satisfying (E),(T1)-(T3b) and (C) then (y(r,s)i) is an extension multi-sequence for some extension of SdE by Kλ.
Proof.
We have already proved the first statement, in deriving (E),(T1)-(T3b) and (C) above form an extension of SdE by Kλ.
Now suppose that we have elements y(r,s)i∈K, 1≤r<s≤n, 1≤i≤λs, satisfying (E),(T1)-(T3b) and (C). We take a vector space V(y) with basis elements vα(y), α∈Λ(n,d), and v∞(y). We make V(y) into a T-module giving vα(y) weight α, for α∈Λ(n,d), and giving v∞(y) weight λ. We define K-linear endomorphisms Y^(r,s)i, of V(y), for 1≤r<s≤n, 1≤i≤λs, by
[TABLE]
and making Y^(r,s)i act as [math] on v∞(y). Then the relations (E),(T1)-(T3b) and (C) guarantee that the endomorphisms Y^(r,s)i satisfy the relations (1)-(5) of Section 2. Hence by Proposition 2.1, there is a hy(U)-module action on V(y) with Y(r,s)i acting via Y^(r,s)i, 1≤r<s≤n, 1≤i≤λs. Moreover the T action makes V(y) into a (hy(U),T)-module and hence, by Proposition 1.5, a B-module. Clearly the extension multi-sequence associated to V(y), with vα=vα(y), α∈Λ(n,d) and v∞=v∞(y) is (y(r,s)i).
∎
**Notation: **It follows from Proposition 4.3 that the set of all extension multi-sequences for a partition λ forms a K-vector space, we denote this space by E(λ).
We are now going to produce a K-space surjection E(λ)→Ext1(SdE,Kλ), whose kernel is the space of the standard coherent multi-sequence. For Kλ we take the field K with T acting with weight λ and Y(r,s)i acting as [math], for 1≤r<s≤n, 1≤i≤λs. For y∈E(λ) let V(y) be the B-module constructed via y, as above. We have a short exact sequence of B-modules
[TABLE]
where iy(1)=v∞(y) and πy(vα(y))=eα, for α∈Λ(n,d).
Starting with any B-module extension
[TABLE]
we have v∞=i(1) and vα∈V such that π(vα)=eα and we get an extension multi-sequence y=(y(r,s)i) given by
[TABLE]
for 1≤i≤λs. Now it is easy to see that the B-module map ϕ:V→V(y) such that ϕ(vα)=vα(y), α∈Λ(n,d), and ϕ(v∞)=v∞(y), induces an isomorphisms of extensions (in the sense of for example [1], Section I.5, or [20], Chapter 7) between the sequences 0→KλiVπSdE→0 and 0→KλiyV(y)πySdE→0. In particular every extension of SdE by Kλ is equivalent to one arising via an element of E(λ).
Now suppose that y,y′∈E(λ) give short exact sequences 0→KλiyV(y)πySdE→0 and 0→Kλiy′V(y)πy′SdE→0. If these sequences are isomorphic then there is a B-module isomorphism ϕ:V(y)→V(y′) such that the diagram
[TABLE]
commutes (where the first and third vertical maps are the identities and the middle vertical map is ϕ). Commutativity implies that ϕ(v∞(y))=v∞(y′) and also that ϕ(vα(y))=vα(y′), for λ=α∈Λ(n,d). Moreover, we must have ϕ(vλ(y))=vλ(y′)+cv∞(y′), for some c∈K. The condition for ϕ to be a module homomorphism reduces to the condition
[TABLE]
i.e.,
[TABLE]
i.e.,
[TABLE]
i.e.,
[TABLE]
for all 1≤r<s≤n, 1≤i≤λs. So we have shown the following result.
Lemma 4.4**.**
Every extension 0→Kλ→V→SdE→0 is equivalent to one of the form 0→KλiyV(y)πySdE→0. Moreover, for y,y′∈E(λ) the associated short exact sequences
0→KλiyV(y)πySdE→0 and 0→Kλiy′V(y)πy′SdE→0 are equivalent if and only if y′−y is a multiple of the standard multi-sequence.
We now follow a standard procedure (cf. [1], Section I.5, or [20], Chapter 7) to relate extensions of SdE by Kλ to elements of ExtB1(SdE,Kλ) and from this produce a linear epimoprhism E(λ) to ExtB1(SdE,Kλ) with kernel consisting of the standard coherent multi-sequences.
We fix an injective module I containing Kλ. Let Q=I/Kλ and let ν:I→Q be the natural map. Applying HomB(SdE,−) to the short exact sequence 0→Kλ→I→Q→0 we obtain an exact sequence
[TABLE]
so we may identify ExtB1(SdE,Kλ) with
HomB(SdE,Q)/HomB(SdE,Q)0, where
[TABLE]
We write E(SdE,Kλ) for the set of equivalence classes of B-module extensions
[TABLE]
For such an extension we have, by injectivity, a homomoprhism θ:V→I such that θ∘i:Kλ→I is inclusion. We obtain a homomorphism
θˉ:SdE→Q, given by θˉ(π(v))=θ(v)+Kλ, v∈V, and hence an element
θˉ+HomB(SdE,Q)0 of HomB(SdE,Q)/HomB(SdE,Q)0. One checks that this element depends only on the equivalence class [E] of E. Hence we have a map Φ:E(SdE,Kλ)→HomB(SdE,Q)/HomB(SdE,Q)0 and, for extensions E and F we have Φ([E])=Φ([F]) if and only if E and F are equivalent.
Now for y∈E(λ) we have the extension 0→KλiyV(y)πySdE→0, which we now call E(y). Hence we get a map
Ψ:E(λ)→HomB(SdE,Q)/HomB(SdE,Q)0, defined by Ψ(y)=Φ([E(y)]). It is easy to check that Φ([E(y+y′)])=Φ([E(y)])+Φ([E(y′)]), for y,y′∈E(λ) and that Φ([E(cy)])=cΦ([E(y)]), for y∈E(λ), y∈E(λ). Hence we have a K-linear map Ψ:E(λ)→HomB(SdE,Q)/HomB(SdE,Q)0. It is the composte of two surjections and hence surjective. Moreover, for y∈E(λ) we have Ψ(y)=0 if and only if Φ([E(y)])=0, i.e., if and only if E(y) is split, which by Lemma 1.3, is if and only if y is a standard coherent multi-sequence. Since HomB(SdE,Q)/HomB(SdE,Q)0 is isomorphic to Ext1(SdE,Kλ) we have shown the following.
Proposition 4.5**.**
*(i) There is a surjective K-linear map from E(λ) to
Ext1(SdE,Kλ) with kernel spanned by the standard multi-sequence.*
(ii) We have
[TABLE]
This prompts the following definition.
Definition 4.6**.**
We shall say that a partition λ is split if every coherent multi-sequence for λ is a multiple of the standard sequence.
Thus a partition λ is split if and only if we have ExtB(N)1(SdE,Kλ)=0 (where d is the degree of λ, where N is at least the number of parts of λ and E is the natural G(N)-module).
5 Extension sequences for two part partitions
Let λ=(λ1,…,λn) be a partition of length at least 2.
We fix 1≤r<s≤n and set a=λs, b=λt. According to Section 4, (E), we have
[TABLE]
for all i,j≥1 with i+j≤b.
Definition 5.1**.**
Let (a,b) be a two part partition. By an extension sequence for (a,b) we mean a sequence (xi)=(x1,…,xb) of elements of K such that
[TABLE]
for all i,j≥1 with i+j≤b.
Since a general extension multi-sequence is a family of extension sequences it is important to thoroughly understand the possible extension sequences. We describe all such in this section. We then specialise to the case of n=2 to recover the main result of Erdmann’s paper, [9]
We now make some elementary observations on extension sequences.
Remark 5.2**.**
Suppose (xi) is an extension sequence for a two part partition (a,b) and c+spk≤b, with 0<c<pk. Then we have
[TABLE]
and moreover, we have (spkc+spk)=1, by Lucas’s formula. So we deduce
[TABLE]
Lemma 5.3**.**
Suppose that (a,b) is a two part partition. An extension sequence for (a,b) which is [math] at all powers of p is identically [math].
Proof.
Suppose x1,…,xb is such a sequence. By induction it is enough to prove that xb=0 and we may assume that b=spk, for some 1<s≤p−1. Taking i=(s−1)pk, j=pk in the defining relation we get (pkspk)xspk=0, and (pkspk)=s=0 so that xspk=0, as required.
∎
Remark 5.4**.**
Let (a,b) be a two part partition. We have the standard extension sequence (xi) for (a,b) given by xist=(ia+i), 1≤i≤b.
Remark 5.5**.**
A two part partition (a,b) is James if and only if the standard extension sequence for (a,b) is the zero sequence.
Remark 5.6**.**
There is a non-zero extension sequence for a James partition (a,b). To see this consider the sequence of integers Ni=(ia+i), 1≤i≤b. Note that these integers satisfy the condition
[TABLE]
for all i,j≥1 with i+j≤b. Let h be the largest positive integer such that ph divides all Ni and set
Ni′=Ni/ph, for 1≤i≤b. The we also have
[TABLE]
for all i,j≥1 with i+j≤b so that taking N1′,…,Nb′ modulo p we obtain a non-zero extension sequence. We call this the canonical extension sequence. We shall explore this in greater depth (for James partitions of any length) in Section 7. In particular we have E(a,b)=0.
It is easy to describe the extension sequences for a James partition.
Lemma 5.7**.**
Let (a,b) be a two part James partition and let β=lenp(b). A sequence x1,…,xb is an extension sequence if and only if
[TABLE]
and xi=0 when i is not a multiple of pβ.
Proof.
Let k≤β and suppose that 1<s≤bk. Then, taking i=(s−1)pk and j=pk in the defining condition for an extension sequence, we have
[TABLE]
Now k<valp(a+1) so we have ak=p−1 and therefore (a+spk)k=s−1 and hence, by Lucas’s formula,
(s−1)x(s−1)pk=sxspk and so we get
[TABLE]
We now apply the defining condition with i=(p−1)pβ−1 and j=pβ−1. We get
[TABLE]
But (pβ−1a+pβ)=(a+pβ)β−1=p−1=0 so that x(p−1)pβ−1=0
and so by (), xspβ−1=0 for 1≤s≤p−1. But now pβ−1<b and (a,pβ−1) is James so we may assume, by induction, that xi=0 for 1≤i<pβ. Now Remark 5.2 gives that in fact xi=0 for all i≤b, with i not a multiple of pβ. Furthermore the space of extension sequences for (a,b) is at most one dimensional, by (). However, we know, by Remark 5.6, that there is a non-zero extension sequence, it follows that the space of such sequences is one dimensional and is as described in the statement of the Lemma.
∎
Remark 5.8**.**
Lemma 5.7 implies that an extension sequence for a two part James partition is a multiple of the canonical sequence.
Definition 5.9**.**
A two part partition (a,b) will be called a pointed partition if b can be written in the form b=b^+pβ, with β=lenp(b) with b^<pvalp(a+1) and β>valp(a+1). In this case we call the extension sequence (xipt), 1≤i≤b, defined by
[TABLE]
the point sequence for (a,b).
Remark 5.10**.**
Note that the point sequence is non-standard since, with the above notation, the pvth term in the standard sequence (pva+pv)=av+1 is non-zero, where v=valp(a+1).
Lemma 5.11**.**
Suppose that (a,b) is a two part partition which is not James. Let v=valp(a+1) and β=lenp(b).
Then (a,b) is split unless we may write b=b^+pβ, where b^<pv<pβ and in this case E(a,b) is spanned by the standard sequence and the point sequence.
Proof.
First assume that b=b^+pβ, with b^<pv<pβ. We check that the point sequence x1,…,xb is indeed an extension sequence. If b^=0 then we need only to check the defining relation for i+j=pβ and in that case (ii+j)=0 and xi=0 (for i<pβ) so the relation holds.
So we suppose that b^>0. We may assume inductively that x1,…,xb−1 is an extension sequence and again we need only to check the defining relations with i+j=b. Moreover xb=0, as b=pβ, and so we must check that (ja+b)xi is zero for b=i+j. Since xi=0 for i=pβ we may assume that i=pβ, j=b^ and we must check that (b^a+b)=0. We choose k minimal such that b^k=0. Then ak=p−1 (since b^<pv) and hence (a+b)k=bk−1 so that (b^k(a+b)k)=0 and (b^a+b)=0, by Lucas’s Formula.
We now prove that (a,b) is split unless it has the above form and in that case the space of extensions sequences is spanned by those described above. If b=1 then (a,b) is not pointed and (since (a,b) is not James) we have v=0 and x1st=0 so that an extension sequence x1 is a multiple of the standard sequence.
We now consider the case b>1. Let x1,…,xb be an extension sequence for (a,b).
Assume that (a,b−1) is not James. If (a,b−1) is split then x1,…,xb−1 is a standard sequence and hence, subtracting a standard sequence for (a,b) we may assume that xi=0 for i<b. Hence, by Lemma 5.3 (xi) is the zero sequence unless b=pβ. But we have pβ−1≥pv so that β>v and (a,b) is of the required form and the extension sequence is also of the required form. If (a,b−1) is not split we may assume inductively that we can write b−1=c+pt with c<pv<pt. Moreover, after subtracting a linear combination of the standard solution and the point solution for (a,b−1), we may assume that xi=0 for all i<b. If b is not a power of p this implies that xb is also zero by Remark 5.2. Hence we can assume that b=pβ. Then we get pβ−1−1<pv<pβ−1, and this is not possible.
It remains to consider the case in which (a,b−1) is James. So we have b−1<pv and, since (a,b) is not James, b=pv. By Lemma 5.7 we have
[TABLE]
and xi=0 for i<b and i not divisible by pv−1.
Taking i=(p−1)pv−1, j=pv−1 in the defining relation we get
[TABLE]
Moreover av−1=p−1 so that (pv−1a+pv)=p−1, by Lucas’s Formula, and
x(p−1)(pv−1)=0. Hence we have xi=0 for 0<i<b=pv. Hence the space of extensions sequences for (a,b) is at most one dimensional. Hence the space of extension sequences consists of standard solutions and (a,b) is split.
∎
We now take n=2 and consider the extensions for the general linear group G(2), over K. Let (r,s),(t,u)∈Λ+(n,r) with r+s=t+u. Then we have ExtG(2)1(∇(r,s),∇(t,u))=0 unless (r,s)>(t,u). Then have s<u. Moreover, we have ∇(r,s)=∇(r−s,0)⊗D⊗s and
∇(t,u)=∇(t−s,,u−s)⊗D⊗s, where D is the one dimensional determinant module. Hence we have
[TABLE]
i.e.,
[TABLE]
where d=r−s. Hence, from Lemmas 5.7 and 5.11, we have the following.
Corollary 5.12**.**
Let (r,s),(t,u) be two part partitions of the same degree. Then
[TABLE]
i.e,
[TABLE]
where v=valp(t−s+1) and l=lenp(u−s).
We now consider extensions for SL2(K), as in [9]. For r≥0 we write simply ∇(r) for the rth symmetric power of the natural representation. We have ExtSL2(K)1(∇(r),∇(s))=0 unless r−s=2m for some positive integer m. Moreover, in this case we have ExtSL2(K)1(∇(r),∇(s))=ExtG(2)1(∇(r,0),∇(s+m,m)). Hence we obtain the following result of Erdmann, [9], (3.6) Theorem.
Corollary 5.13**.**
For r,s≥0 we have
[TABLE]
where v=valp(s+m+1) and l=lenp(m).
In fact A. Parker has given a precise recursive description of all higher extensions ExtSL2(K)i(∇(r),∇(s)), r,s≥0, in [19], Section 5 (in the equivalent dual formulation for Weyl modules).
6 Coherent Triples
In the sections that follow, particularly Sections 8, 10, and 11 we shall be working extension sequences for 3 part partitions. We here abstract the notion of a coherent triple from the relations given in Section 4.
Definition 6.1**.**
*We fix a three part partition λ=(a,b,c). By a coherent triple of extension sequences for λ we mean a triple
((xi)1≤i≤b,(yj)1≤j≤c,(zk)1≤i≤c) of extension sequences satisfying the following relations:*
[TABLE]
Thus if λ=(λ1,…,λn) is a partition of length n and (y(t,u)i) is a coherent multi-sequence for λ then for
1≤q<r<s≤n we may extract the coherent triple (xi),(yj),(zk) for (λq,λr,λs) given by xi=y(q,r)i, yj=y(r,s)j, and zk=y(q,s)k, for 1≤i≤r, 1≤j,k≤λs.
Remark 6.2**.**
In any coherent triple ((xi),(yj),(zk)) the extension sequence (zk) is determined by (xi) and (yj). (Take i=j in relation (3a).)
We have the space E(λ) of all coherent triples for λ=(a,b,c). It will emerge (as a result of explicit calculation) that in fact E(λ) is at most two dimensional.
Note that for λ=(a,b,c) the standard multi-sequence for λ gives the standard triple
xist=(ia+i), 1≤i≤b, yjst=(jb+j), 1≤j≤c, zkst=(ka+k), 1≤k≤c.
7 Extensions dimensions for James partitions
Recall that for a partition λ we write E(λ) for the space of extension multi-sequences for λ. In this section we determine the dimension of E(λ), for λ a James partition. Note that, by Proposition 4.5 this is the dimension of ExtB(N)1(SdE,Kλ) (where d is the degree of λ, N is at least the number of parts of λ and E is the natural G(N)-module).
Definition 7.1**.**
A partition λ will be called constrained if ExtB(N)1(SdE,Kλ) is at most one dimensional (where d, N and E are as above).
For a James partition λ, this is equivalent to the condition that E(λ) is at most one dimensional.
We extend the notion of the definition of the canonical multi-sequence defined in Section 5 for a two part James partition to an arbitrary James partition λ=(λ1,…,λn) of length n≥2.
Definition 7.2**.**
Let λ=(λ1,…,λn) be a James partition with n≥2 parts. We define the James index JI(λ) to be the largest positive integer k such that pk divides all integers (jλi+j), for 1≤i<n and 1≤j≤λi+1.
Definition 7.3**.**
Let λ=(λ1,…,λn) be a James partition of length n then we have the canonical coherent multi-sequence (ycan(r,s)i), where ycan(r,s)i, for 1≤r<s≤n, 1≤i≤λs, is obtained by taking (iλr+i)/pJI(λ) modulo p.
We begin by deriving a concrete description of the canonical multi-sequence.
Let (a,b) be a James 2-part partition. We put v=valp(a+1), w=valp(b). We write a=(pv−1)+pvA and b=pwB. Thus we have
[TABLE]
and hence
[TABLE]
by Lucas’s Formula.
Now we have
[TABLE]
which shows that valp(ba+b)≥v−w and also gives
[TABLE]
so that
[TABLE]
so from (1) we get
[TABLE]
In particular (ba+b)/pv−w is non-zero modulo p so that
[TABLE]
We now assume that λ=(λ1,…,λn) is a partition of length n≥2. We adopt the following notation: vi=valp(λi+1), for 1≤i<n, and li=lenp(λi) for 2≤i≤n. In the light of (2),(3) we now have have the following description of the James index.
Proposition 7.4**.**
Let λ=(λ1,…,λn) be a James partition with n≥2 parts. Then JI(λ) is the minimum of v1−l2,…,vn−1−ln. Moreover we have
[TABLE]
We fix a three part James partition (a,b,c) and study the corresponding coherent triples. We set v=valp(a+1),w=valp(b+1) and β=lenp(b),γ=lenp(c).
We specialise the above to the case of (a,b,c). (For a two part partition the canonical sequence, at least up to multiplication by scalars, is given by Lemma 5.8.)
Proposition 7.5**.**
Let λ=(a,b,c). Then JI(λ) is the minimum of v−β and w−γ. Moreover the canonical coherent triple (xican),(yjcan),(zkcan) for λ is given as follows:
[TABLE]
[TABLE]
[TABLE]
Remark 7.6**.**
Suppose β>γ. Then v=lenp(b+pγ) if and only if b=pv−1. Certainly v=lenp(b+pγ) if b=pv−1. Now suppose v=lenp(b+pγ). We write b=(pw−1)+pwB. Then we have b+pγ=(pγ−1)+pw(B+1) so that lenp(B+1)=v−w. If B does not have the form pk−1 for some k then also lenp(B)=v−w and lenp(b)=v, which is impossible since β<v by the James condition. Hence we have B=pk−1 and lenp(B+1)=k=v−w so that b=(pw−1)+pw(pv−w−1)=pv−1.
We note that in checking the coherence conditions for a multi-sequence (y(r,s)i) of extension sequences for a James partition sequence λ it is sufficient to check coherent of all relevant triples since in the commuting relation (C), for a commuting quadruple, both sides are zero (by the James condition).
Lemma 7.7**.**
*(i) If β=γ then λ is constrained and
xpβcan=zpγcan=(aβ+1+1)ypγcan.*
(ii) If β>γ and (a,b+pγ) is not James then λ is constrained and (yjcan)=0, (zkcan)=0.
(iii) If β>γ and (a,b+pγ) is James then dimE(λ)=2 and in any coherent triple we have (zk)=0 and (xi) and (yj) are multiples of the canonical sequences, for (a,b) and (b,c).
Proof.
We leave it to the reader to check that in (i) and (ii) the canonical triples are as described.
(i) We have w≤β+1≤v so that v−β≥w−γ. Hence (ykcan) is non-zero and, subtracting a multiple of the canonical sequence from an arbitrary coherent triple we can obtain a coherent triple (xi),(yj),(zk) in which (yj)=0. Now aβ=p−1 so that, taking i=k=pβ in (T1), we obtain xpβ=zpβ.
We note that β=γ<w implies that b=pβ+1−1. We take j=pβ, i=pβ+1 in relation (T3b). The only non-zero term xi−s is obtained by taking s=pβ and we obtain
(pβa+pβ+1)x(p−1)pβ=0. Moreover, we have (pβa+pβ+1)=(p−1), by Lucas’s Formula. So we have x(p−1)pβ=0 and hence (xi)=0 and therefore also (zk)=0. Hence (xi),(yj),(zk) is the zero triple and every coherent triple is a multiple of the canonical triple.
(ii) We have lenp(b+pγ)≤β+1 and, since (a,b) is James but (a,b+pγ) is not James we have lenp(b+pγ)=β+1≥v. Hence β+1=v and so b=pv−1, by Remark 7.6 and so β+1=v=w. Hence v−β<w−γ,v−γ so that (xican)=0. Subtracting a multiple of the canonical triple from an arbitrary coherent triple we can thus obtain a coherent triple (xi),(yj),(zk) in which (xi)=0. Taking i=j=pγ in (T1) we obtain zpγ=0 and hence the sequence (zk)=0. Taking j=pγ, i=pβ+1 in (T3b) we get (pβ+1a+pβ+1)ypγ=0, i.e., (av+1)ypγ=0, therefore ypγ=0 and hence the sequence (yj) is [math]. Hence (xi),(yj),(zk) is the zero triple and every coherent triple is a multiple of the canonical triple.
(iii) We show first that in this case we have that in any coherent triple (zk)=0. Since (a,c) is James it is enough to show that zpγ=0. Now this follows by (T1) for i=k=pγ, using the fact that xpγ=0, since β>γ and (a,b) is James. Therefore dimE(λ)≤2 and so it is enough to show that there is a coherent triple (xi),(yj),(zk) in which (xi) non-zero and (yj)=0, (zk)=0 and one in which (xi)=0, (yj) is non-zero and (zk)=0.
We first check that the triple (xi),(yj),(zk) with
[TABLE]
and (yj)=0, (zk)=0 is coherent.
For (T1) we require (ka+tpβ+k)=0, for 1≤k≤c, 1≤t≤bβ. This is true since (a+tpβ,c) is James, as valp(a+tpβ+1)≥β>γ. In (T2) both sides are [math]. For (T3a) we require
[TABLE]
for 1≤i≤j≤c. However, if in this equation xi−s=0 then we have i−s=tpβ, for some 1≤t≤bβ and so i≥pβ and this is impossible since i≤c and γ<β. Hence (T3a) holds.
For (T3b) we require
[TABLE]
for 1≤j≤c, j<i≤b+j. Now, xi−s is zero unless i−s=tpβ and then (sa+i)=(sa+tpβ+s) is zero for s=0 (as (a+tpβ,c) is James). Hence the condition to be checked is (jb+j−tpβ)=0 for 1≤j≤c, and this is true since (b−tpβ,c) is James.
It remains to check that the triple
(xi),(yj),(zk) with (xi)=0, with
[TABLE]
and (zk)=0, is coherent.
Certainly (T1) is satisfied since both sides are [math]. Also in (T2) both sides are zero since (a,c) and (b,c) are James. We also have that (T3a) holds since both sides are [math] again (since (a,c) is James). Finally, (T3b) reduces to the condition that (ia+i)=0 for tpγ<i≤b+tpγ, 1≤t≤cγ. Now if ah+ih≥p for some 0≤h<v then (ia+i)=0 so we may assume that i=pvI, for some I=0. We get
[TABLE]
This gives v≤β+1 but β<v (since λ is James) and so v=β+1 and I=1. Hence, lenp(b+pγ)=β+1=v. But this is impossible since (a,b+pγ) is James.
∎
Lemma 7.8**.**
If l2=⋯=ln then λ is constrained.
Proof.
We proceed by induction on n. Certainly the result holds for n=2,3, by Lemmas 5.8 and Lemma 7.7(i). Now assume n≥4 and the result holds for shorter partitions. Note that JI(λ1,…,λn)=vn−1−l, where l=l2=⋯=ln and so ycan(n−1,n)pl=0.
By subtracting a multiple of the canonical multi-sequence from an arbitrary coherent multi-sequence we can obtain a coherent multi-sequence (y(r,s)i) in which (y(n−1,n)i)=0. By applying the inductive hypothesis to the partition (λ2,…,λn) we obtain (y(r,s)i)=0 for all 2≤r<s≤n. In particular the sequences (y(2,3)i),(y(3,4)i), …,(y(n−1,n)i) are zero. But now applying Lemma 7.7(i) to the coherent triple (y(1,2)i),(y(2,3)j),(y(1,3)k)) we obtain that
(y(1,2)i)=0. Hence the sequences (y(1,2)i),(y(3,4)i), …,(y(n−1,n)i) are all zero and (y(r,s)i) is the zero multi-sequence. Hence every coherent multi-sequence is a multiple of the canonical multi-sequence and we are done.
∎
Note that for 1≤m≤n we have a natural linear map
E(λ)→E(λ1,…,λm), which we call restriction, sending a coherent multi-sequence (y(r,s)i), 1≤r<s≤n, 1≤i≤λs, to the coherent multi-sequence (y(r,s)i), 1≤r<s≤m, 1≤i≤λs.
Lemma 7.9**.**
Suppose that 1≤m≤n−2 and that lm+1>lm+2. Then restriction E(λ)→E(λ1,…,λm+1) is surjective.
Proof.
Let (y(r,s)i) (1≤r<s≤m+1) be a coherent multi-sequence for (λ1,…,λm+1). We define a multi-sequence (y^(r,s)i), 1≤r<s≤n, 1≤i≤λs, for λ by
[TABLE]
We claim that (y^(r,s)i) is coherent. To do this we check that for all 1≤r<s<t≤n, the triple (y^(r,s)i),(y^(s,t)j),(y^(r,t)k) is coherent.
If 1≤r<s<t≤m+1 this is true since (y(r,s)i) is a coherent multi-sequence. Suppose now that 1≤r<s≤m+1 and m+1<t≤n. Then the sequences (y^(s,t)j) and (y^(r,t)k) are identically [math]. Moreover we have ls≥lm+1>lm+2≥lt so that ls>lt and the triple (y^(r,s)i),(y^(s,t)j),(y^(r,t)k) is coherent, by Lemma 7.7(ii) and (iii). Finally, if s>m+1 then (y^(r,s)i),(y^(s,t)j),(y^(r,t)k) is the zero triple (which is coherent).
Thus (y^(r,s)i) is a coherent multi-sequence mapping to (y(r,s)i) and the restriction map is surjective.
∎
Lemma 7.10**.**
If 1≤m≤n−2 and lm+2=⋯=ln then the kernel of restriction E(λ)→E(λ1,…,λm+1) has dimension at most 1.
Proof.
In addition to the restriction map E(λ)→E(λ1,…,λm+1) we also have the natural map ρ:E(λ)→E(λm+1,…,λn), taking a coherent multi-sequence (y(r,s)i), 1≤r<s≤n, 1≤i≤λs for λ to the coherent multi-sequence (yˉ(r,s)i), 1≤r<s≤n−m, 1≤i≤λm+s, for (λm+1,…,λn), where yˉ(r,s)i=y(m+r,m+s)i, for 1≤r<s≤n−m, 1≤i≤λm+s.
We obtain an injective map E(λ)→E(λ1,…,λm+1)⊕E(λm+1,…,λn). But dimE(λm+1,…,λn)=1, by Lemma 7.8 and the kernel of restriction E(λ)→E(λ1,…,λm+1) embeds in E(λm+1,…,λn) so we are done.
∎
The next result essentially determines the dimension of the extension spaces for James partitions.
Proposition 7.11**.**
Suppose that 1≤m≤n−2 and lm+1>lm+2=⋯=ln. Then we have
[TABLE]
Proof.
First suppose that m+2=n and λm+1=pvm−1. Let (y(r,s)i) be a coherent multi-sequence in the kernel of restriction E(λ)→E(λ1,…,λm+1). Thus the sequences (y(1,2)i),(y(2,3)i),…,(y(m,m+1)i) are identically [math]. We have the coherent triple (y(m,m+1)i),(y(m+1,m+2)j),(y(m,m+2)k). Moreover, ((y(m,m+1)i) is identically [math] and
lm+1>lm+2 so that, by Lemma 7.7(ii), (y(m+1,m+2)j) is [math]. Hence the sequences (y(1,2)i),(y(2,3)i),…,
(y(n−1,n)i) are [math] and so (y(r,s)i) is the zero multi-sequence. Thus the kernel of the restriction is [math] in this case and by Lemma 7.9, we have dimE(λ)=dimE(λ1,…,λm+1).
We next consider the case vm>lenp(λm+1+plm+2). We have the canonical multi-sequence (ycan(r,s)i) for (λm+1,…,λn) and we make a multi-sequence (y(r,s)i) for λ by putting
y(m+r,m+s)i=ycan(r,s)i, for 1≤r<s≤n−m, 1≤i≤λs, and all other terms [math]. We check that this is a coherent multi-sequence and hence the kernel of restriction E(λ)→E(λ1,…,λm+1) is not zero.
We have to check that each triple (r,s,t) with 1≤r<s<t≤n gives a coherent triple of extension sequences (y(r,s)i),(y(s,t)j),(y(r,t)k).
If t≤m then this is the zero triple (which is coherent).
Suppose next that 1≤r<s≤m, m+1≤t. Again (y(r,s)i),(y(s,t)j),(y(r,t)k) is the zero triple and so coherent.
Suppose now that 1≤r≤m, m+1≤s<t≤n. Then the sequences (y(r,s)i) and (y(r,t)k) are identically [math] and since we have
[TABLE]
the triple (y(r,s)i),(y(s,t)j),(y(r,t)k) is coherent by Lemma 7.7(iii).
Finally if m+1≤r<s<t≤n then we may write r=r0+m, s=s0+m, t=t0+m and
[TABLE]
which is certainly coherent. Hence (y(r,s)i) is a coherent multi-sequence in the kernel of restriction E(λ)→E(λ1,…,λm+1) and so by Lemmas 7.9 and 7.10 we have dimE(λ)=dimE(λ1,…,λm+1)+1.
It remains to consider the case m+2<n and λm+1=pvm−1. Once again we use the canonical multi-sequence (ycan(r,s)i) for (λm+1,…,λn) to define the multi-sequence (y(r,s)i) for λ with y(m+r0,m+s0)i=ycan(r0,s0)i, for 1≤r0<s0≤n−m, 1≤i≤λm+s0, and all other terms [math].
We need to check that (r,s,t), with 1≤r<s<t≤n, gives a coherent triple ((y(r,s)i),(y(s,t)j),(y(r,t)k)).
If 1≤r<s≤m then this is the zero triple.
Now suppose that 1≤r≤m, s=m+1<t≤n. Then (y(r,m+1)i) and (y(r,t)k) are identically [math]. Now lm+2<lm+1 so that λm+2=λm+1 so that λm+2<pvm−1 and so vm+2<vm. Thus we have
[TABLE]
Writing t=m+t0 we thus have that (ycan(1,t0)i) is the zero sequence, by Proposition 7.4 and hence (y(m+1,t)i) is the zero sequence and
((y(r,m+1)i),(y(m+1,t)j),(y(r,t)k)) is the zero triple, and hence coherent.
Now suppose that r≤m, m+1<s<t≤n. Again we have that the sequences (y(r,s)i)) and (y(r,t)k) are zero. We claim that vr>lenp(λs+plt) and hence, by Lemma 7.7(iii), the triple ((y(r,s)i),(y(s,t)j),(y(r,t)k)) is coherent. We have vr≥vm and lenp(λs+plt)≤lenp(λm+2+plt) so it is enough to check that vm+1>lenp(λm+2+plt). If this fails then we have λm+2=pvm+1−1=pvm−1 and this is not possible since lm+1>lm+2.
Finally if m+1≤r<s<t≤n then we may write r=m+r0, s=m+s0, t=m+t0 and
[TABLE]
which is certainly coherent.
Thus the kernel of restriction E(λ)→E(λ1,…,λm+1) is not zero and by
Lemmas 7.8 and 7.9 we have dimE(λ)=dimE(λ1,…,λm+1)+1.
∎
Definition 7.12**.**
Let λ=(λ1,…,λn) be a James partition of length n. We define the segments of λ to be the equivalence classes of {1,…,n} for the relation r=s if and only if lr=ls. For 1≤r,s≤n we define r and s to be adjacent if they belong to the same segment or if 1<r<n, s=r+1 and r+1 is the only element in its segment and λr=pvr−1−1. We define the p-segments of λ to be the equivalent classes of {1,…,n} for the equivalence relation generated by adjacency.
For a James partition λ we define e(λ)=dimE(λ).
Corollary 7.13**.**
Let λ=(λ1,…,λn) be a James partition of length n≥2.
(i) If l1=l2 then e(λ) is the number of p-segments of {1,…,n}.
(ii) If l1>l2 then e(λ) is one less than the number of p-segments of {1,…,n}.
Proof.
We argue by induction on n.
(i) If l1=l2=⋯=ln then the result is true by Lemma 7.8, in particular the result holds for n=2. Suppose now that there are at least 2 segments and let 1≤r≤n be such that lr>lr+1=…=ln. Then r≥2. If n−r≥2 then we have e(λ)=e(λ1,…,λr)+1, by Proposition 7.11, and inductively we have that this is one more than the number of p-segments in (λ1,…,λr), i.e., the number of p-segments in λ. So we may assume that r=n−1. If λr=pvr−1−1 then by Proposition 7.11, we have e(λ)=e(λ1,…,λn−1)+1, i.e., one more than the number of p-segments in (λ1,…,λn−1) and this is the number of p-segments in λ. If λr=pvr−1−1 then, by Proposition 7.11 we have e(λ)=e(λ1,…,λn−1), the number of p-segments in (λ1,…,λn−1), and this is also the number of p-segments in λ.
(ii) If n=2 we have e(λ)=1 and λ has two p-segments so the result is correct. If λ has two segments then we have l1>l2=…=ln so λ also has two p-segments and the result is correct, by Lemma 7.8. Now suppose that λ has at least three p-segments and that 1≤r<n is such that lr>lr+1=⋯=ln. Then we have r≥2. If n−r≥2 then, by Proposition 7.11, we have e(λ)=e(λ1,…,λr)+1, which is the number of p-segments of (λ1,…,λr) and this is one less than the number of p-segments of λ, as required. So we may suppose that r=n−1. Again if λr=pvr−1−1 then Proposition 7.11 gives e(λ)=e(λ1,…,λn−1)+1, which is the number of p-segments of (λ1,…,λn−1) and hence one less than the number of p-segments of λ. If λr=pvr−1−1 then Proposition 7.11 gives e(λ)=e(λ1,…,λn−1) which is one less than the number of p-segments of (λ1,…,λn−1) and hence also one less than the number of p-segments of λ.
∎
8 Three part partitions (a,b,c) with (a,b) James and (b,c) not James
We fix a three part partition λ=(a,b,c).
We set β=lenp(b), γ=lenp(c), v=valp(a+1) and w=valp(b+1). We have the standard coherent triple of extension sequences given (xi), (yj), (zk), given by xist=(ia+i), yjst=(jb+j), zkst=(ka+k), for 1≤i≤b, 1≤j,k≤c.
Lemma 8.1**.**
Assume that (a,b) is James and (b,c) is not James. Then
λ is non-split if and only if (b,c) is pointed and v>lenp(b+pγ). In this case E(λ) is spanned by the standard triple and the triple with (xi)=0, (zk)=0 and (yj) given by
[TABLE]
Proof.
We claim that in any coherent triple (xi),(yj),(zk) we have (xi)=0 and (zk)=0. Since (a,b) and (a,c) are James it is enough to show that xpβ=0 and that zpγ=0. Suppose first that w<β. Now β≥γ≥w (since (b,c) is not James) so we may apply relation (T3b) in the case j=pw, i=pβ. We get
[TABLE]
(since xi=0 for i<pβ). By Lucas’s Formula we get (bw+1)xpβ=0 so that xpβ=0 and (xi)=0. Also by (T3a) for i=j=pγ we have that zpγ=0 and so (zk)=0.
We now suppose β≤w. Since β≥γ≥w this implies β=w and β=γ. Since (a,b) is James we have aβ=p−1 and (T1) with i=k=pβ gives
xpβ=zpβ.
But (T3a), with i=j=pβ gives 0=(pβb)xpβ+zpβ=0, i.e., bβxpβ+zpβ=0 and hence (bβ+1)xpβ=0. Now bβ=bw=p−1 so that (bβ+1)=0 and so xpβ=0 and (xi) and (zk) are the zero sequences.
Assume that (b,c) is split. Then we can subtract a multiple of the standard triple from an arbitrary coherent triple for λ to obtain a coherent triple
(xi),(yj),(zk) in which (yj)=0. But, then by the claim, (xi)=0 and (zk)=0 and hence (xi),(yj),(zk) is the zero triple. Hence E(λ) consists of multiples of the standard triple and λ is split.
Now suppose that (b,c) is pointed. After subtracting a multiple of the standard triple from any coherent triple we can obtain a coherent triple with (xi)=0, (zk)=0 and yj=0 for j=pγ.
We consider the triple of extension sequences given by (xi)=0, (zk)=0 and
[TABLE]
Then (T1),(T2),(T3a) hold trivially for this triple and so it is coherent if and only if (T3b) holds, i.e., if and only if (ia+i)yjpt=0 for all 1≤j≤c, j<i≤b+j, i.e., if and only if (ia+i)=0 for all pγ<i≤b+pγ, i.e., if and only if a≥b+pγ and (a,b+pγ) is James, i.e., if and only if v>lenp(b+pγ). It follows that E(λ) is spanned by the standard solution if v=lenp(b+pγ) and by the standard solution and the point solution just constructed if v>lenp(b+pγ).
∎
9 General results for n-rows
Let λ=(λ1,…,λn) be a partition of length n≥4. Let (y(r,s)i), be a coherent extension multi-sequence for λ. We shall use the commuting relation, Section 4, (C), in the following special case.
For 1≤r<s<n with s=r+1 we have
[TABLE]
We shall use the notation vi=valp(λi+1), for 1≤i≤n−1 and li=lenp(λi), for 2≤i≤n.
Lemma 9.1**.**
Suppose that 1≤r<n and (λr,λr+1) is not James. Let (y(t,u)i) be a coherent multi-sequence for λ and suppose that (y(r,r+1)i) is either zero or the point extension sequence. Then, for 1≤s<n with s=r−1,r,r+1 the extension sequence (y(s,s+1)j) is zero.
Proof.
If (λr,λr+1) is pointed and (y(r,r+1)i) is the point sequence we have vr<lr+1 so in all cases we have y(r,r+1)pvr=0. We have the commuting relation
[TABLE]
for 1≤j≤λs+1. The left hand side is [math] and λr has vrth component in the base p expansion different from p−1 so Lucas’s Formula (pvrλr+pvr) is non-zero and therefore (y(s,s+1)j)=0.
∎
We give now a short proof of Weber’s main theorem, [23] Theorem 1.2.
Lemma 9.2**.**
Let λ=(λ1,…,λn) be a partition with n≥5. Assume that there exist two pairs of consecutive rows of λ, say (λr,λr+1) and (λs,λs+1), with r+2<s<n which are not James pairs. Then λ is split.
Proof.
After subtracting a standard multi-sequence from an arbitrary coherent multi-sequence we can obtain a multi-sequence (y(t,u)i)) in which either (y(r,r+1)i)=0 (if (λr,λr+1) is split) or (y(r,r+1)i) is a multiple of the point sequence (if (λr,λr+1) is pointed). By the above Lemma we have (y(t,t+1)j)=0 for t=r−1,r,r+1. In particular we have (y(s,s+1)j)=0. Applying the above Lemma again with s in place of r we get (y(t,t+1)j)=0 if t=s−1,s,s+1. Thus we get (y(t,t+1)j)=0 for all 1≤t<n and hence (y(t,u)i) is the zero multi-sequence for λ. We have shown that we can obtain the zero multi-sequence by subtracting from an arbitrary coherent multi-sequence a multiple of the standard multi-sequence. Hence E(λ) consists of multiples of the standard multi-sequence and λ is split.
∎
We formulate this result in the following way.
Remark 9.3**.**
Let λ=(λ1,…,λn) be a partition which is not James. Let r be minimal such that (λr,λr+1) is not James. If λ is not split then either:
(i) the partitions (λ1,…,λr) and (λr+3,…,λn) (if n≥r+3) are James; or
(ii) (λ1,…,λn−1) is James but (λn−1,λn) is not.
We show now that whether or not λ is split depends heavily on the triple (λr,λr+1,λr+2) in the first case and on the pair (λn−1,λn) in the second case.
Proposition 9.4**.**
Let λ=(λ1,…,λn) be a partition which is not James and r≤n−1 minimal such that (λr,λr+1) is not a James pair.
(i) If r≤n−2, then the restriction map E(λ)→E(λr,λr+1,λr+2) is injective.
Equivalently, if (y(t,u)i) is a coherent multi-sequence in which the extension sequences (y(r,r+1)i) and (y(r+1,r+2)i) are zero then (y(t,u)i) is identically zero. In particular if (λr,λr+1,λr+2) is split then λ is split.
(ii) If r=n−1, then the restriction map E(λ)→E(λn−1,λn) is injective.
Equivalently, if (y(t,u)i) is a coherent multi-sequence in which the extension sequence (y(n−1,n)i) is zero then (y(t,u)i) is identically zero. In particular if (λn−1,λn) is split then λ is split.
*(iii) If r=n−1, we also have that the restriction map
E(λ)→E(λn−2,λn−1,λn) is injective.*
Equivalently, if (y(t,u)i) is a coherent multi-sequence in which the extension sequences (y(n−2,n−1)i) and (y(n−1,n)i) is zero then (y(t,u)i) is identically zero. In particular if (λn−2,λn−1,λn) is split then λ is split.
Proof.
We give the details of the proof of (i). The proofs of (ii) and (iii) are similar. Let (y(t,u)i) be a coherent multi-sequence for λ in which (y(r,r+1)i) and (y(r+1,r+2)i) are zero. By Lemma 9.1 we have then that (y(t,t+1)i)=0 for t=r−1. Moreover, by Lemma 8.1 we get that (y(r−1,r)i)=0, since (λr−1,λr) is James. Hence we have (y(t,t+1)i)=0 for all 1≤t<n and (y(t,u)i) is the zero multi-sequence. This proves everything.
∎
We finish this section with the case where in which the first pair of rows of λ which is not a James pair is the last two rows.
Proposition 9.5**.**
Suppose n≥3 and that λ=(λ1,…,λn) is not a James partition, but (λ1,…,λn−1) is James.
The partition λ is non-split if and only if (λn−1,λn) is pointed and vn−2>lenp(λn−1+pln). In this case
E(λ) is spanned by the standard multi-sequence and the point sequence (ypt(r,s)i), given by
[TABLE]
Proof.
Let λ be non-split. By Proposition 9.4(iii) and Lemma 8.1 we can assume that (λn−1,λn) is pointed and vn−2>lenp(λn−1+pln). It remains to prove that the point multi-sequence (ypt(r,s)i), as described in the statement of the lemma, is coherent.
Notice that for (s,t) with s<t<n−1 the pairs (s,t) and (n−1,n) are related via the commuting relation (C). Since for any such (s,t) the partition (λs,λt) is James and (y(s,t)i)=0 we have that both sides in the commuting relation are zero and so this relation is satisfied.
Hence it remains to check the coherence conditions for the triples
(λq,λn−1,λn−2) with q≤n−2. For q≤n−2 we have that
vq≥vn−2>lenp(λn−1+pln). Therefore by Lemma 8.1 our multi-sequence satisfies the coherent conditions for all these triples.
∎
Therefore, from now on, we need only consider a partition λ which contains a non-split triple (λr,λr+1,λr+2) such that (λr,λr+1) is not James but (λ1,…,λr) and (λr+3,…,λn) are James. We shall take up our analysis in these terms in Section 12, after dealing with the remaining cases of 3-part partitions in Sections 10 and 11.
10 Partitions (a,b,c) with (a,b) split.
We continue our analysis of E(λ) for a 3 part partition λ=(a,b,c). We have already dealt with the case in which λ is James, in Section 7 and with the case where λ is not James and (a,b) is James in Section 8. So we assume from now on that (a,b) is not James. In this section we consider the case in which (a,b) is split.
As usual we write β=lenp(b) and γ=lenp(c) for p-adic lengths of b and c and v=valp(a+1) and w=valp(b+1) for the p-adic evaluations of a+1 and b+1.
Since (a,b) is not James we have β≥v. Moreover since (a,b) is split, it is not pointed.
Lemma 10.1**.**
If (a,c) is James, i.e., γ<v, then λ=(a,b,c) is split.
Proof.
Let (xi),(yj),(zk) be a coherent triple for λ=(a,b,c). Since (a,b) is split after subtracting a multiple of the standard triple we obtain a coherent triple, which we also denote (xi),(yj),(zk), in which (xi)=0. By Remark 6.2 It is enough to show that (yj)=0.
Since γ<v we have that c<pv and so we may take i=pv in (T3b) to get
[TABLE]
and (pva+pv)=av+1=0 so that yj=0 for j≤c.
We have shown that from any coherent triple we may subtract a multiple of the standard coherent triple to obtain the zero triple, i.e., all coherent triples are standard, E(λ) is one dimensional, and λ is split.
∎
We therefore assume now on that γ≥v, i.e., (a,c) is not James.
Lemma 10.2**.**
If (a+pv,b) is not James then λ=(a,b,c) is split.
Proof.
We must show that every coherent triple is standard. After subtracting a multiple of the standard triple from an arbitrary coherent triple we obtain a coherent triple (xi),(yj),(zk) with (xi)=0 and it is enough to prove that this triple is zero.
Taking i=k=pt<pv in relation (T1) we get
[TABLE]
and, since at=p−1 (as t<v) we get (a+pt+pt)t=1 and hence,
by Lucas’s Formula, (pta+pt+pt)=1 and
zpt=0. Now suppose v≤t≤γ. From (T1), we get
[TABLE]
for 1≤i≤b. If t=v then we have (ia+pv+i)=0 for some 1≤i≤b (since (a+pv,b) is not James) and we get zpv=0. If v<t then for i=pv we have
(ia+i+pt)=(pva+pv+pt)=av+1=0, and again zpt=0. Hence (zk)=0.
For 1≤t<v, choosing i=pv, j=pt in (T3b) we get ypt=0. For v≤t≤γ we take i=pv, j=pt in (T3a) to get ypt=0. Hence (yj)=0 and we are done.
∎
Remark 10.3**.**
(i) Therefore form now on we can assume that valp(a+pv+1)>β (i.e. (a,b+pv) is James), which means that at=p−1 for 0≤t≤β,t=v and av=p−2.
(ii) Recall that we are assuming that γ≥v.
These assumptions will be in force for the rest of this section.
Lemma 10.4**.**
Assume that (a,b) is split. Under the assumptions of Remark 10.3, in any coherent triple (xi),(yj),(zk) for λ=(a,b,c) we have:
(i) xi=0 for i=pv; and
(ii) zk=0 for k=pv.
Proof.
Suppose 1≤i≤b. If (ia+i)=0 then we have ah+ih≤p−1 for all 0≤h≤β, by Remark 3.1. But by Remark 10.3 the only possibility is i=pv. This proves that xist=0, for 1≤i≤b, i=pv and also proves that zkst=0, for 1≤k≤c, k=pv. Moreover, since (a,b) is split (xi) is a multiple of the standard sequence and we have (i).
Since (a,c) is not James, it is either split or pointed. If (a,c) is split then (zk) is a multiple of the standard sequence and hence zk=0 for k=pv. If (a,c) is pointed then (zk) is a linear combination of the sequences (zkst) and (zkpt). Now zkst=zkpt=0 for k=pv,pγ. If γ=v we are done. If γ>v we take i=j=pγ in (T1) to get
[TABLE]
Now aγ=p−1 and we get (pγa+pγ+pγ)=1 so that zpγ=0 and we are done.
∎
Remark 10.5**.**
Assume that (a+pv,b) is James. If (xi),(yj),(zk) is a triple of extension sequences for λ and xi=0 for i=pv and zk=0 for k=pv then relation (T1) is satisfied. In fact both sides of the equation (T1) are zero. If xi=0 then i=pv and in that case (ka+i+k)=0 (since (a+pv,b) is James). This shows that the left hand side is [math]. The argument also shows that the right hand side is [math].
Remark 10.6**.**
Assume that (a,b) is split. Under the assumptions of Remark 10.3, we have by Lemma 10.4 that in any coherent triple (xi),(yj),(zk) for λ=(a,b,c), xi=0 for i=pv. Here we give a very simple expression of the relations (T3a) and (T3b) for these partitions. If a term (sa+i)xi−s=0 appearing in the right hand side is non-zero then we have i−s=pv so that (sa+i)=(sa+pv+s)=0. Since s≤c and (a+pv,c) is James the only possibility is s=0. Hence the equations take the following forms
[TABLE]
for 1≤i≤j≤c, and
[TABLE]
for 1≤j≤c, j<i≤b+j.
It will be easier sometimes to use these simplified forms of (T3a) and (T3b) in order to prove that certain partitions λ are not split.
Lemma 10.7**.**
If (a,b) is split and (b,c) is James then λ=(a,b,c) is non-split if and only if γ=v, cv=1 and lenp(b+pv)<valp(a+pv+1).
In this case E(λ) is spanned by the standard triple and the triple (xi),(yj),(zk) with (xi)=0, ypv=1, zpv=−1 and yk=zk=0 for k=pv.
Proof.
Assume that λ is non-split. Then there exists a non-standard coherent triple (xi),(yj),(zk) for λ and, subtracting a multiple of the standard triple we obtain a non-zero coherent triple, also denoted (xi),(yj),(zk), in which (xi)=0. Taking i=j=pv in (T3a) we obtain, via Remark 10.3, that (p−1)ypv=zpv, i.e., ypv+zpv=0. If γ>v then ypv=0 since (b,c) is James and so zpv=0. Moreover, taking i=pv and j=pγ in (T3a) we get that ypγ=0 and so λ is split. Therefore we must have that v=γ.
Now if pv<tpv≤c then, taking i=pv, j=tpv in (T3a) we get −ytpv=0 since (b,c) is James. But (yj) is an extension sequence for the James partition (b,c) so this is only possible if (yj)=0. But then (xi),(yj),(zk) is the zero triple and λ is split. Hence (if λ is non-split) we must have cv=1.
Moreover, we have yk=zk=0 for k=pv and ypv+zpv=0. Hence λ is non-split if and only if E(λ) is spanned by the standard coherent triple and the triple (xi),(yj),(zk) with (xi)=0, ypv=1, zpv=−1 and yk=zk=0 for k=pv.
It remains to determine when this triple is coherent. The condition (T1) is satisfied by Remark 10.5. The condition (T2) is that (ka+k)=0 for pv+k≤c (using the fact that (b,c) is James). This implies that k<pv, since cv=cγ=1 and so (T2) holds.
We now consider (T3a). For i=j it is enough to check (T3a) for i=j=pv and we have already done this. For i<j the right hand side is always zero (since (b,c) is James) and it is enough to take j=pv. But then (ia+i)=0 so that (T3a) holds.
Now (T3b) holds if and only if we have
[TABLE]
for pv<i≤pv+b. We claim that this is exactly the condition for
(a+pv,b+pv) to be James, i.e., lenp(b+pv)<valp(a+pv+1). First assume that this condition holds. Then we get at=p−1 for all pv<pt≤pv+b and so (a+pv)t=p−1 for all pt≤b+pv, i.e., (a+pv,b+pv) is James. We leave it to the reader to check the reverse and thus complete the proof.
∎
Therefore from now on we consider cases in which γ≥w (i.e., (b,c) is not James). Recall that we also always assuming that γ≥v.
Remark 10.8**.**
Assume that γ≥w (and so (b,c) is not James). Then after subtracting a multiple of a standard solution from an arbitrary coherent triple we can get a coherent triple (xi),(yj),(zk) in which yj=0 for j=pγ (with ypγ also [math] if (b,c) is split).
Lemma 10.9**.**
If γ≥w>v then λ=(a,b,c) is split.
Proof.
By Remark 10.8, we can subtract a standard triple from an arbitrary coherent triple to obtain a coherent triple (xi),(yj),(zk) in which yj=0 for j=pγ. Also by Lemma 10.4, we have xi=0 for i=pv and zk=0 for k=pv. Hence, it is enough to prove that xpv=zpv=ypγ=0.
First notice that ypw=0. This is certainly true if γ>w. If γ=w then (b,c) is split and so we have again that ypw=0.
Setting now i=pv and j=pw in relation (T3a) we have that,
[TABLE]
Moreover, we have that (pwb+pw−pv)=(bw+1). Also, (pw−pvb+pw−pv)=0 as (b−pv+pw)v=p−2 and (pw−pv)v=p−1. Hence we conclude that (bw+1)xpv=0 and so xpv=0. Now taking i=j=pv in (T3a) we get that zpv=0, since ypv=xpv=0.
Finally, for i=pv and j=pγ in (T3a) we get again that (pva+pv)ypγ=0, and since av=p−2 we obtain −ypγ=0 and we are done, i.e., we have shown that E(λ) is spanned by the standard triple.
∎
Therefore we can assume from now on that γ≥v≥w.
Lemma 10.10**.**
If γ>v>w then λ=(a,b,c) is split.
Proof.
Again after subtracting a standard triple from an arbitrary coherent triple we can obtain a coherent triple (xi),(yj),(zk) in which yj=0 for j=pγ. Also by Lemma 10.4 we have that xi=0 for i=pv and zk=0 for k=pv and so it is enough to prove that xpv=zpv=ypγ=0.
Since γ>v>w we have that pv+pw≤c. Applying relation (T2) with j=pw and k=pv, we have
[TABLE]
and so zpv=0.
Now taking i=pv and j=pw in relation (T3b) we get
[TABLE]
and so xpv=0.
Finally, taking i=pv and j=pγ in (T3a) we get (pva+pv)ypγ=0, and since av=p−2, we have that −ypγ=0. Hence E(λ) is spanned by the standard triple.
∎
Therefore we are left with the following three cases γ=v=w, γ=v>w and γ>v=w.
Note that if γ=v=w then (b,c) is split.
Lemma 10.11**.**
Suppose that (a,b) is split and that (b,c) is split. Then λ=(a,b,c) is non-split if and only if (a+pv,b) is James and :
(i) if bv=0 then valp(b−pv+1)>γ (in particular b−pv≥c);
(ii) if bv=0 then γ=v=w and cγ=1.
If λ is non-split then E(λ) is spanned by the standard triple and the triple (xi),(yj),(zk) with (yj)=0, xi=0 for i=pv, zk=0 for k=pv, xpv=1 and zpv=−bv.
Proof.
Assume that λ is non-split. Let (xi),(yj),(zk) be a non-standard coherent triple for λ. By subtracting a multiple of the standard triple we obtain a non-zero coherent triple, also denoted (xi),(yj),(zk), in which (yj)=0 and by Lemma 10.4 xi=0 for i=pv and zk=0 for k=pv. We apply (T3a) in the form of (*) of Remark 10.6, with i=j=pv (which we may do since γ≥v) and we get (pvb)xpv+zpv=0. Hence we must have that xpv=0 and, after scaling, we may assume that xpv=1 and zpv=−bv. Now we just need to check the conditions for this triple to be coherent.
We check (T3b) in the form of (**) of Remark 10.6. This is clearly satisfied unless i=pv, in which case we have that (T3b) will be satisfied if and only if, for all 1≤j<pv we have (jb−pv+j)=0, i.e., (b−pv,pv−1) is James (in particular b≥2pv−1). We now assume this. Notice that this gives directly that w≥v and since v≥w we have that v=w.
Condition (T1) is satisfied by Remark 10.5.
We consider the cases: (i) bv=0 and; (ii) bv=0.
Case (i). Suppose bv=0. The condition (T2) is satisfied trivially. In (T3a) (in the form of (*) of Remark 10.6) we can assume that i=pv and the condition is that (jb+j−pv)=0 for all pv≤j≤c. However, we also have that (b−pv,pv−1) is James and (pvb+pv−pv)=bv=0 so the condition is precisely that (b−pv,c) is James, i.e., valp(b−pv+1)>γ (in particular b−pv≥c).
Case (ii). Suppose bv=0. Then (T2) gives (jb+j)=0 for 1≤j≤c−pv, i.e., (b,c−pv) is James. Note that this implies lenp(c−pv)<lenp(c) (since (b,c) is not James) and since γ≥v=w we get that v=γ and cγ=1.
We now consider (T3a), in the form of (*) of Remark 10.6. Once again we only need to consider the case i=pv and the condition is then (jb+j−pv)−(j−pvb+j−pv)bv=0 for pv≤j≤c. The condition holds if j=pv. Writing j=pv+t, with 1≤t≤c−pv≤pv−1 the condition is (t+pvb+t)=(tb+t)bv, for 1≤t≤c−pv or, since (b,c−pv) is James, (t+pvb+t)=0, for 1≤t≤c−pv.
So let 1≤t≤c−pv. Hence lenp(t)≤lenp(c−pv)<v (since γ=v and cv=1). Now we have (ti(b+t)i)=0, for some 0≤i<v, by Lucas’s Formula and the fact that (b,c−pv) is James. But then, since i<v we have (t+pv)i=ti and so (t+pvb+t)=0, by Lucas’s Formula again.
∎
We have dealt with the situation in which (b,c) is split and we move on to the case in which (b,c) is pointed.
Lemma 10.12**.**
Assume that (b,c) is pointed and γ=v>w. Then λ=(a,b,c) is non-split if and only if lenp(b+pv)<valp(a+pv+1).
In that case E(λ) is spanned by the standard triple and the triple (xi),(yj),(zk) with (xi)=0, yj=zk=0 for j,k≤c and j,k=pv, and ypv=1, zpv=−1.
Proof.
Assume that λ is not split. Since (b,c) is pointed we may write c=c^+pγ, with c^<pw<pγ. After subtracting a standard triple from an arbitrary coherent triple and using Lemma 10.4 we can obtain a coherent triple (xi),(yj),(zk) in which xi=0, yj=0 and zk=0 for i,j,k=pv. Moreover, taking i=pv, j=pw, in the form (**) of (T3b) from Remark 10.6, we get
[TABLE]
and so xpv=0.
Taking i=j=pv in the form (*) of (T3a) from Remark 10.6, we get
[TABLE]
and, since av=p−2, we get ypv+zpv=0. Hence λ is non-split if and only if the triple (xi),(yj),(zk) with (xi)=0, yj=zk=0 for j,k≤c and j,k=pv, and ypv=1, zpv=−1 is coherent.
Certainly condition (T1) is satisfied. Note that in (T2) the left hand side is [math] since we either have j=pv or 1≤k≤c^<pv. Similarly the right hand side is [math] so that (T2) is satisfied.
We now consider (T3a) in the form (*) from Remark 10.6. For i=j we need only to consider i=j=pv, and this we have already done. So we assume that i<j. We may assume that i=pv or j=pv. For i=pv<j≤c since γ=v we have j=pv+t with 1≤t≤c^. So the condition reads 0=(j−pvb+j−pv)=(tb+t) i.e., (b,c^) is James, but this is true by hypothesis, since c^<pw. For 1≤i<j=pv both sides are [math] and the condition holds.
Finally, we consider (T3b) in the form (**) from Remark 10.6. The condition is simply that (ia+i)=0 for all pv<i≤b+pv. Now we already have (pha+pv+ph)=ah+1=0 for 1≤h<v and (pva+pv+pv)=av+2=0. Moreover for pv<ph≤pv+b we have (pha+ph)=(pha+pv+ph), so the condition implies that (ta+pv+t)=0 for all t=ph≤b+pv, i.e., (a+pv,b+pv) is James. Moreover it is easy to reverse the argument to show that if (a+pv,b+pv) is James then (T3b) holds.
∎
Lemma 10.13**.**
Assume that (b,c) is pointed and γ>v=w. Then λ=(a,b,c) is non-split if and only if (a+pv,b) is James and either:
(i) valp(b−pv+1)>γ; or
(ii) valp(b−pv+1)=γ and lenp(b+pγ)<valp(a+pv+1).
If λ is non-split then E(λ) is spanned by the standard triple and the triple (xi),(yj),(zk) with (zk)=0, xi=0 for i=pv, xpv=1, yj=0 for j=pγ and ypv=−bγ.
Proof.
Assume that λ is not split. We write c=c^+pγ with c^<pv<pγ.
By Lemma 10.4, from an arbitrary coherent triple we may subtract a multiple of the standard triple to obtain a coherent triple (xi),(yj),(zk) with
xi=0 for i=pv, zk=0 for k=pv and yj=0 for j=pγ.
We show first that zpv=0. Indeed, since v<γ the relation (T2) applies for j=k=pv and we get
[TABLE]
and since v=w we have bv+1=0 and so zpv=0.
Further, taking i=pv, j=pγ in relation (T3a), in the form (*) from Remark 10.6, we get
[TABLE]
Since av=p−2 the left hand side is −ypγ. Thus if xpv=0 then ypγ=0 and (xi),(yj),(zk) is the zero triple. Hence if λ is non-split there exists a non-standard triple with xpv=0.
Now taking i=pv≤j<pγ in (T3a), in the form (*) from Remark 10.6, we deduce that if λ is non-split then (jb−pv+j)=0. Moreover, if 1≤j<i=pv in (T3b),in the form (**) from Remark 10.6, we have yj=0 and so (jb−pv+j)=0. Thus, if λ is non-split, then (jb−pv+j)=0 for all j<pγ, i.e., valp(b−pv+1)≥γ. We now assume that this is the case.
But now (†) gives −ypγ=bγxpv. Thus λ is non-split if and only if the triple
(xi),(yj),(zk), with (zk)=0, xi=0 for i=pv, xpv=1, yj=0 for j=pγ and ypγ=−bγ, is coherent, and in this case E(λ) is spanned by the standard triple and this triple. It remains to check when this triple is coherent.
Certainly (T1) is satisfied. Condition (T2) is satisfied, since either yj=0 or j=pγ and then (ka+k)=0 as 1≤k≤c^<pv.
In equation (T3a), in the form (*) from Remark 10.6, the left hand side is [math] unless i=pv and j=pγ and we have already checked this case. Thus we require that in all other cases the right hand side is [math]. As usual, it is enough to check the case in which i=pv and the condition is then (if λ is non-split) (jb+j−pv)=0 for all pv≤j≤c, j=pγ. We have (jb−pv+j)=0 for 1≤j<pγ, since we are assuming valp(b−pv+1)≥γ. Hence the condition is that for all 1≤t≤c^ we have (pγ+tb−pv+pγ+t)=0. However, we may write b=pv−1+pγB, for some B≥1, and so (pγ+tb−pv+pγ+t)=(t+pγt−1+pγB+pγ), which from Lucas’s Formula is (tt−1)(B+1) and therefore [math]. Hence (T3a) is satisfied.
Finally we consider (T3b) in the form (**) from Remark 10.6. If the right hand side is non-zero then i=pv and in this case the right hand side is (jb+j−pv), with j<pv. But valp(b−pv+1)≥γ so that (jb+j−pv)=0. Hence the right hand side is always zero. If valp(b−pv+1)>γ then bγ=0 and so ypγ=0. Thus in this case the left hand side is also [math] and the coherence conditions are satisfied. This proves part (i).
So we can assume that valp(b−pv+1)=γ. As the right hand side in (T3b) is always [math] the condition to be checked is (ia+i)yj=0 for 1≤j<i≤b+j, i.e., (ia+i)=0 for pγ<i≤b+pγ. If (ia+i)=0 then we have ah+ih≤p−1 for all h≥0, by Remark 3.1. Hence by Remark 10.3 we have i=ivpv+pβ+1I, for some I and iv=0 or 1. Since pγ<i we must have I=0. But also i≤b+pγ gives pβ+1I≤pβ+1−1+pγ<2pβ+1 and so I=1. Hence (T3b) is not satisfied if and only if pβ+1≤b+pγ and (pβ+1a+pβ+1)=0, i.e. lenp(b+pγ)=valp(a+pv+1). So we must have that lenp(b+pγ)<valp(a+pv+1) and this proves part (ii).
∎
We summarise our findings from this section in the following result.
Proposition 10.14**.**
Let (a,b,c) be a partition with (a,b) split. Then λ=(a,b,c) is non split if and only if (a+pv,b) is James and one of the following holds.
(i) We have γ≥v=w and valp(b−pv+1)>γ. In this case E(λ) is spanned by the standard triple and the coherent triple (xi),(yj),(zk) with xpv=1,xi=0 for i=pv and (yj)=0, (zk)=0.
(ii) We have γ=v=w, bv=0, and cv=1. In this case E(λ) is spanned by the standard triple and the coherent triple (xi),(yj),(zk) with xpv=1,xi=0 for i=pv, with (yj)=0 and zpv=−bv,zk=0 for k=pv.
(iii) We have γ>v=w, valp(b−pv+1)=γ, c=c^+pγ with c^<pv and lenp(b+pγ)<valp(a+pv+1). In this case E(λ) is spanned by the standard triple and the coherent triple (xi),(yj),(zk) with xpv=1,xi=0 for i=pv, with ypv=−bγ,yj=0 for j=pγ and with (zk)=0.
(iv) We have γ=v<w, cγ=1 and lenp(b+pv)<valp(a+pv+1). In this case E(λ) is spanned by the standard triple and the coherent triple (xi),(yj),(zk) with (xi)=0, with ypv=1,yj=0 for j=pv and with zpv=−1,zk=0 for k=pv.
(v) We have γ=v>w, c=c^+pv with c^<pw and lenp(b+pv)<valp(a+pv+1). In this case E(λ) is spanned by the standard triple and the coherent triple (xi),(yj),(zk) with (xi)=0, with ypv=1,yj=0 for j=pv and with zpv=−1,zk=0 for k=pv.
Proof.
Part (i) follows by Lemma 10.11 (i) and Lemma 10.13 (i). Part (ii) is Lemma 10.11 (ii) and part (iii) is Lemma 10.13 (ii). Now (iv) is Lemma 10.7 and (v) is Lemma 10.12.
∎
11 Partitions (a,b,c) with (a,b) pointed.
We continue with our analysis of E(λ) for a 3-part partition λ=(a,b,c). We deal here with the remaining case in which (a,b) is pointed.
As usual we write β=lenp(b) and γ=lenp(c) for the p-adic lengths of b and c and v=valp(a+1) and w=valp(b+1) for the p-adic evaluations of a+1 and b+1.
Since (a,b) is pointed and may write b=b^+pβ with b^<pv<pβ. Notice that here we have that w≤v since bv=0.
Lemma 11.1**.**
If γ<w, i.e., (b,c) is James, then λ=(a,b,c) is non-split and E(λ) is spanned by the standard triple and the triple (xi),(yj),(zk) with xpβ=1, xi=0 for i=pβ and (yj)=0, (zk)=0.
Proof.
Let (xi),(yj),(zk) be a coherent triple for λ. Now (a,b) is pointed and by subtracting a multiple of the standard triple, we obtain a coherent triple, which we also denote (xi),(yj),(zk), in which xi=0 for i=pβ.
We claim that (yj)=0 and (zk)=0. Now (b,c) is James and since γ<w≤v so is (a,c). Thus it is enough to prove that ypγ=zpγ=0.
From (T1) with i=k=pγ we get
[TABLE]
and since γ<v we have aγ=p−1 so (pγa+pγ+pγ)=1 and zpγ=0.
From (T3b) with i=pv and j=pγ we get
[TABLE]
and so (av+1)ypγ=0. Since av+1=0 we get ypγ=0 as required.
Thus we will be done provided that we show that the triple (xi),(yj),(zk) described in the statement of the Lemma is coherent. For (T1) we require (ka+pβ+k)=0 for 1≤k≤c, i.e., (a+pβ,c) is James. But we have
valp(a+pβ+1)=v≥w>γ, so this is indeed the case.
In (T2) both sides are [math].
We have c<pw<pβ so that xi=0 for 1≤i≤c and therefore (T3a) holds.
A summand on the right hand side of (T3b) can only be non-zero if i−s=pβ and moreover, since (sa+pβ+s)=0, for 1≤s≤c (as (a+pβ,c) is James) so we may restrict attention to the case s=0. Hence the condition (T3b) is that (jb+j−pβ)=0 for j≤c.
But valp(b+1−pβ)=valp(b+1)>γ so that (b−pβ,c) is James and the condition is satisfied.
∎
Lemma 11.2**.**
If w≤γ<v then λ=(a,b,c) is split.
Proof.
Subtracting a multiple of the standard triple from an arbitrary coherent triple for λ we obtain a coherent triple (xi),(yj),(zk) with xi=0 for i=pβ. Since γ<v the partition (a,c) is James so that, to prove (zk)=0, it suffices to prove that zpγ=0. Now γ<v<β so, we may apply (T1) with i=k=pγ, which gives
[TABLE]
and, again since γ<v, we have aγ=p−1 so that (pγa+pγ+pγ)=1 and zpγ=0.
Taking i=pv in (T3b) we get (pva+pv)yj=0 for 1≤j≤c (as c<pv). Thus we have (av+1)yj=0 and therefore yj, for 1≤j≤c, i.e., (yj)=0.
Finally, taking i=pβ, j=pw in (T3b) we get
[TABLE]
and since bw+1=0 we get xpβ=0 and therefore (xi)=0. We have shown that all triples in E(λ) are standard, i.e., λ is split.
∎
We therefore assume from now on that γ≥v and so w≤v≤γ≤β.
Lemma 11.3**.**
If valp(a+pv+1)<β then λ=(a,b,c) is split.
Proof.
Since (a,b) is pointed we may subtract a standard triple from an arbitrary coherent triple to obtain a coherent triple (xi),(yj),(zk) in which xi=0 for i=pβ. We show first that (zk)=0. By Lemma 5.3 it is enough to show that zpt=0 for t≤γ. For t<v this follows directly from relation (T1) with i=k=pt since at=p−1.
Taking k=pv in relation (T1) we have that
[TABLE]
for 1≤i<pβ. Since valp(a+pv+1)<β the is some 1≤i<pβ such that
(ia+i+pv)=0 and hence zpv=0. Now suppose that t>v. Taking k=pt and i=pv in (T1) we have
[TABLE]
and since (pva+pv+pt)=av+1=0 we conclude that zpt=0 and hence (zk)=0.
We now show that (xi)=0. Setting i=pβ and k=pv in (T1) we have
[TABLE]
i.e., (av+1)xpβ=0 so that xpβ=0 and hence (xi)=0.
Finally, setting i=pv in (T3a) and (T3b) we get that (av+1)yj=0 for 1≤j≤c and hence (yj)=0.
We have shown that all triples in E(λ) are standard, i.e., λ is split.
∎
Remark 11.4**.**
(i) Therefore from now on we can assume that valp(a+pv+1)≥β, which means that at=p−1 for 0≤t<β, t=v and av=p−2.
(ii) Recall that we are also assuming w≤v≤γ≤β.
These assumptions will be in force for the rest of this section.
Lemma 11.5**.**
Assume that (a,b) is pointed. Under the assumptions of Remark 11.4, in any coherent triple (xi),(yj),(zk) for λ=(a,b,c) we have:
(i) xi=0 for i=pv,pβ;
(ii) zk=0 for k=pv,pβ;
(iii) zk=0 for k=pv, if γ<β;
Proof.
Let 1≤i≤b. If (ia+i)=0 then we have ah+ih≤p−1 for all 0≤h≤β. Hence we must have iv=0 or 1 and ih=0 for 0≤h<β, h=v. Moreover, bβ=1 so we must have i=pv,pβ or i=pv+pβ. However, the last case is not possible since b=b^+pβ<pv+pβ.
This proves (i) since (xi) is a linear combination of the standard sequence and the point sequence. It also proves zkst=0 for k=pv,pβ since c≤b. Hence also zk=0 for k=pv,pβ if (a,c) is split.
Now v≤γ so (a,c) is not James and hence is pointed if it is not split. In this case v<γ. If γ=β then since (zk) is a linear combination of the standard extension sequence and the point sequence we also get
zk=0 for k=pv,pβ. Now suppose v<γ<β. Applying (T1) with i=j=pγ we get 0=(pγa+pγ+pγ)zpγ. But aγ=p−1 so this gives zpγ=0. This proves (ii) and (iii).
∎
We consider now the situation in which β=γ.
Lemma 11.6**.**
Assume that β=γ. Then E(λ) is spanned by the standard triple and triples (xi),(yj),(zk) in which xi=0 for i=pv, yj=0 for j=pβ and zk=0 for k=pβ.
Proof.
Since v<γ=β we have that (b,c) is not James and hence is either split or pointed. Hence after subtracting a multiple of the standard triple from an arbitrary coherent triple for λ we can obtain a coherent triple (xi),(yj),(zk) in which yj=0 for j=pγ.
By Lemma 11.5 we have xi=0 for i=pv,pβ and zk=0 for k=pv,pβ.
We now show that zpv=xpβ=0. Since v<β we have pv+pv≤c and we may apply (T2) with j=k=pv to obtain
[TABLE]
Since (a,b) is pointed we have
bv=0 so that (pvb+pv)=1 and hence zpv=0.
Now taking i=pβ, k=pv in (T1) we obtain
[TABLE]
Hence (av+1)xpβ=0 and so xpβ=0 and we are done.
∎
Lemma 11.7**.**
If β=γ and w<v then λ=(a,b,c) is split.
Proof.
Let (xi),(yj),(zk) be a coherent triple for λ. By Lemma 11.6, we can subtract a standard triple to obtain a coherent triple, which we also denote (xi),(yj),(zk) in which xi=0 for i=pv, yj=0 for j=pβ and zk=0 for k=pβ.
Taking i=pv and j=pw in relation (T3b) we get
[TABLE]
and since (pwb+pw−pv)=bw+1=0 we get xpv=0.
Now taking k=pβ and i=pv in (T1) we have
[TABLE]
and since av+1=0, we get zpβ=0.
Finally, taking i=pv and j=pβ in (T3a) we get (av+1)ypβ=0, and so ypβ=0. Hence (xi),(yj),(zk) is the zero triple and E(λ) contains only standard triples, i.e., λ is split.
∎
Lemma 11.8**.**
Suppose β=γ. If λ=(a,b,c) is non-split then either valp(a+pv+1)>β or valp(a+pv+pβ+1)>β.
Proof.
By Lemma 11.3 we have that if (a,b,c) is non-split then we may write a=(pβ−1)−pv+pβa′. We shall assume that aβ=p−1,p−2 and show that λ=(a,b,c) is split. By Lemma 11.6 it is enough to prove if (xi),(yj),(zk) is a coherent triple for λ in which xi=0 for i=pv, yj=0 for j=pβ and zk=0 for k=pβ then this triple is [math].
Taking i=k=pβ is (T1) we get
[TABLE]
and since aβ=p−2 we obtain zpβ=0.
Now by (T1) again, this time with i=pv and k=pβ, we have
[TABLE]
and so (aβ+1)xpv=0. Since aβ=p−1 we have xpv=0.
Finally, taking i=pv and j=pβ in (T3a) we get that (av+1)ypβ=0 so that ypβ=0 and we are done.
∎
We now describe the non-split triples for the case β=γ.
Lemma 11.9**.**
Suppose β=γ. Then λ=(a,b,c) is non-split triple if and only if v=w, so b=pv−1+pβ, c=c^+pβ with c^<pv, and one of the following holds.
(i) lenp(b+pβ)<valp(a+pv+1).
In that case E(λ) is spanned by the standard triple and the triple (xi),(yj),(zk), with xpv=1, xi=0 for i=pv, with ypβ=−1, yj=0 for j=pβ, and (zk)=0.
(ii) lenp(b+pβ)<valp(a+pv+pβ+1).
In that case E(λ) is spanned by the standard triple and the triple (xi),(yj),(zk) with xpv=1, xi=0 for i=pβ, with ypβ=−1, yj=0 for j=pβ and zpβ=1, zk=0 for k=pβ.
Proof.
By Lemma 11.7 we have that if λ is not split then v=w and since (a,b) is pointed we have b=pv−1+pβ. By Lemma 11.6 we can subtract a multiple of a standard triple from a coherent triple to obtain a triple (xi),(yj),(zk) in which xi=0 for i=pv, yj=0 for j=pβ and zk=0 for k=pβ.
By Lemma 11.8 we have either either valp(a+pv+1)>β or
valp(a+pv+pβ+1)>β.
Case (i) : valp(a+pv+1)>β.
We note that equations (T3a) and (T3b) in this case take a simplified form. If a term (sa+i)xi−s=0 appearing in the right hand side is non-zero then we have i−s=pv so that (sa+i)=(sa+pv+s)=0. Since s≤c and (a+pv,c) is James (as valp(a+pv+1)>β) the only possibility is s=0. Hence the equations take the following forms
[TABLE]
for 1≤i≤j≤c, and
[TABLE]
for 1≤j≤c, j<i≤b+j.
We have aβ=p−1 and so for i=k=pβ in relation (T1) we get
[TABLE]
Now taking i=pv and j=pβ in (T3a) we obtain
[TABLE]
and since b−pv=pβ−1 we have that (pβb+pβ−pv)=1 and so we get that −ypβ=xpv. Thus our analysis of case (i) will be complete if we check the conditions for the triple (xi),(yj),(zk), with xpv=1, xi=0 for i=pv, and ypβ=−1, yj=0 for j=pβ, and (zk)=0 to be coherent.
Equation (T1) says that (ka+pv+k)=0, for 1≤k≤c, and this is true since vp(a+pv+1)>β=γ so that (a+pv,c) is James.
Equation (T2) says that (ka+k)=0 for k≥1 and pβ+k≤c. For such k we have pβ+k≤b=b^+pβ, hence k≤b^<pv and therefore (ka+k)=0.
Now (T3a), in the form (*), says
[TABLE]
for 1≤i≤j≤c. We may assume that i=pv or j=pβ. For i=pv, writing b=pv−1+pβ this becomes
[TABLE]
for pv≤j≤c. Both sides are [math] for j<pβ and 1 for j=pβ. For j>pβ we may write j=t+pβ, with 0<t<pv and then
[TABLE]
which is [math]. Hence (T3a) holds in case i=pv. Now suppose j=pβ. The condition is then
[TABLE]
for 1≤i≤pβ. We have already checked this for i=pv so the condition is that (ia+i)=0 for 1≤i≤pβ, i=pv. This holds for i=pβ by applying Lemma 11.5 (i) to the standard triple. For i=pβ the condition is that (pβa+pβ)=0 and this is true as aβ=p−1. Hence (T3a) holds.
We now consider (T3b) in the form (**). We may assume i=pv or j=pβ. For i=pv the condition is
[TABLE]
for 1≤j<pv or, since yj=0, that (jb+j−pv)=0, for 1≤j<pv. But (jb+j−pv)=(jpβ−1+j) so this is certainly true.
For j=pβ the condition is
[TABLE]
for pβ<i≤b+pβ. For such i we have xi=0 so the condition is
[TABLE]
for pβ<i≤b+pβ. Now if this condition holds then, for pv<pt≤b+pβ we have (pta+pv+pt)=(pta+pt)=0. But we also have (pta+pv+pt)=0 for pt≤pv so that (a+pv,b+pβ) is James. Suppose conversely that (a+pv,b+pβ) is James and that (ia+i)=0 for some pv<i≤b+pβ. Then we have ah+ih≤p−1 for all h≥0 and so iv=0 or 1 and ih=0 for h=v. But then i is [math] or pv, neither of which is possible since pv<i. Hence (T3b) holds if and only if (a+pv,b+pβ) is James, i.e. lenp(b+pβ)<valp(a+pv+1).
Case (ii): valp(a+pv+pβ+1)>β.
In this case we have aβ=p−2. Applying (T1) with i=pv, k=pβ gives
[TABLE]
i.e., −xpv=−zpβ so that xpv=zpβ. Taking i=pv, j=pβ in (T3a) we get
[TABLE]
i.e., −ypβ=(pβpβ+pβ−1)xpv and hence −ypβ=xpv. Thus our analysis of Case (ii) will be complete if we check the conditions for the triple (xi),(yj),(zk), with xpv=1, xi=0 for i=pv, and ypβ=−1, yj=0 for j=pβ, and zpβ=1, zk=0 for k=pβ, to be coherent.
In checking (T1) we may assume that i=pv or j=pβ. For i=pv the condition is that (ka+pv+k)=0 for all 1≤k≤c, k=pβ (we have already checked the case i=pv, k=pβ). However, if (ka+pv+k)=0 then we have (a+pv)h+kh≤p−1 for all h≥0. This gives kh=0 for all h=β and k=pβ, which is not the case. It remains to check k=pβ, 1≤i≤c, i=pv. The condition is
[TABLE]
If (ia+i+pβ)=0 then (a+pβ)h+ih≤p−1 for all h. This implies ih=0 for h=v and so i=pv which is not the case.
We now consider (T2). Suppose 1≤j,k≤c and j+k≤c. If (ka+k)yj=0 then j=pβ, but then pβ+k≤c≤b gives k<pv so that (ka+k)=0. Thus the left hand side of (T2) is [math] in all cases and, similarly so is the right hand side.
We now consider (T3a). We notice again that if a term (sa+i)xi−s appearing in the right hand side is non-zero then we have i−s=pv so that (sa+i)=(sa+pv+s)=0. Since valp(a+pv+pβ+1)>β this can only happens if s=0 or s=pβ. However for the latter case this would force i=pv+pβ and as i≤j≤c<pv+pβ this is illegal. Hence the only possible case is when s=0 and so (T3a) takes again the form
[TABLE]
for 1≤i≤j≤c, and
Suppose i=pv. Then the condition is
[TABLE]
i.e.,
[TABLE]
for pv≤j≤c. This is clear for j<pβ and for j=pβ. For pβ<j≤c we require (jpβ−1+j)=0. This is clear by writing j=pβ+t, with 1≤t<pv, and appealing to Lucas’s Formula.
Assume now that i=pβ. Then the condition is (pβa+pβ)yj=(j−pβb+j−pβ), or −yj=(j−pβpv−1+j) for pβ≤j≤c. This is certainly true for j=pβ and so we require (j−pβpv−1+j)=0 for pβ<j≤c. Again this becomes clear on writing j=pβ+t, 1≤t<pv, and using Lucas’s Formula.
Now suppose j=pβ. The condition is
[TABLE]
for 1≤i≤pβ. If i<pv then both sides are [math]. If i=pv the equation is 1=(pβpβ−1+pβ), which is true. For pv<i<pβ both sides are [math]. For i=pβ both sides of the equation are 1.
We now consider (T3b).
Let j<pβ. Then the left hand side in this relation is [math]. Now, we have that if a term (sa+i)xi−s appearing in the right hand side is non-zero then we have i−s=pv so that (sa+i)=(sa+pv+s)=0. Since valp(a+pv+pβ+1)>β this can only happen for s=0, s=pβ or s=pv+pβ. However, we also have that s≤j<pβ and so this leaves s=0 as the only option and so for j<pβ, (T3b) takes the form
[TABLE]
for 1≤j<pβ and j<i≤b+j. Now for i=pv the right hand side is [math] and so it remains to check this relation for i=pv where we get
[TABLE]
for 1≤j<pβ, which is clearly true.
Assume now that j>pβ. Then the left hand side again is [math] and if a term (sa+i)xi−s appearing in the right hand side is non-zero then we have i−s=pv so that (sa+i)=(sa+pv+s)=0. Since valp(a+pv+pβ+1)>β this can only happen for s=0, s=pβ or s=pv+pβ. Now since s≤c<pv+pβ we have that the last case is impossible. Moreover, if s=0 that would force i=pv which is illegal since pβ<j<i. Hence this leaves s=pβ as the only option and so for j>pβ, (T3b) takes the form
[TABLE]
for 1<pβ<j≤c and j<i≤b+j. Now for i=pv+pβ the right hand side is [math] and so it remains to check this relation for i=pv+pβ where we get
[TABLE]
for pβ<j≤c. But such j has the form j=pβ+t with 0<t<pv and so we have
[TABLE]
and since 0<t<pv this is clearly true.
Hence, it remains to consider the case j=pβ. Making the same remarks as before for the right hand side of the relation we have that the relation takes the form
[TABLE]
for pβ<i≤b+pβ. This is true for i=pv+pβ and so the condition remaining to be checked is (ia+i)=0 for pβ<i≤b+pβ. One easily check (cf. the final step of Case (i)) that this is exactly the condition for (a+pv+pβ,b+pβ) to be James, i.e. lenp(b+pβ)<valp(a+pv+pβ+1).
∎
We continue with the cases in which β>γ.
Lemma 11.10**.**
Assume that v<γ<β. Then E(λ) is spanned by standard triples and triples (xi),(yj),(zk) in which xi=0 for i=pv, (yj)=0 and (zk)=0.
Proof.
Since (a,b) is pointed we may write b=b^+pβ with b^<pv<pβ, in particular we have bv=0 and bγ=0. Since γ>v we can subtract a multiple of a standard triple from an arbitrary coherent triple to obtain a coherent triple (xi),(yj),(zk) in which yj=0 for j=pγ. By Lemma 11.5 we have xi=0 for i=pv,pβ and zk=0 for k=pv. Since v<γ we have pv+pv≤c and so (T2) with j=k=pv gives
(pvb+pv)zpv=0, i.e. , zpv=0 so that the sequence (zk) is [math]. Now taking i=pβ, k=pv in (T1) gives (pva+pβ+pv)xpβ=0 i.e., (av+1)xpβ=0 so that xpβ=0. Finally, taking i=pv and j=pγ in (T3a) we get
[TABLE]
i.e., −ypγ=bγxpv and since bγ=0 we get ypγ=0 and therefore the sequence (yj) is [math].
∎
Lemma 11.11**.**
If w<v<γ<β then λ=(a,b,c) is split.
Proof.
By Lemma 11.10 we can subtract a standard triple to obtain a coherent triple (xi),(yj),(zk) with xi=0 for i=pv, (yj)=0 and (zk)=0.
Taking i=pv and j=pw in (T3b) gives 0=(pwb+pw−pv)xpv i.e., 0=xpv(bw+1) and so xpv=0. Hence (xi),(yj),(zk) is the zero triple and E(λ) contains only standard triples, i.e., λ is split.
∎
Lemma 11.12**.**
If w=v<γ<β then λ=(a,b,c) is non-split and E(λ) is spanned by standard triples and the triple (xi),(yj),(zk) in which, xpv=1,xi=0 for i=pv, (yj)=0 and (zk)=0
Proof.
Since (a,b) is pointed and w=v we have b=pv−1+pβ. This implies that (b−pv,c) is James and that bv=0.
By Lemma 11.10 it is enough to prove that the given triple is coherent. Condition (T1) reduces to the statement that (ka+pv+k)=0 for 1≤k≤c and this is true since (a+pv,c) is James. Condition (T2) is satisfied since all terms are [math].
Condition (T3a) holds provided that
[TABLE]
for i=pv+s≤j≤c. If s=0 then (sa+pv+s)=0 since (a+pv,c) is James and so (T3a) reduces to the condition that
[TABLE]
i.e., (jpβ−1+j)=0, for pv≤j≤c, which holds since (pβ−1,c) is James.
Finally, for (T3b) we require
[TABLE]
for 1≤j≤c, j<pv+s≤b+j, and with s≤j. Again this reduces to 0=(jb+j−pv) i.e., (jpβ−1+j)=0, and this holds since (pβ−1,c) is James.
∎
We finish off with the last cases where γ=v≥w.
Lemma 11.13**.**
If w=v=γ then λ=(a,b,c) is non-split and E(λ) is spanned by standard triple and the triple (xi),(yj),(zk) in which xpv=1, xi=0 for i=pv, (yj)=0 and (zk)=0.
Proof.
Since γ=w the partition (b,c) is split. Subtracting a standard triple from an arbitrary coherent triple we can obtain a triple (xi),(yj),(zk) in which (yj)=0. Further, by Lemma 11.5, we have xi=0 for i=pv,pβ and zk=0 for k=pv.
Taking i=j=pv in (T3a) we have (pvb)xpv+zpv=0 and bv=bw=0 (since (a,b) is pointed) and hence zpv=0. Now taking i=pβ, k=pv in (T1) we get (pva+pβ+pv)xpβ=0, i.e. (av+1)xpβ=0 and so xpβ=0.
It remains to check that the triple (xi),(yj),(zk) described in the statement of the lemma is coherent. The condition (T1) reduces to the statement that (ka+pv+k)=0 for all 1≤k≤c, and this is true since (a+pv,c) is James. Condition (T2) is satisfied trivially.
We now consider (T3a). We check that 0=∑s=0i−1(j−sb+j−i)(sa+i)xi−s, for 1≤i≤j≤c. Now xi−s is zero unless i−s=pv and then (sa+i)=(sa+pv+s) is zero for s=0 (as (a+pv,c) is James). Hence the condition to be checked is (jb+j−pv)=0, for pv≤j≤c. But, since v=γ we have b=pv−1+pβ and (b−pv,c) is James so that (jb+j−pv)=0, for pv≤j≤c, as required.
Similarly, condition (T3b) reduces to the condition that (jb+j−pv)=0 for all 1≤j<pv and this is also guaranteed by the fact that (b−pv,c) is James.
∎
Lemma 11.14**.**
If w<v=γ and (b,c) is split then λ=(a,b,c) is split.
Proof.
Subtracting a standard triple from an arbitrary coherent triple for λ we can obtain a coherent triple (xi),(yj),(zk) in which (yj)=0. By Lemma 11.5 we have xi=0 for i=pv,pβ and zk=0 for k=pv.
Taking i=pv and j=pw in (T3b) we have
[TABLE]
and hence xpv=0.
Taking i=pβ and j=pw in (T3b) we have
[TABLE]
and so xpβ=0.
Taking 1≤i=j≤c in (T3a) we now obtain zi=0, for all 1≤i≤c. Hence (xi),(yj),(zk) is the [math] triple and every coherent triple is standard, i.e., λ is split.
∎
Lemma 11.15**.**
If w<v=γ and (b,c) is pointed then λ=(a,b,c) is non-split if and only if β<valp(a+pv+1).
*In that case E(λ) is spanned by the standard solutions and the triple
(xi),(yj),(zk) with (xi)=0, ypv=1, yj=0 for j=pv, zpv=−1 and zk=0 for k=pv.*
Proof.
Assume that λ is non-split. By Lemma 11.5 we may subtract, from an arbitrary coherent triple, a standard triple to obtain a coherent triple (xi), (yj), (zk) in which
xi=0 for i=pv,pβ, yj=0 for j=pβ and zk=0 for k=pv.
Taking i=pv and j=pw in (T3b) we obtain
[TABLE]
and so xpv=0.
Again by (T3b), with i=pβ and j=pw we have
[TABLE]
so that xpβ=0 and hence (xi)=0.
Now by (T3a) with i=j=pv we get −ypv=zpv.
By Remark 11.4 we may write a=(pβ−1)−pv+pβa′. We show that aβ=p−1. If aβ=p−1 then for i=pβ and k=pv in relation (T1) we get
[TABLE]
i.e. zpv=0 and so λ is split. Hence we have that aβ=p−1 and so (a+pv,b) is James, i.e. β<valp(a+pv+1).
It remains to prove that the triple specified in the statement of the Lemma is coherent.
For (T1) we require (ia+i+pv)=0, for 1≤i≤c, and this is true since (a+pv,b) is James.
We now consider (T2). If (ka+k)yj=0, with 1≤j,k≤c, j+k≤c, then we must have j=pv=pγ and so pγ+k<pw+pγ and
k<pw<pv so that (ka+k)=0. Hence the left hand side of (T2) is zero for all relevant values of j and k. Similarly, if (jb+j)zk=0 with 1≤j,k≤c, j+k≤c, then k=pv=pγ and so j<pw and (jb+j)=0. Hence the right hand side of (T2) is also zero for all relevant values of j and k.
We now consider (T3a). If i=j=pv then the equation reads (pva+pv)=−1, which is true. If i=pv and pv<j≤c then the condition is (j−pvb+j−pv)=0. Writing t=j−pv=j−pγ we have t<pw and so (j−pvb+j−pv)=(tb+t)=0. For i=pv then condition is (ia+i)=0, and this is true.
Finally we consider the condition (T3b). The condition is that (ia+i)=0 for pv<i≤b+pv. But if (ia+i)=0 then ah+in≤p−1 for all h≥0. But then ih=0 for h=v and iv=1. Hence i=pv. But pv<i so this is not possible.
∎
We gather together the main results of this section in the following result.
Proposition 11.16**.**
Let λ=(a,b,c) be a partition with (a,b) pointed, so that b has the form b=b^+pβ with b^<pv<pβ. Then (a,b,c) is non split if and only if it has one of the following forms:
(i) β>γ≥v=w and valp(a+pv+1)≥β. In this case E(λ) is spanned by the standard triple and the coherent triple (xi),(yj),(zk) with xpv=1,xi=0 for i=pv and (yj)=0, (zk)=0.
(ii) β=γ>v=w and lenp(b+pβ)<valp(a+pv+1). In this case E(λ) is spanned by the standard triple and the coherent triple (xi),(yj),(zk) with xpv=1,xi=0 for i=pv, with ypβ=−1,yj=0 for j=pβ and with (zk)=0.
(iii) β=γ>v=w and lenp(b+pβ)<valp(a+pv+pβ+1). In this case E(λ) is spanned by the standard triple and the coherent triple (xi),(yj),(zk) with xpv=1,xi=0 for i=pv, with ypβ=−1,yj=0 for j=pβ and with zpβ=1,zk=0 for k=pβ.
(iv) v≥w>γ. In this case E(λ) is spanned by the standard triple and the coherent triple (xi),(yj),(zk) with xpβ=1,xi=0 for i=pβ and (yj)=0, (zk)=0.
(v) γ=v>w, valp(a+pv+1)>β and c=c^+pv with c^<pw. In this case E(λ) is spanned by the standard triple and the coherent triple (xi),(yj),(zk) with (xi)=0, with ypv=−1,yj=0 for j=pv and with zpv=−1,zk=0 for k=pv.
Proof.
Part (i) follows by Lemmas 11.3, 11.12 and 11.13. Part (ii) is Lemma 11.9 (i) and part (iii) is Lemma 11.9 (ii). Now (iv) is Lemma 11.1 and (v) is Lemma 11.15.
∎
12 Non-split partitions
12.1 A partition is either James or constrained.
Recall that a partition λ is constrained if
ExtB(N)1(SdE,Kλ), has dimension at most 1 where d=∣λ∣, N is at least the number of parts of λ and E is the natural G(N)-module. Equivalently λ is constrained if E(λ) is spanned by the standard multi-sequence and at most one other multi-sequence, so if λ is not James, the condition is that E(λ) has dimension at most 2.
We have already dealt with James partitions, in Section 7, so the following, which is a consequence of Propositions 10.14 and 11.16, is very reassuring.
Theorem 12.1**.**
A partition is either James or constrained.
Proof.
We may assume that λ is not James. Let 1≤r<n be minimal such that (λr,λr+1) is not James. If r=n−1 then the result follows by Proposition 9.5. Hence we may assume that r<n−1 and then by Proposition 9.4(i) we have that the restriction map E(λ)→E(λr,λr+1,λr+2) is injective. Now by Propositions 10.14 and 11.16 we have that the partition (λr,λr+1,λr+2) is constrained and we are done.
∎
Remark 12.2**.**
From now on λ=(λ1,…,λn) denotes a partition of length n≥4 which is not James and non-split. We let 1≤r<n be minimal such that (λr,λr+1) is not James. Since we have done already the case in which r=n−1, in Proposition 9.5, we also assume that r<n−1. Moreover, by Lemma 9.2 and Proposition 9.4(i) we know that (λr,λr+1,λr+2) is non-split and that (if n≥r+3) (λr+3,…,λn) is James. These properties will be our standard assumptions in this section and from now on we will assume that λ has always such a form without further reference. In this section we give a complete description of the non-split, non-James partitions*.*
We note that our results so far do not give any information for the pair (λr+2,λr+3) (for n≥r+3). This pair may or may not be James. We will investigate these two possibilities separately, starting with the case in which (λr+2,λr+3) is not a James partition.
12.2 The case in which (λr+2,λr+3) is not James.
We state now the general result for the case in which (λr+2,λr+3) is not a James partition. As usual we set vi=valp(λi+1), 1≤i≤n−1, and li=lenp(λi), for 2≤i≤n.
We assume throughout this subsection that n>r+2 and that (λr+2,λr+3) is not James.
Proposition 12.3**.**
Suppose that λ is not James and r<n−2 is minimal such that (λr,λr+1) is not a James partition. Assume further that (λr+2,λr+3) is not James and that (λr+3,…,λn) is James. Then the partition λ is non-split if and only if the quadruple
(λr,λr+1,λr+2,λr+3) satisfies the following conditions:
(i) λr=(plr+1+1−1)−pvr+plr+1+1λr′, for some λr′≥0; and
(ii) λr+1=(pvr+1−1)−pvr+pvr+1λr+1′, (λr+1)vr=0 and λr+1′≥0; and
(iii) λr+2=pvr−1+pvr; and
(iv) λr+3=λ^r+3+pvr, with 0≤λ^r+3<pvr.
If these conditions hold then E(λ) is spanned by the standard multi-sequence and a non-zero multi-sequence (y(t,u)i) satisfying
[TABLE]
and y(s,t)i=0 for all the other choices of s,t and i.
Note that since we require in condition (ii) that λr+1=(pvr+1−1)−pvr+pvr+1λr+1′ with (λr+1)vr=0, this case does not appear in characteristic 2. In particular, in characteristic 2 the assumption that (λr+2,λr+3) is not James forces λ to split.
We give a proof of this proposition in a series of Lemmas. Since
(λr,λr+1,λr+2) is non-split and (λr,λr+1) is not James, the three part partition must have one of the forms described in Proposition 10.14 or Proposition 11.16. Though there are many possibilities the remarkable fact is that only in a single case, namely that described in Proposition 10.14(ii), is it possible for λ to be non-split.
Our method is to work through all these possibilities in turn, but leaving the case described in Proposition 10.14(ii) until last. The consideration of all these split cases occupies Lemmas 12.5 to 12.13. The final exceptional case is dealt with in Lemma 12.14.
We assume until further notice that n≥r+3. Before we embark on Lemmas 12.5 to 12.14, we prove the following useful result that we will use repeatedly.
Lemma 12.4**.**
The restriction map E(λ)→E(λr+1,λr+2,λr+3) is injective, equivalently if (y(t,u)i) is a coherent multi-sequence in which the extension sequences (y(r+1,r+2)i) and (y(r+2,r+3)i) are zero then (y(t,u)i) is identically zero.
In particular if (λr+1,λr+2,λr+3) is split then λ is split.
Proof.
Let (y(t,u)i) be a coherent multi-sequence in which (y(r+1,r+2)i) and (y(r+2,r+3)i) are zero. By the commuting relation (C) for the pairs (r,r+1) and (r+2,r+3), and using the facts that (y(r+2,r+3)j)=0 and (λr+2,λr+3) is not James we deduce that
(y(r,r+1)i)=0. Hence we have that (y(r,r+1)i)=0 and (y(r+1,r+2)j)=0 and so by Proposition 9.4 (i) λ splits.
∎
The Lemmas 12.5 to 12.8 which follow correspond to the cases in which (λr,λr+1,λr+2) has the form described in Proposition 10.14 (i), (iii), (iv),(v). We therefore adopt as standing assumptions that (λr,λr+1) is split and lr+1<valp(λr+pvr+1).
Our strategy is the same in all cases, namely we show that by subtracting a standard multi-sequence from an arbitrary coherent multi-sequence for λ we can obtain a coherent multi-sequence (y(t,u)i) in which the extension sequences (y(r+1,r+2)i and (y(r+2,r+3)j) are zero. Thus, by Lemma 12.4, (y(t,u)i) is identically zero and hence any coherent multi-sequence is standard.
Our detailed analysis begins with the case in which (λr,λr+1,λr+2) has the form described in Proposition 10.14(i).
Lemma 12.5**.**
Suppose lr+2≥vr=vr+1, with lr+1<valp(λr+pvr+1) and valp(λr+1−pvr+1)>lr+2. Then λ is split.
Proof.
By Proposition 10.4(i), by subtracting a standard multi-sequence from an arbitrary multi-sequence for λ we can obtain a multi-sequence (y(t,u)i) in which the sequences (y(r+1,r+2)j)=0 and (y(r,r+2)k)=0 and that y(r,r+1)i=0 for i=pvr. It remains to prove that
(y(r+2,r+3)i)=0.
We first show (y(r+1,r+3)k)=0. The pairs (r,r+2) and (r+1,r+3) are related via the commuting relation (C), and so we have
[TABLE]
Since (y(r,r+2)k)=0 we have
[TABLE]
for 1≤k≤λr+2. Now as lr+2≥vr we can choose k=pvr and we have that (pvrλr+pvr)=0. Therefore, we deduce that (y(r+1,r+3)i)=0.
We consider (λr+1,λr+2,λr+3). We have the coherent triple (xi), (yj), (zk) with xi=y(r+1,r+2)i, yj=y(r+2,r+3)j, zk=y(r+1,r+3)k, for 1≤i≤λr+2, 1≤j,k≤λr+3
Since
y((r+1,r+3)k)=0 and (y(r+1,r+2)j)=0 we have (xi)=0 and (zk)=0. Since vr=vr+1, by setting i=pvr in relations (T3a) and (T3b) we deduce that (yj)=0, i.e, (y(r+2,r+3)j)=0 and we are done.
∎
We now treat the case in which (λr+1,λr+2,λr+3) has the form described in Proposition 10.14(iii).
Lemma 12.6**.**
Suppose lr+2>vr=vr+1, with lenp(λr+1+plr+2)<valp(λr+pvr+1), valp(λr+1−pvr+1)=lr+2 and λr+2=λ^r+2+plr+2, with λ^r+2<pvr. Then λ is split.
Proof.
By Proposition 10.4(iii), by subtracting a standard multi-sequence from an arbitrary multi-sequence for λ we can obtain a multi-sequence (y(t,u)i) in which (y(r,r+2)k)=0, y(r,r+1)i=0 for i=pvr, y(r+1,r+2)j=0 for j=plr+2 and
[TABLE]
Hence, by Lemma 12.4, it suffices to show that y(r+1,r+2)plr+2=0 and (y(r+2,r+3)j)=0. Notice though that if (y(r+2,r+3)j)=0, then by the commuting relation for the pairs (r,r+1) and (r+2,r+3) (and the fact that (λr+2,λr+3) is not James) we get that (y(r,r+1)i)=0, in particular y(r,r+1)pvr=0. Then from (*) we deduce directly that y(r+1,r+2)plr+2=0. Therefore, it is enough to show that (y(r+2,r+3)j)=0. We show first that (y(r,r+3)k)=0. The pairs (r+1,r+2) and (r,r+3) are related via the commuting relation (C), and
[TABLE]
Now since lr+2>vr=vr+1 and y(r+1,r+2)pvr=0, setting j=pvr we get directly that y(r,r+3)k=0.
We consider now (λr,λr+2,λr+3). We have the coherent triple (xi), (yj), (zk) with xi=y(r,r+2)i, yj=y(r+2,r+3)j, zk=y(r,r+3)k, for 1≤i≤λr+2, 1≤j,k≤λr+3. Moreover, we have (xi)=0, (zk)=0.
Setting i=pvr in relations (T3a) and (T3b) we obtain (yj)=0, i.e., y(r+2,r+3)j=0 for all 1≤j≤λr+3, and we are done.
∎
We now treat the case in which (λr+1,λr+2,λr+3) has the form described in Proposition 10.14(iv).
Lemma 12.7**.**
Suppose lr+2=vr<vr+1, with lenp(λr+1+plr+2)<valp(λr+pvr+1) and λr+2=λ^r+2+plr+2 with λ^r+2<pvr. Then λ is split.
Proof.
By Proposition 10.4(iv), by subtracting a standard multi-sequence from an arbitrary multi-sequence for λ we can obtain a multi-sequence (y(t,u)i) in which (y(r,r+1)i)=0 and y(r+1,r+2)j=y(r,r+2)k=0 for j,k=pvr, with
[TABLE]
Since (y(r,r+1)i)=0 (and (λr,λr+1) is not James) from the commuting relation (C) for the pairs (r,r+1) and (r+2,r+3) we get directly that
(y(r+2,r+3)j)=0. Hence it remains to prove that (y(r+1,r+2)i)=0. We consider (λr+1,λr+2,λr+3). Since lr+2<vr+1, we have that (λr+1,λr+2) is a James pair. Since (λr+2,λr+3) is not a James partition we get by Lemma 8.1 that in any coherent triple for (λr+1,λr+2,λr+3) we have (y(r+1,r+2)i)=0, and we are done.
∎
We now treat the case in which (λr+1,λr+2,λr+3) has the form described in Proposition 10.14(v).
Lemma 12.8**.**
Suppose lr+2=vr>vr+1, with lenp(λr+1+plr+2)<valp(λr+pvr+1) and λr+2=λ^r+2+plr+2, with λ^r+2<pvr+1. Then λ is split.
Proof.
By Proposition 10.4(v), by subtracting a standard multi-sequence from an arbitrary multi-sequence for λ we can obtain a multi-sequence (y(t,u)i) in which (y(r,r+1)i)=0, and y(r+1,r+2)j=y(r,r+2)k=0 for j,k=pvr and
[TABLE]
Since (y(r,r+1)i)=0 (and (λr,λr+1) is not James) the commuting relation (C) for the pairs (r,r+1) and (r+2,r+3) gives directly that
(y(r+2,r+3)j)=0. Hence it remains to prove that y(r+1,r+2)pvr=0, or equivalently by the equation above, that y(r,r+2)pvr=0.
We show first that (y(r,r+3)k)=0. By the commuting relation (C) for the pairs (r,r+3) and (r+1,r+2) we have,
[TABLE]
Setting j=pvr+1 and using the fact that y(r+1,r+2)pvr+1=0, as vr>vr+1, we get that (y(r,r+3)k)=0.
We consider now (λr,λr+2,λr+3) and the corresponding coherent triple (y(r,r+2)i), (y(r+2,r+3)j), (y(r,r+3)k). Setting i=pvr and j=pvr+2 in relation (T3b) we get
[TABLE]
where λr+2=λ^r+2+pvr with λ^r+2<pvr+1. Now vr+1<vr=lr+2 and we have vr+2=valp(λ^r+2+1) so that (pvr+2λ^r+2+pvr+2)=0 and therefore
y(r,r+2)pvr=0. So we are done.
∎
The Lemmas 12.9 to 12.13 which follow correspond to the cases in which (λr,λr+1,λr+2) has the form described in Proposition 11.16 (i)-(v). We therefore adopt as standing assumption that (λr,λr+1) is pointed.
We use the same strategy as in the above cases, namely we show that by subtracting a standard multi-sequence from an arbitrary coherent multi-sequence for λ we can obtains a coherent multi-sequence (y(t,u)i) is which the extension sequences (y(r+1,r+2)i and (y(r+2,r+3)j) are zero and hence, by Lemma 12.4, (y(t,u)i) is identically zero and hence any coherent multi-sequence is standard.
The first case is that in which (λr+1,λr+2,λr+3) has the form described in Proposition 11.16(i).
Lemma 12.9**.**
Suppose that lr+1>lr+2≥vr=vr+1 with valp(λr+pvr+1)≥lr+1 and λr+1=pvr−1+plr+1. Then λ is split.
Proof.
The proof for this case is completely analogous to the proof of Lemma 12.5.
∎
In the next case (λr+1,λr+2,λr+3) has the form described in Proposition 11.16(ii).
Lemma 12.10**.**
Suppose that lr+1=lr+2>vr=vr+1 with lenp(λr+1+plr+2)<valp(λr+pvr+1) and λr+1=pvr−1+plr+1. Then λ is split.
Proof.
The proof is completely analogous to the proof of Lemma 12.6.
∎
The next case, in which (λr+1,λr+2.λr+3) has the form described in Proposition 11.16(iii), requires some additional argument.
Lemma 12.11**.**
Suppose that lr+1=lr+2>vr=vr+1 with lenp(λr+1+plr+2)<valp(λr+pvr+plr+1+1) and λr+1=pvr−1+plr+1. Then λ is split.
Proof.
By Proposition 11.16(iii), by subtracting a standard multi-sequence from an arbitrary multi-sequence for λ we can obtain a multi-sequence (y(t,u)i) in which y(r,r+1)i=0 for i=pvr, and y(r+1,r+2)j=0 for j=plr+1, and y(r,r+2)k=0 for k=plr+1 and that
[TABLE]
As usual we have to prove that (y(r+1,r+2)i)=0 and (y(r+2,r+3)j)=0.
We show first that (y(r+2,r+3)j)=0. By the commuting relation (C) for the pairs (r,r+1) and (r+2,r+3), we get that
[TABLE]
Since (λr)lr+1=p−2 and y(r,r+1)plr+1=0, setting i=plr+1 in the relation above we get that y(r+2,r+3)k=0.
Now by the same relation and the fact that (λr+2,λr+3) is not James we also get that (y(r,r+1)i)=0. Since now y(r,r+1)pvr=−y(r+1,r+2)plr+1 and y(r+1,r+2)j=0 for j=plr+1 we get directly that the extension sequence (y(r+1,r+2)j) is [math] and we are done.
∎
We next consider the case in which (λr+1,λr+2,λr+3) has the form described in Proposition 11.16(iv).
Lemma 12.12**.**
Suppose that lr+2<vr+1≤vr<lr+1 and λr+1=λ^r+1+plr+1 with 0≤λ^r+1<pvr. Then λ is split.
Proof.
By Proposition 11.16(iv), by subtracting a standard multi-sequence from an arbitrary multi-sequence for λ we can obtain multi-sequence (y(t,u)i) in which (y(r+1,r+2)i)=0 and (y(r,r+2)k)=0 and that y(r,r+1)i=0 for i=plr+1. Hence it remains to prove that (y(r+2,r+3)j)=0. This is straightforward. Considering the commuting relation (C) for (r,r+1) and (r+2,r+3) we have
[TABLE]
Now setting i=pvr, and since y(r,r+1)pvr=0, we deduce that the extension sequence
(y(r+2,r+3)j) is zero and we are done.
∎
In the next case (λr+1,λr+2,λr+3) has the form described in Proposition 11.16(v).
Lemma 12.13**.**
Suppose lr+1>lr+2=vr>vr+1 with lr+1<valp(λr+pvr+1), λr+1=λ^r+1+plr+1 with 0≤λ^r+1<pvr, and λr+2=λ^r+2+pvr with 0≤λ^r+2<pvr+1. Then λ is split.
Proof.
The proof for this case is entirely analogous to the proof of Lemma 12.8.
∎
Thus we are left with the case in which the non-split triple (λr,λr+1,λr+2) corresponds to the case of Proposition 10.14(ii). We show here that under certain assumptions this triple provides a non-split partition λ and this finishes the proof of Proposition 12.3. More precisely, we prove the following.
Lemma 12.14**.**
*Suppose that lr+2=vr=vr+1, with
lr+1<valp(λr+pvr+1), (λr+1)vr=0 and λr+2=λ^r+2+pvr with
0≤λ^r+2<pvr. Then λ is non-split if and only if:*
(i) λr+1=(pvr+1−1)−pvr+pvr+1λr+1′, (λr+1)vr=0 and λr+1′≥0; and
(ii) λr+2=(pvr−1)+pvr; and
(ii) λr+3=λ^r+3+pvr with 0≤λ^r+3<pvr.
In that case E(λ) is spanned by the standard multi-sequence and a non-zero multi-sequence (y(t,u)i) in which
[TABLE]
and y(t,u)i=0 for all other choices of t,u and i.
Proof.
We first emphasise that since vr=vr+1 and λr+1=pvr−1+pvrλr+1′ with (λr+1)vr=0, the characteristic of K is odd. We show now that if λr+1 or λr+3 does not have the form described in (i) and (iii) then (λr+1,λr+2,λr+3) is split and so by Lemma 12.4, we get that λ is split.
First notice that since lr+2=vr+1 we have that (λr+1,λr+2) is split. Now by Remark 10.3 (i) and (ii), or directly by Proposition 10.14, we deduce that if λ is non-split then we may write λr+1=(pvr+1−1)−pvr+pvr+1λr+1′ and lr+3≥vr. Since now λr+2=λ^r+2+pvr we get that λr+3=λ^r+3+pvr with λ^r+3<pvr. So we have that if λ is non-split then λr+1 and λr+3 must have the form of (i) and (iii) described in the statement.
We show now that if λr+2 is not as in (ii) of the statement then λ is split.
By the description of its parts so far, we have that if (λr+1,λr+2,λr+3) is a non-split triple then it corresponds to one of the cases (ii) or (v) of Proposition 10.14, where vr+2=vr+1 or vr+2<vr+1 respectively. We show that if vr+2<vr+1 then λ is split. Indeed, if vr+2<vr+1 then the triple (λr+1,λr+2,λr+3) corresponds to case of Proposition 10.14(v). Thus we can subtract a multiple of the standard multi-sequence to obtain one in which (y(r+1,r+2)i)=0, and y(r+1,r+3)k=y(r+2,r+3)j=0 for j,k=pvr, and
[TABLE]
Considering the commuting relation (C) for the pairs (r,r+1) and
(r+2,r+3) we have
[TABLE]
Setting j=pvr+2 we have (jλr+2+j)=0 and y(r+2,r+3)pvr+2=0, since vr+2<vr. Therefore, we have (y(r,r+1)i)=0. We have deduced that (y(r,r+1)i)=0 and (y(r+1,r+2)j)=0 and so by Proposition 9.4(i) we get that λ is split.
Hence, from now on we can assume that (λr+1,λr+2,λr+3) is a non-split triple, corresponding to Proposition 10.14(ii), where vr+2=vr+1 and since vr=vr+1 we have that λr+2=(pvr−1)+pvr, as in the statement.
We prove that in this case, λ is a non-split partition and we have a non-zero coherent multi-sequence of the given form.
We consider first the triple (λr+1,λr+2,λr+3). By Proposition 10.14(ii) we can assume that after subtracting a multiple of the standard multi-sequence we have (y(r+2,r+3)j)=0, y(r+1,r+3)k=y(r+1,r+2)i=0 for i,k=pvr, and
[TABLE]
We make the following simple observation. Since the pairs (λr+3,λt) with t>r+3 are James partitions we have
[TABLE]
and so all the pairs (λs,λt) with t>r+3 are James. Moreover, all the pairs (λs,λt) with s<r are James. Therefore, the only pairs of rows of λ which are not James are those in the quadruple (λr,λr+1,λr+2,λr+3).
We deal first with the coherent conditions involving y(r,r+2)pvr. For s,t both different from r,r+2 we have that the pairs (r,r+2) and (s,t) are related via the commuting relation (C). If we assume further that (s,t)=(r+1,r+3) we have that for such a pair (λs,λt) is James and (y(s,t)i)=0. This gives directly that both sides in the commuting relation are zero and so this relation is satisfied. Hence, it remains to investigate the relations between the pairs (λr,λr+2) and (λr+1,λr+3) and those relations coming from the triples (λq,λr,λr+2) with q<r and (λr,λr+2,λt) with t>r+2.
The pairs (r,r+2) and (r+1,r+3) are related via the commuting relation (C) and we have,
[TABLE]
where the last equality follows from the fact that (λr+pvr,λr+1) is James. Now notice that since λr+1=(pvr+1−1)−pvr+pvr+1λr+1′ and lr+3=vr, we also have that for i≤lr+3, (iλr+1+i)=0 if and only if i=pvr, in which case (pvrλr+1+pvr)=−1. Hence, here we recover the relation y(r,r+2)pvr=y(r+1,r+3)pvr that we have in the multi-sequence.
We move on to the triples (λq,λr,λr+2) with q<r and (λr,λr+2,λt) with t>r+2. For the triple (λq,λr,λr+2) we have that y(r,r+2)j is identified with yj in the relations (T1) -(T3b). Notice that for this triple we have that xist=0, zkst=0 and yjst=0 for j=pvr with ypvrst=−1. Therefore, the relations associated with this triple are satisfied by our multi-sequence.
For the triple (λr,λr+2,λt) we have that y(r,r+2)i is identified with xi in the relations (T1)-(T3b). If t>r+3 we have that since (λr,λt) and (λr+2,λt) are James, the standard multi-sequence for this triple is yjst=0, zkst=0 and xist=0 for i=pvr with xpvrst=−1. So again, the relations associated with this triple are satisfied by our multi-sequence.
If t=r+3 then we have the triple (λr,λr+2,λr+3). This triple corresponds to the case (ii) of Proposition 10.14. Here y(r,r+2)pvr and y(r,r+3)pvr are both involved in the relations of this triple. Also, y(r,r+2)i is identified with xi and y(r,r+3)k is identified with zk in the relations (T1)-(T3b). Now by Proposition 10.14(ii) we get that y(r,r+2)pvr=−y(r,r+3)pvr is a solution for the relations of this triple and this is exactly what we have in our multi-sequence.
We now deal with y(r+1,r+3)pvr. For s,t both different from r+1,r+3 we have that the pairs (r+1,r+3) and (s,t) are related via the commuting relation (C). If we assume further that (s,t)=(r,r+2) then for such a pair (λs,λt) is James and (y(s,t)i)=0. This gives directly that both sides in the commuting relation are zero and so this relation is satisfied. Hence, it remains to investigate the relations between the pairs (λr+1,λr+3) and (λr,λr+2) and those relations coming from the triples (λq,λr+1,λr+3) with q≤r and (λr+1,λr+3,λt) with t>r+3.
For the pairs (λr+1,λr+3) and (λr,λr+2) we have already seen that our multi-sequence satisfies the commuting relation associated with these pairs in our previous consideration. Hence, we can move on to the triples
(λq,λr+1,λr+3) with q≤r and (λr+1,λr+3,λt) with t>r+3.
For the triple (λq,λr+1,λr+3) we have that y(r+1,r+3)j is identified with yj in relations (T1)-(T3b). Notice that if q<r, then xist=0, zkst=0 and yjst=0 for j=pvr with ypvrst=−1. Therefore, the relations associated with this triple are satisfied by our multi-sequence. If q=r then (λr,λr+1,λr+3) corresponds to the case of Proposition 10.14(ii). By Proposition 10.14(ii) we have that any solution for this triple has the form xi=gxist+hxi′, for some scalars g,h, with xi′=0 for i=pvr and xpvr′=1, yj=gyjst and zk=gzkst+hzk′, with zk′=0 for k=pvr and zpvr′=2. Also, notice that xist=yjst=zkst=0 for i,j,k=pvr and xpvrst=ypvrst=zpvrst=−1. Therefore setting h=g we obtain a solution of the form xi=0, yj=zk=0 for j,k=pvr and ypvr=−zpvr. But this is exactly the solution in our multi-sequence, since here ypvr is y(r+1,r+3)pvr and zpvr is y(r,r+3)pvr. Therefore, we are done.
For the triple (λr+1,λr+3,λt) now we have that y(r+1,r+3)i is identified with xi in the relations (T1)-(T3b). The standard coherent triple satisfies yjst=0, zkst=0 and xist=0 for i=pvr with xpvrst=−1. Therefore, the relations associated with this triple are satisfied by our multi-sequence.
The considerations for y(r+1,r+2)pvr, and y(r,r+3)pvr are identical with those of the last two cases and we leave them to the reader to check.
∎
Example 12.15**.**
One can easily verify that for p=3 the partition λ=(1,1,1,1) satisfies the conditions of Lemma 12.14 and that for n≥4 we have ExtB(n)1(S4E,Kλ)=H1(Σ4,Sp(1,1,1,1))=K, where Sp(1,1,1,1) is the sign representation for Σ4.
12.3 The case in which (λr+2,λr+3) is James.
We consider now the case in which the pair (λr+2,λr+3) is a James partition. We have the following result.
Proposition 12.16**.**
Suppose λ is a partition which is not James and r<n−1 minimal such that (λr,λr+1) is not James. Assume further that (λr+2,…,λn) is a James partition. Then λ is non-split if and only if one of the following holds.
(i) (λr+1,λr+2) is not James and (λr,λr+1,λr+2) is a non-split triple.
(ii) (λr+1,λr+2) is James, (λr,λr+1) splits and (λr,λr+1,λr+2) is a non-split triple, with the extra condition that lr+3<lr+2 if p=2 and n≥r+3.
(iii) (λr+1,λr+2) is James, (λr,λr+1) is pointed and there is no q<r with vq=lenp(λr+plr+1).
In all these cases a non-standard multi-sequence (y(t,u)i) is obtained from a non-standard coherent triple for (λr,λr+1,λr+2)
with (y(t,u)i)=0 for (t,u)=(r,r+1),(r+1,r+2) and (r,r+2).
We note that for p≥3 the condition lr+3<lr+2 in case (ii) of Proposition 12.16 is automatic, coming from the fact that (λr+2,λr+3) is James and the form of the non split triple (λr,λr+1,λr+2) with (λr,λr+1) split and (λr+1,λr+2) James, which is the case (iv) in Proposition 10.14.
We give a proof of Proposition 12.16 in a series of Lemmas corresponding to the forms of the non-split triples of Propositions 10.14 and 11.16. Before we embark on the proof of Lemmas 12.18 to 12.28 we make the following remark that will be used repeatedly.
Remark 12.17**.**
Let λ be a partition which is not James and assume that r is minimal such that (λr,λr+1) not James. Assume further that (λr+2,…,λn) is a James partition. Then for every pair (λs,λt) with s=r,r+1 the partition (λs,λt) is James.
Indeed, since (λ1,…,λr) and (λr+2,…,λn) are James partitions, we have lq+1<vq for q≤r−1 and q≥r+2. Now, since s=r,r+1 we have that s≤r−1 or s≥r+2. Also, for t>s we have that lt≤ls+1<vs and so (λs,λt) is James.**
We state and prove now the following ten Lemmas. Recall that λ is a partition which is not James, 1≤r<n−1 is minimal such that (λr,λr+1) is not James and (λr+2,…,λn) is James.
The Lemmas 12.18 to 12.23 which follow correspond to the cases in which (λr,λr+1,λr+2) is as described in Proposition 10.14, (i)-(v). We therefore adopt as standing assumptions that (λr,λr+1) is split and
lr+1<valp(λr+pvr+1).
We first treat the case in which (λr+1,λr+2,λr+3) has the form described in Proposition 10.14(i).
Lemma 12.18**.**
Suppose lr+2≥vr=vr+1, with lr+1<valp(λr+pvr+1) and valp(λr+1−pvr+1)>lr+2. Then λ is non-split and E(λ) is spanned by the standard multi-sequence and a multi-sequence (y(t,u)i) with y(r,r+1)pvr=0 and y(t,u)i=0 for all other choices of t,u and i.
Proof.
Let (y(t,u)i) be a multi-sequence as in the statement. It suffices to prove that this is coherent. By Proposition 10.14(i) the sequence satisfies the coherence conditions for the triple (λr,λr+1,λr+2).
Consider (s,t) with s<t, and s and t different from r and r+1. Then, (r,r+1) and (s,t) are related via the commuting relation (C). Since (y(s,t)j)=0 the condition is
[TABLE]
However, since s=r,r+1 we have that (λs,λt) is a James partition by Remark 12.17 and so (jλs+j)=0 for 1≤j≤λt. Hence, this relation is satisfied.
Therefore we can assume that s or t are equal to r or r+1 and consider the triples (λq,λr,λr+1) and (λr,λr+1,λt).
We consider the triple (λq,λr,λr+1) first. Here, y(r,r+1)j is identified with yj in the relations (T1)-(T3b). Since (λq,λr) and (λr+pvr,λr+1) are James partitions we have that the standard solution for this triple is xist=zkst=0 and yjst=0 for j=pvr with ypvrst=−1. Therefore the coherence conditions are satisfied for this triple.
We consider now the triple (λr,λr+1,λt). Here y(r,r+1)i is identified with xi in the relations (T1)-(T3b). But as lt≤lr+2 and any value of y(r,r+1)pvr (and all other values [math]) is coherent for (λr,λr+1,λr+2) so we get directly that the coherence conditions are satisfied also for (λr,λr+1,λt).
∎
We next consider the case in which (λr+1,λr+2,λr+3) has the form described in Proposition 10.14(ii).
Lemma 12.19**.**
*Suppose that lr+2=vr=vr+1, with
lr+1<valp(λr+pvr+1), (λr+1)vr=0 and λr+2=λ^r+2+pvr with
0≤λ^r+2<pvr. Then λ is non-split.*
Moreover E(λ) is spanned by the standard multi-sequence and a non-zero multi-sequence (y(t,u)i) such that
y(r,r+1)i=y(r,r+2)k=0 for i,k=pvr, with
[TABLE]
and (y(s,t)j)=0 for (s,t)=(r,r+1),(r,r+2).
Proof.
By Remark 12.17, (λs,λt) is a James partition for s=r,r+1. We show that in this case we also have that for t≥r+3 the pairs (λr,λt) and (λr+1,λt) are James.
First notice that since (λr+1)vr=0 and vr=vr+1, the characteristic of K is odd. Now since (λr+2,λr+3) is James and λr+2=λ^r+2+pvr with λ^r+2<pvr, (and since char(K)=2), we have that λr+3≤λ^r+2<pvr. Therefore, lr+3<vr=vr+1 and so (λr,λr+3) and (λr+1,λr+3) are James partitions. Moreover for t>r+3 we have lt≤lr+3 and so (λr,λt) and (λr+1,λt) are also James partitions. Therefore, we deduce that the only pairs which are not James come from (λr,λr+1),(λr+1,λr+2) and (λr,λr+2).
Let (y(t,u)i) be a multi-sequence as in the statement of the Lemma. By Proposition 10.14(ii) the coherence condition is satisfied for (λr,λr+1,λr+2).
We deal first with coherence conditions involving y(r,r+1)pvr. For a pair (s,t), with s<t, and both s and t different from r and r+1 we have that (r,r+1) and (s,t) are related via the commuting relation (C). Since (y(s,t)j)=0 and (λs,λt) is a James partition we have though that this relation becomes a tautology.
Therefore, it remains to consider the triples of the form (λq,λr,λr+1) with q<r and (λr,λr+1,λt) with t>r+2.
For the triple (λq,λr,λr+1) with q<r we have that y(r,r+1)j is identified with yj in the relations (T1)-(T3b). Here the standard solution for this triple has the form xist=zkst=0 and yjst=0 for j=pvr with ypvrst=−1. Therefore, the relations associated with this triple are satisfied by our multi-sequence.
For the triple (λr,λr+1,λt) with t>r+2 we have that y(r,r+1)i is identified with xi in the relations (T1)-(T3b). Here the standard solution for this triple has the form xist=0 for i=pvr, xpvrst=−1 and yjst=zkst=0. Therefore, the relations associated with this triple are satisfied by our multi-sequence.
We now deal with coherence conditions involving y(r,r+2)pvr. For a pair (s,t) with s<t and both s and t different from r and r+2 we have that (r,r+2) and (s,t) are related via the commuting relation (C). As (λs,λt) is James and (y(s,t)j)=0 for these values of (s,t) we have directly that both sides in the commuting relation are [math].
Therefore it remains to consider the triples (λq,λr,λr+2) with q<r and (λr,λr+2,λt) with t>r+2.
For the triple (λq,λr,λr+2) with q<r we have that y(r,r+2)j is identified with yj in the relations (T1)-(T3b). Here, the standard solution for this triple is xist=zkst=0 and yjst=0 for j=pvr with ypvrst=−1. Therefore, the relations associated with this triple are satisfied by our multi-sequence.
For the triple (λr,λr+2,λt) we have that y(r,r+2)i is identified with xi in the relations (T1)-(T3b). Notice that since lt<vr we have that the standard solution for this triple is xist=0 for i=pvr and xpvrst=−1 and yjst=zkst=0. Hence, again the relations associated with this triple are satisfied by our multi-sequence.
∎
We next consider the case in which (λr+1,λr+2,λr+3) has the form described in Proposition 10.14(iii).
Lemma 12.20**.**
Suppose lr+2>vr=vr+1, with lenp(λr+1+plr+2)<valp(λr+pvr+1), valp(λr+1−pvr+1)=lr+2 and λr+2=λ^r+2+plr+2, with λ^r+2<pvr. Then λ is non-split.
*The space E(λ) is spanned by the standard multi-sequence and a non-zero multi-sequence (y(t,u)i) such that
y(r,r+1)i=0 for i=pvr, and
y(r+1,r+2)j=0 for j=plr+2 with
[TABLE]
and (y(s,t)j)=0 for (s,t)=(r,r+1),(r+1,r+2).
Proof.
By Remark 12.17 we have that (λs,λt) is a James partition for s=r,r+1. We show that in this case we also have that for t≥r+3, the pairs (λr,λt) and (λr+1,λt) are James.
First notice that since lr+2>vr and λr+2=λ^r+2+plr+2 with λ^r+2<pvr our assumption that (λr+2,λr+3) is James gives directly that lr+3<vr=vr+1 and so we have that (λr,λr+3) and (λr+1,λr+3) are James partitions. Now, for t≥r+3 we have lt≤lr+3 and so (λr,λt) and (λr+1,λt) are also James partitions. Therefore, we deduce that the only pairs which are not James come from (λr,λr+1),(λr+1,λr+2) and (λr,λr+2).
Let (y(t,u)i) be a multi-sequence as in the statement of the Lemma. By Proposition 10.14(iii) the coherence condition is satisfied for (λr,λr+1,λr+2).
We deal first with coherence conditions involving y(r,r+1)pvr. For a pair (s,t), with s<t and both s and t different from r and r+1 we have (r,r+1) and (s,t) are related via the commuting relation (C). Since (y(s,t)j)=0 and (λs,λt) is a James partition we get directly that this relation becomes a tautology.
Therefore, it remains to consider the triples of the form (λq,λr,λr+1) with q<r and (λr,λr+1,λt) with t>r+2.
For the triple (λq,λr,λr+1) with q<r we have that y(r,r+1)j is identified with yj in the relations (T1)-(T3b). Here the standard solution for this triple has the form xist=zkst=0 and yjst=0 for j=pvr with ypvrst=−1. Therefore the coherence conditions are satisfied for this triple.
For the triple (λr,λr+1,λt) with t>r+2 we have that y(r,r+1)i is identified with xi in the relations (T1)-(T3b). The standard solution for this triple is xist=0 for i=pvr and xpvrst=−1 and yjst=zkst=0. So, again the coherence conditions are satisfied for this triple.
We now deal with coherence conditions involving y(r+1,r+2)plr+2. For a pair (s,t) with s<t and s and t both different from r+1 and r+2 we have that (r+1,r+2) and (s,t) are related via the commuting relation (C). As (λs,λt) is a James partition and (y(s,t)j)=0 for such (s,t), this relation becomes a tautology.
Therefore, it remains to consider the triples (λq,λr+1,λr+2) with q<r and (λr+1,λr+2,λt) with t>r+2.
For the triple (λq,λr+1,λr+2) with q<r we have that y(r+1,r+2)j is identified with yj in the relations (T1)-(T3b). Notice now that the partitions (λq,λr+1,λr+2) satisfies the properties of the case of Lemma 8.1 and so we get that the coherence conditions are satisfied for this triple.
For the triple (λr+1,λr+2,λt) we have that y(r+1,r+2)i is identified with xi in the relations (T1)-(T3b). This triple now satisfies the properties of the case of Proposition 11.16(iv) and we have that y(r+1,r+2)plr+2=0, with all the other values [math], is coherent for this triple.
∎
We next consider the case in which (λr+1,λr+2,λr+3) has the form described in Proposition 10.14 (iv).
Lemma 12.21**.**
Suppose lr+2=vr<vr+1, with lenp(λr+1+plr+2)<valp(λr+pvr+1) and λr+2=λ^r+2+plr+2 with λ^r+2<pvr. Then
(i) For p≥3 the partition λ is non-split.
(ii) For p=2 the partition λ is non-split if and only if lr+3<lr+2.
In the non split case E(λ) is spanned by the standard multi-sequence and a non-zero multi-sequence (y(t,u)i) satisfying
y(r+1,r+2)j=y(r,r+2)k=0 for j,k=pvr with
[TABLE]
and (y(s,t)j)=0 for (s,t)=(r+1,r+2),(r,r+2).
Proof.
Assume first that lr+3<lr+2. Notice that this is always the case if char(K)≥3, since (λr+2,λr+3) is James and λr+2=λ^r+2+pvr, with λ^r+2<pvr.
By Remark 12.17, (λs,λt) is a James partition for s=r,r+1. Now, for t≥r+3 we have lt≤lr+3<vr<vr+1, and so we get that (λr,λt) and (λr+1,λt) are also James pairs for t≥r+3. Therefore, the only pairs which are not James come from (λr,λr+1) and (λr,λr+2).
Let (y(t,u)i) be a multi-sequence as in the statement of the Lemma. By Proposition 10.14 (iv) the coherence condition is satisfied for (λr,λr+1,λr+2).
We deal first with coherence conditions involving y(r+1,r+2)pvr. For a pair (s,t), with s<t, and both s and t different from r+1 and r+2 we have (r+1,r+2) and (s,t) are related via the commuting relation (C). Since (y(s,t)j)=0 and (λs,λt) is a James partition for such (s,t) we get directly that this relation becomes a tautology.
Therefore, it remains to consider the triples of the form (λr+1,λr+2,λt) with t>r+2 and (λq,λr+1,λr+2) with q<r.
For the triple (λr+1,λr+2,λt) with t>r+2 we have that y(r+1,r+2)i is identified with xi in the relations (T1)-(T3b). Now, since lr+2=vr<vr+1 and (λr+2,λt) is a James partitions we get that the partition (λr+1,λr+2,λt) is James. Moreover, as lt≤lr+3<lr+2 we have by Lemma 7.7 that the coherence conditions are satisfied for this triple.
For the triple (λq,λr+1,λr+2) with q<r we have that y(r+1,r+2)j is identified with yj in the relations (T1)-(T3b). Again we have that this partition is James. Also, since lenp(λr+1+plr+2)<valp(λr+pvr+1) we have that lenp(λr+1+plr+2)<vq. Therefore, if lr+2=lr+3 we get that the coherence conditions are satisfied by Lemma 7.7(i) and if lr+2>lr+3 the conditions are satisfied by Lemma 7.7(iii).
We deal now with the coherence conditions involving y(r,r+2)pvr. For a pair (s,t) with s<t, and both s and t different from r and r+2 we have that (r,r+2) and (s,t) are related only via the commuting relation (C). Since (y(s,t)j)=0 and (λs,λt) is a James partition for such (s,t) we get directly that this relation becomes a tautology.
Therefore it remains to consider the triples (λr,λr+2,λt) with t>r+2 and (λq,λr,λr+2) with q<r.
For the triple (λr,λr+2,λt) we have that y(r,r+2)i is identified with xi in the relations (T1)-(T3b). The standard solution for this triple is xist=0 for i=pvr and xpvrst=−1 and yjst=zkst=0. So the coherence conditions are satisfied.
For the triple (λq,λr,λr+2) with q<r we have that y(r,r+2)j is identified with yj in the relations (T1)-(T3b).
Now here we have that the standard solution for this triple has the form xist=zkst=0 and yjst=0 for j=pvr with ypvrst=−1 and so again we are fine.
We show now that if lr+3=lr+2 then λ is split. Notice that since (λr+2,λr+3) is James and λr+2=λ^r+2+plr+2, this is valid only in characteristic 2.
We consider an arbitrary coherent multi-sequence for λ. By Proposition 10.14(iv) we have that after subtracting a multiple of the standard solution we can assume that (y(r,r+1)i)=0 , y(r+1,r+2)j=0 for j=2vr and y(r,r+2)k=0 for k=2vr, with y(r+1,r+2)2vr+y(r,r+2)2vr=0. By Proposition 9.4(i) it is enough to show that (y(r,r+1)i) and (y(r+1,r+2)j) are zero. Hence it remains to prove that y(r+1,r+2)2vr=0. Now the pairs (r,r+3) and (r+1,r+2) are related via the commuting relation (C) and since (λr+1,λr+2) is James we have that
[TABLE]
As lr+3=lr+2=vr we can set i=2vr and we have (2vrλr+2vr)=0. Therefore, y(r+1,r+2)j=0 and we are done.
∎
Example 12.22**.**
We give a concrete example to describe the failure of the above result for the situation when lr+3=lr+2=vr<vr−1 in characteristic 2. It is easy to see that the partition (2,1,1,1) satisfies all the assumptions of Lemma 12.20 with v1=l3=l4=0 and v2=1. By Proposition 10.14(iv) we have that ExtB(n)1(S4E,K(2,1,1))=K. However ExtB(n)1(S5E,K(2,1,1,1))=0, for n≥5, since the partition (2,1,1,1) has 2-core (2,1) and so ExtB(n)1(S5E,K(2,1,1,1))=ExtG(n)1(S5E,∇(2,1,1,1))=0.
We next consider the case in which (λr+1,λr+2,λr+3) has the form described in Proposition 10.14(v).
Lemma 12.23**.**
Suppose lr+2=vr>vr+1, with lenp(λr+1+plr+2)<valp(λr+pvr+1) and λr+2=λ^r+2+plr+2, with λ^r+2<pvr+1. Then λ is non-split.
Moreover E(λ) is spanned by the standard multi-sequence and a non-zero multi-sequence (y(t,u)i) satisfying y(r+1,r+2)j=y(r,r+2)k=0 for j,k=pvr, with
[TABLE]
and (y(s,t)j)=0 for (s,t)=(r+1,r+2),(r,r+2).
Proof.
By Remark 12.17, (λs,λt) is a James partition for s=r,r+1. We show that in this case we also have that (λr,λt) and (λr+1,λt), with t≥r+3 are James.
Since (λr+2,λr+3) is James, λr+2=λ^r+2+plr+2, with λ^r+2<pvr+1, and vr>vr+1 we must have that λr+3<pvr+1. Hence lt≤lr+3<vr+1<vr and so (λr,λt) and (λr+1,λt) are James partitions. Therefore, the only pairs which are not James come from (λr,λr+1),(λr+1,λr+2) and (λr,λr+2).
Let (y(t,u)i) be a multi-sequence as in the statement of the Lemma. By Proposition 10.14(v) the coherence condition is satisfied for (λr,λr+1,λr+2).
We first deal with the coherence conditions involving y(r+1,r+2)pvr. For a pair (s,t), with s<t, and both s and t different from r+1 and r+2 we have that (r+1,r+2) and (s,t) are related via the commuting relation (C). Since (y(s,t)j)=0 and (λs,λt) is a James partition for such (s,t) we have that this relation becomes a tautology.
Therefore, it remains to consider the triples of the form (λr+1,λr+2,λt) with t>r+2 and (λq,λr+1,λr+2) with q<r.
For a triple (λr+1,λr+2,λt) with t>r+2 we have that y(r+1,r+2)i is identified with xi in the relations (T1)-(T3b). Notice that (λr+1,λr+2) is a pointed partition and that lt<vr+1. Hence this triple has the form described in Proposition 11.16(iv) and the coherence condition holds for our multi-sequence.
For the triple (λq,λr+1,λr+2) with q<r we have that y(r+1,r+2)j is identified with yj in the relations (T1)-(T3b). Now, since (λq,λr+1) is James and (λr+1,λr+2) is a pointed partition with lenp(λr+1+pvr)<valp(λr+pvr+1)≤vs we have that this is the case appearing in Lemma 8.1 and this gives directly that the coherence conditions hold.
We now deal with the coherence conditions involving y(r,r+2)pvr.
For a pair (s,t), with s<t, and both s and t different from r and r+2 we have that (r,r+2) and (s,t) are related via the commuting relation (C). As (λs,λt) is a James partition and (y(s,t)j)=0 for these values of (s,t) we have directly that both sides in the commuting relation are [math].
Therefore it remains to consider the triples (λr,λr+2,λt) with t>r+2 and (λq,λr,λr+2) with q<r.
For the triple (λr,λr+2,λt) we have that y(r,r+2)i is identified with xi in the relations (T1)-(T3b). Notice that since lt<vr and (λr+pvr,λr+1) is James, the standard solution for this triple is xist=0 for i=pvr and xpvrst=−1 and yjst=zkst=0. So, our multi-sequence satisfies the conditions for this triple.
For the triple (λq,λr,λr+2) with q<r we have that y(r,r+2)j is identified with yj in the relations (T1)-(T3b). Here, the standard solution for this triple is xist=zkst=0 and yjst=0 for j=pvr with ypvrst=−1 and so again the coherence conditions for our multi-sequence are satisfied.
∎
The remaining five Lemmas correspond to the cases in which (λr,λr+1,λr+2) has the form described in Proposition 11.16 (i)-(v). We therefore adopt as the standing assumption that (λr,λr+1) is pointed.
We begin with the case in which (λr,λr+1,λr+2) has the form described in Proposition 11.16(i).
Lemma 12.24**.**
Suppose lr+1>lr+2≥vr=vr+1, with valp(λr+pvr+1)≥lr+1 and λr+2=pvr−1+plr+1. Then λ is non-split.
The space E(λ) is spanned by the standard multi-sequence and a non-zero multi-sequence (y(t,u)i) satisfying y(r,r+1)i=0 for i=pvr and the extension sequence (y(t,u)j)=0 for (t,u)=(r,r+1).
Proof.
Let (y(t,u)i) be a multi-sequence as in the statement of the Lemma. By Proposition 11.16(i), the coherence conditions are satisfied for
(λr,λr+1,λr+2).
For (s,t) with s<t, and both s and t different from r and r+1, we have that (r,r+1) and (s,t) are related via the commuting relation (C). Now, since (λs,λt) is James by Remark 12.17 and (y(s,t)j)=0 for such (s,t) we have that both sides are [math].
Hence it remains to consider the triples (λr,λr+1,λt) with t>r+2 and (λq,λr,λr+1) with s<r.
For the triple (λr,λr+1,λt), we have that y(r,r+1)i is identified with xi in the relations (T1)-(T3b).
But as lt≤lr+2 and any value of y(r,r+1)pvr (and all other values [math]) is coherent for (λr,λr+1,λr+2) then we get directly that the coherence conditions are satisfied also for (λr,λr+1,λt).
For the triple (λq,λr,λr+1), we have that y(r,r+1)i is identified with yj in the relations (T1)-(T3b). Since (λq,λr) is James and lenp(λr+pvr)=lr It is a trivial check to see that our solution here satisfies the relations (T1)-(T3b) for this triple.
∎
We next consider the case in which (λr,λr+1,λr+2) has the form described in Proposition 11.16(ii).
Lemma 12.25**.**
Suppose lr+1=lr+2>vr=vr+1, with lenp(λr+1+plr+2)<valp(λr+pvr+1) and λr+1=pvr−1+plr+1. Then λ is non-split.
The space E(λ) is spanned by the standard multi-sequence and a non-zero multi-sequence (y(t,u)i) satisfying y(r,r+1)i=0 for i=pvr and y(r+1,r+2)j=0 for j=plr+1 with
[TABLE]
and (y(t,u)j)=0 for (t,u)=(r+1,r+2),(r,r+1).
Proof.
By Remark 12.17 we have that (λs,λt) is a James partition for s=r,r+1. We show that in this case we also have that (λr,λt) and (λr+1,λt), with t≥r+3, are also James. Notice that since λr+2=λ^r+2+plr+1 with λ^r+2<pvr, lr+1>vr and (λr+2,λr+3) is James we get that λr+3≤λ^r+2<pvr. Therefore we have that the pairs (λr,λt) and (λr+1,λt) with t≥r+3 are also James partitions. Hence, the only pairs of rows of λ which are not James come from (λr,λr+1), (λr+1,λr+2), and (λr,λr+2).
Let (y(t,u)i) be a multi-sequence as in the statement of the Lemma. By Proposition 11.16(ii), the coherence conditions are satisfied for
(λr,λr+1,λr+2).
We first deal with the coherence conditions involving y(r,r+1)pvr. For (s,t) with s<t, and both s and t different from r and r+1, we have that (r,r+1) and (s,t) are related via the commuting relation (C). Now, since (λs,λt) is James and (y(s,t)j)=0 for such (s,t) we have both sides of the relation are zero.
Hence it remains to consider the triples (λr,λr+1,λt) with t>r+2 and (λq,λr,λr+1) with q<r.
For the triple (λr,λr+1,λt), we have that y(r,r+1)i is identified with xi in the relations (T1)-(T3b). Since lenp(λr+1+plr+2)<valp(λr+pvr+1) and lt<vr we have that the standard solution for this triple is yjst=zkst=0 and xist=0 for i=pvr with xpvrst=−1. Hence, the coherence conditions for our multi-sequence are satisfied.
For the triple (λq,λr,λr+1), we have that y(r,r+1)i is identified with yj in the relations (T1)-(T3b). Here the standard solution for this triple is xist=zkst=0 and yjst=0 for i=pvr with ypvrst=−1. So, the relations associated with this triple are satisfied by our multi-sequence.
We now deal with the coherence conditions involving y(r+1,r+2)plr+1. Again for For (s,t) with s<t, and both s and t different from r+1 and r+2, we have that (r,r+1) and (s,t) are related only via the commuting relation (C). Now, since (λs,λt) is James and (y(s,t)j)=0 for such (s,t), both sides in this relation are [math].
Hence it remains to consider the triples (λr,λr+1,λt) with t>r+2 and (λq,λr,λr+1) with q<r.
For the triple (λr+1,λr+2,λt), we have that y(r+1,r+2)i is identified with xi in the relations (T1)-(T3b). Now lt<vr=vr+1 and so this triple is of the form described in Proposition 11.16(iv). Thus we get directly that the coherence conditions for our multi-sequence are satisfied.
For the triple (λq,λr+1,λr+2), we have that y(r+1,r+2)j is identified with yj in the relations (T1)-(T3b). Here this triple has the form appearing in Lemma 8.1 and so our multi-sequence satisfies the conditions for triple.
∎
We next consider the case in which (λr,λr+1,λr+2) has the form described in Proposition 11.16(iii).
Lemma 12.26**.**
Suppose lr+1=lr+2>vr=vr+1, with lenp(λr+1+plr+2)<valp(λr+pvr+plr+1+1) and λr+1=pvr−1+plr+1. Then λ is non-split.
*The space E(λ) is spanned by the standard multi-sequence and a non-zero multi-sequence (y(t,u)i) satisfying y(r,r+1)i=0 for i=pvr,
y(r+1,r+2)j=y(r,r+2)k=0 for j,k=plr+1 with*
[TABLE]
and y(t,u)j=0 for all other choices of t,u and j.
Proof.
By Remark 12.17 we have that (λs,λt) is a James partition for s=r,r+1. We show that in this case we also have that (λr,λt) and (λr+1,λt), with t≥r+3, are James. We have that since λr+2=λ^r+2+plr+1 with λ^r+2<pvr, lr+1>vr and (λr+2,λr+3) is James then λr+3≤λ^r+2<pvr. Therefore all the pairs (λr,λt) and (λr+1,λt) with t≥r+3 are James. Hence the only pairs of rows of λ which are not James partitions come from (λr,λr+1), (λr+1,λr+2), and (λr,λr+2).
Let (y(t,u)i) be a multi-sequence as in the statement of the Lemma. By By Proposition 11.16(iii), the coherence conditions are satisfied for
(λr,λr+1,λr+2).
We first deal with the coherence conditions involving y(r,r+1)pvr. For (s,t) with s<t, and both s and t different from r and r+1, we have that (r,r+1) and (λs,λt) are related via the commuting relation (C). Now, since (λs,λt) is James and (y(s,t)j)=0 for such (s,t), both sides of the relation are [math].
Hence it remains to consider the triples (λr,λr+1,λt) with t>r+2 and (λq,λr,λr+1) with q<r.
For the triple (λr,λr+1,λt), we have that y(r,r+1)i is identified with xi in the relations (T1)-(T3b). The standard solution for this triple is yjst=zkst=0 and xist=0 for i=pvr,plr+1, with xpvrst=xplr+1st=−1. Also (λr,λr+1,λt) satisfies the properties of the triple of Proposition 11.16(iv) and so we have that in a coherent triple, xi=hxist+gxipt,withh,g∈K. Setting h=g we have that any value of xpvr=y(r,r+1)pvr (with all the other values being [math]) is a solution for this triple and we are done.
For the triple (λq,λr,λr+1), we have that y(r,r+1)i is identified with yj in the relations (T1)-(T3b). Since (λq,λr) is James and lenp(λr+pvr)=lr it is a routine to check that our multi-sequence satisfies the coherence conditions for this triple.
We now deal with the coherence conditions involving y(r+1,r+2)plr+1. Again for (s,t) with s<t, and both s and t different from r+1 and r+2, we have that (r,r+1) and (s,t) are related only via the commuting relation (C). Now, since (λs,λt) is James and (y(s,t)j)=0 for such (s,t), both sides of the relation are zero.
Hence it remains to consider the triples (λr+1,λr+2,λt) with t>r+2 and (λq,λr+1,λr+2) with q<r.
For the triple (λr+1,λr+2,λt), we have that y(r+1,r+2)i is identified with xi in the relations (T1)-(T3b). Notice that lt<vr=vr+1 (since (λr,λt) is James) and so we are in the case described in Proposition 11.16(iv) and we get directly that any value of y(r+1,r+2)plr+1 (with all the other values being [math]) satisfies the coherence relations.
Also the triple (λq,λr,λr+2) corresponds to the case appearing in Lemma 8.1 and so again we get directly that the coherence conditions are satisfied for this triple.
We leave to the reader to check that the same considerations take care the case of y(r,r+2)plr+1.
∎
We now consider the case in which (λr,λr+1,λr+2) has the form described in Proposition 11.16(iv).
Lemma 12.27**.**
Suppose lr+2<vr+1≤vr, and λr+1=λ^r+1+plr+1 with 0≤λ^r+1<pvr. Then λ is non-split if and only if there is no q<r with vq=lenp(λr+plr+1).
In that case E(λ) is spanned by the standard multi-sequence and a non-zero multi-sequence (y(t,u)i) satisfying
y(r,r+1)i=0 for i=plr+1 and (y(t,u)j)=0 for (t,u)=(r,r+1).
Proof.
We show first that if there exists a q<r with vq=lenp(λr+plr+1) then λ splits. Assume that such a q exists.
Let (y(t,u))i) be a coherent multi-sequence. Considering (λr,λr+1,λr+2) we obtain by Proposition 11.16(iv) that (y(r+1,r+2)i)=0. Also for such q we have by Lemma 8.1 that (λq,λr,λr+1) splits. Hence we can subtract a standard multi-sequence to get a coherent multi-sequence (also denoted (y(t,u)i)) in which (y(r,r+1)i)=0. Now by Proposition 9.4(i) we get directly that λ is split.
We now assume that vq>lenp(λr+plr+1) for every 1≤q<r. Let (y(t,u)i) be a multi-sequence as in the statement of the Lemma. By Proposition 11.16(iv), the multi-sequence satisfies the coherence conditions for the triple (λr,λr+1,λr+2). By our usual arguments for the pairs related via the commuting relation (C) we obtain an equation in which both sides are zero and the coherence conditions are satisfied.
Hence it remains to consider the triples (λq,λr,λr+1) with q<r and (λr+1,λr+2,λt) with t>r+2.
The triple (λq,λr,λr+1) corresponds to the case appearing in Lemma 8.1 and since vq>lenp(λr+plr+1) for every q<r we have by Lemma 8.1 that the coherence conditions are satisfied.
Also for the triple (λr,λr+1,λt), y(r,r+1)i is identified with xi in the relations (T1)-(T3b). But as lt≤lr+2 and any value of y(r,r+1)pvr (and all other values [math]) is coherent for (λr,λr+1,λr+2) then we get directly that the coherence conditions are satisfied also for (λr,λr+1,λt).
∎
The final case corresponds to the situation in which (λr,λr+1,λr+2) has the form described in Proposition 11.16(v).
Lemma 12.28**.**
Suppose lr+2=vr>vr+1 with lr+1<valp(λr+pvr+1), λr+1=λ^r+1+plr+1 with 0≤λ^r+1<pvr, and λr+2=λ^r+2+pvr with 0≤λ^r+2<pvr+1. Then λ is non-split.
The space E(λ) is spanned by the standard multi-sequence and a non-zero multi-sequence (y(t,u)i) satisfying
y(r+1,r+2)j=y(r,r+2)k=0 for j,k=pvr with
[TABLE]
and (y(t,u)j)=0 for (t,u)=(r+1,r+2),(r,r+2).
Proof.
The considerations here are identical with those of Lemma 12.23 and the proof follows in the same way.
∎
12.4 Summary
We gather together now our results from Corollary 7.13 and Propositions 9.5, 12.3 and 12.16 in the following theorems to describe all the non-split partitions. We remind to the reader that for a partition λ=(λ1,…,λn) we have vi=valp(λi+1) and li=len(λi) for 1≤i≤n. Also, a partition λ is James if and only if vi>li+1 for 1≤i≤n−1.
Theorem 12.29**.**
A James partition is non-split if and only if it has length n≥2. The dimension of the extension group is bounded by n−1, and is described explicitly in Corollary 7.13.
Theorem 12.30**.**
Suppose that p≥3 and λ=(λ1,…,λn) is a non-James partition. Let 1≤r<n be minimal such that (λr,λr+1) is not James. Then λ is non-split if and only if one of the following holds.
(i) We have r<n−1, (λr+1,λr+2) is not James, (λr,λr+1) and (λr+1,λr+2) are the only non-James consecutive pairs of rows of λ and (λr,λr+1,λr+2) is non-split.
(iii) We have r<n−1, (λr,λr+1) is the only non-James consecutive pair of rows of λ, (λr,λr+1) is split and (λr,λr+1,λr+2) is non-split.
(iii) We have r<n, (λr,λr+1) is the only non-James consecutive pair of rows of λ, (λr,λr+1) is pointed and there is no 1≤q<r with
vq=lenp(λr+plr+1).
*(iv) We have r<n−2, (λr+3,…,λn) is James and the quadruple
(λr,λr+1,λr+2,λr+3) satisfies the following conditions:*
λr=(plr+1+1−1)−pvr+plr+1+1λr′, for some λr′≥0; and
λr+1=(pvr+1−1)−pvr+pvr+1λr+1′, (λr+1)vr=0 and λr+1′≥0; and
λr+2=pvr−1+pvr; and
λr+3=λ^r+3+pvr, with 0≤λ^r+3<pvr.
In all cases the dimension of the space of extensions is 1.
Theorem 12.31**.**
Suppose that p=2 and λ=(λ1,…,λn) is a non-James partition. Let 1≤r<n be minimal such that (λr,λr+1) is not James. Then λ is non-split if and only if one of the following holds.
(i) We have r<n−1, (λr+1,λr+2) is not James, (λr,λr+1) and (λr+1,λr+2) are the only non-James consecutive pairs of rows of λ and (λr,λr+1,λr+2) is non-split.
(ii) We have r<n−1, (λr,λr+1) is the only non-James consecutive pair of rows of λ, (λr,λr+1) is a split pair, (λr,λr+1,λr+2) is non-split and if r<n−2 then lr+3<lr+2.
(iii) We have r<n(λr,λr+1) is the only non-James consecutive pair of rows of λ, (λr,λr+1) is pointed and there is no q<r with vq=lenp(λr+plr+1).
In all cases the dimension of the space of extensions is 1.
13 Further Remarks
In this section we highlight some consequences of our main result and give counterexamples to a conjecture of D. Hemmer in each characteristic and answer a problem that he states in the last section of [12].
Corollary 13.1**.**
Let p≥3 and λ=(λ1,…,λn) a partition of degree d with at least three parts. Then H1(Σpd,Sp(pλ))=0.
Proof.
This follows immediately by our main results, Theorem 12.29-31. However, we give here an alternative proof using some of our results from the earlier sections. First notice that since (pλ1,pλ2) is not James we get by Proposition 9.4(i) that it is enough to show that μ=(pλ1,pλ2,pλ3) splits.
If (pλ1,pλ2) is split then by Lemma 10.2, μ splits, since (pλ1+1,pλ2) is not James.
If (pλ1,pλ2) is pointed then by Lemma 11.3, μ splits, since valp((pλ1+1)+1)=0 and λ2>0. So we are done.
∎
Remark 13.2**.**
The above result is not true for n=2. More precisely, by Lemma 5.12 we have that for a partition λ=(λ1,λ2) of degree d with λ2>0, the first cohomology group H1(Σpd,Sp(pλ))=0 if and only if pλ is pointed, i.e. λ2=pt for some t>0. In this case we have that the first cohomology group is 1 dimensional. Of course this also follows from the work of Erdmann [9].
Remark 13.3**.**
In [12], Hemmer states that for a partition λ=(λ1,…,λn) of degree d there is an isomorphism of vector spaces H1(Σpcd,Sp(pcλ))≅H1(Σpc+1d,Sp(pc+1λ)) for c≥1, [12] Theorem 6.5.8.
If λ has length 2 this follows by our remark above, observing first that for c≥1 the partition pcλ is pointed if and only if pλ is pointed. For n≥3, Corollary 13.1 gives a much stronger result, namely that
H1(Σpd,Sp(pλ))=0 for all the partitions λ with at at least three parts.
We note that though Hemmer’s statement is true his argument is problematic. More precisely, [12] Corollary 6.4 is not correct and it is heavily used in what follows. This applies also to other parts of the paper (see for example Lemma 6.5.2). The source of these difficulties is his statement that for two partitions λ and μ with length at most n and λ>μ one has that λi−λi+1≥μi−μi+1 for every 1≤i≤n−1. This is not true as one may see in simple examples. This statement is used in the argument given for Corollary 6.4. The reader can also check that for p=3 and G=GL5(K) the partitions λ=(23,11,2) and μ=(18,9,9) satisfy the conditions of Corollary 6.4 and that λ−μ−2ρ is a weight of the Steinberg module St1 contrary to the statement of Corollary 6.4.
13.4 Counterexamples to Hemmer’s Conjecture. In the same paper, the author conjectures, [12], Conjecture 8.2.1, that if p≥3 and λ is a partition of degree d with λ=(d) such that the simple module L(λ) for GLN(K) (with N≥d) appears as a composition factor of Sd(E), then
[TABLE]
Here we give a counterexample to this conjecture in each characteristic for n≥2. By Krop’s description of the composition factors of the symmetric powers in [18] (see also [8], Remark 4.13) we have that for
pλ=p(p−1,…,p−1), the partition with all n parts equal to p(p−1), the simple module L(λ) is a composition factor of Sd(E), where
d=(p2−p)(n−1).
Now by Corollary 13.1 we have that H1(Σpd,Sp(pλ))=0 for n≥3. Moreover for n=2, since p≥3, we have λ2=pt and so by Remark 13.2 we have again that H1(Σpd,Sp(pλ))=0. Thus pλ=p(p−1,…,p−1) is a counterexample to this conjecture for n≥2 and p≥3.
13.5 Another Problem. We conclude by answering a question raised in the last section of Hemmer’s paper. In [12], Lemma 8.2.3, the author makes the following observation, via James’s description of the fixed points of the Specht modules. Given a partition λ=(λ1,…,λn) of degree d and a≥λ1 with lenp(λ1)<valp(a+1) (i.e. (a,λ1) is James) one has that H0(Σd,Sp(λ))≅H0(Σa+d,Sp(μ)), where μ=(a,λ1,…,λn). It is then asked, [12], Problem 8.2.4, whether one has such an isomorphism for cohomology in higher degree.
Note that in the case of i=1, using Lemma 7.7 and Proposition 7.11 (or directly by Corollary 7.13), one can verify that
[TABLE]
and
[TABLE]
(where d is the degree of (pn−1,pn−1−1,…,p2−1,1) and d′ is the degree of (pn+1−1,pn−1,…,p2−1,1)).
Appendix I: Comparing Cohomology
We fix integers n>0, d≥0, with n≥d. We shall use the notation of [7], taking q=1 where appropriate.
We have the Schur algebra S(n,d) and an idempotent e∈S=S(n,d) with eSe identified with the group algebra KΣd, as in [10], and [7]. For a partition λ of d we write M(λ) for the corresponding permutation module and Y(λ) for the corresponding Young module. The argument comparing extensions for G(n)-modules and KΣd-modules is based on Section 10 of [5].
For a finite dimensional algebra A, we write mod(A) for the category of finite dimensional left A-modules.
We have the Schur functor f:mod(S)→mod(eSe), given on objects by fV=eV, V∈mod(S), as in [10], Chapter 6. Then f is exact and we have the (right exact) functor
g:mod(eSe)→mod(S), given on objects by gX=Se⊗eSeX, as in [5], Chapter 6. We have HomS(gX,Y)=HomeSe(X,fY), for X∈mod(eSe), Y∈mod(S), by Frobenius reciprocity. We write Lig:mod(eSe)→mod(S) for the left derived functors and simply Lg for the first derived functor of g Now g takes projective modules to projective modules so the factorisation HomeSe(−,fY)=HomS(−,Y)∘g gives rise to a Grothendieck spectral sequence, with second page ExtSi(LjgX,Y), converging to ExteSe∗(X,fY), for X∈mod(eSe), Y∈mod(S). In particular we have the 5-term exact sequence
[TABLE]
For α=(α1,…,αn)∈Λ(n,d) we write SαE for Sα1E⊗⋯⊗SαnE, the tensor product of symmetric powers of the natural module E. For λ∈Λ+(n,d) we write I(λ) for the injective hull of the simple module L(λ) with highest weight λ, in the polynomial category.
We shall need the following.
**Lemma **For λ∈Λ+(n,r) we have gY(λ)=I(λ) and gM(λ)=SλE.
Proof.
By unitriangularity of decompositions of the modules SλE as a direct sum of I(μ)s (see e.g. [7], 2.1 (8)) and the Krull-Schimdt Theorem it is enough to show that gM(λ)=SλE. For this we argue as follows. For α∈Λ(n,d) we have fSαE=M(α) (see e.g., Section 9, (1)(i) of [5]) and hence
[TABLE]
by Frobenius reciprocity. But this is independent of characteristic (since M(λ) and M(α) are permutation modules). Hence, by [7], 2.1 (8) the weight space dimension dim(gM(λ))α is independent of characteristic.
But in characteristic [math] the functors f and g are inverse equivalences of categories and fSλE=M(λ) so we have dimgM(λ)=dimSλE (in all characteristics).
Now for λ=(1d) we have M(1d)=eSe so that
[TABLE]
Now for arbitary λ we have the natural epimorphism E⊗d→SλE and so the epimorphism eSe→M(λ) and so the epimorphism E⊗d→gM(λ). Now we have a commutative diagram
[TABLE]
where the horizontal maps are induced from the inclusions M(1d)→E⊗d and M(λ)→SλE. The top map is an isomorphism and the right map is surjective, hence the bottom map is surjective. Since dimSe⊗eSeM(λ)=dimSλE we have an isomorphism gM(λ)→SλE.
∎
For X=M(μ) and Y=∇(λ) the 5-term exact sequence takes the form
[TABLE]
On the other hand if we take X∈mod(eSe) and Y an injective S-module then the spectral sequence degenerates and we have
ExteSei(X,fY)=HomS(LigX,Y). Hence we have LgX=0 provided that ExteSe1(X,fY)=0, for all injective modules Y. Now an injective S-module is a direct summand of a direct sum of copies of the symmetric powers SαE, α∈Λ+(n,d) and so we have LgX=0 provided that ExtΣd1(X,M(τ))=0 for all τ∈Λ+(n,d). For X=M(d), the trivial module, we have ExtΣd1(X,M(τ))=H1(Σd,M(τ)), which by Shapiro’s Lemma, is H1(Στ,K), where Στ=Στ1×Στ2×⋯ (and τ=(τ1,τ2,…)). Now if p>2 we have H1(Στ,K)=0 and hence LgM(d)=0. Hence, from the above 5-term exact sequence we have ExtΣd1(M(d),Sp(λ))=ExtG(n)1(SdE,∇(λ)). Of course in all characteristics we have a surjection ExtΣd1(M(d),Sp(λ))→ExtG(n)1(SdE,∇(λ)), from the 5-term exact sequence.
**Proposition **For λ∈Λ+(n,d) we have:
(i) HomG(n)(SdE,∇(λ))=H0(Σd,Sp(λ)); and
(ii) dimH1(Σd,Sp(λ))≥dimExtG(n)1(SdE,∇(λ)), with equality if p=2.
The first assertion comes directly from the Lemma and Frobenius reciprocity and the second from the discussion above.
Appendix II: The Relations
For the convenience of the reader, we collect together the relations that are used a great deal throughout the paper.
**Definition ** Let (a,b) be a two part partition. By an extension sequence for (a,b) we mean a sequence (xi)=(x1,…,xb) of elements of K such that
[TABLE]
**Definition ** We fix a three part partition λ=(a,b,c). By a coherent triple of extension sequences for λ we mean a triple
((xi)1≤i≤b,(yj)1≤j≤c,(zk)1≤i≤c) of extension sequences satisfying the following relations:
[TABLE]
In any coherent multi-sequence (y(t,u)i) for a partition λ=(λ1,…,λn) we have the following commuting relations:
[TABLE]
In particular for 1≤r<s<n with s>r+1 we have
[TABLE]
Bibliography23
The reference list from the paper itself. Each links out to its DOI / PubMed record.
1[1] Maurice Auslander, Idun Reiten and Sverre O. Smalø, Representation Theory of Artin Algebras, Cambridge Tracts in Mathematics 36 , CUP 1995
2[2] Edward Cline, Brian Parshall and Leonard Scott, Cohomology, hyperalgebras and representations , Journal of Algebra, 63 , 98-123, (1980)
3[3] R. Dipper and S. Donkin, Quantum SL n subscript SL 𝑛 {\rm SL}_{n} , Proc. Lond. Math. Soc. 63 , 165-211, (1991).
4[4] S. Donkin, Rational Representations of Algebraic Groups: Tensor Products and Filtrations , Lecture Notes in Math. 1140, Springer 1985.
5[5] S. Donkin, Tilting modules for algebraic groups and finite dimensional algebras , in: Handbook of Tilting Theory, London Mathematical Society Lecture Note Series 332 , pp. 215-257. Edited by L. A. Hügel, D. Happel and H. Krause, Cambridge University Press 2007.
6[6] S. Donkin, Standard Homological Properties for Quantum GL n subscript GL 𝑛 {\rm GL}_{n} , J. Algebra, 181 , 235-266, 1996.
7[7] S. Donkin, The q 𝑞 q -Schur algebra , LMS Lecture Notes 253, Cambridge University Press 1998.
8[8] S. Donkin and H. Geranios, Composition factors of a tensor product of truncated symmetric powers , Advances in Mathematics 285 , 394-433, 2015.