Taylor polynomials on left-quotients of Carnot groups

技術的要約：カルノー群の左剰余類上のテイラー多項式

問題提起
本論文は、カルノー群の劣メトリック像（商空間）として現れる部分リーマン多様体において、古典的なテイラー多項式の定理を確立するという課題に取り組んでいる。RothschildとStein [8] は、自由冪零リー代数構造を持つ多様体へベクトル場をリフトすることによって、劣楕円作用素に関する基礎的な枠組みを構築したが、彼らの手法は一般に、高次元の空間へのリフトを必要とする。非等則的（non-equiregular）な部分リーマン多様体（水平分布のランクや成長ベクトルが変化する場合）のような具体的な例においては、周囲空間の次元を最小限に抑えることが望ましい。ここで扱われる具体的な問題は、層化された冪零リー群（カルノー群）を商空間へと射影することによって得られる多様体上で、テイラー近似を定義するための手法（[4] で参照されているもの）を一般化し、明確化することである。これらの商空間は、非定数ランクや変化する成長ベクトルといった退化を示す可能性があり、これが直接的な標準的部分リーマン解析の適用を困難にしている。

手法
核心となる手法は、**劣メトリック（submetry）**の概念に基づいている。著者はカルノー群 $G$ と、膨張群が $H$ を保存する（$\delta_\lambda(H) = H$）閉部分群 $H$ を考える。商空間 $M = H \backslash G$ （右剰余類）には、$G$ における距離の無限下限によって定義される距離 $d_M$ が備わっている。標準的な射影 $\pi: G \to M$ は劣メトリックであり、これは $G$ 内の距離球を、同じ半径を持つ $M$ 内の距離球へと写す。

解析は以下のステップを通じて進行する：

1. リフトと射影： 商多様体 $M$ 上の関数およびベクトル場は、射影 $\pi$ と特定の右逆写像包含 $\iota$ を通じて、カルノー群 $G$ 上の対応物と関連付けられる。$M$ 上の関数 $f$ は、左 $H$ 不変な関数 $\tilde{f} = f \circ \Pi$ として $G$ 上にリフトされる。
2. 定義の転送： $M$ 上のテイラー多項式の定義は、カルノー群における確立された定義（具体的には [6] および [2]）から転送されることによって構築される。多項式 $P$ は、射影された水平ベクトル場 $X_j = \Pi_*(\tilde{X}_j)$ に関する関数の微分を一致させることによって定義される。
3. 上限の同値性： 重要な技術的ツールである補題 4.2 は、$G$ 内の左 $H$ 不変関数のある球における上限が、対応する $M$ 上の関数が射影された球における上限に等しいことを確立している。これにより、$G$ 上で導出された評価を $M$ へ直接転送することが可能となる。
4. 不変性の議論： 証明では、リフトされた関数の左 $H$ 不変性と、右不変ベクトル場の交換性質を利用して、$G$ 上で定義されたテイラー多項式が商空間上でウェル・デファインド（適切に定義）であり、かつ剰余類内の代表点の選択に依存しないことを保証している。

主要な貢献と結果
本論文は、必ずしも等則的ではない一連の部分リーマン多様体におけるテイラー近似の厳密な枠組みを提供する。主な結果は以下の通りである：

• 商空間上のテイラー定理： 著者は、$f \in C^k_{hor}(M)$ である関数に対するテイラー定理（定理 4.4）およびラグランジュ平均値定理（定理 4.3）を証明している。これらの定理は、$|f(p) - P_k(f, q)(p)| \leq C d_M(p, q)^k \eta_M$ という形の剰余評価を与える。ここで、誤差項は $k$ 次の水平微分の連続性のモジュラスに依存する。
• ウェル・ポゼドネス（適切に定義されること）： 命題 4.1 は、商空間 $M$ 上のテイラー多項式が、リフトされた関数のテイラー多項式の制限であることを示している。これは、この定義が剰余類内の代表点の選択に依存しないことを証明している。
• 解析性条件： 定理 5.1 は、滑らかな関数が実解析的であるための十分条件を確立している。もし水平微分が特定の階乗を含む成長境界（$K^{d(I)} k!$）を満たすならば、その関数は実解析的である。この結果は、条件を $G$ へリフトし、[2] の既知の結果を適用することで導かれる。
• L-調和性： 定理 5.2 は、関数 $f$ が微分作用素 $L$（具体的には水平ベクトル場によって形成されるもの）によって消滅する場合、そのテイラー多項式もまた $L$ によって消滅することを証明している。これは、層化群からその商空間への、テイラー多項式の $L$-調和性の性質の拡張である。

意義と主張
本論文は、定数ランクや一様な成長ベクトルを欠く可能性のある部分リーマン多様体に対して、テイラー近似定理を得るための手法（特に [4]）を一般化し、明確化することを主張している。射影が劣メトリックであるという性質を利用することで、著者は、構造化された層化リー群から、より一般的な、潜在的に退化した商多様体へと、解析的性質（テイラー展開、解析性基準、多項式の調和性など）を転送することに成功している。

その意義は、特定の低次元の商構造が利用可能な場合に、Rothschild-Stein の枠組み（高次元の「自由」冪零リー代数へベクトル場をリフトする必要がある）を回避する統一的なアプローチを提供することにある。本論文は、これらの結果が、グルシンスキー平面や特定の CR 構造などの例に適用されることを明記しており、非等則的な設定における本理論の有用性を示している。