[논문 리뷰] Isometric realization of cross caps as formal power series and its applications

Atsufumi Honda, Kosuke Naokawa외 2명|arXiv (Cornell University)|2016. 01. 23.

Geometric and Algebraic Topology참고 문헌 6인용 수 3

한 줄 요약

이 논문은 위트니 메트릭의 등장에 대해 형식적 급수 해법을 이용하여 R³ 내의 크로스캡의 완전한 내재 불변량을 도입한다. 이는 자연수 i+j≥2에 대해 {α_{i,j}}_{i+j≥2}의 가 countable family 가 형식적 등장 등급의 크로스캡 특이점들을 완전히 분류함을 증명하며, 제1 기본형의 테일러 전개로부터 이러한 불변량을 계산하는 알고리즘을 제공한다.

ABSTRACT

Two cross caps in Euclidean $3$-space are said to be formally isometric if their Taylor expansions of the first fundamental forms coincide by taking a suitable local coordinate system. For a given $C^\infty$ cross cap $f$, we give a method to find all cross caps which are formally isometric to $f$. As an application, we give a countable family of intrinsic invariants of cross caps which recognizes formal isometry classes completely.

연구 동기 및 목표

• 주어진 C∞ 크로스캡 특이점과 형식적으로 등장하는 모든 크로스캡을 체계적으로 찾는 방법을 개발하는 것.
• 형식적 등장 등급의 크로스캡을 분류하는 완전한 내재 불변량 세트를 구성하는 것.
• 이전의 불변량 α₂₀, α₁₁, α₀₂를 전체 가 {α_{i,j}}_{i+j≥2}로 확장하여 위트니 메트릭에 대해 적용하는 것.
• 이러한 불변량을 제1 기본형의 테일러 전개로부터 명시적으로 계산하는 알고리즘을 제공하는 것.
• 특이점에서의 실해석적 위트니 메트릭이 R³ 내의 크로스캡으로 등장적으로 실현될 수 있는지 이해하기 위한 프레임워크를 구축하는 것.

제안 방법

• 크로스캡을 정규형으로 표현하기 위해 표준좌표 (x,y)를 사용: f(x,y) = (x, xy + b(y), z(x,y))이며, b(0)=b′(0)=b′′(0)=0 이고, z(0,0)=zₓ(0,0)=zᵧ(0,0)=0, zᵧᵧ(0,0)>0 이다.
• 제1 기본형 dσ² = E dx² + 2F dxdy + G dy² 를 정의하고, m+1차까지의 테일러 전개를 계산한다.
• 야코비안의 역행을 통해 형식적 좌표변환 (u,v) ↦ (x,y) 를 적용하여, u,v 를 x,y 에 대한 형식적 급수로 표현한다.
• 정리 1.10의 증명에서 유도된 재귀 공식을 사용하여, z(x,y)의 테일러 전개 계수를 E, F, G 및 b(y) 에 따라 유도한다.
• 불변량 α_{i,j} 를 z(x,y)의 테일러 전개 계수로 정의하며, 계수는 계승으로 정규화된다.
• 보렐의 정리를 적용하여 형식적 급수를 C∞ 사상으로 근사함으로써, 매끄러운 실현의 존재를 보장한다.

실험 결과

연구 질문

• RQ1 형식적 급수를 통해 주어진 크로스캡과 형식적으로 등장하는 모든 크로스캡을 체계적으로 구성할 수 있는가?
• RQ2 불변량 {α_{i,j}}_{i+j≥2} 는 크로스캡 특이점의 형식적 등장 등급을 완전히 구별하는가?
• RQ3 이러한 불변량을 제1 기본형의 테일러 전개로부터 계산하는 알고리즘이 존재하는가?
• RQ4 특이점에서 실해석적 위트니 메트릭이 R³ 내의 크로스캡으로 등장적으로 실현될 수 있는가?
• RQ5 불변량 α_{i,j} 는 특별히 특성 함수 b(y) 와 z-성분과 관련하여 크로스캡의 기하학적 성질과 어떻게 연관되는가?

주요 결과

• 가 {α_{i,j}}_{i+j≥2} 는 특이점에서의 위트니 메트릭의 형식적 등장 등급을 완전히 분류하는 완전한 집합을 이룬다.
• 불변량 α_{i,j} 는 제1 기본형의 테일러 전개로부터 체계적인 알고리즘을 통해 명시적으로 계산 가능하다.
• 이전 연구에서의 불변량 α₂₀, α₁₁, α₀₂ 는 새로운 가의 첫 세 불변량으로 복원된다.
• 불변량 A₀₄ 는 닫힌 형태의 표현식을 가진다: A₀₄ = [4a₀₂(4b₄a₁₁ + 3a₀₄) + 3b₃(b₃(15a₁₁² - 4a₀₂a₂₀ + 7) + 4(a₀₃a₁₁ + 4a₀₂a₁₂))]/(12a₀₂).
• 불변량 α_{i,j} 는 유도된 메트릭에 내재되어 있으며 형식적 등장에 대해 불변하므로, 강력한 기하학적 불변량이 된다.
• 이 구성은 임의의 위트니 메트릭의 형식적 급수 실현을 R³ 내의 크로스캡으로 제공하지만, 수렴은 보장되지 않는다.