호몰로지 거울 대칭 입문

1. 서론에서는 거울 대칭이 물리학에서 시작된 후 수학적으로 정형화된 배경을 제시한다. Kontsevich가 제안한 호몰로지 거울 대칭(HMS) conjecture은 두 거울 다양체 X와 X̂의 복소 구조와 심플렉틱 구조를 각각 대수기하와 심플렉틱 기하의 삼각화된 범주로 옮겨 동형성을 주장한다. 2. 배경 지식 파트(섹션 2)에서는 네 가지 하위 주제를 다룬다. - 2.1 호몰로지 대수에서는 A∞‑대수와 그 모듈, A∞‑함수, 그리고 최소 모델 정리를 소개한다. Hochschild 코호몰로지가 A∞‑구조의 고차 연산을 제어한다는 점을 강조한다. - 2.2 대수기하에서는 코히런트 층, 준코히런트 층, 그리고 그들의 파생 범주 D⁽ᵇ⁾(Coh X)와 D⁽ᵇ⁾(QCoh X)를 정의한다. 특히, 예외적 객체와 완전한 집합이 파생 범주의 생성자를 제공한다는 점을 언급한다. - 2.3 심플렉틱 기하에서는 symplectic form, Darboux 정리, 그리고 라그랑지안 교차 이론을 간단히 소개한다. - 2.4 Floer 코호몰로지와 푸카야 카테고리에서는 라그랑지안 서브매니폴드와 그 위의 로컬 시스템을 객체로 하는 A‑브레인(Fuk(M))을 정의하고, A∞‑구조와 미분을 Floer 복합을 통해 기술한다. 3. 섹션 3에서는 P¹(복소 직선)의 HMS를 전개한다. - 3.1 B‑브레인: D⁽ᵇ⁾(Coh P¹)는 두 개의 예외적 객체 O와 O(1)으로 생성된다. 이들은 완전한 강한 예외적 집합을 이루며, 그들의 Ext 군은 차원 1인 Hom과 차원 0인 Ext¹을 가진다. - 3.2 A‑브레인: 거울은 C* 혹은 S²이며, 기본 라그랑지안은 원형(또는 위도 0)의 Lagrangian이며, 로컬 시스템은 복소수 평면에 정의된 1‑차원 표현이다. - 3.3 동형성 매핑: O ↔ L₀, O(1) ↔ L₁(위상 전위 1)와 같이 대응시키고, Extⁱ와 Floer cohomology HFⁱ가 일치함을 확인한다. - 3.4 추가 설명: P¹를 구형으로 보는 관점에서 A‑브레인과 B‑브레인의 교차 구조가 동일함을 강조한다. 4. 섹션 4에서는 타원곡선(E)의 HMS를 다룬다. - 4.1 A‑브레인: T²(복소 토러스) 위의 직선 라그랑지안(기울기 0, 1/2 등)과 그 위의 평면 로컬 시스템을 객체로 삼는다. - 4.2 B‑브레인: D⁽ᵇ⁾(Coh E)는 선형화된 벡터 번들(특히, degree 0의 라인 번들)과 그들의 변형을 포함한다. - 4.3 동형성 개요: Fourier‑Mukai 변환을 이용해 라그랑지안 L(θ, φ) ↔ 선형화된 번들 𝓛(θ, φ)으로 매핑한다. 이때 변환 커널은 Poincaré 번들이며, 변환은 SL(2,ℤ) 자동동형군과 호환된다. - 또한, Ext와 Floer cohomology가 동일한 차원을 갖는 것을 직접 계산한다. 5. 섹션 5에서는 최근 연구 방향을 제시한다. - 5.1 Fano 다양체와 Landau‑Ginzburg 모델 사이의 HMS: A‑브레인으로는 (near) Fano의 푸카야 카테고리, B‑브레인으로는 LG 모델의 매트리시스 카테고리를 사용한다. - 5.2 Calabi‑Yau 경우: 완전한 HMS가 증명된 예(예: K3, 고차원 Calabi‑Yau)와 그 방법론을 간략히 언급한다. - 5.3 SYZ 가설과 거울 지도: 특수 라그랑지안 토러스 섬유화가 거울 변환을 기하학적으로 구현한다는 설명과, 거울 지도와 인스턴톤 수가 어떻게 HMS와 연결되는지를 서술한다. 6. 마지막 섹션 6에서는 HMS와 전통적 거울 대칭 사이의 관계를 정리한다. SYZ, 거울 지도, 인스턴톤 수 등 물리적 관점과 수학적 범주론적 관점이 어떻게 서로를 보완하는지를 논의한다. 전체적으로 이 논문은 복잡한 기술적 배경을 최소화하고, P¹와 타원곡선이라는 가장 단순하면서도 풍부한 예를 통해 HMS의 핵심 메커니즘—A‑브레인(푸카야 카테고리)과 B‑브레인(코히런트 층 파생 범주)의 삼각 동형—을 명확히 제시한다. 또한 최신 연구 흐름을 간략히 소개함으로써 독자가 현재 연구 동향을 파악하고, 향후 연구 주제를 탐색할 수 있는 발판을 제공한다.