¿Pueden funciones-ζ solucionar ecuaciones Diophanticas?

Texto completo

(1)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

¿Pueden funciones-

ζ

solucionar ecuaciones

Diofanticas?

Una introducion a la teoria de Iwasawa (no-conmutativa)

Otmar Venjakob

Mathematical Institute

University of Heidelberg

Pasto, 13 Agosto 2014

(2)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L Ecuaciones Diofanticas

La formula analitica de numeros de clases

Leibniz (1673)

1

1

3

+

1

5

1

7

+

1

9

1

11

+

· · ·

=

π

4

(3)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L Ecuaciones Diofanticas

La formula analitica de numeros de clases

Valores especiales de

funciones-

L

(4)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L Ecuaciones Diofanticas

La formula analitica de numeros de clases

N

1,

(

Z

/

N

Z

)

×

unidades del anillo

Z

/

N

Z

.

caracter de Dirichlet

(modulo

N) :

χ

: (

Z/

N

Z

)

×

C

×

se extiende a

N

χ

(n) :=

χ

(n

mod

N)

,

(n

,

N) =

1;

0,

en el otro caso.

(5)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L Ecuaciones Diofanticas

La formula analitica de numeros de clases

funcion-

L

de Dirichlet con respecto a

χ

:

L(s

, χ

) =

X

n

=

1

χ

(n)

n

s

,

s

C

,

<

(s)

>

1.

satisface:

- producto de Euler

L(s

, χ

) =

Y

p

1

1

χ

(p)p

s

,

- continuacion meromorfica a

C,

- ecuacion funcional.

(6)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L Ecuaciones Diofanticas

La formula analitica de numeros de clases

Ejemplos

χ

1

:

funcion-ζ

de Riemann

ζ

(s) =

X

n

=

1

1

n

s

=

Y

p

1

1

p

s

,

χ

1

: (

Z

/

4

Z

)

×

=

{

1

,

3

} →

C

×

,

χ

1

(

1

) =

1

,

χ

1

(

3

) =

1

L(

1

, χ

1

) =

1

1

3

+

1

5

1

7

+

1

9

1

11

+

· · ·

=

π

4

(7)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L Ecuaciones Diofanticas

La formula analitica de numeros de clases

Ejemplos

χ

1

:

funcion-ζ

de Riemann

ζ

(s) =

X

n

=

1

1

n

s

=

Y

p

1

1

p

s

,

χ1

: (

Z

/4

Z

)

×

=

{1,

3} →

C

×

,

χ1

(

1

) =

1,

χ1

(

3

) =

−1

L

(

1

, χ

1

)

=

1

1

3

+

1

5

1

7

+

1

9

1

11

+

· · ·

=

π

4

(8)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

(9)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

Conjeturas de Catalan y Fermat

p

,

q

numero primo

Catalan

(1844), Teorema(M

IH ˇ

AILESCU

, 2002):

x

p

y

q

=

1,

tiene como solucion unica

3

2

2

3

=

1

en

Z

con

x

,

y

>

0.

Fermat

(1665), Teorema(W

ILES

et al., 1994):

x

p

+

y

p

=

z

p

,

p

>

2

,

no tiene ninguna solucion en

Z

con

xyz

6

=

0

.

(10)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

Conjeturas de Catalan y Fermat

p

,

q

numero primo

Catalan

(1844), Teorema(M

IH ˇ

AILESCU

, 2002):

x

p

y

q

=

1,

tiene como solucion unica

3

2

2

3

=

1

en

Z

con

x

,

y

>

0.

Fermat

(1665), Theorem(W

ILES

et al., 1994):

(11)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

Factorizacion sobre anillos enteros mas grandes

ζ

m

raiz

m

-esima de unidad

Z

[

ζm

]

anillo entero de

Q

(

ζm

)

,

por ejemplo para

m

=

4 con

i

2

=

−1 tenemos en

Z

[i] =

{

a

+

bi

|

a

,

b

Z

}

:

x

3

y

2

=

1

x

3

= (

y

+

i

)(

y

i

)

y para

