Extrinsic
Curvature |

**In General** > s.a. curvature; Willmore Surface.

$ __Def__: Given an (*n*–1)-dimensional
hypersurface Σ in an *n*-dimensional manifold *M*, its extrinsic curvature or second fundamental form,
is the rate of change of the unit normal *n*^{a} to Σ,

*K*_{ab}:= *q*_{a}^{m}
∇_{m}*n*_{b} ≡ \({1\over2}{\cal L}\)_{n}* q*_{ab} = \(1\over2\)*N*^{–1} (\(\dot q\)_{ab} – \(\cal L\)_{N}* q*_{ab})
,

or simply ∇_{a} *n*_{b}
if *n*^{a} is the unit tangent to the geodesics
normal to Σ.

* __Meaning__: The tensor *K*_{ab}
has information on the the metric intrinsic to the surface, as well as on the curvature due to the embedding of
the surface; It is like the "acceleration" of a surface.

* __Applications__: Used
as variable in the initial-value formulation of gravity
theories, and in boundary terms for the action; > s.a. Gauss-Codazzi Equations; action and
initial-value formulation of general relativity.

> __Online resources__: see Wikipedia page.

**Trace of the Extrinsic Curvature** > s.a. time in gravity [York time].

$ __Def__: Defined by *K*:=
*q*^{ab}*K*_{ab}.

* __Properties__: It satisfies

∫_{∂(M)} *K* d*S* =
(∂/∂*n*) ∫_{}_{∂(M)} d*S* .

**Generalizations** > s.a. embeddings.

* __Higher codimension__: For a submanifold *N* of codimension *k* > 1,
it can be generalized to

*K*_{ab}^{c}:= *K*_{ab}^{(i)} *e*_{(i)}^{c} ,

where *e*_{(i)}^{c}, with *i* =
1, ..., *k*, are orthonormal vectors normal to *N*.

**Extremal Surface** > s.a. Bubbles;
foliations;
Hypersurface.

$ __Def__: A hypersurface
in a manifold such that tr *K* = 0, with *K* the extrinsic curvature.

* __In R__^{3}:
Infinite minimal non-intersecting 2-surfaces, solutions to the Plateau problem (finding the surface
of least area that spans a given rigid boundary curve); The plane, catenoid, and helicoid
have been known for a long time; A new, countably infinite
family has been found by D Hoffman and W Meeks, with surfaces that are
homeomorphic to a sphere with three holes and one or more handles (computers were used for visualization).

* __Applications__: Soap bubbles.

* __Lorentzian manifolds__: A
necessary condition for a globally hyperbolic spacetime \(\mathbb R\) × Σ to
admit a maximal slice is that the Cauchy slice Σ admit
a metric with non-negative scalar curvature, *R* ≥ 0;
Most Σ do not admit such metrics, for topological reasons.

@ __General references__: Kanigel ThSc(93)may.

@ __Riemannian manifolds__: Pitts 81; Colding & Minicozzi AM(04),
AM(04),
Meeks et al JDG(04)
[3D, finite genus]; Collin et al JDG(04);
Meeks & Rosenberg JDG(04);
Cecil JCP(05)
[numerical, arbitrary dimension]; Frohman & Meeks AM(08)
[in \(\mathbb R\)^{3}, classification]; Tråsdahl & Rønquist JCP(11) [high-order numerical approximations]; Meeks & Pérez BAMS(11) [classical theory of minimal surfaces];
Mahadevan PRS(12) [minimal surfaces bounded by elastic lines];
López 13
[surfaces of constant mean curvature with boundary].

@ __Lorentzian manifolds__: Cantor et al CMP(76);
Marsden & Tipler PRP(80);
Brill in(83);
Bartnik CMP(84),
in(84), et al CMP(90);
Chruściel & Wald
CMP(94)
[stationary]; Burnett & Rendall CQG(96)gq/95 [spherically
symmetric]; Aledo et al JGP(07)
[2+1, positive definite *K*_{ab}];
López JGP(07)
[constant mean curvature surfaces in Minkowski]; Witt a0908 [topological
obstructions]; Anciaux 10.

@ __Maximal slicings of spacetimes__: Cordero-Carrión et al
JPCS(10)-a1003 [spherically symmetric, local existence].

@ __Spacetimes without extremal surfaces__: Witt PRL(86)
[vacuum].

main page – abbreviations – journals – comments – other
sites – acknowledgements

send feedback and suggestions to bombelli at olemiss.edu – modified 7
jun 2016