[논문 리뷰] Cohomology of Congruence Subgroups of SL_4(Z). III

Avner Ash, Paul E. Gunnells외 1명|ArXiv.org|2009. 03. 18.

Advanced Algebra and Geometry참고 문헌 32인용 수 13

한 줄 요약

이 논문은 $ \mathrm{SL}_4(\mathbb{Z}) $ 의 동치 하위군에 대해 $ N = 211 $ 까지의 수준까지 $ H^5(\Gamma_0(N);\mathbb{C}) $ 의 코homology 군을 계산하는 데 있어 새로운 희소 행렬 감소 기법을 활용하여, 최대 2000만 개의 비영원소를 가진 행렬을 처리함으로써 기여를 하였다. 주요 기여는 전체 기저 변화 행렬을 올리지 않고 모듈로 감소와 중국인의 나머지 정리를 사용하여 $ \mathbb{Z} $ 위에서 스미스 표준형을 계산하는 새로운 알고리즘을 개발한 것이다. 이는 효율적인 코homology 및 히케 연산자 계산을 가능하게 하며, 아이즈نش타인 및 시겔 모듈라 형식 기여에 대한 두 가지 추측을 지지하는 결과를 제공한다.

ABSTRACT

In two previous papers [AGM1, AGM2] we computed cohomology groups H^5(Γ_0 (N); \C) for a range of levels N, where Γ_0 (N) is the congruence subgroup of SL_4 (\Z) consisting of all matrices with bottom row congruent to (0,0,0,*) mod N. In this note we update this earlier work by carrying it out for prime levels up to N = 211. This requires new methods in sparse matrix reduction, which are the main focus of the paper. Our computations involve matrices with up to 20 million non-zero entries. We also make two conjectures concerning the contributions to H^5(Γ_0 (N); \C) for N prime coming from Eisenstein series and Siegel modular forms.

연구 동기 및 목표

• 이전에 $ N = 83 $ 까지의 수준에서 수행된 $ \mathrm{SL}_4(\mathbb{Z}) $ 의 $ H^5(\Gamma_0(N);\mathbb{C}) $ 코homology 계산을 소수 수준까지 확장하여 $ N = 211 $ 까지로 확대한다.
• 코호몰로지 군과 히케 고유값을 추적하는 데 필수적인 $ \mathbb{Z} $ 위에서의 스미스 표준형과 기저 변화 행렬을 효율적으로 계산하는 새로운 희소 행렬 감소 알고리즘을 개발하고 구현한다.
• 두 가지 추측을 검증한다: 하나는 경계(아이즈ENCH타인) 코호몰로지의 구조가 무게 2와 4인 고전적 측정형 모듈라 형식 및 $ \mathrm{GL}(3) $ 코호몰로지의 리프트임을 주장하는 것이며, 다른 하나는 $ \mathrm{GSp}_4 $ 에서의 비-그리츠엔코 시겔 모듈라 형식의 무게 3 리프트로부터 유래하는 측정형 코호몰로지의 존재를 주장하는 것이다.
• 랜글랜즈의 함수적 전이 이론에 기반한 예상과는 달리 소수 수준에서 비자기대칭 측정형 코호몰로지 클래스가 존재하지 않음을 위한 계산적 증거를 제공한다.

제안 방법

• 작은 소수 $ p $ 에 대한 모듈로 감소를 사용하여 스미스 표준형과 기저 변화 행렬을 효율적으로 계산함으로써 전체 정수 행렬을 올리는 데 드는 금지적인 비용을 피한다.
• 희소 선형 시스템을 풀기 위해 위데만의 알고리즘과 같은 반복적 방법을 사용하여 코호몰로지 군과 히케 연산자를 신속하게 계산한다.
• 코호몰로지 군과 히케 고유값의 구조를 유지하는 기저 변화 행렬에 초점을 맞추어 전체 행렬의 역행렬을 계산하는 것을 피함으로써, 고유군을 식별하는 데 필수적인 요소를 유지한다.
• 중국인의 나머지 정리를 사용하여 모듈로 결과에서 정수 코호몰로지 데이터를 재구성하지만, 전체 전환 행렬을 올리는 것을 피하여 계산 비용을 감소시킨다.
• 이 방법은 아이즈ENCH타인 및 시겔 모듈라 형식 리프트로부터 예측된 베티 수와 히케 고유값이 일치함을 확인함으로써 검증되었으며, 특히 $ l=2 $ 에서 뚜렷한 일치를 보였다.
• 이 알고리즘은 최대 2000만 개의 비영원소를 가진 행렬에 적용되어 이전에는 불가능했던 수준에서의 계산을 가능하게 하였다.

실험 결과

연구 질문

• RQ1 새로운 희소 행렬 감소 기법을 통해 $ \mathrm{SL}_4(\mathbb{Z}) $ 의 소수 수준까지 $ H^5(\Gamma_0(N);\mathbb{C}) $ 를 계산할 수 있는가, 이는 이전의 한계인 $ N = 83 $ 을 초월하는가?
• RQ2 소수 수준 $ N $ 에서의 코호몰로지가 아이즈ENCH타인 급수와 시겔 모듈라 형식 리프트의 기여로 어떻게 분해되는가? 이는 추측에 기반한가?
• RQ3 랜글랜즈의 함수적 전이 이론에 따르면 존재가 예상되는 비자기대칭 측정형 코호몰로지 클래스가 계산 범위 내에서 발견되지 않은 이유는 무엇인가?
• RQ4 모듈로 감소와 중국인의 나머지 정리를 사용하여 전체 올리기 없이도 $ \mathbb{Z} $ 위에서 스미스 표준형과 기저 변화 행렬을 효율적으로 계산할 수 있는가?

주요 결과

• 저자들은 모든 소수 수준 $ N \leq 211 $ 에 대해 $ H^5(\Gamma_0(N);\mathbb{C}) $ 를 성공적으로 계산하였으며, $ N=83 $ 에서는 베티 수가 21에서 $ N=211 $ 에서는 77에 이르렀다.
• $ N=127 $ 에서는 베티 수가 정확히 40이며, 이 중 34차원은 중심 $ L $-값이 0인 무게 2와 4의 측정형 모듈라 형식에 의해 설명되며, 나머지 6차원은 비-그리츠엔코 시겔 모듈라 형식의 무게 3에 기인한다.
• 랜글랜즈 이론에 따르면 존재가 예상되는 $ \mathrm{GL}(4)/\mathbb{Q} $ 의 비자기대칭 자동형 표현에 해당하는 측정형 코호몰로지 클래스는 발견되지 않았다.
• 계산된 코호몰로지는 추측 1(아이즈ENCH타인 기여)과 추측 2(파라모듈라 리프트)에 의해 완전히 설명되며, $ 2d_h $-차원 고유공간이 파라모듈라 형식의 히케 다항식과 정확히 일치한다.
• 이 방법은 최대 2000만 개의 비영원소를 가진 행렬의 계산을 가능하게 하여 이전의 한계를 초월하는 확장성을 입증하였다.
• 수준 $ N > 100 $ 에서는 $ l=2 $ 에서만 히케 연산자가 계산되었는데, 이는 $ l $ 이 증가함에 따라 계산 비용이 기하급수적으로 증가하기 때문이다.