[논문 리뷰] Generalized KP Hierarchy for Several Variables

Francisco J. Plaza Martín|arXiv (Cornell University)|2000. 08. 01.

Polynomial and algebraic computation참고 문헌 10인용 수 3

한 줄 요약

이 논문은 사토의 그라스만이안 프레임워크를 사용하여 KP 계열을 다변수로 일반화하며, 파동 함수와 무한차원 그라스만이안의 점 사이에 1:1 대응을 수립한다. 또한 대수기하학적 자료로부터 유한 갭 대수적 해를 구성하는 방법을 제안하며, 고차원으로의 크리체버 사상 일반화를 수행한다.

ABSTRACT

Following the techniques of M. Sato (see \cite{Sa}), a generalization of the KP hierarchy for more than one variable is proposed. An approach to the classification of solutions and a method to construct algebraic solutions is also offered.

연구 동기 및 목표

• 클래식한 KP 계열을 사토의 접근법을 사용하여 다변수로 확장하기.
• 해의 분류와 대수적 해의 구성 방식을 하나의 프레임워크 안에서 통합하기.
• 고차원 대수적 다양체를 위한 크리체버 사상의 일반화하기.
• 다변수 설정에서 유한 갭 해를 체계적으로 생성하는 방법 제공하기.
• N차원 스킴에서의 딜로르, 국소 환과 같은 대수기하학적 자료와의 연결 탐색하기.

제안 방법

• 계수 체로 반복 라우렌트 급수 환을 사용하는 N변수에서의 가역미분 연산자 사용.
• KP(N) 계열을 상호작용하는 연산자 $ L_i $ 와 그 양의 부분을 포함하는 라크 시스템으로 정의.
• 파동 함수 $ \omega_U(t,x) $ 를 시간 변수 $ t_\alpha $ 와 공간 변수 $ x $ 에 대한 형식적 진동 함수로 정의.
• 파동 함수와 무한 그라스만이안 $ \mathrm{Gr}(V) $ 의 점 사이에 1:1 대응을 수립하며, 사토의 분류를 일반화.
• 대수기하학적 자료: 정칙 N차원 스킴 $ X $, 점 $ p $, 국소 좌표 $ \alpha $, 순서된 위르 딜로르 $ \{Y_1, \dots, Y_N\} $ 로부터 크리체버 유형 사상을 통한 해 구성.
• 비음성 값성을 갖는 절단의 부분공간으로서 해 공간 $ A_{\mathfrak{X}} $ 를 정의하며, 이가 $ \mathrm{Gr}(V) $ 에 속하고 유한 갭 해를 유도함을 보임.

실험 결과

연구 질문

• RQ1 Sato-그라스만이안의 구조를 유지하면서 KP 계열을 N변수로 일반화할 수 있는가?
• RQ2 다변수 경우에서 파동 함수와 그라스만이안의 점 사이의 정확한 대응 관계는 무엇인가?
• RQ3 대수기하학적 자료로부터 KP(N) 계열의 유한 갭 해를 체계적으로 구성할 수 있는가?
• RQ4 이 프레임워크에서 크리체버 사상은 고차원 다양체로 어떻게 일반화되는가?
• RQ5 N > 1 인 경우 그라스만이안에 작용하는 군의 대칭성과 중심 확장은 무엇인가?

주요 결과

• KP(N) 계열은 상호작용하는 연산자 $ L_i $ 와 그 양의 부분을 포함하는 라크 시스템으로 서술되며, 호환 조건이 포함된다.
• 파동 함수와 무한 그라스만이안 $ \mathrm{Gr}(V) $ 의 점 사이에 1:1 대응이 존재하며, 사토의 분류를 일반화한다.
• 파동 함수 $ \omega_U(t,x) $ 는 미분방정식계의 호환 조건으로서 계열을 만족한다.
• 유한 갭 해는 대수기하학적 자료 $ \mathfrak{X} = (X,p,\alpha,\{Y_1,\dots,Y_N\}) $ 로부터 구성되며, $ A_{\mathfrak{X}} $ 는 음이 아닌 값성을 갖는 절단의 부분공간이다.
• 해 공간 $ A_{\mathfrak{X}} $ 는 $ \mathrm{Gr}(V) $ 에 속하며, 그 파동 함수는 KP(N) 계열의 유한 갭 해이다.
• 지역환 $ \widehat{\mathcal{O}}_{X,p} \simeq \mathbb{C}[[x_1,\dots,x_N]] $ 의 자동사상의 리 대수는 $ N > 1 $ 인 경우 비자명한 중심 확장을 갖지 않으며, $ N=1 $ 인 경우와 다름을 보인다.