Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes...
Transcript of Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes...
![Page 1: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/1.jpg)
Encuentro Nacional de Jovenes Investigadores en MatematicasInstituto de Matematicas, Ciudad Universitaria, UNAM
Configuraciones y polinomios:estabilidad y conteos asintoticos
Rita Jimenez Rolland
Centro de Ciencias Matematicas, UNAM-Morelia
3 de Diciembre de 2015, Mexico D.F.
![Page 2: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/2.jpg)
Aritmetica Topologıa
conteos/ estadısticas de cohomologıa depolinomios sobre Fq espacios de configuraciones
conteos asintoticos estabilidad de homologicasobre Fq y de representaciones
(terminos de error) (rango estable)
Objetivos:Describir los fenomenos de estabilidad
Ilustrar este “puente”
![Page 3: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/3.jpg)
Espacios de configuraciones
El espacio de configuraciones de n puntos ordenados en C:
PConfn(C) = {(z1, . . . , zn) : zi ∈ C, zi 6= zj}
El espacio tiene simetrıas:
Sn actua permutando los puntos.¡La accion es libre!
El espacio de configuraciones de n puntos no ordenados en C:
Confn(C) := PConfn(C)/Sn = {{z1, . . . , zn} : zi ∈ C, zi 6= zj}
![Page 4: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/4.jpg)
Configuraciones y polinomios
Vladimir Arnol’d estudio Confn(C) 1968
{z1, z2, . . . , zn} ∈ Confn(C)
m
p(z) = (z − z1)(z − z2) · · · (z − zn)
Conf1(C) ={
z + c : c ∈ C}
Conf2(C) ={
z2 + bz + c : b, c ∈ C y b2 − 4c 6= 0}
Confn(C) '
polinomios monicos de grado n
con coeficientes en Csin raıces repetidas
![Page 5: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/5.jpg)
Configuraciones y polinomios
Vladimir Arnol’d estudio Confn(C) 1968
{z1, z2, . . . , zn} ∈ Confn(C)
m
p(z) = (z − z1)(z − z2) · · · (z − zn)
Conf1(C) ={
z + c : c ∈ C}
Conf2(C) ={
z2 + bz + c : b, c ∈ C y b2 − 4c 6= 0}
Confn(C) '
polinomios monicos de grado n
con coeficientes en Csin raıces repetidas
![Page 6: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/6.jpg)
Trenzas y configuraciones
Joan Birman 1968
Familia de configuraciones en Confn(C)traza n cuerdas entrelazadas entre sı:
una TRENZA
El grupo fundamental
π1(Confn(C)
)es el grupo de trenzas Bn
![Page 7: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/7.jpg)
H1(Confn(C);Z
)Dado un espacio topologico X
H1(X ;Z) :={
homomorfismos π1(X )→ Z}
H1(Confn(C);Z) := Hom(π1(Confn(C)
),Z) = Hom(Bn,Z)
A cada trenza en Bn queremos asignarle demanera natural un numero entero
f : Bn → Z
f(trenza
):= ındice total de la trenza
H1(Confn(C);Z) ≈ 〈f 〉 ≈ Z
![Page 8: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/8.jpg)
Grupos de cohomologıa del grupo de trenzas
H0(Confn(C);Q) ≈ 〈 componentes conexas〉 ≈ Q
cuando n ≥ 1
H1(Confn(C);Q) ≈ H1(Confn(C);Z)⊗Q ≈ Q
cuando n ≥ 2Para i ≥ 2, H i(Confn(C);Q) ≈ 0
cuando n ≥ 1
Pregunta: ¿Como cambia H i(Confn(C);Q) cuando n crece?La dimension del espacio vectorial es eventualmente constante
¡NO depende de n!
![Page 9: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/9.jpg)
El fenomeno de estabilidad homologica
DefinicionUna sucesion de espacios o grupos {Xn} satisface estabilidad homologica(sobre un anillo R) si para cada i ≥ 0
Hi(Xn;R) ≈ Hi(Xn+1;R)
cuando n >> i .
Ejemplos:
(Nakaoka 1961) Grupos Simetricos Sn
(Arnold 1968, Cohen 1972) Grupos de trenzas Bn = π1(Confn(C))(McDuff 1975, Segal 1979)Espacios de configuraciones en variedades abiertas
(Charney 1979, Maazen 1979, van der Kallen 1980)Grupos Lineales, Grupos Aritmeticos (como SLn(Z))(Harer 1985) “Mapping class groups” de superficies con frontera
(Hatcher 1995) Automorfismos de grupos libres Aut(Fn)
![Page 10: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/10.jpg)
Configuraciones Ordenadas / Grupo de Trenzas Puras
H1(PConfn(C);Z) := Hom(π1(PConfn(C)
),Z) = Hom(Pn,Z)
Pn es el grupo de trenzas puras
ωi,j : (trenza pura) 7→ (# veces que la hebra i enrolla la hebra j
)ωi,j = ωj,i para 1 ≤ i 6= j ≤ n
Hay(n
2
)homomorfismos distintos que generan H1(PConfn(C);Z):
H1(PConfn(C);Q) = Q(n2)
Pregunta: ¿Como cambia H1(PConfn(C);Q) cuando n crece?
dim H1(PConfn(C);Q)→∞ cuando n→∞
¡¡NO hay estabilida (co)homologica!!
![Page 11: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/11.jpg)
Alternativa: considerar las simetrıas del espacio
La accion de Sn en PConfn(C)induce una accion de Sn en H1(PConfn(C);Q).
Tenemos,{H1(PConfn(C);Q)
}n
es una sucesion de representaciones de Sn
Representaciones de Sn
representacion: Q-espacio vectorial con una accion lineal de Sn
subrepresentacion: subespacio invariante
irreducible: no tiene subrepresentaciones
Hecho: Cualquier representacion de Sn de dimension finita se descomponesobre Q en suma directa de representaciones irreducibles.
Dada una representacion V , queremos entendercomo se descompone en irreducibles.
![Page 12: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/12.jpg)
Notacion
Las representaciones irreducibles de Snestan clasificadas por particiones de n.
Representaciones Particiones Notacionirreducibles de Sn de n uniforme
Representacion trivial Q n = n + 0 V (·)
Rep estandar Qn/Q n = (n − 1) + 1 V ( )∧ 2(Rep estandar) n = (n − 2) + 1 + 1 V ( )
∧ 3(Rep estandar) n = (n − 3) + 1 + 1 + 1 V ( )
![Page 13: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/13.jpg)
¿Como se ve H1(PConfn(C);Q)?
H1(PConf2(C);Q) =V (·)
H1(PConf3(C);Q) =V (·)⊕V ( )
H1(PConf4(C);Q) =V (·)⊕V ( )⊕V ( )
H1(PConf5(C);Q) =V (·)⊕V ( )⊕V ( )
H1(PConf6(C);Q) =V (·)⊕V ( )⊕V ( )
H1(PConf7(C);Q) =V (·)⊕V ( )⊕V ( )
Pregunta: ¿Como cambia H1(PConfn(C);Q) cuando n crece?
H1(PConfn(C);Q) =V (·)⊕V ( )⊕V ( ) para n = 4, 5, 6, . . .
![Page 14: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/14.jpg)
Estabilidad de representaciones
Definicion: Grosso modo...
Una sucesion de representaciones racionales {Vn} satisfaceestabilidad de representaciones uniforme
si la multiplicidad de las representaciones irreducibles en Vn eseventualmente constante e independiente de n.
Pregunta: ¿Como cambia H i(PConfn(C);Q) cuando n crece?
Teorema[Church-Farb, 2010] Para cada i ≥ 0, la sucesionH i(PConfn(C);Q
)satisface estabilidad de representaciones uniforme.
Otros ejemplos:
(Church 2011) Configuraciones ordenadas en cualquier variedad M
(Jimenez Rolland 2013) Espacios modulares, “mapping class group” puros
(Wilson 2014) Grupo de automorfismos simetricos puros, arreglos dehiperplanos y variedades bandera de tipo B
![Page 15: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/15.jpg)
Polinomios con “otros”’ coeficientes
Hecho clasico:Confn es una variedad algebraica definida sobre Z.
Polyn :={
polinomios monicos de grado n} ∼= An
Confn = subvariedad de Polyn definido por los puntosdonde el discriminante no se anula
Para un campo K, los K-puntos
Confn(K) = polinomios monicos, de grado n, en K[T ]sin raıces repetidas
K = Fq v.s. K = C
Confn(Fq) v.s. Confn(C)
![Page 16: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/16.jpg)
El “puente” entre topologıa y artimetica: ejemplo
La formula del punto fijo de Grothendieck-Lefschetz:
∑f∈Confn(Fq)
1 =n∑
k=0
(−1)kqn−k dimC Hk (Confn(C);C)
|Confn(Fq)| = qnPConfn(C)(−q−1)
Topologıa: (Arnol’d, F.Cohen)
Hk (Confn(C)) =
Q k = 0Q k = 10 k ≥ 2
Conteos sobre campos finitos: #Confn(Fq) = qn − qn−1
estabilidad homologica = “misma” formula para todo n
![Page 17: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/17.jpg)
El “puente” entre topologıa y artimetica: ejemplo
X1(f ) := Numero de raıces en Fq de f ∈ Confn(Fq)
∑f∈Confn(Fq)
X1(f ) =∑k=0
(−1)kqn−k[ mult de Vn en Hk (PConfn(C);C)]
Vn := Cn con la accion de Sn que permuta las coordenadas.
Estabilidad de representaciones⇒ podemos tomar lımite
limn→∞ q−n∑f∈Confn(Fq)
X1(f ) =∑∞
k=0(−1)kq−k[ mult estable de Vn]
Topologıa:(Lehrer-Solomon)
〈X1,Hk (PConfn(C))〉Sn =
0 n ≤ k1 n = k + 12 n ≥ k + 2
Conteos sobre campos finitos:
limn→∞
∑f∈Confn(Fq ) X1(f )
|Confn(Fq)| = 1− 1q + 1
q2 − 1q3 + . . . =
( 12
)( q−1q+1
)
![Page 18: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/18.jpg)
El “puente” entre topologıa y artimetica: ejemplo
X1(f ) := Numero de raıces en Fq de f ∈ Confn(Fq)
∑f∈Confn(Fq)
X1(f ) =∑k=0
(−1)kqn−k[ mult de Vn en Hk (PConfn(C);C)]
Vn := Cn con la accion de Sn que permuta las coordenadas.
Estabilidad de representaciones⇒ podemos tomar lımite
limn→∞ q−n∑f∈Confn(Fq)
X1(f ) =∑∞
k=0(−1)kq−k[ mult estable de Vn]
Topologıa:(Lehrer-Solomon)
〈X1,Hk (PConfn(C))〉Sn =
0 n ≤ k1 n = k + 12 n ≥ k + 2
Conteos sobre campos finitos:
limn→∞
∑f∈Confn(Fq ) X1(f )
|Confn(Fq)| = 1− 1q + 1
q2 − 1q3 + . . . =
( 12
)( q−1q+1
)
![Page 19: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/19.jpg)
Estabilidad de representaciones y conteos asintoticos
Teorema (Grothendieck-Lefschetz, Artin, Lehrer, Kim,...)Sea q la potencia de un primo impar y χ una funcion de clase deWn,entonces
∑f∈YWn (Fq)
χ(f ) =n∑
k=0
(−1)kqn−k⟨χ,Hk (MWn(C);C)⟩Wn.
Theorem (Church–Ellenberg–Farb, J. R.–Wilson)Sea q la potencia de un primo impar y P polinomio de caracteres deWn, entonces
limn→∞
q−n∑
f∈YWn (Fq)
P(f ) =∞∑
k=0
(−1)kq−k limn→∞
⟨P,Hk (MWn(C);C
)⟩Wn.
y la serie converge.
![Page 20: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/20.jpg)
Estabilidad de representaciones y conteos asintoticos
Teorema (Grothendieck-Lefschetz, Artin, Lehrer, Kim,...)Sea q la potencia de un primo impar y χ una funcion de clase deWn,entonces
∑f∈YWn (Fq)
χ(f ) =n∑
k=0
(−1)kqn−k⟨χ,Hk (MWn(C);C)⟩Wn.
Theorem (Church–Ellenberg–Farb, J. R.–Wilson)Sea q la potencia de un primo impar y P polinomio de caracteres deWn, entonces
limn→∞
q−n∑
f∈YWn (Fq)
P(f ) =∞∑
k=0
(−1)kq−k limn→∞
⟨P,Hk (MWn(C);C
)⟩Wn.
y la serie converge.
![Page 21: Configuraciones y polinomios: estabilidad y conteos ... fileEncuentro Nacional de Jovenes Investigadores en Matem´ aticas´ Instituto de Matematicas, Ciudad Universitaria, UNAM´](https://reader030.fdocuments.co/reader030/viewer/2022040218/5e0de262863bfa2206536344/html5/thumbnails/21.jpg)
Gracias