[논문 리뷰] Notes on Artin-Tate motives

Jörg Wildeshaus|arXiv (Cornell University)|2008. 11. 27.

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

한 줄 요약

이 논문은 ℚ에 대한 대수적인 완전체 위의 아르틴-테이트 모티브의 삼각 범주에 비퇴화된 t-구조가 존재하며, 기저 체가 수체일 경우 이 범주에서의 무게 구조가 허드-이론적 또는 ℓ-아이디크 실현에 의해 감지되고 특징지어진다는 것을 증명한다. 주요 기여는 실현을 통한 무게 구조 식별 기준을 제공함으로써, 모티브 틀 안에서 t-구조와 무게 구조를 통합하는 데 있다.

ABSTRACT

We first study the weight structure on the triangulated category of Artin-Tate motives over a perfect base field k, building on results of Bondarko's. We then study the t-structure on the triangulated category of Artin-Tate motives, when k is algebraic over the rationals, generalizing a result of Levine's. We finally study the interaction of the weight structure and the t-structure. When k is a number field, this will give a useful criterion identifying the weight structure via realizations.

연구 동기 및 목표

• 기저 체 k가 완전체일 때 아르틴-테이트 모티브의 삼각 범주에 대한 구조적 성질을 연구한다.
• 이 범주에서의 모티브 무게 구조를 분석하며, [Bo]의 기하 모티브에 대한 결과를 일반화한다.
• 기저 체 k가 ℚ에 대한 대수적일 경우 비퇴화된 t-구조의 존재를 확립하며, [L1]의 테이트 모티브에 대한 결과를 확장한다.
• 특히 수체일 경우, t-구조와 실현을 통한 무게 구조의 특징을 규명한다.
• 수체일 경우 허드-이론적 또는 ℓ-아이디크 실현을 통한 무게 구조 식별 기준을 제공한다.

제안 방법

• 논문은 삼각 범주 위의 무게 구조 이론을 사용하며, [Bo]의 결과를 바탕으로 아르틴-테이트 모티브에 무게 구조를 유도한다.
• 논문은 [W2]의 주요 결과를 적용하여 아르틴-테이트 모티브의 범주가 그 t-구조의 하트의 유계된 도파일 범주와 동치임을 보인다.
• t-구조의 존재를 보장하기 위해, 비엘린슨-술레의 퇴화 추측이 성립하도록 보장하기 위해 ℚ 계수를 곱하는 데 의존한다.
• 허드-이론적 및 ℓ-아이디크 실현을 사용하여 무게 구조를 감지하며, 특히 이 함자에 의한 코homology 대상의 행동에 특별한 주의를 기울인다.
• 논증 전략은 레빈스의 [L1] 방식을 따르되, 아르틴-테이트 모티브의 더 넓은 설정에 맞게 조정한다.
• 유도 범주 내에서 수직성 및 순수성 조건을 확립하여 t-구조와 무게 구조의 호환성을 검증한다.

실험 결과

연구 질문

• RQ1 기저 체가 ℚ에 대한 대수적일 경우 아르틴-테이트 모티브의 삼각 범주에 비퇴화된 t-구조가 존재하는가?
• RQ2 아르틴-테이트 모티브의 무게 구조는 t-구조와 실현을 통해 특징지어질 수 있는가?
• RQ3 기저 체 k가 수체일 경우 아르틴-테이트 모티브의 무게 구조는 허드-이론적 또는 ℓ-아이디크 실현을 통해 감지될 수 있는가?
• RQ4 아르틴-테이트 모티브의 범주에서 무게 구조와 t-구조는 어떻게 상호작용하는가?
• RQ5 ℚ 계수는 t-구조의 존재와 비엘린슨-술레의 퇴화 추측의 타당성을 확보하는 데 어떤 역할을 하는가?

주요 결과

• 기저 체 k가 ℚ에 대한 대수적일 경우 아르틴-테이트 모티브의 삼각 범주에 비퇴화된 t-구조가 존재하며, 이는 정리 3.1에서 증명된다.
• 이 t-구조의 하트는 아벨 반단순 범주이며, 혼합 아르틴-테이트 모티브의 범주로 식별된다.
• 무게 구조는 t-구조에 의해 완전히 특징지어지며, 정리 3.9에서 확인된다.
• 수체일 경우 무게 구조는 실현을 통해 감지되고 식별된다: 모티브 K가 w=0의 하트에 속해 있음과 그 실현에 의한 n차 코homology 대상이 무게 n의 순수성과 동치임이 정리 3.11에 명시되어 있다.
• 허드-이론적 실현은 무게 구조를 유지한다. 이는 무게 구조의 하트를 혼합 허드-구조의 도파일 범주에서의 표준 무게 구조의 하트로 보낸다.
• ℓ-아이디크 실현은 타겟 범주에서 표준 무게 구조를 유지하지 않으며, 양의 차수에서 호모로지 군이 0이 아니기 때문이다. 이는 비고 3.13(b)에서 보여진다.