[논문 리뷰] The inversion formulae for automorphisms of polynomial algebras and differential operators in prime characteristic

V. V. Bavula|ArXiv.org|2006. 04. 21.

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

한 줄 요약

이 논문은 소수 특성에서 다양한 대수, 특히 다항식 대수, 미분 연산자 환, 와일 대수, 그리고 거듭제곱 급수 대수의 자기동형사상에 대한 명시적 역함수 공식을 수립한다. 유도, 고차 유도, 추적 유사 맵과 같은 대수적 연산을 사용하여, 보편적인 역함수 공식을 구성함으로써, 정규 생성자와 구조를 유지하는 사상들을 통해 역함수 자기동형사상을 표현하며, 이는 소수 특성 p > 0에서 오랫동안 남아 있던 격차를 해결한다.

ABSTRACT

Let $K$ be an {\em arbitrary} field of characteristic $p>0$, let $A$ be one of the following algebras: $P_n:= K[x_1, ..., x_n]$ is a polynomial algebra, $\CD (P_n)$ is the ring of differential operators on $P_n$, $\CD (P_n) P_m$, the $n$'th {\em Weyl} algebra $A_n$, the $n$'th {\em Weyl} algebra $A_n P_m$ with polynomial coefficients $P_m$, the power series algebra $K[[x_1, ..., x_n]]$, $T_{k_1, ..., k_n}$ is the subalgebra of $\CD (P_n)$ generated by $P_n$ and the higher derivations $\der_i^{[j]}$, $0\leq j

연구 동기 및 목표

• 다항식 대수와 미분 연산자 환의 자기동형사상에 대한 역함수 공식을 소수 특성에서 개발하며, 이는 이전에 알려진 바가 없었다.
• 특성 0에서의 역함수 접근법을 양의 특성으로 일반화하여, 이 설정에서 증가한 복잡성과 새로운 현상을 다룬다.
• 중앙 단순 대수, 와일 대수, 고차 유도를 갖는 대수에 적용 가능한 통합된 역함수 공식 프레임워크를 제공한다.
• 특히 자코비안 추측과 딕스미어 문제의 유사물에 대해 명시적인 대수적 역함수 도구의 부재를 해결한다.
• 정규 생성자와 ϕ 및 ψ와 같은 구조를 유지하는 사상들을 사용하여 역함수 자기동형사상을 체계적으로 계산하는 방법을 수립한다.

제안 방법

• 이 방법은 대수적 연산을 통한 항등사상의 분해를 사용한다: id_A(a) = ∑λ_α,y_α(a) x^α, 여기서 λ는 매개변수 y_α에 의존하는 대수적 함수형이다.
• T = T_{k_1,…,k_n} ⊗ P_m에서 고차 유도와 수반 작용을 사용하여 정의된 정규 사상 ϕ와 ψ를 도입하여 요소들로부터 계수를 추출한다.
• 핵심 기법은 특정 미분 연산자와 σ-변형된 생성자들을 조합한 것의 추적을 평가하는 맵 ϕ_Z,σ의 사용이다.
• 역함수 공식은 항등식 분해에 σ를 적용하고, 변형된 사상 ϕ_σ와 ψ_σ를 사용하여 σ⁻¹(a)를 풀음으로써 유도된다.
• 공식은 반복된 수반 작용 (−ad x_j)^β_j의 적용을 통해 구성되며, 소수 특성에서 이항계수를 사용한다.
• 이 방법은 [3]의 특성 0 접근법을 소수 특성으로 일반화하며, 특성 0에서 D(P_n)와 A_n 사이의 동형이 성립하지 않는 점을 고려하여 조정된다.

실험 결과

연구 질문

• RQ1 소수 특성에서의 체 위 다항식 대수의 자기동형사상의 역함수를 어떻게 명시적으로 계산할 수 있는가?
• RQ2 소수 특성에서 미분 연산자 환 D(P_n) 위의 자기동형사상의 역함수의 대수적 구조는 무엇인가?
• RQ3 소수 특성에서 와일 대수 A_n과 다항식 대수와의 텐서곱에 대해 보편적인 역함수 공식을 구성할 수 있는가?
• RQ4 T_{k_1,…,k_n} ⊗ P_m에서의 고차 유도와 정규 생성자는 소수 특성에서의 역함수 공식 구성에 어떻게 기여하는가?
• RQ5 소수 특성에서 체 위의 중심 단순 대수의 자기동형사상 σ에 대해 σ⁻¹(a)를 표현하는 데 필요한 대수적 연산은 무엇인가?

주요 결과

• 소수 특성 p > 0인 체 위의 다항식 대수 P_n의 자기동형사상에 대해, 오직 대수적 연산만을 사용하여 명시적 역함수 공식을 구성하였다.
• T = T_{k_1,…,k_n} ⊗ P_m에서 σ⁻¹(a)의 공식은 ∑_{α,β,γ} (−1)^{|α|} ϕ_{Z,σ}(∂′^{[γ]}(ϕ_σ(δ′^β(a) ∂′^{[α]}))) ∂^{[β]} x^α X^γ 로 주어진다.
• 동일한 공식은 ψ_σ를 사용하여 다음과 같이 동치로 표현된다: ∑_{α,β,γ} ϕ_{Z,σ}(∂′^{[γ]}(ψ_σ(∂′^{[α]} δ′^β(a)))) x^α ∂^{[β]} X^γ.
• ϕ_σ와 ψ_σ는 σ-변형된 생성자에 의해 정의되며, 자기동형사상 하에서 대수적 구조를 유지한다.
• 이 공식은 요약에 언급된 모든 대수에 대해 유효하며, D(P_n), A_n, A_n ⊗ P_m, 거듭제곱 급수 대수, T_{k_1,…,k_n} ⊗ P_m 포함.
• 이 구성은 소수 특성에서 이러한 역함수 공식의 부재를 해결하며, 이전의 특성 0 결과를 확장한다.