[논문 리뷰] Genuine Bianchi modular forms of higher level, at varying weight and discriminant

Alexander D. Rahm, Panagiotis Tsaknias|arXiv (Cornell University)|2017. 03. 01.

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

한 줄 요약

이 논문은 허수 정수환에서의 높은 수준과 다양한 무게를 가진 진짜가 아닌 Bianchi 모듈라 형식에 대해 기계로 평가 가능한 차원 공식을 개발하며, 희귀한 진짜 형식의 체계적 식별을 가능하게 한다. 저자들은 이전의 수준 1 결과를 기반으로 베이스 챠인지 및 토글 기여를 통합하여, 수준 1을 초월한 진짜 Bianchi 모듈라 형식의 첫 번째 데이터베이스를 제시한다. 이 중에서 판별식 −11인 경우 178개의 진짜 무게 2 형식과 판별식 −7인 경우 200개의 진짜 무게 2 형식을 발견하였으며, 더 높은 무게의 예제도 확인되었다.

ABSTRACT

Bianchi modular forms are automorphic forms over an imaginary quadratic field, associated to a Bianchi group. Even though modern studies of Bianchi modular forms go back to the mid 1960's, most of the fundamental problems surrounding their theory are still wide open. Only for certain types of Bianchi modular forms, which we will call non-genuine, it is possible at present to develop dimension formulas: They are (twists of) those forms which arise from elliptic cuspidal modular forms via the Langlands Base-Change procedure, or arise from a quadratic extension of the imaginary quadratic field via automorphic induction (so-called CM-forms). The remaining Bianchi modular forms are what we call genuine, and they are of interest for an extension of the modularity theorem (formerly the Taniyama-Shimura conjecture, crucial in the proof of Femat's Last Theorem) to imaginary quadratic fields. In a preceding paper by Rahm and Sengun, an extreme paucity of genuine cuspidal Bianchi modular forms has been reported, but those and other computations were restricted to level One. In this paper, we are extending the formulas for the non-genuine Bianchi modular forms to deeper levels, and we are able to spot the first, rare instances of genuine forms at deeper level and heavier weight.

연구 동기 및 목표

• 이전 결과가 국한되어 있던 수준 1을 초월한 진짜가 아닌 Bianchi 모듈라 형식의 차원 공식을 확장하는 것.
• 높은 수준과 무거운 무게에서 진짜 Bianchi 모듈라 형식의 체계적 계산을 가능하게 하여, Brumer–Kramer 매개모듈라성 및 Eichler–Shimura 추측을 시험하는 데 핵심적인 기여를 하는 것.
• 높은 수준에서의 베이스 챠인지, 토글 및 CM 형식에 대한 명시적이고 기계로 평가 가능한 공식을 제공하여 이전의 계산적 제약을 극복하는 것.
• 비진짜 부분공간을 전체 코homology 계산에서 빼내어 진짜 형식을 분리하는 방식으로 새로운 Bianchi 모듈라 형식 데이터베이스를 구축하는 것.

제안 방법

• 저자들은 Eichler–Shimura 동형을 통해 코homology를 계산하기 위해 Eckmann–Shapiro 보조정리를 사용하여, 더 높은 수준에서의 진짜가 아닌 Bianchi 모듈라 형식에 대한 명시적 차원 공식을 유도한다.
• 베이스 챠인지 차원 공식을 더 높은 수준으로 확장하여, 비진짜 공간의 일부로 간주되는 베이스 챠인지 형식의 토글을 고려한다.
• 공식은 계수수와 판별식에 따른 경우의 수에 따라 구성되며, 홀수 계수수를 가진 분야와 특정 소수 p ≡ 3 mod 4에 집중한다.
• 공식은 제6장에서 알고리즘적으로 구현되며, 기계 평가를 위한 지침을 제공한다.
• Bianchi 모듈라 형식 공간의 전체 차원은 Bianchi 모듈라 군으로부터 기하학적으로 계산되며, 비진짜 부분공간을 빼내어 진짜 형식을 분리한다.
• 최종적으로 생성된 데이터베이스는 계산적 호모로지 및 코homology 계산을 통해 생성되었으며, 판별식 −7과 −11에 대해 각각 수준 노름 2657과 2803까지 결과가 제시되었다.

실험 결과

연구 질문

• RQ1 허수 정수환에서 홀수 계수수를 가진 경우에 대해, 더 높은 수준과 임의의 무게를 가진 진짜가 아닌 Bianchi 모듈라 형식의 차원 공식은 무엇인가?
• RQ2 더 높은 수준의 Bianchi 모듈라 형식 계산에서, 베이스 챠인지 및 토글 기여는 어떻게 체계적으로 고려할 수 있는가?
• RQ3 수준 1을 초월한 진짜 Bianchi 모듈라 형식의 첫 번째 체계적 데이터베이스는 무엇이며, 더 높은 무게와 수준에서 진짜 공간의 차원은 무엇인가?
• RQ4 Eichler–Shimura 및 Brumer–Kramer 추측은 더 높은 수준에서의 새로운 진짜 형식 예시를 통해 지지될 수 있는가?
• RQ5 특히 무게 2 이상에서, 더 높은 수준과 무게에서 진짜 Bianchi 모듈라 형식의 분포와 존재 빈도는 어떻게 되는가?

주요 결과

• 논문은 더 높은 수준에서의 베이스 챠인지, 토글 및 CM 형식을 포함한, 진짜가 아닌 Bianchi 모듈라 형식에 대해 기계로 평가 가능한 첫 번째 명시적 차원 공식을 제시한다.
• 판별식 −7의 경우, 수준 노름 2657까지의 수준에서 무게 2의 진짜 형식 200개를 발견하였으며, 그 차원은 최대 5까지였다.
• 판별식 −11의 경우, 수준 노름 2491까지의 수준에서 무게 2의 진짜 형식 178개를 식별하였으며, 그 차원은 최대 12까지였다.
• 더 높은 무게의 진짜 형식도 확인되었으며, 무게 4와 6에서 차원 1인 형식과 무게 4와 6에서 차원 2인 형식이 포함되었다.
• 데이터베이스는 판별식 −7에서 차원 3인 진짜 무게 2 형식 30개와 판별식 −11에서 차원 4인 진짜 무게 2 형식 18개를 드러냈다.
• 결과는 수준 1을 초월한 진짜 형식의 존재를 확인하였으며, 판별식 −11에서 차원 12인 무게 2의 진짜 형식 4개와 판별식 −7에서 차원 12인 무게 2의 진짜 형식 4개가 존재함을 보여주었다.