数理解析研究所講究録
1169 巻 2000 年 57-6157

可換代数におけるグレブナー基底の果たす役割
大杉英史 (Hidefumi Ohsugi, 阪大理)
日比孝之 (Takayuki Hibi,阪大理)
最初に断わって置くけど, 本稿の題目は 「可換代数におけるグレブナー基底/の果たす役割」 であって 「可換代数における/ グレブナー基底の果たす役割」 とは違う.

可換代数や代数幾何の研究者の間でグレブナー基底が騒がれ始めたのは 1980 年
Dave Bayer と Mike Stillman による Macintosh 上で動く物凄いソフト‘Macaulay’ が現れた頃であったろうか. ちょうど 1987 年 6 月に Berkeley の数学研究所 (MSRI) で可換代数の研究集会が開催された際, Bayer と Stillman が‘Macaulay’ の実演をし, 多くの参加者の興味を誘った. 本稿では研究集会の講演

代後半,に沿って [0h-Hi] の結果とその背景について簡単に解説する. 吉川敦教授の目論んだ研究集会の主旨に合致するか否かは甚だ疑わしいけれども, 環論屋が扱うグレブナー基底の理論的な魅惑の–端を披露できれば幸いである.
本稿で配置と言うときには, 空間における有限個の整数点の集合を意味$\mathrm{R}^{d}$