m

=

p

n

tenemos en

Z

[

ζ

p

n

] :

x

p

n

+y

p

n

=

(

x

+

y

)(

x

+

ζ

p

n

y

)(

x

+

ζ

p

2

n

y

)

·

. . .

·

(

x

+

ζ

p

n

−1

p

n

y

) =

z

p

n

.

Otmar Venjakob ¿Pueden funciones-ζsolucionar ecuaciones Diofanticas?

(12)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

La estrategia

Expectativa:

Utiliza

factorizacion unica en primos

para concluir

una contradicion de la presuposicion que la ecuacion de

Catalan o Fermat tiene una solucion non-trivial.

Problema: en general,

Z

m

]

no

es un dominio con

(13)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

La estrategia

Expectativa:

Utiliza

factorizacion unica en primos

para concluir

una contradicion de la presuposicion que la ecuacion de

Catalan o Fermat tiene una solucion non-trivial.

Problema:

en general,

Z

[

ζm

]

no

es un dominio con

factorizacion unica (UFD), por ejemplo

Z

[

ζ

23

]

!

(14)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

Ideales

Kummer:

Remplace numeros por ‘numeros ideales’:

Para

ideales

(=

Z

[

ζm

]

-submodulos) 0

6

=

a

Z

[

ζm

]

tenemos

factorizacion unica en ideales primos

P

i

6

=

0

:

a

=

n

Y

i

=

1

P

n

i

i

(15)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

Grupo de clases de ideales

Cl(

Q

(

ζm

)) :

=

{

ideales de

Z

[

ζm

]

}/{

ideales principales de

Z

[

ζm

]

}

=

Pic(

Z

[

ζm

])

Teorema Fundamental de la teoria algebraica de numeros:

#Cl

(

Q

(

ζm

))

<

y

h

Q

(

ζm

)

:= #Cl

(

Q

(

ζ

m

)) =

1

Z

[

ζ

m

]

admite factorizacion unica.

¡Sin embargo es dificil determinarlo

Cl

(

Q

(

ζm

))

, demasiadas

relaciones!

(16)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

Grupo de clases de ideales

Cl(

Q

(

ζm

)) :

=

{

ideales de

Z

[

ζm

]

}/{

ideales principales de

Z

[

ζm

]

}

=

Pic(

Z

[

ζm

])

Teorema Fundamental de la teoria algebraica de numeros:

#Cl

(

Q

(

ζm

))

<

y

h

Q

(

ζm

)

:= #Cl(

Q

(

ζ

m

)) =

1

Z

[

ζ

m

]

admite factorizacion unica.

¡Sin embargo es dificil determinarlo

Cl

(

Q

(

ζm

))

, demasiadas

relaciones!

(17)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

Grupo de clases de ideales

Cl(

Q

(

ζm

)) :

=

{

ideales de

Z

[

ζm

]

}/{

ideales principales de

Z

[

ζm

]

}

=

Pic(

Z

[

ζm

])

Teorema Fundamental de la teoria algebraica de numeros:

#Cl

(

Q

(

ζm

))

<

y

h

Q

(

ζm

)

:= #Cl(

Q

(

ζ

m

)) =

1

Z

[

ζ

m

]

admite factorizacion unica.

¡Sin embargo es dificil determinarlo

Cl

(

Q

(

ζm

))

, demasiadas

relaciones!

(18)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

La funcion-L

soluciona el problema

¿Como podemos calcular

h

Q

(

i

)

?

Es un misterio que

L(s, χ

1

)

(19)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

La funcion-L

soluciona el problema

¿Como podemos calcular

h

Q

(

i

)

?

Es un misterio que

L(s

, χ1

)

conoce la respuesta!

(20)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

El caracter ciclotomico

Gauß:

G(

Q

(

ζN

)

/Q

)

κN

=

/

/

(

Z/

N

Z

)

×

con

g(

ζN

) =

ζ

N

κN

(

g

)

para todos los

g

G(

Q

(

ζN

)

/Q

)

N

=

4

:

χ1

es un caracter del grupo de Galois

