$\stackrel{\sim }{H}\text{-modules}$

Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au

Last update: 13 November 2012

$\stackrel{\sim }{H}\text{-modules}$

2.1. Weights

In view of the results in Section 1.18 we shall (for the remainder of this paper, except Sections 5–7 where we use the data in (1.1)) assume that $L=P$ in the definition of the group $X$ and $\stackrel{\sim }{H},$ see (1.2), (1.9), and (1.14). The Weyl group acts on

$$T=\text{Hom}(X,{ℂ}^{*})=\{\text{group homomorphisms}t:X\to {ℂ}^{*}\}\text{by}\left(wt\right)\left(X^{\lambda }\right)=t\left(X^{w^{-1}\lambda }\right)\text{.}$$

Let $M$ be a finite dimensional $\stackrel{\sim }{H}\text{-module}$ and let $t\in T\text{.}$ The $t\text{-weight}$ space and the generalized t-weight space of $M$ are

$$\begin{array}{ccc}{M}_t& =& \{m\in M\mid X^{\lambda }m=t\left(X^{\lambda }\right)m\text{for all}{X}^{\lambda }\in X\}\text{and}\\ M_t^{\text{gen}}& =& \{m\in M\mid \text{for each}{X}^{\lambda }\in X,{(X^{\lambda }-t\left(X^{\lambda }\right))}^{k}m=0\text{for some}k\in {\mathbb{Z}}_{>0}\},\end{array}$$

respectively. Then

$$\begin{array}{cc}M=\underset{t\in T}{⨁}{M}_t^{\text{gen}}& \text{(2.2)}\end{array}$$

is a decomposition of $M$ into Jordan blocks for the action of $ℂ\left[X\right],$ and we say that $t$ is a weight of $M$ if $M_t^{\text{gen}}\ne 0\text{.}$ Note that $M_t^{\text{gen}}\ne 0$ if and only if $M_t\ne 0\text{.}$ A finite-dimensional $\stackrel{\sim }{H}\text{-module}$

$$M\text{is}\text{calibrated}\text{if}{M}_t^{\text{gen}}=M_t,\text{for all}t\in T\text{.}$$

Remark. The term tame is sometimes used in place of the term calibrated particularly in the context of representations of Yangians, see [NTa1998]. The word calibrated is preferable since tame also has many other meanings in different parts of mathematics.

Let $M$ be a simple $\stackrel{\sim }{H}\text{-module.}$ As an $X\left(T\right)\text{-module,}$ $M$ contains a simple submodule and this submodule must be one-dimensional since all irreducible representations of a commutative algebra are one dimensional. Thus, a simple module always has $M_t\ne 0$ for some $t\in T\text{.}$

2.3. Central characters

The Pittie–Steinberg theorem, Theorem 1.17, shows that, as vector spaces,

$$\stackrel{\sim }{H}=H\otimes ℂ\left[X\right]=H\otimes ℂ{\left[X\right]}^W\otimes 𝒦,\text{where}𝒦=ℂ\text{-span}\{X^{{\lambda }_w}\mid w\in W\},$$

and $H$ is the Iwahori–Hecke algebra defined in (1.8). Thus $\stackrel{\sim }{H}$ is a free module over $Z\left(\stackrel{\sim }{H}\right)=ℂ{\left[X\right]}^W$ of rank $\text{dim}\left(H\right)·\text{dim}\left(𝒦\right)={\mid W\mid }^2\text{.}$ By Dixmier’s version of Schur’s lemma (see [44, Lemma 0.5.1]), $Z\left(\stackrel{\sim }{H}\right)$ acts on a simple $\stackrel{\sim }{H}\text{-module}$ by scalars and so it follows that every simple $\stackrel{\sim }{H}\text{-module}$ is finite dimensional of dimension $\le {\mid W\mid }^2\text{.}$ Theorem 2.12(d) below will show that, in fact, the dimension of a simple module is $\le \mid W\mid \text{.}$

Let $M$ be a simple The central character of $M$ is an element $t\in T$ such that

$$pm=t\left(p\right)m,\text{for all}m\in M,p\in ℂ{\left[X\right]}^W=Z\left(\stackrel{\sim }{H}\right)\text{.}$$

