《几何专题》笔记(2)-第一变分
DreamAR

子流形

令$M$为$n$维光滑流形, $f:M\rightarrow X$为浸入. 那么可以取$f^\ast g$为$M$上的诱导度量. 记$p=N-n$为余维数. 我们将$f^\ast (TX)$分解为$TM\oplus(TM)^\perp,$ 分别称为切丛和法丛. 沿$M$取标架场$e_A(m),$ 使得$e_i(m),e_\alpha(m)$分别是$m$处的切向量, 法向量.

记$\theta_A=f^\ast \omega_A,$ $\theta_{AB}=f^\ast \omega_{AB},$ 那么$\theta_\alpha=0.$ 这是因为$\theta_\alpha(v)=\omega_\alpha(f_\ast v)=0.$ 法向的对偶基作用在切向上取零. 由于$\theta_A$为拉回, 适用于$\omega_A,\omega_{BA}$的方程对$\theta_A,\theta_{BA}$仍满足.

回忆$d\omega_A=\omega_B\wedge\omega_{BA},$ 我们进一步有$\theta_i\wedge\theta_{i\alpha}=0.$ 由Cartan引理, 我们有

微分形式

称为$M$在$X$中的第二基本型. 它描述了$M$作为$X$中子流形的最简单的度量信息.

定义平均曲率向量

它是$M$上的法向量. $M$称为极小子流形若$H=0.$ 它是全测地的, 若$\Theta=0.$ $1$维全测地子流形就是测地线.

第一变分

设$M$紧致, 可能带边界, 它的总体积由

给出. 考虑变分. 取$F:M\times (-\varepsilon,\varepsilon)\rightarrow X,$ 满足$F$限制在$M\times \{t\}$上为浸入, $F|_{t=0}=f.$ 考虑$M\times I$上的标架场$\{e_A\},$ 条件同前(切向, 法向). 此时记

限制在$\{t=0\}$上, 这与原先记号相同. $a_Ae_A$称为形变向量. 在$M\times I$上, 将外微分分解为

在$X$上, 我们有

拉回到$M$上, 我们得到

将带$dt$项的式子取等, 我们得到

积分就给出了

当$a_i=0$时, 右端第二项消失, 即形变向量垂直于$\partial M.$ 这更是在$\partial M$固定时成立. 而对任意$\{a_\alpha\}$首项为零当且仅当$H=0,$ 即$M$为极小子流形. 故我们有定理

定理 1. 黎曼流形的极小子流形固定边界时体积变分为临界值.

文章最后更新于 2023-03-02 19:47:46

  • 本文标题:《几何专题》笔记(2)-第一变分
  • 本文作者:DreamAR
  • 创建时间:2023-03-02 19:47:45
  • 本文链接:https://dream0ar.github.io/2023/03/02/《几何专题》笔记(2)-第一变分/
  • 版权声明:本博客所有文章除特别声明外,均采用 BY-NC-SA 许可协议。转载请注明出处!
 评论