Questions in category: 黎曼几何 (Riemannian Geometry)
几何 >> 黎曼几何
<[1] [2] [3] [4] [5] [6] >

41. [Def]完备非紧流形的端

Posted by haifeng on 2012-03-17 17:12:24 last update 2012-03-21 21:50:10 | Answers (0) | 收藏


Def1. 端

设 $M^m$ 是一 $m$ 维完备黎曼流形, $\Omega$ 是 $M$ 中某个紧子集, 若 $E$ 是 $M-\Omega$ 的一个非紧连通分支, 则称 $E$ 是 $M$ 的一个端(end).

Def2. 端是正则的

假定 $E$ 是 $M$ 的一个端, 对任意 $r\geq 0$, 记

\[E_r:=\{x\in E : \text{dist}(x,\partial E)=r\}.\]

我们称端 E 是正则的(regular), 如果对所有充分大的 $r$ 及对定义在

\[U_r:=\{x\in E : \frac{r}{2}<\text{dist}(x,\partial E)<2r\}\]

上的任意正的调和函数 $u$, 在 $E_r$ 上都有 Harnack 型的不等式:

\[\sup_{E_r}u\leq C\inf_{E_r}u,\]

其中 $C$ 不依赖于 $r$.

Def3. 抛物端

设 $E$ 是 $M$ 的一个端. 若 $E$ 上不存在满足如下条件的非常值调和函数 $f:E\rightarrow\mathbb{R}$:

(i) $f|_{\partial E}=1$;

(ii) $\liminf_{y\rightarrow E(\infty)}f(y)<1$, (其中 $E(\infty)$ 指 $E$ 的无穷远)

则称 $E$ 是抛物的. 否则我们就称 $E$ 是 $M$ 的一个非抛物端, 并称函数 $f$ 是 $E$ 的闸函数(barrie function).

注意对函数 $f$ 加上并乘以某常数, 上述条件可以改为

(i) $f|_{\partial E}=1$;

(ii) $\liminf_{y\rightarrow E(\infty)}f(y)=0$, (其中 $E(\infty)$ 指 $E$ 的无穷远)


References:

Peter Li, Harmonic functions on complete Riemannian manifolds.

M.P.Cavalcante, H.Mirandola, and F.Vitório, The non-parabolicity of infinite volume ends. arXiv:1201.6391v1 [math.DG] 30 Jan 2012. http://arxiv.org/abs/1201.6391

Grigor’yan, A., Analytic and geometric background of recurrence and non-explosion of the
Brownian motion on Riemannian manifolds. Bull. Amer. Math. Soc. (N.S.) 36 (1999), no. 2,
135 – 249.

42. 单纯形体积(Gromov 体积)

Posted by haifeng on 2011-08-24 19:47:15 last update 2011-08-24 19:47:15 | Answers (0) | 收藏


设 $M^n$ 是 $n$-维闭可定向流形, 其 Gromov 体积定义为

\[ \|M^n\|=\inf\{\sum_i|r_i|\}, \]

其中 $r_i$ 指的是代表流形 $M^n$ 基本类 $[M^n]$ 的实的闭链的系数.

43. Soul Theorem(Cheeger-Gromoll 灵魂定理)

Posted by haifeng on 2011-08-03 20:18:09 last update 2011-08-03 20:41:52 | Answers (0) | 收藏


假设 $M^n$ 是个非紧完备的具有非负截面曲率的黎曼流形, 则存在一个全凸的紧致无边子流形 $S$(称为灵魂), $0\leqslant\dim S < n$, 使得 $M^n$ 微分同胚于 $S$ 在 $M^n$ 中的法向量丛 $NS$.
更进一步的, 若 $X,Y\in TM$ 满足 $X\perp S$, $Y\in TS$, 则 $K(X,Y)\cong 0$. (这里 $K(X,Y)$ 表示由 $X,Y$ 张成的截面曲率.)


