Plumbings of lens spaces and crepant resolutions of compound $A_n$ singularities

기술적 요약: 렌즈 공간의 플럼빙과 합성 $A_n$ 특이점의 크레판트 분해

문제 제기
본 논문은 3 차원 렌즈 공간의 여접선 다발들을 원들을 따라 순환적으로 플럼빙하여 구성된 특정 클래스의 6 차원 와인슈타인 다양체의 심플렉틱 위상수학을 조사한다. $\mathcal{W}_f$로 표기된 이러한 다양체들은 다항식 분해 $f(x,y) = \prod f_i(x,y)$에 의해 결정되는 특이 섬유를 갖는 $\mathbb{C}^*$ 위의 모스-본트(Morse-Bott) 섬유화의 전체 공간으로 나타난다. 핵심적인 문제는 이러한 비콤팩트 스타인 3-폴드에 대한 호몰로지적 거울 대칭 (HMS) 을 확립하고, 그들의 심플렉틱 매핑 클래스 군을 이해하는 것이다. 구체적으로, 저자들은 $\mathcal{W}_f$의 유도된 감싸인 푸카야 범주와 대응하는 합성 $A_n$ ($cA_n$) 특이점 $R_f = K[u,v,x,y]/(uv - f(x,y))$의 크레판트 분해 위의 일관층의 유도 범주 사이의 관계를 정립하고자 한다.

방법론
저자들은 심플렉틱 기하학, 대수기하학, 그리고 범주론을 결합하여 다음과 같은 접근법을 사용한다:

1. 심플렉틱 구성과 계산:

   • 다양체 $\mathcal{W}_f$는 렌즈 공간 또는 $S^1 \times S^2$인 $Q_i$들의 여접선 다발 $T^*Q_i$를 원들을 따라 연결한 아핀 $A_n$ 플럼빙으로 실현된다.
   • 감싸인 푸카야 범주 $\mathcal{W}(\mathcal{W}_f; K)$는 모스-본트 섬유화 $\mathcal{W}_f \to \mathbb{C}^*$의 정칙 단면들을 세어 계산된다. 저자들은 섬유화 구조에 적합하도록 조정된 특정 감싸기 해밀토니안을 활용한다.
   • 그들은 생성 집합인 라그랑지안 섬유 ($L_0, \dots, L_n$) 의 엔도모피즘 $A_\infty$-대수를 다항식 $f(x,y)$에 의해 변형된 관계가 있는 퀴버의 경로 대수와 동일시한다.

2. 대수기하학과 거울 대칭:

   • B-측에서 저자들은 $cA_n$ 특이점의 특정 크레판트 분해 $\phi: Y_f \to \text{Spec}(R_f)$를 구성한다. 특이점의 예외적 영역은 유리 곡선들의 사슬로 구성된다.
   • 그들은 구멍이 뚫린 원판의 상대적 감싸인 푸카야 범주를 퀴버의 경로 대수와 연결하는 Evans-Lekili 모델을 활용한다.
   • 저자들은 비콤팩트 아핀 설정과 완전 국소 설정 사이의 간극을 메우기 위해 범주적 국소화와 완비화 (단어 길이 필터링과 Seidel 원소에 대한) 를 수행한다.

3. 매핑 클래스 군:

   • 저자들은 HMS 동치성을 활용하여 심플렉틱 매핑 클래스 군 $\pi_0 \text{Symp}_c(\mathcal{W}_f)$를 분석한다. 그들은 Toda 에 의해 계산된 예외적 영역 위의 일관층의 유도 범주의 자동 동치들을 $\mathcal{W}_f$의 심플렉틱 자동사상과 연결한다.

주요 기여 및 결과

1. 호몰로지적 거울 대칭 (HMS) 정리:
   본 논문은 스타인 3-폴드 $\mathcal{W}_f$에 대한 HMS 의 두 가지 버전을 증명한다:

   • 완비화되지 않은 버전 (정리 3): $\mathcal{W}_f$의 유도된 감싸인 푸카야 범주와 크레판트 분해에서 약수 (divisor) 의 여집합 위의 일관층의 유계 유도 범주 사이에 동치가 존재한다:
     $$D^b\text{Coh}(\mathcal{Y}_f) \simeq D^{\text{perf}}\mathcal{W}(\mathcal{W}_f; K)$$
     여기서 $\mathcal{Y}_f = Y_f \setminus D$이다.
   • 완비화된 버전 (정리 7): 해밀토니안 현의 단어 길이 필터링에 대해 완비화된 완비화된 감싸인 푸카야 범주 위의 완전 모듈들의 유도 범주와 분해의 완전 국소 버전 $\hat{Y}_f$ 위의 일관층의 유계 유도 범주 사이에 동치가 존재한다:
     $$D^{\text{perf}}\widehat{\mathcal{W}}(\mathcal{W}_f; K) \simeq D^b\text{Coh}(\hat{Y}_f)$$

