[论文解读] Indefinite affine hyperspheres admitting a pointwise symmetry

Christine Scharlach|ArXiv.org|Oct 25, 2005

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

一句话总结

本文通过分析在 $SO(1,2)$ 作用下迹为零的三次型（由差张量 $K$ 编码）的稳定子，对在 Lorentz 群 $SO(1,2)$ 的非平凡子群作用下具有点态对称性的三维不定 affine 超曲面进行分类。文中识别出新的超曲面类，包括二维 affine 球面或二次曲面与曲线的扭曲积，以及提供了具有非零 Pick 不变量的 $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.

研究动机与目标

• 对在 Lorentz-Minkowski 空间 $\mathbb{R}^3_1$ 的等距群 $SO(1,2)$ 的非平凡子群作用下具有点态群对称性的三维不定 affine 超曲面进行分类。
• 确定与差张量 $K$ 相关的迹为零三次型在 $SO(1,2)$ 中所有可能的非平凡稳定子子群 $G \subset SO(1,2)$。
• 利用 $SO(1,2)$ 对三次型的作用，为每类此类稳定子 $G$ 推导差张量 $K$ 的规范形式。
• 为具有此类对称性的不定 affine 超曲面构造显式几何模型，特别是针对 $G = SO(1,1)$ 的情形。
• 将对称 affine 超曲面的分类从正定情形扩展至不定情形，揭示新的例子类别。

提出的方法

• 对 $SO(1,2)$ 在 $\mathbb{R}^3_1$ 上作用下迹为零三次型的非平凡稳定子 $G$ 进行代数分类，识别出六种群元素的典型形式。
• 计算 $SO(1,2)/G$ 的陪集空间代表元，以对群作用在三次型上的轨道进行分类。
• 利用由 affine 度量 $h$ 和差张量 $K$ 确定的 affine 三次型，刻画每一点处保持对称性的结构。
• 通过扭曲积结构构造超曲面：$M^3 \cong N^2 \times I$，其中 $N^2$ 为二维 affine 球面或二次曲面，$I$ 为 $\mathbb{R}$ 中的曲线。
• 通过由 affine 法向量和曲率条件导出的常微分方程，推导 $SO(1,1)$-对称超曲面的显式参数化。
• 通过验证诱导联络和度量满足 Blaschke 结构方程，且 $S = H \cdot \mathrm{id}$，确认超曲面条件成立。

实验结果

研究问题

• RQ1 哪些非平凡子群 $G \subset SO(1,2)$ 可作为三维不定 affine 超曲面上保持 affine 度量 $h$、差张量 $K$ 和形状算子 $S$ 的点态对称？
• RQ2 在 $SO(1,2)$ 作用于迹为零三次型空间下，每类此类稳定子 $G$ 对应的差张量 $K$ 的规范形式为何？
• RQ3 能否构造出新的三维不定 affine 超曲面类，使得其在 $G \neq \mathbb{Z}_2, \mathbb{R}$ 的点态 $G$-对称下成立，且超出已知的常曲率或零 Pick 不变量情形？
• RQ4 如何利用包含二维 affine 球面或二次曲面与曲线的扭曲积结构，生成此类对称超曲面的显式例子？
• RQ5 曲线 $\gamma(v)$ 需满足何种必要且充分条件，使得诱导参数化 $\varphi(v,x,y)$ 构成具有 $SO(1,1)$-对称性的恰当不定 affine 超曲面？

主要发现

• 对于 $G = SO(1,1)$，本文构造了显式例子：不定 affine 超曲面为双曲抛物面（不定非正常 affine 二次曲面）与曲线的扭曲积，其参数化为 $\varphi(v,x,y) = (vx, vy, vf(x,y) - cv^4, v)$，其中 $v > 0$。
• 另一类 $SO(1,1)$-对称超曲面由 $\varphi(t,v,w) = (v,w, f(v,w) + ct^3, t^4)$ 给出，其中 $f$ 定义一个 affine 法向量为 $(0,0,1)$ 的双曲抛物面，且 $c > 0$。
• 所构造的超曲面为恰当的不定 affine 超曲面，即 $S = H \cdot \mathrm{id}$ 且 $H \neq 0$，且具有非零 Pick 不变量 $J \neq 0$，从而与先前已知情形相区别。
• 分类结果表明，$SO(1,1)$-对称超曲面源于二阶常微分方程的解：$\frac{\partial^2}{\partial v^2}\varphi + \frac{1}{2v}\frac{\partial}{\partial v}\varphi = -\xi$（$v > 0$），且对 $v < 0$ 有类似方程。
• 稳定子分析表明，仅有有限多个非平凡 $G \subset SO(1,2)$ 能在等价意义下保持三次型，且每类对应唯一的轨道类型与规范 $K$-形式。
• 本文确认此类对称超曲面存在且具有 $J < 0$（非零 Pick 不变量），将已知分类从 $J = 0$ 或常曲率情形扩展至更广范围。