The nearby Lagrangian conjecture for pinwheels

기술적 요약: 핀휠에 대한 근접 라그랑지안 추측

문제 제기
본 논문은 V. I. Arnol'd 에 귀속된 근접 라그랑지안 추측 (NLC) 을 다룬다. 이 추측은 매끄러운 닫힌 다양체 $Q$의 여접다발 $T^*Q$ 내의 임의의 정확한 라그랑지안이 영단면과 해밀토니안 등변 (isotopic) 임을 주장한다. 이 추측은 의사정규곡선 기법을 사용하여 몇 가지 저차원 사례 (예: $T^*S^2$, $T^*T^2$) 에 대해서는 입증되었으나, 일반적인 다양체와 결정적으로 특이 라그랑지안에 대해서는 여전히 미해결 상태이다.

저자들은 라그랑지안 $(p, q)$-핀휠이라 불리는 특이 라그랑지안의 특정 클래스에 초점을 맞춘다. $(p, q)$-핀휠은 $p$-대 1 덮개 (covering) 를 통해 1-셀에 부착된 위상적 $p$-핀휠 (2-셀) 인데, 여기서 2-셀은 라그랑지안이며 $q$에 의해 결정되는 특정 기하학적 방식으로 핵심 원과 만난다. 이러한 대상들은 순환 몫 특이점 $\frac{1}{p^2}(1, pq-1)$의 밀러 섬유 (Milnor fibers) 인 유리 동형구체 (rational homology balls) $B_{p,q}$의 라그랑지안 골격 ($L^{\text{st}}_{p,q}$) 으로 자연스럽게 나타난다.

핵심 문제는 $B_{p,q}$에 매장된 임의의 라그랑지안 $(p, q)$-핀휠이 표준 골격 $L^{\text{st}}_{p,q}$과 해밀토니안 등변인지 여부를 결정하는 것이다. 이는 $B_{p,q}$의 특이 설정에 맞게 조정된 "NLC1" 부분 추측이다.

방법론
증명은 대칭 위상수학, 대수기하학, 의사정규곡선 이론을 결합한 두 개의 largely 독립적인 기술적 부분으로 구성된다.

1. 심플렉틱 유일성 (제 1 부):

   • 컴팩트화: 저자들은 비컴팩트 다양체 $B_{p,q}$의 컴팩트화 $X_{p,q}$를 구성한다. 이는 $B_{p,q}$의 거의 토릭 베이스 다이어그램을 캡핑하고 결과적으로 발생하는 오비폴드 특이점을 해소함으로써 달성된다. 결과 공간 $X_{p,q}$는 히르체브루흐 곡면에서 유리적으로 유도된다.
   • 규제 (Regulations) 와 목 늘리기 (Neck-Stretching): 그들은 $X_{p,q}$ 위의 "규제" (유리 곡선으로 이루어진 잎사귀) 개념을 활용한다. 매장된 핀휠을 따라 **심플렉틱 유리 불어올림 (symplectic rational blow-up)**을 수행함으로써 목 늘리기 하에서 의사정규곡선의 거동을 분석한다.
   • 잎사귀의 지속성: 핵심적인 기술적 결과는 $X_{p,q}$ 위의 규제 (정방형이 0 인 구들로 이루어진 잎사귀) 가 유리 불어올림 후에도 "지속"됨을 보이는 것이다. 구체적으로, 불어올려진 다양체 $\tilde{X}$는 Wahl 사슬 (불어올림에서 나온 예외적 구들) 과 컴팩트화 약수 (divisor) 로 구성되며, 단일 예외적 구로 연결된 유일한 깨진 규칙 (broken ruling) 을 허용한다.
   • 심플렉토미피즘 구성: 이러한 규제의 유일성과 핀휠 근방의 여집합이 최소 (minimal) 라는 사실을 이용하여, 임의의 라그랑지안 핀휠 $L$을 표준 골격 $L^{\text{st}}_{p,q}$로 매핑하는 컴팩트 지지 심플렉토미피즘 $\psi$를 구성한다.

2. 해밀토니안 등변 (제 2 부):

   • 심플렉토미피즘 군: 심플렉토미피즘 $\psi$를 해밀토니안 등변으로 격상시키기 위해, 저자들은 컴팩트 지지 심플렉토미피즘 군 $\text{Symp}_c(B_{p,q})$의 약한 호모토피 유형을 계산한다.
   • 콤 다이어그램 (Comb Diagrams): 그들은 다양체의 심플렉토미피즘 군을 부분다양체와 그 여집합의 군과 연관시키는 도구인 "콤 다이어그램"을 사용한다. 이를 통해 $\text{Symp}_c(B_{p,q})$를 $\text{Symp}_c(W_{p,q})$ (여기서 $W_{p,q} = B_{p,q} \setminus K_{p,q}$는 중앙 원통의 여집합) 와 연관시킨다.
   • 리우빌 완성: 그들은 $W_{p,q}$를 휘트니 구의 여접다발 $T^*Wh$ 내의 별모양 영역으로 식별한다. 그러한 영역의 심플렉토미피즘 군의 가약성에 관한 결과를 사용하여 $\text{Symp}_c(W_{p,q})$가 약하게 가약적임을 보인다.
   • 핀트위스트 (Pintwist): 그들은 $\text{Symp}_c(B_{p,q})$가 핀트위스트 $\tau_{p,q}$라 불리는 특정 심플렉토미피즘에 의해 생성되는 $\mathbb{Z}$와 약한 호모토피 동치임을 증명한다. 이 사상은 근본적인 특이점의 매끄러움 (smoothing) 과 관련된 심플렉틱 모노드로미이다.
   • 결론: 핀트위스트가 Banyaga 의 확장 정리와 소멸 코호몰로지를 통해 해밀토니안 등변까지 라그랑지안 골격을 보존하므로, $L$을 $L^{\text{st}}_{p,q}$로 매핑하는 임의의 심플렉토미피즘은 핀트위스트의 거듭제곱과 합성하여 해밀토니안 등변을 얻을 수 있다.

