[논문 리뷰] On Tate conjecture for the special fibers of some unitary Shimura varieties

David Helm, Yichao Tian외 1명|arXiv (Cornell University)|2014. 10. 09.

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

한 줄 요약

이 논문은 일반성 조건 하에서, $p$에 대한 단위군 슈미라 다양체의 특수 섹션에서 중간 차원 테이트 클래스들이 그의 초과도 지역의 기약 성분들에 의해 생성됨을 확립한다. 라포포르트–진의 균일화를 사용하지 않고, 슈미라 다양체 간의 대응에 기반한 새로운 접근법을 통해 저자들은 이러한 성분들이 모든 일반적인 테이트 순환을 생성함을 증명하며, 단위군 슈미라 다양체에서 특수 순환과 뉴턴 분할에 대한 더 넓은 추측을 지지한다.

ABSTRACT

Let $F$ be a totally real field in which a fixed prime $p$ is inert, and let $E$ be a CM extension of $F$ in which $p$ splits. We fix two positive integers $r,s \in \mathbb N$. We investigate the Tate conjecture on the special fiber of $G(U(r,s) imes U(s,r))$-Shimura variety. We construct cycles which we conjecture to generate the Tate classes and verify our conjecture in the case of $G(U(1,s) imes U(s,1))$. We also discuss the general conjecture regarding special cycles on the special fibers of unitary Shimura varieties.

연구 동기 및 목표

• 유한체 위에서 단위군 슈미라 다양체의 특수 섹션에서 테이트 클래스의 구조를 조사하는 것.
• 초과도 지역이 테이트 순환 생성에 기여하는 기하학적 및 산술적 역할을 이해하는 것.
• 특수 순환, 뉴턴 분할, 그리고 테이트 추측을 연결하는 일반적 추측을 제안하고 이를 뒷받침할 증거를 제공하는 것.
• 라포포르트–진 균일화에 의존하지 않는, 슈미라 다양체 간의 상호관계를 기반으로 한 새로운 방법을 개발하는 것.
• 적절한 조건 하에서 기본 지역의 기약 성분들이 모든 일반적인 중간 차원 테이트 클래스를 생성함을 확립하는 것.

제안 방법

• 저자들은 헬름이 도입하고, 천과 샤오가 확장한, 서로 다른 서명을 가진 단위군 슈미라 다양체 간의 대응 기반 방법을 사용한다.
• 초과도 지역 $\mathrm{Sh}_{1,n-1}^{\mathrm{ss}}$ 의 기하학을 분석하여, 이가 딜레인-루스트리츠 변형체의 합집합임을 보이며, 차원 $n-1$ 에서 등거리임을 보인다.
• 핵심 기술 도구는 $\mathrm{Sh}_{1,n-1}$ 에서의 초과도 순환의 교차 수와 교차 행렬을 $q$-이항계수를 포함하는 조합적 공식을 통해 계산하는 것이다.
• 저자들은 $\ell$-adic 코hom로에 대한 헤케 작용을 활용하여 일반적인 테이트 클래스를 분리하고, 기본 지역에 지지되는 대수적 순환과 연결한다.
• 증명은 기본 대칭 다항식과 $q$-정수를 포함하는 행렬 $M_n(q)$ 의 행렬식 공식에 의존하며, 이는 행 연산과 행렬 분해를 통해 결과 행렬식과 동일시됨을 보인다.
• 저자들은 $p$-나누어지지 않는 군의 변형 이론과 디외도니 모듈 기법을 사용하여 특수 섹션의 국소 구조를 분석한다.

실험 결과

연구 질문

• RQ1 특수 섹션에서 단위군 슈미라 다양체 mod $p$의 중간 차원 테이트 클래스들이 초과도 지역의 기약 성분들에 의해 생성되는가?
• RQ2 이러한 슈미라 다양체에 대한 테이트 추측은 기본 지역에 지지되는 기하 순환을 통해 검증될 수 있는가?
• RQ3 뉴턴 분할과 단위군 슈미라 다양체의 코호몰로지에서의 순환 클래스 사이의 관계는 무엇인가?
• RQ4 헤케 연산자는 특수 섹션의 코호몰로지에 어떻게 작용하며, 이는 테이트 클래스의 구조에 대해 무엇을 드러내는가?
• RQ5 기본 지역이 단위군 슈미라 다양체에서 모든 일반적인 테이트 클래스에 기여하는 일반 원칙이 존재하는가?

주요 결과

• 일반성 조건 하에서, $\mathrm{Sh}_{1,n-1}$ 의 중간 차원 테이트 클래스들은 그의 초과도 지역의 기약 성분들에 의해 생성된다.
• 초과도 지역 $\mathrm{Sh}_{1,n-1}^{\mathrm{ss}}$ 는 차원 $n-1$ 에서 등차원이며, 그 성분들은 딜레인-루스트리츠 변형체와 동형이다.
• 초과도 순환의 교차 행렬은 명시적으로 계산되었으며, 그 행렬식은 $\alpha_1 \cdots \alpha_n \prod_{i \neq j} \left(q\alpha_i - \frac{1}{q}\alpha_j\right)$ 로 나타나지며, 깊은 대수적 구조를 확인한다.
• 저자들은 기본 대칭 다항식과 $q$-정수를 포함하는 행렬 $M_n(q)$ 의 행렬식 공식을 증명하였으며, 이는 교차 수 계산에 필수적이다.
• 이 방법은 라포포르트–진 공간을 사용하지 않고, 대신 슈미라 다양체 간의 전역적 대응을 사용함으로써 테이트 추측에 대한 새로운 길을 제시한다.
• 결과는 일반 추측을 지지한다: 기본 지역의 기약 성분들은 $\mathbb{F}_{p^2}$ 위에서의 단위군 슈미라 다양체에서 모든 일반적인 테이트 클래스를 생성한다.