[논문 리뷰] Pinching rigidity theorems for normal scalar curvature

Jianquan Ge, Fagui Li외 1명|arXiv (Cornell University)|2026. 03. 17.

Geometric Analysis and Curvature Flows인용 수 0

한 줄 요약

저자들은 모양-연산자 행렬의 가장 큰 고유값과 구에서의 닫힌 최소 부분다양체의 법선 스칼라 곡률 사이의 핀칭 조건을 설정하고, 평평한 법선 번들을 보이며, 이러한 조건 하에서 그 결과로 얻어지는 다양체들을 분류한다.

ABSTRACT

Let $M^n$ be an $n$-dimensional closed minimal submanifold immersed in the unit sphere $\mathbb{S}^{n+m}$. Denote by $S$ and $ρ^{\perp}$ the squared norm of the second fundamental form and the normal scalar curvature of $M^n$, respectively. Let $\{A^α\}_{α=n+1}^{n+m}$ be the shape operators of $M^n$ with respect to a local orthonormal normal frame. Denote by $λ_{1}$ the largest eigenvalue of the positive semi-definite symmetric matrix $\mathcal{A}=(\langle A^α,A^β angle)_{m imes m}$. We show that if $λ_{1}\leqslant n$ and $ρ^{\perp}\leqslant \left[{\sqrt{2}n(n-1)} ight]^{-1} \mathop{\inf}\limits_{p\in M}(n-λ_{1})(p)$, then $ρ^{\perp}\equiv 0$, which means the normal bundle of $M^n$ is flat, and further we give the classification of $M^n$.

연구 동기 및 목표

• 단위 구에서의 최소 부분다양체에 대한 핀칭 현상을 동기 부여하고 연구한다.
• 법선 스칼라 곡률과 모양 연산자의 가장 큰 고유값 간의 상호 작용에 대한 경계가 강성으로의 귀결을 어떻게 암시하는지 조사한다.
• 도출된 핀칭 조건하에서 부분다양체를 분류한다.
• 문헌의 DDVV-타입 부등식 및 강성 결과와의 확장 및 연결을 시도한다.

제안 방법

• A^α 로의 모양 연산자 정의 및 A = (⟨A^α, A^β⟩)의 행렬을 고유값 λ1 ≥ λ2 ≥ ... ≥ λm으로 나타낸다.
• 대칭 행렬에 대한 DDVV 부등식을 이용하여 교환물 항을 제어한다.
• 2차 기본 형태와 그 라플라시안에 대한 Simons형 공식을 도출하여 S, ρ⊥, ∇h를 연관시킨다.
• λ1 ≤ n 이고 ρ⊥ ≤ (√2 n(n−1))^{-1} inf_p(n−λ1)(p)일 때 법선 번들이 평탄하다는 것을 보인다(ρ⊥ ≡ 0).
• 1-정규성, 평행한 제1 법선 번들, 그리고 잎사귀(폴리에이션) 분석을 사용하여 결과적으로 얻어지는 부분다양체를 위대 구(sphere) 또는 구의 곱으로 분류한다.
• ρ⊥가 상수이거나 S가 상수일 때의 특수한 경우와 도출된 결과를 도출한다.

실험 결과

연구 질문

• RQ1 모양-연산자 행렬의 가장 큰 고유값 λ1과 법선 스칼라 곡률 ρ⊥에 대한 어떤 핀칭 조건에서 구의 닫힌 최소 부분다양체가 강성을 보이는가?
• RQ2 이 핀칭 조건을 만족하는 최소 부분다양체의 완전한 분류는 무엇이며, 법선 번들의 평탄성이 결과에 어떤 영향을 미치는가?
• RQ3 DDVV-타입 부등식이 이러한 핀칭 영역에서 2차 기본 형태의 진화와 적분에 어떤 영향을 미치는가?
• RQ4 S 또는 ρ⊥가 상수일 때 어떤 도이다가가 생기는가?
• RQ5 새로운 핀칭 제약 아래에서 Clifford 토러스, Veronese 표면 등으로 알려진 강성 정리와의 연결은 어떻게 되는가?

주요 결과

• If λ1 ≤ n and ρ⊥ ≤ (√2 n(n−1))^{-1} inf_p(n−λ1)(p), then ρ⊥ ≡ 0, i.e., the normal bundle is flat.
• Under the same hypotheses, M^n is either a great sphere or a product of spheres S^{n_i}(√(n_i/n)) with sum n_i = n.
• When S ≤ n and the same ρ⊥ bound holds, M^n is either the great sphere or the Clifford torus S^k(√(k/n)) × S^{n−k}(√((n−k)/n)).
• If ρ⊥ is constant, certain quadratic inequalities yield discriminant-based bounds that lead to the same classification (great sphere or Clifford torus) in specific cases.
• The paper provides corollaries for constant ρ⊥ and constant S, yielding explicit thresholds and rigidity outcomes.
• Lemmas establish differential inequalities for Δρ⊥, and combined with Simons-type formulas, lead to the flat-normal-bundle classification in Theorem 3.8