Real Surfaces

39
Superficies en R 4 Bibliografía Superficies en R 4 Gema R. Quintana Portilla Trabajo dirigido en “Matemática Fundamental” Julio de 2008 Gema R. Quintana Portilla Superficies en R 4

description

Presentation of my master's thesis. It was for getting the Máster en Matemáticas y Computación at Universidad de Cantabria

Transcript of Real Surfaces

Page 1: Real Surfaces

Superficies en R4

Bibliografía

Superficies en R4

Gema R. Quintana Portilla

Trabajo dirigido en “Matemática Fundamental”Julio de 2008

Gema R. Quintana Portilla Superficies en R4

Page 2: Real Surfaces

Superficies en R4

Bibliografía

Superficies de R3

Consideramos las superficies:EsferaToro de revoluciónCilindro

Heredan la métrica de R3

Geometría intrínseca: primera forma fundamental, curvatura deGauss, geodésicas, longitudes y áreasGeometría extrínseca: segunda forma fundamental, curvaturasprincipales, curvatura mediaToda la geometría de las superficies de R3 está regida por{fu, fv, n = fu×fv

‖fu×fv‖}

Gema R. Quintana Portilla Superficies en R4

Page 3: Real Surfaces

Superficies en R4

Bibliografía

Superficies de R3

Esfera.Consideramos la parametrización de S2:

x(u, v) = (cosu cos v, sinu cos v, sin v) u ∈ [0, 2π); v ∈[−π

2,π

2

)

Tiene curvatura de Gauss 1La suma de los ángulos es mayorque π y el área es el excesoesférico.

Gema R. Quintana Portilla Superficies en R4

Page 4: Real Surfaces

Superficies en R4

Bibliografía

Superficies de R3

Cilindro.Parametrizamos el cilindro como :

x(u, v) = (r cosu, r sinu, v) u ∈ [0, 2π), v ∈ R, r = cte ∈ R

Tiene curvatura de Gauss nula.Es localmente isométrico al plano.

Gema R. Quintana Portilla Superficies en R4

Page 5: Real Surfaces

Superficies en R4

Bibliografía

Superficies de R3

Toro de revolución.Sea la parametrización del toro:

x(u, v) = (cosu(a+ r cos v), sinu(a+ r cos v), r sin v)

u, v ∈ [0, 2π), a, r > 0

La curvatura de Gauss del toro esK = cos v

r(a+r cos v)

Gema R. Quintana Portilla Superficies en R4

Page 6: Real Surfaces

Superficies en R4

Bibliografía

Superficies abstractas

Plano hiperbólico.Consideramos el modelo del semiplano de Poincaré:

H2 = {(x1, x2) ∈ R2 : x2 > 0}

Dotado de la métrica:

g11 =1x2

2

; g12 = g21 = 0; g22 =1x2

2

La curvatura de Gauss es -1Localmente isométrico a lapseudoesfera

Gema R. Quintana Portilla Superficies en R4

Page 7: Real Surfaces

Superficies en R4

Bibliografía

Superficies abstractas

Plano estereográfico.Se obtiene al considerar la esfera S2 ⊂ R3 agujereada en elpolo norte dotada de su estructura geométrica habitual y R2

con la métrica heredada de la esfera vía proyecciónestereográfica.

Tiene curvatura de Gauss 1Las distancias iguales “no pareceniguales”

Gema R. Quintana Portilla Superficies en R4

Page 8: Real Surfaces

Superficies en R4

Bibliografía

Superficies abstractas

No heredan la métrica de R3

Su definición engloba la métrica: son variedadesriemannianasTodos los conceptos intrínsecos se definen a partir de ella(curvatura de Gauss, geodésicas...)

Gema R. Quintana Portilla Superficies en R4

Page 9: Real Surfaces

Superficies en R4

Bibliografía

Superficies de R4

Consideramos las superficies:Plano proyectivo realBotella de KleinToro de Clifford

Son subvariedades diferenciables de R4.

Gema R. Quintana Portilla Superficies en R4

Page 10: Real Surfaces

Superficies en R4

Bibliografía

Superficies de R4

Plano proyectivo real.Se define S2/ ∼, donde la relación de equivalencia ∼ en S2

está dada porp ∼ p′ si p′ = −p

Es localmente isométrico a S2

No admite embedding en R3

Admite un embedding isométrico en R5

Gema R. Quintana Portilla Superficies en R4

Page 11: Real Surfaces

Superficies en R4

Bibliografía

Superficies de R4

Toro de Clifford.Se define como S1 × S1 ⊂ R4 con la métrica heredada. Sea lasiguiente parametrización:

