K

Grad. student in mathematics

목표: Grassmannian $X = Gr_{n-k}(\mathbb{C}^n)$에 대한 mirror symmetry를 A-model (quantum cohomology)과 B-model (Landau–Ginzburg) 양쪽에서 이해하고, Marsh–Rietsch (2020)의 주요 정리들을 따라가는 것.

시리즈 이름: Mirror_Symmetry_for_Grassmannians

카테고리 경로: ~/math-jh.github.io/_posts/Math/Mirror_Symmetry/ko/

대상 독자

  • Algebraic geometry, Schubert calculus, quantum cohomology의 기초를 알고 있음
  • Lie theory (root system, Borel subgroup)의 기초를 알고 있음
  • Mirror symmetry의 큰 그림은 알지만, Grassmannian의 구체적인 mirror construction은 처음 접함

선행 지식 (블로그에 이미 있는 것)

카테고리 필요한 내용 블로그 포스트
Lie_Theory Lie group, Lie algebra, root system, Dynkin diagram, Borel subgroup Lie_Groups, Root_Systems, Borel_Subgroup
Lie_Theory Torus action, weight decomposition Torus_Action
Scheme_Theory Algebraic group, group action Algebraic_Groups
Algebraic_Varieties Chern classes, cohomology weight 1–22
Commutative_Algebra Ring, module, ideal 기본 포스트들

포스트 로드맵

Part 0. 배경과 동기

# 포스트 제목 목표 새로 필요한 내용 예상 분량
0 Mirror Symmetry 개요: A-model vs B-model Mirror symmetry의 큰 그림을 짚는다. A-model (Gromov–Witten, quantum cohomology)과 B-model (Landau–Ginzburg, Jacobi ring)의 대응을 직관적으로 설명한다. 없음 중
1 Toric geometry와 Batyrev mirror Reflexive polytope, dual polytope, normal fan을 통해 Batyrev mirror construction을 정확히 이해한다. 이전 detour에서 실패했던 $\mathbb{P}^2$ 예제를 다시 계산한다. Reflexive polytope, dual polytope, toric variety 중

Part 1. Lie-theoretic 배경

# 포스트 제목 목표 새로 필요한 내용 예상 분량
2 Bruhat decomposition과 parabolic subgroup $G = \bigsqcup_{w \in W} B^+ w B^-$를 이해하고, parabolic subgroup $P$, Weyl group $W_P$, minimal length coset representatives $W^P$를 정의한다. Grassmannian을 $GL_n/P$로 본다. Bruhat decomposition, parabolic subgroup, $W^P$ 중
3 Richardson variety Opposite Bruhat cells의 교집합 $R_{w^P, w_0}$를 정의하고, 이것이 smooth affine variety임을 직관적으로 이해한다. Marsh–Rietsch의 mirror B-model domain으로서의 역할을 설명한다. Richardson variety, opposite Bruhat cell 중
4 Peterson variety와 quantum cohomology Dale Peterson의 theorem을 소개한다. Peterson variety $Y_P^$의 정의와 $C[Y_P^] \cong qH^*(X)$ isomorphism의 의미를 black box 수준에서 이해한다. Peterson variety, coadjoint action, $[n^-, n^-]^\perp$ 중

Part 2. Marsh–Rietsch mirror (Plücker coordinate 측면)

# 포스트 제목 목표 새로 필요한 내용 예상 분량
5 Marsh–Rietsch의 Plücker coordinate superpotential $W_q$ Mirror space $\check{X}^\circ$ (anti-canonical divisor complement)와 superpotential $W_q$의 정의를 상세히 다룬다. Partitions $\mu_i, \hat{\mu}_i$의 조합론. Anti-canonical divisor, Plücker embedding 중
6 Cluster algebra와 $W_q$의 Laurent expansion Postnikov diagram, plabic graph, perfect matching을 통해 $W_q$를 임의의 extended cluster에서 Laurent polynomial으로 전개하는 방법을 설명한다. Postnikov diagram, perfect matching, cluster mutation 중
7 Jacobi ring = Quantum cohomology Proposition 9.2: $\mathrm{Jac}(W_q) \cong QH^(X)$의 증명 흐름을 3단계로 따라간다. (Step 1: $W_q \cong F_q$, Step 2: critical locus $\cong$ Peterson variety, Step 3: Peterson variety $\cong QH^$) Lie-theoretic superpotential $F_q$ 중~고
8 Cluster monomial basis와 Schubert correspondence §7–8: Rectangle partitions가 Schubert classes와 대응함을 설명한다. Cluster monomials가 Jacobi ring의 basis를 이룸을 직관적으로 이해한다. Rectangle partition, cohook, quantum Pieri rule 중

Part 3. Mirror theorem의 증명

