12
線形代数の量子化と積分幾何
東京大学大学院数理科学研究科
大島 利雄
1.
序
空間 (
多様体
) の対称性,
等質性が群によって記述されると考えたとき,
その空
間上の関数やその空間上のベクトル束の切片としての関数の空間の解析においては,
可能ならば群の作用で分かりやすいものに分解して考えること
(
線形代数で言えば
,
固有空間分解)
が基本的である
.
空間が多様体である場合は
, 関数の全体は一般に無限次元であるため, 群の作用
で不変な微分方程式系の解空間として,
この「分かりやすい空間」を記述することが
多い
.
さらにその中の特徴的な関数を選び出すときにも微分方程式系が重要な役割を
果たすことが多い.
そのような微分方程式系を見える形で具体的に構成することが
,
解析
(微分方程
式論)
の立場から望まれる
.
微分方程式系は幾何学的な対象物の「量子化」
という見
方で自然に捕らえれ
,
具体的に構成できることを, 例で, 特に
$GL(n)$
の場合を基本
に述べる
.
$GL(n)$
は,
最も基本的な
Lie
群
(
すなわち群でかつ多様体
)
であるとと
もに
,
線形代数における様々な結果がそのまま有効な空闘である
.
量子化という考え
で構成されて得られた微分方程式系が,
$GL(n, \mathbb{C})$
の脱型の様々な等質空間の解析に
普遍的に有効なことを解説したい
.
群の多様体への作用を通じて
, 群は多様体上の関数の空間に作用している
.
その
作用を無限小に表したものが
Lie
環による作用であり,
これは幾何学的には多様体上
のベクトル場であって,
解析的には
1
階の微分作用素である
.
これらから生成される
微分作用素の環を代数的に扱う概念が
,
普遍包絡環であり,
目的とする微分方程式系
は,
この普遍包絡環の中で考えることが出来る. 「分かりやすい空間」
が
,
群の作用
でそれ以上細分できない場合
,
すなわち既約表現の場合
, それらを零化する普遍包絡
環の元全体は, 原始イデアルとよばれ
,
空間の轟轟変性から
, 群の作用で不変なイデ
アル
(両側イデアル)
になっている.
普遍包絡環の古典極限は
Lie
環上の多項式の環と考えることができ
, 普遍包絡環
の両側イデアルは群の作用で不変な多項式環のイデアルに対応するので, 「原始イデ
アル」を群の作用で不変な最小の集合
,
すなわち,
共役類に対応するイデアルの $[$
子化」
として捕らえ
, その生成系を具体的に与えることを試みる.
$GL(n, \mathbb{C})$
上の
$G$
の作用を,
左からかける作用とすると
,
$G$
の作用で不変なベクト
J レ場は
$X\in M(n,\mathbb{C})$
を使って
$\varphi(x)\vdash+\frac{d}{dl}\varphi(xe^{tX})|_{t=0}=\tau_{\mathrm{Z}}\varphi(dx+txX)|_{t=0}$
と書ける
ので
,
$M(n, \mathbb{C})$
の元とこの不変ベクトル場を同一視する
(
$\mathbb{C}$のときは,
正則というカ
テゴリで考える.
$\mathbb{R}$のときは通常の意
). (
幻
) 成分のみが
1
で他が
0
の行列単位を
$E_{ij}$
とおくと. (
$\sum_{\nu,\mu=1}^{n}$xVPE,l)E
り
$= \sum_{\nu=1}^{n}x_{\nu\dot{\iota}}E_{\iota j}$,
であるから,
この同一視で
(1.1)
$E_{ij}= \sum_{\nu=1}^{n}X_{\nu}:\frac{\partial}{\partial x_{\nu j}}$となり
, 交換関係
(Lie
括弧式
)
(1.2)
$[E_{ij},E_{k\ell}]=\delta_{jk}E_{i\ell}-\delta_{\ell’}.E_{kj}$を満たす すなわち
$\mathfrak{g}$を
$G=GL(n,\mathbb{C})$
の
Lie
環
$\mathfrak{g}\mathrm{f}_{n}$とすると
$\mathfrak{g}\simeq M(n,\mathbb{C})=$
$\sum_{i,j=1}^{n}\mathbb{C}E_{ij}$
である
.
$G$
上の関数
$\varphi$
に対する
$g\in G$
の作用は
$\pi_{g}\varphi(x)=\varphi(g^{-1}x)$
となるが
,
$X\in M(n, \mathbb{C})$
は右不変ベクトル場となる
.
$X=E_{\dot{\iota}j}$のときに具体的に書くと
(1.3)
$L_{E_{ij}}=- \sum_{\nu=1}^{n}x_{j\nu^{\frac{\partial}{\partial x_{i\nu}}}}$となる
.
$n\mathrm{x}n$行列で表示すれば
(1.4)
$(E_{ij})=t(X_{ij})( \frac{\partial}{\partial x_{ij}})$,
$t(L_{E_{j}} \dot{.})=-(x_{ij})t(\frac{\partial}{\partial x_{\dot{\mathrm{n}}j}})$.
9
で生成される
G. 上の
(
左不変
) 微分作用素環は
, 代数的には普遍包絡環
$U(\mathfrak{g})$と呼ば
れ,
$\mathfrak{g}$のテンソル代数
$\sum_{m=0}^{\infty}\otimes^{m}\mathfrak{g}$を交換関係
$X\otimes \mathrm{Y}-\mathrm{Y}\otimes X-[X,\mathrm{Y}](X, \mathrm{Y}\in \mathfrak{g})$で生成される両側イデァルで割った商代数である
.
$g\in G$
による作用は
U(
佳
) における同型写像
Ad(g)
を誘導し,
$X\in M(n, \mathbb{C})\simeq$
佳
への作用は
,
$X\succ*\mathrm{A}\mathrm{d}(g)X=gXg^{-1}$
と表せる
.
2.
量子化,
斉次化普遍包絡環
普遍包絡環の古典極限は
,
$\mathfrak{g}=M(n,\mathbb{C})$上の多項式環
$P(\mathfrak{g})$と考えられ,
幾何学的
対象は
$\mathfrak{g}$とそこにおける
Ad(g)
の作用である
. 量子化は, 「運動」で不変な 「積分」
を
(微分)
作用素に持ち上げることに対応する.
我々の枠組みでは
,
$A\in M(n, \mathbb{C})$
を
通る運動は
$A\mapsto A(t)$
$=\mathrm{A}\mathrm{d}(e^{tX})A$(
$X\in$
佳
)
となるので,
$A$
の共役類
(の閉包)
の
定義イデアルに
「対応する」
$U(\mathfrak{g})$の
$G$
不変イデアルを
「量子化」
と考えることがで
きる.
$\mathfrak{g}$とその双対空問
$\mathfrak{g}^{*}$を
$\mathfrak{g}$上の非退化な対称形式
(2.1)
$(X,$
$\mathrm{Y}\rangle=\mathrm{b}\mathrm{a}\mathrm{c}\mathrm{e}X\mathrm{Y}$によって同一視することによって
P(
佳
)
を佳上の対称代数
$S(\mathfrak{g})$と同一視すると
$V_{A}= \bigcup_{g\in G}\mathrm{A}\mathrm{d}(g)A$
$arrow\overline{V}_{A}$
の
(
$G$
不変)
定義イデアル
$\subset S(\mathfrak{g})$.
$\cdot$
.
$\downarrow$
量子化
$U(\mathfrak{g})$
または
$G_{\mathrm{R}}$の表現
$arrow-$
$U(\mathfrak{g})$の
(
$G$
不変
)
イデアル
量子化
$U(\mathfrak{g})$と古典極限
S(
佳
) とを同時に考えるため斉次化普遍包絡環
(cf.
[05])
(2.2)
$U$
‘(佳)
$:=(_{k=0} \sum^{\infty}\otimes^{k}\mathfrak{g})/\langle X\otimes \mathrm{Y}-\mathrm{Y}\otimes X-\epsilon[X, \mathrm{Y}];X, \mathrm{Y}\in \mathfrak{g}\rangle$を考える.
$\epsilon$は,
複素数,
あるいは全ての元と可換な不定元とみなす
.
$U(\mathfrak{g})=U^{1}(\mathfrak{g})$,
$S(\text{佳})=U^{0}(\mathfrak{g})$
であるが,
$\epsilon\neq 0$ならば
$U^{1}(\mathfrak{g})\ni X\mathrm{b}arrow\epsilon X$は
$U^{\epsilon}(\mathfrak{g})$の上への同型と
なっている
.
この斉次化普遍包絡環においては,
佳の元と同様に
$\epsilon$も
1
次の元と考えることに
より
, 定義
(2.2}
の分母は斉次イデアルになる.
よって
$\epsilon$を不定元と見なしたときの
$U^{\epsilon}(\mathfrak{g})=U(\mathfrak{g})[\epsilon]$においては,
(Poincar\’e-Birkhoff-Witt
の定理による
)
基底の取り方
によらず斉次イデアルの概念が定義される
.
まず
$V_{A}$の定義イデアルが出発点になる
.
別の最も単純化した例
,
たとえば
$\mathbb{C}^{n}$に
座標の交換として
$n$
次対称群
$\mathrm{b}_{n}^{\vee}$が作用している場合を考察してみよう
.
$\lambda=(\lambda_{1}, \ldots, \lambda_{n})\in \mathbb{C}$
が一般のときは,
$\tilde{\mathrm{e}}_{n}\lambda$は
$n!$
個の点からなり
(2.3)
$s_{j}(x)-s_{j}(\lambda)$
$(j=1, \ldots,n, s_{j}(x)=\sum_{1\leq i_{1}<\cdots<i_{\mathrm{j}}\leq n}x_{i_{1}}\cdots x_{i_{j}})$
その他,
このイデアルに入っている元として以下のものがある.
(2.4)
$\prod_{i=1}^{n}(x_{i}-\lambda_{j})$$(j=1, \ldots,n)$
,
(2.5)
$\prod_{j=1}^{n}(x_{\dot{l}}-\lambda_{j})$$(\mathrm{i}=1, \ldots,n)$
.
$\lambda$
が
generic
ならば
(2.4)
も生成元になっていることに注意しよう.
退化した場合は,
例えば
$\lambda=(\mu, \ldots, \mu, \nu, \ldots, \nu)$
ならば
$\infty k!n-\cdot\neg k!n’$個の点からなり
,
イデアル
$\mathrm{F}\mathrm{h}\mathrm{g}_{\backslash }$
なる
.
$\infty-$
$k$$n-k$
このとき
(2.4)
や
(2.5)
に対するものは実質的な意味を持ち
, 次の元がイデアルに入る.
$(x_{i_{1}}-\mu)\cdots(x_{i_{n-k+1}}-\mu)$
,
$(oe_{j_{1}}-\nu)\cdots(x_{j_{k+1}}-\nu)$
(2.6)
$(1\leq \mathrm{i}_{1}<\cdots<\mathrm{i}_{n-k+1}\leq n, 1\leq j_{1}<\cdots<\acute{\mathit{1}}k+1\leq n)$
,
(2.7)
$(x_{i}-\mu)(x_{i}-\nu)$
$(\mathrm{i}=1, \ldots,n)$
$\mu\neq\nu$
とすると
,
(2.6)
が, あるいは
(2.7)
と
$j=1$
の
(2.3)
がイデアルを生成する.
注意
21.
(2.3)
の最も一般の量子化は
,
$\mathrm{b}_{n}^{\vee}$不変な完全積分可能量子系と考えられ,
それは
[OS]
により分類された (cf.
[OP], [07]).
一方,
その解空間
(波動関数)
に
ついては
,
あまり解明されていない
(特殊化した場合として,
Heckman-Opdam
の
超幾何関数
[HO]
は研究が進んでいる).
自明な量子化,
すなわち
(2.3)
の
$x_{i}$を
$\tau_{x}^{\partial_{-}}\dot{.}$に置き換えた場合は
,
解空間は指数多項式で張られ,
$1\tilde{5}_{n}$の作用は正則表現と同型と
なるが,
$(x, \lambda)$に関して整関数となる大域的な基底が
,
[O2]
により構成されている
(
$\lambda=0$
のときの解は
$\mathrm{b}_{n}^{\sim}$調和多項式と呼ばれる
).
3.
共役類,
Generalized Verma Modules
正整数
$n$の順序づけられた正整数への分割
$\{n_{1}’, \ldots, n_{L}’\}$に対し
(3.1)
$\{$$n_{j}$
$=n_{1}’+\cdots+n_{j}’$
$(1 \leq j\leq L)$
,
$\mathrm{n}_{0}=0$,
$\Theta$
$=\{n_{1}, n_{2}, \ldots, n_{L}\}$
,
$\iota_{8}(\nu)$
$=j$
if
$n_{j-1}<\nu\leq n_{j}$
$(1 \leq\nu\leq n)$
とおく
.
この分割を
$\Theta=\{n_{1}<n_{2}<\cdots<n_{L}=n\}$
という
$n$
で終わる正整数の増加
列で表す.
佳の部分空間
(部分
Lie
代数になる)
$\mathfrak{n}\mathrm{e},\overline{|\iota}\mathrm{e},$me
をそれぞれ
$\iota \mathrm{e}(i)>\iota \mathrm{e}(j)$,
$\iota \mathrm{e}(\mathrm{i})<\iota \mathrm{e}(j)$
および
$\iota \mathrm{e}(\mathrm{i})=\iota_{\Theta}(j)$の条件を満たす
$E_{ij}$で張られる空間とし,
$\mathfrak{p}_{8}=$ $\mathrm{m}_{\Theta}+\mathrm{n}_{9},$ $\mathrm{n}\iota_{\Theta}^{k}=\sum_{\iota_{9}(i\rangle=\iota\circ\{j)=k}\mathbb{C}E_{ij},$ $\mathfrak{n}=\sum_{1\leq j<\dot{*}\leq n}\mathbb{C}E_{ij},\overline{\mathfrak{n}}=\sum_{1\leq i<j<n}\mathbb{C}E_{\dot{\iota}j\prime}$ $a= \sum_{j=1}^{n}\mathbb{C}E_{j\mathrm{j}}$および
$\mathfrak{p}=\alpha+\mathfrak{n}$とおく
.
このとき
$\mathfrak{n}\iota_{\Theta}=\mathrm{m}_{8}^{1}\oplus\cdots\oplus \mathrm{m}_{\mathrm{e}}^{L}$となり
,
$\mathfrak{p}$は
Borel
部分代数と呼ばれ,
$\Theta$を動かすと
p
。はこの
Borel
部分代数を含む放物型
部分代数全体を動く
.
,ここで
$\mathfrak{p}_{8}=\{X\in \mathfrak{g};\langle X, \mathrm{Y}\rangle=0(\forall \mathrm{Y}\in \mathfrak{n}_{\Theta})\}$となっているこ
とに注意
.
$\lambda=(\lambda_{1},$ $\ldots,$$\lambda_{L}\rangle$ $\in \mathbb{C}^{L}$
を固定し,
$\mathfrak{g}$
の
affine
部分空間
$A_{9,\lambda}:= \sum_{j=1}^{n}\lambda_{\mathrm{t}\mathrm{Q}(j)}E_{jj}+\mathfrak{n}\mathrm{e}$(3.2)
$=\{($
$\lambda_{1}I_{n_{1}’}$$0$
$\backslash$ $A_{21}$ $\lambda_{24\acute{2}}$$A_{31}$ $A_{32}$ $\lambda_{3}I_{n_{\acute{3}}}$
.
$\cdot$.
.
$\cdot$.
.
$\cdot$.
...
$A_{L1}$ $A_{L2}$
$A_{L3}$
$\lambda_{L}I_{n_{\acute{L}’}}$;
$A_{ij}\in M(n_{i}’,n_{j}’;\mathbb{C})\}$
.
注意
3.1.
$A\mathrm{e},\lambda$の一般元はただ一つの共役類に対応し,
その Jor
山
an
標準型は
(3.3)
$\mu\in \mathrm{C},1\leq k\leq n\oplus J$(
$\#\{i;\lambda_{:}=\mu$
かつ
$n_{i}\geq k\},$
$\mu$)
こ一
$J(m,\mu)=(\begin{array}{llll}\mu 01 \mu \ddots .1 \mu\end{array})\in M(m,\mathbb{C})$
となる
.
特に
,
任意の
Jordan
標準型は
, 適当に
$\Theta$と
$\lambda$とを取ることにより, 上の形
で得られる.
古典極限の場合,
すなわち
f\in U0(g)=S(
佳
)
がこの共役類の上で消える条件は
,
$\epsilon=0$
とおいた以下のものである.
$f(\mathrm{U}^{\mathrm{A}\mathrm{d}(g)A\mathrm{e},\lambda})g\in G=0\Leftrightarrow(\mathrm{A}\mathrm{d}(g)f)(A_{8,\lambda})=0$
$(\forall g\in G)$
$\Leftrightarrow \mathrm{A}\mathrm{d}(g)f\in J_{8}^{\epsilon}(\lambda)$
$(\forall g\in G)$
$\Leftrightarrow f\in\cap g\in G\mathrm{A}\mathrm{d}(g)J_{\mathrm{e}}^{\epsilon}(\lambda)$ $\Leftrightarrow f\in \mathrm{A}\mathrm{n}\mathrm{n}_{G}(M_{8}^{\epsilon}(\lambda))$
ここで
$J_{8}^{\epsilon}( \lambda):=\sum_{X\in \mathfrak{p}\mathrm{e}}U^{\epsilon}(\mathfrak{g})(X-\lambda_{\Theta}(X))$
,
$M_{8}^{\epsilon}(\lambda):=U^{\epsilon}(\mathfrak{g})/J_{\mathrm{e}}^{\epsilon}(\lambda)$
,
Ann
$(M_{\Theta}^{\epsilon}(\lambda)):=\{D\in U‘$
(9)
$; DM_{\mathrm{e}}^{\epsilon}(\lambda)=0\}$,
$I_{8}^{\epsilon}(\lambda):=\mathrm{A}\mathrm{n}\mathrm{n}_{G}(M_{\Theta}^{\epsilon}(\lambda)):=$
{
$D\in U^{\epsilon}(\mathfrak{g})j$Ad
$(g)D\in \mathrm{A}\mathrm{n}\mathrm{n}$$(M_{6}^{\epsilon}(\lambda))(\forall g\in G)$}
であって
,
$\mathfrak{p}\mathrm{e}$から
$\mathbb{C}$
への線形写像
(Lie
環の
1
次元表現となる)
$\lambda \mathrm{e}$は
(3.4)
$\lambda \mathrm{e}(\mathrm{Y}+\sum_{k=1}^{L}X_{k}):=\sum_{k=1}^{L}\lambda_{k}\mathrm{T}\mathrm{r}\mathrm{a}\mathrm{c}\mathrm{e}(X_{k})$for
$X_{k}\in \mathrm{m}_{\mathrm{e}}^{k}$and
$\mathrm{Y}\in \mathrm{n}\mathrm{e}$.
と定義される
.
$\epsilon=1$のときは
, 上付きの
1
を略して
$M\mathrm{e}(\lambda)=M_{\mathrm{e}}^{1}(\lambda)$のように表記
する.
従って,
$A_{\Theta,\lambda}$が定める共役類
VA
。
,
、の定義イデアル
$\bigcap_{g\in G}\mathrm{A}\mathrm{d}(g)J_{\mathrm{e}}^{0}(\lambda)$の量
子化とは,
$\bigcap_{g\in G}\mathrm{A}\mathrm{d}(g)J_{\Theta}(\lambda)=\mathrm{A}\mathrm{n}\mathrm{n}_{G}(M_{9}(\lambda))=\mathrm{A}\mathrm{n}\mathrm{n}(M_{8}(\lambda))$のことである.
よって我々の目標は
$I_{9}^{\epsilon}(\lambda)$の良い生成元を具体的に構成することとなる
.
$M_{8}(\lambda)$は
$\mathrm{m}_{6}$の指標
$\lambda \mathrm{e}$から誘導されたスカラー型の一般
Verma
加群と呼ばれ
,
それは
Verma
加群
(3.5)
$M(\lambda \mathrm{e}):=U(\mathfrak{g})/J(\lambda \mathrm{e})$,
$J^{\epsilon}( \lambda_{8}):=\sum_{X\in \mathrm{p}}U$‘
$(\mathfrak{g})(X-\lambda_{9}(X))$
and
$J(\lambda_{\Theta})=J^{1}(\lambda_{\mathrm{e}})$.
の商
$\mathfrak{g}$加群となる (
$\Theta=\{1,2,$
$\ldots,$
$n\}$
のとき
$\mathrm{P}\mathrm{e}=\mathfrak{p}$で,
$M^{\epsilon}(\lambda \mathrm{e})$
を
$M^{\epsilon}(\lambda)$と書く
).
問題
.
$\epsilon=0$のときは
,
共役類の閉包の定義イデアルの良い生成元を,
$\epsilon=1$のと
きはスカラー型一般
Verma 加力の零化イデアルの良い生成元を求めよ
.
4.
固有値, 行列式, 不変元,
Harish-Chandra
同型
$n$
次正方行列の共役類における不変量で最も基本的なものは
,
$n$個の固有値の集合で,
それは順序を除いて定まるゆ
.
ら対旧式における固有値の値が不変量である
.
$U^{0}$(
佳
)
の
$G$
不変元は, 共役類の上で一定の値を取り
,
その全体
$Z^{0}(\mathfrak{g})$から求めるイデアルに入る最
も基本的な元が構成される
.
ここで
,
$Z^{\epsilon}(\mathfrak{g})=${
$D\in U^{\epsilon}(\mathfrak{g})$;Ad
$(g)D=D$
$(\forall g\in G)$
}
$\epsilon=1$
の場合は
,
シュアーの補題により,
$Z(\mathfrak{g})$の元が佳の
\simeq |既約表現の空間’’
にスカ
ラーで作用するが
,
そのスカラー
(
無限小指標という
) が固有値の量子化とみなせる
.
$(\mathrm{A}\mathrm{d}(g)E_{ij})={}^{t}g^{-1}\mathrm{E}{}^{t}g$と
fFffl
するので
(
$\mathrm{E}=(E_{ij})$
とおいた
),
(4.1)
$Z_{k}:=\Re \mathrm{a}\mathrm{c}\mathrm{e}\mathrm{E}^{k}$$(k=1,2, \ldots)$
とおくと
$Z_{k}\in Z^{\epsilon}(\mathfrak{g})$が分かる (cf.
Gelfand
の構成
[Ge]).
$\epsilon=0$では
,
固有値の
$k$次のべ
*
和の値をとる関数となることに注意
.
一般の行列は対角化できるので
, 不変
元の値は対角行列での値を見ることによって得られる
.
それを量子化したものは次の
Harish-Chandra
写像である
(4.2}
$\gamma:U^{\epsilon}(\mathfrak{g})\ni Darrow\Gamma(D)\in U^{\epsilon}(a)=S(\alpha)$
$(D-\mathrm{F}(D)\in\overline{\mathfrak{n}}U^{\epsilon}(\mathfrak{g})+U’(\mathrm{g})\mathfrak{n})$すなわち
$U^{\epsilon}(\mathfrak{g})=U^{\epsilon}(\overline{\mathfrak{n}})\otimes U$‘
$(\alpha)\otimes U$‘
(n)
の分解に関する
U‘(のへの射影で,
$a$は可
換なので,
$U^{\epsilon}(a)=S(a)$
.
さらに
$D’=D+\langle D,$
$\epsilon\rho:=\epsilon\sum_{j=1}^{n}(j-\underline{n}_{2}\pm 1)E_{jj})$とおいて
$\Gamma(D)=\gamma(D)’$
と定義すると
, 以下の
Harish-Chandra
同型 (
環同型
) が得られる.
(4.3)
$\Gamma:Z^{\epsilon}(\mathfrak{g})\simeq S(a)^{\mathfrak{S}_{n}}$.
このことから
$Z^{\epsilon}(\mathfrak{g})$は
$Z_{1},$ $\ldots,$$Z_{n}$で生成されることが分かる.
なお,
$\Gamma(Z_{k})$を計算
することは自明ではない
(\S 7
およひ
[Gol]
参照\sim
一方,
固有値の基本対称式を与える行列式の量子化は
[Cal]
により
100
年以上前
に構成されていて
, 容易に
$\gamma(\det(\mathrm{E}, t))=\prod_{i=1}^{n}(E_{ii}-t+\epsilon(n-i))$
が得られる
:
(4.4)
$\det(\mathrm{E},t):=\det(E_{ij}-t+\epsilon(n-i)\delta_{\dot{*}j})\in Z^{\epsilon}(\mathfrak{g})$
$(\forall t\in \mathbb{C})$.
非可換環の元を成分とする上記の行列式は,
次の列行列式として定義する
.
(4.5)
$\det(A_{ij})=\sum_{\sigma\in 6_{n}}\mathrm{s}\mathrm{g}\mathrm{n}(\sigma)A_{\sigma(1)1}\cdots A_{\sigma\langle n\}n}$.
実際以下の
Capelli
恒等式と
$E_{ij}\vdasharrow E_{ij}-t\delta_{ij}$という自己同型から
(4.4)
が分かる.
(4.6)
$\det(x_{ij})\det(\frac{\partial}{\partial x_{ij}})=\det(E_{ij}-i\delta_{ij})$
.
注意
4.1. i)(4.4)
の
$t^{k}$の係数を
$\Delta_{k}$とおくと
(4.7)
$Z^{\epsilon}(\mathfrak{g})=\mathbb{C}[Z_{1}, \ldots, Z_{n}]=\mathbb{C}[\Delta_{1}, \ldots,\Delta_{n}]$.
$\mathrm{i}\mathrm{i})(4.1)$
の構成は
,
一般の完約
Lie
環に拡張される
(cf.
\S 7).
一方
,
(4.4)
は
,
$a_{n}$の場合に拡張がある
(cf.
[HU],
[Wa])
$\mathrm{i}\mathrm{i}\mathrm{i})$
一般の行列
(
半単純元
) は対角化可能で, 対角成分を
$\lambda=(\lambda_{1},$$\ldots$,
\lambda
のとおい
たとき,
対応するイデアルは
,
$\epsilon=0$のときの
(4.8)
$I_{\lambda}^{\epsilon}.:=\{D\in U‘(\mathfrak{g});\langle\gamma(\mathrm{A}\mathrm{d}(g)D), \lambda\rangle=0 (\forall g\in G)\}$Verma
加群
$M(\lambda)$は最大の
$\mathfrak{g}$部分
空間を持つので, それによる商を
$L(\lambda)$とおくと
,
$I_{\lambda}=$Ann
$(L(\lambda))$となる
.
$\{I_{\lambda j}\lambda\in \mathbb{C}^{n}\}$は
$\mathfrak{g}$の原始イデアルの全
体となることが知られている
([Du]).
$w\in\tilde{\mathrm{e}}_{n}$
に対し
$w.\lambda=w(\lambda+\epsilon\rho)-\epsilon\rho$とおくと
,
$\epsilon=0$あるいは
generic
な
$\lambda$に関しては
$I_{w.\lambda}=I_{\lambda}$であるが, 一般に
はこれは正しくない (
特に
$\lambda=p$
のと
きなど
)
$\lambda$$\mathrm{i}\mathrm{v})$
Verma
加群
$M^{\epsilon}(\lambda)$の零化イデアル
AnnG
(
$M$ ‘
$(\lambda\rangle)$は
$D-\langle\gamma(D), \lambda\rangle(D\in$
Z
$\epsilon$(
佳
)
$)$で
(すなわち
$\mathfrak{g}\mathfrak{l}_{n}$のとき
$\Delta_{k}-\langle\gamma(\Delta_{k}),$ $\lambda\rangle$$(k=1,$
$\ldots,$
$n)$
で
)
生成される.
5.
zJx 行列式,
Generalized Capelli Elements
行列の共役類を記述するには,
小行列の
rank
あるいは,
小行列式が用いられる
.
たとえば
(5.1)
$A_{\{k,n\}}(\mu, \nu)=(_{*}^{\mu I_{k}}$
$\nu I_{n-k})$
の場合,
$\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}(A_{\{k,n\}}(\mu, \nu)-\mu)\leq n-k,$rank(A{k,n}(\mu ,
$\nu)-\nu$
)
$\leq k$
であるから,
$\epsilon=0$のとき
$(E_{ij}-\mu)$
の
$n-k+1$
次の小行列式は
$V_{A_{\{k.n\}}}(\mu,\nu)$の上で消える. 小行
列式の量子化を
(5.2)
$D_{\{i_{1\prime}\ldots,i_{m}\}\{j_{1\prime}j_{m}\}}^{\epsilon},\ldots(t):=\det(E_{i_{\mathrm{p}\prime}i_{q}}+(\epsilon(m-q)-t)\delta_{i_{p}i_{\mathrm{q}}})_{1\leq p\leq m}1\leq q\leq m\in U^{\epsilon}(\mathfrak{g})$と定義し
,
CapelU
要素と呼ぼう.
この量子化小行列式は行や列の添え字の入れ替えに
対して
,
通常の行列式のときと同様に符号が変化し,
{
$D_{IJ}^{\epsilon}$;
$\# I=\# J=m,$
$I,$
$J\subset$$\{1, \ldots , n\}\}$
で張られる空間は
$G$
不変になり
(
$G$
の作用は
$\epsilon$に依らない
)
$*$
また
$[x_{\dot{\iota}j}, \partial_{\mu\nu}]=-\epsilon\delta_{i\mu}\delta_{j\nu}$
とするとき
,
Capelli
恒等式の一般化
[O4]
$\det(\sum_{\nu=l}^{n}$
x,
銭
$\partial_{\nu j\ell}+\epsilon(m-\ell)\delta_{i_{k}j\ell)_{1\leq\ell\leq m}}1\leq k\leq m$(5.3)
$= \sum_{1\leq\nu_{1}<\cdots<\nu_{m}\leq n}\det(X_{\nu_{\mathrm{p}}i_{q})_{1\leq p\leq m}\cdot\det(\partial_{\nu_{p}i_{q}})_{1\leq p\leq m}}$
が成り立つ.
ここで最も大事なことは,
$.\forall\epsilon$に対して
(5.4)
$D_{IJ}^{\epsilon}(\mu),$ $D_{IJ’}^{\epsilon},(\nu+k\epsilon)$$(\# I=\# J=n-k+1, \# I’=\# J’=k+1)$
カ
$\mathrm{f}$$I_{8}^{\epsilon}(\lambda)$
の元となることである (cf.
(2.6)).
また
$\epsilon=0$のときは
$\mu\neq\nu$
ならば逆に
これらが
$I_{\mathrm{e}}^{\epsilon}(\lambda)$を生成している
.
実は
, 一般に
(5.5)
$\mu-\nu\not\in\{\epsilon, 2\epsilon, \ldots, (n-1)\epsilon\}$ならば
$I_{\mathrm{e}}^{\epsilon}(\lambda)$を生成していることが言える.
しかしながら
,
古典極限での
$\mu=\nu$
のように固有値が重なった場合も含めて全て
6.
行列式因子,
単因子
定義
61
$([\mathrm{O}5])$.
$M_{\mathrm{e}}^{\epsilon}(\lambda)$と $m=1,$
$\ldots,$$n$
に対して以下の多項式と整数を定義し
(6.1)
$\{$$d_{m}^{\epsilon}(x):=d_{m}^{\epsilon}(x, \cdot\Theta_{2}\lambda)=\prod_{j=1}^{L}(x-\lambda_{j}-\epsilon n_{j-1})^{(n_{\acute{\mathrm{j}}}+m-n)}$
,
$d_{m}=d_{m}( \Theta):=\deg_{x}d_{m}^{\epsilon}(x;\ominus, \lambda)=.\sum_{i=1}^{L}\max\{n_{j}’+m-n, 0\}$
,
$e_{m}^{\epsilon}(x):=e_{m}^{\epsilon}(Xj\ominus, \lambda)=d_{m}^{\epsilon}(x)/d_{m-1}^{\epsilon}(x)$
,
$q^{\epsilon}(x):=q^{\epsilon}(Xj^{,\lambda)=\prod_{j=1}^{L}(x-\lambda_{j}-\epsilon n_{j-1)}}\cdot$$d_{m}^{\epsilon}(x)$
を
$M_{\mathrm{e}}^{\epsilon}(\lambda)$の
$m$
次行列式因子
,
$\{e_{m}^{\epsilon}(x);1\leq m\leq n\}$
を
$M_{\mathrm{e}}^{\epsilon}(\lambda)$の単純単因子,
$q^{\epsilon}(x)$
を
$M_{\mathrm{e}}^{\epsilon}(\lambda)$の最小多項式
,
$d_{n}^{\epsilon}(x)$を
$M_{\Theta}^{\epsilon}(\lambda)$の特性多項式と呼ぶ
.
ここで
(6.2)
$z^{(\ell)}:=\{$
$z(z-\epsilon)\cdots(z-\epsilon(\ell-1))$
if
$l>0$
,
I
if
$\ell\leq 0$.
注意
6.2.
$\epsilon=0$のときは
,
定義
61
は行列
$A_{\Theta,\lambda}$に対する線形代数における定義と一
致するので
, それらの概念を
$U^{\epsilon}(\mathfrak{g})$へ量子化したものと考えることが出来る
.
たと
えば
$d_{m}^{0}(x)$は
,
行列
$xI_{n}-A_{\mathrm{e},\lambda}$の
$m$
次小行列式の最大公約元である
.
定理
6.3
$([\mathrm{O}5])$.
$d_{m}^{\epsilon}(x)= \prod_{\nu=1}^{k_{m}}(x-\lambda_{m,\nu})^{N_{m,\nu}}$ $(\nu\neq\nu’\Rightarrow\lambda_{m,\nu}\neq\lambda_{m,\nu’})$と表し
(6.3)
$V_{\mathrm{S}}^{\epsilon}( \lambda):=\sum_{m=1}^{n}\sum_{\nu=1}^{k_{n}N}\sum_{j=0}^{m\nu^{-1}}\sum_{\# I=\# J=m}\mathbb{C}(\frac{d^{j}}{dx^{j}}D_{IJ}^{\epsilon}(x))|_{x=\lambda_{m,\nu}}|$と定義すると,
$I_{9}^{\epsilon}(\lambda)=U^{\epsilon}(\mathfrak{g})V_{\mathrm{e}^{\epsilon}}(\lambda)$.
特に
$d_{n}^{\epsilon}(x)=0$が重根を持たない
(
すなわち
,
無限小指標が
regular)
力
],
$\epsilon=0$かつ異なる
Jordan
細胞の固有値が異なるならば
(6.4),
$I_{\Theta}^{\epsilon}( \lambda)=\sum L$$\sum_{k=1\# I=\# J=n+1-n_{k}’}U^{\epsilon}(\mathfrak{g})D_{IJ}^{\epsilon}(\lambda_{k}+\epsilon n_{k-1})$
.
注意
6.4.
i)
$I_{\Theta}^{\epsilon}(\lambda)\supset I_{8}^{\epsilon},(\lambda’)\Leftrightarrow d_{m}^{\epsilon}(x;\Theta,\lambda)|d_{m}^{\epsilon}(x;\Theta’, \lambda’)$$(m=1, \ldots,n)$
(
$\epsilon=0$ならば上記は
)
$\Leftrightarrow A\mathrm{e},\lambda\subset\overline{\bigcup_{g\in G}\mathrm{A}\mathrm{d}(g)A\mathrm{e}\prime,\lambda’}$$\epsilon=0,$
$\lambda=0$
ならば, ベキ零軌道の閉包の包含関係となり,
よく知られた結果
「
$\Leftrightarrow d_{m}(\Theta)\leq d_{m}(\Theta’)1_{m=1,\ldots,n})$
」
に一致する
.
$\mathrm{i}\mathrm{i})\epsilon=0,$
$\lambda=0$
(すなわちベキ零軌道) のとき
, 定理
63
は
,
谷崎
[Tal]
によって予
想され
,
[We]
によって証明された.
(6.3)
は,
この谷崎基底の量子化といえる
.
$\epsilon=0_{\mathit{3}}\lambda=0,$
$\Theta=\{n\}$
は
,
ベキ零元全体の集合で,
イデアルは定数項のない不変
式で生成されることが
[Ko]
によって示された.
$GL(n)$
の場合の特殊性として,
ベキ
零軌道の閉包は全て
normal
variety
となることが知られている
([KP]).
7.
特性多項式,
最小多項式
(5.1)
の
$A\{k,n\}(\mu, \nu)$
の最小多項式は
$(x-\mu)(x-\nu)$
となるので
$(\mathrm{E}-\mu)(\mathrm{E}-\nu)$の各成分は
$V_{A_{\{k.n\}}(\mu,\nu)}$上で消える.
実際,
$\mu\neq\nu$
ならば
,
$n^{2}$個の成分と
$\mathrm{R}\mathrm{a}\mathrm{c}\mathrm{e}\mathrm{E}-$$k\mu-(n-k)\nu$
によって
$I_{\{k,n\}}^{0}(\mu, \nu)$が生成される
(cf.
(2.7).
ただし,
$\mu=\nu$
のとき
正しくないことは
,
これらが
$k$に依らなくなることから分かる
\sim
この最小多項式の
量子化を考えよう
(この例の場合では
$(x-\mu)(x-\nu-\epsilon k)$
). この概念は
,
任意の完
約
Lie
環とその忠実表現の場合に拡張されるので, より一般的な形で述べよう.
定義
7.1([06]).
(
堅約
Lie
環
)
$\mathfrak{g}$の忠実な表現
$\pi$:
佳
$arrow M(N, \mathbb{C})\simeq \mathrm{E}\mathrm{n}\mathrm{d}(\mathbb{C}^{N})$に
よって
$\mathfrak{g}\subset M(N, \mathbb{C})$とみなす.
$M(N,$
$\mathbb{C}$}
上の
$\langle X, \mathrm{Y}\rangle=\mathrm{b}\mathrm{a}\mathrm{c}\mathrm{e}X\mathrm{Y}$という非退化対
式に関する
$M(N, \mathbb{C})$
から佳への射影を
$\pi^{*}$とし
,
$\mathrm{F}_{\pi}=(\pi^{*}(E_{ij}))_{1<j\leq N}1\leq i\leq N\in M(N,\mathfrak{g})$
とおく
.
このとき
$Z^{\epsilon}(\mathfrak{g})[x]$の元
$q(x)$
で
$q(\mathrm{F}_{\pi})=0$を満たす最小次数のものを
$\mathrm{F}_{\pi}$の
(
または
$\pi$の)
特性多項式と定義し,
$q_{\pi}(x)$と書く.
また佳加群
$V$
に対し,
$q(\mathrm{F})V=0$
を満たす
$\mathbb{C}$係数の多項式
$q(x)$
で次数が最小で
,
最高時の係数が
1
となるものを
$(\pi, V)$
に対する最小多項式と定義し
,
$q_{\pi},v(x)$
と書く
.
定理
72.
i)
$\mathfrak{g}=\mathfrak{g}\mathfrak{l}_{n}$で
,
$\pi$を自然表現とすると
(7.1)
$q_{r\mathrm{r}}(x)=\det(x-E_{ij}-\epsilon(n-i)\delta_{ij})_{1\leq j\leq n}1\leq i\leq n\in \mathbb{Z}^{\epsilon}(\mathfrak{g})[x]$,
(7.2)
$q_{\pi}(\mathrm{E})=0$(Cayley-Hamilton),
(7.3)
$q_{\tau \mathrm{r},M_{8}^{e}(\lambda)}= \prod(x-\lambda_{j}-\epsilon n_{j-1})$.
$j=1$
$\mathrm{i}\mathrm{i})q\pi,M_{9}^{\mathrm{e}}(\lambda)(\mathrm{E})$
の
$N^{2}$
個の成分で張られる空間を
$L_{\mathrm{e}}^{\epsilon}(\lambda)$とおくと
,
$L_{8}^{\epsilon}(\lambda)$は
$G$
不変
空間で
,
$\lambda$力
$s$$gener’ ic$
ならば (
たとえば
,
$M_{\Theta}^{\epsilon}(\lambda)$の無限小指標が
regular
なら十分
)
$I_{8}^{\epsilon}(\lambda)$は
$L_{8}^{\epsilon}(\lambda)$と
$\Delta_{k}-\lambda \mathrm{e}(\gamma(\Delta_{k}))(k=1, \ldots, L-1)$
で生成される.
注意
7.3.
i)
$V$
の
$\mathfrak{g}$加群としての長さが有限
,
あるいは
$V$
が無
$\grave{\text{限}}$小指標を持つなら
ば
, 最小多項式は存在する
.
$\mathrm{i}\mathrm{i})\mathfrak{g}$
が
$GL(n)$
の
Lie
環で
$\pi$を恒等写像
(自然表現)
とし,
$V=M_{8}^{0}(\lambda)$
とおくと
,
$q_{\pi,M_{8}^{\mathrm{O}}(\lambda)}(x)$は線形代数の意味での
Ae,\sim 最小多項式となる.
$\mathrm{i}\mathrm{l}\mathrm{i})O(n)$
の
Lie
環
$\mathit{0}_{n}\theta 2$自\Re ‘\not\equiv 悶を
$\pi$とすると
$\mathrm{F}_{\pi}=(^{E_{i}}\mathrm{m}_{2}^{E}.)_{1\leq i\leq n}1<j<n$.
$\mathrm{i}\mathrm{v})$
Race
$\mathrm{F}_{\pi}^{k}\in Z^{\epsilon}(\mathfrak{g})$となるが,
$\gamma(\mathrm{h}\mathrm{a}\mathrm{c}\mathrm{e}\mathrm{F}_{\pi}^{k})$は
[Gol]
により計算された
.
また
,
$q_{\pi}(x)$
は
[Go2]
で一般的に計算された
(
これは
,
$q\pi,M^{\epsilon}(\lambda)(x)$の計算,
あるいは
Cayley-Hamilton
(
の一般化
) と同値 (cf.
[OO])
$)$.
v)
\S 6
で構成した生成元との関係は, 不変元に関して
[I1], [Um]
そうでない例は
[Sg].
$\mathrm{v}1)\mathfrak{g}$
が古典型で
$\pi$が自然表現のときの
$q\pi,M_{9}^{\epsilon}(\lambda)$は
[06]
により,
一般の場合は
(例
外型も含め
)
[OO]
により具体的な公式が与えられた.
8.
旗多様体
,
Grassmann
多様体
,
Poisson
変換
,
Penrose
変換
$U$
‘
$(\mathfrak{g})$の両側イデアルに対し,
2
つの異なる生成系を具体的に構成した
.
この両側
イデアルは
,
Verma
加群とスカラー型一般
Verma
加群との
Gap
を埋めることが分
かり,
その事実は応用上重要である.
定理
81([05], [OO]).
$\lambda$力
$\mathrm{f}$generic
ならば
(
必要十分条件が得られている力
$\mathrm{f}$, 少な
くとも無限小指標が
regular
ならば
),
(8.1)
$J_{8}^{\epsilon}(\lambda)=I_{8}^{\epsilon}(\lambda)$十
$J^{\epsilon}(\lambda_{\Theta})$(GAP).
以降,
$G$
を
$GL(n)$
または
$SL(n)$
の実型
$GL(n,\mathbb{C}),$
$GL(n,\mathbb{R}),$
$U(p,q),$
$SU^{*}(n)$
の
いずれか
(あるいは,
一般の半単純
Lie
群)
としよう.
$G$
の極小放物型部分群
$P$
と
それを含む一般の放物型部分群
$P_{9}$に対し,
等質空間
$G/P\mathrm{e}$を一般旗多様体という
.
$P\mathrm{e}$
の
1
次元表現
$\lambda$から誘導された線形束の切片の空間
(8.2)
$B(G/P_{8;}\lambda):=\{f\in B(G)_{1}. f(gp)=\lambda(p)^{-1}f(g) (\forall p\in P_{8})\}$
を考察する
.
$P\mathrm{e}$の
Lie
環の複素化は
\S 2
で考察した放物型部分代数 p。となり,
$\lambda$
}よ
p
。の
1
次指標に対応する.
このことから以下が分かる
.
(8.3)
$\mathrm{A}\mathrm{n}\mathrm{n}(B(G/P\mathrm{e};\lambda)):=\{D\in U(\mathfrak{g});L_{D}f=0 (\forall f\in B(G/P;\lambda))\}=I\mathrm{e}(\lambda)$
.
よって
$B(G/P\mathrm{e};\lambda)$から他の
$G$
等質空間上の関数の空聞,
あるいは,
その上のベクト
ル束の切片の空間への
$G$
順同型写像
(
$G/P\mathrm{e}$はコンパクトなので
,
通常は積分作用
かる.
実際この微分方程式系が像の特徴付けを与えることが期待できることが多く,
以下に見るように, 積分幾何における多くの例がこの枠組みで説明でき,
さらに
,
自
然に一般化される.
Poisson
変換
.
$G$
を中心が有限な連結脚半単純
Lie
群,
$K$
を
$G$
の極大コンパク
ト部分群とするとき
$\mathcal{P}\mathrm{e},\lambda$
:
$B(G/P\mathrm{e};\lambda)$ $\prec$ $(\subset B(G/P;\lambda \mathrm{e})arrow)\mathcal{P}_{\lambda_{Q}}A(G/K\cdot.\mathcal{M}_{\lambda})$.
(8.4)
$f\llcornerarrow$
$( \mathcal{P}_{\lambda}f)(g)=\int_{K}f(gk)dk$
を
Poisson
変換と呼ぶ
.
ここで
$\lambda 4_{\lambda}$は
,
$\lambda$で定まる
Riemann
対称空間上の不変微分作用
環の極大イデアルで
(
$G$
が古典型なら,
$Z(\mathrm{g})$の極大イデアル,
すなわち
Ann
$(M(\lambda \mathrm{e}))$に対応),
$A(G/K;\mathcal{M}_{\lambda})$はその解空間
.
なお
$G/P\mathrm{e}$は
,
Riemann
対称空間
$G/K$
を
適当に実現すると, その境界に現れる
(cf.
[Sa]).
$P\mathrm{e}$
が極小放物型部分群のときは,
Poisson
変換は夙
$(G/K; \mathcal{M}x)$
の上への位相同
型となることが
Helgason[H1]
により予想され
$(G=SL(2, \mathbb{R}),$
$\lambda=0$
の場合は
,
単
位円板における調和関数の
Poisson
積分になる),
一般の
$G$
に対して
[K-]
で
generic
な
$\lambda$に対して正しいことが (そのための必要十分条件と共に)
示された.
特に
$\lambda=0$
の場合は常に正しいが
,
一般の放物型部分群の場合について
, 特に有
界対称領域の
Shilov
境界の場合など
,
Stein
の問題として多くの研究があり
,
より
多くの方程式
(最初に研究を行った
Hua
の方程式と呼ぶことがある)
の解空間とし
て特徴づけがなされてきた
([BV],
[La], [KM], [Shl], [Sh2]
など
).
$\lambda=0$
の場合
,
方程式があまり具体的ではないが
,
一般的に
[Jn]
で与えられた (
特徴付ける方程式
系の存在自体は
,
[K-]
を仮定すれば自明
).
一般の
$P\mathrm{e}$と
$\lambda$に対し,
嫁を特徴づける方程式を具体的に与えることは
,
\S 8
まで
に述べたことと
[K-]
とを合わせれば,
自明なこととなってしまう.
すなわち,
$I\mathrm{e}(\lambda)$を像は満たすが,
(8.1) の条件は,
$B(G/P;\lambda_{8})$
の元で
$I\mathrm{e}(\lambda)$を満たすものの全体が
$B(G/P_{\mathrm{e}j}\lambda)$であることを意味するからである
.
よって,
これらの条件が成立すれば
(
$\lambda$力
$\mathrm{f}$generic
ならよい
.
特に
$\lambda=0$
はよい
),
\S 6
や
\S 7
で構成した
$U(\mathfrak{g})$の元が
,
$P\mathrm{e},\lambda$の像を特徴づける方程式系を与え
,
$\prime p_{6,\lambda}$はその解空間の上への位相同型になる
$(I\mathrm{e}(\lambda)$が
U(
佳
) の両側イデアルであることが重要
\sim
注意
8.2.
i)
知られている
Hua
型の方程式は,
\S 7
の最小多項式から定義されるもの
に一致することが示され
,
特に
Shilov
境界の場合は
,
tube
領域かどうかで
2
階の
方程式系か
3
階の方程式系かに分かれる
(最小多項式の次数). また,
さらに不変微
分作用素系を加える必要があるかどうかの問題があったが,
それも我々の枠組みの
中では自然に解決される.
特に
$SU(m, n)$
の
Shilov
境界では,
$m=n$
のとき
2
階,
$m\neq n$
のとき
3
階であるが,
$G$
不変な生成元の空間を
$K$
の表現で分解することによ
り,
$m\neq n$
のときも
2
階の方程式系に帰着できる現象
$1[\mathrm{B}\mathrm{V}]$で示された)
も一般化
して解明される
.
なお
,
この項については
[OSh]
を参照
.
$\mathrm{i}\mathrm{i})$古典型の実
Lie
群の極大放物型部分群
(
複素化は極大とは限らないことに注意
)
の
1
次元表現から誘導した空間の零化イデアルの生成元は
,
自然表現に対する
\S 7
の
最小多項式型の場合
,
2
階以下の微分方程式系または
3
階以下の微分方程式系となる
.
例外型で最小次元表現の場合は
,
一般的にはより高い階数になる
.
$\mathrm{i}\mathrm{i}\mathrm{i})$解の関数空間に制限をつけない場合を述べたが
,
制限を付けた場合と境界値と
の対応については
,
様々な空間において
[BOS]
で扱われた.
$\mathrm{i}\mathrm{v})$Helgason
の予想を解くことが
,
筆者が表現論に足を踏み入れるきっかけとなっ
たが,
一般の境界に対する
Poisson
積分の像の決定問題に当初興味を持ち
,
い
$\langle$つか
の例で行列式型の微分方程式系が像を特徴づけていることを
,
境界への誘導方程式を
計算することによって示した
([O1]).
ここに述べた内容は, 筆者が昔扱った問題の
再考,
というのが研究の動機のひとつであった
.
Penrose
変換
.
$G\mathrm{c}$を複素完約
Lie
群
,
$G$
を
$G_{\mathrm{C}}$の実型
,
$P\mathrm{c}$を
$G\mathrm{c}$の放物型部分
する
.
このとき
$T\sim n$
:
$H^{m}(V, \mathcal{O}_{\lambda})arrow S$という
$G\mathrm{c}$写像を
Penrose
変換と呼ぶこと
にすると (
$m$
は等質空間の複素次元),
像は
\S 6
あるいは
\S 7
で構成した微分作用素系
を満たす
.
通常
$S$
は
,
Riemann
対称空間などの
$G$
の等質空問上のベクトル束の切片
の空間に取られる.
例えば,
$G=U(n, n)$
で
$\Theta=\{k, 2n\}$
に対旛する
$GL(n, \mathbb{C})$
の複素旗多様体
(すな
わち
Grassmann
多様体
$\mathrm{G}\mathrm{r}_{k}(\mathbb{C}^{n}))$で,
$S$
を有界対称領域のあるベクトル束とする設
定の場合が
[Se]
により考察され
, 像が
\S 6
の形の微分方程式系の正則関数解の空間に
一致することが示されている (
なお
, このパラメータの場合,
(5.3)
が成り立つので,
定数係数の
$k+1$
次の行列式型の微分方程式系で表わせる
)8
$n=2,$ $k=1$
の場合が
元々の
Penrose
変換である.
体
$\mathrm{F}$上の
Grassmmm
多様体
$\mathrm{G}\mathrm{r}_{k}(\mathrm{F}^{n})$とは
,
$n$次元
$\mathrm{F}$ベクトル空間
$\mathrm{F}^{n}$の
$k$次元
部分空間全体の作る多様体で
,
一画面多様体の重要な例となっている
.
$\mathrm{F}=\mathbb{R}$では
$\mathrm{G}\mathrm{r}_{k}(\mathbb{R}^{n}):=${
$k$次元部分空間
$\subset \mathbb{R}^{n}$}
(
実
Grassmann
多様体
)
$M^{o}(n, k;\mathbb{R}):=\{X=(\begin{array}{ll}x_{11} x_{1k}\vdots \vdots x_{n1} x_{nk}\end{array})\in M(n, k;\mathbb{R});$
rankX
$=k\}$
$=M^{o}(n, k;\mathbb{R})/GL(k,\mathbb{R})$
.
$G=GL(n, \mathbb{R})$
が
$\mathrm{G}\mathrm{r}_{k}(\mathbb{R}^{n})$に左から作用し
$\mathrm{G}\mathrm{r}_{k}(\mathbb{R}^{n})=GL(n,\mathbb{R})/P_{k,\mathrm{n}}$
$(=O(n)/O(k)\mathrm{x}O(n-k))$
$P_{k,n}:=\{p=(\begin{array}{ll}g_{1} 0y g_{2}\end{array})$
;
$g_{1}\in GL(k,\mathbb{R}),$
$g_{2}\in GL(n-k,\mathbb{R}),$
$y\in M(n-k, k,\mathbb{R})\}$
$B(G/P_{k,n};\lambda):=\{f\in B(G);f(xp)=f(x)|\det g_{1}|^{\lambda_{1}}|\mathrm{d}\mathrm{e}ig_{2}|^{\lambda_{2}}, \forall p\in P_{k,n}\}$
$(=B(O(n)/O(k)\mathrm{x}O(n-k))$
$=\{f\in B(M^{o}(n, k;\mathbb{R}));f(Xg_{1})=f(X)|\det g_{1}|^{-\lambda_{1}}, \forall g_{1}\in GL(k,\mathbb{R})\}$
$(xarrow t_{X}-1arrow X)$
特に
$\mathrm{G}\mathrm{r}_{1}(\mathrm{F}^{n})$は射影空間
$\mathrm{P}^{n-1}(\mathrm{F})$である
.
$\mathrm{F}=\mathbb{R}$の場合は
$\Theta=\{k, n\},$
$\mathrm{F}=\mathbb{C}$の場
合は
$\Theta=\{k, n\}\mathrm{x}\{k, n\}$
となり,
$\mathrm{A}\mathrm{n}\mathrm{n}(B(\mathrm{G}\mathrm{r}_{k}(\mathrm{F}^{n});\lambda))$の元として
\S 6
で構成された
行列式型の
$k+1$
階と
$n-k+1$
階の微分方程式系,
\S 7
で構成された最小多項式に
対応する
2
階の微分方程式系と
Traoe
に対応する
Z(
佳
)
の中の
1
階の微分方程式を満
たす
.
9. Radon
変換, 概均質ベクトル空間,
超幾何関数
$B(G/P\mathrm{e};\lambda)$から
$B(G/P\mathrm{e}’;\lambda’)$への
$G$
写像があったとき
, それは積分変換となる
が
,
それが部分多様体における積分となっている場合を
(退化系列の間の)Radon
変換
型
$G$
写像と呼ぶことにする
.
Qrassmann
多様体の問の
Radon
変換
$(0<k<\ell<n)$
$\mathcal{R}_{l}^{k}$
:
$B( \mathrm{G}\mathrm{r}_{k}(\mathbb{R}^{n}))\ni\phi\}arrow(\mathcal{R}_{\mathit{1}}^{k}\phi)(x)=\int_{o(l)/O(k)\mathrm{x}O\{\ell-k)}\phi(xy)dy\in B(\mathrm{G}\mathrm{r}\ell(\mathbb{R}^{n}))$は,
$GL(n,\mathbb{R})$
の作用の自然な作用により
(9.1)
$\mathcal{R}_{\ell}^{k}$:
$B(G/P_{k,n};(\ell,0))arrow B(G/P_{\ell,n};(k,0))$
という
$G$
写像とみなせることが重要である.
$k+\ell<n$
の場合は
$\dim \mathrm{G}\mathrm{r}_{k}(\mathbb{R}^{n})<$定理
9.1
([O4]).
$0<k<\ell<n,$
$k+\ell<n$
ならば
$R_{\ell}^{k}$は
$M^{0}(n, \ell;\mathbb{R})$上の次の微分
方程式系の解空間の上への
$G$
位相同型となる
.
$\{\Phi((x_{ij} )_{1\leq i\leq\ell,1\leq j\leq n})\in B_{(}’M^{0}(n,l;\mathbb{R}))$
;
$\Phi(xg)=|\det g|^{-k}\Phi(x)$
for
$g\in GL(l,\mathbb{R})$
,
$\det(\frac{\sigma}{\partial x_{i_{\mu}j_{y}}})_{1\leq\mu\leq k+1}\Phi(x)1\leq\nu\leq k+1=0$
(Capelli 型作用素
)
for
$1\leq i_{1}<\cdots<\mathrm{i}_{k+1}\leq n,$
$1\leq j_{1}<\cdots<j_{k+1}\leq\ell\}$
.
ここで
$M^{0}(n, \ell;\mathbb{R})=$
{
$A\in M(n,\ell;\mathbb{R})$
;rank
$A=\ell$
}.
注意
92.
i)
$\mathbb{C}$上でも定理
91
と同様の結果が成り立つ
$([\mathrm{H}\mathrm{i}]\rangle$$\mathrm{i}\mathrm{i})$
若干異なる像の特徴付けが
[Ka]
で
,
逆写徐が
[Ka],
[GR]
などで考察されている.
定義
9.3([O4]).
$G$
を実半単純
Lie
群
,
$P\mathrm{e}$を放物型部分群
,
$Qj(j=1,2)$
を一般
旗多様体
$G/P_{8}$
上に開軌道をもつ
$G$
の閉部分空間,
$\lambda,$$\mu_{j}$
を
$P\mathrm{e},$ $Q_{j}$の
1
次元表現
とし,
$\phi_{j}$を以下を満たす
$G$
上の関数とする.
$\phi_{1}(q_{1}xp)=\mu\iota(q_{1})\lambda(p)\phi_{1}(x)$
$(q_{1}\in Q_{1}, p\in P_{\mathrm{S}})$
,
(9.2)
$\phi_{2}(q_{2}xp)=\mu_{2}(q_{2})\lambda(p)\phi_{2}(x)$
$(q_{2}\in Q_{2}, p\in P\mathrm{e}, \lambda^{*}=-\lambda-2\rho|_{P_{8}})$
このとき次の関数を超幾何関数と定義する
.
(9.3)
$\Phi_{\phi_{1},\phi_{2}}(x):=\int_{K}\phi_{1}(xk)\phi_{2}(k)dk(=\int_{K}\phi(k)\phi_{2}(x^{-1}k)dk)$
注意
9.4.
i)
$\Phi_{\phi_{1},\phi_{2}}(x)$は多くの微分方程式を満たす
.
すなわち左からの
$Q_{1}$の
Lie
環
の作用
,
右からの
$Q_{2}$の
Lie
環の作用
,
\S 6
や
\S 7
で考察した
$I\mathrm{e}(\lambda)$であり
,
それらを
あわせて超幾何微分方程式系と呼ぼう
.
それの解空間が有限次元となり
,
(9.2)
を満
たす
$\phi_{1},$ $\phi_{2}$による積分表示
(9.3) によって全ての解が表示されることが期待される.
$\mathrm{i}\mathrm{i})Q_{1}=Q_{2}=K$
で
$\mu j$が自明表現のときは,
$\Phi_{\phi_{1},\phi_{2}}(x)$は帯球関数となり
,
その
積分表示とそれを特徴づける微分方程式とが得られていることに他ならない.
$P\mathrm{e}$が
極小でない場合は
,
Lauricella
の
$F_{D}$などが現れる
[Kr]
$)$.
$\mathrm{i}\mathrm{i}\mathrm{l})Q1=K,$
$Q_{2}=N$
のときは
,
$\Phi_{\phi_{1},\phi_{2}}(x)$は
\S 10
の
Whittaker
vector
になる.
$P=P_{k,n},$
$Q_{2}=P_{\ell,n},$
$\lambda=(\ell,0),$
$\mu 2=(-k,0)$
.
さらに
$\phi_{2}$を
$\mathcal{R}_{\ell}^{k}$の核関数とお
いて定理
91
を適用すると
,
以下が直ちに分かる
.
定理
9.5.
$H$
は
$GL(n,\mathbb{R})$
上の連結閉部分群で
, その複素化
$H_{\mathbb{C}}$の
$V$
への表現があっ
て
,
$(H\mathrm{c}\mathrm{x}GL(k,\mathbb{C}),$$V\mathrm{x}\mathbb{C}^{k})$が概均質ベクトル空間
(すなわち,
開軌道をもつ
)
と
する
(
$\ell=1$
なら
$(H\mathrm{c},$$V)$
が任意の概均質ベクトル空間でよい).
このとき,
超幾何
微分方程式系の全ての解は
, (9.2)
の
$\phi_{1}$, すなわちこの概均質ベクトル空間の相対不
変超関数によって一意的に
(9.3)
の積分表示をもつ
.
定理
95
において
,
$k=1$
とおき,
自明な概均質ベクトル空間
$(GL(1, \mathbb{C}),$
$\mathbb{C})$の
$n$
個の直和
$(H=GL(1)\mathrm{x}\cdots \mathrm{x}GL(1), \mathbb{C}^{n})$
としたものが青本-Gelfand
の超幾何関数
[Ao],
[GG]
となる
. その例で今まで述べたことを座標を使って書くと,
積分表示は
となり,.
超幾何微分方程式系は
$\sum_{j=1}^{p}x_{ij}\frac{\partial\Phi}{\partial x_{ij}}=\alpha_{j}\Phi$
for
$1\leq \mathrm{i}\leq n$(左からの
$H$
の作用
)
,
$\sum_{\nu=1}^{n}x_{\nu i}\frac{\partial\Phi}{\partial x_{\nu j}}=-k\delta_{ij}\Phi$
for
$1\leq \mathrm{i},$$j\leq\ell$
(右からの
$GL(\ell,\mathbb{R})$の作用
),
$\frac{\partial^{2}\Phi}{\partial x_{i_{1}j_{1}}x_{i_{2}j_{2}}}=\frac{\partial^{2}\Phi}{\partial x_{i_{2}j_{1}}x_{i_{1}j_{2}}}$
for
$1\leq i_{1}<i_{2}\leq n,$
$1\leq j_{1}<j_{2}\leq I$
(Capelli
型〉
.
注意
9.6.
i)
最後の例で,
$n=4,$
$\ell=2$
のときが
Gauss
の超幾何関数になる
.
$\mathrm{i}\mathrm{i})$
定理
95
において,
概均質ベクトル空間の
$G$
軌道の数が有限となる場合は
,
超
幾何微分方程式系がホロノミックとなること
(
特に解空間は有限次元
)
が
[Ta2]
によ
り示された
.
$\mathrm{i}\mathrm{i}\mathrm{i})$
Penrose
変換の場合も,
付随した超幾何関数を考えることができる [Se].
10.
Whittaker
Vectors
$G=KAN$
を
$G$
の岩澤分解としたとき
,
$N$
の指標
$\chi$に魁して定義される空間
(10.1)
$B(G/N;\chi):=\{f\in B(G);f(gn)=\chi(n)^{-1}f(g) (\forall n\in N)\}$
への
$G$
の表現
$V$
の実現を考えよう
.
$G=GL(n, \mathbb{R})$
のとき
$K=O(n)$
で,
$A= \{\exp(\sum_{j=1}^{n}t_{j}E_{jj});t_{j}\in \mathbb{R}\},$
$N=$
$\{\exp(\sum_{:>j}t_{ij}E_{\dot{\mathrm{z}}j});t_{ij}\in \mathbb{R}\}$
としてよい
.
このとき
(10.2)
$\chi(\exp(\sum_{:>j}t_{ij}E_{ij}))=e^{\sqrt{-}(\mathrm{c}_{2 2}}c_{1}t_{21}+t+\cdots+c_{n}-\mathrm{x}^{\ell_{nn-1})}$と表せる
$(c_{j}\in \mathbb{R})$.
たとえば, 退化系列表現
$B(G/P_{\Theta;}\lambda)$の
$B(G/N;\chi)$
への実現を
考えるには,
$O(n)$
-不変な
$B(G/N;\chi)$
の元
,
すなわち
Whittaker vector
(10.3)
$\{$$u(kgn)=\chi(n)^{-1}u(g)$
$(\forall k\in O(n), \forall n\in N)$
,
$Du=0$
$(\forall D\in I_{\Theta}(\lambda))$を調べればよい.
$G$
の岩澤分解から
$u$は
$A$
への制限
$v=u|_{A}$
で定まるが,
$I\mathrm{e}(\lambda)$が
具体的に分かっているので
,
$v$の満たす方程式も具体的に与えられる.
Grassmann
多様体上の退化系列表現
$V=B(G/P_{k,n};(\lambda, \mu))$
$(2\leq 2k\leq n)$
の場
合は,
0
でない
$v$の存在条件は
(10.4)
c*
$\cdot$果
+l
$=$
果 1
$c_{\dot{2}2}\cdots Cj,+1=0$
$(1\leq \mathrm{i}<n, 1\leq i_{1}<i_{2}<. \cdots<\mathrm{i}_{k+1}\leq n)$
となることが方程式から分かり
,
たとえば
(10.5)
$\{$$c_{i}=0$
$(i=2,4, \ldots, 2k, 2k+1,2k+2, \ldots, n)$
,
$c_{2j-1}\neq 0$
$(j=1, \ldots, k)$
ととると,
$v$の満たす方程式として以下が得られる
.
$\{$
$E_{i}v=\mu v$
$(i=2k+1,2k+2, \ldots, n)$
,
$(\mathrm{t}_{\mathit{2}}^{B_{\mathit{2}-l}-E_{\mathit{2}}}.\infty.)^{\mathit{2}}-\mathrm{t}^{E_{\mathit{2}-l}-E_{\mathit{2}}}.\infty_{\mathit{2}}.)-c_{\mathit{2}j-l}^{\mathit{2}}e^{\mathit{2}(t_{\mathit{2}j-l}-t_{\mathit{3}j})})v=(E_{\mathit{2}j-l}+E_{\mathit{2}j})v=(\lambda+\mu-\mathit{2}j+k+l)v,\lambda$