x(u, v) = (cosu, sinu, cos v, sin v), u, v ∈ [0, 2π)

La curvatura de Gauss es K = 0Es localmente isométrico al plano

Gema R. Quintana Portilla Superficies en R4

Page 12: Real Surfaces

Superficies en R4

Bibliografía

Superficies de R4

Botella de Klein.Es el cociente de R2 por la relación de equivalencia:

(x′, y′) ∼ (x, y) si x′ = x, y′ = y + 2π o x′ − x = 2π, y′ = 2π − y

Es no orientableAdmite una inmersión isométrica en R4

Gema R. Quintana Portilla Superficies en R4

Page 13: Real Surfaces

Superficies en R4

Bibliografía

Superficies de R4

Es fácil obtener ejemplos de superficies de R4:Grafos de funciones holomorfasEsferas anudadas

Gema R. Quintana Portilla Superficies en R4

Page 14: Real Surfaces

Superficies en R4

Bibliografía

Inmersión de superficies

Teorema (Whitney)Toda variedad diferenciable de dimensión n admite unembedding regular en R2n.

Teorema (Gromov)Toda superficie riemanniana compacta admite un embeddingisométrico en R10.

Gema R. Quintana Portilla Superficies en R4

Page 15: Real Surfaces

Superficies en R4

Bibliografía

Índice general

Geometría de superficies en R3

Geometría intrínseca. Variedades riemannianasGeometría extrínseca

ConexiónSuperficies en R4

Gema R. Quintana Portilla Superficies en R4

Page 16: Real Surfaces

Superficies en R4

Bibliografía

Segundas formas fundamentales

Sea S = r(u1, u2), (u1, u2) ∈ D ⊂ R2 una superficie en R4. Seap ∈ S, sea {e1, e2} una base de TpM y sea {n1, n2} base de(TpS)⊥ = NpS.

DefiniciónSe definen las correspondientes segundas formasfundamentales como:

IIσ = Lσ11(du1)2 + 2Lσ12du

1du2 + Lσ22(du2)2, σ = 1, 2.

Matricialmente:

Lσ = (Lσij) =(Lσ11 Lσ12

Lσ21 Lσ22

), σ = 1, 2

Donde Lσij = nσ · ruiuj

Gema R. Quintana Portilla Superficies en R4

Page 17: Real Surfaces

Superficies en R4

Bibliografía

Vector de curvatura normal

DefiniciónSea p ∈ S y sea τ ∈ TpS se llama vector curvatura normal enla dirección τ , kN (τ) ∈ NpS, a

kN (τ) = II1(τ, τ)n1 + II2(τ, τ)n2

En cada punto p ∈M tenemos la aplicación diferenciable:

(kN )p : S1 ⊂ TpS → NpS

La imagen de S1 por esta aplicación se denomina indicatriz decurvatura normal.

Gema R. Quintana Portilla Superficies en R4

Page 18: Real Surfaces

Superficies en R4

Bibliografía

Elipse de curvatura normal

TeoremaLa indicatriz de curvatura normal es una elipse denominadaelipse de curvatura normal.

Idea de la demostración.Sea p ∈ S. Sea τ = (cos θ, sin θ) ∈ S1 y sea γ(s) una curvaparametrizada por la longitud de arco tal que el vector tangenteen p es τ . Geométricamente (kn)p(τ) es la proyección delvector de curvatura d2γ

ds2sobre NpM .

Se tiene que:

(kn)p(τ) = (L111 cos2 θ + 2L1

12 cos θ sin θ + L122 sin2 θ)n1+

(L211 cos2 θ + 2L2

12 cos θ sin θ + L222 sin2 θ)n2

Gema R. Quintana Portilla Superficies en R4

Page 19: Real Surfaces

Superficies en R4

Bibliografía

Elipse de curvatura normal

Esto lo podemos expresar matricialmente:

(kN −H)(θ) =(

12(L1

11 − L122) L1

1212(L2

11 − L222) L2

12

)(cos 2θsin 2θ

)donde H = 1

2(L111 + L1

22)n1 + 12(L2

11 + L222)n2.

Así tenemos definida una transformación afín de matriz: 1 0 00 L1

11 − L122 L1

12

0 L211 − L2

22 L212

Gema R. Quintana Portilla Superficies en R4

Page 20: Real Surfaces

Superficies en R4

Bibliografía

Elipse de curvatura normal

Por tanto, la imagen de S1 es una elipse en el plano normal a Sen p.

NotaLa elipse de curvatura normal puede degenerar en unsegmento de recta o en un punto.

Gema R. Quintana Portilla Superficies en R4

Page 21: Real Surfaces

Superficies en R4

Bibliografía

Vector de curvatura media

DefiniciónSe define el vector de curvatura media como

H =12(L1

11 + L122)n1 +

12(L2

11 + L222)n2

Es decir, suscoordenadas en el planonormal afín a S en p sonlas del centro de la elipsede curvatura normal.

Gema R. Quintana Portilla Superficies en R4

Page 22: Real Surfaces

Superficies en R4

Bibliografía

Aplicaciones de la elipse de curvatura normal.

La elipse de curvatura normal permite caracterizar propiedadesgeométricas de la superficie como:

Estar contenida en un hiperplanoEstar contenida en una esfera

Gema R. Quintana Portilla Superficies en R4

Page 23: Real Surfaces

Superficies en R4

Bibliografía

Aplicaciones de la elipse de curvatura normal.

TeoremaSupongamos que la indicatriz de curvatura normal de lasuperficie S ⊂ R4 es degenerada consistiendo en un segmentopasando por p para cada p ∈ S. Si la curvatura de Gausssatisface que K 6= 0 en todos los puntos de S entonces S estácontenida en algún hiperplano de R4.

Gema R. Quintana Portilla Superficies en R4

Page 24: Real Surfaces

Superficies en R4

Bibliografía

Aplicaciones de la elipse de curvatura normal.

TeoremaSi una superficie S está contenida en una esfera de radio R deR4, entonces en cada punto p la elipse de curvatura normaldegenera en un segmento a distancia β = 1

R de p.Recíprocamente, si en cada punto p la elipse de curvaturanormal degenera en un segmento a distancia β de p y lacurvatura de Gauss es distinta de β2, entonces S estácontenida en la esfera de radio 1

β .

Gema R. Quintana Portilla Superficies en R4

Page 25: Real Surfaces

Superficies en R4

Bibliografía

Aplicaciones de la elipse de curvatura normal.

Una superficie se dice minimal si el vector de curvatura mediaes nulo en todo punto.Esto es equivalente a que la elipse de curvatura media en ptenga su centro en el propio p para todo p punto de S.

Gema R. Quintana Portilla Superficies en R4

Page 26: Real Surfaces

Superficies en R4

Bibliografía

Aplicaciones de la elipse de curvatura normal.

TeoremaEl grafo de una función analítica f : C→ C es una superficiereal de R4 que satisface la siguiente condición: para todo puntop la elipse de curvatura normal es una circunferencia centradaen el propio p.

Consecuencia: los grafos de las funciones analíticas sonsuperficies minimales.Idea de la demostración:Consideramos la función holomorfaF (u+ iv) = f(u, v) + ig(u, v) como superficie de R4. Es decir,tenemos la parametrización:

r(u, v) = (u, v, f(u, v), g(u, v))

Gema R. Quintana Portilla Superficies en R4

Page 27: Real Surfaces

Superficies en R4

Bibliografía

Aplicaciones de la elipse de curvatura normal.

Las derivadas de la parametrización son:ru = (1, 0, fu,−fv)rv = (0, 1, fv, fu)ruu = (0, 0, fuu,−fuv)ruv = (0, 0, fuv, fuu)rvv = (0, 0, fvv, fuv)

Por tanto, una base del plano normal vendrá dada por:n1 = (fv,−fu, 0, 1)n2 = (−fu,−fv, 1, 0)

Gema R. Quintana Portilla Superficies en R4

Page 28: Real Surfaces

Superficies en R4

Bibliografía

Aplicaciones de la elipse de curvatura normal.

Los coeficientes de las segundas formas fundamentales son:

L111 = −fuv, L1

12 = fuu, L122 = fuv

L211 = fuu, L

212 = fuv, L

222 = −fuu

De donde se sigue que H = ~0, y que el vector curvaturanormal, en el punto p de la superficie, para τ = (cos θ, sin θ) es:

kN (τ) = (−fuv cos 2θ + fuu sin 2θ)n1+(fuu cos 2θ + fuv sin 2θ)n2

Luego la elipse de curvatura normal es una circunferencia decentro p y radio

√f2uv + f2

uu

Gema R. Quintana Portilla Superficies en R4

Page 29: Real Surfaces

Superficies en R4

Bibliografía

Toro de Clifford

Consideramos el toro S1 × S1 ⊂ R4 con la métrica heredada.Parametrización:

x(u, v) = (cosu, sinu, cos v, sin v), u, v ∈ [0, 2π)

Derivadas de la parametrización:xu = (− sinu, cosu, 0, 0);xv = (0, 0,− sin v, cos v);xuu = (− cosu,− sinu, 0, 0);xvv = (0, 0,− cos v,− sin v);xuv = (0, 0, 0, 0).

