[논문 리뷰] On definitions of polynomials over function fields of positive characteristi

Alexandra Shlapentokh|arXiv (Cornell University)|2015. 02. 09.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 3

한 줄 요약

이 논문은 양의 특성에서 함수체 위의 다항식 환과 S-정수 환의 일阶 정의 가능성 결과를 수립한다. 이는 𝔾ₚ[t] 가 𝔾ₚ(t) 의 유한 확장 K 위에서 유일한 전칭 변수를 가진 ∀∃-형식으로 정의 가능하다는 것을 증명하며, 특정 조건 하에서 다양한 p와 K에 대해 𝔾ₚ[t] 와 S-정수에 대한 균일한 ∀∀∃…∃-정의를 제공한다. 이는 양의 특성에서의 함수체의 모형 이론을 발전시킨다.

ABSTRACT

We consider the problem of defining polynomials over function fields of positive characteristic. Among other results, we show that the following assertions are true. 1. Let $\G_p$ be an algebraic extension of a field of $p$ elements and assume $\G_p$ is not algebraically closed. Let $t$ be transcendental over $\G_p$, and let $K$ be a finite extension of $\G_p(t)$. In this case $\G_p[t]$ has a definition (with parameters) over $K$ of the form $\forall \exists \ldots \exists P$ with only one variable in the range of the universal quantifier and $P$ being a polynomial over $K$. 2. For any $q$, for all $p ot=q$ and all function fields $K$ as above with $\G_p$ having an extension of degree $q$ and a primitive $q$-th root of unity, there is a uniform in $p$ and $K$ definition (with parameters) of $\G_p[t]$, of the form $\exists \ldots \exists \forall \forall \exists \ldots \exists P$ with only two variables in the range of universal quantifiers and $P$ being a finite collection of disjunction and conjunction of polynomial equations over $\Z/p$. Further, for any finite collection $\calS_K$ of primes of $K$ of fixed size $m$, there is a uniform in $K$ and $p$ definition of the ring of $\calS_K$-integers of the form $\forall\forall\exists \ldots \exists P$ with the range of universal quantifiers and $P$ as above. 3. Let $M$ be a function field of positive characteristic in one variable $t$ over an arbitrary constant field $H,$ and let $\G_p$ be the algebraic closure of a finite field in $H$. Assume $\G_p$ is not algebraically closed. In this case $\G_p[t]$ is first-order definable over $M$.

연구 동기 및 목표

• 양의 특성에서 함수체 위의 다항식 환과 S-정수의 일阶 정의 가능성에 대한 연구.
• 양의 특성에서의 함수체로 수체의 Hilbert의 제10 문제와 J. Robinson의 작업에 유사한 결과를 확장.
• 수체 설정에서의 진전을 영감으로 삼아, 정의 구성에서 전칭 기호의 수를 줄이는 것.
• 특정 대수적 조건 하에서 매개변수 p와 K에 걸쳐 균일한 정의 결과를 수립하는 것.
• 함수체에서 정수환의 폐쇄를 위한 Rumely의 공식의 양자 복잡도 분석.

제안 방법

• 양의 특성에서의 함수체 위에서 대수기하학과 평가 이론을 사용.
• 노름 방정식과 p-거듭제곱 프로베누스 구성법을 적용하여 다항식 조건을 통해 부분환을 정의.
• 𝔽_p 위의 비대칭 대수적 확장 𝔾ₚ를 포함하는 𝔾ₚ(t) 의 유한 확장의 구조를 활용.
• 𝔽_p 위의 다항식 방정식 시스템을 사용하여, 양자 번갈아가름 패tern을 가진 정의를 구성.
• Rumely의 정수환 폐쇄 공식을 분석하고, 전치 정규형에서 전칭 기호의 수를 추정.
• 원시 q차 단위근의 존재와 차수 q의 확장을 활용하여 균일한 정의를 구성.

실험 결과

연구 질문

• RQ1 양의 특성에서 𝔾ₚ(t) 의 유한 확장 K 위에서 다항식 환 𝔾ₚ[t] 는 정의 가능할 수 있는가?
• RQ2 일부 체론적 조건(예: q차 단위근의 존재)이 만족될 경우, 다양한 p와 K에 걸쳐 𝔾ₚ[t] 에 대한 균일한 ∀∀∃…∃-정의가 존재하는가?
• RQ3 고정된 S에 대해, 양의 특성에서의 함수체 위에서 S-정수환은 균일하게 정의 가능할 수 있는가?
• RQ4 Rumely의 접근법을 사용할 때, 함수체에서 정수환의 폐쇄를 정의하기 위해 필요한 최소 전칭 기호의 수는 얼마인가?
• RQ5 양의 특성에서 무한한 p-진으로 이산적인 디오판틴 집합이 존재하는가에 비추어, 수체보다 더 단순한 정의 가능성 구조를 가질 수 있는가?

주요 결과

• 𝔽_p 의 비대칭 대수적 확장 𝔾ₚ를 포함하는 𝔾ₚ(t) 의 임의의 유한 확장 K 에 대해, 𝔾ₚ[t] 는 전칭 기호 범위에 오직 하나의 변수만을 가진 ∀∃-정의를 가진다.
• q ≠ p 이고 𝔾ₚ 가 원시 q차 단위근을 포함하는 차수 q의 확장을 가질 경우, 𝔾ₚ[t] 는 K 위에서 전칭 변수가 오직 두 개인 균일한 ∀∀∃…∃-정의를 가진다.
• 고정된 크기 m 에 대해, S_K-정수환은 K 와 p 에 대해 균일한 ∀∀∃…∃-정의를 가지며, 전칭 변수가 두 개인 다항식 방정식을 𝔽_p 위에서 사용한다.
• 전역 함수체에서 정수환 O_x 는 노름 방정식과 평가 조건을 포함하는 공식을 통해 정의 가능하며, Rumely의 구성에서 최소 16개의 전칭 변수가 필요하다고 추정된다.
• 정의 가능한 부분환의 구성은 무한한 p-진으로 이산적인 디오판틴 집합의 존재에 의존하며, 이는 양의 특성에서는 가능하지만 수체에서는 Mazur의 추측 하에 불가능하다.
• 논문은 𝔾ₚ[t] 가 H 를 상수체로 가지는 하나의 변수를 가진 함수체 M 위에서 일阶 정의 가능하다는 것을 보여주며, 이때 𝔾_p 는 H 내에서 유한체의 대수적 폐쇄이지만 대수적으로 닫혀 있지 않다.