[論文レビュー] Quantum differential operators on K[x]

Uma N. Iyer, Timothy C. McCune|ArXiv.org|Oct 4, 2000

Algebraic structures and combinatorial models参考文献 4被引用数 6

ひとこと要約

本稿は、1変数多項式環 $ \Bbbk[x] $ 上の量子微分作用素環 $ D_q(\Bbbk[x]) $ を計算し、それが $ x $、標準的微分作用素 $ \partial $、および2つの $ q $-変形微分作用素 $ \partial^\beta $、$ \partial^{\beta^{-1}} $ によって生成されることを示している。これらの生成子は特定の $ q $-交換関係を満たす。主な結果として、この環は単純かつ多項式環 $ \tau = x\partial $ と $ \sigma = \sigma_1 $ における局域化と同型であり、量子群 $ U_q(sl_2) $ と深い関係を持つ。特に、逆極限の構成により、$ \widehat{U_q(sl_2)} $ から $ \mathbb{P}^1 $ 上のグローバルな $ q $-微分作用素環への上への写像が得られる。

ABSTRACT

Following the definition of quantum differential operators given by Lunts and Rosenberg in (Sel. math., New ser. 3 (1997) 335--359), we show that the ring of quantum differential operators on the affine line is the ring generated by x and \del, the familiar differential operators on the line, along with two additional operators which we call \del^β^1 and \del^β^-1. We describe this ring both as a subring of the ring of graded endomorphisms and as a ring given by generators and relations. From this starting point, we are able to describe the ring of quantum differential operators on affine n-space and to construct the ring of global quantum differential operators on the projective line.

研究の動機と目的

• 1変数多項式環 $ \Bbbk[x] $ 上の量子微分作用素環の構造を、$ \mathbb{Z} $ による $ \beta(n,m) = q^{nm} $ の双字跡付きで理解すること。ここで $ q $ は $ \mathbb{Q} $ 上超越的であり、$ \Bbbk \supseteq \mathbb{Q}(q) $ である。
• 環 $ D_q(\Bbbk[x]) $ を $ \Bbbk $-代数として $ x $、$ \partial $、$ \partial^\beta $、$ \partial^{\beta^{-1}} $ によって生成することを特徴づけ、その定義関係を特定すること。
• $ D_q(\Bbbk[x]) $ と量子群 $ U_q(sl_2) $ の関係を、特に $ \mathbb{P}^1 $ 上のグローバル微分作用素の文脈で調査し、$ \mathcal{A} = \mathbb{Q}[q,q^{-1}]_{(q-1)} $ を通じた逆極限をとった後、上への写像を確立すること。
• $ D_q(\Bbbk[x]) $ が単純環であり、整域であることを示し、古典的微分作用素環の結果を量子設定に拡張すること。
• $ n $ 変数多項式環に一般化し、積型双字跡付き $ \beta $ を用い、$ \Bbbk[x,x^{-1}] $ に拡張して $ \mathbb{P}^1 $ 上のグローバル作用素を定義すること。

提案手法

• 環 $ D_q(\Bbbk[x]) $ は、$ x $、標準的微分作用素 $ \partial $、および2つの $ q $-変形微分作用素 $ \partial^\beta $、$ \partial^{\beta^{-1}} $ によって生成される $ \Bbbk $-代数として構成される。作用は $ \partial^\beta(x^n) = [n]_q x^{n-1} $ で定義され、ここで $ [n]_q = 1 + q + \cdots + q^{n-1} $ である。
• 生成子間の関係は、$ q $-交換子を用いて導出される：$ \partial^{\beta^a} x - q^a x \partial^{\beta^a} = 1 $ および $ \partial^{\beta^a} $ と $ \partial^{\beta^b} $ は互いに可換である。
• $ (D_q)_0 $（次数0部）は、$ \sigma $ での局域化により $ \Bbbk[\tau, \sigma, \sigma^{-1}] $ に同型であることが示され、$ \tau = x\partial $、$ \sigma = \sigma_1 $ である。これにより $ D_q(\Bbbk[x]) $ が整域であることが証明される。
• $ n $ 変数への一般化では、積型双字跡付き $ \beta((a_1,\dots,a_n),(b_1,\dots,b_n)) = \prod_{i=1}^n q_i^{a_i b_i} $ を用い、環 $ D_q(\Bbbk[x_1,\dots,x_n]) $ は各 $ i $ に対して $ x_i $、$ \partial_i $、$ \partial_i^{\beta^{-1}} $、$ \partial_i^{\beta} $ によって生成される。
• $ \mathbb{P}^1 $ 上のグローバルな $ q $-微分作用素は、$ D_q(\Bbbk[x]) \oplus D_q(\Bbbk[x^{-1}]) \to D_q(\Bbbk[x,x^{-1}]) $ の差分写像の核として定義され、$ \Gamma_q(\mathbb{P}^1) $ と表記される。その逆極限 $ \hat{\Gamma} $ は $ \mathcal{A} = \mathbb{Q}[q,q^{-1}]_{(q-1)} $ を通じて構成される。
• $ U_q(sl_2) \to \Gamma_q(\mathbb{P}^1) $ なるホモロジー写像 $ \eta $ を定義し、$ \mathcal{A} $ への基底変換と逆極限をとった後、$ \hat{\eta}: \widehat{U_q(sl_2)} \to \hat{\Gamma} $ が、$ q-1 $ の冪零性に関する帰納法により上への写像であることが証明される。

