[논문 리뷰] Rational jet dependence of formal equivalences between real-analytic hypersurfaces in \C^2

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

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

한 줄 요약

이 논문은 ℂ² 내의 실해석적 초표면에서 1-무한유형 점을 가진 두 초표면 간의 형식적 비홀로모르피즘 동치관계가 유한하고 명시적으로 유계된 차수의 잼(jet)에 의해 완전히 결정됨을 증명한다. 핵심 결과는 이러한 동치관계가 그 잼에 대해 유리함수로 매개화됨을 보여주며, 이는 전체 매핑이 그 잼 자료의 유리함수임을 의미하고, 잼 공간 내에서 유한 결정성과 대수적 구조를 이끌어낸다.

ABSTRACT

Let (M,p) and (M',p') be the germs of real-analytic 1-infinite type hypersurfaces in \C^2. We prove that any formal equivalence sending (M,p) into (M',p') is formally parametrized (and hence uniquely determined by) its jet at p of a predetermined order depending only on (M,p). As an application, we use this to examine the local formal transformation groups of such hypersurfaces.

연구 동기 및 목표

• 연구 대상이 되는 점에서 최소가 아닌 실해석적 초표면 간의 형식적 비홀로모르피즘 동치관계에 대한 유한 잼 결정 문제를 조사한다.
• 초표면이 그 점을 통과하는 복소곡선을 포함하고 있더라도 이러한 동치관계가 유한 차수의 잼에 의해 유일하게 결정됨을 확립한다.
• 형식적 동치관계의 잼 공간의 구조를 분석하여, 이들이 실대수적 부분다양체를 이룬다는 것을 보인다.
• 모든 이러한 동치관계를 매개화하는 데 필요한 최소 잼 차수를 결정하는 구축 가능한 방법을 제공한다.

제안 방법

• 저자는 정규좌표를 사용하여 초표면의 정의식을 Im w = Θ(z, z̄, Re w) 형태로 표현하며, 여기서 Θ는 실해석적이며 z와 z̄에 대해 최소 제2차에서 소멸한다.
• 형식적 매핑의 잼 공간을 분석하기 위해 매핑의 성분을 다항식 계수와 잼 변수에 대한 유리함수를 포함하는 멱급수로 표현하며, 야코비안 행렬식에서 유도된 다항식 및 분모 항목을 사용한다.
• 증명은 매핑이 정의 함수를 단위인자까지 유지하는 조건에서 유도된 재귀관계에 기반하며, 이는 잼 자료에 대한 유리함수적 의존성을 이끈다.
• 멱급수 전개에서 단항식의 차수와 정의 함수 Θ의 구조를 분석함으로써 필요한 잼 차수의 상한을 도출한다.
• 저자는 야코비안 행렬식이 0이 아니며, 유리함수 매개화의 분모로 나타나므로 가역성이 보장된다는 사실을 이용한다.
• 정의 함수와 매핑의 잼 자료로부터 유도된 다항식 방정식을 통해 형식적 동치관계의 잼 공간이 실대수적 부분다양체임을 보인다.

실험 결과

연구 질문

• RQ1 ℂ² 내 1-무한유형 초표면 간의 형식적 비홀로모르피즘 동치관계는 그 점에서의 도함수 유한 잼에 의해 결정될 수 있는가?
• RQ2 형식적 동치관계의 잼에서 전체 매핑으로의 사상이 잼 변수에 대해 유리함수적일 수 있는가?
• RQ3 유일하게 이러한 동치관계를 결정하는 데 필요한 최소 잼 차수는 얼마인가?
• RQ4 유한 잼 공간 내에서 형식적 동치관계의 잼 집합의 기하적 구조는 어떠한가?
• RQ5 초표면 내에 복소곡선이 존재할 경우, 이는 유한 잼 결정성 성질에 어떤 영향을 미치는가?

주요 결과

• ℂ² 내 1-무한유형 초표면 간의 임의의 형식적 동치관계는 그 점에서의 유한 차수 k의 잼에 의해 유일하게 결정되며, 이 k는 오직 소스 초표면에만 의존한다.
• 전체 형식적 매핑은 그 잼 자료에 대한 유리함수이며, 계수는 잼 변수에 대한 다항식이고 분모로 매핑의 점에서의 야코비안 행렬식이 된다.
• 형식적 동치관계 공간에서 잼 공간으로의 잼 사상은 단사적이며, 그 상(image)은 가역 매핑의 잼 공간 내 실대수적 부분다양체이다.
• 1-무한유형 초표면의 국소 자동형사상 군은 잼 공간 내의 실대수적 리군 부분군이다.
• 목표 초표면로의 동치관계에 대한 잼 사상의 상은 자동형사상 군의 잼 상의 코셋(coset)이므로, 역시 실대수적 부분다양체이다.
• 최소 잼 차수 k에 대한 구축 가능한 상한은 k = 1 + δ_K^1 + max 𝒟로 주어지며, 정의 함수에 Re w의 선형항 이외의 고차항이 없을 경우 더 단순한 상한 k = 1이 성립한다.