Computational Con Formal Geometry
Computational Con Formal Geometry
http://www.cs.sunysb.edu/gu p. 1/9
Definition of Manifold
A manifold of dimension n is a connected Hausdorfff space M for which every point has
a neighbourhood U that is homeomorphic to an open subset V of Rn . Such a
hemeomorphism
:U V
is called a coordinate chart. An atlas is a family of charts {U , } for which U
constitute an open covering of M .
S
U
R2 (U )
(U )
http://www.cs.sunysb.edu/gu p. 2/9
Differential Manifold
http://www.cs.sunysb.edu/gu p. 3/9
Differential Map
http://www.cs.sunysb.edu/gu p. 4/9
x y z
x y z z
,
,
), rv = (
,
,
),
), ru rv 6= 0,
u u u
v v v u
http://www.cs.sunysb.edu/gu p. 5/9
rv
ru
r(u0 , v0 )
r(u, v)
v
(u0 , v0 )
u
http://www.cs.sunysb.edu/gu p. 6/9
Different parameterizations
u(
u,
v)
u
u(
u,
v)
v
v(
u,
v)
u
v(
u,
v)
v
6= 0.
http://www.cs.sunysb.edu/gu p. 7/9
http://www.cs.sunysb.edu/gu p. 8/9
The first fundamental form of a surface S is invariant under the rigid motion of S.
http://www.cs.sunysb.edu/gu p. 9/9
ru rv
,
|ru rv |
(2)
(3)
http://www.cs.sunysb.edu/gu p. 10/9
normal curvature
w
r(u, v)
http://www.cs.sunysb.edu/gu p. 11/9
Normal curvature
k1 < 0
k2 > 0
k2 > 0
http://www.cs.sunysb.edu/gu p. 12/9
Gauss Map
Suppose S is a surface with parametric representation r(u, v), the normal vector at point
(u, v) is n(u, v), the mapping
g : S S 2 , r(u, v) n(u, v),
is called the Gauss map of S.
n
n
g
S2
http://www.cs.sunysb.edu/gu p. 13/9
Weingarten Transform
http://www.cs.sunysb.edu/gu p. 14/9
Principle Curvature
The eigen values of Weingarten transformation are called principle curvatures. The
eigen directions are called principle directions, namely
W(e1 ) = k1 e1 , W(e2 ) = k2 e2 ,
where e1 and e2 are unit vectors. Because Weingarten map is self conjugate, it is
symmetric. Therefore, the principle directions are orthogonal.
Suppose an arbitrary unit tangent vector v = cos e1 + sin e2 , then the normal
curvature along v is
kn (v) =< W(v), v >= cos2 k1 + sin2 k2 ,
therefore, normal curvature reaches its maximum and minimum at the principle
curvatures.
n
k2
n
k1
k2
k1
http://www.cs.sunysb.edu/gu p. 15/9
Weingarten Transformation
L
M
M
N
E
F
F
G
!1
1
EG F 2
LG M F
MG NF
M E LF
NE MF
x = u,
y = v,
z = 12 (k1 u2 + k2 v 2 ).
http://www.cs.sunysb.edu/gu p. 16/9
1
1 LG 2M F + N E
(k1 + k2 ) =
,
2
2
EG F 2
Dp
Area(g(D))
.
Area(D)
http://www.cs.sunysb.edu/gu p. 17/9
Gauss Equation
The first fundamental form E, F, G and the second fundamental form are not
independent, they satisfy the following Gauss equation
( E)v
( G)u
{(
)v + (
)u }
EG
G
E
1
( L )v
E
N
: ( )
u
G
( M )u
E
M
( )v
G
( E)v
N G
( G)u
L E
( G)u
M
EG
( E)v
M
EG
=0
=0
Discrete interpretation.
http://www.cs.sunysb.edu/gu p. 18/9
Suppose D is a planar domain, given functions E(u, v), F (u, v), G(u, v) and
L(u, v), M (u, v), N (u, v) satisfying the Gauss equation and Codazzi equations, then for
any (u, v) D, there exists a neighborhood U D, and a surface R(u, v) : U R3 ,
such that E, F, G and L, M, N are the first and the second fundamental forms of r.
http://www.cs.sunysb.edu/gu p. 19/9
Fundamental Theorem
Suppose D = {(u1 , u2 } is a planar region, = g du du and = b du du are
differential forms defined on D, (g ) and (b ) are symmetric, (g is positive definite.
b
Denote (g ) = (g )1 , b
, construct Christoffel symbols
=g
g
g
1 g
g {
+
}
2
u
u
u
Then consider the first order partial differential equation with r, r1 , r2 , n as unknowns,
8
>
<
>
:
r
u
r
u
n
u
= r ,
= r + b n,
= b r , , = 1, 2.
This partial differential equation is to solve the motion equations of the natural frame of
the surface. The sufficient and necessary conditions for the equation group to be
solvable (equivalent to Gauss Codazzi equations )are
r
( u
) =
r
( u
) =
n
( u
) =
( r ),
u u
r
(
),
u
u
( n )
u u
http://www.cs.sunysb.edu/gu p. 20/9
Isometry
u
=u
(u, v)
u
=u
(u, v)
then
ds2 (u, v) = d
s2 (
u, v).
namely,
!
E
F
F
G
= J
E
F
JT
, where J =
u
u
u
v
http://www.cs.sunysb.edu/gu p. 21/9
Tangent Map
du
dv
|t=0 = ru
(0) + rv (0) = aru + brv ,
dt
dt
dt
then
(t) is a curve on S,
(0) = (p), the tangent vector at t = 0 is
v
=
=
u
v
(0) =
u d
(0) +
v d
(0)
dt
dt
dt
u
u (a u
+ b vu )|t=0 +
v (a u
+ b v
)|t=0
Tangent vector tildev only depends on and v, and is independent of the choice of
curve .
T(p) S
v
= (v)
http://www.cs.sunysb.edu/gu p. 22/9
Tangent Map
(ru )
(rv )
u
u
u
v
ru
rv
= J
ru
rv
A bijection between surfaces S and S is an isometry if and only if for any two tangent
vectors v, w,
< (v), (w) >=< v, w > .
http://www.cs.sunysb.edu/gu p. 23/9
Conformal Map
http://www.cs.sunysb.edu/gu p. 24/9
Isothermal Coordinates
http://www.cs.sunysb.edu/gu p. 25/9
Gaussian curvature is
2
1 2
) ln
K = 2( 2 +
u
v 2
Mean curvature
1 2
2
)r
2Hn = 2 ( 2 +
u
v 2
http://www.cs.sunysb.edu/gu p. 26/9
Complex Representation
= (
i ),
= (
+i )
z
2 u
v z
2 u
v
then
4 2
ln .
K= 2
z z
http://www.cs.sunysb.edu/gu p. 27/9
Laplace Operator
S f =
The Green formula is
Z Z
Z Z
f S gdA +
U
< f, g > dA =
f
C
g
,
v
http://www.cs.sunysb.edu/gu p. 28/9
, H representation
1
< ru irv , ru irv
4
(
r , r > < rv , <r
< u u
=
=
>
>v > 2i < ru , rv >)
2
=
Hn.
2
http://www.cs.sunysb.edu/gu p. 29/9
, H representation
< rz , rzz >=< rz , rz z >= 0, < rzz , rz >= z , < nz , rz >= < rzz , n >= Q, < nz , rz =<
Therefore, the motion equation for the frame {rz , rz, n} is
8
>
<
rzz
>
:
rz z
nz
=
=
2
r
z z
2
Hn
2
+ Qn
Hrz 22 Qrz
Qz
|Q|2
2
H2
4
2
2
Hz
2
(Gauss equation)
(Codazzi equation)
http://www.cs.sunysb.edu/gu p. 30/9
, H representation
Given a planar domain D R2 , (u, v) are parameters, and 2 functions (u, v) and
H(u, v) satisfying Gauss-Codazzi equations, with appropriate boundary condition, then
there exists a unique surface S, such that, (u, v) is its isothermal parameter, H(u, v) is
its mean curvature function, and the surface first fundamental form is
ds2 = (u, v)2 (du2 + dv 2 ).
From Codazzi equation, Q can be reconstructed, then the motion equation of the natural
frame {rz , rz, n} can be solved out.
The quadratic differential form
= < rz , nz > dz 2 = Qdz 2
is called the Hopf differential. It has the following speical properties
If all points on a surface S are umbilical points, then Hopf differential is zero.
Surface S has constant mean curvature if and only if Hopf differential is
holomorphic quadratic differentials.
http://www.cs.sunysb.edu/gu p. 31/9
Isothermal Coordinates
http://www.cs.sunysb.edu/gu p. 32/9
Fundamental Group
Two continuous maps f1 , f2 : S M between manifolds S and M are homotopic, if
there exists a continuous map
F : S [0, 1] M
with
F |S0
F |S1
=
=
f1 ,
f2 .
we write f1 f2 .
http://www.cs.sunysb.edu/gu p. 33/9
fundamental group
Let i : [0, 1] S, i = 1, 2 be curves with
1 (0)
1 (1)
=
=
2 (0) = p0
2 (1) = p1
G|{1}[0,1] = p1 ,
G|[0,1]{1} = 2 .
we write 1 2 .
S
http://www.cs.sunysb.edu/gu p. 34/9
fundamental group
1 (2t)
2 (2t 1)
(t) :=
p0
f or t [0, 12 ]
f or t [ 12 , 1].
21
Figure 9: product of
two closed curves.
http://www.cs.sunysb.edu/gu p. 35/9
Fundamental Group
For any p0 M , the fundamental group 1 (M, _0) is the group of homotopy classes of
paths : [0, 1] M with (0) = (1) = p0 , i.e. closed paths with p0 as initial and
terminal point.
1 (M, p0 ) is a group with respect to the operation of multiplication of homotopy classes.
The identity element is the class of the constant path 0 p0 .
For any p0 , p1 M , the groups 1 (M, p0 ) and 1 (M, p1 ) are isomorphic.
If f : M N be a continuous map, and q0 := f (p0 ), then f induces a homomorphism
f : 1 (M, p0 ) 1 (N, q0 )
of fundamental groups.
http://www.cs.sunysb.edu/gu p. 36/9
36-1
For genus g closed surface, there exist canonical basis for 1 (M, p0 ), we write the basis
as {a1 , b1 , a2 , b2 , , ag , bg }, such that
ai aj = 0, ai bj = ij , bi bj = 0,
where represents the algebraic intersection number. Especially, through any point
p M , we can find a set of canonical basis for 1 (M ), the surface can be sliced open
along them and form a canonical fundamental polygon
b1
b2
a2
a2
b1
1
a1
2
a1
a1
1
b1
2
b2
b1
a1
http://www.cs.sunysb.edu/gu p. 37/9
Simplical Complex
k
X
i=0
i vi ,
k
X
i=0
i = 1, i 0},
v1
http://www.cs.sunysb.edu/gu p. 38/9
Simplicial Homology
i i , i Z.
The n dimensional chain space is a linear space formed by all the n chains, we denote k
dimensional chain space as Cn (K)
The boundary operator defined on a simplex is
n [v0 , v1 , , vn ] =
n
X
i=0
i i =
i n i
http://www.cs.sunysb.edu/gu p. 39/9
T2
S2
http://www.cs.sunysb.edu/gu p. 40/9
http://www.cs.sunysb.edu/gu p. 41/9
http://www.cs.sunysb.edu/gu p. 42/9
Simplicial Homology
kern
.
imgn+1
For example, two closed curves 1 , 2 are homologous if and only if their difference is a
boundary of some 2dimensional patch, 1 2 = 1 , S.
http://www.cs.sunysb.edu/gu p. 43/9
Simplicial Cohomology
=
=
(2 [v0 , v1 , v2 ])
([v0 , v1 ]) + ([v1 , v2 ]) + ([v2 , v0 ])
http://www.cs.sunysb.edu/gu p. 44/9
kerk
.
imgk1
http://www.cs.sunysb.edu/gu p. 45/9
Different one-forms
(f , g )
u
u
v
u
u
v
v
v
1
A
= (f , g )
http://www.cs.sunysb.edu/gu p. 46/9
Exterior Differentiation
1 2
=
=
=
f
0
2 1
The so called exterior differentiation operator d can be defined on differential forms, such
that
f
df (u, v)
= u
du + f
dv
v
d(1 2 ) = d1 2 + 1 d2
The exterior differential operator d is the generalization of curlex and divergence on
vector fields.
It can be verified that d d 0,e.g,
d df
f
d( u
du +
f
( vu
f
dv)
v
2
f
)dv
uv
du
http://www.cs.sunysb.edu/gu p. 47/9
Ker d
closed f orms
=
exact f orms
Img d
Two closed 1-forms 1 and 2 are cohomologous, if and only if the difference
between them is a gradient of some function f :
1 2 = df.
http://www.cs.sunysb.edu/gu p. 48/9
Two surfaces M and N with Riemannian metrics, ds2M and ds2N . Suppose (u, v) is a
local parameter of M , (
u, v) of N . A map : M N , represented as
(
u, v) = (u, v),
then the metrics on M and N are
ds2M
ds2N
=
=
d
u
d
v
du
dv
u
v
v
v
du
dv
http://www.cs.sunysb.edu/gu p. 49/9
E((u,
v))
F ((u, v))
F ((u, v))
G((u,
v))
du
dv
()
PHI
http://www.cs.sunysb.edu/gu p. 50/9
Conformal Map
Two surfaces M and N with Riemannian metrics, ds2M and ds2N . A map : M N is
conformal, if the pull back metric ds2N satisfies
ds2M = 2 ds2N ,
where is a positive function : M R+ .
http://www.cs.sunysb.edu/gu p. 51/9
Harmonic map
http://www.cs.sunysb.edu/gu p. 52/9
http://www.cs.sunysb.edu/gu p. 53/9
u
v
2
x
1z
2
y
1z
=
=
(x, y, z)
(u, v)
http://www.cs.sunysb.edu/gu p. 54/9
All the conformal map from sphere to sphere : S 2 S 2 form a 6 dimensional Mbius
group. Suppose S 2 is mapped to the complex plane using stereo-graphic projection.
Then each map can be represented as
(z) =
az + b
, ad bc = 1.0,
cz + d
az + b
, ad bc = 1.0,
cz + d
http://www.cs.sunysb.edu/gu p. 55/9
http://www.cs.sunysb.edu/gu p. 56/9
Mobius Transformation
http://www.cs.sunysb.edu/gu p. 57/9
Mobius Transformation
http://www.cs.sunysb.edu/gu p. 58/9
Analytic function
A function : C C
f : (x, y) (u, v)
=
=
v
y
v
x
http://www.cs.sunysb.edu/gu p. 59/9
Figure 18: w = z 2 .
http://www.cs.sunysb.edu/gu p. 60/9
Conformal Atlas
http://www.cs.sunysb.edu/gu p. 61/9
Conformal Structure
http://www.cs.sunysb.edu/gu p. 62/9
Riemann surface
http://www.cs.sunysb.edu/gu p. 63/9
Harmonic Function
E(f ) =
M
http://www.cs.sunysb.edu/gu p. 64/9
Harmonic one-form
http://www.cs.sunysb.edu/gu p. 65/9
Hodge Theorem
There exists a unique harmonic one-form in each cohomology class in H 1 (S, R).
http://www.cs.sunysb.edu/gu p. 66/9
Holomorphic one-forms
f (z )dz
f (z (z )) dz dz .
dz
dz
http://www.cs.sunysb.edu/gu p. 67/9
http://www.cs.sunysb.edu/gu p. 68/9
1 ,
is a harmonic 1-form
TAU
OMEGA
http://www.cs.sunysb.edu/gu p. 69/9
Zero Points
http://www.cs.sunysb.edu/gu p. 70/9
Holomorphic differentials
http://www.cs.sunysb.edu/gu p. 71/9
f (z )dz
2.
f (z (z ))( dz )2 dz
dz
dz
http://www.cs.sunysb.edu/gu p. 72/9
Holomorphic Trajectories
http://www.cs.sunysb.edu/gu p. 73/9
Trajectories
Figure 23: The red curves are the horizontal trajectories, the blue curves are vertical trajectories.
David Gu, Computer Science Department, Stony Brook University,
http://www.cs.sunysb.edu/gu p. 74/9
Finite Trajectories
http://www.cs.sunysb.edu/gu p. 75/9
If all the horizontal of a holomorphic quadratic form 2 are finite, then they are called
finite curve system.
The horizontal trajectories through zero points, and the zero points form the so called
critical graph.
If the critical graph is finite, then the curve system is finite.
http://www.cs.sunysb.edu/gu p. 76/9
http://www.cs.sunysb.edu/gu p. 77/9
Decomposition Theorem
Z p
p
dz.
p0
http://www.cs.sunysb.edu/gu p. 78/9
Decomposition
Figure 25: Critical graph of a finite curve system will partition the surface to topological disks,
each segment is conformally mapped to a parallelogram.
David Gu, Computer Science Department, Stony Brook University,
http://www.cs.sunysb.edu/gu p. 79/9
Decomposition
Figure 26: Critical graph of a finite curve system will partition the surface to topological disks,
each segment is conformally mapped to a parallelogram.
David Gu, Computer Science Department, Stony Brook University,
http://www.cs.sunysb.edu/gu p. 80/9
Decomposition
Figure 27: Critical graph of a finite curve system will partition the surface to topological disks,
each segment is conformally mapped to a parallelogram.
David Gu, Computer Science Department, Stony Brook University,
http://www.cs.sunysb.edu/gu p. 81/9
Different parallelograms are glued together along their edges, and different patches are
met at the zero points. The edges and zero points form the critical points.
http://www.cs.sunysb.edu/gu p. 82/9
http://www.cs.sunysb.edu/gu p. 83/9
http://www.cs.sunysb.edu/gu p. 84/9
http://www.cs.sunysb.edu/gu p. 85/9
http://www.cs.sunysb.edu/gu p. 86/9
http://www.cs.sunysb.edu/gu p. 87/9
Applications
http://www.cs.sunysb.edu/gu p. 88/9
http://www.cs.sunysb.edu/gu p. 89/9
http://www.cs.sunysb.edu/gu p. 90/9
Manifold Spline
http://www.cs.sunysb.edu/gu p. 91/9
Manifold Spline
http://www.cs.sunysb.edu/gu p. 92/9
Manifold TSpline
http://www.cs.sunysb.edu/gu p. 93/9
Surface Matching
http://www.cs.sunysb.edu/gu p. 94/9
Surface Matching
http://www.cs.sunysb.edu/gu p. 95/9
Texture Synthesis
http://www.cs.sunysb.edu/gu p. 96/9
Texture Synthesis
http://www.cs.sunysb.edu/gu p. 97/9