SYZ mirror of Hirzebruch surface $\mathbb{F}_k$ and Morse homotopy

기술적 요약: 히르체브루흐 곡면 $F_k$ 의 SYZ 거울과 모스 호모토피

문제 제기
본 논문은 복소다양체로서의 히르체브루흐 곡면 $F_k$ 에 대한 호몰로지 거울 대칭 (HMS) 을 확립하는 문제를 다룬다. 토릭 판노 곡면 (특히 $F_1$) 에 대한 HMS 는 Futaki, Kajiura 및 저자가 모스 호모토피를 사용하여 이전에 확립되었으나, 비판노 경우 ($k \geq 2$ 인 $F_k$) 로의 확장은 상당한 도전을 제시한다. $F_1$ 경우와 달리, $F_k$ 에 대한 Strominger-Yau-Zaslow (SYZ) 피브레이션의 쌍대 좌표는 모멘트 다면체 좌표를 사용하여 라그랑주 단면 교차점을 직접 계산할 수 있는 방식으로 명시적으로 표현될 수 없다. 또한, 모스 호모토피 범주의 거동은 판노 경우 ($k=1$) 와 비판노 경우 ($k \geq 2$) 사이에서 다르며, 특히 범주의 최소성 (minimality) 과 관련하여 차이가 있다.

방법론
저자는 쌍대 토러스 피브레이션을 통한 거울 쌍의 SYZ 구성을 채택하고, Futaki 와 Kajiura [9, 10, 16] 의 접근법을 따르며 모멘트 다면체 위의 모스 호모토피 프레임워크를 활용한다.

1. SYZ 설정: 논문은 Kähler 계를 갖춘 토릭 다양체로서의 히르체브루흐 곡면 $F_k$ 를 고려한다. 모멘트 다면체 $P$ 의 내부 위에서 쌍대 토러스 피브레이션 $M \to B$ 를 구성한다. 거울 다양체 $\check{M}$ 은 $B$ 위의 토러스 번들과 동일시된다.
2. 복소 측 (DG 범주): 복소 측은 일관된 층의 유도 범주 $Db(\text{Coh}(F_k))$ 로 모델링된다. 저자는 유도 범주를 생성하는 완전한 강한 예외적 선다발의 집합 $Ec = (\mathcal{O}, \mathcal{O}(1,0), \mathcal{O}(c,1), \mathcal{O}(c+1,1))$ 에 초점을 맞춘다. 특정 접속을 갖는 이 홀로모픽 선다발들로 구성된 DG 범주 $DG(F_k)$ 가 정의된다.
3. 심플렉틱 측 (모스 호모토피): 심플렉틱 측은 가중 모스 호모토피의 범주 $Mo(P)$로 모델링된다. 이 범주의 대상은 쌍대 토러스 피브레이션$M \to B$의 라그랑주 단면들이다. 저자는 예외적 집합의 선다발에 대응하는 라그랑주 단면$L(a,b)$ 를 구성한다.
4. 교차 분석: 중요한 기술적 단계는 이러한 라그랑주 단면들의 교차점을 계산하는 것이다. 일반적인 $k$ 에 대해서는 명시적인 쌍대 좌표의 처리가 어렵기 때문에, 저자는 이전 작업 [16] 에서 수행된 바와 같이 쌍대 좌표에 대한 교차점을 계산하고 모멘트 다면체 $P$ 내에서 이러한 교차점들의 연결 성분을 조사한다.
5. 사상과 미분: $Mo(P)$의 사상 공간은 특정 안정성 다양체 조건 (M1 및 M2) 을 만족하는 라그랑주 단면 교차점의 연결 성분들에 의해 생성된다. 미분$m_1$과 합성$m_2$ 는 기울기 트리 (gradient trees) 와 그들의 심플렉틱 면적을 통해 정의된다.

주요 기여 및 결과

• 비판노 경우로 확장: 주요 결과는 임의의 양의 정수 $k$ 에 대해 히르체브루흐 곡면 $F_k$ 에 대한 호몰로지 거울 대칭이 성립함을 증명하는 것이다. 이는 $F_1$ 에 대한 이전 결과를 비판노 영역 (여기서 $F_k$ 는 $k=2$ 일 때 약한 판노이고 $k \geq 3$ 일 때는 약한 판노조차 아님) 로 확장한 것이다.
• 범주 동치: 논문은 모스 호모토피 범주의 부분 범주 $Mo_{Ec}(P)$ 와 홀로모픽 선다발의 DG 범주의 부분 범주 $V'_{Ec}$ (이는 $DGEc(F_k)$ 와 준동형) 사이의 DG-준동형사상을 확립한다.
  $$Mo_{Ec}(P) \simeq V'_{Ec} \simeq DGEc(F_k)$$
  결과적으로, 이러한 DG-범주에 의해 유도된 삼각 범주들은 동치이다:
  $$Tr(Mo_{Ec}(P)) \simeq Db(\text{Coh}(F_k))$$
• 최소성 분석: 논문은 모스 호모토피 범주의 최소성을 조사한다.
  • 완전한 강한 예외적 집합 $Ec$의 경우, 부분 범주$Mo_{Ec}(P)$는 최소적이다 (높은 차수의 곱$m_k$($k \geq 3$) 가 소멸하며, 이 특정 부분 집합의 생성자들에 대해 미분은 자명하다).
  • 그러나 전체 범주 $Mo(P)$는$k \geq 2$일 때 **최소적이지 않다**. 저자는$F_2$에 대한 구체적인 반례 (특히$L(0,0)$과$L(-7,3)$사이의 사상 공간) 를 제공한다. 이 경우, 라그랑주 단면의 교차점은 비연결적이며 서로 다른 연결 성분 사이에 기울기 궤적이 존재하여 자명하지 않은 미분$m_1$을 초래한다. 이는$Mo(P)$가 최소적인$F_1$ 경우와 대조된다.
• 명시적 대응: 저자는 모스 호모토피 범주의 생성자 (교차점의 연결 성분) 와 복소 측의 코호몰로지 기저 요소 (홀로모픽 단면) 사이의 명시적 대응 $\iota$ 를 구성하여 합성과의 호환성을 보여준다.

의의
본 논문은 판노 경우를 넘어 더 넓은 범주의 토릭 곡면으로 SYZ-모스 호모토피 접근법을 확장했다는 점에서 의의가 있다. 토릭 다양체 자체의 모멘트 다면체 (Abouzaid 의 접근법 [1] 에서와 같이 열대 아메바에서 유도된 다면체가 아님) 를 사용하여 $F_k$ ($k \geq 2$) 에 대해 HMS 가 성립함을 입증함으로써, Futaki-Kajiura 프레임워크의 견고성을 검증한다. 이는 비판노 경우에서 전체 모스 호모토피 범주가 비최소적 거동을 보일 수 있지만, 완전한 강한 예외적 집합으로 제한하면 일관된 층의 유도 범주에 필요한 동치를 회복함을 강조한다. 이는 비판노 토릭 곡면에 대한 호몰로지 거울 대칭의 구체적인 예시를 제공한다.