[논문 리뷰] Equations in the Hadamard ring of rational functions

Andrea Ferretti, Umberto Zannier|ArXiv.org|2007. 01. 26.

Polynomial and algebraic computation참고 문헌 8인용 수 4

한 줄 요약

이 논문은 수체 위의 유리함수의 하다르드 환에서 d차근에 대한 피조의 추측을 일반화하여, 수체 위의 하다르드 환에 계수를 가진 임의의 상수계수 다항방정식 Y에 대해 다루며, 지수다항식 표현과 힐베르트의 기약성 기법을 사용하여, 만약 그러한 방정식이 모든 n에 대해 기저 체에서 해를 가진다면, 유한 확장 위의 하다르드 환에서도 해가 존재함을 증명한다. 이는 d차근 결과와 하다르드 몫 정리 결과를 통합한다.

ABSTRACT

Let k be a number field. It is well known that the set of sequences composed by Taylor coefficients of rational functions over k is closed under component-wise operations, and so it can be equipped with a ring structure. A conjecture due to Pisot asks if (after enlarging the field) one can take d-th roots in this ring, provided d-th roots of coefficients can be taken in k. This was proved true in a preceding paper of the second author; in this article we generalize this result to more general equations, monic in Y, where the former case can be recovered for g(X,Y)=X^d-Y=0. Combining this with the Hadamard quotient theorem by Pourchet and Van der Poorten, we are able to get rid of the monic restriction, and have a theorem that generalizes both results.

연구 동기 및 목표

• 수체 위의 하다르드 환에서의 유리함수에 대한 단항 다항방정식을 풀기 위한 반데르푸르텐의 추측을 해결하기.
• 이전에 알려진 하다르드 환에서의 d차근 결과를 더 일반적인 대수방정식으로 확장하기.
• 하나의 공통 프레임워크를 통해 d차근 결과(Pisot의 추측)와 하다르드 몫 정리 결과를 통합하기.
• 기저 체에서 국소적으로 해가 존재할 경우, 기저 체의 유한 확장 위의 하다르드 환에서 해의 존재성을 확립하기.

제안 방법

• 수체 계수를 가진 지수다항식으로 하다르드 환의 원소를 표현하고, 대수적 폐쇄에서의 근을 고려하기.
• 산술등차수열을 통해 해의 존재성을 제어하기 위해 힐베르트의 기약성 정리를 적용하기.
• 유한체 위에서 다항식 인수의 기약성을 분석하기 위해 감소 기법과 갈루아 이론을 사용하기.
• 해결을 구성하기 위해 원소의 분할 행동을 갖는 소수의 존재를 보장하기 위해 체보타레프의 밀도 정리를 활용하기.
• 해석적 수론의 추정을 사용하여 오일러 함수 φ(m)/m의 크기를 제어하고 확장의 크기를 조절하기.
• 해석적 수론 도구를 통해 유한체 위에서 다항식의 기약성을 증명하고, 하세 원리와 근사정리에 의해 국소 해를 전역 체로 올리기.

실험 결과

연구 질문

• RQ1 기저 체에서 모든 n에 대해 해를 가지는, 수체 위의 하다르드 환에 계수를 가진 Y에 대한 단항 다항방정식이 전역적으로 하다르드 환에서 해를 가지기 위한 조건은 무엇인가?
• RQ2 하다르드 환에서의 d차근 결과(Pisot의 추측)는 임의의 단항 다항방정식으로 일반화될 수 있는가?
• RQ3 하나의 프레임워크를 통해 하다르드 몫 정리와 Pisot의 추측을 하다르드 환에서의 대수방정식 해법에 통합할 수 있는가?
• RQ4 힐베르트의 기약성은 하다르드 환에서 국소 해를 전역 해로 올리는 데 어떤 역할을 하는가?
• RQ5 해석적 수론 도구를 사용하여, 유한 체 확장의 차수에 대한 효과적인 경계를 유도할 수 있는가?

주요 결과

• 논문은 Y에 대한 단항 다항방정식이 모든 n에 대해 기저 체에서 해를 가진다면, 기저 체의 유한 확장 위에서 하다르드 환에서 해가 존재함을 증명한다.
• 해는 기저 체의 유한 확장 계수를 가진 지수다항식임이 입증되며, 이는 d차근의 경우를 일반화한다.
• 증명은 유한체 위에서 다항식의 기약성을 근거로 문제를 환원하며, 체보타레프의 밀도 정리를 통해 적합한 소수의 존재를 보장한다.
• 해당 다항식이 잔여체에서 근을 가지지 않는다는 조건에 기반하여, 소수 모듈로에서 다항식이 기약으로 남는 조건을 수립한다.
• 이 방법을 통해 하다르드 몫 정리에서 단항 조건을 제거할 수 있으며, 이를 일반화된 방정식 해법과 결합함으로써 가능해진다.
• 표준 감소 기법을 통해 결과는 Q를 유한 생성하는 체로 확장되며, 논문은 수체에 집중한다.