Profinite Borel completeness and smooth Artin motives

기술 요약: 프로피니트성(Profiniteness), 보렐 완비성(Borel Completeness), 그리고 매끄러운 아틴 모티브(Smooth Artin Motives)

문제 제기
본 논문은 두 가지 구별되는 수학적 프레임워크, 즉 일반적인 기저 스킴 $S$ 위의 매끄러운 아틴 모티브(smooth Artin motives)의 $\infty$-범주와 에탈로 기본군(étale fundamental group) $\pi_1^{\text{ét}}(S)$의 표현론 사이의 관계를 다룬다. 보보드스키(Voevodsky)는 필드 $F$ 위의 아틴 모티브와 절대 갈루아 군 $\text{Gal}(F^{\text{sep}}/F)$의 유도 치환 모듈(derived permutation modules) 사이의 동치를 확립하였으나, 갈루아 군이 프로피니트 에탈로 기본군 $\pi_1^{\text{ét}}(S)$로 대체되는 일반적인 기저 스킴 $S$에서도 이 동치가 확장될 수 있는지는 미해결 문제로 남아 있었다.

부차적인 기초적 문제는 프로피니트 군에 대한 등변 호모토피 이론(equivariant homotopy theory)에서 발생한다. 유한 군의 경우, 보렐 완비 스펙트라(Borel complete spectra)의 부분 범주는 함자 범주(functor category)로서 잘 이해되어 있다(Mathew–Naumann–Noel에 의해). 그러나 프로피니트 군의 경우, 궤도(orbit) $G/1$은 유한 $G$-집합이 아니므로 보렐 완비성의 직접적인 일반화가 복잡해진다. 본 논문은 프로피니트 군에 대해 여러 가지 구별되는 "보렐 완비성"의 개념이 존재하는지, 그리고 이들이 층 이론(sheaf theory) 및 모티브와 어떻게 연관되는지를 조사한다.

방법론
저자는 필요한 등변 호모토피 이론을 먼저 개발한 후, 이를 모티브 이론에 적용하는 두 갈래의 접근 방식을 사용한다.

1. 프로피니트 군을 위한 등변 호모 homotopy 이론:

   • 본 논문은 유한 군에 대한 보렐 완비 스펙트라의 기술을 재검토하며, 연결 가환 링 스펙트럼 $R$에서의 계수를 도입한다.
   • 프로피니트 군 $G = \lim_i G_i$에 대해, 두 가지 보렐 완비성의 개념을 정의한다:
     • 레벨와이즈 보렐 완비성 ($Sp^{\text{lwBorel}}_G$, Levelwise Borel completeness): 범주적 고정점(categorical fixed points)을 따라 유한 몫(finite quotients) $G_i$의 보렐 완비 범주의 극한으로 정의된다.
     • 보렐 완비성 ($Sp^{\text{Borel}}_G$, Borel completeness): 모든 열린 정규 부분군의 듀얼 궤도의 콜리밋(colimit)으로 구성된 특정 대수 객체 $A$에 대한 완비성을 통해 정의된다.
   • 저자는 스펙트럴 맥키 펑터(spectral Mackey functors)와 등변 링 스펙트라 상의 모듈 범주 이론을 활용하여 이러한 구조들을 분석한다. 핵심적인 기술적 도구는 $t$-구조(t-structures)와 하이퍼완비화(hypercompletion)를 통해 이 두 개념 사이의 관계를 식별하는 것이다.

2. 모티브 및 대응(Correspondences):

   • 본 논문은 유한 대응(finite correspondences)과 계수를 사용하여 유효 보보드스키 모티브 $\text{DM}^{\text{eff}}_{\tau}(S; R)$ ($\tau = \text{Nisnevich}$ 또는 $\text{étale}$)의 $\infty$-범주를 구축한다.
   • 매끄러운 아틴 모티브 $\text{DAM}_{\tau}(S; R)$은 유한 에탈 $S$-스킴들의 모티브에 의해 생성되는 국소화 가능한 부분 범주(localising subcategory)로 정의된다.
   • 저자는 Grothendieck의 유한 에탈 $S$-스킴과 유한 이산 $G$-집합 사이의 동치(여기서 $G = \pi_1^{\text{ét}}(S)$)를 활용하여, 이 모티브들과 앞서 정의한 등변 범주들 사이의 가교를 구축한다.
   • 결정적으로, 본 논문은 "전이(transfers, 유한 대응)"가 유한 에탈 스킴 상의 에탈 층(étale sheaves)의 맥락에서 어떻게 작동하는지를 조사하며, 에탈 층들이 자연스럽게 전이를 가짐을 증명한다.

주요 기여 및 결과

