[논문 리뷰] Laguerre Geometry of Hypersurfaces in $\R^n$

Tongzhu Li, Changping Wang|ArXiv.org|2006. 06. 14.

Geometric Analysis and Curvature Flows참고 문헌 6인용 수 14

한 줄 요약

이 논문은 ℝⁿ (n ≥ 4)에서 초표면에 대한 완전한 라거르 미분기하학 프레임워크를 개발하며, 라거르 불변 메트릭 g와 자기수반 연산자 ℒ을 완전한 불변 시스템으로 도입한다. Uℝⁿ, Uℝⁿ₁, Uℝⁿ₀ 형태의 라거르 공간 형태를 통해 통합 이론을 수립하고, ℝ³₁ 또는 ℝ³₀에서의 최소 표면이 ℝ³에서 라거르 최소임을 증명한다.

ABSTRACT

Laguerre geometry of surfaces in $\R^3$ is given in the book of Blaschke [1], and have been studied by E.Musso and L.Nicolodi [5], [6], [7], B. Palmer [8] and other authors. In this paper we study Laguerre differential geometry of hypersurfaces in $\R^n$. For any umbilical free hypersurface $x: M o\R^n$ with non-zero principal curvatures we define a Laguerre invariant metric $g$ on $M$ and a Laguerre invariant self-adjoint operator ${\mathbb S}: TM o TM$, and show that $\{g,{\mathbb S}\}$ is a complete Laguerre invariant system for hypersurfaces in $\R^n$ with $n\ge 4$. We calculate the Euler-Lagrange equation for the Laguerre volume functional of Laguerre metric by using Laguerre invariants. Using the Euclidean space $\R^n$, the Lorentzian space $\R^n_1$ and the degenerate space $\R^n_0$ we define three Laguerre space forms $U\R^n$, $U\R^n_1$ and $U\R^n_0$ and define the Laguerre embedding $ U\R^n_1 o U\R^n$ and $U\R^n_0 o U\R^n$, analogue to the Moebius geometry where we have Moebius space forms $S^n$, $\H^n$ and $\R^n$ (spaces of constant curvature) and conformal embedding $\H^n o S^n$ and $\R^n o S^n$ (cf. [4], [10]). Using these Laguerre embedding we can unify the Laguerre geometry of hypersurfaces in $\R^n$, $\R^n_1$ and $\R^n_0$. As an example we show that minimal surfaces in $\R^3_1$ or $\R_0^3$ are Laguerre minimal in $\R^3$.

연구 동기 및 목표

• ℝ³에서의 표면에 대한 라거르 미분기하학을 n ≥ 4인 ℝⁿ에서의 초표면으로 확장한다.
• 비탈점이 없고 주요 곡률이 0이 아닌 초표면에 대해 완전한 라거르 불변량 시스템 (g, ℒ)을 정의한다.
• 유사, 로레츠, 퇴화된 공간을 통합하기 위해 임bedded 공간 형태를 사용하여 라거르 기하학을 통합한다.
• 불변량을 사용하여 라거르 체적 함수기능의 오일러-라그랑주 방정식을 유도한다.
• 평균 곡률 반지름 r의 III형 라플라스 연산자가 0이 되는 조건을 통해 라거르 최소 초표면를 특성화한다.

제안 방법

• 세 번째 기본형과 곡률 반지름을 사용하여 ℝⁿ에서의 초표면에 대해 라거르 불변 메트릭 g와 자기수반 연산자 ℒ를 정의한다.
• ℝⁿ, ℝⁿ₁, ℝⁿ₀를 바탕으로 각각 Uℝⁿ, Uℝⁿ₁, Uℝⁿ₀라는 세 가지 라거르 공간 형태를 구성한다. 이는 단위 접선 다발을 사용한다.
• 다양한 환경 공간 간의 기하학을 연결하기 위해 임베딩 σ: Uℝⁿ₁ → Uℝⁿ과 τ: Uℝⁿ₀ → Uℝⁿ을 정의한다.
• 로레츠 군 O(n+1,2)/{±1}을 사용하여 이 공간 형태들 위에 작용하는 라거르 변환군을 정의한다.
• 라거르 메트릭을 g = ρ²III로 표현한다. 여기서 ρ² = ∑(rᵢ − r)²이며, III는 세 번째 기본형이다.
• Δ₃₃r과 곡률 불변량을 분석하여 라거르 체적 함수기능의 오일러-라그랑주 방정식을 도출한다.

실험 결과

연구 질문

• RQ1 n ≥ 4인 ℝⁿ에서의 초표면에 대해 완전한 라거르 불변량 시스템은 무엇인가?
• RQ2 공간 형태와 임베딩을 통해 ℝⁿ, ℝⁿ₁, ℝⁿ₀ 간의 라거르 기하학을 어떻게 통합할 수 있는가?
• RQ3 곡률 불변량 측면에서 라거르 최소 초표면는 무엇으로 특성화되는가?
• RQ4 ℝ³₁ 또는 ℝ³₀에서의 최소 표면이 언제 ℝ³에서 라거르 최소 표면이 되는가?
• RQ5 다른 공간 형태 간의 임베딩 σ와 τ에 따라 라거르 불변량은 어떻게 변환되는가?

주요 결과

• 쌍 {g, ℒ}은 n ≥ 4인 ℝⁿ에서의 초표면에 대해 완전한 라거르 불변 시스템을 이룬다.
• 라거르 체적 함수기능의 오일러-라그랑주 방정식은 Δ₃₃r = 0로 도출되며, 여기서 r은 평균 곡률 반지름이다.
• ℝ³₁ 또는 ℝ³₀에서의 최소 표면은 Δ₃₃r의 영함수성으로 인해 ℝ³에서 라거르 최소이다.
• ℝ³에서 유일한 컴팩트한 라거르 최소 표면은 둥근 구이며, r과 x + rξ의 일관성에 의해 증명된다.
• 라거르 임베딩 σ와 τ는 불변량 Y와 η를 유지하므로, ℝⁿ, ℝⁿ₁, ℝⁿ₀ 간의 기하학적 구조가 일관성을 유지한다.
• 불변량은 <Y, c> = ρ와 <η, c> = r를 만족하며, 여기서 c는 환경 공간에 따라 시간적, 공간적, 또는 빛의 형태인 벡터이다.