[논문 리뷰] A simple and constructive proof to a generalization of L\"uroth's theorem

François Ollivier, Brahim Sadik|arXiv (Cornell University)|2022. 01. 25.

Advanced Differential Equations and Dynamical Systems참고 문헌 1인용 수 1

한 줄 요약

이 논문은 유리 함수체 k(x₁,…,xₙ) 내에서 체 k 위에서 유임 차수 1인 부분체 K에 대해 일반화된 L"uroth 정리의 간단하고 구성적인 증명을 제시한다: 이러한 K는 어떤 v ∈ k(x)에 대해 단순 확장 k(v)로 표현된다. 증명은 x에서 0이 되는 다항식의 소수 이상수 ∆(K) ⊂ K[y]의 구조를 활용하여, 이것이 주 이상수임을 보이고, 대칭 생성자를 사용하여 Gröbner 기저나 특성 집합 방법을 통해 v를 명시적으로 구성한다.

ABSTRACT

A generalization of L{\"u}roth's theorem expresses that every transcendence degree 1 subfield of the rational function field is a simple extension. In this note we show that a classical proof of this theorem also holds to prove this generalization.

연구 동기 및 목표

• 이차형 함수체의 유임 차수 1 부분체에 대해 일반화된 L"uroth 정리의 구성적이고 기본적인 증명을 제공하는 것.
• 소멸 이상수 ∆(K)의 생성자와 부분체 K의 유리 함수 생성자 v 사이의 직접적인 계산적 연관성을 확립하는 것.
• 그러한 생성자 v가 Gröbner 기저 또는 특성 집합을 사용하여 알고리즘적으로 계산될 수 있음을 보여주는 것.
• 이론적 체 이론 결과와 이차형 함수체에 대한 알고리즘적 대수기하학을 통합하는 것.

제안 방법

• K[y] 내의 ∆(K)를 정의: k(x)에서 y = x에서 0이 되는 다항식의 소수 이상수, 즉 P ∈ K[y] 이고 P(x) = 0인 것.
• K[y]에서의 높이 1 소수 이상수임을 이용해 ∆(K)가 주 이상수임을 증명.
• ˆ∆(K) = k[x]∆(K) ∩ k[x,y]의 대칭 생성자 ˆG를 구성: ˆG(y,x) = −ˆG(x,y) 이고 deg_x ˆG = deg_y ˆG 이다.
• K[y] 내의 모닉 생성자 G의 계수를 사용해 서로소 조건 gcd(f,g) = 1 를 만족하는 유리 함수 v = f(x)/g(x) ∈ K 를 추출.
• v가 다항식 관계 D = f(y) − v g(y) ∈ ∆(K) 를 만족하고, D가 G를 나눈다고 보여, 따라서 k(v) = K 라고 함.
• 논문 [3]의 알고리즘 도구를 적용해 K[y,u] 내에서의 소거를 통해 ∆(K)를 계산: 이상수 J = ⟨P_i(y)−f_i Q_i(y), u ∏ Q_i(y)−1⟩ 를 사용.

실험 결과

연구 질문

• RQ1 이차형 함수체 k(x₁,…,xₙ)의 유임 차수 1 부분체에 대해 L"uroth 정리의 일반화에 대해 구성적 증명을 제시할 수 있는가?
• RQ2 소멸 이상수 ∆(K)의 생성자와 부분체 K의 유리 함수 생성자 v 사이에 직접적인 대수기하학적 대응이 존재하는가?
• RQ3 유한 개의 유리 함수로 생성된 K의 생성자 v를 알고리즘적으로 계산할 수 있는가?
• RQ4 ˆ∆(K)의 생성자에서 대칭성과 반대칭성이 v를 구성하는 데 어떤 역할을 하는가?
• RQ5 표준적인 대수 도구인 Gröbner 기저 또는 특성 집합을 사용해 v를 명시적으로 계산할 수 있는가?

주요 결과

• 모든 k 위에서 유임 차수 1인 부분체 K ⊂ k(x)에 대해 K[y] 내에서 이상수 ∆(K)는 주 이상수이다.
• G의 계수를 정규화함으로써 비상수 유리 함수 v = f(x)/g(x) ∈ K 가 포함된 ∆(K)의 생성자 G를 얻을 수 있다.
• 유리 함수 v는 대칭 다항식 관계 f(y) − v g(y) ∈ ∆(K) 를 만족하고, 이 다항식은 생성자 G를 나눈다.
• 이 구성은 k(v) = K 를 보장하여 K 가 k 의 단순 확장임을 증명한다.
• Gröbner 기저 또는 특성 집합 방법을 통해 소거 이상수 J ∩ K[y] 를 이용해 생성자 v 를 알고리즘적으로 계산할 수 있다.
• 이상수 ˆ∆(K)는 루트 이상수이며, 모든 p/q ∈ K 에 대해 표현식 q(x)p(y) − p(x)q(y) 가 생성하는 이상수와 같다.