[논문 리뷰] Linear differential equations on $\mathbb{P}^{1}$ and root systems

Kazuki Hiroe|arXiv (Cornell University)|2010. 10. 13.

Advanced Algebra and Geometry참고 문헌 11인용 수 4

한 줄 요약

이 논문은 $ℚ^1$ 위의 비정칙 특이점을 가진 선형 미분연산자에 대한 오일러 변환과 카크-무디 루트 체계의 표현 이론 사이의 연결 고리를 설정한다. 형식적 해의 동일한 주요 항의 다중도를 세는 토큰으로서 스펙트럼 유형을 정의함으로써, 오일러 변환이 카크-무디 루트 라티스의 몫과 동형인 격자 자기동형사상으로 작용하며, 웨일 군이 변환군으로 작용함을 보여준다. 핵심 결과는 기약 연산자에 대해 스펙트럼 유형이 일반화된 루트 체계의 루트에 해당하며, 카츠 알고리즘을 비푸크시안 경우로 일반화한다는 것이다.

ABSTRACT

In this paper, we study the Euler transform on linear ordinary differential operators on $\mathbb{P}^{1}$. The spectral type is the tuple of integers which count the multiplicities of local formal solutions with the same leading terms. We compute the changes of spectral types under the action of the Euler transform and show that the changes of spectral types generate a transformation group of a $\mathbb{Z}$-lattice which is isomorphic to a quotient lattice of a Kac-Moody root lattice with the Weyl group as the transformation group.

연구 동기 및 목표

• 기약 특이점을 가진 선형 미분연산자에 대한 오일러 변환의 작용을 이해하는 것.
• 형식적 해의 동일한 주요 항을 가진 경우의 다중도를 세는 조합적 불변량으로서 스펙트럼 유형을 정의하고 분석하는 것.
• 오일러 변환에 의한 스펙트럼 유형의 변화가 카크-무디 루트 라티스의 몫과 동형인 $ℤ$-격자 자기동형사상 군을 생성함을 보이는 것.
• 스펙트럼 유형과 강성 지수를 통해 비푸크시안, 비정칙 특이점 경우에 대해 푸크시안 시스템의 카츠 알고리즘을 일반화하는 것.
• 스펙트럼 유형 격자에 일반화된 루트 체계 $\Delta^\Phi$를 정의하고, 기약 연산자가 이 체계의 루트에 대응함을 증명하는 것.

제안 방법

• 각 특이점에서 동일한 주요 항을 가진 형식적 해의 다중도를 세는 정수 튜플로 스펙트럼 유형을 정의한다.
• 오실라의 와이드 대수 $W(x)$ 위에서 오일러 변환의 대수적 정의를 사용하여 스펙트럼 유형에 대한 그 작용을 계산한다.
• 스펙트럼 유형에서 유도된 $ℤ$-격자 $L(P)$를 구성하고, 오일러 변환을 통해 작용하는 변환군 $\tilde{W}(P)$를 정의한다.
• $L(P)$가 카크-무디 루트 라티스 $Q(P)$의 몫과 동형이며, $\tilde{W}(P)$가 웨일 군으로 작용함을 보인다.
• 격자 $L(P)$ 위에 일반화된 루트 체계 $\Delta^\Phi$를 도입하며, 루트 사상 $\Phi$의 상을 통해 $\Phi$-루트, $\Phi$-실루트, $\Phi$-허수루트를 정의한다.
• 강성 지수 $\mathrm{idx\,}\mathbf{m}$를 사용하여 스펙트럼 유형을 분류한다: $\mathrm{idx\,}\mathbf{m} = 2$ 이면 $\mathbf{m} \in \Delta^\Phi_{\text{re}}$, 그 외의 경우 $\mathbf{m} \in \Delta^\Phi_{\text{im}}$.

실험 결과

연구 질문

• RQ1 기약 특이점을 가진 선형 미분연산자에 대한 오일러 변환이 $\mathbb{P}^1$ 위에서 스펙트럼 유형을 어떻게 변화시키는가?
• RQ2 스펙트럼 유형에 대한 오일러 변환에 의해 유도된 변환군이 격자 위에서 웨일 군 작용으로 실현될 수 있는가?
• RQ3 기약 미분연산자의 스펙트럼 유형 뒤에 일반화된 루트 체계가 존재하는가?
• RQ4 강성 지수 $\mathrm{idx\,}\mathbf{m} = 2$는 편향된 오일러 변환의 유한 반복을 통해 기약 연산자를 랭크 1 연산자로 감소시킬 수 있음을 특징짓는가? (푸크시안 경우와 동일하게)
• RQ5 기약 연산자의 스펙트럼 유형은 카크-무디 라티스에서 유도된 일반화된 루트 체계의 루트로 식별될 수 있는가?

주요 결과

• 오일러 변환은 스펙트럼 유형 격자 $L(P)$ 위에 $ℤ$-격자 자기동형사상 군을 유도하며, 이 군은 카크-무디 루트 라티스의 몫과 동형인 군 $\tilde{W}(P)$를 이룬다.
• 격자 $L(P)$는 카크-무디 루트 라티스 $Q(P)$의 몫과 동형이며, 웨일 군 $W(P)$가 변환군으로 작용한다.
• 기약 연산자에 대해 스펙트럼 유형 $\mathbf{m}$은 일반화된 루트 체계 $\Delta^\Phi$에 속하며, $\mathrm{idx\,}\mathbf{m} = 2$ 이면 $\mathbf{m} \in \Delta^\Phi_{\text{re}}$, 그 외의 경우 $\mathbf{m} \in \Delta^\Phi_{\text{im}}$이다.
• 강성 지수 $\mathrm{idx\,}\mathbf{m} = 2$는 기약 연산자를 유한 번의 편향된 오일러 변환 반복을 통해 랭크 1 연산자로 감소시킬 수 있는 가능성을 특징짓는다.
• 일반화된 루트 체계 $\Delta^\Phi$는 카크-무디 대수의 고전적 루트 체계를 확장하며, $\Phi$-루트는 근 사상 $\Phi$에 의한 근의 상으로 정의된다.
• 기약 연산자의 스펙트럼 유형 $\mathbf{m}$은 $\Phi$-루트이며, 그 강성 지수에 의해 이 체계에서 실루트인지 허수루트인지가 결정된다.