Maths Olympiad Prep

Library / /2 of 2

Algebra Difficulty 7.3 National olympiad, round 2 Find the answer

For any n1n \geq 1, let AA denote the C\mathbb{C} algebra consisting of n×nn \times n upper triangular complex matrices {(000)n×n}\left\{\left(\begin{array}{ccc}* & * & * \\ 0 & * & * \\ 0 & 0 & *\end{array}\right)_{n \times n}\right\}. We shall consider the left AA-modules (that is, C\mathbb{C}-vector spaces VV with C\mathbb{C}-algebra homomorphisms ρ:AEnd(V))\rho: A \rightarrow \operatorname{End}(V)). (2) Determine all simple modules of AA.

A number or a short expression. Spacing and $ signs are ignored.

Solution

(2a) Let Si,1inS_{i}, 1 \leq i \leq n, denote the 1-dimensional modules such that EiiE_{i i} acts by 1 and Eij,EjjE_{i j}, E_{j j} acts by 0 for jij \neq i. They are simple modules. (2b) It remains to show that the SiS_{i} we have constructed are the only simple modules. Let SS denote any finite dimensional simple module. We claim that Eij,i<jE_{i j}, i<j, form a nilpotent 2-sided ideal NN (because the product of an upper triangular matrix with a strictly upper one is strictly upper). Then NN acts on SS by 0 (To see this, NSN S is a submodule of SS. It is proper because NN is nilpotent. Since SS is simple, we deduce that NS=0N S=0.) Note that the action of EiiE_{i i} commute with each other (and with the 0 -action by EijE_{i j} ), thus they are module endomorphisms. By Schur's Lemma, EiiE_{i i} acts on SS as a scalar. Since EiiEjj=0E_{i i} E_{j j}=0 for iji \neq j, at most one EiiE_{i i} acts as a non-zero scalar. Recall that 1=iEii1=\sum_{i} E_{i i} acts by the identity. The claim follows.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.