[논문 리뷰] Geometry and analytic theory of Frobenius manifolds

Boris Dubrovin|ArXiv.org|1998. 07. 08.

Advanced Algebra and Geometry참고 문헌 16인용 수 119

한 줄 요약

이 논문은 WDVV 결합 방정식의 좌표 불변 공식으로서 프로베누스 다양체의 기하학적 및 해석적 기초를 수립한다. 이를 통해 프로베누스 다양체가 그로모프-윈터 이론, 특이점 이론, 그리고 통합계 시스템이라는 다양한 수학 분야를 통합함을 보여주며, 변형된 평탄한 접속과 잠재 함수가 WDVV 방정식의 해와 통합계 계열의 타우 함수를 포함함을 입증한다.

ABSTRACT

Main mathematical applications of Frobenius manifolds are in the theory of Gromov - Witten invariants, in singularity theory, in differential geometry of the orbit spaces of reflection groups and of their extensions, in the hamiltonian theory of integrable hierarchies. The theory of Frobenius manifolds establishes remarkable relationships between these, sometimes rather distant, mathematical theories.

연구 동기 및 목표

• 프로베누스 다양체를 WDVV 결합 방정식의 좌표 불변 공식으로서 기하학적 및 해석적 프레임워크로 제공하는 것.
• 프로베누스 다양체와 편미분방정식의 통합계계열, 특히 KdV 및 위스담 유형의 계열 간의 연결을 수립하는 것.
• 프로베누스 다양체의 전적으로 종수 0의 분할 함수가 통합계 계열의 타우 함수임을 보여주는 것.
• G-함수와 행렬 계수를 도입하여 종수 1 보정을 포함한 고차 종수 이론으로 이론을 확장하는 것.
• 변형된 평탄한 접속과 진동 적분이 변형된 평탄한 좌표를 도출함으로써 잠재 함수의 기하학적 구성이 가능함을 보여주는 것.

제안 방법

• 프로베누스 다양체를 평탄한 계량, 단위를 가진 교환법칙과 결합법칙을 만족하는 접선공간 위의 곱 연산, 그리고 특정 호환 조건을 만족하는 오일러 벡터장이 있는 다양체로 정의한다.
• WDVV 방정식을 사용하여 잠재 함수 $ F(t) $ 를 특성화하며, $ F $ 의 세 번째 도함수는 각 점에서 프로베누스 대수의 구조 상수를 정의한다.
• 메로모르픽 확장을 포함한 오일러 벡터장과 연산자 $ \mu $ 를 사용하여 $ \tilde{\nabla}_u v = \nabla_u v + z\,u\cdot v $ 로 정의된 변형된 평탄한 접속 $ \tilde{\nabla} $ 를 도입한다.
• 변형된 평탄한 좌표 $ \tilde{t}_\alpha(t;z) $ 는 $ \tilde{\nabla} d\tilde{t}_\alpha = 0 $ 의 해로 유도되며, 특이점 이론에서의 진동 적분 $ \tilde{t}_c = \frac{1}{\sqrt{z}} \int_c e^{z f_s(x)} dx $ 로 표현된다.
• G-함수와 행렬 $ M_{\alpha\beta}(t,\dot{t}) = \partial_\alpha \partial_\beta \partial_\gamma F(t) \dot{t}^\gamma $ 를 사용하여 종수 $ g=1 $ 보정을 유도하며, 여기서 $ \dot{t} = \partial_{T^{1,0}} t(T) $ 이다.
• 루프 공간 $ \mathcal{L}(M) $ 에서 이형량자 통합계계열을 구성하며, 포아송 괄호 $ \{\cdot,\cdot\}_1 $ 과 $ \{\cdot,\cdot\}_2 $ 가 평탄한 펜슬을 이룬다. 또한 전체 분할 함수가 대칭 제약 조건 하에서 통합계 계열의 해의 타우 함수임을 보여준다.

실험 결과

연구 질문

• RQ1 WDVV 결합 방정식은 어떻게 좌표 불변 기하학적 방식으로 공식화될 수 있는가?
• RQ2 변형된 평탄한 접속과 그 평탄한 섹션(변형된 평탄한 좌표)은 프로베누스 다양체의 구조에서 어떤 역할을 하는가?
• RQ3 프로베누스 다양체는 KdV 및 위스담 유형의 편미분방정식 계열의 통합계계열의 매개변수 공간으로서 어떻게 작용하는가?
• RQ4 G-함수와 곡률 자료를 기반으로 한 종수 $ g=1 $ 보정의 기하학적 및 해석적 구조는 무엇인가?
• RQ5 바라소로 대칭대수는 프로베누스 다양체의 분할 함수와 단일화 데이터의 맥락에서 어떻게 도출되는가?

주요 결과

• WDVV 방정식은 프로베누스 다양체의 구조 존재와 동치이며, 잠재 함수 $ F(t) $ 는 $ \partial_\alpha \partial_\beta \partial_\gamma F = \langle \partial_\alpha \cdot \partial_\beta, \partial_\gamma \rangle $ 를 통해 $ c_{\alpha\beta}^\gamma $ 의 구조 상수를 포함한다.
• 국소적으로 변형된 평탄한 좌표 $ \tilde{t}_\alpha(t;z) $ 가 존재하며, 진동 적분 $ \tilde{t}_c = \frac{1}{\sqrt{z}} \int_c e^{z f_s(x)} dx $ 로 주어지며, 이는 양자 코homology 잠재 함수의 기하학적 실현을 제공한다.
• 종수 $ g=1 $ 보정은 $ \mathcal{F}_1(T) = \left[ G(t) + \frac{1}{24} \log \det M_{\alpha\beta}(t,\dot{t}) \right]_{t=t(T), \dot{t}=\partial_{T^{1,0}} t(T)} $ 로 주어지며, 여기서 $ G(t) $ 는 G-함수이고 $ M_{\alpha\beta} $ 는 $ F $ 의 세 번째 도함수로 정의된다.
• 반순수 프로베누스 다양체의 경우, $ g=1 $ 보정은 중심 전하 $ c = 6\varepsilon^2(1-d)^{-2}[n - 4\operatorname{tr} \mu^2] $ 를 가진 비선형 변형된 바라소로 대칭대수에 의해 지배되며, $ ADE $ 코엑스터 군의 알려진 결과와 일치한다.
• 전체 분할 함수 $ Z(T;\varepsilon) = \exp \sum_{g=0}^\infty \varepsilon^{2g-2} \mathcal{F}_g(T) $ 는 루프 공간 $ \mathcal{L}(M) $ 에서의 이형량자 통합계 계열의 해의 타우 함수이며, 해밀토니안 $ H_{\alpha,p} = \int \Omega_{\alpha,p;1,0}(t) dX $ 로 주어진다.
• 종수 1 근사에서 분할 함수는 프로베누스 다양체의 단일화 데이터로부터 유도된 바라소로 대칭대수의 절반에 의해 영이 되며, [DZ3] 에서 증명되었다.