aplicaciones de la geometría algebraica -...
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/1.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/2.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/3.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/4.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/5.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/6.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/7.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/8.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/9.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/10.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/11.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/12.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/13.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/14.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/15.jpg)
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](https://reader030.vdocuments.mx/reader030/viewer/2022040713/5e1805e0c3dfbb748822c598/html5/thumbnails/16.jpg)
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