The element $t$ is only determined up to the action of $W$ since $t\left(p\right)=wt\left(p\right)$ for all $w\in W\text{.}$ Because of this, any element of the orbit $Wt$ is referred to as the central character of $M\text{.}$

Because $P=L$ in the construction of $X,$ a theorem of Steinberg [Ste1968-2, 3.15, 4.2, 5.3] tells us that the stabilizer $W_t$ of a point $t\in T$ under the action of $W$ is the reflection group

$$W_t=⟨s_{\alpha }\mid \alpha \in Z\left(t\right)⟩,\text{where}Z\left(t\right)=\{\alpha \in R^{+}\mid t\left(X^{\alpha }\right)=1\}\text{.}$$

Thus the orbit $Wt$ can be viewed in several different ways via the bijections

$$\begin{array}{cc}Wt\leftrightarrow W/W_t\leftrightarrow \{w\in W\mid R\left(w\right)\cap Z\left(t\right)=\varnothing \}\leftrightarrow \left\{\genfrac{}{}{0ex}{}{\text{chambers on the positive}}{\text{side of}{H}_{\alpha }\text{for}\alpha \in Z\left(t\right)}\right\},& \text{(2.4)}\end{array}$$

where the last bijection is the restriction of the map in (1.6). If the root system $Z\left(t\right)$ is generated by the simple roots ${\alpha }_i$ that it contains then $Wt$ is a parabolic subgroup of $W$ and $\{w\in W\mid R\left(w\right)\cap Z\left(t\right)\}$ is the set of minimal length coset representatives of the cosets in $W/W_t\text{.}$

2.5. Principal series modules

For $t\in T$ let $ℂv_t$ be the one-dimensional $ℂ\left[X\right]\text{-module}$ given by

$$X^{\lambda }{v}_t=t\left(X^{\lambda }\right)v_t,\text{for}{X}^{\lambda }\in X\text{.}$$

The principal series representation $M\left(t\right)$ is the $\stackrel{\sim }{H}\text{-module}$ defined by

$$\begin{array}{cc}M\left(t\right)=\stackrel{\sim }{H}{\otimes }_{ℂ\left[X\right]}ℂv_t={\text{Ind}}_{ℂ\left[X\right]}^{\stackrel{\sim }{H}}\left(ℂv_t\right)\text{.}& \text{(2.6)}\end{array}$$

The module $M\left(t\right)$ has basis $\{T_w\otimes v_t\mid w\in W\}$ with $H$ acting by left multiplication.

If $w\in W$ and $X^{\lambda }\in X$ then the defining relation (1.10) for $\stackrel{\sim }{H}$ implies that

$$\begin{array}{cc}{X}^{\lambda }(T_w\otimes v_t)=t\left(X^{w\lambda }\right)(T_w\otimes v_t)+\sum _{u<w}{a}_u(T_u\otimes v_t),& \text{(2.7)}\end{array}$$

where the sum is over $u<w$ in the Bruhat–Chevalley order and $a_u\in ℂ\text{.}$ Let $W_t=\text{Stab}\left(t\right)$ be the stabilizer of $t$ under the $W\text{-action.}$ It follows from (2.7) that the eigenvalues of $X$ on $M\left(t\right)$ are of the form $wt,$ $w\in W,$ and by counting the multiplicity of each eigenvalue we have

$$\begin{array}{cc}M\left(t\right)=\underset{wt\in Wt}{⨁}M{\left(t\right)}_{wt}^{\text{gen}}\text{where dim}\left(M{\left(t\right)}_{wt}^{\text{gen}}\right)=\mid W_t\mid ,\text{for all}w\in W\text{.}& \text{(2.8)}\end{array}$$

In particular, if $t$ is regular (i.e., when $W_t$ is trivial), there is a unique basis $\{v_{wt}\mid w\in W\}$ of $M\left(t\right)$ determined by

$$\begin{array}{c}{X}^{\lambda }{v}_{wt}=\left(wt\right)\left(X^{\lambda }\right)v_{wt},\text{for all}w\in W\text{and}\lambda \in P,\\ v_{wt}=T_w\otimes v_t+\sum _{u<w}{a}_{wu}\left(t\right)(T_u\otimes v_t),\text{where}{a}_{wu}\left(t\right)\in ℂ\text{.}& \text{(2.9)}\end{array}$$

