数理解析研究所講究録 1281 巻 2002 年 154-166

154

Some kfunctions of regular 2-simple
prehomogeneous vector spaces of type I
大阪大学理学研究科 若槻 聡 (Satoshi Wakatsuki)(Graduate School of Science, Osaka University)

1

序本稿の目的は関数等式を用いたが関数の計算方法とその計算の例について説明することである. 関数等式を用いた計算方法は K. Ukai によるものである ([16]). 我々はその手法を倣うことにより, いくつかの type I の
正則な 2-単純概均質ベクトル空間のが関数を具体的に決定することができた.

我々の計算したが関数の空間について説明したい. 既約概均質ベクトル空間と正則な単純概均質ベクトル空間のが関数は既に知られている. 我々の扱う空間が含まれる 2-単純概均質ベクトル空間は T. Kimura 他により分類されており, 大きく type I と type 垣に分けられている. そして既約
でなく単純概均質ベクトル空間と裏返し同値でない正則な呻 I の 2-単
純概均質ベクトル空間は, [7] において (1) から (46) に分類されている. 代
数群をみることでクラスに分けると$\mathrm{e}$(a) ( $SL(n)$ , A2) を含むクラス $((1)-(9))$(b) $Sp(n)$ と SO(n) を含むクラス $((10)-(20))$(c) $n\leq 8$ の$S\dot{\mu}n(n)$を含むクラス $((21)-(33))$(d) Spin(10) を含むクラス ((具) $-(44)$ )(e)$G_{2}$

を含むクラス $((45)(46))$と (a) から (e) の 5 つのクラスになる. 我々の結果は [15] において (b) のク

ラスのが関数を計算したことである. ただし (20b) の空間のが関数は [10]において, 上り一般的な形ですでに決定されている. (c)(e) のが関数の計
算は (b) の結果に帰着することができるので, (b) を計算することにより(c)(e) を得た. そして (a) の 2,3 の空間は [16] に含まれているが, 困難な空間である (8)(9) $(41)$ を除く (a) と (d) の空間全体としては K. Sugiyama によりが関数が計算されている ([14]). これらの結果を合わせることにより,

155(8) (9) $(41)$ を除いてすべての type I の正則な 2-単純概均質ベクトル空間の糾関数を具体的に与えることができている.

概均質ベクトル空間の研究における糾関数の重要性について述べておきたい. まず糾関数から関数等式のガンマ因子とある程度のゼータ関数の極の位置が明らかになることが知られている. そして 上や条件のついた上のある局所ゼータ関数は \mbox{\boldmath $\alpha$}関数の値から明快に計算できることも知られている ([3]). さらにこの局所ゼータ関数に関する結果は多変数化されており, 多変数 \mbox{\boldmath $\alpha$}関数の値から計算される多変数の局所ゼータ関数
については [1] と [2] で述べられている.
$\mathbb{C}$$\mathbb{R}$2

準備
このセクションでは [5] を参考に概均質ベクトル空間の基本性質につい上の連結線型代数群とし, $V$ を 上の 次元ベクトル空間, : $Garrow GL(V)$ を有理表現とする. このとき三つ組 $(G, \rho, V)$ が概均質ベクトル空間であるとは稠密な開軌道 $Gv_{0}(v_{0}\in V)$ が存在するとて説明する.

$G$を$\mathbb{C}$$\mathbb{C}$$n$$\rho$きをいう. 以下 $(G, \rho, V)$ は概均質ベクトル空間と仮定する. $S=V\backslash O_{0}$の点を生成点と呼ぶ. さて $f$ を $V$ 上の有理関数
を特異集合と呼び,とし, を $G$ の指標とする. このとき $f$ が に対応する相対不変式であるとは, すべての $g\in G$ と $x\in V$ {こついて $f(\rho(g)x)=\chi(g)f(x)$ が成り立つときを言う.
$V\backslash S$$\chi$$\chi$

補題 1[5, 命題 24] 相対不変式
る定数 が存在して $f_{2}=cf_{1}$ となる.
$f_{1},$$f_{2}$

が同じ指標に対応するならば, あ$c$

補題 2[5, 定理 2.9] 特異集合 $S$ の余次元 1 の既約成分たちをとする. そして既約多項式について $S_{i}=\{x\in V : f_{\dot{\iota}}(x)=0\}(1\leq$$i\leq l)$ となることを仮定する. そのとき五 (x), . . . , $f_{l}(x)$ は代数独立な相対不変式で, 任意の相対不変式 $f(x)$ は $f(x)=cf_{1}(x)^{m_{1}}\ldots f_{l}(x)^{m_{l}}(c\in$と一意的に表される.
$S_{1},$$\ovalbox{\tt\small REJECT}$$\ldots,$$f.\cdot(x)$$\mathbb{C},$$(m_{1}, \ldots, m_{l})\in \mathbb{Z}_{\geq 0}^{l})$これら五, . . . , $fi$ を $(G, \rho, V)$ の基本相対不変式と呼ぶ.
を $V$ の双対ベクトル空間とし,: $Garrow GL(V^{*})$ を の反傾表現とする. また $G$ が簡約可能代数群であるとき $(G, \rho, V)$ を簡約可能概均質ベ
クトル空間と呼ぶ.
$V^{*}$$\rho^{*}$$\rho$

156
補題 3[5, 命題 2.21] $(G, \rho, V)$ を簡約可能概均質ベクトル空間とすると,も概均質ベクトル空間でその双対) が $(G, \rho, V)$ の に対にはに対応する 次
応する 次の相対不変多項式ならば, ( $G,$の相対不変多項式) が存在する.
$(G, \ovalbox{\tt\small REJECT}, V^{9})$$f\ovalbox{\tt\small REJECT}$$d$$\ovalbox{\tt\small REJECT},$$\chi$$d$$\chi^{-1}$$V\ovalbox{\tt\small REJECT}$$\ovalbox{\tt\small REJECT}\Leftarrow$