주요 기여 및 결과

• 주요 정리 (정리 A): $B_{p,q}$ 내의 임의의 라그랑지안 $(p, q)$-핀휠은 표준 라그랑지안 골격 $L^{\text{st}}_{p,q}$과 해밀토니안 등변이다. 이는 이 광범위한 특이 라그랑지안 클래스에 대해 근접 라그랑지안 추측을 입증한다.
• 심플렉틱 분류 (정리 B): $B_{p,q}$ 내의 임의의 두 라그랑지안 $(p, q)$-핀휠은 컴팩트 지지 심플렉토미피즘에 의해 관련된다.
• 심플렉토미피즘 군 구조 (정리 C): 군 $\text{Symp}_c(B_{p,q})$는 핀트위스트 $\tau_{p,q}$에 의해 생성되는 $\mathbb{Z}$와 약한 호모토피 동치이다. 이는 $p > 2$에 대해 이 군의 첫 번째 계산 결과를 제공한다 (이전 결과는 $p=1, 2$에 대해서만 존재함).
• 응용:
  1. 핀볼 비압축 (Pin-Ball Non-Squeezing): 저자들은 "핀볼" $B_{p,q}(r)$에 대한 그로모프 비압축 정리를 증명하여, $r \le \alpha$일 때만 핀원통 $E_{p,q}(\alpha, \infty)$에 매장됨을 보인다. 장애물은 유리 불어올림에서의 예외적 곡면의 면적에서 비롯된다.
  2. 국소 언노팅 (Local Unknotting): 그들은 $(1,1)$-핀휠 (라그랑지안 원반) 을 특수한 경우로 간주하여 $\mathbb{R}^4$ 내 라그랑지안 평면의 국소 언노팅에 대한 Eliashberg–Polterovich 정리에 대한 새로운 증명을 제공한다.
  3. 핀휠 유형의 유일성: $B_{p,q}$에 매장 가능한 유일한 라그랑지안 핀휠은 $(p, q)$ 유형 (또는 $(p, p-q)$) 임을 보여, 이러한 볼 내의 매끄러운 정확한 라그랑지안의 부재에 관한 이전 결과를 확장한다.

의의 및 주장
본 논문은 유리 동형구체에 대한 "영단면" 역할을 하는 중요한 특이 라그랑지안 클래스에 대해 근접 라그랑지안 추측을 해결했다고 주장한다. 저자들은 그들의 접근 방식이 심플렉틱 기하학과 곡면 특이점 (특히 Wahl 특이점) 의 대수기하학 간의 상호작용을 활용한다고 강조한다.

의의는 다음과 같다:

• NLC 확장: 매끄러운 다양체를 넘어 심플렉틱 특이점과 거울 대칭 연구에서 자연스러운 대상인 특이 라그랑지안으로 NLC 를 확장.
• 새로운 기법: $T^*Q$에 관한 이전 작업들과 마찬가지로 주변 공간의 전역 컴팩트화가 필요하지 않도록, 유리 동형구체 맥락에서 "규제"와 목 늘리기를 성공적으로 적용.
• 군 계산: 자연스러운 기하학적 연산 (핀트위스트, 디른 트위스트와 유사) 에 의해 생성되는 구조를 드러내는 $B_{p,q}$의 심플렉틱 매핑 클래스 군에 대한 완전한 설명 제공.
• 정량적 장애물: 유일성을 위한 사용된 방법들이 정량적 매장 장애물 (비압축) 을 산출함을 보여, 핀휠의 위상과 심플렉틱 용량을 연결.

저자들은 그들의 작업이 $\mathbb{CP}^2$ 내 유리 동형구체에 대한 보다 광범위한 매장 정리에 대한 "전편" 역할을 하며, 이러한 전역 분류에 필요한 국소 유일성 결과를 제공한다고 언급한다. 그들은 명시적으로 그들의 방법이 $B_{p,q}$의 특정 기하학과 거의 토릭 섬유화에 의존하며, 추가 개발 없이는 모든 차원이나 모든 특이 라그랑지안으로 즉시 일반화되지 않는다고 밝힌다.