[논문 리뷰] A Landau-Ginzburg model for Lagrangian Grassmannians, Langlands duality and relations in quantum cohomology

Clélia Pech, Konstanze Rietsch|arXiv (Cornell University)|2013. 04. 17.

Advanced Algebra and Geometry참고 문헌 18인용 수 9

한 줄 요약

이 논문은 라그랑주 그라스만이안 $LG(m)$에 대해 랑글랜드 쌍대 올리고나리 그라스만이안 $\mathrm{OG^{co}}(m+1,2m+1)$ 위의 유리 함수로 Landau-Ginzburg 모델을 구축하며, 이는 [Rie08]에서 알려진 초위상함수와의 동형을 증명한다. 이는 $LG(m)$에 대한 미러 대칭 프레임워크를 수립하고, 명시적인 초위상함수 공식을 통해 새로운 양자 코hom올로지 관계를 드러내며, Schubert 좌표 $p_\lambda$를 사용하여 $LG(2)$와 $LG(3)$에 대해 명시적인 표현을 제공함으로써 새로운 양자 슈버트 계산 항등식을 추측한다. 이 모델은 초평면 클래스에 해당하는 항들의 합으로 반-표준 클래스를 포착하며, 분모 차수는 쌍대 다양체의 지수와 일치한다.

ABSTRACT

In [Rie08], the second author defined a Landau-Ginzburg model for homogeneous spaces G/P, as a regular function on an affine subvariety of the Langlands dual group. In this paper, we reformulate this LG-model (X^,W_t) in the case of the Lagrangian Grassmannian LG(m) as a rational function on a Langlands dual orthogonal Grassmannian, in the spirit of work by R. Marsh and the second author [MR12] for type A Grassmannians. This LG model has some very interesting features, which are not visible in the type A case, to do with the non-triviality of Langlands duality. We also formulate a conjecture relating our superpotential with the quantum differential equations of LG(m). Finally, our expression for W_t also leads us to conjecture new formulas in the quantum Schubert calculus of LG(m).

연구 동기 및 목표

• 라그랑주 그라스만이안 $LG(m)$에 대해 랑글랜드 쌍대 올리고나리 그라스만이안 $\mathrm{OG^{co}}(m+1,2m+1)$ 위의 유리 함수로 명시적인 Landau-Ginzburg 모델을 구축하는 것.
• 이 새로운 LG 모델이 [Rie08]에서 구성된 초위상함수와 리 이론적 방법을 통해 동형임을 증명하는 것.
• 초위상함수의 구조와 양자 미분방정식과의 관계를 통해 $LG(m)$ 내에서 새로운 양자 코hom올로지 구조를 드러내는 것.
• 초위상함수 $W_t$의 명시적 형태를 바탕으로 $LG(m)$의 양자 슈버트 계산에 새로운 공식을 추측하는 것.

제안 방법

• 모델은 랑글랜드 쌍대 군 프레임워크를 사용하여 구성되며, 초위상함수 $W_t$는 스트릭트 분할에 따라 인덱싱된 슈버트 좌표 $p_\lambda$를 사용한 $\mathrm{OG^{co}}(m+1,2m+1)$ 위의 유리 함수로 정의된다.
• 구성은 $\mathrm{OG^{co}}(m+1,2m+1)$와 $LG(m)$의 랑글랜드 쌍대인 최대 올리고나리 그라스만이안 $\mathrm{OG}(m,2m+1)$ 사이의 동형을 활용한다.
• 초위상함수 $W_t$는 각각 초평면 클래스에 대응하는 유리항들의 합으로 표현되며, $e^t$-항은 양자 보정을 캡슐화한다.
• 이 모델은 분모의 차수 합이 쌍대 다양체의 지수와 일치함으로써 반-표준 클래스를 복원함을 보였다 ($m=2$일 때 4, $m=3$일 때 6).
• 동형성 증명은 초위상함수를 리 이론적 자료(체발리 생성자, 웨일 군 표현자, 가중치 공간 계산 등)로 표현함으로써 이루어진다.
• $LG(2)$와 $LG(3)$에 대해 웨일 군의 구조와 최소 길이 코스레프레젠테이터 $w^P$를 활용하여 $W_t$의 명시적 공식을 유도하였으며, $e^t$-항은 $m$-번째 기본 표현과 연결되어 있다.

실험 결과

연구 질문

• RQ1 라그랑주 그라스만이안 $LG(m)$에 대해 랑글랜드 이론을 사용하여 명시적인 Landau-Ginzburg 모델을 어떻게 구성할 수 있는가?
• RQ2 초위상함수 $W_t$가 $\mathrm{OG^{co}}(m+1,2m+1)$ 위에 정의된 새로운 초위상함수인가, [Rie08]의 초위상함수와 동형인가?
• RQ3 초위상함수 $W_t$의 명시적 형태로부터 어떤 새로운 양자 코hom올로지 관계나 구조가 드러나는가?
• RQ4 초위상함수 $W_t$를 사용하여 $LG(m)$의 양자 슈버트 계산에 새로운 공식을 추측할 수 있는가?
• RQ5 특히 $W_t$의 항들과 분모 차수의 구조는 반-표준 클래스와 쌍대 다양체의 지수를 어떻게 반영하는가?

주요 결과

• For $LG(2)$, the superpotential is explicitly given as $W_t = \frac{p_{\ydiagram{1}}}{p_\emptyset} + \frac{p_{\ydiagram{2}}^2}{p_{\ydiagram{1}}p_{\ydiagram{2}} - p_\emptyset p_{\ydiagram{2,1}}} + e^t \frac{p_{\ydiagram{1}}}{p_{\ydiagram{2,1}}}$, a rational function on $\mathrm{OG^{co}}(3,5)$.
• For $LG(3)$, the superpotential is $W_t = \frac{p_{\ydiagram{1}}}{p_\emptyset} + \frac{p_{\ydiagram{2}}p_{\ydiagram{3}} - p_\emptyset p_{\ydiagram{3,2}}}{p_{\ydiagram{1}}p_{\ydiagram{3}} - p_\emptyset p_{\ydiagram{3,1}}} + \frac{p_{\ydiagram{3,1}}p_{\ydiagram{3,2}} - p_{\ydiagram{3}}p_{\ydiagram{3,2,1}}}{p_{\ydiagram{2,1}}p_{\ydiagram{3,2}} - p_{\ydiagram{2}}p_{\ydiagram{3,2,1}}} + e^t \frac{p_{\ydiagram{2,1}}}{p_{\ydiagram{3,2,1}}}$, defined on $\mathrm{OG^{co}}(4,7)$.
• The number of summands in $W_t$ corresponds to the index of the dual variety: 4 for $m=2$, 6 for $m=3$, matching the degree of the anti-canonical divisor.
• The degrees of the denominators in $W_t$ sum to the index of the dual variety ($4$ and $6$), confirming that $W_t$ represents the anti-canonical class in the Jacobi ring.
• The model is proven isomorphic to the superpotential from [Rie08] via Lie-theoretic identification of the $e^t$-term with the $m$-th fundamental representation and weight space analysis.
• The authors conjecture that $W_t$ is related to the quantum differential equations of $LG(m)$, and propose new formulas in the quantum Schubert calculus based on the superpotential's structure.