注: 结论也可以这样说, “则存在一个紧致无边的全测地子流形 $S$, 且是凸的, $0\leqslant\dim S < n$, 使得 $M^n$ 微分同胚于 $S$ 在 $M^n$ 中的法向量丛.” 因为根据 Cartan-Hadamard 定理, 此时凸推出全凸, 参见问题304.


References:
曹建国, 王友德 著 现代黎曼几何简明教程. 科学出版社. 2006.

44. 什么样的测地线称为射线(ray)?

Posted by haifeng on 2011-08-02 18:52:46 last update 2011-08-02 18:52:46 | Answers (0) | 收藏


称为射线的测地线当然只能向一个方向无限延伸. 考虑以弧长为参数的测地线(normal geodesic) $c:[0,\infty]\rightarrow M$, 如果 $c$ 的任意子线段是其两端点间最短的测地线, 则称这样的测地线是射线(ray).

45. 凸集与全凸集的联系及例子

Posted by haifeng on 2011-08-02 10:37:54 last update 2011-08-02 10:51:01 | Answers (0) | 收藏


  • 根据 Cartan-Hadamard 定理, 对于具有非正截面曲率的完备单连通黎曼流形, 其中的凸集一定是全凸集.
  • 对于具有非正截面曲率的完备单连通黎曼流形, 它的所有的测地球(开的或闭的)都是全凸集. 特别的, 这样的流形上每点都是全凸的.
  • 一般情形下, 单点集不一定是全凸集.

单点集是全凸的, 是指对于 $x\in M$, 不存在非平凡的测地线 $c:[0,1]\rightarrow M$, 使得 $c(0)=c(1)=x$.


References:
伍鸿熙, 沈纯理, 虞言林, 黎曼几何初步, 北京大学出版社, 2000.

46. 【Def】全测地子流形(totally geodesic submanifold)

Posted by haifeng on 2011-08-02 10:17:26 last update 2011-08-03 20:23:28 | Answers (0) | 收藏


设 $S$ 是黎曼流形 $M$ 的一个子流形, 若 $S$ 中任意一条测地线也是 $M$ 中的测地线, 则称 $S$ 是 $M$ 全测地子流形.

显然全测地子流形的涵盖范围要比全凸集广, 换句话说, 全凸集一定是全测地子流形.

47. 【Def】全凸子集(totally convex set)

Posted by haifeng on 2011-08-02 09:20:49 last update 2011-08-02 10:24:35 | Answers (0) | 收藏


黎曼流形 $M$ 中的一个子集 $C$ 称为全凸的(totally convex), 如果对任意 $p,q\in C$, 及连接 $p,q$ 的任意测地线 $c:[0,1]\rightarrow M$, 有 $c([0,1])\subset C$.

  • 如果对任意 $p,q\in C$, 都存在 $C$ 中最短的测地线连接 $p,q$, 并且连接 $p,q$ 的任何最短测地线都位于 $C$ 中, 则称 $C$ 是凸的. 这个概念是欧氏空间中凸集概念的推广.
  • 如果上述连接任意两点 $p,q$ 的最短测地线是惟一的, 则称 $C$ 是强凸的.

48. [Gromoll, Meyer 1969]对任意维数的黎曼流形, 只要截面曲率为正, 都有simple point存在.

Posted by haifeng on 2011-08-02 08:50:20 last update 2011-08-02 08:50:20 | Answers (0) | 收藏


D. Gromoll and W. Meyer, On complete open manifolds of positive curvature, Ann. of Math. 90(1969),75-90.

50. 【Def】Simple point

Posted by haifeng on 2011-08-01 23:02:31 last update 2011-08-02 09:16:40 | Answers (0) | 收藏


流形 $M$ 中某个点 $p$ 称为 simple point, 如果 $M$ 中不存在经过该点的闭测地线.

simple point 的一个自然推广是紧致全测地子流形或紧致全凸子流形, 我们称为 $M$ 的 soul(灵魂).

<[1] [2] [3] [4] [5] [6] >