[논문 리뷰] Homological mirror symmetry for hypertoric varieties II (with an Appendix written jointly with Laurent Côté and Justin Hilburn)

Benjamin Gammage, Michael McBreen외 1명|arXiv (Cornell University)|2019. 03. 19.

Algebraic structures and combinatorial models참고 문헌 48인용 수 16

한 줄 요약

이 논문은 초등형 하이퍼토픽스 공간에 대한 호모로지 미러 대칭 동치를 확립하며, A-모델의 복소 라그랑주 스켈레톤과 B-모델의 비가환 해상으로 매칭함으로써, 하이퍼카일러 t-구조를 통해 SYZ 대칭을 명확히 한다. 주요 결과는 유도 동치 카테고리의 확장으로, 모노드로미 자동동치를 편성된 슈뢰버를 통해 포괄하며, 3차원 및 4차원 초대칭 게이지 이론의 K-이론 쿨럼브 브랜치 미러 대칭에 대한 원형을 제공한다.

ABSTRACT

In this paper, we prove a homological mirror symmetry equivalence for pairs of multiplicative hypertoric varieties, and we calculate monodromy autoequivalences of these categories by promoting our result to an equivalence of perverse schobers. We prove our equivalence by matching holomorphic Lagrangian skeleta, on the A-model side, with non-commutative resolutions on the B-model side. The hyperkähler geometry of these spaces provides each category with a natural t-structure, which helps clarify SYZ duality in a hyperkähler context. Our results are a prototype for mirror symmetry statements relating pairs of K-theoretic Coulomb branches.

연구 동기 및 목표

• 다항형 하이퍼토픽스 공간 쌍에 대한 호모로지 미러 대칭 동치를 확립하여 이전의 애드티브 하이퍼토픽스 공간 결과를 확장한다.
• A-모델과 B-모델 카테고리에 자연스러운 t-구조를 부여함으로써 하이퍼카일러 기하학이 SYZ 대칭에서 수행하는 역할을 명확히 한다.
• 편성된 슈뢰버를 통한 미러 대칭 동치의 승격을 통해 유도 카테고리의 모노드로미 자동동치를 계산한다.
• 3차원 및 4차원 초대칭 게이지 이론에서 K-이론 쿨럼브 브랜치를 연결하는 미러 대칭 진술에 대한 원형을 제공한다.
• 복소 모멘트 맵 매개변수 β와 Kähler 유사 매개변수 α = γ·exp(δ) 사이의 이중성을 형식화하며, 여기서 γ는 H²(U; R/Z)에 속하는 B-장이다.

제안 방법

• 일반형 부분토르스 T ⊂ (C×)ⁿ 에 의한 (T*Cⁿ)◦ 의 하이퍼해밀토니안 축소를 통해 다항형 하이퍼토픽스 공간을 구성한다.
• A-모델 측면에서 통합계 구조와 노달 토르스 섬유를 활용하여, 푸카비 카테고리를 모델링하기 위해 복소 라그랑주 스켈레톤을 사용한다.
• B-모델 측면에서 미러를 비가환 해상으로 실현하며, 매개변수 γ ∈ T∨R 를 통해 키르단 맵을 통해 H²(U; R/Z)에 속하는 클래스를 정의한다.
• t-구조의 매칭과 미세국소 층 이론을 통해 A-모델의 푸카비 카테고리와 B-모델의 코herent sheaf의 유도 카테고리 사이의 유도 동치를 확립한다.
• 편성된 슈뢰버 이론을 적용하여, 유도 동치를 모노드로미 작용을 포함하는 카테고리의 동치로 승격시킨다. 특히 특이 섬유 주위의 행동을 포괄한다.
• 미세국소 층 이론, 특히 특수화 함수자와 푸리에-사토 변환을 사용하여 특이 지지 집합을 분석하고, 층 H 의 코homology 가 그 카메라 ∆ 에서의 스토크와 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 호모로지 미러 대칭은 어떻게 애드티브 하이퍼토픽스 공간에서 다항형 하이퍼토픽스 공간으로 확장될 수 있는가?
• RQ2 미러 대칭 하에서 복소 모멘트 맵 매개변수 β 와 Kähler 유사 매개변수 α = γ·exp(δ) 사이의 정확한 관계는 무엇인가?
• RQ3 모노드로미 자동동치는 다항형 하이퍼토픽스 공간의 유도 카테고리에서 어떻게 발생하며, 이를 카테고리 이론적으로 어떻게 포착할 수 있는가?
• RQ4 하이퍼카일러 구조는 A-모델과 B-모델 카테고리에 어떻게 자연스러운 t-구조를 제공하며, 이는 어떻게 SYZ 대칭을 명확히 하는가?
• RQ5 미러 대칭 동치를 편성된 슈뢰버의 동치로 승격시켜 모노드로미 데이터를 포함시킬 수 있는가?

주요 결과

• 논문은 다항형 하이퍼토픽스 공간 U(β,α) 의 푸카비 카테고리와 그 미러의 코herent sheaf의 유도 카테고리 사이의 호모로지 미러 대칭 동치를 증명한다. 이 미러는 B-장 γ 에 따라 달라지는 비가환 해상이다.
• 동치는 A-모델의 복소 라그랑주 스켈레톤과 B-모델의 비가환 해상 간의 매칭을 통해 하이퍼카일러 t-구조를 활용하여 카테고리를 정렬함으로써 확립된다.
• 모노드로미 자동동치는 편성된 슈뢰버의 동치로 미러 대칭 동치를 승격시킴으로써 계산되며, 이는 특이 섬유 주위의 모노드로미 작용을 포함한다.
• 미세국소 분석과 특수화 함수자를 통해 층 H 의 특이 지지 집합이 ∆(Λ) 의 폐쇄, 즉 극대 쌍대 콘의 합집합에 포함됨을 보였다.
• 층 H 의 코homology H∗(V, H) 는 그 카메라 ∆ 에서의 스토크 H∆ 와 동형이며, 이는 H 가 카메라 ∆ 에서 후퇴하고 미세국소 모어스 보조정리가 제약 맵에 적용되기 때문이다.
• 매개변수 α = γ·exp(δ) 는 A-모델에서 복소화된 심플렉틱 형식을 제어하며, β 는 B-모델의 대수적 구조를 제어한다. 이 둘은 미러 대칭 하에서 서로 교환된다.