Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The CDE triangle with C Cartan matrix and D decomposition matrix is well-known for finite groups. I have not seen a full account of this for finite dimensional algebras which I find surprising as people must have considered this.

For finite groups we are interested in comparing representations in characteristic $p$ and in characteristic zero. A finite group algebra in characteristic zero is semi-simple. Therefore one can generalise this to finite dimensional algebras over a local ring (which are free as a module) and such that the algebra over the field of fractions is semisimple.

I would like to go further and drop the condition that the algebra over the field of fractions is semisimple. Then the triangle should be replaced by a square. In the semisimple case one edge of this square is the identity matrix (the Cartan matrix of a semisimple algebra).

Once this has been done I would like a statement that says this is compatible with composing specialisations.

As a motivating example take the Hecke algebras over the ring of Laurent polynomials, $\mathbb{Z}[q,q^{-1}]$. Then we have homomorphisms to the fields $\mathbb{Q}(q)$, $\mathbb{Q}(\omega)$ (taking $q$ to a root of unity) and to a finite field. This gives two decomposition matrices in the usual sense.

Is there also a decomposition matrix going from $\mathbb{Z}[q,q^{-1}]$ to $\mathbb{Z}(\omega)$? and does this give a factorisation of the decomposition matrix going from $\mathbb{Z}[q,q^{-1}]$ to the finite field?

share|improve this question
    
Is it true that really understanding what you're asking for would allow one to settle the James conjecture (relating Hecke alg. reps at a root of unity to modular reps of the corresponding Weyl group)? If I remember correctly, one consequence of this would be that if p^2>n for a prime p, then (working w/ $W=S_n$ the symmetric group) simple modules for the Hecke algebra at a pth root of unity stay simple upon reduction mod p. –  GS Jun 23 '10 at 13:16
    
@Bruce: It's probably a good idea to add a tag like rt.representation-theory to be flexible about the possible directions. –  Jim Humphreys Jun 23 '10 at 13:30
add comment

2 Answers

I would say that the correct general formulation of the CDE is as follows: let $A$ be a complete local ring with fraction field $K$ and residue field $k$. Let $R$ be an $A$-algebra which is free and finite rank. Let $R_k$ and $R_K$ be the base changes. Then we have the Cartan matrix $C$ of $R_k$, whose entries are multiplicities of simple modules in projective covers.

We also have the decomposition matrix, which gives the multiplicities of simple $R_k$-modules in the base change of the A-form of a simple $R_K$-modules (note that this A-form is a choice, but hopefully the resulting multiplicities don't depend on it).

Finally, we can take a projective $R_k$ module; since this has trivial self-exts, we can deform this to an R-module in a unique way. I think I'm really using completeness here; my intuition is that local isn't good enough, but maybe one of the experts out there can clarify. The usual $E$ matrix would be the multiplicities of the simples of $R_K$ in the base change of this deformation. I believe you're right that this deformation must be projective (given any $R$-module, you can think of the Ext's as a coherent sheaf on Spec A, and its stalk vanishes at the only closed point), and so one could also incorporate the Cartan matrix of $R_K$ into this picture.

The result is a factorization $C_k=DC_KE$ where now $E$ is defined in terms of multiplicities of indecomposible projectives in the deformation.

In the example you wrote, I haven't thought extremely carefully, but I'm worried that you haven't taken completions.

share|improve this answer
    
That's a nice account of what I meant in the first question. If I understand this then we have three CDE squares with $(K,k)$ given by $(\mathbb{Q}(q),\mathbb{Q}(\omega))$, $(\mathbb{Q}(\omega),\mathbb{F})$ and $(\mathbb{Q}(q),\mathbb{F})$. Then I want to say that the first two CDE squares glue together to give the third. Experts say that if you know the decomposition numbers for $q$ a root of unity then you know the classical decomposition numbers using the Steinberg representation. Does this mean they know the second CDE square? and are then combining them? –  Bruce Westbury Feb 17 '10 at 16:53
    
P.S. Why doesn't jsMath work in a comment? –  Bruce Westbury Feb 17 '10 at 16:55
    
There are two things here. To define $C$ one needs for $A$ to be local Henselian only (a minor point). To have $D$ defined it is necessary to have that the kernel of $K_0(R_A) \to K_0(R_K)$ ($K_0$ being the Grothendieck group of f.g. modules) map to zero under the reduction map $K_0(R_A) \to K_0(R_k)$ (and for that map to be defined one needs $R$ to be regular). The traditional case is that $A$ is a DVR, I am unsure about the right generality. One could however assume only that $(A,(q))$ is a Henselian couple ($(q)$ need not be maximal) and $k=A/(q)$ and $K=A[q^{-1}]$. –  Torsten Ekedahl Feb 17 '10 at 17:01
    
One comment about a CDE square vs a triangle. The whole theory only sees simple modules so one may start by dividing out by the radical of $R_K$ (and its intersection with $R$) making $R_K$ semi-simple. –  Torsten Ekedahl Feb 17 '10 at 17:06
    
Torsten- I'm very confused by what "the whole theory only sees simple modules" means. Are you saying the Cartan matrix of R_k won't change? that sounds pretty hard to believe. –  Ben Webster Feb 17 '10 at 20:03
show 1 more comment

