1 Noções e Notacoes

2 Função distancia e equação de Riccati

Lema 2.1. Seja c : [a, b] → W uma curva por pedaços desde p ∈ Wr ao
q ∈ Ws , onde r ≤ s. Então L(c) ≥ s − r com igualdade se e somente se
c resolve c0 = ∇f ◦ c com reparametrização monotônica. Em particular, as
curvas de solução do campo de gradiente são geodésicas de velocidade unitária
que são minimas em W .

Lema 2.2. Em as condições da acima, seja J o campo tensorial de Jacobi

ao longo de γ com condições iniciais

J(0) = Id e J 0 (0) = U0 .

Então o campo U = J 0 J −1 de endomorfismos do normal espaces de γ é

solução da equação de Riccati com condição inicial U0 . Além disso, U é um
campo de endomorfismos simétricos se e somente se U0 é simétrico.

3 Teoria de Comparação para a Equação de

Riccita
Lema 3.1. Seja u, v : (a, b] → R suaves com u0 + u2 ≤ v 0 + v 2 e assume que
u0 +u2 e v 0 +v 2 tem extensao suave em [a, b]. Então o limite u(a) = limt→a u(t)
e v(a) = limt→a v(t) existem quando extendemos os reais em (−∞, ∞]. Se
u(a) ≤ v(a), entao u ≤ v em (a, b] com igualdade se somente se u(b) = v(b).

4 Desigualdades de Bishop-Gromov
Teorema 4.1. Assumimos que Ric(γ 0 , γ 0 ) ≥ (m − 1)κ para algum κ ∈ R e
que det J > 0 em (0, b). Então

det J(r) det J(s)

1≥ m−1
≥ m−1
snκ (r) snκ (s)

Para todo r < s em (0, b). A desigualdade á esquerda é estrita a menos que
Rγ = κIγ em [0, r], A desigualdade á direita é estrita a menos que Rγ = κIγ
em [0, s].
√
Corolario 4.2. Na situacao do Teorema 4.1, b ≤ π/ κ se κ > 0.

1
Teorema 4.3. Assumimos que Ric(γ 0 , γ 0 ) ≥ (m − 1)κ para toda geodésica
unitária partindo de p e algum κ ∈ R. Então

Vp (r) Vp (s)
1≥ ≥
Vκ (r) Vκ (s)
√
para todo 0 < r < s ≤ max{d(p, q)} (com s < π/ κ se κ > 0). A de-
sigualdade à esquerda é estrita a menos que Bp (r) seja isométrica a Bκ (r)
e a inequação à direita seja estrita a menos que Bp (s) seja isométrica para
Bκ (s).

Corolario 4.4. Se RicM ≥ (m − 1) > 0κ, então

√
diam M ≤ diam Smκ = π/ κ e vol M ≤ vol Sm
κ

e a desigualdade é estrita a menos que M é isométrica a Sm

κ.

5 Desigualdade de Heintze-Karcher
Lema 5.1. Para v ∈ Tξ νN , nos temos

dexpξ (v) = J(1),

onde J é o campo de Jacobi ao longo de γξ com

J(0) = v H e J 0 (0) = v V + Sξ cH .

Lema 5.2. A distorção de volume de exp ◦ F é dada por

(exp ◦ F )∗t,ξ dV = det Jξ (t)dtdξdp

para todo 0 < t < tb (ξ), onde dV e dξdp denota a forma de volume de M e
SN , respetivamente.

Lema 5.3. Como um campo de matrizes em termos de Ei e até O(t2 ) para

t → 0, Jξ (t) é a matriz diagonal com entradas 1 + λi t para todos 1 ≤ i ≤ n
e t para todos n + 1 ≤ i ≤ m. Em particular,

det Jξ (t) = tm−n−1 + (λ1 + ... + λn )tm−n + O(tm−n+1 ) quando t → 0.

Lema 5.4. A função a é monotonicamente crescentes em h e t.

2
Teorema 5.5. Suponha que N é uma hipersuperfı́cie e que RicM (γξ0 ) ≥ (m−
1)κ ao longo de γξ , onde ξ ∈ SN e κ ∈ R, nos temos
det Jξ (r) det Jξ (s)
1≥ ≥
j(h(ξ), r) j(h(ξ), s)
para todo 0 < r < s < tb (ξ), onde j é como em (44). A desigualdade à
esquerda é estrita, a menos que Rγξ = κIγξ em [0, r] e Sξ = −h(ξ)Id, A
desigualdade à direita é estrita, a menos que Rγξ = κIγξ em [0, s] e Sξ =
−h(ξ)Id.
Lema 5.6. Assumindo que KM (γξ0 ∧E) ≥ κ para todo campo unitário paralelo
E ao longo de γξ perpendicular á γξ , onde ξ ∈ SN e κ ∈ R. Então
det Jξ (r) det Jξ (s)
1≥ ≥
j(r) j(s)
para todo 0 < r < s < tb (ξ), onde
j = (cs)
A desigualdade à esquerda é estrita, a menos que Rγ = κIγ em [0, r], a
desigualdade à direita é estrita, a menos que Rγ = κIγ em [0, s].
Teorema 5.7. Assumindo que KM (γξ0 ∧ E) ≥ κ para todo campo unitário
paralelo E ao longo de γξ perpendicular á γξ , onde ξ ∈ SN e κ ∈ R. Então
det Jξ (r) det Jξ (s)
1≥ ≥
j(h(ξ), r) j(h(ξ), s)
para todo 0 < r < s < tb (ξ), onde j = jm,n,κ e h(ξ) = hξ, ηi. A desigualdade
à esquerda é estrita, a menos que Rγ = κIγ em [0, r] e Sξ = −h(ξ)Id, A
desigualdade à direita é estrita, a menos que Rγ = κIγ em [0, s] e Sξ =
−h(ξ)Id.

Referências
[1] Manfredo Perdigão do Carmo , Geometria Riemanniana, 5◦ edição, Pro-
jeto Euclides, IMPA, (2015)
[2] Peter Petersen, Riemannian Geometry, Springer, (2006)
[3] Alfred Gray, Tubes, Springer Basel AG, (2004)
[4] Werner Ballmann, RICCATI EQUATION AND VOLUME ESTIMA-
TES, Max Planck Institute for Mathematics- Germany, (2016)