# 포스트 제목 목표 새로 필요한 내용 예상 분량
9 Oscillating integral과 Gauss–Manin system $\mathcal{I}\gamma(q,z) = \int\gamma e^{W_q/z} \omega$가 flat section equation을 만족함을 설명한다. B-model connection의 정의. Oscillating integral, vanishing cycle 고
10 Dubrovin connection과 $D$-module isomorphism Theorem 4.1: Gauss–Manin system이 Dubrovin connection과 동형임을 증명하는 흐름을 개괄한다. Quantum Monk’s rule와 vector field $X_\lambda$의 작용. Dubrovin connection, $D$-module, flat section 고
11 Givental $J$-function과 A-series Oscillating integral이 Givental의 $J$-function의 top term을 recover함을 설명한다. Batyrev–Ciocan-Fontanine–Kim–van Straten의 conjecture 증명. Givental $J$-function, descendant invariant 고

Part 4. 확장

# 포스트 제목 목표 새로 필요한 내용 예상 분량
12 Equivariant mirror symmetry $T$-equivariant quantum cohomology $QH^*_T(X)$에 대한 mirror symmetry. Equivariant superpotential $W_q^T$의 정의. Equivariant cohomology, equivariant parameter 중
13 Quantum K-theory로의 확장: Choa–Oh (2026) Matrix factorization category $\mathrm{MF}(\check{X}^\circ, W_q)$의 $K$-theory가 $QK(X)$와 동형임을 소개한다. K-theoretic Lagrangian class의 개념. Matrix factorization, $K_0$, quantum K-theory 고
14 Newton–Okounkov body와 cluster duality Rietsch–Williams (2019)의 결과를 정리한다. Newton–Okounkov body $\Delta_G(D)$와 superpotential polytope $\Gamma_G$의 일치. Toric degeneration. Newton–Okounkov body, tropicalization, cluster duality 고

포스트 의존성 그래프

[0] Mirror Symmetry 개요
    |
    v
[1] Toric geometry와 Batyrev mirror
    |
    v
[2] Bruhat decomposition과 parabolic subgroup
    |
    v
[3] Richardson variety
    |
    v
[4] Peterson variety와 quantum cohomology
    |
    +---> [5] Marsh–Rietsch superpotential $W_q$
    |         |
    |         v
    |       [6] Cluster algebra와 Laurent expansion
    |         |
    |         v
    |       [7] Jacobi ring = Quantum cohomology  <--- [3], [4]
    |         |
    |         v
    |       [8] Cluster monomial basis
    |         |
    |         v
    +------> [9] Oscillating integral과 Gauss–Manin
              |
              v
            [10] Dubrovin connection과 $D$-module
              |
              v
            [11] Givental $J$-function
              |
              v
            [12] Equivariant mirror symmetry
              |
              v
            [13] Quantum K-theory (Choa–Oh)
              |
              v
            [14] Newton–Okounkov body와 cluster duality

각 포스트의 표준 구조

각 포스트는 다음 구조를 따른다:

  1. 개요 (Overview): 이 포스트가 다루는 핵심 결과와 그 의미를 한 문단으로 요약
  2. 배경 (Background): 필요한 정의와 이전 포스트 참조
  3. 핵심 정리 (Main Theorem): 엄밀한 서술 (단, 증명은 직관적 설명 위주)
  4. 직관적 해석 (Intuition): geometric/combinatorial 예시
  5. 다음 단계 (Next Steps): 다음 포스트와의 연결
  6. 참고 문헌 (References): 원본 논문과 보조 자료

참고 문헌

약어 논문
Marsh–Rietsch (2020) R. J. Marsh, K. Rietsch, The B-model connection and mirror symmetry for Grassmannians, Adv. Math. 366 (2020), 107027. arXiv:1307.1085
Rietsch (2008) K. Rietsch, A mirror symmetric construction of $qH^T(G/P){(q)}$*, Adv. Math. 217(6) (2008), 2401–2442
Rietsch–Williams (2019) K. Rietsch, L. Williams, Newton–Okounkov bodies, cluster duality, and mirror symmetry for Grassmannians, Duke Math. J. 168(18) (2019), 3437–3527. arXiv:1712.00447
Choa–Oh (2026) Choa, Oh, Lagrangian classes in K-theory, arXiv:2603.20660
EHX (1997) T. Eguchi, K. Hori, C.-S. Xiong, Gravitational quantum cohomology, Int. J. Mod. Phys. A 12(9) (1997), 1743–1782
BCKvS (1998) V. Batyrev, I. Ciocan-Fontanine, B. Kim, D. van Straten, Conifold transitions and mirror symmetry for Calabi–Yau complete intersections in Grassmannians, Nucl. Phys. B 514(3) (1998), 640–666

Note for blog agent: This roadmap is designed to be followed sequentially. Each post builds on previous ones in the Lie_Theory and Scheme_Theory categories (already written) as well as earlier posts in this Mirror_Symmetry series. The Lie-theoretic posts ([2]–[4]) are prerequisites for understanding Marsh–Rietsch’s isomorphism proofs in [7].

댓글남기기