$\mathbb{A}^1$-homotopy theory of log schemes

기술적 요약: 로그 스킴의 $\mathbb{A}^1$-호모토피 이론

문제 제기
본 논문은 그로텐디크의 6개 함자 형식(six-functor formalism)을 만족하는, 미세 및 포화(fine and saturated, fs) 로그 스킴을 위한 안정적 모티브 호모토피 범주(stable motivic homotopy category)의 구성을 다룬다. Park, Ayoub 등의 선행 연구는 $\mathbb{A}^1$ 대신 $\square := (\mathbb{P}^1, \infty)$를 역원(invert)으로 취하는 로그 모티브(denote $\log DM(k)$ 및 $\log SH(S)$)의 프레임워크를 구축하였다. 이러한 비-$\mathbb{A}^1$-불변(non-$\mathbb{A}^1$-invariant) 설정은 Hodge 코호몰로지와 로그 위상적 호지-틸리즘(logarithmic topological Hochschild homology)과 같은 코호몰로지 이론들을 성공적으로 포함하지만, 국소화 성질(localization property)을 만족하지 못한다. 구체적으로, 엄격한 폐쇄 침식(strict closed immersion) $i$와 그 열린 보집합 $j$에 대하여, 시퀀스 $j_\sharp j^* \to \text{id} \to i_* i_*$는 코파이버 시퀀스(cofiber sequence)가 아니며, $i_*$는 완전 충실(fully faithful)하지 않다. 이러한 실패는 모티브 근방 순환(motivic nearby cycles) 함자를 구성하고 경계의 코호몰로지를 계산하는 데 필수적인 그로텐디크 6개 함자 형식을 유도하는 것을 방해한다.

방법론
저자는 fs 로그 스킴 $X$에 대하여 $\mathbb{A}^1$을 역원으로 취하면서도 특정한 로그 기하학적 특징들을 유지하는 새로운 안정적 모티브 $\infty$-범주 $SH(X)$를 구축한다. 구성 과정은 다음과 같다:

1. 자리스키 로그 구조로의 제한: 이론은 fs 로그 스킴이 자리스키 로그 구조(monoid sheaf가 Zariski sheaf인 경우)를 갖도록 개발된다. 저자는 Niziol의 결과에 의해, 임의의 fs 로그 스킴이 자리스키 로그 구조를 갖는 로그 블로우업(log blow-up)을 허용한다는 점을 들어 이것이 일반성을 상실하는 것이 아님을 명시한다.
2. 수직 경계(Vertical Boundaries): 로그 매끄러운 사상 $f: X \to S$에 대하여 "수직 경계" $\partial_S X$라는 핵심 개념을 도입한다. 이는 모노이드 사상 $M_{S,f(x)} \to M_{X,x}$가 수직(vertical)이 아닌 점들의 집합이다. $X - \partial_S X$는 로그 스킴의 "수직적(vertical)" 부분을 나타낸다.
3. 국소화 함자(Localization Functors): $SH(X)$는$X$위의 로그 매끄러운 스킴들($lSm/X$)의 분할 니센비치 셰프(dividing Nisnevich sheaves) $\infty$-범주로부터 시작하여 이중 국소화를 적용함으로써 구축된다:
   • $\mathbb{A}^1$-국소화: 사영 $X \times \mathbb{A}^1 \to X$를 역원으로 취한다.
   • **수직 국소화($ver$):** 수직 경계의 보집합에 대한 사상$U - \partial_X U \to V - \partial_X V$가 동형인$lSm/X$내의 열린 침식$j: U \to V$를 역원으로 취한다.
4. 고전적 이론과의 비교: 로그 구조가 자명한 스킴 $S$에 대하여, 저자는 새로운 범주 $SH(S)$가 기존의 Morel-Voevodsky 구성을 복구함을 증명한다. 이는 $\mathbb{A}^1$-불변성이 존재할 때, 클래스 $ver$를 역원으로 취하는 것이 클래스$U - \partial U \to U$를 역원으로 취하는 것과 동등함을 보임으로써 달성된다.

