[논문 리뷰] Landau-Ginzburg Mirror Symmetry for Orbifolded Frobenius Algebras

Tyler J. Jarvis|arXiv (Cornell University)|2014. 01. 01.

Advanced Algebra and Geometry참고 문헌 2인용 수 13

한 줄 요약

이 논문은 임의의 대칭군을 가진 순환과 펌레타입 특이성의 임의의 합을 포함하는 광범위한 클래스의 가역적 특이성에 대해, 프로베누스 대세의 수준에서 랑도-긴츠부르크 미러 대칭 추측을 증명한다. [W/G]의 FJRW 프로베누스 대세와 그 쌍대 쌍 [W^T/G^T]의 오르비폴드 미뉴르 링 사이의 동형사상 수립으로, 이 대칭 구조에서의 미러 대칭을 확인한다.

ABSTRACT

We prove the Landau-Ginzburg Mirror Symmetry Conjecture at the level of (orbifolded) Frobenius algebras for a large class of invertible singularities, including arbitrary sums of loops and Fermats with arbitrary symmetry groups. Specifically, we show that for a quasi-homogeneous polynomial W and an admissible group G within the class, the Frobenius algebra arising in the FJRW theory of [W/G] is isomorphic (as a Frobenius algebra) to the orbifolded Milnor ring of [W^T/G^T], associated to the dual polynomial W^T and dual group G^T.

연구 동기 및 목표

• 광범위한 가역적 특이성에 대해 랑도-긴츠부르크 미러 대칭을 프로베누스 대세 수준으로 확장한다.
• 몫 [W/G]의 FJRW 이론 프로베누스 대세와 그 쌍대 [W^T/G^T]의 오르비폴드 미뉴르 링 사이의 엄밀한 동형사상을 수립한다.
• 프로베누스 대세의 맥락에서 원래 다항식과 그 쌍대 다항식, 그리고 각각의 대칭군 간의 추측된 쌍대성의 타당성을 검증한다.
• 가환 다항식에 대해 적절한 대칭군을 갖는 정규 다항식의 경우, 프로베누스 대세 수준에서 미러 대칭의 완전한 대수적 증명을 제공한다.

제안 방법

• 가환 다항식 W와 적절한 군 G의 몫 [W/G]로부터 FJRW 이론을 활용해 프로베누스 대세를 구성한다.
• 가환 구조를 유지하면서 다항식의 쌍대성 구조를 적용해 쌍대 다항식 W^T와 쌍대 군 G^T를 도출한다.
• 쌍대 쌍 [W^T/G^T]와 관련된 프로베누스 대세로서 오르비폴드 미뉴르 링을 구성한다.
• 대수적 불변량과 쌍대성 성질을 활용해, [W/G]의 FJRW 프로베누스 대세와 [W^T/G^T]의 오르비폴드 미뉴르 링 사이의 동형사상을 수립한다.
• 가역적 특이성의 구조를 활용해 쌍대성이 필요한 대수적 및 대칭 성질을 유지함을 보장한다.
• 가역적 다항식과 그 대칭군의 분류에 의존하여, 임의의 순환의 합과 펌레타형 특이성으로의 일반화를 달성한다.

실험 결과

연구 질문

• RQ1 임의의 대칭군을 가진 가역적 특이성에 대해, 랑도-긴츠부르크 미러 대칭이 프로베누스 대세 수준에서 성립하는가?
• RQ2 몫 [W/G]의 FJRW 프로베누스 대세와 쌍대 쌍 [W^T/G^T]의 오르비폴드 미뉴르 링 사이에 표준적인 동형사상이 존재하는가?
• RQ3 다항식과 군 간의 쌍대성은 오르비폴드 설정에서 전체 프로베누스 대세 구조로까지 확장 가능한가?
• RQ4 동일한 쌍대성 프레임워크 하에서, 임의의 순환의 합과 펌레타형 특이성에 대해 미러 대칭 동형사상이 성립하는가?
• RQ5 [W/G]와 [W^T/G^T] 사이의 쌍대성은 프로베누스 대세 수준에서 어떤 대수적 불변량에 의해 보장되는가?

주요 결과

• 모든 가환 다항식 W와 적절한 군 G에 대해, [W/G]의 FJRW 프로베누스 대세는 [W^T/G^T]의 오르비폴드 미뉴르 링과 동형이다.
• W와 W^T 사이, 그리고 G와 G^T 사이의 쌍대성은 오르비폴드 설정에서 프로베누스 대세 구조를 유지한다.
• 이 동형사상은 임의의 순환의 합과 펌레타형 다항식을 포함한 전체 가역적 특이성 클래스에 대해 일반화된다.
• 이 증명은 이 광범위한 특이성 클래스에 대해 랑도-긴츠부르크 미러 대칭 추측을 프로베누스 대세 수준에서 확인한다.
• 결과적으로 A-모델 [W/G]와 B-모델 [W^T/G^T] 사이에 프로베누스 대세 불변량을 기반으로 한 완전한 대수적 대응 관계를 수립한다.