Log motivic Gysin isomorphisms

기술 요약: 로그 모티빅 가이즌 동형 사상 (Log Motivic Gysin Isomorphisms)

문제 제기
본 논문은 미세 및 포화(fine and saturated, fs) 로그 스킴(log scheme)의 공리적 모티빅 설정 내에서 가이즌 동형 사상(Gysin isomorphisms)을 구축하는 문제를 다룬다. 모렐(Morel)과 보이브로드스키(Voevodsky)가 $\mathbb{A}^1$-호모토피 이론 내의 매끄러운 스킴(smooth schemes)에 대해 가이즌 동형 사상을 확립한 반면, 이를 fs 로그 스킴으로 확장하는 데에는 근본적인 장애물이 존재한다: 만약 폐 삽입(closed immersion) $Z \to X$가 엄격(strict)하지 않다면, fs 로그 스킴의 범주 내에서 열린 여집합(open complement) $X - Z$가 반드시 존재한다는 보장이 없기 때문이다.

이를 해결하기 위한 이전의 시도들은 엄격성을 확보하기 위해 국소적 로그 블로우업(local log blow-ups)을 사용했으나, 이러한 방식은 전역적 함자성(global functoriality)이 결면되어 있었고 복잡한 자리스키 피복(Zariski covers)을 요구했다. 본 논문은 비엄격 폐 삽입인 경우에도 모티빅 안정 호모토피 범주 $SH(S)$ 내에서 다음의 자연스러운 동형 사상을 정식화하고자 한다:
$$\Sigma^\infty(X/X - Z) \simeq \Sigma^\infty(N_Z X / N_Z X - Z)$$

방법론
저자는 fs 로그 스킴 범주의 한계를 극복하기 위해 선행 연구 [15]에서 개발된 분할 로그 공간(divided log spaces) 이론을 채택한다.

1. 분할 로그 공간: 본 논문은 기저 $B$ 위의 분할 로그 공간의 범주 $lSpc/B$를 활용한다. 이들은 fs 로그 스킴($lSch/B$) 상의 분할 자리스키 층(dividing Zariski sheaves)이며, 대수적 공간(algebraic spaces)에서 영감을 받은 공리들을 만족한다. 결정적으로, $lSpc/B$ 내에서는 폐 삽입의 열린 여집합이 항상 존재하며, 로그 매끄러운 사상(log smooth morphisms)은 잘 정의된 블로우업과 법선 번들(normal bundles)을 갖는다.
2. 모티브의 확장: 안정 모티빅 호모토피 범주 $SH$(또는 일반적인 제시 가능한 대칭 단사$\infty$-범주 층$\mathcal{T}$)를$lSch/B$에서$lSpک/B$로 확장한다. 이 확장은$lSch/B$와$lSpc/B$상의$\infty$-층 범주 사이의 동치(Proposition 2.2.1)에 의존하며, $lSpc/B$ 내의 로그 매끄러운 사상에 대한 6-함자 형식(six-functor formalism)($f^\sharp$의 존재, 기저 변환, 투영 공식)을 확립하기 위해 부분 접착자(partial adjoints) 기술(Liu-Zheng [7])을 활용한다.
3. 법선 원뿔로의 변형 (Deformation to the Normal Cone): 분할 로그 공간에 적응된 '법선 원뿔로의 변형' 구조가 핵심 기술 도구이다. 본 증명은 다음 과정을 통해 일반적인 경우를 엄격한 폐 삽입을 가진 로그 매끄러운 스킴의 경우로 환원한다:
   • 팬 차트(fan charts)를 갖는 로그 스킴으로 환원하기 위해 자리스키 피복을 사용한다.
   • 풀백(pullback) 함자가 보수적(conservative)이고 결과적인 사상이 포화(saturated)되도록 하는 로그 매끄러운 사상 $g: S' \to S$에 따른 기저 변환을 수행한다(§3.3의 포화 성질을 통해 구성됨).
   • 로그 구조의 조합론적 측면을 처리하기 위해 팬(pans)(팬으로부터 유도된 격자 부분집합)과 그 세분화(subdivision) 개념을 활용한다.

주요 기여 및 결과

1. 로그 가이즌 동형 사상 (정리 3.4.1): 본 논문은 로그 매끄러운 분할 로그 공간의 폐 삽입 $Z \to X$에 대하여 $\mathcal{T}(S)$ 내의 자연스러운 동형 사상을 확립한다:
   $$M_S(X/X - Z) \simeq M_S(N_Z X / N_Z X - Z)$$
   이 결과는 삽입이 엄격할 것을 요구하지 않으며, 분할 로그 공간을 통해 열린 여집합의 존재성 문제를 해결한다.

2. 톰 변환 (Thom Transformations, 정리 4.2.5): 직접적인 응용으로서, 본 논문은 섹션 $a: S \to X$가 폐 삽입인 로그 매끄러운 사상 $p: X \to S$에 대하여 톰 변환 $Th(p, a) := p^\sharp a^*$가 $\infty$-범주의 동치임을 증명한다. 이는 고전적인 톰 동형 사상을 로그 설정으로 일반화한다.

3. 비엄격 사상에 대한 순수성 (Purity for Non-Strict Morphisms, 정리 5.2.11): 본 논문은 사상 $f^\sharp \simeq f^* \Sigma_f$ (여기서 $\Sigma_f$는 순수성 변환)로 정의되는 "순수성(purity)"을 조사한다. 순수성은 엄격한 매끄러운 사상에 대해서는 알려져 있으나, 본 논문은 특정 비엄격 proper fs 로그 스킴들이 순수함을 증명한다.

   • 구체적으로, 정리 1.4.2는 특정 로그 스킴들($V_1, V_2, V_3$)을 글루잉하여 구성된 $\mathbb{A}^2_{\mathbb{N}} \to \mathbb{A}^1_{\mathbb{N}}$의 특정 컴팩티피케이션 $W$에 대하여, 투영 $f: W \times_{\mathbb{A}^1} S \to S$가 순수함을 보여준다.
   • 이 결과는 구성된 로그 스킴 내에서의 열린 삽입과 닫힌 삽입을 포함하는 코파이버 시퀀스(cofiber sequences)에 대한 상세한 분석에 기초한다.

의의 및 주장
본 논문은 이러한 결과들이 fs 로그 스킴을 위한 모티빅 6-함자 형식을 구축하기 위한 필수적인 기초 블록을 제공한다고 주장한다.

• 가이즌 동형 사상과 특정 비엄격 사상의 순수성은 후속 연구 [16] 및 [18]에서 완전한 6-함자 형식을 확립하는 데 필수적인 것으로 묘사된다.
• 분할 로그 공간의 사용은 엄격한 사상과 비엄격 사상을 통합적으로 다룰 수 있게 하여, 국소적 블로우업의 기술적 복잡성을 피하고 함자성을 보장한다.
• 본 연구는 모티빅 호모토피 이론의 범위를 비엄격 사상이 빈번하게 나타나는 컴팩티피케이션 및 토로이달 임베딩(toroidal embeddings)에서 풍부한 로그 기하학을 포함하도록 확장한다.

저자는 본 논문이 [17]의 연속이며, 이러한 동형 사상과 변환을 공리적 틀 내에서 구축하는 데 집중하고 있으며, 6-함자 형식의 완전한 전개는 향후 출판물로 미룬다는 점을 명시적으로 밝히고 있다.