[論文レビュー] Linear ODEs, Wronskians and Schubert Calculus

Letterio Gatto, Inna Scherbak|arXiv (Cornell University)|Oct 12, 2013

Advanced Combinatorial Mathematics参考文献 13被引用数 3

ひとこと要約

本稿では、不確定係数をもつ線形ODEに対して、明示的な普遍基本解系を構成し、その解の一般化されたロンスキアンが、標準ロンスキアンへの作用を通じてシュール関数に対応することを示している。主な結果は、これらの一般化されたロンスキアンで生成される自由加群と無限グリーンマンニアンの特異ホモロジー環との間に自然な同型が存在することであり、線形ODE、ロンスキアン、シューベル計算が対称関数を通じて結びつけられている。

ABSTRACT

For a linear ODE with indeterminate coefficients, we explicitly exhibit a fundamental system of solutions, in terms of the coefficients. We show that the generalized Wronskians of the fundamental system are given by an action of the Schur functions on the usual Wronskian, and thence enjoy Pieri's and Giambelli's formulae. As an outcome, we obtain a natural isomorphism between the free module generated by the generalized Wronskians and the singular homology module of the Grassmannian.

研究の動機と目的

• 不確定係数をもつ線形ODEの明示的な普遍基本解系を構成すること。
• この解系からの一般化されたロンスキアンをシュール関数の形で表現すること。
• 一般化されたロンスキアンの自由加群とグリーンマンニアン $G(r, \mathbb{P}^\infty)$ の特異ホモロジー加群との間に自然な同型を確立すること。
• 一般化されたロンスキアンの積構造が、シュール関数の乗法則およびシューベル胞の交差則と同一であることを示すこと。

提案手法

• 不確定係数 $e_1, \dots, e_{r+1}$ をもつ普遍線形ODE $u^{(r+1)} - e_1 u^{(r)} + \cdots + (-1)^{r+1} e_{r+1} u = 0$ を定義する。
• 特性多項式の母関数の逆数を用いて、基本対称関数 $h_j$ の母関数を導入する。
• 解 $u_j(t) = \sum_{n \geq j} h_{n-j} \frac{t^n}{n!}$ を $0 \leq j \leq r$ に対して構成し、$u_0$ は母関数によって定義される解である。
• 分割によって添字づけられた一般化されたロンスキアンが、シュール関数が標準ロンスキアンに作用することによって得られることを示す。
• 一般化されたロンスキアンの積構造がシュール関数の乗法則と一致することを確立し、$H^*(G(r, \mathbb{P}^\infty))$ との同型を示す。
• 普遍性を用いて、任意の単首多項式 $P(D)v = 0$ を $\mathbb{Q}$-代数 $A$ 上で、$\mathbb{Q}$-代数準同型 $\psi: E_r \to A$ を通じて解を引き上げることを可能にする。

実験結果

リサーチクエスチョン

• RQ1 不確定係数をもつ線形ODEに対して、基本解系をどのように明示的に構成できるか？
• RQ2 このような解系から得られる一般化されたロンスキアンの代数的構造は何か？
• RQ3 一般化されたロンスキアンはシュール関数および対称関数論とどのように関係するか？
• RQ4 一般化されたロンスキアンの積構造はシュール関数の乗法則によって記述可能か？
• RQ5 一般化されたロンスキアンで生成される加群とグリーンマンニアンの特異ホモロジーの間に自然な同型が存在するか？

主な発見

• 普遍基本解系は、$u_j(t) = \sum_{n \geq j} h_{n-j} \frac{t^n}{n!}$ ($0 \leq j \leq r$) で明示的に与えられ、$h_j$ は母関数 $1 / (1 - e_1 t + e_2 t^2 - \cdots + (-1)^{r+1} e_{r+1} t^{r+1})$ から得られる係数である。
• 分割 $\lambda$ によって添字づけられた一般化されたロンスキアンは、係数 $e_1, \dots, e_{r+1}$ におけるシュール関数 $s_\lambda$ に等しく、標準ロンスキアンに作用する。
• 一般化されたロンスキアンの積はシュール関数の乗法則と同一であり、したがってグリーンマンニアンのコホモロジーにおける交差積に対応する。
• 一般化されたロンスキアンで生成される自由 $\mathbb{Z}[e_1, \dots, e_{r+1}]$-加群と特異ホモロジー加群 $H^*(G(r, \mathbb{P}^\infty))$ の間に自然な同型が存在する。
• 解系は普遍的性質を満たす：任意の次数 $r+1$ の単首多項式 $P(T) \in A[T]$ に対して、一意に定まる $\mathbb{Q}$-代数準同型 $\psi: E_r \to A$ が存在し、普遍解を $A[[t]]$ 内の $P(D)v = 0$ の解に引き上げる。
• 一般化されたロンスキアンは、シュール関数の構造から引き継がれるピエリの公式およびジアムベリの公式を満たす。