2. 상대적 특이점 범주와 다중 버블 플럼빙:
   섬유화의 바닥면의 원점을 채워 넣음으로써, 저자들은 "다중 버블" 플럼빙 $W_f$를 얻는다. 라그랑지안 코어에 대한 특정 비등위 (non-isotopy) 조건이 성립한다고 가정할 때, 그들은 (정리 10) $W_f$의 유도된 감싸인 푸카야 범주가 크레판트 분해 $Y_f$의 상대적 특이점 범주 (구조 층에 의한 유도 범주의 몫으로 정의됨) 와 동치임을 증명한다. 이는 이중 버블 플럼빙에 대한 이전 결과들을 일반화한다.

3. 심플렉틱 매핑 클래스 군:
   본 논문은 $\mathcal{W}_f$의 심플렉틱 매핑 클래스 군이 무한히 생성됨을 확립한다.

   • 정리 15: $cA_n$ 특이점이 고립되어 있다면, 특정 무한히 생성된 부분군 $PBr^c_{n+2}$가 순수 뱀프 군 $PBr_{n+2}$의 부분군으로서 콤팩트 지지 심플렉틱 매핑 클래스 군 $\pi_0 \text{Symp}_c(\mathcal{W}_f)$로 분할 단사 (split-inject) 된다.
   • 정리 17: 전체 순수 뱀프 군 $PBr_{n+2}$를 포함하는 유사한 분할 단사 사상이 등급 심플렉틱 매핑 클래스 군에 대해서도 존재한다.
   • 이러한 결과들은 콘포일드 (conifold) 경우를 다룬 Keating-Smith 의 작업을 렌즈 공간 플럼빙을 포함하는 더 넓은 클래스로 일반화한다.

4. 라그랑지안 매장 (Embeddings) 에 대한 응용:
   HMS 동치성에서 유도된 순환 준-확장 (cyclic quasi-dilations) 의 존재를 이용하여, 저자들은 (명제 47) 특정 조건 하에서 $W_f$ 내의 닫힌 방향성 정확한 라그랑지안 부분다양체가 $K(\pi, 1)$ 공간일 수 없음을 증명한다.

의의 및 주장
본 논문은 이중 버블 플럼빙 (Smith-Wemyss) 과 콘포일드 매끄러움 (Keating-Smith) 에 대한 호몰로지적 거울 대칭 결과를 렌즈 공간을 포함하는 순환적 플럼빙 클래스로 일반화한다고 주장한다.

• 거울 기하학이 비자명한 렌즈 공간 코어와 순환적 교차 패턴을 포함하는 3-폴드 클래스에 대한 HMS 의 구체적인 실현을 제공한다.
• Smith 와 Wemyss 가 제기한 "실현 문제", 즉 어떤 상대적 특이점 범주들이 렌즈 공간의 플럼빙에서 발생하는지에 대한 질문에 부분적으로 답한다.
• 이러한 스타인 다양체들의 심플렉틱 매핑 클래스 군이 풍부하고 무한히 생성됨을 보여주며, 알려진 현상을 $A_1$(콘포일드) 경우에서 더 높은 $A_n$과 더 복잡한 위상적 유형으로 확장한다.
• 이 작업은 대수적 토러스 섬유화의 전체 공간의 감싸인 푸카야 범주와 그 바닥면의 감싸인 푸카야 범주 사이의 관계에 대한 Lekili-Segal 의 추측을 특정 설정에서 확인한다.

저자들은 그들의 결과가 모스-본트 섬유화를 통한 감싸인 푸카야 범주의 계산과, 그 결과로 얻어진 대수를 크레판트 분해와 관련된 퀴버의 경로 대수와 동일시하는 데 의존한다고 강조한다. 매핑 클래스 군 결과에 대한 증명들은 Toda 가 예외적 영역 위의 일관층의 유도 범주의 자동 동치 군에 대해 수행한 계산에 의존한다.