[논문 리뷰] The Voevodsky motive of a rank one semiabelian variety

Stephen Enright-Ward|arXiv (Cornell University)|2013. 07. 17.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 3

한 줄 요약

이 논문은 완전체 위의 랭크 1 준아벨 다양체의 Voevodsky 모티브를 계산하며, 다양체의 모티브와 그 첫 번째 모티브 코homology 군의 대칭べき 사이의 표준적 동형사상의 구축을 통해 이를 수행한다. 모티브 호모토피 이론의 도구, 특히 삼각 카테고리 내에서의 대칭べき와 관련된 정확한 삼각형을 사용하여, 저자는 이러한 준아벨 다양체의 모티브가 그 알바네제 스킴과 관련된 첫 번째 모티브 코homology에 의해 결정됨을 입증한다. 이는 Voevodsky의 모티브 카테고리와 유리수 계수를 갖는 맥락에서 아벨 다양체와 토릭 다양체에 대해 알려진 결과를 준아벨 다양체의 더 넓은 범주로 일반화한다.

ABSTRACT

Over a perfect field k, let G be an extension of an abelian variety by the multiplicative group $\G_m$. We compute the motive of G in Voevodsky's category of etale motivic complexes with rational coefficients. The result is a decomposition similar to the classical decomposition of the Chow motive of an abelian variety obtained by Deninger/Murre, Kuennemann, Shermenev and Scholl, and other authors.

연구 동기 및 목표

• 완전체 위의 랭크 1 준아벨 다양체의 Voevodsky 모티브를 결정하는 것.
• 아벨 다양체와 토릭 다양체의 모티브에 대해 알려진 결과를 더 넓은 준아벨 다양체의 범주로 확장하는 것.
• 준아벨 다양체의 모티브와 그 첫 번째 모티브 코homology 군의 대칭べき 사이의 표준적 동형사상을 수립하는 것.
• Voevodsky의 모티브 카테고리에서 대칭べき과 층 이론적 구성 방법을 사용하여 교환 법칙 군의 모티브를 계산하는 프레임워크를 개발하는 것.

제안 방법

• 유리수 계수를 갖는 효과적 Voevodsky 모티브의 삼각 카테고리에서 아이디포텐트 완비화와 텐서 구조를 사용하여 대칭べき을 구축한다.
• 공통군 스킴 G의 첫 번째 모티브 코homology 군 M1(G)에 함수적 대칭べき 구성법을 적용한다.
• 모티브 G와 그 첫 번째 모티브 코homology의 대칭べき을 연결하는 사상 ϕG: MpG) → SympM1(G))를 사용한다.
• 특히 전이의 층 rG 및 그 대칭べき과 관련된 모티브 카테고리 내에서의 정확한 삼각형을 수립한다.
• Euler 정확한 삼각형을 적용하여 준아벨 다양체의 모티브가 그 알바네제 스킴과 첫 번째 모티브 코homology 군과 연결됨을 밝힌다.
• Nisnevich 및 에탈 토폴로지에서의 층의 대칭べき을 묘사하기 위해 층화 기법, 즉 전이를 갖는 전이의 층의 층화를 사용한다.

실험 결과

연구 질문

• RQ1 랭크 1 준아벨 다양체의 Voevodsky 모티브는 그 모티브 코homology 군의 관점에서 어떻게 묘사될 수 있는가?
• RQ2 준아벨 다양체의 모티브와 그 첫 번째 모티브 코homology 군의 대칭べき 사이의 관계는 무엇인가?
• RQ3 유리수 계수를 갖는 Voevodsky 모티브의 삼각 카테고리 내에서 모티브의 대칭べき은 어떻게 행동하는가?
• RQ4 알바네제 스킴은 준아벨 다양체의 모티브를 결정하는 데 어떤 역할을 하는가?
• RQ5 준아벨 다양체의 모티브는 그 첫 번째 모티브 코homology의 대칭べき를 포함하는 정확한 삼각형을 통해 계산될 수 있는가?

주요 결과

• 랭크 1 준아벨 다양체 G의 Voevodsky 모티브는 그 첫 번째 모티브 코homology 군의 대칭べき과 동형이다: MpG) ≅ SympM1(G)).
• 사상 ϕG: MpG) → SympM1(G))는 G의 모티브와 M1(G)의 대칭べき 사이의 표준적 동형을 확립한다.
• 전이의 층 rG의 대칭べき은 전이의 프레셰이브 F의 대칭べき의 층화와 동형이다: SymnpF) ≅ Symn_prep(F)).
• SympG)에 대해 모티브 G와 그 대칭べき, 첫 번째 모티브 코homology 군을 연결하는 정확한 삼각형을 구축하였다.
• Euler 정확한 삼각형은 모티브 카테고리 내에서 핵심적인 구조적 관계를 제공하며, 준아벨 다양체의 모티브가 그 알바네제 스킴과 첫 번째 모티브 코homology 군과 연결됨을 보여준다.
• 토리의 모티브는 그 첫 번째 모티브 코homology 군의 대칭べき로 계산되며, 아벨 다양체에 대해 알려진 결과를 일반화한다.