Let $t\in T\text{.}$ The spherical vector in $M\left(t\right)$ is

$$\begin{array}{cc}{1}_t=\sum _{w\in W}{q}^{\ell \left(w\right)}{T}_w\otimes v_t\text{.}& \text{(2.10)}\end{array}$$

Up to multiplication by constants this is the unique vector in $M\left(t\right)$ such that $T_w{1}_t=q^{\ell \left(w\right)}{1}_t$ for all $w\in W\text{.}$ The following is due to Kato [Kat1981, Proposition 1.20 and Lemma 2.3],

Proposition 2.11. Let $t\in T$ and let $W_t$ be the stabilizer of $t$ under the $W\text{-action.}$

1. If $W_t=\left\{1\right\}$ and $v_{wt},$ $w\in W$ is the basis of $M\left(t\right)$ defined in (2.9) then $$1_t=\sum _{z\in W}t\left(c_z\right),\text{where}{c}_z=\prod _{\alpha \in R\left(w_{0}z\right)}\frac{q-q^{-1}{X}^{\alpha }}{1-X^{\alpha }}\text{.}$$
2. The spherical vector $1_t$ generated $M\left(t\right)$ if and only if $t\left(\prod _{\alpha \in R^{+}}(q^{-1}-q{X}^{\alpha })\right)\ne 0\text{.}$
3. The module $M\left(t\right)$ is irreducible if and only if $1_{wt}$ generates $M\left(wt\right)$ for all $w\in W\text{.}$

		Proof.
	The proof is accomplished in exactly the same way as done for the graded Hecke algebra in [KRa2002, Proposition 2.8]. The only changes which need to be made to [KRa2002] are Use $T_i\left(\sum _{w\in W}{q}^{\ell \left(w\right)}{T}_w\right)=q\left(\sum _{w\in W}{q}^{\ell \left(w\right)}{T}_w\right)$ and $1_t=\left(\sum _{w\in W}{q}^{\ell \left(w\right)}{T}_w\right)v_t$ and the $\tau \text{-operators}$ defined in Proposition 2.14 for the proof of (a). (We have included this result in this section since it is really a result about the structure of principal series modules. Though the proof uses the $\tau \text{-operators,}$ which we will define in the next section, there is no logical gap here.) For the proof of (b) use the Steinberg basis $\{X^{{\lambda }_y}\mid y\in W\}$ and the determinant $\text{det}\left(X^{z^{-1}{\lambda }_y}\right)$ from Theorem 1.17(b) in place of the basis $\{b_y\mid w\in W\}$ and the determinant used in [KRa2002]. $\square$

Part (b) of the following theorem is due to Rogawski [Rog1985, Proposition 2.3] and part (c) is due to Kato [Kat1981, Theorem 2.1]. Parts (a) and (d) are classical.

Theorem 2.12. Let $t\in T$ and $w\in W$ and define $P\left(t\right)=\{\alpha \in R^{+}\mid t\left(X^{\alpha }\right)=q^{\pm 2}\}\text{.}$

1. If $W_t=\left\{1\right\}$ then $M\left(t\right)$ is calibrated.
2. $M\left(t\right)$ and $M\left(wt\right)$ have the same composition factors.
3. $M\left(t\right)$ is irreducible if and only if $P\left(t\right)=\varnothing \text{.}$
4. If $M$ is a simple $\stackrel{\sim }{H}\text{-module}$ with $M_t\ne 0$ then $M$ is a quotient of $M\left(t\right)\text{.}$

		Proof.
	(a) follows from (2.8) and the definition of calibrated. Part (b) accomplished exactly as in [KRa2002, Proposition 2.8] and (c) is a direct consequence of the definition of $P\left(t\right)$ and Proposition 2.11. (d) Let $m_t$ be a nonzero vector in $M_t\text{.}$ If $v_t$ is as in the construction of $M\left(t\right)$ in (2.6) then, as $ℂ\left[X\right]\text{-modules,}$ $ℂm_t\cong ℂv_t\text{.}$ Thus, since induction is the adjoint functor to restriction there is a unique $\stackrel{\sim }{H}\text{-module}$ homomorphism given by $$\begin{array}{cccc}\varphi :& M\left(t\right)& ⟶& M,\\ & v_t& ⟼& m_t\text{.}\end{array}$$ This map is surjective since $M$ is irreducible and so $M$ is a quotient of $M\left(t\right)\text{.}$ $\square$

