$\mathbb{A}^1$-fibration in algebraic geometry and $\mathbb{A}^1$-homotopy type

*** 기술 요약: 대수 기하학에서의 $\mathbb{A}^1$-파이버레이션(Fibration) 및 $\mathbb{A}^1$-호모토피 유형 ***

문제 제기
본 논문은 (일반적으로 곡선 또는 곡면인) 기저 공간 $Y$ 위로 $\mathbb{A}^1$-파이브레이션(fibration)을 갖는 대수적 다양체 $X$의 $\mathbb{A}^1$-호모토피 유형을 복원하는 문제를 다룬다. 고전적 위상수학에서 만약 파이브레이션 $F \to X \to Y$가 수축 가능한 파이버 $F$를 갖는다면, $X$의 호모토피 유형은 $Y$의 호모토피 유형과 동형이다. 그러나 대수 기하학에서 $\mathbb{A}^1$-파이브레이션은 종종 1차원 코디멘션의 폐쇄된 로커스(locus) 위에서 "나쁜" 또는 퇴화된 파이버(가약하거나 비축약적인 형태)를 가진다. 핵심 질문은 모렐(Morel)과 보에보드스키(Voevodsky)가 개발한 불안정 모티브 호모토피 범주 $\mathcal{H}(k)$의 틀 안에서, 전체 공간 $X$의 전역적 $\mathbb{A}^1$-호모토피 유형을 기저 $Y$와 이러한 퇴화된 파이버들의 기하학적 구성으로부터 완전히 복원할 수 있는가 하는 점이다.

방법론
저자들은 불안정 모티브 호모토피 이론의 기법, 특히 심플리셜 프리셰functor $\text{Sing}_*$와 니스네비치(Nisnevich) 국소 약동치(local weak equivalence)의 성질을 활용한다. 방법론은 다음과 같은 몇 가지 핵심 단계로 진행된다:

1. $\mathbb{A}^1$-번들의 국소 약동치: 저자들은 에탈레(étale) 국소적으로 자명한 $\mathbb{A}^1$-번들 $\rho: X \to C$가 니스네비치 국소 약동치 $\rho_*: \text{Sing}_*(X) \to \text{Sing}_*(C)$를 유도함을 입증한다. 이는 임의의 본질적으로 매끄러운 헨젤리안(Henselian) 국소 스킴 $O$에 대하여, 유도된 사상이 심플리셜 세트 상의 자명한 칸 파이브레이션(trivial Kan fibration)임을 보여줌으로써 증명된다. 이는 $\mathbb{A}^1_O$ 위의 $\mathbb{A}^n_O$와 같은 아핀 기저 위에서의 $\mathbb{A}^1$-번들이 관련 코호몰로지 군($H^1_{\text{ét}}(\mathbb{A}^n_O, \text{Aut}(\mathbb{A}^1_k)) \cong 0$)의 소멸로 인해 자명하다는 사실에 기초한다.
2. $\mathbb{A}^1$-파이브레이션의 인수분해: 구조 정리(Theorem 2.19)를 활용하여, 저자들은 임의의 $\mathbb{A}^1$-파이브레이션 $\pi: X \to C$ ($X$는 매끄러운 아핀 곡면, $C$는 매끄러운 곡선)를 에탈레 국소적으로 자명한 $\mathbb{A}^1$-번들 $\theta: X \to \mathcal{C}$와, 그 뒤를 잇는 생사적(birational) 사상 $\alpha: \mathcal{C} \to C$로 인수분해한다. 여기서 $\mathcal{C}$는 퇴화된 파이버의 데이터(성분의 수, 다중도)를 인코딩하는 매끄러운 대수적 공간이다.
3. 심플리셜 수축성 및 $\mathbb{A}^1$-국소성: 논문은 $\text{Sing}_*(X)$의 $\mathbb{A}^1$-국소성(즉, $\text{Sing}_*(X)$가 $\mathbb{A}^1$-모델 구조에서 파이브런트(fibrant)인지 여부)을 조사한다. 이는 $\text{Sing}_*$와 몫(quotient) 사이의 가환성을 분석하고, 코파이브레이션 시퀀스에 "약한 파이브 레마(weak five lemma)"를 적용하는 과정을 포함한다.
4. $\mathbb{A}^1$-연결 성분의 분석: 저자들은 $\mathbb{A}^1$-연결 성분의 층(sheaf) $\pi^{\mathbb{A}^1}_0(X)$를 연구한다. 이들은 두 종류의 매끄러운 아핀 곡면을 구분한다: $\mathbb{A}^1$-유루니드(uniruled, 음의 로그 코다이라 차원)인 경우와 그렇지 않은 경우(비음의 로그 코다이라 차원). 후자의 경우, 저자들은 "고스트 호모토피(ghost homotopy)" 기법을 사용하여 층 $S(X)$가 $S_2(X)$에서 안정화됨을 보여준다.

주요 기여 및 결과

