[논문 리뷰] Algorithmic determination of irreducibility of holomorphic eta quotients

Soumya Bhattacharya|arXiv (Cornell University)|2016. 02. 09.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 3

한 줄 요약

이 논문은 수준 $N$인 정칙 에타 몫의 비약인 경우, 그 수준을 나누는 어떤 비자명한 인수도 가지지 않는다면, 그 모든 인수의 수준이 $N$에 대한 명시적 함수로 위에서 유계임을 증명하여, 정칙 에타 몫의 비약성에 대한 알고리즘적 해결책을 제시한다. 핵심 결과는 소수 거듭제곱 수준 $N$을 가진 약인 에타 몫은 반드시 수준이 $N$을 나누는 비자명한 인수를 가져야 한다는 것을 보여주며, 이는 수준 기반 인수 분해 검사를 통한 비약성 검증을 가능하게 한다.

ABSTRACT

Although eta quotients have been extensively studied for a long time,the fundamental problem of constructing an algorithm that determines whether or not a given holomorphic eta quotient $f$ is a product of two holomorphic eta quotients other than 1 and itself still remains open. The difficulty of the problem stems from an apparent lack of information about the existence of an upper bound for the levels of the factors of $f$. Here we show that if a holomorphic eta quotient $f$ of level $N$ has no nontrivial factors whose level divide $N$, then the levels of all the factors of $f$ are bounded above with respect to $N$. We also provide an explicit upper bound in terms of $N$ for the minimum of the levels of the nontrivial factors of $f$. This bound has a further refinement with respect to the weight of $f$. In particular, we show that any reducible holomorphic eta quotient of a prime power level $N$ has a nontrivial factor whose level divides $N$. As a consequence, it follows that all rescalings by positive integers and all Atkin-Lehner involutions of irreducible holomorphic eta quotients of prime power levels are irreducible.

연구 동기 및 목표

• 정칙 에타 몫의 비약성 여부를 알고리즘적으로 결정하는 데 오랫동안 미해결된 문제를 해결하기 위해.
• 주어진 에타 몫의 잠재적 인수의 수준에 대한 알려진 상한이 없음으로 인해 발생하는 과제를 다루기 위해.
• 정칙 에타 몫의 비자명한 인수의 최소 수준에 대한 명시적 상한을 그 수준 $N$에 따라 설정하기 위해.
• 소수 거듭제곱 수준 $N$을 가진 경우, 모든 약인 정칙 에타 몫은 반드시 수준이 $N$을 나누는 비자명한 인수를 가져야 하며, 이는 알고리즘적 검증을 가능하게 한다.

제안 방법

• 저자들은 잠재적 인수의 수준에 대한 나눗셈 조건을 분석함으로써 정칙 에타 몫의 구조를 연구한다.
• 수준 $N$인 정칙 에타 몫 $f$의 비자명한 인수 중에서 수준이 $N$을 나누지 않는 경우에 대해, 그 인수의 수준에 대한 상한을 유도한다.
• 에타 몫의 무게를 활용하여 이 상한을 보다 정밀하게 조정한다.
• 모듈라 형식의 성질과 디데킨드 에타 함수의 모듈라 변환 행동을 활용하여 증명한다.
• 저자들은 아틴-레너 변환과 스케일링 연산을 적용하여 비약성을 유지함을 보이며, 소수 거듭제곱 수준에서 이러한 연산에 의해 비약성이 유지됨을 보여준다.
• 모듈라 형식 이론과 수준 상승 기법을 사용하여, 낮은 수준의 인수가 존재하지 않으면 모든 인수의 수준이 유계임을 증명한다.

실험 결과

연구 질문

• RQ1 정칙 에타 몫의 수준과 인수 구조를 분석하여, 비약성 여부를 알고리즘적으로 결정할 수 있는 알고리즘을 구성할 수 있는가?
• RQ2 정칙 에타 몫의 비자명한 인수의 수준에 대한 절대적 상한이 그 수준 $N$에 따라 존재하는가?
• RQ3 모든 소수 거듭제곱 수준 $N$을 가진 약인 정칙 에타 몫은 반드시 수준이 $N$을 나누는 비자명한 인수를 가져야 하는가?
• RQ4 에타 몫의 무게는 그 비자명한 인수의 최소 수준에 대한 상한에 어떤 영향을 미치는가?
• RQ5 정수 거듭제곱 수준의 에타 몫에 대해, 스케일링과 아틴-레너 변환에 의한 비약성 특성이 유지되는가?

주요 결과

• 수준 $N$인 정칙 에타 몫 $f$의 모든 비자명한 인수의 수준에 대해 명시적인 상한이 확립되며, 이는 그 인수 중 어느 것도 수준이 $N$을 나누지 않는다는 가정 하에 성립한다.
• 비자명한 인수의 최소 수준에 대한 상한은 $N$에 대해 명시적으로 표현되며, 이는 $f$의 무게를 포함한 개선된 형태로 제공된다.
• 소수 거듭제곱 수준 $N$을 가진 임의의 약인 정칙 에타 몫은 반드시 수준이 $N$을 나누는 비자명한 인수를 가지며, 이는 알고리즘적 인수 분해 검사를 가능하게 한다.
• 소수 거듭제곱 수준의 비약인 정칙 에타 몫의 모든 양의 정수에 의한 스케일링과 모든 아틴-레너 변환은 여전히 비약성을 유지한다.
• 결과적으로, 소수 거듭제곱 수준에서 에타 몫의 비약성은 수준이 $N$을 나누는 인수의 존재 여부를 검사하는 것으로 알고리즘적으로 결정할 수 있다.