[논문 리뷰] Extended affine Weyl groups and Frobenius manifolds -- II

Boris Dubrovin, Youjin Zhang외 1명|ArXiv.org|2005. 02. 17.

Advanced Algebra and Geometry인용 수 8

한 줄 요약

이 논문은 $B_l$ 및 $C_l$ 유형의 루트 시스템에 대해 확장된 아핀 웨일 군의 궤도 공간에 프로베누스 다양체 구조가 존재함을 증명하며, 이는 이전 결과를 일반화하여 특정한 정점이 아닌 다이아그램의 임의의 정점에 대해서도 해당 구조가 존재함을 보여준다. 이 구성은 $W_a$-불변 푸리에 다항식과 확장된 웨일 군 불변성으로부터 유도된 평탄한 메트릭과 평탄한 좌표를 사용하며, $t^1, \dots, t^l, \frac{1}{t^l}, e^{t^{l+1}}$에 대한 다항식 잠재함수를 얻는다. $B_l$에 대한 결과로 유도된 프로베누스 다양체는 좌표 변환에 의해 $C_l$에 대한 것과 동형이다.

ABSTRACT

For the root system of type $B_l$ and $C_l$, we generalize the result of \cite{DZ1998} by showing the existence of a Frobenius manifold structure on the orbit space of the extended affine Weyl group that corresponds to any vertex of the Dynkin diagram instead of a particular choice of \cite{DZ1998}.

연구 동기 및 목표

• 루트 시스템의 유형 $B_l$ 및 $C_l$에 대해 확장된 아핀 웨일 군 궤도 공간에 대한 프로베누스 다양체 구성 결과를 특정 정점 선택에서 다이아그램의 임의의 정점으로 일반화한다.
• 모든 정점에 대해 $\mathcal{A}$의 불변환의 체바레이 유형 정리가 항상 성립함을 확립하여 궤도 공간이 차원 $l+1$인 아핀 다양체임을 보장한다.
• 궤도 공간에 평탄한 메트릭의 펜슬을 구성하고 평탄한 좌표를 유도함으로써 프로베누스 다양체 구조를 정의할 수 있도록 한다.
• 프로베누스 다양체의 잠재함수가 $t^1, \dots, t^{l-1}, t^l, \frac{1}{t^l}, e^{t^{l+1}}$에 대한 다항식임을 증명한다.

제안 방법

• 확장된 공간 $\widetilde{V} = V \oplus \mathbb{R}$에서 아핀 웨일 군 $W_a$와 $\omega_k$에 의한 이동의 반직적곱으로서 확장된 아핀 웨일 군 $\widetilde{W}^{(k)}(R)$를 정의한다.
• 특정한 한계 조건(여기서는 $\omega_k$와 $\tau \to +\infty$를 포함)을 만족하는 $\widetilde{W}$-불변 푸리에 다항식의 링 $\mathcal{A}^{(k)}(R)$을 구성한다.
• 변형된 좌표 $\tilde{y}_j(x) = e^{2\pi i d_j x_{l+1}} y_j(\mathbb{x})$ 및 $\tilde{y}_{l+1}(x) = e^{2\pi i x_{l+1}}$를 도입하며, 여기서 $d_j = (\omega_j, \omega_k)$ 이고 $y_j$는 $W_a$-불변 푸리에 다항식이다.
• 평탄한 좌표 $t^1, \dots, t^{l+1}$를 사용하여 역 메트릭 $g^{ij}$를 구성함으로써 궤도 공간에 평탄한 메트릭 펜슬을 도출하며, 구성 요소는 $t^1, \dots, t^l, \frac{1}{t^l}, e^{t^{l+1}}$로 표현된다.
• 프로베누스 다양체의 공리계를 검증한다: 평탄한 메트릭 존재, 호환 가능한 곱셈, 오일러 벡터장, 그리고 평탄한 좌표에 대한 다항식인 잠재함수 $F$의 존재.
• 좌표 변환에 의해 $B_l$과 $C_l$에 대한 프로베누스 다양체 구조가 동형임을 보인다: $k=l$일 때 $y^l \mapsto (y^l)^2$ 및 $y^{l+1} \mapsto \frac{1}{2}y^{l+1}$이며, $k < l$일 때는 $y^{l+1} \mapsto y^{l+1}$이다.

실험 결과

연구 질문

• RQ1 다이아그램의 임의의 정점에 대해 $B_l$ 및 $C_l$의 다이아그램에서 확장된 아핀 웨일 군 궤도 공간에 프로베누스 다양체 구조가 존재하는가?
• RQ2 $B_l$ 및 $C_l$의 다이아그램에서 모든 정점에 대해 불변환 링 $\mathcal{A}$에 대한 체바레이 유형 정리가 확장 가능한가?
• RQ3 임의의 정점 선택에 대해 프로베누스 다양체의 잠재함수가 $t^1, \dots, t^l, \frac{1}{t^l}, e^{t^{l+1}}$에 대한 다항식인가?
• RQ4 각각의 다이아그램에서 동일한 정점을 선택할 경우 $B_l$ 및 $C_l$에 대응하는 프로베누스 다양체는 동형인가?

주요 결과

• 다이아그램의 임의의 정점 $k$에 대해 $B_l$ 및 $C_l$의 다이아그램에 대해 확장된 아핀 웨일 군 $\widetilde{W}^{(k)}(R)$의 궤도 공간에 프로베누스 다양체 구조가 존재하며, 이는 [5]에서 특정 $k$ 선택에 국한된 결과를 일반화한 것이다.
• 프로베누스 다양체의 잠재함수 $F$는 평탄한 좌표 $t^1, \dots, t^{l-1}, t^l, \frac{1}{t^l}, e^{t^{l+1}}$에 대한 다항식이며, $l=4$일 때 명시적으로 계산되었으며, $g^{ij}$와 $F$는 $t^1, \dots, t^5$로 표현된다.
• 역 메트릭 구성 요소 $g^{ij}$는 $l=4$일 때 명시적으로 계산되었으며, $g^{33} = 12 t_4^2 e^{t_5} t_1 + 48 t_4^2 e^{2t_5} - \frac{1}{4} t_3^2 + \frac{1}{12} t_3 t_4^3 - \frac{1}{108} t_4^6 + \frac{1}{4} \frac{t_3^3}{t_4^3}$이며, 나머지 구성 요소들도 유사하게 표현된다.
• 오일러 벡터장은 $E = \frac{1}{2} t_1 \partial_1 + t_2 \partial_2 + \frac{3}{4} t_3 \partial_3 + \frac{1}{4} t_4 \partial_4 + \frac{1}{2} \partial_5$이며, 이는 잠재함수의 동차성을 확인한다.
• 임의의 정점 $k$에 대해 $B_l$에 대응하는 프로베누스 다양체는 좌표 변환 $y^l \mapsto (y^l)^2$ 및 $k=l$일 때 $y^{l+1} \mapsto \frac{1}{2} y^{l+1}$, $k < l$일 때는 $y^{l+1} \mapsto y^{l+1}$을 통해 $C_l$에 대응하는 것과 동형이다.