51cba9795f4656cc.tex
1: \begin{definition}
2: \label{cellmods}
3: For $\mu\in \La$, define $V(\mu)$ to be the vector space on homogeneous basis
4: \begin{equation}
5: \left\{
6: (c \mu | \:\big|\:
7: \text{for all oriented cup diagrams $c \mu$}\right\},
8: \end{equation}
9: where the degree of the vector $(c \mu |$ is the degree $\deg(c\mu)$ of the oriented cup diagram.
10: We make $V(\mu)$ into a graded $\D$-module by declaring
11: for any basis vector $(a \la b)$ of $\D$ that
12: \begin{equation}\label{Actby}
13: (a \la b) (c \mu| :=
14: \left\{
15: \begin{array}{ll}
16: s_{a \la b}(\mu)  (a \mu|
17: &\text{if $b^* = c$ and $a \mu$ is oriented,}\\
18: 0&\text{otherwise.}
19: \end{array}\right.
20: \end{equation}
21: where $s_{a \la b}(\mu) \in \{0,\mp 1\}$ is the scalar
22: from Theorem~\ref{cellular}; hence the action is well-defined. We call $V(\mu)$ the {\emph cell module of highest weight $\mu$}.
23: \end{definition}
24: