[논문 리뷰] Automorphic cohomology, motivic cohomology, and the adjoint $L$-function

Kartik Prasanna, Akshay Venkatesh|arXiv (Cornell University)|2016. 09. 20.

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

한 줄 요약

이 논문은 아리트메틱 군의 코homology와 랑랜즈에 관련된 모티브의 모티브 코homology 사이의 추측적 연관성을 제안하며, 특히 s=1에서의 애드조인트 L-함수와 관련된다. 주기 적분과 해석적 토르션을 사용하여, 모티브 코hom로의 차수 이동 작용을 자동형 군의 코homology에 정의한다. 이는 특정 케이스에서 호지 선형 대수의 상쇄를 통해 수치적으로 검증된다.

ABSTRACT

We propose a relationship between the cohomology of arithmetic groups, and the motivic cohomology of certain (Langlands-)attached motives. The motivic cohomology group in question is that related, by Beilinson's conjecture, to the adjoint $L$-function at $s=1$. We present evidence for the conjecture using the theory of periods of automorphic forms, and using analytic torsion.

연구 동기 및 목표

• 아리트메틱 군의 코homology에서 스펙트럴 불일치를 설명하는 데, 히케 연산자가 여러 차수에 걸쳐 동일한 고유값을 갖는 현상이다.
• 이 불일치가 숨겨진 모티브 코hom로의 차수 이동 작용이 라이센스 코homology에 기인한다는 추측을 제안한다.
• 아르키메데스 조건자(regulator)를 통해 베일린슨의 추측(적분 L-함수의 s=1에서의 성질)과 이 작용을 연결한다.
• 주기 적분과 호지 선형 대수학을 사용하여 추측을 검증할 수 있는 수치적 프레임워크를 제공한다.
• 큰 상쇄가 발생하는 저랭크 케이스(예: δ=3)에서 예측을 검증하며, 호지 구조의 상당한 상쇄로 일관된 결과를 도출한다.

제안 방법

• Y(K)의 아리트메틱 다양체의 코homology를 군 코homology의 직합으로 표현하며, 히케 작용이 자동형 표현 π를 통해 인자화됨을 보인다.
• 비분할된 자리에서의 특성 χ_v를 통해 코homology를 Hecke 고유계산계 Π로 국소화하며, 비분할, 커퍼스피드 표현이며 (g,K∞⁰)-코homology가 0이 아닌 표현에 집중한다.
• 모티브 코hom로의 작용을 H*(Y,Q)ₚ에 대해 추측적으로 정의하며, 이는 히케 대수와 가환하고 차수를 δ만큼 이동시킨다.
• 아르키메데스 조건자를 사용하여 C 위에서 작용을 정의하고, 이 작용이 유리 구조를 유지한다는 추측을 제기한다.
• G = PGL_n, SO_m, Sp(2n)에 대해 관련 모티브 M과 Ad(M)의 호지 수를 표준 표현을 사용하여 계산한다.
• 주기 적분과 호지 선형 대수학을 통해 예측을 검증하며, δ=3 케이스에서 놀라운 상쇄 현상을 관찰한다.

실험 결과

연구 질문

• RQ1 스펙트럴 불일치가 숨겨진 모티브 구조에 의해 어떻게 설명될 수 있는가?
• RQ2 랑랜즈 모티브의 모티브 코호몰로지와 s=1에서의 애드조인트 L-함수 사이의 정확한 관계는 무엇인가?
• RQ3 모티브 코호몰로지의 추측적 차수 이동 작용이 주기 적분과 호지 이론을 통해 어떻게 실현될 수 있는가?
• RQ4 예측된 주기 행렬이 수치 계산과 일치하는 경우는 언제이며, 관측된 상쇄 현상은 무엇으로 설명되는가?
• RQ5 모티브 M과 그의 애드조인트 표현 Ad(M)의 호지 수는 자동형 형태의 코호몰로지 구조를 어떻게 반영하는가?

주요 결과

• H*(Y,C)ₚ의 코호몰로지 차수 j에서의 다중도는 k·(δ choose j−q)이며, δ = rank(G) − rank(K∞) 및 q = (dim Y − δ)/2 이다. 이는 스펙트럴 불일치를 설명한다.
• G = SL_{2m}의 경우, 코호몰로지 차수는 q = m²에서 q + δ = m² + m − 1까지 범위를 가지며, 이는 이항계수 비례로 다중도가 증가한다.
• δ=3 케이스에서 수치적 검증을 통해 호지 선형 대수학에서 큰 상쇄 현상이 발생하며, 주기 행렬에 대한 일관된 예측이 도출된다.
• PGL_n에 대해 모티브 M의 호지 수는 (n−1,0), (n−2,1), ..., (0,n−1)이며, 각각의 다중도는 1이다.
• SO_{2n}의 경우, 모티브 M의 호지 수는 (2n−2,0)¹, (2n−3,1)¹, ..., (n−1,n−1)², ..., (0,2n−2)¹이며, Ad(M)에서는 대칭적인 패턴이 나타난다.
• SO_{2n+1}의 경우, 모티브 M의 호지 수는 (2n−1,0), (2n−2,1), ..., (0,2n−1)이며, 각각의 다중도는 1이다. Ad(M)는 다중도 1,1,2,2,...,n,n,...,2,2,1,1을 가진다.