2.13. The $\tau$ operators

The following proposition defines maps ${\tau }_i:M_t^{\text{gen}}\to M_{s_{i}t}^{\text{gen}}$ on generalized weight spaces of finite-dimensional $\stackrel{\sim }{H}\text{-modules}$ $M\text{.}$ These are “local operators” and are only defined on weight spaces $M_t^{\text{gen}}$ such that $t\left(X^{{\alpha }_i}\right)\ne 1\text{.}$ In general, ${\tau }_i$ does not extend to an operator on all of $M\text{.}$

Proposition 2.14. Fix $i,$ let $t\in T$ be such that $t\left(X^{{\alpha }_i}\right)\ne 1$ and let $M$ be a finite-dimensional $\stackrel{\sim }{H}\text{-module.}$ Define

$$\begin{array}{cccc}{\tau }_i:& M_t^{\text{gen}}& ⟶& M_{s_{i}t}^{\text{gen}},\\ & m& ⟼& (T_i-\frac{q-q^{-1}}{1-X^{-{\alpha }_i}})m\text{.}\end{array}$$

1. The map ${\tau }_i:M_t^{\text{gen}}\to M_{s_{i}t}^{\text{gen}}$ is well defined.
2. As operators on $M_t^{\text{gen}},$ $X^{\lambda }{\tau }_i={\tau }_i{X}^{s_i\lambda },$ for all $X^{\lambda }\in X\text{.}$
3. As operators on $M_t^{\text{gen}},$ ${\tau }_i{\tau }_i=(q-q^{-1}{X}^{{\alpha }_i})(q-q^{-1}{X}^{-{\alpha }_i})/\left((1-X^{{\alpha }_i})(1-X^{-{\alpha }_i})\right)\text{.}$
4. Both maths ${\tau }_i:M_t^{\text{gen}}\to M_{s_{i}t}^{\text{gen}}$ and ${\tau }_i:M_{s_{i}t}^{\text{gen}}\to M_t^{\text{gen}}$ are invertible if and only if $t\left(X^{{\alpha }_i}\right)\ne q^{\pm 2}\text{.}$
5. Let $1\le i\ne j\le n$ and let $m_{ij}$ be as in (1.7). Then $$\underset{\underset{m_{ij}\text{factors}}{⏟}}{{\tau }_i{\tau }_j{\tau }_i\dots }=\underset{\underset{m_{ij}\text{factors}}{⏟}}{{\tau }_j{\tau }_i{\tau }_j\dots },$$ whenever both sides are well defined operators on $M_t^{\text{gen}}\text{.}$

		Proof.
	(a) The element $X^{{\alpha }_i}$ acts on $M_t^{\text{gen}}$ by $t\left(X^{{\alpha }_i}\right)$ times a unipotent transformation. As an operator on $M_t^{\text{gen}},$ $1-X^{-{\alpha }_i}$ is invertible since it has determinant ${(1-t\left(X^{-{\alpha }_i}\right))}^d$ where $d=\text{dim}\left(M_t^{\text{gen}}\right)\text{.}$ Since this determinant is nonzero $(q-q^{-1})/(1-X^{-{\alpha }_i})=(q-q^{-1})\times {(1-X^{-{\alpha }_i})}^{-1}$ is a well defined operator on $M_t^{\text{gen}}\text{.}$ Thus the definition of ${\tau }_i$ makes sense. Since $(q-q^{-1})/(1-X^{-{\alpha }_i})$ is not an element of $\stackrel{\sim }{H}$ or $ℂ\left[X\right]$ it should be viewed only as an operator on $M_t^{\text{gen}}$ in calculations. With this in mind it is straightforward to use the defining relation (1.10) to check that $$\begin{array}{c}{X}^{\lambda }{\tau }_{i}m=X^{\lambda }(T_i-\frac{q-q^{-1}}{1-X^{-{\alpha }_i}})m=(T_i-\frac{q-q^{-1}}{1-X^{-{\alpha }_i}})X^{s_i\lambda }m={\tau }_i{X}^{s_i\lambda }m\text{and}\\ {\tau }_i{\tau }_{i}m=(T_i-\frac{q-q^{-1}}{1-X^{-{\alpha }_i}})(T_i-\frac{q-q^{-1}}{1-X^{-{\alpha }_i}})m=\frac{(q-q^{-1}{X}^{{\alpha }_i})(q-q^{-1}{X}^{-{\alpha }_i})}{(1-X^{{\alpha }_i})(1-X^{-{\alpha }_i})}m,\end{array}$$ for all $m\in M_t^{\text{gen}}$ and $l\in X\text{.}$ This proves (a)-(c). (d) The operator $X^{{\alpha }_i}$ acts on $M_t^{\text{gen}}$ as $t\left(X^{{\alpha }_i}\right)$ times a unipotent transformation. Similarly for $X^{-{\alpha }_i}\text{.}$ Thus, as an operator on $M_t^{\text{gen}}$ $\text{det}\left((q-q^{-1}{X}^{{\alpha }_i})(q-q^{-1}{X}^{-{\alpha }_i})\right)=0$ if and only if $t\left(X^{{\alpha }_i}\right)=q^{\pm 2}\text{.}$ Thus part (c) implies that ${\tau }_i{\tau }_i,$ and each factor in this composition, is invertible if and only if $t\left(X^{{\alpha }_i}\right)\ne q^{\pm 2}\text{.}$ (e) Let $t\in T$ be regular. By part (a), the definition of the ${\tau }_i,$ and the uniqueness in (2.9), the basis ${\left\{v_{wt}\right\}}_{w\in W}$ of $M\left(t\right)$ in (2.9) is given by $$\begin{array}{cc}{v}_{wt}={\tau }_w{v}_t,& \text{(2.15)}\end{array}$$ where ${\tau }_w={\tau }_{i_1}\dots {\tau }_{i_p}$ for a reduced word $w=s_{i_1}\dots s_{i_p}$ of $w\text{.}$ Use the defining relation (1.10) for $\stackrel{\sim }{H}$ to expand the product of ${\tau }_i$ and compute $$\begin{array}{ccc}{v}_{w_{0}t}& =& \underset{\underset{m_{ij}factors}{⏟}}{\dots {\tau }_i{\tau }_j{\tau }_i}{v}_t=\underset{\underset{m_{ij}factors}{⏟}}{\dots T_i{T}_j{T}_i}{v}_t+\sum _{w<w_0}{T}_w{P}_w{v}_t=T_{w_0}\otimes v_t+\sum _{w<w_0}t\left(P_w\right)T_w\otimes v_t\\ & =& \underset{\underset{m_{ij}factors}{⏟}}{\dots {\tau }_j{\tau }_i{\tau }_j}{v}_t=\underset{\underset{m_{ij}factors}{⏟}}{\dots T_j{T}_i{T}_j}{v}_t+\sum _{w<w_0}{T}_w{Q}_w{v}_t=T_{w_0}\otimes v_t+\sum _{w<w_0}t\left(Q_w\right)T_w\otimes v_t\end{array}$$ where $P_w$ and $Q_w$ are rational functions in the $X^{\lambda }\text{.}$ By the uniqueness in (2.9), $t\left(P_w\right)=a_{w_{0}w}\left(t\right)=t\left(Q_w\right)$ for all $w\in W,$ $w\ne w_0\text{.}$ Since the values of $P_w$ and $Q_w$ coincide on all generic points $t\in T$ it follows that $$\begin{array}{cc}{P}_w=Q_w\text{for all}w\in W,w\ne w_0\text{.}& \text{(2.16)}\end{array}$$ Thus, $$\underset{\underset{m_{ij}factors}{⏟}}{\dots {\tau }_i{\tau }_j{\tau }_i}=T_{w_0}+\sum _{w<w_0}{T}_w{P}_w=T_{w_0}+\sum _{w<w_0}{T}_w{Q}_w=\underset{\underset{m_{ij}factors}{⏟}}{\dots {\tau }_j{\tau }_i{\tau }_j},$$ whenever both sides are well defined operators on $M_t^{\text{gen}}\text{.}$ $\square$

