[논문 리뷰] On quasi-split orthogonal local models of PEL type D

J. H. Yang, I. Zachos외 1명|arXiv (Cornell University)|2026. 02. 27.

Geometry and complex manifolds인용 수 0

한 줄 요약

논문은 quasi-split이지만 non-split인 PEL type D의 spin local models의 평탄성 및 관련 기하학적 속성을 증명하고, naive local models의 위상적 평탄성을 확립하며, 최대 parahoric 경우의 모듈리 해석과 해결책을 제시한다.

ABSTRACT

We study local models for the quasi-split but non-split even orthogonal similitude group over a complete discretely valued field of residue characteristic $p>2$. For arbitrary parahoric level, we prove that the Pappas-Rapoport spin local model is flat, normal, Cohen-Macaulay, with reduced special fiber. Equivalently, it agrees with the canonical local model, yielding an explicit moduli-theoretic description of the latter and confirming a conjecture of Pappas-Rapoport in the quasi-split orthogonal case. In the course of the proof we also show that the Rapoport-Zink local model is topologically flat, verifying a conjecture of Pappas-Rapoport-Smithling. Finally, for a maximal parahoric case we construct an explicit regular semi-stable model by blowing up the spin local model along the unique closed Schubert cell in its special fiber. As arithmetic applications, we deduce corresponding flatness and moduli-theoretic descriptions for integral PEL moduli spaces of type D and for the associated orthogonal Rapoport-Zink spaces.

연구 동기 및 목표

• PEL type D에 대한 평탄한 정합 모듈리 스킴과 대응하는 평탄한 직교 Rapoport–Zink 공간을 parahoric 레벨 구조와 함께 구성한다는 동기 부여와 구성.
• Pappas–Rapoport 추측을 증명: spin local models는 even orthogonal similitude 그룹에 대해 특이섬이 감소한 평탄성을 가진다.
• quasi-split non-split 설정에서 naive local models의 위상적 평탄성을 보이고, 최대 parahoric 파이버에서 Schubert 다양체를 기술한다.
• 모듈리 해석적 해석과 최대 parahoric 케이스에서의 명시적 해법을 제공한다.
• Shimura 다양체와 Rapoport–Zink 공간에 대한 산술적 응용을 개요한다.

제안 방법

• quasi-split non-split 심지어 직교 similitude 그룹에 대한 naive local models Mnaive_L와 spin local models M±_L를 정의하고 연구한다.
• spin condition을 적용하여 spin local model을 얻고 이를 canonical local models(Pappas–Zhu 프레임워크)과 비교한다.
• standard lattice chains 및 parahoric subgroups로의 환원으로 OF 위에서 M±_L의 평탄성을 입증하고, fibre가 감소되고 Cohen–Macaulay임을 확립한다.
• affine-flag-geometry 논증을 통해 Mnaive_L의 위상적 평탄성을 보이고, 감소된 특수섬유를 Schubert 셀로 층화한다.
• 최대 parahoric 케이스에서 감소된 섬유를 설명하기 위한 해석적 차원에서의 명시적 해석 차트와 Schubert-cell 층화를 제시한다.
• 최대 parahoric 케이스에서 고유한 닫힌 Schubert 셀을 따라 spin local model을 블로잉 업하여 해상도를 구성한다.

실험 결과

연구 질문

• RQ1 quasi-split이지만 non-split인 even orthogonal 그룹의 임의의 parahoric 레벨에서 spin local model이 OF0-스킴으로써 감소된 특수 섬유를 가지는 평탄성을 보이는가?
• RQ2 quasi-split non-split 설정에서 naive local model이 위상적으로 평탄한가?
• RQ3 최대 parahoric 케이스에서 특수 섬유의 Schubert-cell 구조는 어떠하며 특수 섬유가 서로 다른지?
• RQ4 PEL type D에서 canonical/local model 구성(Pappas–Zhu)과 모듈리 해석적 설명을 일치시키는가?
• RQ5 최대 parahoric 케이스에서 블로업으로 명시적으로 정규-준안정 모델을 얻을 수 있는가?

주요 결과

• spin local model M±_L은 OF0에 대해 평탄하고, 정상이며, Cohen–Macaulay하고 특수 섬유가 감소되어 있다(정리 1.3(1)).
• naive local model Mnaive_L은 위상적으로 평탄하다(정리 1.3(2)).
• 최대 parahoric 케이스에서 감소된 특수 섬유는 Schubert-cell 층화와 함께 불가혹성이 존재한다(정리 1.7).
• 특수 섬유의 Schubert 다양체에 대한 모듈리-해석적 설명이 확립된다(콩 Propositions 1.8).
• spin local model은 canonical schematic local model 및 Pappas–Zhu local model과 일치하며, 평탄성 결과는 quasi-split 설정에서 Pappas–Rapoport 추측을 확인한다(주석 1.4, 정리 1.3).
• 특정 최대 parahoric 레벨에서 spin local model을 고유의 닫힌 Schubert 셀을 따라 블로잉 업하여 얻은 정규-준안정 모델이 있다(정리 1.11).