To revisit Bruce's earlier question, it might be useful to suggest a more sceptical alternative to Ben's answer and the related comments. I doubt that there will be a "correct" version of the CDE-triangle that has enough breadth to take in the variety of analogues that have emerged in representation theory, though it's obviously important to make the assumptions precise about underlying fields, local rings, etc. See also the conference paper: MR2184010 (2006g:17027) 17B67 (17B10) Ekedahl, Torsten (S-STOC), Kac-Moody algebras and the cde-triangle. Noncommutative geometry and representation theory in mathematical physics, 49–58, Contemp. Math., 391, Amer. Math. Soc., Providence, RI, 2005.

For me the essential ingredients to start with are suitable module categories (or more general analogues) in which three distinctive types of objects play a leading role: (1) simple modules, which are "small" and basic but often hard to get at directly; (2) indecomposable projectives (or injectives ...) which are also naturally present in suitable categories and usually have just finitely many composition factors, but are typically "large" and messy to study; (3) intermediate objects, easier to construct and often having known dimensions (if finite) or "formal" characters. The idea then is to express (say) a projective cover of a simple module formally, perhaps via a filtration, in terms of the intermediate objects. To make this interesting, when all composition factor multiplicities are finite or otherwise controllable, one wants a kind of "reciprocity" between multiplicities of simples in intermediate objects and multiplicities of the latter in the big modules. Here is some brief history followed by a sample of more recent instances. (It does get a bit long...)

(1) Elie Cartan actually studied what we now call finite dimensional associative algebras and emphasized the importance of knowing the composition factor multiplicities of indecomposable projectives (now dubbed Cartan invariants). For a finite group with $r$ classes of elements having orders not divisible by a given prime $p$, you get an $r \times r$ matrix $C$ (over a large enough field).

(2) Work by Richard Brauer and his Toronto student Cecil Nesbitt after 1937 introduced in the finite group setting (for a prime $p$ dividing the group order and large enough fields) an $s \times r$ decomposition matrix $D$ showing how to express the $s$ ordinary irreducible characters (= number of classes) as formal sums of $p$-modular irreducible characters (counting composition factor multiplicities in reduction mod $p$ for any suitable lattice in a module). Then $C = D^{t} D$ (so $C$ is symmetric), where the transpose of $D$ shows how to express a projective (lifted to characteristic 0) as a combination of ordinary characters. These ideas were exposed by Curtis-Reiner (1962) in Section 83, etc. Brauer was studying $p$-blocks, which show up in the block decompositions of the matrices.

(3) Following Swan's formalism, Serre (1971) formulated the more abstract cde-triangle in his part III, using homomorphisms between various Grothendieck groups. This was further codified by Curtis-Reiner in their later 1981 book, Section 18, with a lot of attention to the rings and fields involved.

(4) Having studied the old CR book in a 1963-64 course at Yale taught by Jacobson (!), I later tried to adapt $C = D^{t} D$ to modular representations of Lie algebras of simple algebraic groups (working just in prime characteristic). The f.d. restricted enveloping algebra imitates a finite group algebra in some ways. Here the "intermediate" objects were f.d. analogues of Verma modules. At first I studied blocks and multiplicities but not filtrations. This rough version appeared in J. Algebra (1971) and inspired Verma's introduction of affine Weyl groups relative to $p$, as well as much more sophisticated work by Jantzen treating filtrations of projectives, plus action of a maximal torus in the group.

(5) Work by Bernstein-Gelfand-Gelfand in the early 1970s was partly inspired by Jantzen's work and by my 1971 paper, leading to their "BGG category" and "BGG reciprocity" in 1976. Then Kazhdan-Lusztig theory for finite and affine Weyl groups came into play, etc.

(6) Eventually some but not all of the ideas spread elsewhere in representation theory, including the work by Alvany Rocha and her thesis advisor Nolan Wallach and much other work on Kac-Moody algebras (recently by Arakawa-Fiebig for the mysterious critical level in the affine case). Plus early work by Dan Nakano on other modular Lie algebra settings, recent work on rational Cherednik algebras, and so on.

(7) The most fruitful general formulation for some purposes was given in a 1988 Crelle paper by Cline-Parshall-Scott on highest weight categories and quasi-hereditary algebras. Other general settings were proposed by Ron Irving and by Apoorva Khare. It's hard though to find just one common framework.

share|improve this answer
    
Wow. Thanks for posting this, Jim! –  GS Jun 23 '10 at 13:09
    
Thanks, Jim, that is a very instructive answer. I want to explain why I have not accepted either of these answers as these are both useful. The question I had in mind was whether you could do this in stages. I have not heard of this being done, maybe with good reason. In other words could you have two (or more) layers of intermediate objects? Then the Cartan matrix becomes a product of three (or more) decomposition matrices? –  Bruce Westbury Jun 23 '10 at 15:47
    
@Bruce: I understand what you are asking for but have no views on it at present. I did want to offer at least the alternative view that a "correct formulation" might be hard to define in a general situation not sharing enough features of Brauer's finite group ideas. –  Jim Humphreys Jun 23 '10 at 16:42
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.