Let $t\in T$ and recall that

$$\begin{array}{cc}Z\left(t\right)=\{\alpha \in R^{+}tt\left(X^{\alpha }\right)=1\}\text{and}P\left(t\right)=\{\alpha \in R^{+}\mid t\left(X^{\alpha }\right)=q^{\pm 2}\text{.}\}& \text{(2.17)}\end{array}$$

If $J\subseteq P\left(t\right)$ define

$$\begin{array}{cc}{ℱ}^{(t,J)}=\{w\in W\mid R\left(w\right)\cap Z\left(t\right)=\varnothing ,R\left(w\right)\cap P\left(t\right)=J\}\text{.}& \text{(2.18)}\end{array}$$

We say that the pair $(t,J)$ is a local region if ${ℱ}^{(t,J)}\ne \varnothing \text{.}$ Under the bijection (2.4) the set ${ℱ}^{(t,J)}$ maps to the set of chambers whose union is the set of points $x\in {𝔥}_{ℝ}^{*}$ which are

1. on the positive side of the hyperplanes $H_{\alpha }$ for $\alpha \in Z\left(t\right),$
2. on the positive side of the hyperplanes $H_{\alpha }$ for $\alpha \in P\left(t\right)\backslash J,$
3. on the negative side of the hyperplanes $H_{\alpha }$ for $\alpha \in J\text{.}$

