[논문 리뷰] Orbifold Jacobian algebras for invertible polynomials

Alexey Basalaev, Atsushi Takahashi외 1명|arXiv (Cornell University)|2016. 08. 31.

Nonlinear Waves and Solitons참고 문헌 12인용 수 8

한 줄 요약

이 논문은 $f$가 가역 다항식이고 $G$가 대각 대칭군인 쌍 $(f,G)$에 대해 ${\mathbb{Z}}/2{\mathbb{Z}}$-gradation이 부여된 오비폴드 제약다항식 대수를 도입하고 공리화한다. 이 대수의 존재성과 유일성은 $G$-왜곡된 해석적 부피 형식과 잔여 쌍대형식을 통해 증명되며, ADE 유형의 특이점의 경우 오비폴드 제약다항식 대수가 거울 리만-긴츠부르크 모델의 제약다항식 대수와 동형임을 증명한다.

ABSTRACT

An important invariant of a polynomial $f$ is its Jacobian algebra defined by its partial derivatives. Let $f$ be invariant with respect to the action of a finite group of diagonal symmetries $G$. We axiomatically define an orbifold Jacobian $\mathbb{Z}/2\mathbb{Z}$-graded algebra for the pair $(f,G)$ and show its existence and uniqueness in the case, when $f$ is an invertible polynomial. In case when $f$ defines an ADE singularity, we illustrate its geometric meaning.

연구 동기 및 목표

• 가역 다항식 $f$와 대각 대칭군인 유한 아벨 군 $G$로 구성된 리만-긴츠부르크 오비폴드 $(f,G)$에 대해 고전적 제약다항식 대수의 정규화된, $G$-불변 일반화를 정의하는 것.
• 카우프만과 크라비츠의 이전 구성 방식에서 요구된 임의의 선택(예: 코사이클)이나 가중 동차성 가정을 피하기 위해, 사전에 곱을 고정하지 않은 공리적 방법으로 정의된 대수를 도입하는 것.
• 오비폴드 제약다항식 대수에 자연스러운 ${\mathbb{Z}}/2{\mathbb{Z}}$-gradation과 비퇴화된 오비폴드 잔여 쌍대형식을 부여하여 호지 이론적 구조를 반영하는 것.
• ADE 특이점의 경우 오비폴드 제약다항식 대수의 기하적 해석을 확립하고, 거울 모델의 제약다항식 대수와의 동형성을 보여주는 것.
• 기본형 구조를 제공하여 프로베누스 다양체 수준에서의 미러 대칭을 보장하고, 원시 형식의 개념과 정규 이중형식에 대한 호환성을 확보하는 것.

제안 방법

• 해석적 $N$-형식의 공간을 $df \wedge \Omega^{N-1}$ 모odulo로 하는 $G$-왜곡된 형식 $\Omega'_{f,G}$를 정의하고, $G$-gradation과 비퇴화된 오비폴드 잔여 쌍대형식을 부여하는 것.
• 제약다항식 대수 $\mathrm{Jac}'(f,G)$를 $G$-gradation이 있고 ${\mathbb{Z}}/2{\mathbb{Z}}$-gradation이 있는 대수로 공리화하며, 비퇴화된 이중형식을 갖추고 $\Omega'_{f,G}$와 동형이지만 곱을 사전에 고정하지 않는 것.
• $\mathrm{Jac}'(f,G)$의 $G$-불변 부분대수로 오비폴드 제약다항식 대수 $\mathrm{Jac}(f,G)$를 구성하여 쌍 $(f,G)$의 자기동형사상과의 호환성을 확보하는 것.
• 형식 $\Omega'_{f,G}$의 잔여 쌍대형식을 이용해 $\mathrm{Jac}(f,G)$에 프로베누스 대수의 구조를 유도하고, 경로 적분을 통한 쌍대형식 값의 명시적 계산을 수행하는 것.
• 특정 가역 다항식 $f$와 군 $G$에 대해 $\mathrm{Jac}(f,G)$를 명시적으로 계산하고, 거울 다항식 $\overline{f}$의 제약다항식 대수와 비교하여 프로베누스 대수로서의 동형성을 증명하는 것.
• 기저 원소 간의 대응에 따라 쌍대형식 값이 일치하는지 확인하여 동형성이 프로베누스 대수의 구조를 유지하는지 검증하는 것.

