[논문 리뷰] Galois groups and automata

Patrice Philippon|arXiv (Cornell University)|2015. 02. 03.

semigroups and automata theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 q-정칙 함수의 대수적 관계가 정칙 조건 하에서 함수 자체 간의 대수적 관계의 전문화로부터 유도됨을 보이며, ℚ에서의 대수적 관계가 ℚ(z)에서의 선형 독립성으로부터 비롯됨을 증명한다. 이는 마라의 방법을 갈루아 이론적 맥락으로 확장하고 자동 수 및 초월성에 관한 결과를 정밀화한다.

ABSTRACT

In the frame of Mahler's method for algebraic independence we show that the algebraic relations over Q linking the values of functions solutions of a system of functional equations come from the algebraic relations between the functions themselves, by specialisation. We deduce some results on the linear independence of the q-regular functions.

연구 동기 및 목표

• 마라의 함수 방정식과 q-정칙 함수의 맥락으로 시에그-시드로브스키 정리를 확장하기 위해.
• 대수적 점에서 q-정칙 함수 값 간의 대수적 관계의 기원을 명확히 하기 위해.
• 마라 유형의 함수 방정식에서 대수적 독립성을 이해하기 위한 갈루아 이론적 프레임워크를 수립하기 위해.
• 특히 자동 수의 맥락에서 q-정칙 함수 값의 선형 독립성에 관한 새로운 결과를 제공하기 위해.
• 기존의 자동 수의 초월성 결과를 기능적 관계와 갈루아 군과의 연결을 통해 정밀화하기 위해.

제안 방법

• 함수 방정식 시스템 f(z) = A(z)f(z^q)에 대한 차분 갈루아 이론의 프레임워크를 사용한다.
• A(z)와 A(z)^{-1}의 극을 기록하는 최소 다항식 T(z)의 근을 통해 정의된 특이 집합의 개념을 도입한다.
• 함수 값 간의 대수적 관계를 함수 자체 간의 관계로 연결하기 위해 전문화 기법을 적용한다.
• z-adic 위상에서의 수렴 추론을 사용하여 O[[z]] 계수를 가진 기본 해 행렬 U(z)를 구성한다.
• 0에서 해석적일 수 있는 기본 행렬 해가 존재함을 바탕으로 하며, 이는 A(0) = Id로 특징지어진다.
• 시스템의 갈루아 군의 구조를 이용하여 함수 값 간의 대수적 관계를 제어한다.

실험 결과

연구 질문

• RQ1 대수적 점에서 q-정칙 함수 값 간의 대수적 관계는 함수 자체 간의 관계가 전문화됨으로써 기인하는가?
• RQ2 ℚ(z)에서의 q-정칙 함수들의 선형 독립성이 비특이 대수적 점에서의 값으로까지 확장될 수 있는가?
• RQ3 특이 집합(즉, T(z^q^ℓ)의 근)은 함수 값 간의 대수적 관계를 어떻게 제어하는가?
• RQ4 함수 시스템의 갈루아 군은 함수 값 간의 대수적 관계를 어떻게 제약하는가?
• RQ5 자동 수 및 q-정칙 함수에 관한 결과들이 마라 맥락에서 고전적 시에그-시드로브스키 정리를 어느 정도로 확장하는가?

주요 결과

• 모든 대수적 α에 대해 |α| < 1 이고 모든 ℓ ∈ ℕ에 대해 T(α^q^ℓ) ≠ 0 이면, ℚ에서의 P(f(α)) = 0 형태의 대수적 관계는 ℚ[z]에서의 Q(z, f(z)) = 0 형태의 관계로부터 유도되며, 이때 P(X) = Q(α, X)이다.
• 시스템이 A(0) = Id 를 만족하면, ℚ(z)에서의 함수들의 선형 독립성은 비특이 대수적 점에서의 함수 값의 초월성을 이끌어낸다.
• 함수 수준의 관계로부터 기인하지 않는 값 간의 대수적 관계가 존재하는 예외적 점들의 집합은 T(z^q^ℓ)의 근들로 정의된 특이 집합에 포함된다.
• f(z) = A(z)f(z^q)의 기본 해 행렬 U(z)가 존재하고, 그 계수들이 O[[z]]에 속하며 0의 근처에서 해석적일 조건은 A(0) = Id일 때에만 성립한다.
• 기본 해 행렬 U(z)의 계수들은 열린 단위 원판 내에서 매끄럽고, 그들의 공통 분모로는 ∏_{ξ∈S, ℓ∈ℕ} (1 − ξ^{-1} z^{q^ℓ}) 가 존재한다.
• 이 결과는 뷔커스와 앤드레의 미분 갈루아 결과를 차분 방정식 맥락으로 일반화하며, 대수적 관계의 예외 집합이 정확히 특이 집합임을 보여준다.