[論文レビュー] Generalizations of the Image Conjecture and the Mathieu Conjecture

Wenhua Zhao|arXiv (Cornell University)|Feb 2, 2009

Advanced Differential Equations and Dynamical Systems参考文献 23被引用数 8

ひとこと要約

本稿では、古典的直交多項式に関連する可換微分作用素に対する一般化された画像予想と、ℝⁿ の開部分集合における正測度付き多項式の積分に関する予想の両者を統一する枠組みとして、結合代数におけるマチュー部分空間の概念を導入する。この研究では、可換微分作用素に関する一般化された画像予想と、ℝⁿ の開部分集合における正測度付き多項式の積分に関する予想との間で同値性を確立し、デュイステルマットとヴァン・デル・カラーンのラテン多項式に関する定理を多項式設定へと拡張する。

ABSTRACT

We first propose a generalization of the image conjecture [Z3] for the commuting differential operators related with classical orthogonal polynomials. We then show that the non-trivial case of this generalized image conjecture is equivalent to a variation of the Mathieu conjecture [Ma] from integrals of $G$-finite functions over reductive Lie groups $G$ to integrals of polynomials over open subsets of $\mathbb R^n$ with any positive measures. Via this equivalence, the generalized image conjecture can also be viewed as a natural variation of Duistermaat and van der Kallen's theorem [DK] on Laurent polynomials with no constant terms. To put all the conjectures above in a common setting, we introduce what we call the Mathieu subspaces of associative algebras. We also discuss some examples of Mathieu subspaces from other sources and derive some general results on this newly-introduced notion.

研究の動機と目的

• 可換微分作用素（古典的直交多項式に関連）に対する画像予想 [Z3] を多項式代数から一般化すること。
• 一般化された画像予想と、ℝⁿ の開部分集合における正測度付き多項式の積分に関する予想との間の関係を確立すること。
• この新たな予想がマチュー予想およびデュイステルマット–ヴァン・デル・カラーンのラテン多項式に関する定理の自然な拡張であることを示すこと。
• 結合代数におけるマチュー部分空間の一般概念を導入し、これらの予想を統合する枠組みとすること。
• マチュー部分空間の例を提示し、一般的な構造的性質（イデアルでなく、閉じていないものも含む）を導出すること。

提案手法

• 古典的直交多項式に関連する定数係数の一階可換微分作用素に対して、一般化された画像予想（予想3.1）を提示する。
• 可換 R-代数におけるマチュー部分空間の概念を導入し、a^m ∈ M がすべての m ≥ 1 に対して成り立つならば、十分大きな m に対して a^m b ∈ M となるという性質によって定義する。
• 一般化された画像予想と、任意の正測度についての開部分集合 B ⊂ ℝⁿ における多項式の積分の消滅に関する予想（予想3.2）との同値性を確立する。
• 再結合代数の文脈で、G-有限関数に関するマチュー予想およびデュイステルマット–ヴァン・デル・カラーンのラテン多項式に関する定理をマチュー部分空間の観点から再定式化する。
• 直交多項式の構造とその微分作用素を用いて、ラテン多項式代数などの非多項式代数に対しても一般化された画像予想を定義する。
• イデアルでなく、積に関して閉じていないマチュー部分空間の例を提示し、マチュー部分空間の和が一般にはマチュー部分空間でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 可換微分作用素（古典的直交多項式に関連）に関する一般化された画像予想は、ℝⁿ の開部分集合における正測度付き多項式の積分に関する予想と同値であるか？
• RQ2 再結合的リー群上の G-有限関数に関するマチュー予想は、自然に ℝⁿ の開部分集合における多項式関数へと拡張可能か？
• RQ3 結合代数におけるマチュー部分空間の構造的性質は何か？また、イデアルとはどのように異なるか？
• RQ4 微分作用素および測度に特定の条件下で、一般化された画像予想と積分予想との同値性は成立するか？
• RQ5 積に関して閉じていない、またはイデアルでない自然なマチュー部分空間の例は存在するか？

主な発見

• 可換微分作用素（古典的直交多項式に関連）に関する一般化された画像予想（予想3.1）は、任意の正測度についての開部分集合 B ⊂ ℝⁿ における多項式の積分の消滅に関する予想（予想3.2）と同値である。
• 一般化された画像予想は、定数項のないラテン多項式に関するデュイステルマットとヴァン・デル・カラーンの定理を ℝⁿ の開部分集合における多項式関数へ自然に拡張したものと見なせる。
• 再結合的リー群上の G-有限関数に関するマチュー予想は、積分がゼロである関数の部分空間がマチュー部分空間であるという主張と同値である。
• マチュー部分空間の概念はイデアルを一般化するものであり、反例によって、すべてのマチュー部分空間が積に関して閉じているとは限らず、イデアルであるとは限らないことが示された。
• 二つのマチュー部分空間の和は一般にはマチュー部分空間でない。例として、ℂ[z] において 1+z と 1−z で張られる部分空間の和を示す。
• 本稿では、マチュー部分空間の新概念を用いて、画像予想、マチュー予想、およびそれらの変種を統合する一般的な枠組みを提供する。