[논문 리뷰] The motivic t-structure for relative 1-motives

Simon Pepin Lehalleur|arXiv (Cornell University)|2015. 12. 01.

Algebraic Geometry and Number Theory참고 문헌 42인용 수 5

한 줄 요약

이 논문은 노에테리안이자 유한 차원인 스킴 S 위에서 상대 코hom로지컬 1-모티브의 유리수 계수를 가진 삼각형 카테고리에 대해 비퇴화하는 모티브 t-구조를 구성한다. S가 정칙일 경우 이 t-구조의 하트, MM¹(S),가 델리뉴 1-모티브의 카테고리를 완전히 충실하게 포함하며, DA¹(S) ⊂ DA^{coh}(S)의 포함관계에 대한 오른쪽 수반 함수인 모티브 Picard 함자가 컴팩트 객체를 보존한다는 것을 증명한다.

ABSTRACT

We construct and study a candidate for the standard motivic t-structure on the triangulated category of relative cohomological 1-motives with rational coefficients over a noetherian finite dimensional scheme S. This t-structure is defined as a generated t-structure, and we show it is non-degenerate. We relate its heart MM^1(S) with Deligne 1-motives over S; in particular, when S is regular, the category of Deligne 1-motives embeds in MM^1(S) fully faithfully. We also study the inclusion of DA^1(S) into the larger category DA^{coh}(S) of relative cohomological motives on S, and prove that its right adjoint, the motivic Picard functor, preserves compact objects.

연구 동기 및 목표

• 노에테리안이자 유한 차원인 스킴 S 위에서 상대 코hom로지컬 1-모티브의 유리수 계수를 가진 삼각형 카테고리에 대해 표준 모티브 t-구조의 후보를 정의하기 위해.
• 이 t-구조가 비퇴화되어 있고, 적절한 객체의 클래스에 의해 생성됨을 보여주기 위해.
• 이 t-구조의 하트인 MM¹(S)와 S 위의 델리뉴 1-모티브의 카테고리 간의 관계를 규명하기 위해.
• S 위에서 상대 코hom로지컬 모티브의 카테고리 DA¹(S)가 더 큰 카테고리 DA^{coh}(S)에 포함되는 방식을 연구하기 위해.
• 이 포함관계에 대한 오른쪽 수반 함수인 모티브 Picard 함자가 컴팩트 객체를 보존한다는 것을 증명하기 위해.

제안 방법

• 상대 코hom로지컬 1-모티브의 유리수 계수를 가진 삼각형 카테고리에서 특정 생성자 집합을 사용하여 생성된 t-구조로서 모티브 t-구조를 정의한다.
• 생성자 집합의 호모로지적 및 코호몰로지적 성질을 통해 t-구조의 비퇴화성을 확립한다.
• MM¹(S)와 델리뉴 1-모티브 간의 관계를 카테고리적 통합 및 완전 충실성 기준을 통해 분석한다.
• DA¹(S) ⊂ DA^{coh}(S)의 포함관계를 유도된 카테고리 기법과 컴팩트 객체의 성질을 이용하여 연구한다.
• 모티브 Picard 함자를 포함관계의 오른쪽 수반 함수로 식별하고, 쌍대성과 수반 함자 정리들을 통해 컴팩트 객체 보존 성질을 증명한다.
• 분석은 S가 노에테리안이면서 유한 차원이라는 가정에 기반하며, 이는 구성에 대한 유한성 조건을 보장한다.

실험 결과

연구 질문

• RQ1 노에테리안이자 유한 차원인 스킴 S 위에서 상대 코호몰로지 1-모티브의 유리수 계수를 가진 삼각형 카테고리에 대해 표준 모티브 t-구조가 존재하는가?
• RQ2 이 t-구조는 비퇴화되어 있으며, 잘 정의된 객체의 클래스에 의해 생성되는가?
• RQ3 S가 정칙일 경우, 이 t-구조의 하트인 MM¹(S)는 S 위의 델리뉴 1-모티브의 카테고리와 어떻게 관련되어 있는가?
• RQ4 DA¹(S)에서 DA^{coh}(S)로의 포함 함자 함수는 수반 함자와 컴팩트 객체 측면에서 어떻게 행동하는가?
• RQ5 이 포함관계에 대한 오른쪽 수반 함수인 모티브 Picard 함자가 컴팩트 객체를 보존하는가?

주요 결과

• 상대 코호몰로지 1-모티브의 유리수 계수를 가진 모티브 t-구조가 생성된 t-구조로서 구성되었고, 비퇴화됨이 증명되었다.
• S가 정칙일 경우, 델리뉴 1-모티브의 카테고리가 MM¹(S)에 완전히 충실하게 통합되어 강력한 카테고리적 연결 고리가 확립되었다.
• t-구조의 하트인 MM¹(S)는 모티브적 맥락에서 1-모티브를 연구하는 데 자연스러운 프레임워크를 제공한다.
• 포함 함자 DA¹(S) → DA^{coh}(S)는 오른쪽 수반 함수를 가지며, 이는 모티브 Picard 함자로 식별된다.
• 모티브 Picard 함자가 컴팩트 객체를 보존하며, 이는 유도된 카테고리 설정에서 핵심적인 유한성 성질이다.
• 결과들은 1-모티브의 맥락에서 모티브 t-구조의 이해를 확장하며, 이 설정에서 표준 모티브 추측을 뒷받침한다.