[논문 리뷰] Polynomial dynamics

Alice Medvedev, Thomas Scanlon|arXiv (Cornell University)|2009. 01. 15.

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

한 줄 요약

이 논문은 복소수체 위에서 다항다양체 동역계 Φ(x₁,…,xₙ) = (f₁(x₁),…,fₙ(xₙ)) 에서 Φ(X) = X^σ 를 만족하는 비틀림-불변 다양체를 기술하기 위해 Ritt의 다항식 병합 항등식에 관한 정리의 보완을 시도한다. 여기서 σ 는 체의 자기동형사상이다. 주요 기여는 이러한 다양체의 명시적 분류를 제공함으로써 Zhang의 추측과 동역계적 Manin-Mumford 추측에 대한 새로운 결과를 이끌어내며, ACFA₀ 모델에서 Morley 차수 1 및 ℵ₀-분류 가능성과 같은 모형이론적 성질을 확립하는 것이다.

ABSTRACT

We study algebraic dynamical systems (and, more generally, σ-varieties) Φ: An C → An C given by coordinatewise univariate polynomials, Φ(x1,..., xn) = (f1(x1),..., fn(xn)) by refining an old theorem of Ritt on compositional identities amongst polynomials. Our main result is an explicit description of the skew-invariant varieties, that is, those algebraic varieties X ⊆ An C for which there is a field automorphism σ: C → C with Φ(X) = Xσ. As consequences, we deduce a variant of a conjecture of Zhang on the existence of rational points with Zariski dense forward orbits and a strong form of the dynamical Manin-Mumford conjecture for liftings of the Frobenius. We also show that in models of ACFA0, a trivial set defined by σ(x) = f(x) for f a polynomial has Morley rank 1 and is usually strongly minimal, that the induced structure on this set is ℵ0-categorical unless f is defined over a fixed field of a power of σ, and that nonorthogonality between two such sets is definable in families if f is defined over a fixed field of a power of σ. 1.

연구 동기 및 목표

• 일변수 다항식 간의 병합 항등식에 관한 Ritt의 정리를 보완하는 것.
• 다항사상 Φ 에 대해 Φ(X) = X^σ 를 만족하는 다항식 체 C 위의 비틀림-불변 대수다양체 X ⊆ Aⁿ_C 를 특성화하는 것.
• 분류 결과를 응용하여 유리점의 조르키-조밀한 궤도를 가진 Zhang의 추측의 변종을 증명하는 것.
• Frobenius 승강에 대해 동역계적 Manin-Mumford 추측의 강력한 형태를 확립하는 것.
• σ(x) = f(x) 로 정의된 시스템에 대해 모형이론적 성질, 예를 들어 Morley 차수와 분류 가능성의 분석

제안 방법

• 일변수 다항식 간의 병합 관계를 분석하기 위해 정밀한 대수기법의 사용.
• 체의 자기동형사상 σ: C → C 에 대한 궤도와 불변성을 연구하기 위해 σ-다양체 이론의 적용.
• 다항사상의 구조적 분해를 통한 비틀림-불변 다양체의 명시적 기술 구축.
• ACFA₀에서의 모형이론적 도구를 활용하여 σ(x) = f(x) 로 정의된 정의 가능한 집합을 분석하는 것.
• 이러한 정의 가능한 집합에 대한 Morley 차수와 분류 가능성의 조사.
• 비직교성과 가족 내 정의 가능성의 활용을 통한 서로 다른 다항식 시스템 간의 관계 분석.

실험 결과

연구 질문

• RQ1 다항사상 Φ 와 체의 자기동형사상 σ 에 대해 Φ(X) = X^σ 를 만족하는 비틀림-불변 다양체 X ⊆ Aⁿ_C 의 완전한 구조는 무엇인가?
• RQ2 비틀림-불변 다양체의 분류 결과로부터 유리점이 조르키-조밀한 전방 궤도를 가진다는 것이 도출되는가?
• RQ3 이 분류를 통해 Frobenius 승강에 대해 동역계적 Manin-Mumford 추측을 강화하고 증명할 수 있는가?
• RQ4 f 가 다항식일 때, ACFA₀ 모델에서 σ(x) = f(x) 로 정의된 집합의 Morley 차수는 무엇인가?
• RQ5 f 가 σ 의 거듭제곱의 고정체 위에서 정의될 경우, σ(x) = f(x) 로 정의된 집합의 유도된 구조가 ℵ₀-분류 가능하거나 이러한 집합 간의 비직교성이 가족 내에서 정의 가능한가?

주요 결과

• Φ(x₁,…,xₙ) = (f₁(x₁),…,fₙ(xₙ)) 의 다항사상에 대해 비틀림-불변 다양체는 정밀한 Ritt 유형의 분해 정리에 의해 완전히 분류된다.
• 유도된 분류 결과에 기반하여 조르키-조밀한 전방 궤도를 가진 유리점에 관한 Zhang의 추측의 변종이 증명된다.
• 비틀림-불변 다양체의 구조를 활용하여 Frobenius 승강에 대해 동역계적 Manin-Mumford 추측의 강력한 형태가 확립된다.
• ACFA₀ 모델에서 다항식 f 에 대해 σ(x) = f(x) 로 정의된 집합은 Morley 차수 1 을 가지며 일반적으로 강력 최소적이다.
• 이 집합의 유도된 구조는 f 가 σ 의 거듭제곱의 고정체 위에서 정의되지 않는 한 ℵ₀-분류 가능하다.
• f 가 σ 의 거듭제곱의 고정체 위에서 정의될 경우, 두 such 집합 간의 비직교성은 가족 내에서 정의 가능하다.