실험 결과

연구 질문

• RQ1 가역 다항식 $f$와 대각 대칭군인 유한 아벨 군 $G$로 구성된 리만-긴츠부르크 오비폴드 $(f,G)$에 대해, 임의의 선택 없이 정규화된, $G$-불변이며 ${\mathbb{Z}}/2{\mathbb{Z}}$-gradation이 부여된 대수를 정의할 수 있는가?
• RQ2 이 대수는 $\Omega'_{f,G}$의 호지 이론적 구조에서 기인하는 자연스러운 비퇴화된 이중형식(오비폴드 잔여 쌍대형식)을 갖는가?
• RQ3 결과적으로 얻어진 오비폴드 제약다항식 대수는 ADE 경우에서 거울 리만-긴츠부르크 모델의 제약다항식 대수와 동형인가?
• RQ4 이 구성은 가중 동차 다항식을 초월하여, 예를 들어 쿠스 특이점과 같이 일반화할 수 있는가? 이는 프로베누스 다양체 수준에서의 미러 대칭을 지원하는가?
• RQ5 ${\mathbb{Z}}/2{\mathbb{Z}}$-gradation이 기하학적 구조에서 어떻게 유도되고, 이는 미러 대칭 맥락에서 어떤 의미를 갖는가?

주요 결과

• 모든 가역 다항식 $f$와 대각 대칭군인 유한 아벨 군 $G$에 대해 오비폴드 제약다항식 대수 $\mathrm{Jac}(f,G)$가 존재하며, 공리에 의해 유일하게 결정된다.
• $D_k$-형 특이점에 대해 $f = z_1^2 + z_2^{k-1} + z_2 z_3^2$ 및 $G = \langle g \rangle$, $g = \frac{1}{2}(1,0,1)$일 때, 대수 $\mathrm{Jac}(f,G)$의 차원은 $2k-3$이며 $[z_2]^{k-2} \circ e_g = 0$, $e_g^2 = -[z_2]$를 만족한다.
• 오비폴드 제약다항식 대수 $\mathrm{Jac}(f,G)$는 거울 다항식 $\overline{f} = y_1^{k-1} + y_1 y_2 + y_2 y_3^2$의 제약다항식 대수와 동형이며, 동형사상은 $[y_1] \mapsto [z_2]$, $[y_2] \mapsto -(k-1)[z_2]^{k-2}$, $[y_3] \mapsto e_g$로 주어지며, 쌍대형식 값 $J_{\overline{f},\{1\}}([dy_1 \wedge dy_2 \wedge dy_3], [y_1^{k-2} dy_1 \wedge dy_2 \wedge dy_3]) = \frac{1}{2(k-1)}$을 만족한다.
• $E_6$-형 특이점에 대해 $f = z_1^2 + z_2^3 + z_2 z_3^2$ 및 $G = \langle g \rangle$, $g = \frac{1}{2}(1,0,1)$일 때, 대수 $\mathrm{Jac}(f,G)$의 차원은 9이며 $2[z_2 z_3] + [z_3^2]^2 = 0$, $[z_3^2] \circ e_g = 0$, $e_g^2 = -\frac{3}{2}[z_2 z_3][z_3^2]$를 만족한다.
• $\mathrm{Jac}(f,G)$와 $\mathrm{Jac}(\overline{f},\{1\})$ 사이의 동형은 잔여 쌍대형식 값의 일치를 통해 프로베누스 대수로서의 동형임이 확인된다: $J_{\overline{f},\{1\}}([dy_1 \wedge dy_2 \wedge dy_3], [y_2 y_3^2 dy_1 \wedge dy_2 \wedge dy_3]) = \frac{1}{6}$.
• 이 구성은 가중 동차 다항식을 초월하여 쿠스 특이점과 같은 경우에도 일반화되며, 사이토 이론에서 원시 형식의 존재성과 호환되는 정규화된 프레임워크를 제공하여 프로베누스 다양체 수준에서의 미러 대칭을 가능하게 한다.