[논문 리뷰] Line bundles on perfectoid covers: case of good reduction

Ben Heuer|arXiv (Cornell University)|2021. 05. 11.

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

한 줄 요약

이 논문은 양호한 환원을 가진 라이지드 공간의 퍼펙토이드 커버에 대해, 극한의 피카르 군이 특별한 섬유를 통해 기술될 수 있음을 증명한다. 특히, 특성 $p$인 퍼펙토이드 체 위의 초특이 다양체에 대해 $\operatorname{Pic}(X^{ackslashmathrm{perf}}) = \operatorname{Pic}(\overline{X})[\frac{1}{p}]$임을 보여준다. 이 결과는 아벨로이드 다양체의 프로-에타르 커버로 확장되며, 퍼펙토이드 공간의 피카르 군이 항상 $p$-나누어지거나 이산적이지 않음을 드러낸다.

ABSTRACT

We study Picard groups and Picard functors of perfectoid spaces which are limits of rigid spaces. For sufficiently large covers that are limits of rigid spaces of good reduction, we show that the Picard functor can be represented by the special fibre. We use our results to answer several open questions about Picard groups of perfectoid spaces from the literature, for example we show that these are not always $p$-divisible. Along the way, we construct a "Hodge--Tate spectral sequence for $\mathbb G_m$" of independent interest.

연구 동기 및 목표

• 양호한 환원 조건 하에서 라이지드 공간의 프로유한 퍼펙토이드 극한에서 피카르 군의 구조를 이해하기 위해.
• 좋은 환원 조건을 만족하는 스킴의 퍼펙토이드 타일드 극한에 대해, 임베딩 맵 $\varinjlim \operatorname{Pic}(X_i) \to \operatorname{Pic}(X_\infty)$의 핵과 상을 규명하기 위해.
• 퍼펙토이드 공간의 피카르 군이 항상 $p$-나누어지거나, 토르션 프리 또는 이산인지 조사하기 위해.
• 표준형 허드-타운 스펙트럴 시퀀스를 $\mathcal{O}^\times$에 대해 구성하고, 이를 균일화 문제에 적용하기 위해.
• 완전히 유한 에타르 극한을 가진 고유 라이지드 공간의 피카르 함수자가 다이아몬드가 되지 않을 수 있음을 보여주기 위해.

제안 방법

• 다이아몬드와 프로-에타르 코hom로의 프레임워크를 사용하여, 퍼펙토이드 극한에서의 선다발을 분석하기 위해.
• $\mathcal{O}^\times$에 대한 승법형 허드-타운 스펙트럴 시퀀스를 적용하여 코homological 자료와 피카르 군을 연결하기 위해.
• 양호한 환원 조건을 활용하여 특별한 섬유를 통해 $\operatorname{Pic}(X_\infty)$와 $\operatorname{Pic}(\overline{X}_i)$를 연결하기 위해.
• 레이노 라이즈레이션을 사용하여 아벨로이드 다양체의 프로-에타르 커버의 피카르 군을 기술하기 위해.
• 테이트 곡선과 그 퍼펙토이드 커버를 사용하여 비-$p$-나누어짐을 보여주는 구체적 예를 제시하기 위해.
• 카르탕-레라 시퀀스를 적용하여 $X = A^{\mathrm{perf}}$에서 $\operatorname{Pic}(X)$를 계산하기 위해, 여기서 $A$는 테이트 곡선이다.

실험 결과

연구 질문

• RQ1 좋은 환원 조건을 만족하는 스무스 라이지드 공간의 퍼펙토이드 타일드 극한에 대해, 임베딩 맵 $\varinjlim \operatorname{Pic}(X_i) \to \operatorname{Pic}(X_\infty)$의 핵과 상은 무엇인가요?
• RQ2 특성 $p$인 퍼펙토이드 체 위의 라이지드 공간 $X$에 대해, 자연스러운 사상 $\operatorname{Pic}(X)[\frac{1}{p}] \to \operatorname{Pic}(X^{\mathrm{perf}})$는 임의의 $X$에서 동형사상인가요?
• RQ3 퍼펙토이드 공간의 피카르 군은 항상 $p$-나누어지거나, $p$-토르션 프리 또는 이산인가요?
• RQ4 고유 라이지드 공간의 프로-유한 에타르 극한의 피카르 함수자는 다이아몬드인가요?
• RQ5 퍼펙토이드 공간에 대해 $\sharp$-사상 $\operatorname{Pic}(X^\flat) \to \operatorname{Pic}(X)$는 전단사인가요?

주요 결과

• 특성 $p$인 퍼펙토이드 체 위의 양호한 환원을 가진 초특이 다양체 $X$에 대해 $\operatorname{Pic}(X^{\mathrm{perf}}) = \operatorname{Pic}(\overline{X})[\frac{1}{p}]$임을 보여주며, 이는 퍼펙토이드 커버의 피카르 군과 특별한 섬유 사이의 직접적인 연결 고리를 확립한다.
• 테이트 곡선 $A = \mathbb{G}_m / q^\mathbb{Z}$의 퍼펙토이드 커버 $X^{\mathrm{perf}}$의 피카르 군은 정확한 시퀀스 $0 \to q^{\mathbb{Z}[\frac{1}{p}]/\mathbb{Z}} \to K^\times / q^\mathbb{Z} \to \operatorname{Pic}(X) \to \mathbb{Z}[\frac{1}{p}] \to 0$에 들어가며, 이는 $p$-나누어지지 않거나 이산적이지 않음을 보여준다.
• $\sharp$-사상 $\operatorname{Pic}(X^\flat) \to \operatorname{Pic}(X)$는 일반적으로 전단사가 아니다; 명시적인 내림내림 데이터 비교를 통해 비자명한 핵과 상을 가짐을 보여준다.
• 양호한 환원 조건을 만족하는 아벨로이드 다양체 $B$의 프로-유한 에타르 극한의 피카르 함수자 $\underline{\operatorname{Pic}}_{\widetilde{B}}$는 $\underline{\operatorname{Pic}}_{\overline{B}}^\diamondsuit[\frac{1}{p}]$와 동형이지만, 이 함수자는 다이아몬드가 아니며, 틸팅 이론의 기대와 모순된다.
• 퍼펙토이드 공간 $X$의 피카르 군은 특성 0에서 항상 $p$-나누어지지 않을 수 있으며, 이는 테이트 곡선의 퍼펙토이드 커버의 예를 통해 입증되었다.
• $\mathcal{O}^\times$에 대한 승법형 허드-타운 스펙트럴 시퀀스의 구성은 퍼펙토이드 극한에서 선다발의 코homological 제어를 가능하게 하며, 주요 결과를 위한 핵심 기술적 도구를 제공한다.