[논문 리뷰] The Hodge conjecture and arithmetic quotients of complex balls

Nicolas Bergeron, John J. Millson외 1명|arXiv (Cornell University)|2013. 06. 06.

Advanced Algebra and Geometry참고 문헌 46인용 수 5

한 줄 요약

이 논문은 자동형식 양식과 내부 분류를 사용하여 복소 구의 쌍곡 평탄화를 통한 쇴마 다양체에 대해 중심 구간 ]n/3, 2n/3[ 외부의 차수에서 호지 추측을 확립한다. 또한 유사 유니터리 군의 임의의 서명에 대해 동일한 범위에서 타이 추측과 일반화된 호지 추측을 증명하며, 비연결 군의 추적 공식의 안정화에 조건부로 확장한다.

ABSTRACT

Let $S$ be a closed Shimura variety uniformized by the complex $n$-ball. The Hodge conjecture predicts that every Hodge class in $H^{2k} (S, \Q)$, $k=0, \ldots, n$, is algebraic. We show that this holds for all degree $k$ away from the neighborhood $]n/3, 2n/3[$ of the middle degree. We also address the Tate conjecture and the generalized form of the Hodge conjecture and extend most of our results to Shimura varieties associated to unitary groups of any signature. The proofs make use of the recent endoscopic classification of automorphic representations of classical groups by \cite{ArthurBook,Mok}. As such our results are conditional on the stabilization of the trace formula for the (disconnected) groups $\GL (N) times \langle θ angle$ associated to base change. Unfortunately, at present the stabilization of the trace formula has been proved only for the case of {\it connected} groups. The extension needed is part of work in progress by the Paris-Marseille team of automorphic form researchers. For more detail, see the second paragraph of subsection ef{org2} below.

연구 동기 및 목표

• 복소 n-구로 평탄화된 쇴마 다양체에 대해 중심 구간 ]n/3, 2n/3[ 외부의 코homological 차수에서 호지 추측을 증명한다.
• 이러한 결과를 임의의 서명을 가진 유니터리 군과 관련된 쇴마 다양체로 확장한다.
• 동일한 코homological 차수에서 타이 추측과 일반화된 호지 추측을 확립한다.
• 비중앙 차수에서 유리수 호지 클래스가 대수적 클래스와 정확히 일치함을 보여, 호지 추측의 가장 강력한 형태에 대한 증거를 제공한다.
• 자기형식과 심플렉틱 코어스폰던스를 기반으로 한 프레임워크를 개발하여 산술 몫의 코homology를 분석한다.

제안 방법

• 자기형식과 라일스의 내적 공식을 사용하여 자동형식을 코homology 클래스와 연결한다.
• 고전적 군의 자동형식 표현의 내부 분류를 적용하여 코homology의 스펙트럼 분해를 분석한다.
• 왜곡된 포크 모델과 특수한 (𝔘(p,q),K)-코호몰로지 사이클 ψ_{bq,aq}를 사용하여 코homological 표현을 계산한다.
• 스chrödinger 모델과 보렐 변환을 통해 연산자를 구성하여 사이클과 정칙 형식을 연결한다.
• 하드 레프슐츠 정리를 사용하여 수준 필터링 N^c H^•(S,ℚ) 의 쌍대성 불변성을 보여준다.
• 최근 추적 공식 이론의 진전에 기반하여 GL(N) ⋊ ⟨θ⟩ 에 대한 추적 공식의 안정화에 의존한다.

실험 결과

연구 질문

• RQ1 복소 구로 평탄화된 쇴마 다양체에서 중심 구간 ]n/3, 2n/3[ 외부의 코homological 차수에서 호지 추측이 성립하는가?
• RQ2 동일한 차수에서 이들 다양체에 대해 타이 추측을 증명할 수 있는가?
• RQ3 서브다양체의 여피차수 c에 따라 중심 구간이 달라지는 경우, 일반화된 호지 추측은 어느 정도 성립하는가?
• RQ4 그로텐디크의 경고에도 불구하고, 복소 구 몫의 경우 더 강력한 호지 추측(ℚ 계수)이 성립하는가? (오른쪽 항이 일반적으로 호지 구조가 아니라는 점을 감안하여)
• RQ5 자기형식과 토파 릿지가 비중간 차수에서 호지 클래스의 대수성에 어떻게 기여하는가?

주요 결과

• S가 복소 n-구로 평탄화된 컴acts 쇴마 다양체이면, H^{2k}(S,ℚ) 에서 모든 차수 k에 대해 호지 추측이 성립하며, 조건은 k ∉ ]n/3, 2n/3[ 이다.
• 타이 추측은 호지 추측과 동일한 코homological 차수에서 증명된다.
• 서브다양체의 여피차수 c에 따라 중심 차원에서 중심을 둘러싼 구간 외부의 차수에서 일반화된 호지 추측이 성립한다.
• q=1 (복소 구) 인 경우, H^n(S,ℚ) 에서 수준 c의 호지 클래스는 a,b ≥ c 인 H^{a,b}(S,ℂ) 의 합집합에 정확히 포함된다.
• 비연결 군 GL(N) ⋊ ⟨θ⟩ 의 추적 공식 안정화에 대한 가정 하에 결과는 임의의 서명을 가진 유니터리 군으로 확장된다.
• 이 특수한 경우에서 더 강력한 호지 추측(ℚ 계수)이 성립함을 확인하였으며, 오른쪽 항이 일반적으로 호지 구조가 아니라는 점을 감안하여도 성립한다.