補題 4[5, 命題 2.22] $(G, \rho, V)$ を簡約可能概均質ベクトル空間, $f(x)$ が$(G,\rho, V)$ のに対応する 次の相対不変多項式, $f^{*}(x)$ を $(G,\rho^{*}, V^{*})$ のに対応する 次の相対不変多項式とする. このとき
$d$$\chi$$d$$\chi^{-1}$$f^{*}(y\mathrm{a}\mathrm{d}_{x})f(x)^{\epsilon+1}=b_{f}(s)f(x)^{\epsilon}$を満たす の多項式 $b_{f}(s)$ が存在する. ただしと置
く. $b_{f}(s)$ [ま $x\in V\backslash S$ [こ依存せず, $\deg(bf)=\deg(f)$ が成り立つ. そして$(s+1)$ は $b_{f}(s)$ の因数である.
$s$$\mathrm{g}\mathrm{r}\mathrm{f}\mathrm{f}\mathrm{i}_{x}=(\frac{\partial}{\partial x_{1}}, \ldots, \frac{\partial}{\partial x_{n}})$この多項式 $b_{f}(s)$ を $f$ の糾関数と呼ぶ.
$f(x)$ を $(G, \rho, V)$ の に対応する相対不変式とするとき写像$\chi$$V\backslash Sarrow V^{*}$$\varphi_{f}=\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{d}\log$を$\phi_{f}(x)=(\frac{1}{f(x)}\frac{\partial f}{\partial x_{1}}(x),$$\frac{1}{f(x)}\frac{\partial f}{\partial x_{2}}(x),$$\cdots,$$\frac{1}{f(x)}\frac{\partial f}{\partial x_{n}}(x))$

がにおいて Zariski 稠密になで定義する. この写像の像るとき, 相対不変式 $f(x)$ を非退化と呼ぶ. そして非退化な相対不変式をもつ概均質ベクトル空間を正則概均質ベクトル空間と呼ぶ.

3$V^{*}$$\varphi_{f}(V\backslash S)$$\varphi_{f}$糾関数についてこのセクションでは [11] を参考に多変数が関数について説明する. まずこのセクションを通じて $(G, \rho, V)$ が簡約可能な正則概均質ベクトル空間であることを仮定する. 補題 2 より $(G, \rho, V)$ の基本相対不変式を$f_{1},$$f_{2},$$\cdots,$$f_{l}$と対応させる. そして補題 3 により双とし, それぞれ指標
対 $(G, \rho^{*}, V^{*})$ の基本相対不変式にを指標それぞれ対応するようにとれる. ここで
と置く.
について
と書くことにする. [11] により次のことが分かる.
$\chi_{1},$$\chi_{2},$$\cdots,$ $\chi_{l}$$f_{1}^{*},$$f_{2}^{*},$$\cdots,$$f_{l}^{*}$$\chi_{1}^{-1},$$\chi_{2}^{-1},$$\underline{f}=(f_{1}, f_{2}, \ldots, f_{l})$$(s_{1}, s_{2}, \ldots, s_{l})\in \mathbb{Z}^{l}$$\underline{f}^{\underline{\delta}}:=\Pi_{1=1}^{l}.f_{\dot{l}}^{s}\dot{.}$$\chi_{l}^{-1}$$\ldots,$$\underline{s}=$

$f$

157
補題 5(M. Sato) 任意の$\underline{m}=(m_{1}, m_{2}, \ldots, m_{l})\in(\mathbb{Z}_{\geq 0})^{l}$について$\underline{f}^{*\underline{m}}(\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{d})\underline{f}^{\underline{s}+\underline{m}}=b_{\underline{m}}(\underline{s})\underline{f}^{\underline{s}}$をみたす 0 でない多項式
この$b_{\underline{m}}(\underline{s})$理関数が存在する.

の糾関数と呼ぶ. ここで記述の簡略化のために整数について次のように記号を定義する.

を$\eta(t)$$b_{\underline{m}}(\underline{s})$$\underline{f}$

$k$

と有

$[\eta(t)]_{k}$$\prod_{t=0}^{k-1}\eta(t+k)$$(k>0)$

1$(k=0)$$1/ \prod_{r=k}^{-1}\eta(t+k)$$(k<0)$$[\eta(t)]_{k}=\{$\mbox{\boldmath $\alpha$}関数は次のような形をしている.

定理 1(M. Sato) [11, 定理 3] -関数$b$$b_{\underline{m}}(\underline{s})$は$\ovalbox{\tt\small REJECT}(\underline{s})=\underline{A}^{\underline{m}}\prod_{j=1}^{N}[\eta_{j}(\gamma_{j}(\underline{s}))]_{\gamma_{j}(\underline{m})}$と表せる. ただし,$\eta_{j}(t)$は$t$の一.ae‘数有理関数で,$\mathbb{C}^{\mathrm{x}})N\in \mathbb{Z}_{>0\backslash }\gamma_{j}(\underline{s})=\sum_{=1}^{l}.\cdot\gamma_{j^{S}:}\dot{.},$$\underline{A}^{\underline{m}}=\Pi_{1=1}^{l}.A_{\dot{l}}^{m}.\cdot(A:\in$$GCD(\gamma_{1j}, \ldots, \gamma_{lj})=1$$\gamma_{ij}\in \mathbb{Z}_{\geq 0},$となっている.

続いて一つ仮定をしたい.

仮定 各 $j(1\leq j\leq N)$ に対してする.

$\gamma_{j}(\underline{m})=1$となる$\underline{m}\in(\mathbb{Z}_{\geq 0})^{l}$が存在は後で述べる -関数の計算により得られるのだが, 我々の扱った概均質ベクトル空間ではこの仮定が成り立っている. そのため, この仮定によりが多項式なることと, M. Kashiwara の [4] における結果により次を得る.

一次式$a$$\gamma_{j}(\underline{s})$$\eta_{j}(t)$補題 6[11, 定理 3 の系] $+$ [ , Corollary 5.2]
$4$$b_{\underline{m}}(\underline{s})=\underline{A}^{\underline{m}}\Pi_{j=1}^{N}\Pi_{r=1}^{\mu_{\mathrm{j}}}[\gamma_{j}(\underline{s})+\alpha_{j,r}]_{\gamma_{j}(\underline{m})}$\mbox{\boldmath $\alpha$}j,r\in Q,0、$\mu_{j}\in \mathbb{Z}_{>0}$が成り立つ.

158\sim --\sim -C.

$\mathrm{b}\mathrm{f}\mathrm{i}\mathrm{E}\ovalbox{\tt\small REJECT}\ovalbox{\tt\small REJECT}\sigma\supset \mathrm{g}\mathrm{g}k\mathrm{p}\mathrm{S}\mathrm{f}\mathrm{f}\mathrm{i}[]_{\beta}^{-\Xi}.\mathrm{E}\doteqdot[a]_{k}\mathfrak{l}\mathrm{J}$$[a]_{k}=\{\begin{array}{l}(a)(a+1)\cdots(a+k-1)(k>0)1(k=0)\mathrm{l}/(a-1)(a-2)\cdots(a+k)(k<0)\end{array}$$N,$であることに注意する. 我々の目的は一次式,を具体的に計算することで, 基本相対不変式の定数倍に依存する因子–を除いてが関数を決定することである. またが関数はコサイクルコンディ
ションを満たす. つまりが成り立つ. したがってが関数の計算はの計算に帰着される. ここ$\gamma_{j}(\underline{s})$$\alpha_{j,r}\in \mathbb{Q}_{>0},$$\mu_{j}\in \mathbb{Z}_{>0}$$A^{\underline{m}}$$b_{\underline{m_{1}}+\underline{m_{2}}}(\underline{s})=b_{\underline{m_{1}}}(\underline{s})b_{\underline{m_{2}}}(\underline{s}+\underline{m_{1}})$$b_{1}(\underline{s}),$で$i$$\mathrm{h}(\underline{s}),$$\cdots,$$b,(\underline{s})$番目 [こ 1 のでてくる $\xi.\cdot=(0, \ldots, 0,1,0, \ldots, 0)$ について

$b_{\xi}.\cdot(\underline{s})$を$b_{:}(\underline{s})$と書いている.
次に -関数について述べたい. a-関数とはが関数の最高次部分のことで$a$$a_{\underline{m}}(\underline{s})=\underline{A}^{\underline{m}}\mathrm{n}_{j=1}^{N}(\gamma_{j}(\underline{s})^{\gamma_{\dot{f}}\cup m})^{\ovalbox{\tt\small REJECT}}$となっている.

を糾関数のときと同様にと書く. 明らかに: が成り立っている. そしてこの a-関数は次のようなを等式を満たしている.
と書くことに注意する.
$a_{\xi:}(\underline{s})$$a:(\underline{s})$$a_{\underline{m}}( \underline{s})=\prod_{1=1}^{l}.a:(\underline{s})^{m}$$\varphi:(v)$$\varphi_{f}.\cdot(v)$

補題 7[11, 命題 9] 任意の$\underline{m}=(m_{1}, m_{2}, \ldots, m_{l})\in(\mathbb{Z}_{\geq 0})^{l}$について$a_{\underline{m}}(\underline{s})=\underline{f}^{\underline{m}}(v)\underline{f}^{*\underline{m}}(\varphi_{\underline{f}-}.(v))=\underline{f}^{\underline{m}}(v)\underline{f}^{*\underline{m}}(\Sigma_{=1^{S:\varphi:}}^{l}\dot{.}(v))$

が成り立つ. ただし生成点$v$に依存せず,$a_{\underline{m}}(\underline{s})$は 0 でない.

-関数を計算するためには, 生戒点が与えられ基本相対不変式が具体的に構成されていれば, 各 : を計算すれば良いことが分かる. その結果, a-関数は糾関数にくらべて格段に易しく計算することが可能である. これにより a-関数を計算することができればが関数の計算はこの補題により$a$$\varphi$の決定に帰着される.
$(G, \rho, V)$ は正則なので $(G, \rho, V)$ は指標 $(\det\rho(g))^{2}$ に対応する相対不変式をもつことが知られている. 補題 2 により $(\det\rho(g))^{2}$ に対応する相対不変式はあるが存在してとすることができる. そのとき次の関数等式が得られる.

$\alpha_{j,r}$$2\underline{\kappa}\in \mathbb{Z}^{l}$$\underline{f}^{2\underline{\kappa}}$定理 2[11, 定理 4]$b_{\underline{m}}(\underline{s})=(-1)^{\mathrm{d}\underline{f}^{\underline{m}}}‘ b_{\underline{m}}(-\underline{s}-\mathrm{m}-\underline{\kappa})$

ただし. である.

$\deg\underline{f}^{\underline{m}}=\Sigma_{1=1}^{l}.m:\deg f_{1}$159に多くの情報が与えられる. また補題 4 と補題 5
によりが成り立っている. 可約な概均質ベクトル空間の場
合には, ある についてのが既知であることがかなりある. 我々は
主にこの二つの情報によりを計算していく.
我々の扱った空間では以上の情報を合わせることにより \mbox{\boldmath $\alpha$}関数を決定することができるのである.
この関数等式により$\alpha_{j,r}$$b_{i}(s\xi_{i})=b_{f}.\cdot(s)$$i$$b_{f}\dot{.}(s)$$\alpha_{j,r}$4

主結果についてこのセクションでは序章で述べた主結果について説明したい. 序章で述べたように, $Sp(n)$ と SO(n) に関連する空間は [7] において (10) から (20)に分類されている. そのうち (lOb)(11)(12)(13)(14) の空間の糾関数は既知な場合に帰着される. (17) の空間の糾関数は (18) に含まれている. (20b)の空間 $(GL(1)^{2}\cross SO(n)\cross SL(m), \Lambda_{1}\otimes\Lambda_{1}+1\otimes\Lambda_{1}^{*})$ の糾関数は [10] において, より一般的な形ですでに決定されている. したがって我々が計算した主要な空間は(1Oa)$(GL_{1}^{3}\cross Sp_{n}\cross SL_{2m}, \Lambda_{1}\otimes\Lambda_{1}+1\otimes\Lambda_{1}+1\otimes\Lambda_{1})(n>m)$(1Oc)$(GL_{1}^{3}\cross Sp_{n}\cross SL_{2m}, \Lambda_{1}\otimes\Lambda_{1}+1\otimes\Lambda_{1}^{*}+1\otimes\Lambda_{1}^{*})(n>m)$(15a)$(GL_{1}^{4}\cross Sp_{n}\cross SL_{2m+1}, \Lambda_{1}\otimes\Lambda_{1}+\Lambda_{1}\otimes 1+1\otimes(\Lambda_{1}+\Lambda_{1}))(n>m)$$(15\mathrm{b})(GL_{1}^{4}\cross Sp_{n}\cross SL_{2m+1}, \Lambda_{1}\otimes\Lambda_{1}+\Lambda_{1}\otimes 1+1\otimes(\Lambda_{1}+\Lambda_{1})^{*})(n>m)$(16)$(GL_{1}^{3}\cross Sp_{2}\cross SL_{3}, \Lambda_{1}\otimes\Lambda_{1}+\Lambda_{2}\otimes 1+1\otimes\Lambda_{1}^{*})$(18)$(GL_{1}^{3}\cross Sp_{2}\cross SL_{2}, \Lambda_{2}\otimes\Lambda_{1}+\Lambda_{1}\otimes 1+1\otimes\Lambda_{1})$(19)$(GL_{1}^{3}\cross Sp_{2}\cross SL_{4}, \Lambda_{2}\otimes\Lambda_{1}+\Lambda_{1}\otimes 1+1\otimes\Lambda_{1}^{*})$(20a) $(GL_{1}^{2}\cross SO_{n}\cross SL_{m}, \Lambda_{1}\otimes\Lambda_{1}+1\otimes\Lambda_{1})(n>m>1)$となる.

定理 3 上で与えられた空間 (1Oa) (1Oc) (15a) (15b) (16)(18) (19) (20a) の多変数 -関数を, 関数等式を用いた計算方法により具体的に決定した.
$b$$b_{\underline{m}}(\underline{s})$そして序章で述べたように, Spin(n)(nに関連する (c)(e) のク) とラスのが関数は (20a) と (20b) の計算に帰着される. これは糾関数が相対不変式のみに依存しているため, 群が異なっていても相対不変式が同じであるなら糾関数が一致するためである. したがって次の系を得る.
$\leq 8$$G_{2}$

160
系 1 序章で述べたクラスのうち, (b)(c)(e) の空間の多変数 -関数 b (互)$b$を具体的に与えることができた.

5

計算の例

このセクションでは具体的に関数等式を用いた計算方法によりが関数を計算したい. ページが足りないため, 定理 3 にある空間すべてのが関数についての計算を記述することができない. そのため (c)(e) のクラスとも関係のある (20a) の空間についてのみ, 多変数 \mbox{\boldmath $\alpha$}関数の計算を記述したい.
(20a) の空間は$(GL(1)^{2}\cross SO(n)\cross SL(m),\Lambda_{1}\otimes\Lambda_{1}+1\otimes\Lambda_{1}, M(n,m)\oplus M(m, 1))$となっている $\Leftarrow>m>1$ ).

行列の空間で
ただし, $M(n, m)$ はある. まず群を $GL(1)\cross SO(n)\cross GL(m)$ としても同型であることから変えてもよい. $(\alpha;A, B)\in GL(1)\cross SO(n)\cross GL(m)$ と $x=(X,\mathrm{Y})\in$$M(n,m)\oplus M(m, 1)$ について $x=(’X, \mathrm{Y})|arrow(AX^{t}B, \alpha \mathrm{Y}^{t}B)$ で作用が与えは [9] よりとそれらに対応する指標られる. 基本相対不変式五,$n\mathrm{x}m$$f_{2}$$f_{1}(x)=\det(^{t}XX)$${}^{t}XX$$\chi_{1},$と与えられる.
それでは$\varphi_{1},$$f_{1}$$\varphi_{2}$$\chi_{1}(\alpha;A, B)=(\det B)^{2}$$rightarrow$${}^{t}\mathrm{Y}$$f_{2}(x)=\det(\begin{array}{ll}{}^{t}XX {}^{t}\mathrm{Y}\mathrm{Y} 0\end{array})$$\mathrm{Y}$$\chi_{2}$0$\chi_{2}(\alpha;A, B)=\alpha^{2}(\det B)^{2}$$rightarrow$のが関数 $b_{f1}(s)$ は既に知られていることに注意したい.
を生或点$\tilde{x}_{0}=(X_{0}, \mathrm{Y}_{0})$$X_{0}=(\begin{array}{l}I_{m}0\end{array})\in M(n,m)$について計算したい ($I_{m}$,$\mathrm{Y}_{0}=e_{1}\in M(m, 1)$

は $m$ 次単位行列, $e_{1}=^{t}(1,0,$ $\cdots,$ $0)$ ). まず記号を$X=(x:_{\dot{l}})\in M(n,m)$ ,$g(i,j)=\Sigma_{k=1}^{n}x_{k,:}x_{k_{\dot{\theta}}}$$\mathrm{Y}=(y.\cdot)\in M(m, 1)$,のように定める. このとき $m$ 次の対称群,$(1 \leq.i,j\leq m)$$S_{m}$

について$f_{1}(x)= \sum_{\sigma\in S_{m}}sgn(\sigma)g(1, \sigma(1))g(2, \sigma(2))\cdots g(m,\sigma(m))$

161
が成り立つ
仝泙鉢
計算中において$\ovalbox{\tt\small REJECT}$

を生成点輻について計算していくが, その$\frac{\partial}{\partial x_{a,b}}g(i,j)=\{\begin{array}{l}x_{a_{\dot{\theta}}}(b=i)x_{a,\dot{\iota}}(b=j)0(b\neq i,j)\end{array}$が成り立つことに注意する.
$= \sum_{\sigma\in S_{m}}sgn(\sigma)(g(1, \sigma(1))\ldots\frac{\partial}{\partial x_{a,b}}g(b, \sigma(b))\ldots g(m,\sigma(m))$$\frac{\partial}{\partial x_{a,b}}f_{1}(x)|_{x=\tilde{x}_{0}}$$+g(1, \sigma(1))\ldots\frac{\partial}{\partial x_{a,b}}g(\sigma^{-1}(b), b)\ldots g(m, \sigma(m)))|_{x=\tilde{x}_{0}}$$=$$2 \frac{\partial}{\partial x_{a,b}}g(b, b)|_{x=\tilde{x}_{0}}=2x_{a,b}|_{x=\tilde{x}_{0}}=\{$

2$(1\leq a=b\leq m)$0(otherwise)

したがって
$p1$

$\tau\tau$$\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{d}\log f_{1}|_{\overline{x}_{0}}=$を得る. 続いて$\frac{\partial}{\partial x_{a,b}}f_{2}(x)|_{x=\tilde{x}_{0}}$$f_{2}$$r/2I_{m}${\sim0-mn$[$$=$$- \frac{\partial}{\partial x_{a,b}}\sum_{\sigma\in S_{m},\sigma(1)=1}$

$\{$

-2

sgn( )g(1)$=$0(otherwise)$y$$\frac{\partial}{\partial y_{a}}(\det(\begin{array}{ll}I_{m} yy 0\end{array})) \ovalbox{\tt\small REJECT}$

$y$

$=$

$(\mathit{2}, \sigma(2))g(3, \sigma(3))\ldots g(m, \sigma(m))a|_{e=\tilde{x}_{0}}$$(2\leq a=b\leq m)$$I_{m}$$\frac{\partial}{\partial y_{a}}f_{2}(x)|_{x=\tilde{x}_{0}}$$E_{ij}$; 0}について考える.

$=$

したがって

$|$

0

$- \frac{\partial}{\partial y_{a}}\sum_{1\leq k\leq m}y_{k}^{2}|_{x=\tilde{x}_{0}}=\{$-20$(a=1)$$(a\geq 2)$を行列単位とすると$\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{d}\log f_{2}|_{\tilde{x}_{0}}=\{(\begin{array}{l}2I_{m}’0\end{array}) ; 2e_{1}\}$$( I_{m}’=I_{m}-E_{11})$

.

(2)

162
が得られる. その結果,$s_{2}\varphi_{1}(\tilde{x}_{0})$$\varphi_{1},$$\varphi_{1}$が (1) $(2)$ より求まるのでであることと, 相対不変式$f_{1}^{*}$と$f_{2}^{*}$

は$f_{1\backslash }f_{2}$$\phi f\underline{.}(\tilde{x}_{0})=s_{1}\varphi_{1}(\tilde{x}_{0})+$と同じ構成で得られることから,と$=2^{2m}s_{1}^{2}(s_{1}+s_{2})^{2m-2}$$a_{1}(s_{1}, s_{2})$$=$$f_{1}(x_{0})f_{1}^{*}(\phi_{f}\underline{\cdot}(\tilde{x}_{0}))$$a_{2}(s_{1}, s_{2})$$=$$f_{2}(\tilde{x}_{0})f_{2}^{*}(\phi_{f^{j}}(\tilde{x}_{0}))=2^{2m}s_{2}^{2}(s_{1}+s_{2})^{2m-2}$-関数が決定できた. これは仮定を満たしている.
次に得られた a-関数から$a$$b_{1}(s_{1}, s_{2})$$=$$(s_{1}+\alpha_{1,1})(s_{1}+\alpha_{1,2})(s_{1}+s_{2}+\alpha_{3,1})\ldots(s_{1}+s_{2}+\alpha_{3,2m-2})$$b_{2}(s_{1}, s_{2})$$=$$(s_{2}+\alpha_{2,1})(s_{2}+\alpha_{2,2})(s_{1}+s_{2}+\alpha_{3,1})\ldots(s_{1}+s_{2}+\alpha_{3,2m-2})$について計算していきたい. まず [13] おいてと糾関数の形が作れる.
が与えられていることから$\alpha_{j,r}$$b_{f_{1}}(s)$$b_{1}(s_{1},0)=b_{f_{1}}(s_{1})= \Pi_{k=1}^{m}(s+\frac{k+1}{2})\Pi_{l=1}^{m}(s+\frac{n-l+1}{2})$が得られる. そして関数等式にでてくる は $\det\rho(g)=\alpha^{m}(\det(B))^{n+1}$ にとの関数等式はより $2\kappa=(n-m+1, m)$ となる. したがって$\kappa$$b_{1}$$b_{2}$$b_{1}(s_{1}, s_{2})$$=b_{1}(-s_{1}- \frac{n-m+3}{2}, -s_{2}-\frac{m}{2})$$b_{2}(s_{1}, s_{2})$$=b_{1}(-s_{1}-, -s_{2}- \frac{m}{2}-1)\overline{2}$$n-m+1$

さて, まず $\alpha_{3,k}=1$ となる が存在していると仮定しての関数等式より $\alpha_{3,l}=(n+1)/2$ となる が存在す
みよう. そうするとることになるが, $b_{1}(s_{1},0)$ の式にはそんな因子は存在しないので矛盾が生じた. よって $\alpha_{3,k}=1$ となるような は存在しない, そして $b_{1}(s_{1},0)$ には$(s_{1}+1)$ の因子が含まれることから $\alpha_{1,1}=1$ としてよい. ゆえに,の関と与えられる.

$k$$l$$b_{1}$$k$$b_{1}$

数等式から$b_{1}(s_{1}, s_{2})=(s_{1}+1)(s_{1}+ \frac{n-m+1}{2})\prod_{k=2}^{m}(s_{1}+s_{2}+\frac{k+1}{2})\prod_{l=1}^{m-1}(s_{1}+s_{2}+\frac{n-l+1}{2})$が得られる. さらに$b_{2}(0, s_{2})$も因子に $(s_{2}+1)$ を含むことと関数等式より$b_{2}(s_{1}, s_{2})=(s_{2}+1)(s_{2}+ \frac{m}{2})\prod_{k=2}^{m}(s_{1}+s_{2}+\frac{k+1}{2})\prod_{l=1}^{m-1}(s_{1}+s_{2}+\frac{n-l+1}{2})$

と求まる.

163
正則 2-単純概均質ベクトル空間 (結果$\ovalbox{\tt\small REJECT}_{1}+1\otimes\ovalbox{\tt\small REJECT}.)$$=$$b_{\underline{m}}(\underline{s})$$\cross$$GL(\mathfrak{y}^{2}\mathrm{x}$SO(n) $\mathrm{x}SL(m),$$\ovalbox{\tt\small REJECT}$の b-関数は次のように得られた.

.

$\otimes$$[s_{1}+1]_{m_{1}}[s_{1}+ \frac{n-m+1}{2}]_{m_{1}}[s_{2}+1]_{m_{2}}[s_{2}+\frac{m}{2}]_{m_{2}}$$\prod_{k=2}^{m}[s_{1}+s_{2}+\frac{k+1}{2}]_{m_{1}+m_{2}}\cross\prod_{l=1}^{m-1}[s_{1}+s_{2}+\frac{n-l+1}{2}]_{m_{1}+m_{2}}$$(20\mathrm{b})$の空間の \mbox{\boldmath $\alpha$}関数もほとんど同様に計算できることを注意しておく.

6

糾関数の例
最後に例として定理 3 の空間の糾関数を紹介したいが, ページが足りないので, そのうちの 2 つの空間についてのみ記述したい. 序章において多変数糾関数の応用として, ある局所ゼータ関数への応用について述べた. 上
でも成り立つ空間として, (b) のクラスの中ではが条件を満たしている (cf. $[1][2]$ ). さらにこれらの空間は [8] により普遍推移性を持っていることについても注意したい. よって, そのうちの 1 っ$\mathbb{R}$$(10\mathrm{a})(10\mathrm{b})(10\mathrm{c})(15\mathrm{a})(15\mathrm{b})$として$(10a)(GL(1)^{3}\cross Sp(n)\cross SL(2m), \Lambda_{1}\otimes\Lambda_{1}+1\otimes\Lambda_{1}+1\otimes\Lambda_{1})(n>m)$を例にあ [ずたい.

$(\alpha, \beta, A, B)\in G=GL^{2}(1)\cross Sp(n)\cross GL(2m)$と$(X, \mathrm{Y}, Z)\in V=M(2n, 2m)\oplus M(2m, 1)\oplus M(2m, 1)$ について $(X, \mathrm{Y}, Z)\vdasharrow$により作用が与えられる. Pf(X) を交代行列 $X$ のパ
フィアンとする. [9] により基本相対不変式五,はと対応する指標$(AX^{t}B, \alpha B\mathrm{Y}, \beta BZ)$

$f_{2}$

五$(X, \mathrm{Y}, Z)=\mathrm{P}\mathrm{f}(^{t}XJX)$${}^{t}XJX$$f_{2}(X, \mathrm{Y}, Z)=\mathrm{P}\mathrm{f}$$-^{t}\mathrm{Y}$

$Z$

0
0

0
0

$(\begin{array}{lll}{}^{t}XJX \mathrm{Y} Z-^{t}\mathrm{Y} 0 0-^{t}Z 0 0\end{array})$$-^{t}Z$で与えられている. ただし$rightarrow$0$I_{m}$$-I_{m}$0$\chi_{2}(\alpha, \beta;A, B)=\alpha\beta\det B$$J=(\begin{array}{ll}0 I_{m}-I_{m} 0\end{array}),$ある. この空間では [6] において

$b_{f_{1}}(s)$$\chi_{2}$$\chi_{1}(\alpha, \beta;A, B)=\det B$$rightarrow$$\mathrm{Y}$$\chi_{1},$が既に$\text{知}$$I_{m}$

は $m$ 次の単位行列でられていいる. このとき

164
この空間のが関数は$b_{\underline{m}}(\underline{s})$$[s_{1}+1]_{m_{1}}[s_{1}+2n-2m+2]_{m_{1}}[s_{2}+1]_{m_{2}}[s_{2}+2m]_{m_{2}}$$=$$\prod_{k=2}^{m}[s_{1}+s_{2}+2k-1]_{m_{1}+m_{2}}\cross\prod_{l=0}^{m-2}[s_{1}+s_{2}+2n-2l]_{m_{1}+m_{2}}$$\cross$となっている.

次に面白い基本相対不変式を持つ空間として(16)$(GL(1)^{3}\cross Sp(2)\cross SL(3),\Lambda_{1}\otimes\Lambda_{1}+\Lambda_{2}\otimes 1+1\otimes\Lambda_{1}^{*})$

を例にあげたい. $Alt_{4}=\{X\in Alt_{4}|trXJ=0\}$ と置く.
$G=GL(1)^{2}\cross Sp(2)\cross GL(3)$$(\alpha,\beta, A, B)\in$と $(X, \mathrm{Y}, Z)\in M(4,3)\oplus Alt_{4}\oplus M$ ( , l)’}r こつ$3$

いて $(X, \mathrm{Y}, Z)|arrow(AX^{t}B, \alpha A\mathrm{Y}^{t}A, \beta^{t}B^{-1}Z)$ と作用が与えられる.
$Alt_{2}$番目の列と行を抜いた交代行列とする. また $Z.=^{t}$と対応する指標. $[9]$ により基本相対不変式

を $X\in Alt_{3}$ から$(z_{1}, z_{2}, z_{3})$と置$\text{く}$$X^{(1)}.\in$$i$$f_{1},$$f_{2}$$\chi_{1},$$\chi_{2}$は$f_{1}(X, \mathrm{Y}, Z)=Pf(\mathrm{Y})$$\chi_{1}(\alpha,\beta;A, B)=\alpha^{2}$$rightarrow$/ $Pf((^{t}XJX)^{(1)})$$f_{2}(X,\mathrm{Y}, Z)=\det|$$Pf$ ( $(^{t}X$$-Pf((^{t}XJX)^{(2)})$$Pf((^{t}XJX)^{(3)})- Pf((^{t}XJX)^{(2)})Pf((^{t}XJX)^{(1)})$$rightarrow$

JYJX)(1))JYJX)(2))$-Pf$ ( $(^{t}X$$-Pf((^{t}XJ\mathrm{Y}JX)^{(2)})Pf((^{t}XJ\mathrm{Y}JX)^{(1)})Pf((^{t}XJ\mathrm{Y}JX)^{(3)})$$\chi_{2}(\alpha,\beta;A, B)=\alpha\beta\det B$と与えられている. この空間でも$b_{f_{1}}(s)$$z_{1}\backslash$$z_{1}z_{2}z_{3})$.

が既に知られている. そして, この空間の糾関数は$b_{\underline{m}}( \underline{s})=[s_{1}+1]_{m_{1}}[s_{2}+1]_{m_{2}}[s_{2}+2]_{m_{2}}^{3}[s_{2}+3]_{m_{2}}[s_{1}+s_{2}+\frac{5}{2}]_{m_{1}+m_{2}}$.

となっている.

参考文献[1] 天野勝利, 井草氏の結果の多変数化 (局所ゼータ関数がガンマ関数の積で書ける場合について) , 数理解析研究所講究録 1238(2001), 1-11
[2] 藤上雅樹, Bohr-MoUerup の定理の一般化と局所関数等式の r-因子について, 数理解析研究所講究録 1238(2001), 20-29

165[3] J.-I. Igusa, An Introduction to the theory of local zeta functions,
Studies in Advanced Mathematics 14, American Mathematical SOciety, 2000.

[4] M. Kashiwara, -Functions and holomoic systems (Rationality ofroots of -functions), Invent. Math. 38(1976), 33-53.
$\mathrm{B}$$b$[5] 木村達雄, 概均質ベクトル空間, 岩波書店,1998 年[6] T. Kimura, The kfunctions and holonomy diagrams of irreducible
regular prehomogeneous vector spaces, Nagoya Math. J. 85(1982),

1-80[7] T. Kimura, S. Kasai, M. Inuzuka and O. Yasukura, Aclassification of 2-simple prehomogeneous vector spaces of type , J. Algebra
114(1988), 369-400.
$\mathrm{I}$[8] T. Kimura, S. Kasai, Hosokawa, Universal transitivity of simple
and 2-simple prehomogeneous vector spaces, Ann. Inst. Fourier, 38$2(1988)$ , 11-41.

[9] T. Kogiso, G. Miyabe, M. Kobayashi, T. Kimura, Explicit construction of relative invariants for regular 2-simple prehomogeneous vector
spaces of tyPe , preprint$\mathrm{I}$of prehomogeneous vector spaces attached toflag manifolds of the general linear group, Comment. Math. Univ.
St. Pauli 48 (1999), 129-136[10] F. Sato,$\text{が}\mathrm{F}\mathrm{h}\mathrm{n}\mathrm{c}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}\mathrm{s}$[11] 佐藤幹夫述, 新谷卓郎記, 概均質ベクトル空間の理論, 数学の歩み 15(1970), 85-157[12] M. Sato, Theory of prehomogeneous vector spaces (Algebraic
part) -The English translation of Sato’s lecture ffom
Note(translated by M.Muro), Nagoya Math. J. 120(1990), 1-34.

$\mathrm{S}\mathrm{h}\mathrm{i}\mathrm{n}\mathrm{t}\mathrm{a}\mathrm{n}\mathrm{i}’ \mathrm{s}|$[13] M. Sato, M. Kashiwara, T. Kimura, T. Oshima, MicrO-local analysis
of prehomogeneous vector spaces, Invent. Math. 62(1980), 117-179[14] K. Sugiyama, Slice method for -functions of prehomogeneous vector
spaces, preprint.
$b$

166
unctions of regular 2-simple prehomogeneous vector
spaces associated to the symplectic group and the orthogonal group,
preprint[15] S.

$\mathbb{N}\mathrm{W}\mathrm{b}\mathrm{k}\mathrm{a}\mathrm{t}\mathrm{s}\mathrm{u}\mathrm{k}\mathrm{i},b\ovalbox{\tt\small REJECT}$[16] K. Ukai, b- unctions of prehomogeneous vector spaces of DynkinKostant type for exceptional groups, Master’s thesis, Nagoya University, 2001.

Department of Mathematics,
Graduate School of Science,\mbox{\boldmath $\alpha$}一の University,
Machikaneyama1-16,
Toyonaka, Osaka, 560-0043, Japan.
osal&u.ac.jp
Lmail: sm7052ws@ecs .
$\mathrm{c}\mathrm{m}\mathrm{c}.$