[논문 리뷰] A hypersurface in \C^2 whose stability group is not determined by 2-jets

R. Travis Kowalski|ArXiv.org|2001. 07. 24.

Holomorphic and Operator Theory참고 문헌 7인용 수 5

한 줄 요약

이 논문은 원점에서 유형이 무한대인 ℂ² 내의 비평면 초표면을 구성하며, 그 안정성 군이 3-jet에 의해 결정되지만 2-jet에 의해 결정되지 않는다는 것을 보여주며, ℂ² 내에서 이러한 현상에 대한 첫 번째 알려진 예를 제공한다. 저자들은 ε, r, α, s로 매개변수화된 해석적 매핑의 가족을 통해 형식적 안정성 군을 명시적으로 계산하며, 2차까지 일치하는 매핑이라도 3차에서 다를 수 있음을 보여준다.

ABSTRACT

We give an example of a hypersurface in \C^2 through 0 whose stability group at 0 is determined by 3-jets, but not by jets of any lesser order. We also examine some of the properties which the stability group of this infinite type hypersurface shares with the 3-sphere in \C^2.

연구 동기 및 목표

• ℂ² 내에서 원점에서 유형이 무한대이지만 안정성 군이 2-jet에 의해 결정되지 않는 비평면 초표면을 구성함으로써, ℂ² 내 초표면에 대한 기존의 임계 결정 결과에 대한 빈도를 메우기.
• 비평면 초표면에 대해서조차도 안정성 군의 임계 결정이 높은 차수의 임계값(특히 3-jet)을 요구할 수 있음을 보여주기.
• 구축된 초표면의 형식적 안정성 군에 대한 명시적 매개변수화를 제공하여, 모든 형식적 자기동형사상이 수렴함을 보여주기.
• 이 초표면의 안정성 군을 3-구면체와 평면 초표면의 안정성 군과 대조하여, 고유한 구조적 성질을 부각하기.

제안 방법

• |z| < 1 및 Re w와 |z|⁴에 의존하는 비선형 실수부를 포함하는 특정 정의식을 사용하여 ℝ-해석적 초표면 M ⊂ ℂ²를 정의하기.
• 제곱근 함수의 주분지와 함께, 안정성 군을 매개변수화하기 위해 H^ε,r_α,s(z,w)로 표현되는 해석적 매핑의 가족을 도입하기.
• 매핑과 그 복합 함수의 형식적 멱급수 전개를 사용하여, 차수 3까지의 임계 등가 조건을 분석하기.
• 사슬법칙과 정의 함수 ρ를 보존하는 조건을 통해, 성분 f_n(z)와 g_n(z)의 멱급수 전개 계수에 대한 재귀 관계를 유도하기.
• n ≥ 3인 경우 계수 행렬 A_n이 가역임을 보여, 임계 조건이 유일하게 결정됨을 입증함으로써 3-jet이 매핑을 유일하게 결정함을 확립하기.
• 형식적 자기동형사상이 실제로 국소 해석적 동형사상으로 수렴함을 증명함으로써, 형식적 안정성 군이 실제 안정성 군과 일치함을 보여주기.

실험 결과

연구 질문

• RQ1 원점에서 유형이 무한대인 ℂ² 내의 비평면 초표면 중 안정성 군이 3-jet에 의해 결정되지만 2-jet에 의해 결정되지 않는 것이 존재하는가?
• RQ2 ℂ² 내 초표면의 안정성 군이 유한 차수의 임계값에 의해 결정될 수 있는가, 그러나 2-jet에 의해 결정되지 않는가?
• RQ3 비평면이지만 유형이 무한대인 ℂ² 내 초표면의 안정성 군은 3-구면체의 그것과 어떤 공통 구조적 성질을 공유하는가?
• RQ4 초표면이 리베-비비모듈라가 아니거나 평면이 아닌 경우, 자기동형사상의 임계 조건은 어떻게 행동하는가?
• RQ5 이러한 고차수 임계 결정을 갖는 초표면의 안정성 군의 명시적 형태는 무엇인가?

주요 결과

• Im w = (Re w)(1 - √(1 - |z|⁴))/|z|²로 정의된 초표면 M의 안정성 군은 3-jet에 의해 결정되지만 2-jet에 의해 결정되지 않는다.
• 수렴하는 멱급수로 이루어진 형식적 안정성 군 H^ε,r_α,s(z,w) = ((ε(z + αw))/θ_α,s(z,w), (r w)/θ_α,s(z,w))는 Aut(M,0) = ˆAut(M,0)를 만족한다.
• 2차까지 항등사상과 일치하지만 3차에서 다름을 보이는 서로 다른 자리를 갖는 1-파라미터 가속도 H^{1,1}_{0,s}(z,w) = (z/(1 - s w²)^{1/2}, w/(1 - s w²)^{1/2}) 가 존재한다.
• n ≥ 3인 경우, 임계 계수에 대한 방정식계에서 계수 행렬 A_n는 가역적이며, 이는 3-jet 이하의 데이터로부터 고차수 계수들이 유일하게 결정됨을 보장한다.
• 매핑 H^{1,1}_{0,s}는 s가 자유롭게 변할 수 있음에도 불구하고 모든 2-jet 계수가 0이므로, 2-jet만으로는 자리를 구분할 수 없음을 보여준다.
• 명시적 매개변수화를 통해 안정성 군이 4차원 가속도(ε ∈ S¹, r ∈ ℝ∖{0}, α ∈ ℂ, s ∈ ℝ)임을 확인하였으며, 군의 구조는 유형이 무한대인 초표면의 해석적 대칭성과 일관된다.