On the Motivic Homotopy Type of Algebraic Stacks

기술 요약: 대수적 스택의 모티빅 호모토피 유형에 관하여

문제 제기
본 논문은 모티빅 호모토피 이론과 모티브 이론을 스킴(scheme)에서 일반적인 대수적 스택(algebraic stack)으로 확장하는 과제를 다룬다. 호모토피적 하강(homotopical descent) 기법은 스택 문제를 스킴의 문제로 환원할 수 있게 해주지만, 역사적으로 이러한 환원은 니스네비치 국소 몫 스택(Nisnevich locally quotient stacks, 예: 선형 환원 가능한 안정자(stabilizer)를 갖는 스택)과 같은 특정 부류의 스택으로 제한되어 왔다. 임의의 대수적 스택(특히 국소 몫 구조나 특정 분리 가설이 결여된 스택)에 대해 표준적인 모티브 및 모티빅 호모토피 범주 형식이 "올바른" 결과를 도출하는지를 확립하는 데에는 상당한 공백이 존재했다. 또한, 이전에 니스네비치 국소 섹션(Nisnevich local sections)을 갖는 매끄러운 프레젠테이션(smooth presentation)의 존재를 요구했던 안정적 모티빅 호모토피 범주의 서로 다른 정의들을 통일할 필요가 있었다.

방법론
저자들은 **매끄러운-니스네비치 덮개(smooth-Nisnevich coverings)**에 기반한 프레임워크를 개발한다. 대수적 스택의 사상 $f: Y \to X$는 매끄럽고, 체의 스펙트럼 $\text{Spec } K \to X$로부터 오는 모든 사상이 $Y$로 리프트(lift)될 때 매끄러운-니스네비치 덮개라고 정의된다.

핵심적인 방법론적 기여는 임의의 대수적 스택에 대해 이러한 덮개의 존재성을 입증함으로써, 분리 가설, 유한 유형(finite type), 또는 안정자 성질에 관한 이전의 제약을 제거하는 것이다. 저자들은 다음을 활용한다:

1. 분할 덮개(Splitting Covers): 매끄러운 사상이 분할 덮개(사상이 섹션을 갖는 기저의 유한 분할)를 갖는 것은 오직 그것이 매끄러운-니스네비치 덮개인 경우와 동치임을 입증한다.
2. 힐베르트 스택(Hilbert Stacks): 존재성 증명은 힐베르트 스택의 성질, 특히 준유한(quasi-finite) 또는 에탈레(étale) 패밀리를 매개변수화하는 서브스택의 성질에 의존한다. 매끄러운 덮개의 힐베르트 스택을 분석함으로써, 저자들은 표현 가능(representable)하며 원하는 리프팅 성질을 갖는 새로운 덮개를 구성한다.
3. 체 뇌르브(Čech Nerves): 매끄러운-니스네비치 덮개 $p: \mathcal{X} \to X$ (여기서 $\mathcal{X}$는 스킴)가 설정되면, 저자들은 연관된 체 뇌르브 $\mathcal{X}_\bullet$를 분석한다. 그들은 이 심플리셜 스킴(simplicial scheme)이 모렐-보베브스키키(Morel-Voevodsky) $\mathbb{A}^1$-호모토피 범주에서 동치를 유도함을 증명한다.

주요 기여 및 결과

• 정리 1.2 (매끄러운-니스네비치 덮개의 존재성): 본 논문은 임의의 대수적 스택 $X$에 대하여, $\mathcal{X}$가 스킴인 매끄러운-니스네비치 덮개 $p: \mathcal{X} \to X$가 존재함을 증명한다.

  • $X$가 아핀 안정자를 갖는 qcqs(quasi-compact and quasi-separated)인 경우, $\mathcal{X}$는 아핀(affine)으로 선택될 수 있다.
  • $X$가 델리뉴-멈포드(Deligne–Mumford) 스택인 경우, $p$는 에탈레(étale)로 선택될 수 있다.
  • 이 결과는 이전 문헌([LMB00], [Čes15], [Pir18])에서 요구되었던 분리 가설과 노터(noetherian) 가정을 제거함으로써 기존의 발견들을 일반화한다.

