[論文レビュー] Indefinite affine hyperspheres admitting a pointwise symmetry

Christine Scharlach|ArXiv.org|Oct 25, 2005

Geometric Analysis and Curvature Flows参考文献 11被引用数 4

ひとこと要約

この論文は、ローレンツ群 $SO(1,2)$ の非自明な部分群による点わい対称性をもつ3次元不定アフィン超球面を、トレースレスな3次形式（差分テンソル $K$ に符号化されている）の $SO(1,2)$-作用における安定化部分群の分析によって分類する。新規の超球面クラスを同定し、2次元アフィン球面または二次曲面と曲線のワーペッド積を含む。$SO(1,1)$-対称な例について、非ゼロのピック不変量をもつ明示的パラメータ表示を提供する。

ABSTRACT

An affine hypersurface M is said to admit a pointwise symmetry, if there exists a subgroup G of Aut(T_p M) for all p in M, which preserves (pointwise) the affine metric h, the difference tensor K and the affine shape operator S. Here, we consider 3-dimensional indefinite affine hyperspheres, i.e. S= H Id (and thus S is trivially preserved). First we solve an algebraic problem. We determine the non-trivial stabilizers G of a traceless cubic form on a Lorentz-Minkowski space R^3_1 under the action of the isometry group SO(1,2) and find a representative of each SO(1,2)/G-orbit. Since the affine cubic form is defined by h and K, this gives us the possible symmetry groups G and for each G a canonical form of K. Next, we classify hyperspheres admitting a pointwise G-symmetry for all non-trivial stabilizers G (apart from Z_2). Besides well-known hyperspheres (for Z_2 x Z_2 resp. R the hyperspheres have constant sectional curvature and Pick invariant J<0 resp. J=0 we obtain rich classes of new examples e.g. warped product structures of two-dimensional affine spheres (resp. quadrics) and curves. Moreover, we find a way to construct indefinite affine hyperspheres out of 2-dimensional quadrics or positive definite affine spheres.

研究の動機と目的

• 3次元不定アフィン超球面を、ローレンツ＝ミンコフスキー空間 $\mathbb{R}^3_1$ の等長群 $SO(1,2)$ の非自明な部分群による点わい対称性をもつものとして分類すること。
• 差分テンソル $K$ に関連するトレースレス3次形式の非自明な安定化部分群 $G \subset SO(1,2)$ をすべて特定すること。
• 各安定化部分群 $G$ に対して、$SO(1,2)$ による3次形式への作用を用いて、差分テンソル $K$ の標準形を導出すること。
• 特に $G = SO(1,1)$ の場合に、このような対称性をもつ不定アフィン超球面の明示的幾何的モデルを構成すること。
• 正定値の場合に限られていた対称アフィン超球面の分類を、不定的設定へと拡張し、新たなクラスの例を明らかにすること。

提案手法

• ローレンツ群 $SO(1,2)$ によるトレースレス3次形式の非自明な安定化部分群 $G$ の代数的分類を行い、群元の6種類の標準形を同定する。
• $SO(1,2)/G$ のコセット空間の代表元を計算し、3次形式への群作用の軌道を分類する。
• アフィン計量 $h$ と差分テンソル $K$ によって定まるアフィン3次形式を用いて、各点における対称性を保つ構造を特徴付ける。
• ワーペッド積構造 $M^3 \cong N^2 \times I$ を用いた超曲面の構成：$N^2$ は2次元アフィン球面または二次曲面であり、$I$ は $\mathbb{R}$ 内の曲線である。
• $SO(1,1)$-対称超曲面の明示的パラメータ表示を、アフィン法線および曲率条件から導出された常微分方程式を用いて得る。
• 誘導接続と計量がブラシュケ構造方程式を満たし、$S = H \cdot \mathrm{id}$ を満たすことを確認することで、超曲面条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 非自明な部分群 $G \subset SO(1,2)$ で、3次元不定アフィン超球面上のアフィン計量 $h$、差分テンソル $K$、形状作用素 $S$ をすべて点わいに保存するものはどれか？
• RQ2 各安定化部分群 $G$ に対して、$SO(1,2)$-作用によるトレースレス3次形式空間上での差分テンソル $K$ の標準形は何か？
• RQ3 $G \neq \mathbb{Z}_2, \mathbb{R}$ の場合に、定曲率やゼロのピック不変量の既知のケースを超えて、点わい $G$-対称性をもつ3次元不定アフィン超球面の新規クラスを構成できるか？
• RQ4 2次元アフィン球面または二次曲面と曲線を含むワーペッド積構造を用いて、このような対称超球面の明示的例を生成する方法は何か？
• RQ5 $\gamma(v)$ が、誘導パラメータ表示 $\varphi(v,x,y)$ によって適切な不定アフィン超球面を定義するための必要十分条件は何か？

主な発見

• $G = SO(1,1)$ の場合、論文は明示的な例を構成する。それは双曲的放物面（不定的不適切アフィン二次曲面）と曲線のワーペッド積としての不定アフィン超球面であり、$v > 0$ に対して $\varphi(v,x,y) = (vx, vy, vf(x,y) - cv^4, v)$ とパラメータ表示される。
• もう一つの $SO(1,1)$-対称超球面クラスは、$\varphi(t,v,w) = (v,w, f(v,w) + ct^3, t^4)$ で与えられる。ここで $f$ はアフィン法線 $(0,0,1)$ をもつ双曲的放物面を定める。$c > 0$ である。
• 構成された超球面は適切な不定アフィン超球面である。つまり $S = H \cdot \mathrm{id}$ かつ $H \neq 0$ であり、非ゼロのピック不変量 $J \neq 0$ をもつ。これにより、既知の例とは明確に区別される。
• 分類により、$SO(1,1)$-対称超球面は2階常微分方程式の解から生じることが判明した：$v > 0$ に対して $\frac{\partial^2}{\partial v^2}\varphi + \frac{1}{2v}\frac{\partial}{\partial v}\varphi = -\xi$ であり、$v < 0$ の場合にも同様の式が成り立つ。
• 安定化部分群の解析により、3次形式を同値関係で保存する非自明な $G \subset SO(1,2)$ は有限個であり、それぞれが一意な軌道型と標準 $K$-形に対応することが示された。
• このような対称超球面が $J < 0$（非ゼロピック不変量）をもつことが確認され、既知の $J = 0$ または定曲率のケースを超えて、分類が拡張されたことが示された。