In this paper, we present a general form of Chen's first inequality (in short, CFI) for Riemannian maps between Riemannian manifolds. Further, using this general form, we obtain the CFI for Riemannian maps when target spaces are generalized complex and generalized Sasakian space forms. Consequently, we also obtain the CFI for Riemannian maps when the target spaces are real, complex, real Kähler, Sasakian, Kenmotsu, cosymplectic, and almost $C(α)$ space forms. Moreover, we also discuss geometric applications of CFI on generalized complex and generalized Sasakian space forms. Specifically, we give estimations for $δ$-invariants within various hypotheses.
- 論文ID: 2510.10505
- タイトル: General Chen's first inequality and applications for Riemannian maps
- 著者: Ravindra Singh, Kiran Meena, Kapish Chand Meena
- 分類: math.DG (微分幾何学)
- 発表日: 2025年10月12日 (arXiv プレプリント)
- 論文リンク: https://arxiv.org/abs/2510.10505v1
本論文は、リーマン多様体間のリーマン写像に対するChen第一不等式(CFI)の一般形式を提案している。この一般形式に基づいて、著者らは目標空間が一般化複素空間形式および一般化Sasakian空間形式である場合のリーマン写像のCFIを導出した。さらに、目標空間が実空間形式、複素空間形式、実Kähler空間形式、Sasakian空間形式、Kenmotsu空間形式、cosymplectic空間形式、およびほぼC(α)空間形式である場合のCFIも得られた。加えて、一般化複素空間形式および一般化Sasakian空間形式上のCFIの幾何学的応用について議論し、特に様々な仮定の下でのδ-不変量の評価を与えた。
- 外在的性質と内在的性質の関係の欠如: 微分幾何学において、部分多様体の外在的性質と内在的性質の間に十分な関係式が不足している。
- Chen不等式の重要性: 1993年、Chenは部分多様体の外在的および内在的不変量を関連付ける不等式、すなわちChen第一不等式(CFI)を導入した。これは曲率を制約・関連付け、剛性定理を確立し、幾何学的流を探索するための重要な道具となった。
- リーマン写像の幾何学的意義: リーマン写像は豊かな幾何学的および物理的意味を有し、源多様体と目標多様体の幾何学的性質を比較することを可能にする。
- 既存の研究は主に様々な空間形式の部分多様体上のCFIに集中しており、リーマン写像のCFIに関する研究は相対的に少ない
- Şahinらはリーマン多様体から実および複素空間形式へのリーマン写像のCFIのみを研究した
- 様々な空間形式上のリーマン写像を扱うためのより一般的な理論的枠組みを確立する必要がある
- 一般形式のCFIの確立: リーマン多様体間のリーマン写像に対するChen第一不等式の一般形式(定理3.1)を提案した
- 特殊空間形式への拡張: 一般的なCFIを一般化複素空間形式および一般化Sasakian空間形式に適用した
- 古典的空間形式の包含: 特例として、実、複素、実Kähler、Sasakian、Kenmotsu、cosymplectic、およびほぼC(α)空間形式のCFIを得た
- 幾何学的応用: 様々な仮定の下でのδ-不変量の評価を提供した
- 等号成立条件: すべての不等式の等号成立の完全な特性化を与えた
π : (M^m, g₁) → (N^n, g₂)をリーマン多様体間の滑らかな写像とし、0 < rank π ≤ min{m,n}とする。以下を定義する:
- V_p = (ker π_p): π_のp点における核空間
- H_p = (ker π_*p)^⊥: 核空間の直交補
- R_p = (range π_p): π_の値域
- R_p^⊥ = (range π_*p)^⊥: 値域の直交補
定理3.1: リーマン写像π : (M^m, g₁) → (N^n, g₂)に対して、すべてのp ∈ Mおよび{h₁, h₂}で張られた平面断面P ⊂ T_pMに対して、以下が成立する:
KH(P)≥21{2ρH−(r−1)(r−2)∥τH∥2−2ρR+2KR(P)}
ここで2ρ_H(それぞれ2ρ_R)はH(それぞれR)のスカラー曲率である。
- Gauss方程式: リーマン写像のGauss方程式を利用して第二基本形式と曲率テンソルを関連付ける
- スカラー曲率関係: 水平空間と値域空間のスカラー曲率の関係を確立する:
2ρH=2ρR−∥∇π∗∥2+∥τH∥2
- 形状作用素の分析: 形状作用素の特殊な形式を通じて等号成立条件を特性化する
定義: ほぼHermitian多様体(N, g₂, J)が一般化複素空間形式N(f₁, f₂)と呼ばれるのは、滑らかな関数f₁, f₂が存在して以下が成立する場合である:
RN(X1,X2)X3=f1{g2(X2,X3)X1−g2(X1,X3)X2}+f2{...}
主要な結果(定理4.3): 一般化複素空間形式へのリーマン写像に対して:
KH(P)≥21{2ρH−(r−1)(r−2)∥τH∥2−(r−2)(r+1)f1−3f2(∥P∥2−2Θ(P))}
定義: ほぼ接触計量多様体(N, g₂, φ, ξ, η)が一般化Sasakian空間形式N(f₁, f₂, f₃)と呼ばれるのは、滑らかな関数f₁, f₂, f₃が存在して対応する曲率条件が成立する場合である。
主要な結果(定理4.8): 構造ベクトル場ξの位置に応じて2つの場合に分類される:
- ξ ∈ Γ(R)の場合:f₃項を含む修正
- ξ ∈ Γ(R^⊥)の場合:f₃項が消失し、形式が簡略化される
δ-不変量は以下のように定義される:
δH=ρH−inf{KH(P):平面断面P⊂TpM}
一般化複素空間形式に対して(定理5.1):
- f₂ ≥ 0の場合:
δH≤2(r−2){(r−1)1∥τH∥2+(r+1)f1+(r−2)3rf2}
- f₂ ≤ 0の場合:
δH≤2(r−2){(r−1)∥τH∥2+(r+1)f1}
一般化Sasakian空間形式に対して(定理5.4, 5.5): f₂, f₃の符号とξの位置に応じた詳細な分類評価が与えられている。
すべての不等式の等号成立は特定の幾何学的条件を満たす必要があり、主に以下を含む:
- 形状作用素の特殊な形式(条件3.2)
- 正則性または全実性条件
- 構造ベクトル場の特殊な位置
- 直交性条件
本論文は以下の重要な研究に基づいている:
- Chen (1993): CFI概念の最初の導入
- Şahinら: 実および複素空間形式上のリーマン写像のCFIの研究
- 様々な空間形式の部分多様体のCFI: Sasakian、Kenmotsu、cosymplectic等の空間形式上の関連研究を含む
- リーマン写像のCFIの統一的理論的枠組みを確立した
- 様々な重要な空間形式の場合を体系的に扱った
- δ-不変量の精密な評価を与えた
- 等号成立の幾何学的条件を完全に特性化した
- Chen不等式理論をリーマン写像に拡張した
- 部分多様体理論における複数の特殊な結果を統一した
- リーマン写像の幾何学的性質を研究するための新しい道具を提供した
- 調和写像の性質の研究に利用可能
- 幾何学的流と剛性定理の道具を提供
- 物理学における場の理論応用の潜在的価値
- 理論的完全性: 体系的で完全な理論的枠組みを確立した
- 技術的深さ: 深い微分幾何学的技法を活用した
- 結果の豊富さ: 複数の重要な空間形式を網羅している
- 広い応用性: δ-不変量の評価は重要な幾何学的意義を有する
- 一般化方法: 特殊から一般への理論構築
- 分類的議論: 幾何学的構造の異なる場合に対する細密な分析
- 等号条件: 最適性条件の完全な特性化
- 次元制限: rank π = r ≥ 3を要求
- 技術的複雑性: 証明は複雑なテンソル計算を含む
- 応用範囲: 主に微分幾何学の理論研究に限定される
- 微分幾何学における不等式理論に重要な貢献
- リーマン写像理論に新しい研究方向を提供
- 関連する空間形式のさらなる研究を刺激する可能性がある
論文は31篇の関連文献を引用しており、主に以下を含む:
- Chenの原始的研究および関連する発展
- 様々な空間形式の幾何学的理論
- リーマン写像の基礎理論
- δ-不変量に関する研究
本論文は微分幾何学の分野において重要な理論的価値を有し、リーマン写像のChen不等式理論を体系的に発展させ、当該分野のさらなる研究のための堅固な基礎を確立している。