[논문 리뷰] Linear ODEs, Wronskians and Schubert Calculus

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

Advanced Combinatorial Mathematics참고 문헌 13인용 수 3

한 줄 요약

이 논문은 미지수 계수를 가진 선형 상미분방정식에 대해 명시적인 보편 기본 해의 체계를 구성하며, 이 해들의 일반화된 와이어스키안이 표준 와이어스키안에 대한 작용을 통해 슈어 함수와 대응됨을 보여준다. 핵심 결과는 이러한 일반화된 와이어스키안으로 생성되는 자유 모듈과 무한 그라스만만의 특이 호모로지 환 사이의 자연스러운 동형사상이 존재한다는 것이다. 이는 대칭 함수를 통해 선형 상미분방정식, 와이어스키안, 그리고 슈버트 계산을 연결한다.

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.

연구 동기 및 목표

• 미지수 계수를 가진 선형 상미분방정식에 대해 명시적인 보편 기본 해의 체계를 구성하는 것.
• 이 체계의 일반화된 와이어스키안을 슈어 함수의 형태로 표현하는 것.
• 일반화된 와이어스키안으로 생성되는 자유 모듈과 그라스만만 $G(r, \mathbb{P}^\infty)$의 특이 호모로지 모듈 사이의 자연스러운 동형사상을 확립하는 것.
• 일반화된 와이어스키안의 곱 구조가 슈어 함수의 곱셈 규칙과 동일한 규칙을 따름을 보여주는 것. 이는 슈버트 세포의 교차 구조와도 관련된다.

제안 방법

• 미지수 계수 $e_1, \dots, e_{r+1}$를 가진 보편 선형 상미분방정식 $u^{(r+1)} - e_1 u^{(r)} + \cdots + (-1)^{r+1} e_{r+1} u = 0$을 정의한다.
• 특성 다항식 생성함수의 역을 통해 원소의 합 $h_j$에 대한 생성함수를 도입한다.
• 모든 $0 \leq j \leq r$에 대해 $u_j(t) = \sum_{n \geq j} h_{n-j} \frac{t^n}{n!}$로 주어지는 보편 기본 해 체계를 구성한다. 여기서 $u_0$는 생성함수에 의해 정의되는 해이다.
• 분할에 따라 인덱싱된 일반화된 와이어스키안은 표준 와이어스키안에 슈어 함수 작용을 통해 얻어진다.
• 일반화된 와이어스키안의 곱 구조가 슈어 함수의 곱셈 규칙과 일치함을 보이며, 이는 $H^*(G(r, \mathbb{P}^\infty))$와의 동형사상으로 이어진다.
• 보편 성질을 이용하여, 임의의 $\mathbb{Q}$-대수 $A$ 위에서 모닉 다항식 $P(D)v = 0$의 해를 $\mathbb{Q}$-대수 준동형사상 $\psi: E_r \to A$를 통해 끌어올리는 방법을 제시한다.

실험 결과

연구 질문

• RQ1 미지수 계수를 가진 선형 상미분방정식에 대해 기본 해의 체계를 어떻게 명시적으로 구성할 수 있는가?
• 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$에 따라 인덱싱된 일반화된 와이어스키안은 표준 와이어스키안에 작용하는 슈어 함수 $s_\lambda$의 값과 같다. 이는 계수 $e_1, \dots, e_{r+1}$에서 평가된다.
• 일반화된 와이어스키안의 곱은 슈어 함수의 곱셈 규칙과 동일하며, 따라서 그라스만만의 코homology에서의 교차 곱과 대응된다.
• 일반화된 와이어스키안으로 생성되는 자유 $\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$의 해로 끌어올릴 수 있다.
• 일반화된 와이어스키안은 슈어 함수의 구조에서 유래된 피에리의 공식과 지아멜리의 공식을 만족한다.