実験結果

リサーチクエスチョン

• RQ1 1変数多項式環上での量子微分作用素環 $ D_q(\Bbbk[x]) $ の構造は何か。ここで、$ \mathbb{Z} $ による双字跡付き $ \beta(n,m) = q^{nm} $ が与えられている。
• RQ2 $ \partial^\beta $、$ \partial^{\beta^{-1}} $、$ \partial $ の生成子は $ q $-交換関係によってどのように関係づけられるか。また、$ D_q(\Bbbk[x]) $ の生成子と関係式による表示は何か。
• RQ3 $ D_q(\Bbbk[x]) $ は単純環であり、整域であるか。これは、特徴0の古典的微分作用素環と比べてどう異なるか。
• RQ4 $ U_q(sl_2) $ と $ \mathbb{P}^1 $ 上のグローバルな $ q $-微分作用素の関係は何か。$ \mathcal{A} = \mathbb{Q}[q,q^{-1}]_{(q-1)} $ を通じた逆極限をとった後、上への写像が存在するか。
• RQ5 $ D_q(\Bbbk[x]) $ の構成は、積型双字跡付きを用いた $ n $ 変数多項式環へ一般化可能か。

主な発見

• 環 $ D_q(\Bbbk[x]) $ は、$ x $、$ \partial $、$ \partial^\beta $、$ \partial^{\beta^{-1}} $ によって $ \Bbbk $ 上生成され、関係式 $ \partial^{\beta^a}x - q^a x \partial^{\beta^a} = 1 $、$ \partial^{\beta^a} \partial^{\beta^b} = \partial^{\beta^b} \partial^{\beta^a} $、および $ \partial^{\beta^{-1}} - q \partial^\beta = (1-q) \partial^{\beta^{-1}} x \partial^\beta $ を満たす。
• 各 $ D_q(\Bbbk[x]) $ は、特徴0の古典的微分作用素環に類似した単純環であり、$ \tau = x\partial $、$ \sigma = \sigma_1 $ とすると $ (D_q)_0 \cong \Bbbk[\tau, \sigma, \sigma^{-1}] $ である同型により整域であることが示された。
• $ D_q(\Bbbk[x]) $ は、$ \Bbbk[\tau, \sigma] $ を $ \sigma $ で局域化した環と同型であり、これにより整域であり、次数0部の明確な記述が得られる。
• $ n $ 変数への一般化により、$ D_q(\Bbbk[x_1,\dots,x_n]) $ は、各 $ i $ に対して $ x_i $、$ \partial_i $、$ \partial_i^{\beta^{-1}} $、$ \partial_i^{\beta} $ によって生成される $ \Bbbk $-代数となり、積型双字跡付きを用いて1変数の場合の関係が拡張される。
• $ \mathbb{P}^1 $ 上のグローバルな $ q $-微分作用素の逆極限 $ \hat{\Gamma} $ は、$ \mathcal{A} = \mathbb{Q}[q,q^{-1}]_{(q-1)} $ を通じて構成され、写像 $ \hat{\eta}: \widehat{U_q(sl_2)} \to \hat{\Gamma} $ は上への写像である。これは、元の設定では上への写像が成立しなかったという問題を解消する。
• $ \mathcal{A} $ 上では、逆極限の構成により $ \hat{\eta} $ が上への写像であることが保証される。これは、$ q-1 $ の冪零性と、$ (q-1)^n $ での解を高次のレベルに持ち上げる帰納法により示される。