[논문 리뷰] Cyclotomic numerical semigroups

Emil-Alexandru Ciolan, Pedro A. García-Sánchez외 1명|arXiv (Cornell University)|2014. 09. 19.

Commutative Algebra and Its Applications참고 문헌 6인용 수 6

한 줄 요약

이 논문은 수반 다항식이 원분 다항식의 곱으로 분해되는 수치적 반군인 원분 수치적 반군을 도입하며, 항상 대칭임을 증명하고 완전 교차 수치적 반군과 정확히 일치할 것이라 추측한다. 저자들은 원분 지수와 다항식적으로 관련된 반군의 개념을 도입하고, 깊이 $d = pqr$ 및 $d = p^n q$이고 높이 1인 원분 반군을 분류하여 각각 $\<pr, q\rangle$ 및 $\langle p^n, q\rangle$에 의해 생성되어야 함을 보인다.

ABSTRACT

Given a numerical semigroup $S$, we let $\mathrm P_S(x)=(1-x)\sum_{s\in S}x^s$ be its semigroup polynomial. We study cyclotomic numerical semigroups; these are numerical semigroups $S$ such that $\mathrm P_S(x)$ has all its roots in the unit disc. We conjecture that $S$ is a cyclotomic numerical semigroup if and only if $S$ is a complete intersection numerical semigroup and present some evidence for it. Aside from the notion of cyclotomic numerical semigroup we introduce the notion of cyclotomic exponents and polynomially related numerical semigroups. We derive some properties and give some applications of these new concepts.

연구 동기 및 목표

• 모든 근이 단위 원 위에 있는 수반 다항식을 갖는 수치적 반군(즉, 원분 수치적 반군)의 내재적 특성화를 제공하는 것.
• 원분 수치적 반군과 완전 교차 수치적 반군 간의 관계를 조사하는 것.
• 원분 지수와 다항식적으로 관련된 수치적 반군의 개념을 도입하고 연구하는 것.
• 지정된 깊이와 높이를 갖는 원분 수치적 반군을 분류하는 것, 특히 소수 거듭제곱 깊이에 대해 특히 중점적으로 다루는 것.
• 반군 다항식의 원분 다항식으로의 인수분해를 탐구하고 구조적 제약 조건을 도출하는 것.

제안 방법

• 반군 다항식 $\mathrm{P}_S(x) = (1 - x)\sum_{s \in S} x^s$를 정의하고, $\mathrm{P}_S(x)$가 단위 원 위에 모든 근을 가지는 반군을 원분 수치적 반군으로 특성화하는 것.
• 비영인 상수항을 갖는 크로네커 다항식은 원분 다항식의 곱으로 분해될 수 있음을 이용하여 $\mathrm{P}_S(x) = \prod_{d \in \mathcal{D}} \Phi_d(x)^{e_d}$로 정의하는 것.
• 반군 다항식의 자가역성과 대칭 반군의 알려진 특성화를 이용해 모든 원분 수치적 반군이 대칭임을 증명하는 것.
• 원분 인수분해에 나타나는 지수로부터 유도되는 관측치로 깊이와 높이의 개념을 반군 다항식의 불변량으로서 도입하는 것.
• 모듈로 $x^2$ 산술을 적용하여 가능한 원분 인수분해를 제약 조건에 둔다. $S \neq \langle 1 \rangle$이면 $\mathrm{P}_S(x) \equiv 1 - x \pmod{x^2}$임을 이용하는 것.
• 예를 들어 $\Phi_{pq}\Phi_{qr}\Phi_{pqr} = \mathrm{P}_{\langle pr, q \rangle}(x)$와 같은 원분 다항식의 알려진 항등식을 사용하여 작은 깊이를 갖는 반군을 분류하는 것.

실험 결과

연구 질문

• RQ1 모든 완전 교차 수치적 반군은 원분 수치적 반군인가? 그 역도 참인가?
• RQ2 어떤 수치적 반군이 반군 다항식이 원분 다항식의 곱으로 완전히 분해되는가?
• RQ3 깊이 $d = pqr$ 또는 $d = p^n q$일 때, 높이 $h = 1$인 원분 수치적 반군은 무엇인가?
• RQ4 반군 다항식 $\mathrm{P}_S(x)$는 오직 그 원분 인수분해와 차수로만 특성화될 수 있는가?
• RQ5 반군 다항식 $\mathrm{P}_S(x)$의 계수, 특히 모듈로 $x^2$에서의 계수는 가능한 원분 인수분해에 어떤 제약을 둔다?

주요 결과

• 모든 원분 수치적 반군은 반군 다항식이 자가역이므로 대칭이다.
• 모든 완전 교차 수치적 반군은 원분 수치적 반군이므로 $\text{CI} \subseteq \text{CY}$가 성립한다.
• 깊이 $d = pqr$이면서 $p,q,r$가 서로 다른 소수이고 높이 $h = 1$일 때, 유일한 원분 반군은 순환 순열을 제외한 $S = \langle pr, q \rangle$이다.
• 깊이 $d = p^n q$이면서 $p,q$가 서로 다른 소수이고 높이 $h = 1$일 때, 유일한 원분 반군은 $T = \langle p^n, q \rangle$이다.
• 높이 1인 원분 반군의 반군 다항식 $\mathrm{P}_S(x)$는 반드시 $\mathrm{P}_S(x) \equiv 1 - x \pmod{x^2}$를 만족해야 하며, 이는 가능한 원분 인수분해를 제약한다.
• 깊이 $d = p^n q$이고 높이 1인 원분 반군의 분류는 $\mathrm{P}_T(x)$가 $\Phi_{p^i q}^{e_i}$의 곱으로 유일하게 분해되며 $e_i \in \{0,1\}$임에 기반한다. 증명은 모든 $i$에 대해 $e_i = 1$임을 보여준다.