See the picture in Example 4.11(d). In this way the local region $(t,J)$ really does correspond to a region in ${𝔥}_{ℝ}^{*}\text{.}$ This is a connected convex region in ${𝔥}_{ℝ}^{*}$ since it is cut out by half spaces in ${𝔥}_{ℝ}^{*}\cong {ℝ}^n\text{.}$ The elements $w\in {ℱ}^{(t,J)}$ index the chambers $w^{-1}C$ in the local region and, as $J$ runs over the subsets of $P\left(t\right),$ the sets ${ℱ}^{(t,J)}$ form a partition of the set $\{w\in W\mid R\left(w\right)\cap Z\left(t\right)=\varnothing \}$ (which, by (2.4), indexes the cosets in $W/W_t\text{).}$

Corollary 2.19. Let $M$ be a finite dimensional $\stackrel{\sim }{H}\text{-module.}$ Let $t\in T$ and let $J\subseteq P\left(t\right)\text{.}$ Then

$$\text{dim}\left(M_{wt}^{\text{gen}}\right)=\text{dim}\left(M_{w^{\prime }t}^{\text{gen}}\right),\text{for}w,w^{\prime }\in {ℱ}^{(t,J)},$$

		Proof.
	Suppose $w,s_{i}w\in {ℱ}^{(t,J)}\text{.}$ We may assume that $s_{i}w>w\text{.}$ Then $\alpha =w^{-1}{\alpha }_i>0,$ $\alpha \notin R\left(w\right)$ and $\alpha \in R\left(s_{i}w\right)\text{.}$ Now, $R\left(w\right)\cap Z\left(t\right)=R\left(s_{i}w\right)\cap Z\left(t\right)$ implies $t\left(X^{\alpha }\right)\ne 1,$ and $R\left(w\right)\cap P\left(t\right)$ implies $t\left(X^{\alpha }\right)\ne q^{\pm 2}\text{.}$ Since $wt\left(X^{{\alpha }_i}\right)=t\left(X^{w^{-1}{\alpha }_i}\right)=t\left(X^{\alpha }\right)\ne 1$ and $wt\left(X^{{\alpha }_i}\right)\ne q^{\pm 2},$ it follows from Proposition 2.14(d) that the map ${\tau }_i:M_{wt}^{\text{gen}}\to M_{s_{i}wt}^{\text{gen}}$ is well defined and invertible. It remains to note that if $w,w^{\prime }\in {ℱ}^{(t,J)},$ then $w^{\prime }=s_{i_1}\dots s_{i_{\ell }}w$ where $s_{i_k}\dots s_{i_{\ell }}w\in {ℱ}^{(t,J)}$ for all $1\le k\le \ell \text{.}$ This follows from the fact that ${ℱ}^{(t,J)}$ corresponds to a connected convex region in $h_{ℝ}^{*}\text{.}$ $\square$

Notes and References

This is an excerpt of the paper entitled Affine Hecke algebras and generalized standard Young tableaux written by Arun Ram in 2002, published in the Academic Press Journal of Algebra 260 (2003) 367-415. The paper was dedicated to Robert Steinberg.

Research supported in part by the National Science Foundation (DMS-0097977) and the National Security Agency (MDA904-01-1-0032).

page history