[논문 리뷰] Two Results on Homogeneous Hessian Nilpotent Polynomials

Arno van den Essen, Wenhua Zhao|ArXiv.org|2007. 04. 13.

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

한 줄 요약

이 논문은 동차 헤시안 노일포텐셜(HN) 다항식에 대해 두 가지 핵심 결과를 확립한다: 첫째, HN 다항식과 이차형식 ∑zᵢ²가 정의하는 프로젝티브 다양체가 HN 다양체의 정상점들 외에는 공통점이 없을 경우, 퇴화 추측이 성립한다. 둘째, 퇴화 추측은 임의의 다항식 f(z)에 대해 Δᵐ(fPᵐ) = 0 이 되는 더 강력한 조건과 동치이다. 이러한 결과들은 대칭 사상 축소를 통해 재료 제안의 제안을 진전시킨다.

ABSTRACT

Let $z=(z_1, ..., z_n)$ and $Δ=\sum_{i=1}^n \frac {\partial^2}{\partial z^2_i}$ the Laplace operator. A formal power series $P(z)$ is said to be {\it Hessian Nilpotent}(HN) if its Hessian matrix $\Hes P(z)=(\frac {\partial^2 P}{\partial z_i\partial z_j})$ is nilpotent. In recent developments in [BE1], [M] and [Z], the Jacobian conjecture has been reduced to the following so-called {\it vanishing conjecture}(VC) of HN polynomials: {\it for any homogeneous HN polynomial $P(z)$ $($of degree $d=4$$)$, we have $Δ^m P^{m+1}(z)=0$ for any $m>>0$.} In this paper, we first show that, the VC holds for any homogeneous HN polynomial $P(z)$ provided that the projective subvarieties ${\mathcal Z}_P$ and ${\mathcal Z}_{σ_2}$ of $\mathbb C P^{n-1}$ determined by the principal ideals generated by $P(z)$ and $σ_2(z):=\sum_{i=1}^n z_i^2$, respectively, intersect only at regular points of ${\mathcal Z}_P$. Consequently, the Jacobian conjecture holds for the symmetric polynomial maps $F=z- abla P$ with $P(z)$ HN if $F$ has no non-zero fixed point $w\in \mathbb C^n$ with $\sum_{i=1}^n w_i^2=0$. Secondly, we show that the VC holds for a HN formal power series $P(z)$ if and only if, for any polynomial $f(z)$, $Δ^m (f(z)P(z)^m)=0$ when $m>>0$.

연구 동기 및 목표

• 동차 HN 다항식 P의 차수 d ≥ 4일 때, 그 프로젝티브 다양체 Z_P에 대한 기하적 조건 하에서 퇴화 추측을 증명하는 것.
• 퇴화 추측과 임의의 다항식 f(z)를 포함하는 더 강력한 조건 사이의 동치성을 확립하는 것.
• 대칭 다항식 사상 F = z − ∇P의 성질로 귀환함으로써 재료 제안의 해결에 기여하는 것.
• 헤시안 노일포텐셜성과 라플라스 연산자 작용이 다항식 아이디얼과 미분방정식의 구조에서 차지하는 역할을 명확히 하는 것.

제안 방법

• ℂPⁿ⁻¹에서 σ₂(z) = ∑zᵢ²로 정의된 프로젝티브 다양체 Z_P와 Z_σ₂의 교차를 분석하기 위해 대수기하학을 사용한다.
• 오일러의 공식과 공통 영점이 대칭 사상 F = z − ∇P의 고정점과 대응된다는 조건을 적용한다.
• 라플라스 연산자 Δ 및 그 반복 작용 Δᵐ를 Pᵐ⁺¹에 적용하여 퇴화 추측을 시험한다.
• 다항식 공간 내의 쌍대성과 비퇴화 이중형식 B_m을 활용하여 해 공간의 유한차원성을 보인다.
• Δᵐ(fPᵐ) = ∑ 혼합도함수와 다항계수를 포함하는 항들의 합으로 표현되는 항등식을 사용하여 더 강력한 추측을 분석한다.
• 문헌 [Z]에서 알려진 HN 다항식의 결과와 재료 제안과 퇴화 추측 간의 동치성에 기반한다.

실험 결과

연구 질문

• RQ1 차수 d ≥ 4인 동차 HN 다항식 P에 대해, 프로젝티브 다양체 Z_P에 어떤 기하적 조건이 성립할 경우 퇴화 추측이 성립하는가?
• RQ2 퇴화 추측은 임의의 다항식 f와 충분히 큰 m에 대해 Δᵐ(f(z)P(z)ᵐ) = 0 이 되는 더 강력한 진술과 동치인가?
• RQ3 대칭 사상 F = z − ∇P의 고정점은 다양체 Z_P의 특이점과 ΔᵐPᵐ⁺¹의 퇴화와 어떻게 관련이 있는가?
• RQ4 퇴화 추측은 ∂P/∂zᵢ(D)와 Δ를 포함하는 PDE 시스템의 해 공간 조건으로 환원될 수 있는가?

주요 결과

• 차수 d ≥ 4인 임의의 동차 HN 다항식 P에 대해, 프로젝티브 다양체 Z_P와 Z_σ₂가 Z_P의 정상점 외에는 공통점이 없을 경우, 퇴화 추측이 성립한다.
• 퇴화 추측은 임의의 다항식 f(z)와 충분히 큰 m에 대해 Δᵐ(f(z)P(z)ᵐ) = 0 이 되는 조건과 동치이다.
• 대칭 사상 F = z − ∇P가 ∑wᵢ² = 0 인 비영인 고정점을 갖지 않을 경우, F에 대해 재료 제안이 성립한다.
• 모든 i에 대해 Δu = 0 및 ∂P/∂zᵢ(D)u = 0 을 만족하는 시스템의 해 공간은 Z_P와 Z_σ₂가 공통의 비영인 영점을 갖지 않을 때에만 유한차원이다.
• 해 공간의 유한차원성에 기반하여, 항들의 차수 증가에 따라 ΔᵐPᵐ⁺¹의 퇴화가 유도된다.
• 모든 f와 큰 m에 대해 Δᵐ(fPᵐ) = 0 이 되는 더 강력한 조건은 퇴화 추측을 함의하며, 그 역도 마찬가지이다. 이는 명시적 전개와 항들의 차수 한계에 의해 입증된다.