[논문 리뷰] On the number of representations by certain octonary quadratic forms with coefficients 1, 2, 3, 4 and 6

B. Ramakrishnan, Brundaban Sahu외 1명|arXiv (Cornell University)|2016. 07. 13.

Advanced Algebra and Geometry참고 문헌 12인용 수 3

한 줄 요약

이 논문은 모듈러 형식 이론을 사용하여 계수 1, 2, 3, 4, 6을 가진 특정 대각선 8차 이차형식에 의한 정수의 표현 수에 대한 명시적 공식을 유도한다. 특별한 특성과 함께 $\Gamma_0(48)$ 위의 모듈러 형식 공간에 대한 명시적 기저를 구성함으로써, 이전에 열려 있던 사례를 완료하였으며, 특히 계수 1, 2, 4를 가진 혼합 기수 형식에 대해 확장하여 계수 3과 6을 포함시켜 총 203개의 경우에 대해 새로운 닫힌 형태의 표현 수 공식을 도출하였다.

ABSTRACT

In this paper, we find formulas for the number of representations of certain diagonal octonary quadratic forms with coefficients $1,2,3,4$ and $6$. We obtain these formulas by constructing explicit bases of the space of modular forms of weight $4$ on $Γ_0(48)$ with character.

연구 동기 및 목표

• 계수 1, 2, 3, 4, 6을 가진 대각선 8차 이차형식에 대한 표현 수의 분류를 완료하는 것.
• 이전에 다루지 않은 계수 1, 2, 4를 가진 혼합 기수 형식의 나머지 12개 사례를 해결하는 것.
• 이전에 계수 1, 2, 3, 6 또는 2, 3, 6를 가진 형식에 대해 유도된 결과를 계수 1, 2, 3, 4, 6를 가진 형식으로 확장하는 것.
• 특정 딜리클레 특성과 함께 $\Gamma_0(48)$ 위의 무게 4의 모듈러 형식을 사용하여 표현 수에 대한 명시적 공식을 제공하는 것.

제안 방법

• 저자들은 특별한 딜리클레 특성 $\chi_8$을 가진 $\Gamma_0(48)$ 위의 무게 4의 모듈러 형식 공간에 대한 명시적 기저를 구성한다.
• 8차 이차형식과 관련된 쌍곡형식을 사용하며, 이는 $\Gamma_0(48)$ 위의 특성과 함께 무게 4의 모듈러 형식이다.
• 표현 수 $N(1^i,2^j,3^k,4^l,6^m;n)$는 산술 함수 $\sigma_{3;\chi_8,\mathbf{1}}(n)$, $\sigma_{3;\mathbf{1},\chi_8}(n)$ 및 계수 $a_{4,8,\chi_8;1}(n)$, $a_{4,8,\chi_8;2}(n)$의 선형 조합으로 표현된다.
• 모듈러 형식 공간은 차원과 기저를 통해 분석되며, 푸리에 계수를 일치시킴으로써 표현 공식이 유도된다.
• 이 방법은 특히 측도 형식과 아이젠스타인 급수의 공간 분해 이론에 의존한다.
• 저자들은 기존 결과와의 비교를 통해 공식을 검증하고, 정규화 및 축소 기법을 통해 특수 케이스를 처리한다.

실험 결과

연구 질문

• RQ1 계수 1, 2, 3, 4, 6를 가진 대각선 8차 이차형식에 의한 정수의 표현 수에 대한 명시적 공식은 무엇인가?
• RQ2 계수 1, 2, 4를 가진 혼합 기수 형식의 나머지 12개 열린 사례는 어떻게 모듈러 형식을 통해 해결할 수 있는가?
• RQ3 $\Gamma_0(48)$ 위의 특성과 함께 무게 4의 모듈러 형식 공간의 구조는 무엇이며, 이는 표현 수 공식 유도에 어떻게 기여하는가?
• RQ4 계수 1, 2, 3, 4, 6를 가진 새로운 공식은 계수 1, 2, 3, 6 또는 2, 3, 6를 가진 이전 결과와 어떻게 비교되는가?
• RQ5 모든 203개의 경우에 대해 공통의 모듈러 형식 기저를 사용하여 표현 수를 균일하게 표현할 수 있는가?

주요 결과

• 저자들은 $\Gamma_0(48)$ 위의 무게 4의 모듈러 형식을 사용하여 계수 1, 2, 4를 가진 8차 형식에 대해 12개의 누락된 사례를 완료하였다.
• 특히 $N(1^1,2^1,4^6;n)$의 경우 공식은 $\frac{2}{11}\sigma_{3;\chi_8,\mathbf{1}}(n) + \frac{2}{11}\sigma_{3;\mathbf{1},\chi_8}(n/2) + \frac{6}{11}a_{4,8,\chi_8;1}(n) + \frac{14}{11}a_{4,8,\chi_8;2}(n) + \frac{48}{11}a_{4,8,\chi_8;1}(n/2) - \frac{28}{11}a_{4,8,\chi_8;2}(n/2)$ 로 주어진다.
• 또한 $N(1^1,2^3,4^4;n)$의 경우 공식은 $\frac{4}{11}\sigma_{3;\chi_8,\mathbf{1}}(n) + \frac{2}{11}\sigma_{3;\mathbf{1},\chi_8}(n/2) + \frac{1}{11}a_{4,8,\chi_8;1}(n) + \frac{17}{11}a_{4,8,\chi_8;2}(n) + \frac{48}{11}a_{4,8,\chi_8;1}(n/2) + \frac{16}{11}a_{4,8,\chi_8;2}(n/2)$ 로 주어진다.
• 계수 1, 2, 3, 4, 6를 가진 형식에 대해 203개의 새로운 공식을 도출하였으며, 이는 이전 결과로 환원 가능한 경우(예: 계수 2, 3 또는 1, 2, 3, 6)를 제외한 것이다.
• 표현 수는 약수 합과 모듈러 형식 계수를 포함하는 산술 함수의 유리수 선형 조합으로 표현된다.
• 특정 $n$ 값, 예를 들어 $n = 40013$, $40031$, $42011$, $50021$, $60011$ 에 대해 수치적으로 공식을 검증하였으며, 표에 정확한 분수 계수를 제공하였다.