G(

Q

(i)

/Q

)

L(s

, χ

1

)

invariante (analitico) de

Q

(i)

.

(21)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

El caracter ciclotomico

Gauß:

G(

Q

(

ζN

)

/Q

)

κN

=

/

/

(

Z/

N

Z

)

×

con

g(

ζN

) =

ζ

N

κN

(

g

)

para todos los

g

G(

Q

(

ζN

)

/Q

)

N

=

4

:

χ1

es un caracter del grupo de Galois

G(

Q

(i)

/Q

)

L(s

, χ

1

)

invariante (analitico) de

Q

(i)

.

(22)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

Formula analitica de numeros de clases

para campos de

numeros cuadraticos imaginarios:

h

Q

(

i

)

=

#

µ

(

Q

(i))

N

L(

1, χ1

)

=

4

·

2

L(

1, χ1

)

=

4

π

L(

1, χ1

) =

1 (por la formula de Leibniz)

Z

[i]

admite factorizacion unica.

(23)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

Formula analitica de numeros de clases

para campos de

numeros cuadraticos imaginarios:

h

Q

(

i

)

=

#

µ

(

Q

(i))

N

L(

1, χ1

)

=

4

·

2

L(

1, χ1

)

=

4

π

L(

1, χ1

) =

1 (por la formula de Leibniz)

Z

[i]

admite factorizacion unica.

(24)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

Formula analitica de numeros de clases

para campos de

numeros cuadraticos imaginarios:

h

Q

(

i

)

=

#

µ

(

Q

(i))

N

L(

1, χ1

)

=

4

·

2

L(

1, χ1

)

=

4

π

L(

1, χ1

) =

1 (por la formula de Leibniz)

(25)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

Formula analitica de numeros de clases

para campos de

numeros cuadraticos imaginarios:

h

Q

(

i

)

=

#

µ

(

Q

(i))

N

L(

1, χ1

)

=

4

·

2

L(

1, χ1

)

=

4

π

L(

1, χ1

) =

1 (por la formula de Leibniz)

Z

[i]

admite factorizacion unica.

(26)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

Un caso especial de la ecuacion de Catalan

Como ‘

L(s

, χ

1

)

sabe la aritmetica’ de

Q

(i)

,

es capaz de

solucionar nuestro problema:

Claim:

x

3

y

2

=

1 no tiene solucion en

Z

.

En la decomposicion

x

3

= (

y

+

i

)(

y

i

)

los factores

(y

+

i)

y

(y

i)

son coprimos (facil!)

y

+

i

= (a

+

bi)

3

para algunos

a

,

b

Z

(27)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funciones-L

Ecuaciones Diofanticas

La formula analitica de numeros de clases

Primos regulares

Similarmente

ζ

(s)

‘sabe’ para cuales

p

Cl(

Q

(

ζp

))(p) =

1

es valido! En este caso la ecuacion de Fermat no tiene ninguna

solucion non-trivial. Pero 37|

h

Cl

(

Q

(

ζ

37

))

!

Iwasawa:

Cl

(

Q

(

ζp

n

))(p) =?

para

n

1.

(28)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones

Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

El caso de campos de

funciones

(29)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones

Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Campos de numeros versus campos defunciones

Q

←→

Fl

(X

) =

K

(

P

1

F

l

)

K

/

Q

campo de numeros

←→

K

(C)

/

Fl

(X

)

campo de funciones

C

P

n

F

l

curva liza, projectiva, i.e.

K

(C)

/

Fl

(X

)

una extension finita

(30)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones

Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Contando puntos en

C

N

r

:= #C(

Fl

r

)

cardinalidad de puntos

Fl

r

-racionales

φ

:

C

C

Frobenius-automorfismo

x

i

7→

x

i

l

Lefschetz-Trace-Formula

N

r

=

#

{Puntos fijos de

C(

Fl

)

bajo

φ

r

}

=

2

X

n

=

0

(31)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones

Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Funcion-

ζ

de

C

,

W

EIL

(1948)

ζ

C

(s) :

=

Y

x

|

