[論文レビュー] On the Cayley degree of an algebraic group

Nicole Lemire, Vladimir L. Popov+1 more|arXiv (Cornell University)|Aug 18, 2006

Algebraic Geometry and Number Theory参考文献 2被引用数 3

ひとこと要約

本稿では、連結な線型代数的群がカイリーでない度合いを測る指標として、古典的なカイリーマップを一般化するカイリーディグリーを導入する。特殊線型群 $\mathrm{SL}_n$ および例外型群 $\mathrm{G}_2$ のカイリーディグリーに対する上界を、有理型幾何学と maximal torus およびリー代数上のワイル群作用を用いて確立し、$\mathrm{Cay}(\mathrm{SL}_n) \leq n-2$ および $\mathrm{Cay}(\mathrm{G}_2) = 2$ を証明する。

ABSTRACT

A connected linear algebraic group G is called a Cayley group if the Lie algebra of G endowed with the adjoint G-action and the group variety of G endowed with the conjugation G-action are birationally G-isomorphic. In particular, the classical Cayley map, X \mapsto (I_n-X)/(I_n+X), between the special orthogonal group SO_n and its Lie algebra so_n, shows that SO_n is a Cayley group. In an earlier paper (see math.AG/0409004) we classified the simple Cayley groups defined over an algebraically closed field of characteristic zero. Here we consider a new numerical invariant of G, the Cayley degree, which "measures" how far G is from being Cayley, and prove upper bounds on Cayley degrees of some groups.

研究の動機と目的

• 線型代数的群がカイリーでない度合いを測る数値不変量としてカイリーディグリーを定義・研究すること。
• 既知の1次元の場合を越えて、カイリー群の分類をより高い次数へ拡張すること。
• 有理-equivariant 写像を用いて、特に $\mathrm{SL}_n$ および $\mathrm{G}_2$ の再帰的群に対してカイリーディグリーの上界を確立すること。
• 最大トーラスの函数体上のワイル群作用を通じて、カイリーディグリーと表現論を結びつけること。

提案手法

• 古典的カイリーマップを一般化し、$G$ からそのリー代数 $\mathfrak{g}$ への $G$-等変で支配的な有理写像の最小次数としてカイリーディグリー $\mathrm{Cay}(G)$ を定義する。
• 最大トーラス $T$ と $\mathbb{A}^n$ 内の超曲面 $X$ 間の有理同型 $\psi$ を用い、その後 $\mathfrak{t}$ への射影を合成することで一般化カイリーマップを構成する。
• ワイル群 $W = N_G(T)/T$ を用いて問題を $k(T)$ 上の有限群作用に還元し、次数に対する代数的制御を可能にする。
• 対称関数や $T$ 上の有理関数（例：$z_i = t_i - t_i^{-1}$）を用いて、$k(M) \subset k(T)$ のような次数が制御可能な部分体を生成する。
• 写像の次数は $\deg \varphi = [k(G):\varphi^*(k(\mathfrak{g}))]$ であることを利用し、$[k(T):k(M)]$ の体拡張次数を用いて一般化カイリーマップの次数を上から制御する。
• $\mathfrak{t}^*$ と $k(T)$ の部分モジュール $M$ 間の同型を用いて、写像の次数を代数的トランスセンドン次数および体拡張と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 再帰的群 $G$ からそのリー代数への $G$-等変有理写像の最小次数は何か？ また、異なる群ではどのように変化するか？
• RQ2 $\mathrm{SL}_n$ や $\mathrm{G}_2$ のようなカイリーでない群に対して、カイリーディグリーはどのように計算または上界を付けることができるか？
• RQ3 最大トーラスの函数体上でのワイル群作用は、一般化カイリーマップの構成・解析にどの程度活用できるか？
• RQ4 $k(T)$ 内の $W$-モジュールを用いた表現論的技法は、カイリーディグリーに対する有効な上界をもたらすか？
• RQ5 $\mathrm{G}_2$ はカイリーでないにもかかわらずカイリーディグリーが 2 である理由は何か？ また、これはその安定カイリー性とどのように関係するか？

主な発見

• $\mathrm{SL}_n$ のカイリーディグリーは高々 $n-2$ であり、$n=4$ のとき等号が成立する。これより $\mathrm{Cay}(\mathrm{SL}_4) = 2$ が得られる。
• 例外型群 $\mathrm{G}_2$ のカイリーディグリーは正確に 2 であり、カイリーでないにもかかわらずカイリーに非常に近いことを示している。
• $n=3$ の場合、本稿での新しい証明により $\mathrm{Cay}(\mathrm{SL}_3) = 1$ がより単純に導かれる。これにより $\mathrm{SL}_3$ がカイリーであることが確認される。
• 一般化カイリーマップの構成は、最大トーラスから超曲面への有理写像と、その後のリー代数への線形射影に依存する。
• 写像の次数は、$\mathfrak{t}^*$ と同型な $W$-不変部分モジュール $M \subset k(T)$ に対する体拡張次数 $[k(T):k(M)]$ によって制御される。
• $k(T)$ 内の $W$-モジュールを用いた表現論的アプローチにより、$\mathrm{Cay}(\mathrm{G}_2)$ の上界は 6 が得られるが、実際の鋭い上界は 2 である。