Gema R. Quintana Portilla Superficies en R4

Page 30: Real Surfaces

Superficies en R4

Bibliografía

Toro de Clifford

Base del plano normal:

n1 = (cosu, sinu, 0, 0), n2 = (0, 0, cos v, sin v)

Coeficientes de las segundas formas fundamentales:

L111 = −1, L1

12 = 0, L122 = 0

L211 = 0, L2

12 = 0, L222 = −1

Vector de curvatura normal para τ = (τ1, τ2), unitario:

kN (τ) = −(τ1)2n1 − (τ2)2n2

Vector de curvatura media:

H = −12(n1 + n2)

Gema R. Quintana Portilla Superficies en R4

Page 31: Real Surfaces

Superficies en R4

Bibliografía

Toro de Clifford

Conclusiones:La elipse de curvatura normal degenera en un segmentode extremos (−1, 0) y (0,−1)El toro de Clifford está contenido en una esfera de radio

√2

No es una superficie minimal de R4, pero sí de la esfera enque está contenido

Gema R. Quintana Portilla Superficies en R4

Page 32: Real Surfaces

Superficies en R4

Bibliografía

Función analítica

Consideramos el grafo de la función analítca f(z) = z2 comosuperficie de R4. Sea la parametrización:

r(u, v) = (u, v, u2 − v2, 2uv), u, v ∈ R

Derivadas de la parametrización:ru = (1, 0, 2u, 2v);rv = (0, 1,−2v, 2u);ruu = (0, 0, 2, 0);rvv = (0, 0,−2, 0);ruv = (0, 0, 0, 2).

Gema R. Quintana Portilla Superficies en R4

Page 33: Real Surfaces

Superficies en R4

Bibliografía

Función analítica

Coeficientes de las segundas formas fundamentales:

L111 = 0, L1

12 = −2, L122 = 0

L211 = −2, L2

12 = 0, L222 = 2

Respecto de la base:

n1 = (2v, 2u, 0,−1), n2 = (−2u, 2v,−1, 0)

Vector de curvatura normal, τ = (cos θ, sin θ):

kN (τ) = 2 sin 2θn1 − 2 cos 2θn2

Vector de curvatura media: H = ~0

Gema R. Quintana Portilla Superficies en R4

Page 34: Real Surfaces

Superficies en R4

Bibliografía

Función analítica

Conclusiones:es una superficie minimalla elipse de curvatura normal es una circunferencia concentro en p y radio 2

Gema R. Quintana Portilla Superficies en R4

Page 35: Real Surfaces

Superficies en R4

Bibliografía

Resumen

Gema R. Quintana Portilla Superficies en R4

Page 36: Real Surfaces

Superficies en R4

Bibliografía

Bibliografía

W. Klingenberg.Curso de Geometría Diferencial.Ed. Alhambra S.A., Madrid (1978).

B. O’Neill.Elementos de Geometría Diferencial.Limusa-Wiley S.A., México (1972).

J.G. Pérez.Variedades y Geometría: un curso breve.Ed. U.A.M., Madrid (2005).

M.P. Do Carmo.Geometría Diferencial de Curvas y Superficies.Alianza(1990).

Gema R. Quintana Portilla Superficies en R4

Page 37: Real Surfaces

Superficies en R4

Bibliografía

Bibliografía

R.W.R. Darling.Differential forms and Connections.Cambridge University Press, N. Y. (1994).

S. Kobayasi, K. Nomizu.Foundations of Differential Geometry.J.Wiley (1969).

Gema R. Quintana Portilla Superficies en R4

Page 38: Real Surfaces

Superficies en R4

Bibliografía

Bibliografía

J.A. Little.On singularities of submanifolds of higher dimensionalEuclidean spaces.Ann. Mat. Pura Appl. (4) 83 (1969) 261-335.

Yu. Aminov.The Geometry of the Submanifolds.Taylor and Francis Group, FL (2001).

Q. Han, J.X. Hong.Isometric Embedding of Riemannian Manifolds inEuclidean Spaces.AMS, USA (2006).

Gema R. Quintana Portilla Superficies en R4

Page 39: Real Surfaces

Superficies en R4

Bibliografía

La geometría de las superficies de R4 admite varias líneas deinvestigación activas:

El estudio de las propiedades similares y de las diferentesal caso de espacio ambiente tridimensionalLa generalización a subvariedades de codimensión dos omayorEl estudio de la influencia que las estructuras compleja ysimpléctica de R4 (visto como C2) producen en todasuperficie de R4

Gema R. Quintana Portilla Superficies en R4