aplicaciones de la geometría algebraica -...

16
Aplicaciones de la Geometr´ ıa Algebraica Abraham Mart´ ın del Campo CONACYT – CIMAT 20 de febrero de 2018

Upload: others

Post on 21-Oct-2019

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Aplicaciones de la Geometrıa Algebraica

Abraham Martın del Campo

CONACYT – CIMAT

20 de febrero de 2018

Page 2: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 2

Page 3: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 2

Page 4: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 2

Sea M = V(x4 + y4 − 1) y u = (0.2,0.7)

who is the point p ∈ M closest to u?

Page 5: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 2

Sea M = V(x4 + y4 − 1) y u = (0.2,0.7)

who is the point p ∈ M closest to u?

Encontramos los puntos crıticos:(.20249, .999579), (.21752, -.99944), (.600555, -.965761), (-.761301, -.902727)

Page 6: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 2

Sea M = V(x4 + y4 − 1) y u = (0.2,0.7)

who is the point p ∈ M closest to u?

Seleccionamos el que este a menor distancia:(.20249, .999579), (.21752, -.99944), (.600555, -.965761), (-.761301, -.902727)

Page 7: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 3

DefinicionDado un u ∈ Rn, un punto crıtico de du(x) es un punto p ∈ Rn tal que

p ∈ Mreg and ∇du(p) ⊥ TpM

Nuestro algoritmo

1. Encontrar un punto crıtico.

2. Utilizar lazos aleatorios para explorar la fibra.

3. El test de la traza para saber cuando detenerse.

Page 8: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 4

3. Test de la Traza

Despues de r lazos aleatorios (paso 2), obtenemos un conjuntoSr = {p∗1, . . . ,p∗r } de puntos crıticos (no necesariamente diferentes).

Pregunta

Se tiene en general que Sr−1 ⊆ Sr ⊆ S,

¿Pero cuando se tiene Sr = S?

Page 9: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 4

3. Test de la Traza

Teorema (Sommese-Verschelde-Wampler ’03)

La traza de M con respecto a Lt es una funcion lineal en t. Aun mas,la suma de coordenadas de cualquier subconjunto propio de Lt ∩Mno es lineal en t.

Sea M una variedad irreducible de codimension k y de grado D. Lainterseccion de un plano k -dimensional L generico con M consta de Dpuntos:

M ∩ L = {q1, . . . ,qD}.

La traza de estos puntos es la suma coordenada a coordenada.

Page 10: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 4

3. Test de la Traza

Teorema (Sommese-Verschelde-Wampler ’03)

La traza de M con respecto a Lt es una funcion lineal en t. Aun mas,la suma de coordenadas de cualquier subconjunto propio de Lt ∩Mno es lineal en t.

Sea M = V(y − x2) y Lt = 2x − 4y + t .Cuando t = −1, se tiene que

M ∩ Lt = {(0.309,0.0954), (−0.809,0.6546)}

y la traza

tr(M ∩ Lt) = (−0.5,0.75).

Page 11: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 4

3. Test de la Traza

Teorema (Sommese-Verschelde-Wampler ’03)

La traza de M con respecto a Lt es una funcion lineal en t. Aun mas,la suma de coordenadas de cualquier subconjunto propio de Lt ∩Mno es lineal en t.

Sea M = V(y − x2) y Lt = 2x − 4y + t .Cuando t = −3, se tiene que

M ∩ Lt = {(0.651,0.4243), (−1.151,1.3257)}

y la traza

tr(M ∩ Lt) = (−0.5,1.75).

Page 12: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 4

3. Test de la Traza

Teorema (Sommese-Verschelde-Wampler ’03)

La traza de M con respecto a Lt es una funcion lineal en t. Aun mas,la suma de coordenadas de cualquier subconjunto propio de Lt ∩Mno es lineal en t.

Sea M = V(y − x2) y Lt = 2x − 4y + t .En general,

M ∩ Lt ={(−1±

√1−4t

4 , 1−2t±√

1−4t8

)}y la traza

tr(X ∩ Lt) =(−1

2 ,1−2t

4

).

Page 13: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 5

¿Cuantos puntos crıticos son reales?

Una vez que hemos encontrado todos los puntos crıticos (sobre Cn)para un u, podemos encontrar todos los puntos crıticos para otro u′

usando homotopıas de parametros.

Para u ⇒ generico, hay 16 puntoscrıticos sobre C

Para (0.2,0.7)⇒ 4 realesPara (0.4,0.2)⇒ 6 realesTambien se tienen 8 y 2 reales

Page 14: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 5

¿Cuantos puntos crıticos son reales?

Una vez que hemos encontrado todos los puntos crıticos (sobre Cn)para un u, podemos encontrar todos los puntos crıticos para otro u′

usando homotopıas de parametros.

Para u ⇒ generico, hay 16 puntoscrıticos sobre C

Para (0.2,0.7)⇒ 4 reales

Para (0.4,0.2)⇒ 6 realesTambien se tienen 8 y 2 reales

Page 15: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 5

¿Cuantos puntos crıticos son reales?

Una vez que hemos encontrado todos los puntos crıticos (sobre Cn)para un u, podemos encontrar todos los puntos crıticos para otro u′

usando homotopıas de parametros.

Para u ⇒ generico, hay 16 puntoscrıticos sobre C

Para (0.2,0.7)⇒ 4 realesPara (0.4,0.2)⇒ 6 reales

Tambien se tienen 8 y 2 reales

Page 16: Aplicaciones de la Geometría Algebraica - enjim.matem.unam.mxenjim.matem.unam.mx/images/2018/pdf/Abraham_Martin.pdf · Abraham Mart´ın del Campo (CIMAT) Aplicaciones de la Geometr´ıa

Abraham Martın del Campo (CIMAT) Aplicaciones de la Geometrıa Algebraica 5

¿Cuantos puntos crıticos son reales?

Una vez que hemos encontrado todos los puntos crıticos (sobre Cn)para un u, podemos encontrar todos los puntos crıticos para otro u′

usando homotopıas de parametros.

Para u ⇒ generico, hay 16 puntoscrıticos sobre C

Para (0.2,0.7)⇒ 4 realesPara (0.4,0.2)⇒ 6 realesTambien se tienen 8 y 2 reales