[논문 리뷰] Irreducibility of a holomorphic eta quotient is determinable

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

Algebraic Geometry and Number Theory참고 문헌 29인용 수 4

한 줄 요약

이 논문은 헬모르픽 에타 몰입의 기약성 여부를 결정할 수 있음을 보이며, 임의의 진정한 인수의 최소 수준에 대한 상한을 계산하는 알고리즘을 제공함으로써 기약성의 유한한 검증을 가능하게 한다. 주요 기여는 기약성 여부를 판단할 수 있는 구조적 기준을 제시하는 것이다.

ABSTRACT

We show that a holomorphic eta quotient has only finitely many factors. We also provide an algorithm for checking irreducibility of holomorphic eta quotients by constructing an upper bound for the minimum of the levels of the proper factors of a reducible holomorphic eta quotient.

연구 동기 및 목표

• 헬모르픽 에타 몰입의 기약성 여부를 판단하는 열린 문제를 다루기 위해.
• 헬모르픽 에타 몰입이 유한한 수의 가능한 인수를 갖는다는 것을 입증하여 기약성의 결정 가능성을 확보하기 위해.
• 임의의 진정한 인수의 최소 수준에 대한 상한을 계산함으로써 기약성 검증을 위한 알고리즘적 방법을 개발하기 위해.
• 잠재적 인수의 수준 제약 조건에 기반한 기약성에 대한 구조적 기준을 제공하기 위해.

제안 방법

• 재귀적 헬모르픽 에타 몰입의 임의의 진정한 인수의 최소 수준에 대한 상한을 구축하는 방법.
• 모듈러 형식 내의 헬모르픽 에타 몰입의 구조와 디데킨드 에타 함수의 성질에 기반한다.
• 알고리즘은 수준 기반 제약 조건을 사용하여 가능한 인수 분해의 검색 공간을 제한한다.
• 모듈러 형식의 수준에 대한 수론적 범위를 적용하여 후보 인수를 제한한다.
• 잠재적 인수의 수준을 제한함으로써 기약성 문제를 유한한 계산으로 환원하는 접근 방식.

실험 결과

연구 질문

• RQ1 헬모르픽 에타 몰입의 기약성 여부는 알고리즘적으로 결정할 수 있는가?
• RQ2 재귀적 헬모르픽 에타 몰입의 진정한 인수의 최대 가능한 최소 수준은 얼마인가?
• RQ3 임의의 주어진 헬모르픽 에타 몰입에 대해 가능한 인수는 유한한 수인가?
• RQ4 기약성의 결정 가능성을 보장하기 위해 인수 수준에 대한 유한한 상한을 계산할 수 있는가?

주요 결과

• 모든 헬모르픽 에타 몰입의 기약성 여부는 알고리즘적 절차를 통해 결정 가능하다.
• 모든 헬모르픽 에타 몰입은 기약성 문제의 유한성을 보장하기 위해 최대 유한한 수의 가능한 인수를 갖는다.
• 임의의 재귀적 헬모르픽 에타 몰입에 대해 진정한 인수의 최소 수준에 대한 효과적인 상한을 계산할 수 있다.
• 알고리즘이 인수 수준을 제한함으로써 기약성의 유한한 검증을 가능하게 한다.