[논문 리뷰] Equivariant motives and geometric representation theory. (with an appendix by F. Hörmann and M. Wendt)

Wolfgang Soergel, Rahbar Virk외 1명|arXiv (Cornell University)|2018. 09. 14.

Advanced Algebra and Geometry참고 문헌 43인용 수 5

한 줄 요약

이 논문은 보렐의 등변 homotopy 이론과 대수적 근사법을 사용하여 등변 혼합 테이트 모티브에 대한 여섯 연산 형식을 수립하고, 두 정의 간의 동치를 증명한다. 좋은 기하적 설정에서 이러한 범주가 무게 구조를 지니며 기울임 결과를 만족함을 보이며, 이를 통해 그들의 심장의 유한 호모토피 범주와 동치임을 규명한다. 이는 형식성 정리의 기하적, 형식적인 증명과 헤케 대수 및 모듈의 모티브적 분류화를 제공한다.

ABSTRACT

We consider categories of equivariant mixed Tate motives, where equivariant is understood in the sense of Borel. We give the two usual definitions of equivariant motives, via the simplicial Borel construction and via algebraic approximations of it. The definitions turn out to be equivalent and give rise to a full six-functor formalism. For rational étale motives over a finite field or the homotopical stable algebraic derivator arising from the semisimplified Hodge realization, the equivariant mixed Tate motives provide a graded version of the equivariant derived category. We show that, in sufficiently nice and clean cases, these categories admit weight structures; moreover, a tilting result holds which identifies the category of equivariant mixed Tate motives with the bounded homotopy category of the heart of its weight structure. This can be seen as a formality result for equivariant derived categories. We also discuss convolution functors on equivariant mixed Tate motives, and consequences for the categorification of the Hecke algebra and some of its modules.

연구 동기 및 목표

• 보렐의 관점에서 등변 혼합 테이트 모티브에 대한 일관된 여섯 연산 형식을 개발하는 것.
• 단순 복합체 보렐 구조를 통한 등변 모티브와 대수적 근사법을 통한 정의 간의 동치를 증명하는 것.
• 충분히 좋은 기하적 설정에서 등변 혼합 테이트 모티브가 무게 구조를 지니며 기울임 결과를 만족함을 보이는 것.
• 이 틀을 활용하여 등변 헤케 대수와 관련된 모듈의 기하적, 모티브적 분류화를 구성하는 것.
• 기호 이론 카테고리에서 기울임을 통해 기하 표현 이론의 형식성 정리에 대한 새로운 기하적 증명을 제공하는 것.

제안 방법

• 저자들은 단순 복합체 보렐 구조와 대수적 근사법을 사용하여 등변 모티브를 정의하고, 호모토피적 및 기호론적 기법을 통해 그들의 동치를 증명한다.
• 등변 모티브에 대한 완전한 여섯 연산 형식을 수립하며, 당김, 보존, 텐서곱을 포함한다.
• 등변 혼합 테이트 모티브 위에 무게 구조를 구성하며, 무게 구조의 심장은 등변 테이트 모티브의 범주이다.
• 기울임 정리를 증명하여 무게 구조의 심장의 유한 호모토피 범주와 등변 혼합 테이트 모티브의 범주 간의 동치를 규명한다.
• 이 틀을 등변 모티브 위의 커플레션 함수자에 적용하여 헤케 대수의 분류화와 연결한다.
• 모노이드 기호론적 기법을 사용하여 기울임 함수자가 모노이드임을 보이며, 텐서 구조를 유지함을 증명한다.

실험 결과

연구 질문

• RQ1 등변 모티브의 두 표준적 정의—단순 복합체 보렐 구조를 통한 것과 대수적 근사법을 통한 것—혼합 테이트 모티브의 맥락에서 동치인가?
• RQ2 기하적으로 잘 조율된 상황에서 등변 혼합 테이트 모티브는 무게 구조를 지닐 수 있는가?
• RQ3 기울임 결과는 등변 혼합 테이트 모티브의 범주를 그 무게 구조의 심장의 유한 호모토피 범주와 동치로 규명할 수 있는가?
• RQ4 등변 모티브에 대한 모티브적 여섯 연산 형식은 어떻게 헤케 대수의 기하적 분류화를 가능하게 하는가?
• RQ5 이 틀은 기하 표현 이론의 형식성 정리에 대한 새로운 기하적 증명을 제공할 수 있는가?

주요 결과

• 단순 복합체 보렐 구조를 통한 등변 모티브와 대수적 근사법을 통한 정의 간의 동치가 입증되어 이론의 견고한 기반을 마련한다.
• 등변 혼합 테이트 모티브의 범주는 충분히 좋은 기하적 설정, 예를 들어 아핀 윌슨–테이트 분할이 존재하는 경우에 무게 구조를 지닌다.
• 기울임 결과가 성립한다: 등변 혼합 테이트 모티브의 범주는 그 무게 구조의 심장의 유한 호모토피 범주와 동치이다.
• 이 동치는 모티브적 형식성 결과를 제공하며, 등변 유도 범주의 형식성을 기하적으로 실현한다.
• 등변 혼합 테이트 모티브 위의 커플레션 함수자는 헤케 대수와 그 모듈을 분류화하며, 기하적 동형사상이 브레이드 관계를 자연스럽게 설명한다.
• 심장의 유한 호모토피 범주에서 모티브 범주로의 기울임 함수자는 모노이드이며, 기호론적 기법을 통해 텐서 구조를 유지한다.