Coloquio de orientación matemática-talk
-
Upload
rogelio-yoyontzin-perez-buendia -
Category
Documents
-
view
686 -
download
1
Transcript of Coloquio de orientación matemática-talk
![Page 1: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/1.jpg)
Cuando La Teoría De Números Se Encuentra Con La Geometría Algebraica
Una Invitación A La GeometrÍa Aritmética Vía Las Conjeturas De Weil
Dr. J. Rogelio (Yoyontzin) Pérez Buendía
CIMAT - Guanajuato
![Page 2: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/2.jpg)
Pero ¿qué es la Geometría Algebraica?
Geometría Analítica:
Lineay = mx+ b
Círculox
2 + y
2 = r
2
![Page 3: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/3.jpg)
y = mx+ b
x
2 + y
2 = r
2
Resolver el sistema:
x
2 + (mx+ b)2 = r
2
{x
2 + (2mb)x+ (b2 � r
2) = 0
x1
x2
![Page 4: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/4.jpg)
Polinomios y su GeometríaEn una variable:
Dos variables:
Tres variables:
Atributos:
x
3 � x+ 4
2x5 � 3xy2 + y
3
x
5 � y
7 + x
2z
8 � xyz + 2
• El número de variables, • Los coeficientes, • El grado • …
![Page 5: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/5.jpg)
En general uno puede usar n variables, en cuyo caso estas son frecuentemente denotadas: x1, . . . , xn
f(x1, . . . , xn) = f(X)
Funciones polinomiales son el único tipo de funciones con las que las computadoras pueden trabajar
![Page 6: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/6.jpg)
Ceros de Polinomios
Ceros de
Ceros de
Ceros comunes:
x
2 + y
2 � r
2 = 0
y �mx� b = 0
2x2 + 3y2 � z
2 � 7 = 0
z � x� y = 0{
![Page 7: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/7.jpg)
Conjuntos Algebraicos
Definición:
Al conjunto de ceros comunes de un sistema de ecuaciones polinomiales, en cualquier número de variables lo llamamos Conjunto Algebraico.
A veces también les decimos variedades algebraicas.
![Page 8: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/8.jpg)
¿Geometría en muchas dimensiones?
Esfera en el espacio de 5 dimensiones:
x
21 + x
22 + x
23 + x
24 + x
25 � r
2 = 0,
La importancia de la geometría algebraica se deriva de la notable
interacción entre el álgebra y la geometría y la frecuencia con la
que esto ocurre.
![Page 9: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/9.jpg)
¡La Mayoría de las formas son Algebraicas!
Rectas
Planos
Elipses
Hipérbolas
Hiperboloides
Paraboloides
Elipsoides
• Concoide de Durero
![Page 10: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/10.jpg)
No toda figura es algebraica
Se puede describir con polinomios:
0 x a y � y b
• No se puede describir con polinomios
y = sin(x)
![Page 11: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/11.jpg)
Aproximación Polinomial
sin(x) ' x� 1
6x
3 +1
20x
5 � 1
540x
7
• Polinomio de Taylor de grado 7:
![Page 12: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/12.jpg)
Teorema de NashTeorema:Toda figura geométrica “razonable” es algebraica si ignoramos lo que pasa lejos del origen.
• ¿Qué es razonable? Fracases NO. Las formas “amables” es lo que se conoce por manifold (variedad diferenciable)
![Page 13: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/13.jpg)
Códigos y Geometrías FinitasEl cono doble:
x
2 + y
2 = z
2
• Ternas Pitagóricas
(3, 4, 5) y (5, 12, 13).
x
y
z
![Page 14: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/14.jpg)
CódigosPongamos tensión en la paridad de
La ecuación módulo 2 tiene cuatro soluciones: (0,0,0); (0,1,1); (1,0,1); (1,1,0)
x
2 + y
2 = z
2
3
2+ 15
2y 4
2son ambos pares
3
2+ 15
2 ⌘ 4
2(mod 2)
Fue una sorpresa cuando se descubrió que usando polinomios y sus soluciones módulo 2 es una excelente -posiblemente la mejor- manera de construir códigos correctores de errores.
![Page 15: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/15.jpg)
Espacios Tridimensionales3 - Espacio de Fano:
Es el espacio tridimensional sobre el campo con 2 elementos
tiene 15 puntos, 35 rectas y 15 planos.
Podríamos trabajar módulo cualquier entero: Si trabajando módulo 7, tenemos 0,1,2,3,4,5,6 como posibles coordenadas, y entonces un
espacio tridimensional módulo 7 tiene 343 puntos.
![Page 16: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/16.jpg)
Puntos Reales vs Puntos Complejos
Los puntos reales de la recta y sus puntos complejos:
![Page 17: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/17.jpg)
Espacio ProyectivoLos puntos de están representados por (n+1)-ádas de coordenadas homogéneas no todas nulas tal que:.
PnC
[x0, x1, . . . , xn] = [�x0, . . . ,�xn]
Una variedad proyectiva es un subconjunto de dado por los ceros comunes de polinomios homogéneos.
PnC
![Page 18: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/18.jpg)
Variedades e IdealesUn conjunto algebraico sobre un campo algebraicamente cerrado (irreducible) es una variedad (afín).
V (S) := {x 2 Cn : f(x) = 0, 8 f 2 S}
S ⇢ C[x] = C[x1, . . . , xn]
![Page 19: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/19.jpg)
Ideales y VariedadesDado un subconjunto cualquierale asociamos el conjunto de polinomios que se anulan simultáneamente en Z:
Z ⇢ Cn
I(Z) := {f 2 C[x] : f(z) = 0 8 z 2 Z}
Si I es un ideal generado por un conjunto de polinomios S, entonces:
V (I) = V (S)
![Page 20: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/20.jpg)
Tenemos una correspondencia que invierte inclusiones:
{Ideales} ⌧ {Variedades}Y tal que:
Z ⇢ V (I(Z))
con igualdad cuando Z es algebraico.
Teorema: (Nullstellensatz): La correspondencia es biyectiva cuando nos restringimos a ideales radicales.
![Page 21: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/21.jpg)
Problemas DiofantinosProblema: Muestra que la ecuación:
Problema: Qué podemos decir de:
x
2 + y
2 = 7z2
no tiene soluciones (no triviales) con x,y,z racionales.
x
5 + y
5 = 7z5
![Page 22: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/22.jpg)
Solucion: p = int(raw_input('Ingresa el módulo: '))
lista = range(0,p)
count = 0
for a in lista:
for b in lista:
for c in lista:
if ((a**n)+(b**n) -7*(c**n)) % p == 0:
count = count + 1
print count, (a,b,c)
print 'Hay %d soluciones a la ecuaión a^%d +b^%d = 7c^%d móudlo %d ' % (count, n,n,n,p)
Encontramos que módulo 7 tiene 49 soluciones, módulo 2 tiene 4, módulo 3 tiene 9, módulo 11 tiene 51, módulo 13 tiene 169 etc...
![Page 23: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/23.jpg)
Problemas Diofantinos¿Tiene la ecuación soluciones en el anillo de polinomios?
A los problemas de encontrar soluciones de ecuaciones polinomiales en un anillo R se les llama problemas Diofantínos sobre R.
Con una ecuación particular podemos asociar una cantidad infinita de problemas Diofantinos, uno para cada anillo conmutativo R.
![Page 24: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/24.jpg)
La Función z de Riemann Bernhard Riemann (1826 -1886), Fundó en su tesis dirigida por Carl Friedrich Gauß, la base de la geometría Riemanniana. Se interesó también a la aritmética: Definición la función zeta:
⇣(s) =1X
n=1
1
ns
![Page 25: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/25.jpg)
Riemann:ζ(s) puede extenderse a todo el plano complejo salvo en s =1
Verifica una ecuación funcional:
Tiene ceros tribales en los pares negativos.
Hipótesis de Riemann: Los ceros no triviales tienen parte real igual a 1/2
⇣(s) = 2s⇡s�1 sin⇣⇡s
2
⌘�(1� s)⇣(1� s)
![Page 26: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/26.jpg)
Fórmula de EulerEuler (1707 - 1783):
⇣(s) =Y
p primo
1
1� p�s
La hipótesis de Riemann no ha sido demostrada hasta ahora, y es considerada uno de los problemas del milenio no resueltos. Uno de los 23 problemas de Hilbert que propuso en el congreso de Paris de 1900 y es uno de los 7 problemas para los que el Instituto Clay tiene designado un millón de dórales para quien presente una prueba correcta.
![Page 27: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/27.jpg)
Las Conjeturas de WeilEn 1923 Emil Artin (1898 - 1962) formula, en su tesis de habilitación en la universidad de Hamburgo, un análogo a la hipótesis de Riemann en donde el 1/2 juega un papel importante.
La construcción de base es que hay una fuerte analogía entre el campo de números racionales ℚ y el campo de funciones racionales en una variable sobre el campo finito .
Más aún, hay una gran analogía entre los campos que son una extensión finita de ℚ (los llamados campos numéricos) y las extensiones finitas de (llamados campos de funciones.)
Fp(t)Fp
Fp(t)
![Page 28: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/28.jpg)
¿Campos finitos?Ejemplos de campos finitos son los enteros
módulo un primo: ℤ/pℤ = .
El campo con 9 elementos no es un campo de congruencias de los enteros.
Fp
F9
![Page 29: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/29.jpg)
Teorema de GaloisTeorema: Para todo número de la forma con p un número primo y n entero positivo, existe un campo finito F con exactamente elementos. Más aún, todo campo finito tiene exactamente elementos para un primo p y un entero n>0. Además cualesquiera dos campos finitos con q elementos son isomorfos.
pn
pn
pn
![Page 30: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/30.jpg)
Teorema: Si fijo una cerradura algebraica de un campo finito. Entonces sólo hay un campo finito con q elementos en la cerradura algebraica.
si n | m, entones el campo finito con pn elementos está contenido en el campo con pm elementos.
Todo campo finito es un cociente de un anillo de
polinomios en una variable con coeficientes en ℤ/pℤ.
![Page 31: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/31.jpg)
La función Z de una variedad sobre un campo finito
⇣(X, s) :=Y
x2X
✓1
1� q(x)�s
◆
Sea X una variedad sobre el campo finito con q elementos:
![Page 32: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/32.jpg)
La función ZCon un poco de manipulación algebraica, se puede demostrar que:
⇣(X, s) = exp
1X
k=1
Nk(q�s)
k
k
!
En donde NK = |X(Fqk)|
![Page 33: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/33.jpg)
Las Conjeturas de Weil
ζ(X,s) puede ser escrita como ua función racional en .
Si n = dim(X), y si hacemos t = . Entonces:
Si X es una variedad proyectiva suave sobre escampo finito . Entonces se debería cumplir que: Fq
q�s
q�s
⇣(X, s) =P1(t)P3(t) · · ·P2n�1(t)
P0(t)P2(t) · · ·P2n(t)
En donde las raíces de Pi son números complejos de norma qi/2
![Page 34: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/34.jpg)
Las raíces de Pi(t) son las mismas que las raíces de:
Si X es la reducción módulo p de una variedad X’ definida sobre un subcampo de los complejos, entonces los bi = grad Pi es el i -ésimo número de Betti de X’ con la topología analítica.
⇣(X, s) =P1(t)P3(t) · · ·P2n�1(t)
P0(t)P2(t) · · ·P2n(t)
tdegP2n�i(1/qnt).
![Page 35: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/35.jpg)
La función Z del círculoCalculemos la función z de , para p un primo de la forma 4s-1.
El círculo es racional a la recta, por lo que:
y entonces:
x
2 + y
2 = 1
Nk = qk + 1
⇣(X, t) =1
(1� t)(1� qt)=
1
(1� q�s)(1� q1�s)
![Page 36: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/36.jpg)
Weil sugirió que sus conjeturas de deberían seguir de la existencia de una teoría de cohomología adecuada ``una teoría de cohomología de Weil'' para variedades sobre campos finitos, que sea similar a la cohomología usual con coeficientes racionales para variedades complejas.
Su idea fue que si φ es el automofismo de Frobenius sobre un campo finito, entonces el número de puntos de la variedad X sobre el campo finito de orden q^m es el número de puntos fijos de φm (actuando en todos los puntos de la variedad X definida sobre la cerradura algebraica).
En topología, el número de puntos fijos de un automorfismo se puede calcular usando la fórmula de puntos fijos de Lefschetz, dando como una suma alternada de las traces en el grupo de cohomología:
|X(k)| = qdimXX
i
(�1)itr��1q |Hi(X,Q`).
![Page 37: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/37.jpg)
La demostración
La racionalidad de la función zeta fue probada por B. Dwork en 1960, usando métodos p-ádicos.
La ecuación funcional por Grothendieck en 1965
El análogo a la hipótesis de Riemann por Deligne en 1974.
![Page 38: Coloquio de orientación matemática-talk](https://reader036.fdocuments.ec/reader036/viewer/2022062522/58a6b5b81a28ab661f8b4e23/html5/thumbnails/38.jpg)