주요 기여 및 결과

• $SH(X)$의 구축: 본 논문은 fs 로그 스킴을 위한 안정적 모티브 $\infty$-범주 $SH(X)$와 그 아벨리안 변형$DA(X, \Lambda)$를 정의한다. 이는 자명한 로그 구조를 가진 스킴들에 대해 고전적인 Morel-Voevodsky 범주들을 복구함을 보여준다.
• 국소화 성질: 주요 기술적 결과는 구축된 범주들이 국소화 성질을 만족한다는 증명이다. 엄격한 폐쇄 침식 $i: Z \to S$와 그 열린 보집합 $j: U \to S$에 대하여, 시퀀스
  $$j_\sharp j^* F \xrightarrow{ad'} F \xrightarrow{ad} i_* i_* F$$
  는 $SH(S)$(및 관련 범주들)에서 코파이버 시퀀스이며,$i_*$는 완전 충실하다.
• 6개 함자 형식: 국소화 성질의 직접적인 결과로서, 본 논문은 Ayoub와 Cisinski-Déglise의 기초 연구에 의거하여 fs 로그 스킴의 엄격한 사상들에 대한 그로텐디크 6개 함자 형식($f^*, f_*, f_!, f^!, \otimes, \underline{Hom}$)을 확립한다.
• 경계의 코호몰로지: 저자는 베이스 $B$ 위에서 로그 매끄러운 fs 로그 스킴 $X$의 코호몰로지에 대한 정형적인 긴 exact sequence를 유도한다:
  $$\cdots \to E^{p,q}(X) \to E^{p,q}(X - \partial X) \oplus E^{p,q}(\partial X) \to E^{p,q}(\partial X) \to E^{p+1,q}(X) \to \cdots$$
  이는 $\partial X$의 코호몰로지를 밑바닥 스킴 $X - \partial X$의 코호몰로지로 표현한다.
• 코호몰로지 이론의 확장: 이 프레임워크는 fs 로그 스킴을 위한 $\mathbb{A}^1$-불변 코호몰로지 이론들을 정의할 수 있게 한다:
  • 모티브 코호몰로지 $H^p_M(X, \Lambda(q))$
  • 호모토피 K-이론 $KHP(X)$
  • 대수적 코보리즘(Algebraic cobordism) $MGL^{p,q}(X)$
• 명시적 계산: 저자는 표준 로그 점 $pt_{\mathbb{N}, B}$의 코호몰로지를 명시적으로 계산하고, $\partial X$의 코호몰로지를 $X - \partial X$의 무한대에서의 안정적 호모토피 타입(stable homotopy type at infinity)과 연결하여 Dubouloz-Déglise-Østvær 및 Levine의 연구와 연관시킨다.

의의
본 논문은 $\mathbb{A}^1$-불변 설정 내에서 fs 로그 스킴을 위한 그로텐디크 6개 함자 형식 연구를 개시한다고 주장한다. $\mathbb{A}^1$과 특정한 클래스 $ver$를 역원으로 취함으로써, 저자는 비-$\mathbb{A}^1$-불변 로그 모티브 이론에 존재하는 장애물(국소화 성질의 실패)을 해결한다. 이를 통해 모티브 근방 순환 함자를 구성하는 데 유리하며, 특히 양의 표수 및 혼합 표수(mixed characteristic)에서 잘 작동하는 도구를 제공한다. 이 작업은 저자의 학위 논문을 재정립(reboot)하는 것으로, 계산 가능성을 유지하면서도 필요한 형식을 유지하도록 역원 전략을 정교화한다. 이 결과들은 6개 함자 형식을 더욱 발전시키고 구체적인 기하학적 문제에 적용하는 일련의 후속 논문들을 위한 토대를 마련한다.