상수 곡률 공간에서 재발하는 제2기초형을 가진 부분다양체의 완전 분류

본 논문은 (n ≥ 2) 차원 매끄러운 부분다양체 Fⁿ이 (n + p) 차원 상수 곡률 공간 Mⁿ⁺ᵖ(c) (p ≥ 2) 안에 포함될 때, 제2기초형 b가 재발(recurrent)하면서도 평행하지 않은 경우를 전면적으로 연구한다. 1. **배경 및 정의** - 제2기초형 b는 ∇b = 0이면 평행이라 하고, ∇b = μ ⊗ b 형태로 존재하는 1‑형식 μ가 있을 때 ‘재발’이라고 정의한다. - R‑연결(∇)과 정규연결(D)을 각각 사용해 기본 방정식(가우스, 페터슨‑코다니, 리치)을 전개한다. 2. **주요 정리** - **정리 1**: Fⁿ이 재발하지만 ∇b ≠ 0인 경우, 각 점 근처에 직교 공액계통 {L₁, L_{n‑1}}가 존재한다. 여기서 L₁은 차원 1, L_{n‑1}은 차원 n‑1이며, 두 분포는 서로 직교하고 공액이다. Fⁿ은 곡률이 일정한 곡선 F¹와 (n‑1) 차원 전지오데식 부분다양체 F^{n‑1}의 직접곱 형태, 즉 Fⁿ = F¹ × F^{n‑1} 로 국소적으로 표현된다. - **정리 2**: 전역적으로는 Fⁿ이 두 종류의 조각으로 이루어진다. (i) 곡률이 일정한 곡선과 (n‑1) 차원 평면형 전지오데식 부분다양체의 직접곱으로 이루어진 열린 부분, (ii) (n + 1) 차원 전지오데식 부분공간 Mⁿ⁺¹에 포함되는 조각. 3. **보조 정리 및 보조 결과** - **레마 1**: 재발 조건 하에 ∇b ≠ 0이면 Fⁿ은 Eisenstein 형태를 띠며, S = c(n‑1)g 를 만족한다. - **레마 2**: 정규공간 N₁(정규벡터가 A_ξ에 의해 정의되는 부분)의 차원이 1임을 보인다. 이는 정규연결이 평면이며, 정규벡터 ξ가 평행함을 의미한다. - **레마 3**: ∇b ≠ 0이면 정규연결이 평면(R^⊥ ≡ 0)임을 증명한다. - **레마 4**: N₀와 N₁ 두 정규분포가 각각 정규연결에 대해 평행함을 보인다. 4. **증명 개요** - 레마 1을 통해 S = c(n‑1)g 를 얻고, 이를 이용해 (tr A_ξ)A_ξ − A_ξ² = 0 식을 도출한다. - 이 식은 A_ξ의 고유값이 0과 하나의 양수 k₁만 존재함을 의미한다. 따라서 차원 1인 L₁(고유값 k₁)와 차원 n‑1인 L₂(고유값 0)로 분해된다. - μ가 0이 아닌 경우, k₁는 곡선 매개변수 u₁에만 의존하고, L₂ 내에서는 μ가 0이므로 L₂는 완전하게 평행(∇L₂⊂L₂)한다. 이는 L₂가 전지오데식임을 보인다. - 공액성 및 직교성을 이용해