• 보렐 완비성의 구분: 본 논문은 프로피니트 군에 대해 "레벨와이즈" 보렐 완비성과 대수 $A$에 의해 정의되는 표준 "보렐 완비성"이 일반적으로 구별됨을 식별한다.

  • 정리 3.30: 보렐 완비 $G$-스펙트라의 범주는 레벨와이즈 보렐 완비 $G$-스펙트라 범주의 **하이퍼완비화(hypercompletion)**와 동치이다. 이는 두 개념 사이의 정밀한 구조적 관계를 제공한다.

• 층 및 표현과의 동치:

  • 명제 4.8 & 4.13: 본 논문은 등변 스펙트라의 보렐 완비 범주와 유한 $G$-집합 상의 층 범주 및 이산 모듈의 유도 범주를 연결하는 가환 도표를 구축한다.
  • 구체적으로, 레벨와이즈 보렐 완비 모듈의 범주는 유한 $G$-집합 상의 층 범주와 동치인 반면, 보렐 완비 범주는 (특정 $G$의 가상 코호몰로지 차원에 대한 가정 하에) 하이퍼층(hypersheaves)에 대응한다.

• 보보드스키 정리의 일반화 (Nisnevich 케이스):

  • 정리 5.19: 유한 크릴 차원을 가진 연결된 노테르(noetherian) 스킴 $S$에 대하여, 매끄러운 아틴 모티브(Nisnevich 위상)의 $\infty$-범주와 프로피니트 군 $\pi_1^{\text{ét}}(S, s)$ 위의 치환 모듈의 유도 범주 사이에는 대칭 단칭적 동치(symmetric monoidal equivalence)가 존재한다:
    $$DAM^{\text{Nis}}(S; R) \simeq D\text{Perm}(\pi_1^{\text{ét}}(S, s); R)$$
  • 이 결과는 아틴 모티브에 대한 고전적인 갈루아 표현의 기술이 Nisnevich 위상에서 일반적인 기저 스킴으로 확장됨을 확인해 준다.

• 에탈 케이스 및 전이:

  • 정리 5.34: 본 논문은 유한 에탈 $S$-스킴 상의 에탈 층들이 자동으로 전이를 보유함을 증명한다. 이는 유한 에탈 스킴 상의 전이를 가진 에탈 층의 범주를 (명시적인 대응에 대한 언급 없이) 에탈 층의 범주와 동일시한다.
  • 정리 5.37: 유도 치환 모듈, 보렐 완비 스펙트라, 그리고 Nisnevich 및 étale 위상 모두에 대한 매끄러운 아틴 모티브를 연결하는 포괄적인 가환 도표가 제시된다.
  • 따름정리 5.31: 하이퍼완비된 étale 케이스에서, 계수 링 $R$이 양의 특성 $n$을 가지고 $S$의 잔여 특성이 $n$과 서로소라는 가정 하에, 매끄러운 아틴 모티브의 범주는 유한 에탈 스킴 상의 하이퍼층(hypersheaves with transfers)의 범주와 동치이다.

의의 및 주장
본 논문은 아틴 모티브에 대한 보보드스키의 기술이 일반적인 기저 스킴에 대해 성립하는지에 대한 질문을 해결한다고 주장한다. 본 논문은 Nisnevich 위상에 대해서는 이를 긍정하며, étale 위상에 대해서는 하이퍼완비화의 역할을 강조하며 더 미묘한 답을 제공한다.

그 의의는 다음과 같다:

1. 통합적 프레임워크: 매끄러운 아틴 모티브가 에탈 기본군에 의해 제어됨을 보여줌으로써, 모티브 이론과 프로피니트 군에 대한 등변 호모토피 이론을 통합한다.
2. 프로피니트 등변성의 명확화: 프로피니트 설정에서 레벨와이즈 보렐 완비성과 하이퍼완비된 보렐 완비성 사이의 미묘한 차이를 명확히 하여, 후자가 에탈 층(하이퍼층)의 전체 구조를 포착하기 위한 올바른 개념임을 밝힌다.
3. 전이의 전이(Transfer of Transfers): 에탈 층이 유한 에탈 스킴 상에서 본질적으로 전이를 가진다는 것을 독립적으로 증명한다. 이는 기존 문헌에서 특정 hom-set 식별에 의존하여 알려져 왔던 결과이다.

저자는 Nisnevich 케이스가 깔끔한 동치를 제공하는 반면, étale 케이스는 하이퍼층과 층을 구분해야 하며, 비-하이퍼완비 étale 케이스에서의 치환 모듈로의 동치는 본 연구에서 수행되지 않은 추가적인 매핑 공간 계산을 필요로 한다고 언급한다. 결과들은 이 범주들의 Balmer 스펙트라에 관한 Balmer–Gallauer 및 Dubey–Gómez의 최근 연구에 기반한 기초적인 단계로서 제시된다.