[논문 리뷰] Simple Lie algebras and topological ODEs

Marco Bertola, Boris Dubrovin외 1명|arXiv (Cornell University)|2015. 08. 15.

Algebraic Geometry and Number Theory참고 문헌 30인용 수 3

한 줄 요약

이 논문은 임의의 단순 리 대수 𝔤에 대해 다항계수를 가진 선형 상미분방정식계—즉, 위상수학적 ODE라 불리는 것—을 제안한다. 이 방정식의 무한대에서의 정칙 해들은 𝔤의 랭크와 같은 차원을 가진 벡터 공간을 이룬다. 저자들은 이 해공간의 기저로 일반화된 에어리 해를 구성하였으며, 이는 𝔰𝔩₂의 경우에 알려진 에어리 함수와의 연결을 모든 단순 리 대수로 확장한 것이다. 이를 통해 안정 곡선의 모듈리 공간에 대한 위튼–콘체비치 및 팬–자르비스–뤄 인버리언트를 계산한다.

ABSTRACT

For a simple Lie algebra $\mathfrak g$ we define a system of linear ODEs with polynomial coefficients, which we call the topological equation of $\mathfrak g$-type. The dimension of the space of solutions regular at infinity is equal to the rank of the Lie algebra. For the simplest example $\mathfrak g=sl_2(\mathbb C)$ the regular solution can be expressed via products of Airy functions and their derivatives; this matrix valued function was used in our previous work for computing logarithmic derivatives of the Witten - Kontsevich tau-function. For an arbitrary simple Lie algebra we construct a basis in the space of regular solutions to the topological equation called generalized Airy resolvents. We also outline applications of the generalized Airy resolvents to computing the Witten and Fan - Jarvis - Ruan invariants of the Deligne - Mumford moduli spaces of stable algebraic curves.

연구 동기 및 목표

• 임의의 단순 리 대수 𝔤에 대해 다항계수를 가진 선형 상미분방정식계—즉, 위상수학적 ODE라 불리는 것—을 정의한다.
• 무한대에서 정칙인 해들의 공간을 특성화하여, 그 차원이 𝔤의 랭크와 일치함을 보인다.
• 리 대수의 구조와 그 웨일 생성자들을 이용하여, 이 공간의 해를 이루는 기저—일반화된 에어리 해—를 구성한다.
• 일반화된 에어리 해를 사용하여 안정 곡선의 델리–무덤 모듈리 공간에서의 교차수를 계산한다.
• 모든 단순 리 대수로까지 알려진 𝔰𝔩₂의 경우에서의 에어리 함수 연결을 통일된 프레임워크를 통해 일반화한다.

제안 방법

• I₊는 주요 니플로텐트이고 E₋ᵣₕₑₜₐ는 최저 루트 벡터인, 리 대수 𝔤 내의 순환 원소 Λ = I₊ + λE₋ᵣₕₑₜₐ를 정의한다.
• M이 λ에 대한 𝔤값 함수일 때, 위상수학적 ODE를 M′ = [M, Λ]로 제시한다.
• 해의 무한대에서의 점근적 행동을 연구하며, 다항식적으로만 증가하는 해—즉, 정칙 해—에 초점을 맞춘다.
• 루트 체계와 카르탕–킬링 형식을 이용하여, 정칙 해 공간의 기저로 일반화된 에어리 해를 구성한다.
• 라플라스–보렐 변환과 경로 적분 표현(페어시 타입 적분)을 사용하여, 고전적 및 예외적 리 대수에 대해 해를 표현한다.
• 해의 구성 요소에 대한 라플라스–보렐 변환의 미분방정식을 유도하여, E₆와 같은 예외적 경우에서는 초함수 유형의 상미분방정식을 이끌어낸다.

실험 결과

연구 질문

• RQ1 주어진 단순 리 대수 𝔤에 대해 위상수학적 ODE의 해공간의 구조는 어떠한가?
• RQ2 어떤 단순 리 대수에 대해서든, 무한대에서 정칙 해(일반화된 에어리 해)의 기저를 어떻게 명시적으로 구성할 수 있는가?
• RQ3 일반화된 에어리 해는 안정 곡선의 모듈리 공간에서의 교차수 계산에 어느 정도 활용될 수 있는가?
• RQ4 위상수학적 ODE는 알려진 𝔰𝔩₂의 경우에서의 에어리 함수 연결을 고차원 리 대수로 어떻게 일반화하는가?
• RQ5 순환 원소 Λ = I₊ + λE₋ᵣₕₑₜₐ는 해의 대수적 및 점근적 구조를 어떻게 코딩하는가?

주요 결과

• 𝔤 유형의 위상수학적 ODE의 정칙 해 공간의 차원은 𝔤의 랭크와 같다.
• 𝔰𝔩₂(ℂ)의 경우, 정칙 해는 에어리 함수와 그 도함수의 곱으로 표현 가능하며, 이는 위튼–콘체비치 타우함수 도함수 계산에 사용된 알려진 구성과 일치한다.
• 임의의 단순 리 대수에 대해 위상수학적 ODE의 해공간의 기저로 일반화된 에어리 해를 구성하였다.
• 고전적 리 대수(Aₙ, Bₙ, Cₙ, Dₙ)의 경우, 해는 지수부에 x^{4n-2} 또는 x^{4n+2}를 포함하는 페르시 타입 적분으로 표현된다.
• E₆의 경우, 해의 구성 요소는 초함수 ₀F₁를 포함하는 두 번째 차수 상미분방정식계를 만족하며, 베셀 유형 함수로 명시적인 해가 존재한다.
• 일반화된 에어리 해의 점근 전개는 적분 표현에 대해 안장점 방법을 적용하여 도출할 수 있으며, 이는 교차수 계산을 가능하게 한다.