[論文レビュー] Space of linear differential operators on the real line as a module over the Lie algebra of vector fields

Hichem Gargoubi, Valentin Ovsienko|ArXiv.org|Feb 4, 1996

Advanced Topics in Algebra参考文献 5被引用数 5

ひとこと要約

本稿では、実直線上のk階線形微分作用素の空間をベクトル場のリー代数上の加群として研究し、テンソル密度の次数λでパラメータ化される1パラメータ族の加群構造を導入する。主な結果は、これらの加群間の同型写像の完全な分類である：k=3の場合、λ ≠ 0, 1, 1/2, または 1/2 ± √21/6 であるすべての構造は、一意な交換作用素を介して同型である。k ≥ 4の場合、同型が成立するのはλ + λ′ = 1である場合に限る。

ABSTRACT

Let ${\cal D}^k$ be the space of $k$-th order linear differential operators on ${\bf R}$: $A=a_k(x)\frac{d^k}{dx^k}+\cdots+a_0(x)$. We study a natural 1-parameter family of $\Diff(\bf R)$- (and $\Vect(\bf R)$)-modules on ${\cal D}^k$. (To define this family, one considers arguments of differential operators as tensor-densities of degree $λ$.) In this paper we solve the problem of isomorphism between $\Diff(\bf R)$-module structures on ${\cal D}^k$ corresponding to different values of $λ$. The result is as follows: for $k=3$ $\Diff(\bf R)$-module structures on ${\cal D}^3$ are isomorphic to each other for every values of $λ ot=0,\;1,\;{1\over 2},\;{1\over 2}\pm \frac{\sqrt 21}{6}$, in this case there exists a unique (up to a constant) intertwining operator $T:{\cal D}^3 o{\cal D}^3$. In the higher order case $(k\geq 4)$ $\Diff(\bf R)$-module structures on ${\cal D}^k$ corresponding to two different values of the degree: $λ$ and $λ^{\prime}$, are isomorphic if and only if $λ+λ^{\prime}=1$.

研究の動機と目的

• R上でのk階線形微分作用素の空間がベクトル場のリー代数上の加群として与える同型類を分類すること。
• 微分作用素上の加群構造がテンソル密度の次数λとして解釈されるパrameter λ にどのように依存するかを理解すること。
• D^k上の加群構造が同型となるλの値を特定すること、特に同型が成立しない例外的な値を同定すること。
• 指定された条件下で、これらの加群間の交換作用素の存在と一意性を確立すること。
• 微分同相写像およびベクトル場の作用が微分作用素に与える文脈における加群同型の問題を解決すること。

提案手法

• 著者たちは、微分作用素の係数を次数λのテンソル密度とみなすことにより、D^k上に1パラメータ族の加群構造を定義する。
• 彼らは微分同相写像群Diff(R)およびリー代数Vect(R)がテンソル密度に作用する自然な作用を用い、D^k上に加群構造を誘導する。
• 分類は、2つのこのような加群構造間の交換作用素の空間を分析することに依拠する。
• k=3の場合、著者たちは交換作用素の空間を計算し、加群が他のものと同型でない例外的なλの値を同定する。
• k ≥ 4の場合、同型の必要十分条件を導出し、λ + λ′ = 1となることである。
• 解析には、Vect(R)の表現論および加群同型の決定に用いるコhomological技法が含まれる。

実験結果

リサーチクエスチョン

• RQ1 λ がどの値をとるとき、D^k上の加群構造はλ′ をパrameterとするD^k上の加群構造と同型となるか？
• RQ2 2つのこのようなD^k上の加群構造間の交換作用素の空間の次元は何か？
• RQ3 k=3の場合、D^3上の加群構造が他のものと同型でない例外的なλの値は存在するか？もしあるならば、それらは何か？
• RQ4 k ≥ 4の場合、λ と λ′ の間に、対応する加群構造の同型を特徴付ける関数的関係は存在するか？
• RQ5 同型な加群間の交換作用素は、スカラー倍を除き一意的か？

主な発見

• k=3の場合、D^3上のすべての加群構造は、λ ∈ {0, 1, 1/2, 1/2 ± √21/6} でない限り同型である。
• k=3の場合、例外的集合に含まれないλに対しては、D^3 → D^3 への交換作用素Tがスカラー倍を除き一意に存在する。
• k ≥ 4の場合、λ と λ′ をパrameterとするD^k上の2つの加群構造は、λ + λ′ = 1 である場合に限り同型である。
• k=3の例外的値は、明示的にλ = 0, 1, 1/2, および 1/2 ± √21/6 として計算されている。
• 分類は、高階微分作用素の加群構造に深いつながりを示しており、双対性λ + λ′ = 1 によって支配されている。
• 結果は、微分作用素の空間がVect(R)上の豊かな加群構造族を有することを示しており、同型型はλに関する代数的条件によって決定される。