[논문 리뷰] Around rational functions invertible in radicals

Yuri Burda|arXiv (Cornell University)|2010. 05. 22.

Coding theory and cryptography참고 문헌 4인용 수 7

한 줄 요약

이 논문은 유리 함수의 역함수가 루트로 표현 가능한지를 결정하기 위해 그 대수적 해법 가능성과 위상적·기하적 성질을 연결함으로써, 그 역함수가 루트로 표현 가능한 유리 함수를 분류한다. 구체적으로, 이러한 함수를 지배하는 최소 갈루아 코팅의 위상수학적 종수(genus)가 0 또는 1임을 보여준다. 주요 기여는 분지 데이터와 군론적 구조를 이용하여 분석적·위상적 동치 관계에 따라 완전한 분류를 제공하는 것으로, 이를 통해 체비세프 다항식, 거듭제곱 사상, 4차 다항식과 같은 함수에 대한 명시적 공식을 도출하였다.

ABSTRACT

A class of rational functions characterized by some wonderful properties is studied. The properties that identify this class include simple algebra (their inverses can be expressed in radicals), simple topology (the total space of the minimal Galois covering dominating them has genus 0 or 1) and simple local topol- ogy (branching data). Explicit formulae for these functions are obtained as well as their classification up to different equivalence relations.

연구 동기 및 목표

• 위상적 및 대수적 불변량을 사용하여 역함수가 루트로 표현 가능한 유리 함수를 특성화하는 것.
• 왼쪽 해석적, 양측 해석적, 방향을 유지하는 위상적 동치 관계에 따라 이러한 함수를 분류하는 것.
• 루트로의 해법 가능성과 함수를 지배하는 최소 갈루아 코팅의 종수 사이의 대응 관계를 확립하는 것.
• 체비세프 다항식 및 거듭제곱 사상과 같은 모든 루트로 표현 가능한 유리 함수에 대한 명시적 공식을 제공하는 것.
• 단일화된 프레임워크로 릿트(Ritt)의 고전적 결과를 단순화하여 단일화된 프레임워크로 확장하는 것 — 주로 단일화군(monodromy)과 군 작용을 이용하여

제안 방법

• 유리 함수를 지배하는 최소 분지 코팅의 성질을 분석하기 위해 갈루아 이론을 적용하며, 전체 공간의 종수에 중점을 둔다.
• 특히 단일화군의 작용과 대칭군 내 정규화군(normalizer)을 포함한 군론적 기법을 적용한다.
• 대수적 군의 이소지니(이소지니)를 통해 전체 공간의 종수가 0 또는 1인 분지 코팅을 분류한다 (C* 또는 타원곡선).
• 지역 단일화 데이터(분지 지수)를 사용하여 전반적 해법 가능성을 특성화하며, 분지점의 수와 유형에 대한 제약 조건을 설정한다.
• 유한 자동사상군에 의한 대수적 군의 몫사상(quotient map)을 통해 명시적 유리 함수를 구성한다.
• 리만–허르츠 공식과 모듈라 곡선(예: X₀(3))의 성질을 활용하여 이러한 함수의 모듈리 공간을 분석한다.

실험 결과

연구 질문

• RQ1 복소수 포괄평면 ℂP¹에서 ℂP¹로 가는 어떤 유리 함수 R: ℂP¹ → ℂP¹의 역함수가 루트로 표현 가능한가?
• RQ2 함수 R의 최소 갈루아 코팅에 대한 위상적 조건은 무엇이어야 하며, 이 조건이 역함수가 루트로 해법 가능한 데 기여하는가?
• RQ3 단일화군이 해법 가능하고 역함수가 루트로 표현 가능한 유리 함수는 분석적·위상적 동치 관계에 따라 어떻게 분류될 수 있는가?
• RQ4 이러한 함수를 특성화하는 데 필요한 완전한 분지 데이터(분지점의 수와 지수)는 무엇인가?
• RQ5 6차 이하의 다항식 중에서 루트로 역함수가 가능한 것은 무엇이며, 기본적인 해법 가능 가족으로부터 어떻게 조합될 수 있는가?

주요 결과

• 루트로 표현 가능한 유리 함수는 정확히 그 최소 갈루아 코팅의 전체 공간의 종수가 0 또는 1인 함수들이다.
• 이 분류에는 유한 군 작용에 의한 ℂ* 또는 타원곡선의 몫으로 유도된 함수들이 포함되며, 이소지니를 통해 명시적 공식이 도출된다.
• 간단한 분지점이 네 개인 3차 유리 함수의 경우 정확히 네 개인 왼쪽 동치 클래스가 존재하며, 모듈리 공간은 j-불변량 공간 위에 차수 4의 분지 코팅으로서, X₀(3)과 동형이다.
• 루트로 표현 가능한 다항식은 선형 사상, z ↦ z^p (소수 p에 대해), 체비세프 다항식, 단일화군이 해법 가능한 4차 다항식의 복합체로 구성된다.
• 체비세프 다항식은 항등식 Tₙ((u + u⁻¹)/2) = (uⁿ + u⁻ⁿ)/2를 통해 루트로 표현 가능하며, 이로부터 z = ½(√[n]{w + √(w²−1)} + √[n]{w − √(w²−1)})를 도출할 수 있다.
• 기본 군의 단순 해법 가능 단일화군과 루트로 표현 가능한 역함수를 갖는 소수 거듭제곱 차수 pᵏ의 다항식은 z ↦ zᵖ와 체비세프 다항식 이외에는 존재하지 않으며, 유일한 예외는 p=2, k=2 (차수 4)인 경우이다.