C

|

1

1

(#k(x))

s

,

s

C

,

<

(s)

>

1,

=

exp

X

r

=

1

N

r

t

r

r

,

t

=

l

s

=

2

Y

n

=

0

det

(

1

φ

t

|

H

n

(C))

(−

1

)

n+1

=

det

(

1

φ

t

|

“Pic

0

(C)”)

(

1

t)(

1

lt)

Q

(t

)

(32)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones

Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Hipotesis de Riemann para

C

ζ

C

es a

funcion racional

en

t

y tiene

polos

en:

s

=

0,

s

=

1

ceros

en especificos

s

=

α

satisfaciendo

<

(

α

) =

1

2

.

¿Puede la funcion-

ζ

de Riemann ser expresada como

funcion racional?

(33)

Funciones-ζy ecuaciones Diofanticas

El caso de campos de funciones

Teoria de Iwasawa clasica Teoria de Iwasawa no-conmutativa

Hipotesis de Riemann para

C

ζ

C

es a

funcion racional

en

t

y tiene

polos

en:

s

=

0,

s

=

1

ceros

en especificos

s

=

α

satisfaciendo

<

(

α

) =

1

2

.

¿Puede la funcion-

ζ

de Riemann ser expresada como

funcion racional?

(34)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones

Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Funcion-ζp-adica Conjetura Principal

(35)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones

Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Funcion-ζp-adica Conjetura Principal

Torres de campos de numeros

Estudiando la

formula de clases de numeros

en una

torre

entera de campos de numeros

al mismo tiempo:

Q

F

1

. . .

F

n

F

n

+

1

. . .

F

:=

[

n

0

F

n.

con

F

n

:=

Q

(

ζp

n

)

,

1

n

≤ ∞,

Zp

=

←−

lim

n

Z/

p

n

Z

Qp

:=

Quot

(

Zp

)

,

κ

:

G

:=

G(F

/

Q

)

=

/

/

Z

×

p

,

g(

ζ

p

n

) =

ζ

κ

(

g

)

p

n

para todos los

g

G

,

n

0

F

F

n

Q

G

(36)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones

Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Funcion-ζp-adica Conjetura Principal

Z

×

p

=

Z/

(p

1

)

Z

×

Zp,

i.e.

G

= ∆

×

Γ

con

∆ =

G(F

1

/

Q

)

=

Z

/

(p

1

)

Z

y

Γ =

G(F

/

F

1

) =

< γ >

=

Zp.

Algebra de Iwasawa

Λ(G) :=

lim

←−

G

0

EG abierta

Zp

[G

/

G

0

]

=

Zp

[∆][[T

]]

con

T

:=

γ

1.

(37)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones

Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Funcion-ζp-adica Conjetura Principal

Funciones

p-adicas

Anillo maximo de cuocientes de

Λ(G) :

Q(G)

=

p

1

Y

i

=

1

Q(

Zp

[[T

]])

.

Z

= (Z

1

(T

)

, . . . ,

Z

p

1

(T

))

Q(G)

son funciones en

Zp

:

para

n

N

Z

(

n

) :=

Z

i

(

n

)

(κ(γ

)

n

1

)

Qp

∪ {∞},

i(n)

n

mod

(p

1

)

(38)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones

Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Funcion-ζp-adica Conjetura Principal

Funcion-

ζ

p-adica

analitica

K

UBOTA

, L

EOPOLDT

y I

WASAWA

:

ζp

Q(G)

tal que para

k

<

0

ζp

(k

) = (

1

p

k

)

ζ

(k

)

,

i.e.

ζp

interpola - bajo el factor de Euler en

p

- la funcion-ζ

de

Riemann

p

-adicamente.

(39)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones

Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Funcion-ζp-adica Conjetura Principal

Grupo de clases de ideales sobre

F

I

WASAWA

:

#

Cl

(

F

n

)(

p

) =

p

nrk

Zp

(

X

)+

const

donde

X

:=

X

(F

) =

←−

lim

n

Cl

(F

n

)(p)

con actuacion de

G

,

Zp

(

1

) :=

←−

lim

n

µ

p

n

con actuacion de

G

,

X

Z

p

Qp

,

Qp

(

1

) :=

Zp

(

1

)

Z

p

Qp

espacio vectorial sobre

Qp

de dimension finita con operacion

por

γ.

(40)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones

Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Funcion-ζp-adica Conjetura Principal

Grupo de clases de ideales sobre

F

I

WASAWA

:

#

Cl

(

F

n

)(

p

) =

p

nrk

Zp

(

X

)+

const

donde

X

:=

X

(F

) =

←−

lim

n

Cl

(F

n

)(p)

con actuacion de

G

,

Zp

(

1

) :=

←−

lim

n

µ

p

n

con actuacion de

G

,

X

Z

p

Qp

,

Qp

(

1

) :=

Zp

(

1

)

Z

p

Qp

(41)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones

Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Funcion-ζp-adica Conjetura Principal

Conjetura Principal de Iwasawa

M

AZUR

y W

ILES

(1986):

ζ

p

det

(

1

γ

T

|

X

Z

p

Qp

)

det

(

1

γ

T

|

Qp

(

1

))

mod

Λ(G)

×

Y

i

det

(

1

γ

T

|

H

i

)

(−

1

)

i+1

mod

Λ(G)

×

funcion-ζ

p

-adic

analitica

algebraica

‘formula de trace’

(42)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones

Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Funcion-ζp-adica Conjetura Principal

La analogia

campo de funciones

campo de numeros

Fl

=

Fl

(

µ

)

F

=

Q

(

µ

(p))

φ

γ

C

Gm

ζ

C

ζ

p

Pic

0

(C)

X

=

Pic(F

)

(43)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Teoria de Iwasawa

no-conmutativa

(44)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

De

G

m

a representaciones arbitrarias

hasta ahora:

coeficientes en cohomologia:

Zp

(

1

)

Gm, µ

(p)

2

2

,

,

(45)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Generalizaciones

ρ

:

G

Q

GL

(V

)

representacion (continua) con

V

=

Q

n

p

y recteo Galois-estable

T

=

Z

n

p

.

coeficientes en cohomologia:

T

ρ

2

2

+

+

torre de campos de numeros:

K

=

Q

ker

(

ρ

)

Ejemplo:

E

curva elliptica sobre

Q

,

T

=

T

p

E

=

←−

lim

n

E[p

n

]

=

Z

2

p

,

V

:=

T

Z

p

Qp.

(46)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Extensiones de Lie

p-adicas

F

K

tal que

G

:=

G(K

/

Q

)

GLn

(

Zp

)

es un

grupo de Lie

p

-adico

con subgrupo

H

tal que

Γ :=

G/

H

=

Zp

K

H

F

Γ

Q

G

(47)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Philosofia

Adhiera a

(

ρ,

V

)

funcion-

L p

-adica

analitica

L

(V

,

K

)

con propiedad de

interpolacion

L

(V

,

K

)

L(

1,

V

χ

)

para

χ

:

G →

GL

n

(

Zp

)

con imagen finito.

funcion-

L p

-adica

algebraica F

(V

,

K

)

.

Problema:

Λ(

G

)

en general

no es conmutativa

! Determinantes

non-conmutativas?

(48)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Philosofia

Adhiera a

(

ρ,

V

)

funcion-

L p

-adica

analitica

L

(V

,

K

)

con propiedad de

interpolacion

L

(V

,

K

)

L(

1,

V

χ

)

para

χ

:

G →

GL

n

(

Zp

)

con imagen finito.

funcion-

L p

-adica

algebraica F

(V

,

K

)

.

Problema:

Λ(

G

)

en general

no es conmutativa

! Determinantes

non-conmutativas?

(49)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Conjetura Principal de Iwasawa no-conmutativa

C

OATES

, F

UKAYA

, K

ATO

, S

UJATHA

, V.:

Existe una localisacion canonica

Λ(

G

)

S

de

Λ(

G

)

,

tal que

F

(V

,

K

)

existe en

K

1

(Λ(

G

)

S

).

Tambien

L

(V

,

K

)

deberia vivir en este grupo de

K

.

Conjetura Principal:

L

(

V

,

K

)

F

(

V

,

K

)

mod

K

1

(Λ(

G

)).

(50)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Conjetura Principal de Iwasawa no-conmutativa

C

OATES

, F

UKAYA

, K

ATO

, S

UJATHA

, V.:

Existe una localisacion canonica

Λ(

G

)

S

de

Λ(

G

)

,

tal que

F

(V

,

K

)

existe en

K

1

(Λ(

G

)

S

).

Tambien

L

(V

,

K

)

deberia vivir en este grupo de

K

.

Conjetura Principal:

(51)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Polinomiales caracteristicas non-conmutativos

M

Λ(

G

)

-modulo, finitamente generado sobre

Λ(H)

-module

B

URNS

, S

CHNEIDER

, V.:

Λ(

G

)

S

Λ(

H

)

M

1

γ

=

/

/

Λ(

G

)

S

Λ(

H

)

M

induce

det

(

1

γ

T

|

M)”

K

1

(Λ(

G

)

S

)

.

Conjetura Principal sobre

K

:

“formula de trace" en

K

1

(Λ(

G

)

S

)

mod

K

1

(Λ(

G

))

:

L

(

K

,

Z

p

(

1

))

det

(

1

γ

T

|

H

(

K

,

Z

p

(

1

)))

(52)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Polinomiales caracteristicas non-conmutativos

M

Λ(

G

)

-modulo, finitamente generado sobre

Λ(H)

-module

B

URNS

, S

CHNEIDER

, V.:

Λ(

G

)

S

Λ(

H

)

M

1

γ

=

/

/

Λ(

G

)

S

Λ(

H

)

M

induce

det

(

1

γ

T

|

M)”

K

1

(Λ(

G

)

S

)

.

Conjetura Principal sobre

K

:

“formula de trace" en

K

1

(Λ(

G

)

S

)

mod

K

1

(Λ(

G

))

:

(53)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Congruencias nuevas

Para coeficientes

Z

p

(

1

)

:

K

ATO

, B

URNS

, K

AKDE

:

K

1

(Λ(

G

))



/

/

Q

i

O

[[U

i

ab

]]

×

K

1

(Λ(

G

)

S

)

/

/

Q

i

Quot

(

O

[[U

i

ab

]])

×

L

(K

/

Q

)

/

/

(L

p

(F

i

,

))

i

Existencia de

L

(K

/

Q

)

⇐⇒

congruencias entre

L

p

(

χ

i

,

F

)

Main Conjecture

/

K

⇐⇒

Conjetura Principal

/

F

para todos los

χ

i

Resultados parecidos por R

ITTER

, W

EISS

para

H

finito.

(54)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Congruencias nuevas

Para coeficientes

Z

p

(

1

)

:

K

ATO

, B

URNS

, K

AKDE

:

K

1

(Λ(

G

))



/

/

Q

i

O

[[U

i

ab

]]

×

K

1

(Λ(

G

)

S

)

/

/

Q

i

Quot

(

O

[[U

i

ab

]])

×

L

(K

/

Q

)

/

/

(L

p

(F

i

,

))

i

Existencia de

L

(K

/

Q

)

⇐⇒

congruencias entre

L

p

(

χ

i

,

F

)

(55)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

La Conjetura Prinicipal para campos totalmente reales

F

totalmente real,

F

cyc

K

totalmente real,

Teorema (2010, Ritter-Weiss (dimension 1), Kakde (dimension

arbitraria))

Si

µ

=

0

para F

/

F

,

entonces la Conjetura Principal

no-conmutativa para el motivo de Tate (i.e. para

Gm

) vale sobre

K

/

F

.

(56)

Funciones-ζy ecuaciones Diofanticas El caso de campos de funciones Teoria de Iwasawa clasica

Teoria de Iwasawa no-conmutativa

Muchas gracias por

su atencion!

Figure

Actualización...

Referencias

Actualización...

Related subjects :