[논문 리뷰] On the structure of some p-adic period domains

Miaofen Chen, L Fargues외 1명|arXiv (Cornell University)|2017. 10. 18.

Advanced Algebra and Geometry참고 문헌 6인용 수 12

한 줄 요약

이 논문은 p-진 주기 도메인에서 Fargues-Rapoport 추측을 증명하며, Kottwitz 집합 $ B(G,\mu) $가 완전히 Hodge-Newton 분해 가능할 때이고 그때에만 약하게 적합한 부분집합이 적합한 부분집합과 일치함을 보여준다. Fargues-Fontaine 곡선 위의 G-_bundle와 Harder-Narasimhan 이론을 사용하여, 이러한 도메인에 의해 매개화되는 결정적 표현이 국소계로 확장될 수 있는지에 대한 기하적 특성화를 제공하며, p-진 호지 이론과 시무라 다양체 이론의 핵심 문제를 해결한다.

ABSTRACT

We prove the Fargues-Rapoport conjecture for p-adic period domains: for a reductive group G over a p-adic field and a minuscule cocharacter μ of G, the weakly admissible locus coincides with the admissible one if and only if the Kottwitz set B(G,μ) is fully Hodge-Newton decomposable.

연구 동기 및 목표

• p-진 주기 도메인에서 약하게 적합한 부분집합과 적합한 부분집합의 동치성에 관한 Fargues-Rapoport 추측을 해결하기 위해.
• p-진 주기 도메인에서 적합한 부분집합이 비어 있지 않고 결정적 표현을 보간하는 p-진 국소계를 지지할 조건을 특성화하기 위해.
• Kottwitz 집합 $ B(G,\mu) $에 대한 기하적 기준—완전히 Hodge-Newton 분해 가능성—을 통해 두 부분집합의 동치성을 확립하기 위해.
• Fargues-Fontaine 곡선 위의 G-_bundle 이론을 사용하여 Hartl와 Faltings의 적합한 부분집합의 구성 방식을 일반적인 재조화군으로 일반화하기 위해.

제안 방법

• Fargues-Fontaine 곡선 위의 G-_bundle를 사용하여 $ B(G,\mu) $를 기하적으로 실현하며, 등형사상 $ B(G) \xrightarrow{\sim} H^1_{\text{ét}}(X, G) $를 활용한다.
• Fargues-Fontaine 곡선 위의 G-_bundle에 대한 Harder-Narasimhan 감소 이론을 적용하여 무한점에서의 수정의 안정성과 분해를 분석한다.
• Harder-Narasimhan 필터링에 대해 반안정인 G-_bundle의 수정의 집합으로서 적합한 부분집합 $ \breve{\mathcal{F}}(G,\mu,b)^a $를 구성한다.
• B(G,\mu)의 원소들의 뉴턴 다각형과 호지 다각형을 분석하여 추측을 군론적 조건으로 환원한다.
• Fargues-Fontaine 곡선의 기하학적 성질을 활용하여 p-진 호지이론적 조건(약하게 적합성)을 기하학적 안정성 조건(반안정성)과 연결한다.
• $ J_b(F) $--equivariant 국소계와 코homological 대칭을 활용하여, 적합한 부분집합의 코homology가 자동형 표현과 어떻게 관련되는지 분석한다.

실험 결과

연구 질문

• RQ1 어떤 경우에 p-진 주기 도메인에서 약하게 적합한 부분집합이 적합한 부분집합과 일치하는가?
• RQ2 어떤 군론적 조건이 $ B(G,\mu) $에 대해, 적합한 부분집합이 결정적 표현을 보간하는 p-진 국소계를 지지하는가?
• RQ3 Fargues-Fontaine 곡선 위의 G-_bundle와 Harder-Narasimhan 이론을 사용하여 적합한 부분집합을 어떻게 기하학적으로 특성화할 수 있는가?
• RQ4 어떤 조건에서 Kottwitz 집합 $ B(G,\mu) $가 완전히 Hodge-Newton 분해 가능한가?
• RQ5 국소계의 적합한 부분집합에서 $ \mathcal{F}^a = \mathcal{F}^{wa} $의 동치가 초래하는 코homological 결과는 무엇인가?

주요 결과

• 약하게 적합한 부분집합 $ \breve{\mathcal{F}}(G,\mu,b)^{wa} $가 적합한 부분집합 $ \breve{\mathcal{F}}(G,\mu,b)^a $와 일치하는 것은 $ B(G,\mu) $가 완전히 Hodge-Newton 분해 가능할 때에만 성립한다.
• 이 동치는, $ B(G,\mu) $의 비기본 원소 각각에 대해, 그 뉴턴 다각형이 양의 웨일 침대 안에서 끝점 외부에서 호지 다각형과 접촉할 때 정확히 성립한다.
• 적합한 부분집합은 Fargues-Fontaine 곡선 위의 G-_bundle의 수정 중에서 Harder-Narasimhan 필터링에 대해 반안정인 것들의 집합으로 기하학적으로 구성된다.
• 귀속성 가정 하에, $ J_b(F) $-equivariant 국소계를 가진 적합한 부분집합의 코homology는 전체 플라그 다양체를 $ J_b(F) $로 나눈 것의 코homology와 동형이다.
• 이 추측은 $ \mathrm{GL}_n $ 이외의 모든 재조화군 $ G $에 대해서도 검증되었으며, Hartl의 결과를 일반적인 경우로 확장한다.
• 결과적으로, 적합한 부분집합의 경계는 파라볼릭적으로 유도되며, 자동형 표현에 대해 코homological 결과를 초래한다.