Maths Olympiad Prep

Library / Yau Science Award

Yau Science Award

Algebra Difficulty 7.3 National Olympiad, round 2 Find the answer

For any n≥1n \geq 1, let AA denote the C\mathbb{C} algebra consisting of n×nn \times n upper triangular complex matrices {(∗∗∗0∗∗00∗)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 ρ:A→End⁡(V))\rho: A \rightarrow \operatorname{End}(V)). (2) Determine all simple modules of AA.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

(2a) Let Si,1≤i≤nS_{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 j≠ij \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 i≠ji \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.