[논문 리뷰] Rost Nilpotence and Free Theories

Stefan Gille, Alexander Vishik|arXiv (Cornell University)|2018. 04. 12.

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

한 줄 요약

이 논문은 h가 일반적으로 일정한 일관성 있는 코homology 이론일 때, h-모티브의 범주에서 프로젝티브 동차 다양체에 대해 Rost의 영항성 원리를 확립한다. 주요 적용은 대수적 코버드주의 유사체와 같은 자유 이론들에 대한 것이다. 저자들은 유한 생성된 체 확장 전역으로 코homology를 확장하는 일관성 이론을 도입하고, 이론이 일반적으로 일정할 경우 영항성이 성립함을 증명한다. 이를 위해 모티브에 대한 귀납법과 Rost 보조정리를 사용하여 체 확장에서의 커널 행동을 제어한다.

ABSTRACT

We introduce coherent cohomology theories h_* and prove that if such a theory is moreover generically constant then the Rost nilpotence principle holds for projective homogeneous varieties in the category of h_*-motives. Examples of such theories are algebraic cobordism and its descendants the free theories.

연구 동기 및 목표

• h-모티브의 범주에서 프로젝티브 동차 다양체에 대해 Rost의 영항성 원리를 확립한다.
• 기본 체의 모든 유한 생성 체 확장으로 코homology 함자를 확장하는 일관성 있는 코homology 이론을 도입하고 연구한다.
• 자유 이론과 더 나아가 일반적으로 일정한 일관성 이론에 대해 Rost의 영항성 원리가 성립함을 보인다.
• 오리엔티드 코homology 공리계의 형식적 결과가 아니라는 것을 보여주기 위해, 비일관성 설정에서 반례를 구성한다.

제안 방법

• 기본 체 k에 대해 유한 생성 확장 F/k를 각각의 코homology 이론 h∗F로 할당하는 확장된 오리엔티드 코homology 이론을 정의한다. 이는 국소화 및 당김의 구조를 가진다.
• 다양체의 함수체 위에서의 코homology 링 간의 호환 조건 θY/X을 통해 일관성 이론의 개념을 도입한다.
• 자유 이론—Lazard 환 L의 경우 h∗(X) = h∗(F) ⊗L Ω∗(X)로 정의되는 것—이 일반적으로 일정하고 일관성 있음을 증명한다.
• 대수적 폐쇄체 위에서 X의 모티브 분해에 포함된 타이트 모티브 합성항의 수에 대한 귀납법을 사용하며, Rost 보조정리를 활용해 체 확장에서의 영항성을 제어한다.
• 비일관성 이론에서 Rost의 영항성에 대한 반례를 구성하여, 비록 이론이 일정하더라도 영항성이 실패할 수 있음을 보인다.
• Rost 보조정리를 적용하여, 어떤 대응이 모든 잔여 체에서 0이면, 그 대응의 거듭제곱이 모티브 범주에서 0이 됨을 유도한다.

실험 결과

연구 질문

• RQ1 코homology 이론이 어떤 조건을 만족할 경우, h-모티브 범주에서 프로젝티브 동차 다양체에 대해 Rost의 영항성 원리가 성립하는가?
• RQ2 Rost의 영항성 원리는 차우 모티브를 넘어서 대수적 코버드주의 같은 더 일반적인 코homology 이론으로 확장될 수 있는가?
• RQ3 Rost의 영항성 원리는 오리엔티드 코homology 이론의 공리계의 형식적 결과인가, 아니면 추가적인 구조적 조건이 필요한가?
• RQ4 어떤 코homology 이론이면, 체 확장에서 영이 되는 대응이 모티브 범주에서 영항성이 되는지를 보장하는 최소 조건은 무엇인가?
• RQ5 유연한 성질을 가진 일관성 있는 코homology 이론을 어떻게 구성할 수 있으며, 그로 인한 영항성에 대한 영향은 무엇인가?

주요 결과

• 기본 체 k 위에서 코homology 이론 h∗가 일반적으로 일정하고 일관성 있을 경우, 모든 프로젝티브 동차 다양체에 대해 Rost의 영항성 원리가 성립한다.
• 자유 이론—대수적 코버드주와 그 유사체를 포함—는 프로젝티브 동차 다양체에 대해 Rost의 영항성 원리를 만족한다.
• 일관성 있는 코homology 이론 이론은 Rost의 영항성이 성립하는 일반적 프레임워크를 제공하며, 차우 이론을 초월한다.
• 자유 이론이 아닌 일반적으로 일정한 일관성 이론이 존재함을 보여, Rost의 영항성 원리를 만족하는 이론의 범위가 자유 이론의 범위를 엄밀히 초월함을 보여준다.
• 반례를 통해 비일관성 이론—심지어 일정한 이론이라도—에서 Rost의 영항성이 실패함을 보여, 이것이 표준 공리계의 형식적 결과가 아님을 증명한다.
• L에서의 체 확장에서 0이 되는 대응 α ∈ Endk(X)h가 있을 경우, 차원과 모티브 분해에서의 성분 수에만 의존하는 정수 m ≥ 1이 존재하여 α◦m = 0 임을 보여준다.