する. 配置があったとき, 各々のを項縦ベクトルを列べクトルとする
行 $n$ 列の整数行列 $A=(a_{ij})1\leq i\leq d;1\leq j\leq n$ を考え, $Ab=0$ となる項縦ベクトル$b=(b_{1}, b2, \ldots, bn)^{t}$ の全体をと表す. このとき,をパラメーターとする未知函数 $f$ の偏微分方程式系$\{a_{1}, a_{2}, \ldots, a_{n}\}\subseteq \mathrm{Z}^{d}$$a_{j}=(a_{1j,j’\cdots,j}a_{2}ad)t$と思い ( は転置行列)$a_{1},$$a_{2},$$\ldots,$$a_{j}$$d$$a_{n}$$d$$n$$(\alpha_{1}, \alpha_{2}, \ldots, \alpha_{d})\in \mathrm{C}^{d}$$\mathrm{K}\mathrm{e}\mathrm{r}(A)$$\partial$$(_{j=1} \sum^{n}aijx_{j^{\frac{\partial}{\partial x_{j}}}}-\alpha_{i}\mathrm{I}f=0$,$i=1,2,$$d$$\ldots,$$(*)$$( \prod_{b_{j}>0}(\frac{\partial}{\partial x_{j}})^{b_{j}}-\prod_{b_{j}<0}(\frac{\partial}{\partial x_{j}})^{-b_{j}})f=0$,$b\in \mathrm{K}\mathrm{e}\mathrm{r}(A)\cap \mathrm{Z}^{n}$

を GKZ-超幾何方程式系と呼ぶ. その背景などについては [G-K-Z] を参照されたい.
たとえば,$\mathrm{B}_{2}^{+}=|01$

$01$

$11$

$-11$とすると, その GKZ-超幾何方程式系は$(X_{1} \frac{\partial}{\partial x_{1}}+X3\frac{\partial}{\partial x_{3}}+X_{4}\frac{\partial}{\partial x_{4}}-\alpha_{1}\mathrm{I}^{f=0}$58$(x_{2^{\frac{\partial}{\partial x_{2}}+}}X_{3} \frac{\partial}{\partial x_{3}}-X_{4}\frac{\partial}{\partial x_{4}}-\alpha 2)f=0$$(( \frac{\partial}{\partial x_{1}})^{2}-(\frac{\partial}{\partial x_{3}})(\frac{\partial}{\partial x_{4}}))f=0$$(( \frac{\partial}{\partial x_{1}})(\frac{\partial}{\partial x_{2}})-(\frac{\partial}{\partial x_{3}}))f=0$$(( \frac{\partial}{\partial x_{1}})-(\frac{\partial}{\partial x_{2}})(\frac{\partial}{\partial x_{4}})\mathrm{I}^{f}=0$である.

定理
ならば $(*)$ の解空間の次元は$([\mathrm{G}-\mathrm{K}^{-}\mathrm{Z}], [\mathrm{G}-\mathrm{G}-\mathrm{p}])$. パラメーター$\mathrm{R}^{d}$$(\alpha_{1}, \alpha_{2}, \ldots, \alpha_{d})\in \mathrm{C}^{d}$の $n+1$ 個の点の集合包の正規化体積に–致する. 但し,$0$は$\mathrm{R}^{d}${$0,$の原点である.

$a_{1,2,\ldots,}a$が generica} の凸閉$\blacksquare$

筆者らは GKZ-超幾何方程式系 (のみならず偏微分方程式) については全くの素人であるが, 超幾何函数の専門家に尋ねた所, この定理が成立するには行列 $A$ についての若干の代数的条件を仮定する必要があるとのことである. それは扱置き, 筆者があったとき, それに原点を添における凸閉包の正規化体積を計算せよ」 という離散的な問題を考える上手い切っ掛け (つまり 「なんで原点をつけるんだ ? 」 と尋問されたときの都合の良い返答) になる. なお, 正規化体積とは通常の体積に次元の階乗を掛けた非負整数値であると (厳密には違うけれど) 思っても差し障りはな
ならば, 定理で言う凸閉包はい. たとえば, 前掲のらにとってこの定理は 「配置加した配置 { $0,$ $a_{1,2,\ldots,}a$ a} の$\{a_{1}, a_{2}, \ldots, a_{n}\}\subset \mathrm{Z}^{d}$$\mathrm{R}^{d}$$\mathrm{B}_{2}^{+}$$(\#)$となり, その正規化体積は 3 である.

59

次に, $d+1$ 行 $n+1$ 列の行列$\overline{A}$を$\overline{A}=$と置く. 多項式環 $\mathrm{C}[t0, t1, \ldots, tn]$ を考え,$Ab=0$ の全体を動くとき, 二項式$b=(b_{0}, b_{1,2}b, \ldots, b_{n})t\in \mathrm{Z}^{n+1}$

が$g_{b}= \prod_{>bj0}tjb_{j}-\prod_{b_{j}<0}t^{-}jb_{j}$が生成する
ぶ. 再度,

で表し, $A$ のトーリックイデアルと呼は 3 個の二項式 $t_{1^{-t_{3}t_{4},tt}03,0}^{2}12^{-}tttt_{1}-t2t_{4}$のイデアルを$\mathrm{C}[t_{0}, t_{1,\ldots,n}t]$$\mathrm{B}_{2}^{+}$

を考えると,$I_{\mathrm{B}_{2}^{+}}$$I_{A}$で生成される.
さて, $\mathrm{C}[t_{0}, t_{1,\ldots,n}t]$ の単項式順序 $<$ による 巫のイニシャルイデアル(とグレブナー基底) を扱う. 必要な事柄のみを簡潔に述べると, 単項式順序とはの単項式の全体における線型順序 $<$ であって, 条件(あ) 任意の単項式 $u\neq 1$ について, $1<u$ であり,(い) 単項式 $u,$ $v,$ $w$ について, $u<v$ ならば $uw<vw$ である$\mathrm{C}[t_{0}, t_{1,\ldots,n}t]$を満たすものである.

$\{\prod_{j=0}^{n}t_{j^{j}}^{b} ; 0\leq b_{j}\in \mathrm{Z}\}$

そのような単項式順序 $<$ を一つ固定し, 二項式 $g_{b}=$とに現れる二つの単項式について$\prod_{b_{j}>0}t-j\prod b_{j}<0t^{-b}jb_{j}j\in I_{A}$$\prod_{b_{j}>0^{t}}jb_{j}$$\prod_{b_{j}<0^{t^{-}}}jb_{j}$に関して大きい方をで, 小さい方をで表す. このとき, 単項式,$Ab=0$ , の全体が生成するの単項式イデアルを $in_{<}(I_{A})$ で表し,の $<$ に関するイニシャルイデアルと呼ぶ. もちろん, $in_{<}(I_{A})$ は有限生成であ$g_{b}^{(+)}$$<$$g_{b}^{(-)}$$g_{b}^{(+)}$$\mathrm{C}[t_{0}, t_{1}, \ldots, t_{n}]$$I_{A}$

るから, 有限個の単項式$g_{b_{1}}^{(+)},$$g_{b_{2}}(+),$$\ldots,(+)\mathit{9}b_{S}$を選んで$in_{<}(I_{A})=(g^{(}b_{1}’ g_{b_{2}^{+}}^{()}+),$$gb_{s}^{+})()$$\ldots,$とできる.

このとき,$g_{b_{1}},$$g_{b_{2}},$$\ldots,$$g_{b_{s}}$に関するグレブナー基底と呼ぶのである. グレブナー基底の顕著な性質を$g_{b}(+)2’\ldots,$論ずることは扱置き, 我々にとっては $in_{<}(I_{A})$ の生成系が重要である. 可換代数の研究者にとって, とりわけ興味深い状況は $in_{<}(I_{A})$ が squarefreeを$I_{A}$の$<$$g_{b_{1}}^{(+)},$$g_{b_{s}}(+)$

60

その可換環論的な背$i\neq j$ ) で生成されるときである.
な二次単項式 (つまり景については [H] などを参照して貰うとして, 組合せ論的な興味の背景に触れよう.
いま, $in_{<}(I_{A})$ が squarefree な二次単項式で生成されると仮定し, 有限集合 $V=\{0,1, \ldots, n\}$ 上の有限グラフ $G(in_{<}(IA))$ でその辺集合が $E=$
前掲ので単項式順$\{\{i, j\}_{i}i\neq j, t_{i}t_{j}\in in_{<}(I_{A})\}$ であるものを考える.
序として $t_{1}<t_{2}<t_{0}<t_{3}<t_{4}$ から導かれる逆辞書式順序を考えると,$in_{<}(I_{A})=$ () となり, それに対応する有限グラフは, tot3,$t_{i}t_{j},$$\mathrm{B}_{2}^{+}$$t_{2}t_{4}$$t_{3}t_{4}$$0$(b)$1_{\bullet}$$\rangle^{3}$4$2-$である. 一般に, 有限グラフ $G$ があったとき, その頂点集合の部分集合 $W$ が独立が $G$ の面で結ばれていない集合であるとは, $W$ に属する任意の異なる頂点 と$i$$j$ときに言う. 独立集合のなかで包含関係で極大なものを極大独立集合と呼ぶ. 有限グの正規化体積に–致では極大独立集合は 3 個あり, この個数は凸閉包ラフする. このことは偶然ではなく, $in_{<}(I_{A})$ が squarefree な二次単項式で生成されの $n+1$ 個の点るならば, 有限グラフ $G(in_{<}(IA))$ の極大独立集合の個数はの集合 { . .
an} の凸閉包の正規化体積に–致する. すると, $in_{<}(I_{A})$ がsquarefree な二次単項式で生成される状況では, GKZ-超幾何方程式系 $(*)$ の解空間の次元は有限グラフ $G(in_{<}(IA))$ の極大独立集合の数え上げに帰着する.のすべての正根から成る配置
ところで, [G-G-P] では A 型根系$(\#)$$(\rangle)$$\mathrm{R}^{d}$$0$$a_{1}$.

$a_{2l\prime}\ldots$$.$$\mathrm{A}_{n-1}$$\mathrm{A}_{n-1}^{+}=\{e_{i}-e_{j} ; 1 \leq i<j\leq n\}$を考察し, それに原点を添加した集合の田閉包の正規化体積がカタラン数$/n$番目の単位座標ベクトルである. (根系については [Hum] を参照されたい.) 彼らの仕事の本質は逆辞書式順序を適当に選ぶとが squarefree な二次単項式で生成されることを示したことである.に–致することを示した. 但し,$e_{i}$

は$\mathrm{R}^{n}$の$i$$in_{<}(I_{\mathrm{A}}+)n-1$(便宜上, 配置とそれに属する整数点を列べクトルとする行列は同じ記号で表すこと型) を考えるの型,型,にする. ) その仕事に刺激され, 他の根系 ( 型,は自然なことである. それらを列挙すると,$\mathrm{B}$$\mathrm{D}$$\mathrm{C}$$\mathrm{B}\mathrm{C}$$\mathrm{D}_{n}^{+}$$=$$\mathrm{A}_{n-1}^{+}\cup\{e_{i}+e_{j;}1\leq i<j\leq n\}$$\mathrm{B}_{n}^{+}$$=$$\mathrm{D}_{n}^{+}\cup\{e_{i} ; 1\leq i\leq n\}$$\mathrm{C}_{n}^{+}$$=$$\mathrm{D}_{n}^{+}\cup\{2e_{i} ; 1\leq i\leq n\}$$\mathrm{B}\mathrm{C}_{n}^{+}$.
$=$$\mathrm{B}_{n}^{+}\cup \mathrm{C}_{n}^{+}$;;;

61

である.

定理 ([Oh\rightarrow Hi]). 配置であるとする. このとき, 逆辞書式順序を適当に選ぶとのトーリックイデアルのイニシャルイデアルはsquarefree な二次単項式で生成される.
$\Psi$は$\mathrm{B}_{n}^{+},$$\mathrm{C}_{n}^{+},$$\mathrm{D}_{n}^{+}$

または$\mathrm{B}\mathrm{C}_{n}^{+}$$\Psi$$\blacksquare$

参考文献[G-G-P] I. M. Gel’fand, M. I. Graev and A. Postnikov, Combinatorics of hypergeometric functions associated with positive roots, $in$ “ArnoldGelfand Mathematics Seminars, Geometry and Singularity Theory” (V. I. Arnold, I. M. Gelfand, M. Smirnov and V. S. Retakh,Eds.), Birkh\"auser, Boston, 1997, pp. 205–221.
[G-K-Z] I. M. Gel’fand, M. M. Kapranov and A. V. Zelevinsky, Hypergeometric functions and toric varieties, Funct. Anal. and Its Appl. 23(1989), 12–26.

[H]

日比孝之, グレブナー基底と可換環, 数学のたのしみ,

pp. 49–60.
[Hum]

No. 11, 1999 年,

J. E. Humphreys, “Introduction to Lie Algebras and Representation Theory,” Second Printing, Revised, Springer-Verlag, Berlin,
Heidelberg, New York, 1972.

[Oh-Hi] H. Ohsugi and T. Hibi, Quadratic initial ideals of root systems,
submitted.