• 정리 2.22: 논문은 $\rho: X \to C$가 매끄러운 대수적 공간 $C$ 위의 에탈레 국소적으로 자명한 $\mathbb{A}^1$-번들이라면, 유도된 사상 $\rho_*: \text{Sing}_*(X) \to \text{Sing}_*(C)$가 니스네비치 국소 약동치를 유도함을 증명한다. 결과적으로 $\rho$는 $\mathbb{A}^1$-약동치이다. 이 결과는 벡터 번들이 호모토피 동치라는 고전적 사실을 대수적 공간 위의 $\mathbb{A}^1$-번들 설정으로 일반화한다.
• 코라스-러셀 삼중체의 $\mathbb{A}^1$-국소성 (정리 3.2): 저자들은 제1종 코라스-러셀 삼중체 $X$에 대하여 $\text{Sing}_*(X)$가 심플리셜하게 수축 가능하며 $\mathbb{A}^1$-로컬(local)함을 증명한다. 이 결과는 캔슬레이션 공준(cancellation conjecture)에 의존하는 대신, 코파이브레이션 도식에 약한 파이브 레마를 직접 적용하여 확립되었다. 논문은 [15]에서 이러한 삼중체들의 $\mathbb{A}^1$-수축성이 이미 증명되었으나, $\text{Sing}_*(X)$의 $\mathbb{A}^1$-국소성은 새로운 기여임을 명시한다. 또한 저자들은 만약 자르키(Zariski) 캔슬레이션 공준이 참이라면(즉, $X \times \mathbb{A}^1 \cong \mathbb{A}^4$), $\text{Sing}_*(X)$는 $\text{Sing}_*(\mathbb{A}^4)$의 리트랙트(retract)로서 반드시 $\mathbb{A}^1$-로컬할 것이라고 언급하지만, 본 논문의 국소성 증명은 이 미해결 공준에 의존하지 않는다.
• 매끄러운 아핀 곡면의 $\pi^{\mathbb{A}^1}_0$에 대한 $\mathbb{A}^1$-불변성 (따름정리 4.40): 논문은 임의의 매끄러운 아핀 복소 곡면 $X$에 대하여, $\mathbb{A}^1$-연결 성분 층 $\pi^{\mathbb{A}^1}_0(X)$가 $\mathbb{A}^1$-불변임을 확립한다.
  • 로그 코다이라 차원이 비음수인 곡면(non-$\mathbb{A}^1$-uniruled)의 경우, $S(X) \cong S_2(X)$임을 보여줌으로써 체인 연결 성분이 안정화됨을 통해 증명된다.
  • $\mathbb{A}^1$-유루니드 곡면(음의 로그 코다이라 차원)의 경우, 대수적 공간 $\mathcal{C}$를 통한 인수분해를 통해 결과가 도출된다. 저자들은 기저 곡선이 $\mathbb{A}^1$-강직(rigid)하다면 $\pi^{\mathbb{A}^1}_0(X) \cong \mathcal{C}$임을 보여준다. 기저가 강직하지 않다면, $\mathcal{C}$(그리고 따라서 $X$)가 $\mathbb{A}^1$-연결되어 있음을 증명한다.
• $\mathbb{A}^1$-호모토피 유형의 분류 (섹션 5): 논문은 $\mathbb{A}^1$-루드(ruled) 곡면의 $\mathbb{A}^1$-호모토피 유형을 기저 대수적 공간 $\mathcal{C}$의 성질에 기반하여 분류를 제공한다.
  • $\mathcal{C}$가 $\mathbb{A}^1$-강직하다면, $X$의 $\mathbb{A}^1$-호모토피 유형은 $\mathcal{C}$의 동형 유형과 같다.
  • $\mathcal{C}$가 $\mathbb{A}^1$-연결되어 있다면(예: $\mathcal{C} \cong \mathbb{A}^1$ 또는 여러 개의 원점을 가진 $\mathbb{P}^1$), $\mathbb{A}^1$-호모토피 유형은 원점의 개수와 퇴화된 파이버의 구성에 의해 결정되며, 흔히 $\mathbb{P}^1$들의 웨지(wedge) 또는 여러 원점을 가진 아핀 라인과 동등한 유형을 나타낸다.

의의 및 주장
본 논문은 매끄러운 아핀 복소 곡면이라는 구체적이고 중요한 맥락에서 연결 성분 층 $\pi^{\mathbb{A}^1}_0(X)$의 $\mathbb{A}^1$-불변성 문제를 해결한다고 주장한다. $\pi^{\mathbb{A}^1}_0(X)$가 $\mathbb{A}^1$-불변이라는 일반적인 추측은 (Ayoub에 의해) 일반적인 공간에 대해서는 거짓임이 알려져 있으나, 본 연구는 모든 매끄러운 아핀 곡면에 대해 이의 타당성을 입증한다.

나아가, 저자들은 $\mathbb{A}^1$-파이브레이션의 퇴화된 파이버들의 기하학적 데이터와 그로 인한 $\mathbb{A}^1$-호모토피 유형 사이의 직접적인 연결 고리를 확립한다. 파이브레이션을 대수적 공간 $\mathcal{C}$로 인수분해함으로써, "나쁜" 파이버들이 $\mathcal{C}$의 구조(예: 비분리성 또는 다중 점)에 정확히 인코딩되어 있으며, 전체 공간 $X$가 이 대수적 공간과 $\mathbb{A}^1$-약동치임을 보여준다. 이는 로그 코다이라 차원이 음수인 곡면의 $\mathbb{A}^1$-호모토피 유형을 계산하는 구체적인 방법을 제공하며, 문제를 1차원 대수적 공간의 특정 점 다중도를 가진 분류 문제로 환원시킨다.

또한, 이 작업은 코라스-러셀 삼중체와 같은 특정 다양체의 $\mathbb{A}^1$-국소성에 대한 이해에 기여하며, 캔슬레이션 문제와 이색적인(exotic) 대수적 구조의 구조에 대한 광범위한 연구를 뒷받침한다.