• 정리 1.3 (호모토피 하강): 체 $k$ 위에서 $p: \mathcal{X} \to X$를 매끄러운-니스네비치 덮개라 하고 $\mathcal{X}_\bullet$를 그 체 뇌르브라 하자. 사상 $\mathcal{X}_\bullet \to X$는 모렐-보베브스키키 $\mathbb{A}^1$-호모토피 범주 $\mathcal{H}(k)$에서 동치를 유도한다.

  • 이는 임의의 대수적 스택의 니스네비치 호모토피 유형이 심플리셜 스킴에 의해 기술될 수 있음을 확립하며, 이를 통해 모든 스택에 대한 호모토피적 하강 논의를 가능하게 한다.

• 매끄러운 스택의 모티빅 성질 (정리 3.4): 하강 결과의 결과로서, 매끄러운 대수적 스택 $X$의 모티브 $M(X)$는 매끄러운 스킴의 모티브와 동일한 근본적인 성질들을 만족한다:

  • 니스네비치 하강(Nisnevich descent).
  • 사영 번들 공식(Projective bundle formula).
  • 블로우업 공식(Blow-up formula).
  • 기센 삼각형(Gysin triangle).
  • 이 결과들은 이전에 니스네비치 국소 몫 스택으로 제한되었던 [CD20]의 결과들을 일반화한다.

• 안정적 호모토피 범주의 통일 (따름정리 3.13): 본 논문은 임의의 quasi-separated 대수적 스택 $X$에 대하여, 리미트 확장된 안정적 모티빅 호모토피 범주 $\mathcal{SH}^\wedge(X)$ ([KR21]에서)와 리세(lisse) 확장된 범주 $\mathcal{SH}^{\otimes}_{ext}(X)$ ([Cho21]에서)가 동치임을 보여준다. 이 동치는 모든 스택이 니스네비치 국소 섹션을 갖는 매끄러운 프레젠테이션을 가진다는 정리 1.2에 의해 보장된다.

• 컴팩트 지지 모티브에 대한 푸앵카레 쌍대성 (정리 3.10): 아핀 안정자를 갖는 차원 $d$의 매끄러운 대수적 스택 $X$에 대하여, 저자들은 매끄러운-니스네비치 덮개에 대한 호모토피 리미트를 통해 컴팩트 지지 모티브 $M^c(X)$를 정의한다. 그들은 동치 $M^c(X) \cong M(X)^\vee(d)[2d]$를 증명한다.

의의
본 논문은 임의의 대수적 스택에 대한 매끄러운-니스네비치 덮개의 존재성이 모티빅 호모토피 이론을 일반적인 스택 환경에 적용하는 것을 정당화하는 기초적인 결과임을 주장한다. 매끄러운 스택의 모티브가 매끄러운 스킴의 모티브와 유사하게 행동함을 보여줌으로써, 저자들은 다양한 모티브 형식들이 제한적인 "국소 몫" 조건 없이도 일관된 결과를 생성함을 확인한다.

또한, 본 논문은 정리 1.2의 유계성(boundedness) 결과가 모티빅 이론을 넘어, 완전한 노터 링(complete Noetherian ring) 위의 프로퍼(proper)한 사상에 대한 그로텐디크의 질문—즉, $H^2(X, \mathbb{G}_m) \to \varprojlim H^2(X_n, \mathbb{G}_m)$의 단사성 문제—을 연구하기 위해 엘키크(Elkik)의 근사 기법을 피카드 스택(Picard stack)에 적용하는 데 응용될 수 있음을 언급한다.

저자들은 [CD24]에서 유사한 존재성 결과가 최근 증명되었음을 인정하면서도, 본 논문의 기여가 qcqs 스택과 아핀 안정자에 대한 구체적인 유계성 결과와 안정적 모티빅 호모토피 범주의 통일 및 모티빅 코호몰로지 성질에 대한 명시적인 적용을 포함하고 있다는 점을 강조한다.