[논문 리뷰] Constructible 1-motives and exactness

Simon Pepin Lehalleur|arXiv (Cornell University)|2017. 12. 04.

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

한 줄 요약

이 논문은 Noetherian, 유한 차원, 우수한 스킴 S 위의 코homological 1-모티브에 대한 구성가능한 모티브 t-구조에 대해, 당김, Betti 및 에탈 실현 함자들이 t-정확함을 증명한다. 약간의 특이점 해결 가정 하에, t-구조가 컴act 1-모티브에 제한되며, 모든 구성가능한 1-모티브는 그 제약이 델리뉴 1-모티브가 되는 정칙 부분스킴들로 S의 분할을 가짐을 보인다.

ABSTRACT

We prove that arbitrary pullbacks, as well as Betti and étale realisation functors, are t-exact for the constructible motivic t-structure on the category of cohomological 1-motives over a base scheme.

연구 동기 및 목표

• 구성가능한 모티브 t-구조가 코homological 1-모티브 위에서 임의의 당김에 대해 보존됨을 증명하는 것.
• 이 t-구조에 대해 Betti 및 에탈 실현 함자들이 t-정확함임을 확립하는 것.
• t-구조가 컴 pact 1-모티브의 전체 부분범주로 제한됨을 보이는 것.
• 모든 구성가능한 1-모티브가 그 제약이 델리뉴 1-모티브가 되는 정칙 부분스킴들로 S의 분할을 가짐을 보이는 것.
• 바이시의 접합 방법을 사용한 t-구조의 접합과는 다른 방법을 사용하여 당김의 t-정확성에 대한 새로운 증명을 제공함으로써, 향후 방법의 통합 가능성을 열어두는 것.

제안 방법

• 이전 작업에서 특이점 해결 가정 하에 기저 스킴 S 위의 코homological 1-모티브에 대한 모티브 t-구조를 구성한 바 있다.
• S의 차원에 대한 귀납법을 적용하며, Z가 낮은 차원을 가지는 닫힌 포함 i:Z→S일 때, 당김 함자 i*는 귀납 가정에 의해 t-정확하다는 사실을 활용한다.
• 열린 포함과 닫힌 포함에 대한 국소화 수열에서 유도된 분리삼각형을 사용하여 모티브의 코homological 절단을 분석한다.
• 매끄러운 모티브에 대한 절대 순수성(absolute purity)을 적용하여, 정칙 포함에 沿해 1-모티브의 !-당김을 계산한다. 공식 k_i^!M ≃ k_i^*M(−c_i)[−2c_i]를 사용한다. 여기서 c_i는 정칙 포함의 codimension이다.
• 특이점 해결 가정 하에 ω¹이 컴 pact 대상을 보존한다는 사실을 이용하고, 1-모티브로 제한하기 위해 무게 절단 함자 ω¹을 적용한다.
• 델리뉴 1-모티브의 구조(격자 및 준아벨 스킴)와 그 기저 변경에 대한 행동을 이용하여 분할 결과를 확립한다.

실험 결과

연구 질문

• RQ1 구성가능한 모티브 t-구조에 대해, 임의의 당김이 t-정확한가?
• RQ2 대상 범주에 표준 t-구조가 부여된 경우, Betti 및 에탈 실현 함자들이 t-정확한가?
• RQ3 1-모티브의 모티브 t-구조가 컴 pact 1-모티브의 부분범주로 제한되는가?
• RQ4 모든 구성가능한 1-모티브는 S를 정칙 부분스킴들로 분할할 수 있으며, 각 분할에 대한 제약이 델리뉴 1-모티브가 되는가?
• RQ5 바이시의 t-구조 접합 방법과는 다른 방법을 사용하여 t-정확성 결과를 증명할 수 있는가? (무게 절단을 활용한 방법)

주요 결과

• S 위의 코homological 1-모티브 범주에 대한 모티브 t-구조는 컴 pact 1-모티브의 전체 부분범주로 제한되며, 이는 제한된 t-구조의 하트가 잘 정의되어 있음을 확인한다.
• S가 교란을 통한 특이점 해결을 允허할 경우, 스킴의 임의의 당김은 구성가능한 모티브 t-구조에 대해 t-정확하다.
• 대상 범주에 표준 t-구조가 부여된 경우, Betti 및 에탈 실현 함자들은 t-정확하다.
• 임의의 구성가능한 1-모티브 M이 S 위에 존재할 때, S는 제약이 각 분할에서 델리뉴 1-모티브가 되는 정칙 부분스킴들로 분할된다.
• 닫힌 포함 i:Z→S에 의한 매끄러운 구성가능한 1-모티브의 !-당김은 ω¹i!M ≃ ω¹(k₀* k₀* i*M(−1))[−2]로 계산되며, 여기서 k₀는 Z의 codimension-1 부분의 포함이다.
• 정규 곡선의 경계에 의해 유도되는 H₀(ω¹∂f_*ℚ[+1]) → ℚ의 사상은 동형이며, 이는 증명의 핵심 단계에서 t-정확성을 암시한다.