[논문 리뷰] Remarks on 1-motivic sheaves

Alessandra Bertapelle|arXiv (Cornell University)|2008. 01. 21.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 4

한 줄 요약

이 논문은 유한 연결 k-군 스킴을 포함시킴으로써, 지수 특성이 역수되지 않은 perfect field 위에서 1-모티브릭 층과 1-모티브를 적분적이고 특성에 의존하지 않는 정의로 확장한다. 이로써 지수 특성을 역수하지 않고도 abelian category tM₁를 구성한다. 핵심 결과는 지수 특성이 0이거나 소수체 위에서 초월적인 정수 특성을 가진 perfect field에 대해, 유계 유도 범주 Db(Shv₁^fppf)와 Db(tM₁) 사이의 동치 관계를 확립하는 것이다. 이는 Voevodsky의 모티브릭 호모토피 이론에서 이전에 얻어진 결과를 p에 대한 국소화 없이도 일반화한다.

ABSTRACT

We generalize the construction of the category of 1-motives with torsion ${}^tM_1$ (introduced by Barbieri-Viale, Rosenschon and Saito) as well as the construction of the category of 1-motivic sheaves ${ m Shv}_1$ (defined by Barbieri-Viale and Kahn) to perfect fields $k$ (without inverting the exponential characteristic). For $k$ transcendental over the prime field we extend a result of Barbieri-Viale and Kahn, showing that ${}^tM$ and ${ m Shv}_1$ have equivalent bounded derived categories.

연구 동기 및 목표

• 지수 특성을 역수하지 않고도 임의의 특성을 가진 perfect field로 1-모티브와 토퐁션의 범주 tM₁를 일반화하는 것.
• Perfect field 위에서 fppf 층 이론적 버전인 1-모티브릭 층 Shv₁^fppf의 적분적 정의를 내리는 것.
• 지수 특성이 0이거나 소수체 위에서 초월적인 정수 특성을 가진 perfect field에서 1-모티브릭 층과 1-모티브와 토퐁션의 유도 범주 간 동치 관계를 확립하는 것.
• 1-모티브릭 층을 이산 군 스킴에서 CE 객체의 확장으로 향하는 사상의 코어널로 특성화하는 것.

제안 방법

• L이 CE(에테일 및 유한 연결 군 스킴의 곱)에 속하고 G가 준아벨 다양체인 복합체 [u: L → G]로 표현되는 효과적 1-모티브와 토퐁션을 도입한다.
• q.i.가 surjective인 f와 동치인 핵을 가진 g를 갖는 사상들에 대해 효과적 1-모티브와 토퐁션의 유도 범주를 국소화함으로써 tM₁를 정의한다.
• Shv₁^fppf를 이산 군 스킴에서 CE 객체의 확장으로 향하는 사상의 코어널인 fppf 층의 범주로 정의한다.
• 1에서의 논의를 비에테일 유한 군 스킴까지 확장함으로써, 임의의 perfect field에서 tM₁가 abelian임을 증명한다.
• 비탄성 점을 가진 준아벨 다양체의 존재를 이용해 초월적인 체에서의 유도 동치를 구성한다.
• 1-모티브릭 층을 코어널로 표현하고 Ext² 군의 소멸 결과를 활용하여 Db(Shv₁^fppf) ≅ Db(tM₁)의 동치를 확립한다.

실험 결과

연구 질문

• RQ1 지수 특성을 역수하지 않고도 양의 특성을 가진 perfect field 위에서 1-모티브와 토퐁션의 범주를 적분적으로 정의할 수 있는가?
• RQ2 fppf 사이트 위에서 1-모티브릭 층의 범주는 perfect field 위에서 적분적이고 abelian인가?
• RQ3 소수체 위에서 초월적인 체에 대해 p를 역수하지 않아도 1-모티브릭 층과 1-모티브와 토퐁션 간의 유도 동치가 성립하는가?
• RQ4 1-모티브릭 층은 이산 군 스킴에서 CE 객체의 확장으로 향하는 사상의 코어널로 특성화될 수 있는가?
• RQ5 비탄성 점을 가진 준아벨 다양체는 양의 특성에서의 유도 동치를 확립하는 데 어떤 역할을 하는가?

주요 결과

• 유한 연결 k-군 스킴을 차수 -1에 포함시킴으로써, 임의의 perfect field k에서 1-모티브와 토퐁션의 범주 tM₁는 양의 특성에서도 abelian이다.
• 1-모티브릭 fppf 층의 범주 Shv₁^fppf는 abelian이며, perfect field 위에서의 적분적 정의를 제공한다.
• 지수 특성이 0이거나 소수체 위에서 초월적인 정수 특성을 가진 perfect field k에 대해, Db(Shv₁^fppf) ≅ Db(tM₁)의 유도 동치가 성립하며, 이는 [1], 3.9.2를 p를 역수하지 않고도 일반화한다.
• 1-모티브릭 층은 F = coker(F₁ → F₀) 형태로 표현되며, F₁은 이산이고 F₀는 CE 객체의 확장과 준아벨 다양체의 확장이다.
• 이 증명은 유한 연결 N과 이산 L에 대해 Ext²(N, L)의 소멸과, 적절한 이형사상의 이중 확장의 자동으로 풀리는 성질에 기반한다.
• 지수 특성을 역수하지 않으면서도, 유한 체에서는 비탄성 점을 가진 준아벨 다양체의 부재로 인해 유도 동치가 성립하지 않는다.