[논문 리뷰] Prismatic Dieudonn\'e theory

Johannes Anschütz, Arthur-César Le Bras|arXiv (Cornell University)|2019. 07. 24.

Homotopy and Cohomology in Algebraic Topology인용 수 2

한 줄 요약

이 논문은 quasi-syntomic 환 위의 p-나누어지는 군에 대한 프리즘적 딜루당 이론을 구축하기 위해, admissible prismatic Dieudonné 결정체의 범주 DMadm(R)을 도입하고, R 위의 p-나누어지는 군에서 DMadm(R)로 가는 함자(함자)가 반동치(anti-equivalence)임을 증명한다. 이 구성은 프리즘적 코homology를 사용하며, 고전적 딜루당 이론을 특성 p를 초월하는 혼합 특성의 설정으로 확장하여, 특성 p 제약 조건을 피하고, 퍼펙트로이드 환과 완전한 정칙 국소환(완전한 잔여체를 가진)과 같은 환들에 적용 가능한 통일된 기하적 프레임워크를 제공한다.

ABSTRACT

We define, for each quasi-syntomic ring $R$ (in the sense of Bhatt-Morrow-Scholze), a category $\mathrm{DM}^{ m adm}(R)$ of extit{admissible prismatic Dieudonn\'e crystals over $R$} and a natural functor from $p$-divisible groups over $R$ to $\mathrm{DM}^{ m adm}(R)$. We prove that this functor is an antiequivalence. Our main cohomological tool is the prismatic formalism recently developed by Bhatt and Scholze.

연구 동기 및 목표

• 고전적 딜루당 이론을 특성 p를 초월하는 혼합 특성의 설정으로 확장하기 위해.
• 프리즘적 코homology를 사용하여 p-나누어지는 군의 분류 함자에 대한 통일되고 기하적인 구성 방법을 제공하기 위해.
• 이전 이론의 한계—특히 p=2일 경우—를 극복하기 위해 크리스탈 형식을 프리즘 형식으로 대체함으로써.
• admissible prismatic Dieudonné 결정체를 정의하고 특성화하여, 분류 함자의 자연스러운 대상 범주로 삼기 위해.
• quasi-syntomic 환 위에서 p-나누어지는 군과 admissible prismatic Dieudonné 결정체 사이의 반동치를 수립하기 위해.

제안 방법

• quasi-syntomic 환 R 위의 admissible prismatic Dieudonné 결정체의 범주 DMadm(R)을 도입한다.
• Bhatt-Scholze의 프리즘 형식을 사용하여 프리즘적 코homology를 적용하여, R 위의 p-나누어지는 군의 범주에서 DMadm(R)로 가는 함자를 구성한다.
• 프리즘적 코hom로 Ext-군을 계산하고 함자의 전부 충실성(fully faithfulness)을 확립하기 위해 프리즘적 코homology 형식을 적용한다.
• p-완전히 충실한 평탄한 사상에 대한 내림내림 이론을 적용하여, p-나누어지는 군과 유한히 자유로운 국소 군 스킴의 스택 성질을 증명한다.
• q-로그와 절단된 Hodge-Tate 코homology를 사용하여 quasi-regular semiperfectoid 환 위에서 프리즘적 코homology의 구조를 분석한다.
• 비교를 통해 알려진 사례들(예: OK 위에서 및 µp∞에 대해)과의 유사성을 보이고, 슬라이스 토포스 기법을 사용하여 본질적 전성(essential surjectivity)을 증명함으로써 반동치를 입증한다.

실험 결과

연구 질문

• RQ1 혼합 특성에서 quasi-syntomic 환 위의 p-나누어지는 군을 분류하는 프리즘적 딜루당 이론을 구성할 수 있는가?
• RQ2 프리즘 형식은 혼합 특성에서 크리스탈 코homology의 제약 조건을 피하면서도 통일된 분류를 가능하게 하는가?
• RQ3 admissible prismatic Dieudonné 결정체의 정확한 구조는 무엇이며, 모듈과 프로베니우스, 접속을 통해 구체적으로 기술할 수 있는가?
• RQ4 프리즘적 딜루당 함자는 quasi-syntomic 환을 초월하여 더 일반적인 환들로 확장될 수 있는가? 만약 그렇다면, 딜루당 결정체의 적절한 유사체는 무엇인가?
• RQ5 그로텐디크-메싱이론의 정신에 따라 프리즘적 딜루당 함자의 변형 이론을 개발할 수 있는가?

주요 결과

• quasi-syntomic 환 R 위의 p-나누어지는 군에서 admissible prismatic Dieudonné 결정체의 범주 DMadm(R)로 가는 함자는 반동치이다.
• p-나누어지는 군의 프리즘적 딜루당 결정체는 프리즘적 코homology를 사용하여 구성되며, 전부 충실성과 본질적 전성(essential surjectivity)이 입증된다.
• Qp/Zp 및 µp∞와 같은 군 스킴에 대해 프리즘적 딜루당 모듈이 명시적으로 계산되며, 기존의 결과를 회복함을 보였다.
• 이 이론은 OK 위에서의 고전적 딜루당 이론과 호환되며, 퍼펙트로이드 환으로까지 확장된다.
• 증명은 p-완전히 충실한 평탄한 사상에 대한 내림내림 이론과 G[pn]의 쌍대와 프리즘적 사이트의 코homology 간의 식별에 기반한다.
• 구성은 기하적이고 본질적인 것으로, 특성 p로의 환원을 피함으로써 이전 접근 방식의 한계—특히 p=2일 경우—를 해결한다.