On the nilpotent residue non-abelian Hodge correspondence for higher-dimensional quasiprojective varieties

기술 요약: 고차원 준사영 다양체에 대한 멱영 잔차 비가환 호지 대응에 관하여

문제 정의
본 논문은 고차원 준사영 다양체에 대한 비가환 호지 대응의 위상적 성질을 다룬다. 구체적으로, $\bar{X}$가 매끄러운 사영 다양체이고 $D$가 단순 정규 교차(simple normal crossing)인 경우, 사영 로그 매끄러운 복소 다양체 $(\bar{X}, D)$를 고려한다. 저자들은 두 가지 모듈라이 공간에 집중한다:

1. $M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r)$: 멱영 잔차(nilpotent residues)와 소거된 천 클래스($c_i(E)=0$)를 갖는 계수 $r$의 폴리스태블(polystable) 로그 힉스 번들들의 모듈라이 공간.
2. $M^{\text{nilp}}_{\text{DR}}(\bar{X}, D, r)$: 멱영 잔차를 갖는 계수 $r$의 폴리스태블 로그 연결(logarithmic connections)들의 모듈라이 공간.

[BBT24]의 연구에서, 연속적인 전단사 함수(continuous bijection) $S^{\text{nilp}}_{(\bar{X}, D)}: M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r)(\mathbb{C}) \to M^{\text{nilp}}_{\text{DR}}(\bar{X}, D, r)(\mathbb{mathbb{C}})$가 확립되었다. 이 사상은 $\bar{X}$가 곡선(curve)일 때 유클리드 위상에서 홈오모피즘(homeomorphism)임이 증명되었으나, 고차원 다양체의 경우 역함수의 연속성 문제가 미해결 상태로 남아 있었다. 핵심 문제는 이 연속적인 전사 함수가 고차원 다양체에 대해서도 실제로 홈오모피즘인지 결정하는 것이다.

방법론
본 논문은 "레프셰츠 곡선(Lefschetz curves)"을 사용하는 환원 전략을 사용하여 곡선의 성질을 고차원 사례로 전이시킨다. 방법론은 다음과 같은 단계로 진행된다:

1. 레프셰츠 곡선: 저자들은 $\bar{X}$에 대해 $D$에 가로지르는 매끄러운 완전 교차 곡선(smooth complete intersection curve)으로서, 유도된 기본군 준사상 $\pi_1(\bar{C} \setminus D) \twoheadrightarrow \pi_1(\bar{X} \setminus D)$가 전사(surjective)인 레프셰츠 곡선 $\iota: \bar{C} \hookrightarrow \bar{X}$의 개념을 활용한다.
2. 제한 사상(Restriction Maps): 이러한 곡선은 $\bar{X}$와 $\bar{C}$ 사이의 로그 힉스 번들과 로그 연결의 모듈라이 공간 사이의 제한 사상 $i^*_{\text{Dol}}$ 및 $i^*_{\text{DR}}$를 유도한다. 곡수의 경우 대응 관계가 이미 홈오모피즘으로 알려져 있으므로($[BBT24]$참조),$S^{\text{nilp}}_{(\bar{C}, D \cap \bar{C})}$는 홈오모피즘이다.
3. 가환 도식(Commutative Diagrams): 저자들은 다양체와 곡선의 히친 맵($h$) 및 히친 기저(Hitchin bases) 사이의 제한 사상을 포함하는 가환 도식을 구성한다.
4. 적절성(Properness) 및 단사성(Injectivity): 주요 결과를 증명하기 위해 저자들은 두 가지 결정적인 성질을 확립한다:
   • $i^*_{\text{Dol}}$의 적절성: 저자들은 힉스 모듈라이 공간에 대한 제한 사상이 적절(proper)하게 되는 레프셰츠 곡선이 존재함을 증명한다. 이는 히친 맵 $h_{(\bar{X}, D)}$의 적절성(참조 $[Lan14]$)과 히친 기저 상의 제한 사상의 단사성에 근거하여 적절성 판정법(valuative criterion for properness)을 사용하여 달성된다.
   • 히친 기저 제한의 단사성: 저자들은 $\bar{X}$ 상의 로그 미분 형식의 대칭 거듭제곱(symmetric powers)의 전역 섹션들로부터 $\bar{C}$ 상의 섹션들로 가는 제한 사상 $\text{res}$가 단사적인 레프셰츠 곡선 $\bar{C}$가 존재함을 입증한다. 이는 섹션들이 0이 되지 않는 점들과 접방향(tangent directions)의 유한 집합을 구성하고, 이를 통과하며 주어진 접방향을 갖는 곡선을 찾기 위해 $[ACV19]$를 호출함으로써 증명된다.

주요 기여 및 결과

• 정리 1 (Theorem 1): 본 논문은 제한 사상 $i^*_{\text{Dol}}: M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r) \to M^{\text{nilp}}_{\text{Dol}}(\bar{C}, D \cap \bar{C}, r)$이 적절(proper)하게 되는 레프셰츠 곡선 $\bar{C} \subset \bar{X}$의 존재를 증명한다.
• 따름정리 2 (Corollary 2): 정리 1과 알려진 곡수의 사례로부터 직접적인 결과로서, 비교 사상 $S^{\text{nilp}}_{(\bar{X}, D)}$는 고차원 로그 매끄러운 사영 다양체에 대해 유클리드 위상에서 홈오모피즘임을 증명한다.
• 기술적 보조정리 (Proposition 3): 본 논문은 멱영 잔사와 소거된 천 클래스를 갖는 로그 힉스 번들에 대한 히친 맵이 적절함을 명시하며, 천 클래스가 소거되는 조건이 torsion-free sheaf의 모듈라이 공간 내에서 닫힌 부분 스킴(closed subscheme)을 정의함을 언급한다.
• 기술적 보조정리 (Proposition 4): 본 논문은 히친 기저 상에서 단사적인 제한을 유도하는 레프셰츠 곡선의 존재를 확립하며, 이는 모듈라이 공간 제한의 적절성을 보장하기 위한 필수적인 단계이다.

의의 및 주장
본 논문은 멱영 잔사의 경우에 대해 고차원 설정에서의 비가환 호지 대응의 위상적 문제를 해결한다고 주장한다. $[BBT24]$에서 확립된 연속적인 전사 함수가 홈오모피즘임을 증명함으로써, 저자들은 로그 힉스 번들과 로그 연결의 모듈라이 공간이 유클리드 위상에서 위상적으로 동등함을 확인하며, 이는 알려진 곡수의 결과를 임의의 차원으로 확장하는 것이다.

이 연구는 레프셰츠 곡선의 기하학과 히친 파이브레이션(Hitchin fibration)의 대수적 성질 사이의 상호작용에 크게 의존한다. 그 의의는 히친 맵의 적절성과 필요한 코호몰로지 및 기본군 데이터를 보존하는 특정 기하학적 곡선 구성을 활용하여, 홈오모피즘 결과의 엄밀한 확장을 수행했다는 점에 있다. 본 논문은 새로운 응용이나 향후 방향을 제안하기보다는, 이러한 모듈라이 공간들의 위상적 동등성을 확립하는 데 엄격히 집중한다.