[论文解读] 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-代数中引入马纽厄夫子空间的概念，其定义为：若对所有 m ≥ 1 有 a^m ∈ M，则对充分大的 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 张成的子空间即为反例。
• 本文提供了一个统一框架，通过结合代数中马纽厄夫子空间的新概念，将像猜想、马纽厄夫猜想及其变体统一起来。