Problem 1.25 of Etingof's Introduction to Representation theory asks us to verify that if $A := \mathbb{C}[x,y]/I_2$ where $I_2$ is the ideal generated by homogeneous polynomials of degree at least 2, and $V := A^\ast$, the set of linear maps $A \to \mathbb{C}$, made into an $A$-module via $a f ( a') := f ( a a')$, then $V$ is indecomposable as an $A$-module but not cyclic.
My solution for indecomposability is very hands-on. Is there a better way to do this question?
My attempt:
$V$ not cyclic: If $V = Af$ for some $f$, then for any $a = \lambda + \mu x + \nu y \in A$ one needs to solve for $\lambda, \mu, \nu$ the equation system $$\begin{pmatrix} af(1) \\ af(x) \\ af(y) \end{pmatrix} = \begin{pmatrix} f(1) & f(x) & f(y) \\ f(x) & 0 & 0 \\ f(y) & 0 & 0 \end{pmatrix} \begin{pmatrix} \lambda \\ \mu \\ \nu \end{pmatrix}$$ for arbitrary values of $af(1), af(x), af(y)$. This is not possible as the determinant of the right hand matrix is 0.
$V$ indecomposable: Suppose $V = U + W$. Under the basis $\{1,x,y\}$ of $A$, let $\delta_1, \delta_x, \delta_y \in V$ have matrices $(1\;0\;0)$, $(0\;1\;0)$, $(0\;0\;1)$ resp. Write $\delta_x = u_x - w_x$ some $u_x \in U$ and $w_x \in W$, with matrices $(\lambda\;(\mu+1)\;\nu)$ and $(\lambda\;\mu\;\nu)$ resp.
My original solution then goes on like this: There are four cases, each of which shows $U+W$ is not direct:
- If $\mu, \mu + 1 \neq 0$, have $(\mu + 1)^{-1} (xu_x) = \mu^{-1} (xw_x) = \delta_1 \neq 0$.
- If $\nu \neq 0$, have $\nu^{-1} (y u_x) = \nu^{-1} (yw_x) = \delta_1 \neq 0$.
- If either $\mu, \mu+1 =0$, and also $\nu = 0$ and $\lambda \neq 0$, wlog $\delta_1 \in U$ and $(\lambda\;1\;0) \in W$. Then $x (\lambda\; 1\;0) = \delta_1$.
- If either $\mu, \mu + 1 = 0$ and also $\nu = \lambda = 0$, then wlog $U \ni \delta_x$, hence also $U \ni \delta_1 = x\delta_x$. Now perform the same analysis on $\delta_y = u_y - w_y$. If we land in cases 1-3 we are done. Otherwise either $U$ or $W$ contains $\delta_y$, corresponding to $U = V$ or $\delta_1 \in U\cap W$.
Quicker method by jflipp: If $\dim{U} = 1$, then $U$ is a common eigenspace of $1,x,y$, ie $U = \langle \delta_1 \rangle$. We land in cases 3+4 above, since $-\delta_1 = xw_x \in W$. Argue similarly if $\dim{W} = 1$. For the other combinations of dimensions, $U+W$ is obviously not direct.