Módulo Drinfeld

En matemáticas , un módulo de Drinfeld (o módulo elíptico ) es aproximadamente un tipo especial de módulo sobre un anillo de funciones en una curva sobre un campo finito , generalizando el módulo de Carlitz . En términos generales, proporcionan un campo funcional análogo a la teoría de la multiplicación compleja . Un shtuka (también llamado F-sheaf o chtouca ) es una especie de generalización de un módulo de Drinfeld, que consiste aproximadamente en un paquete vectorial sobre una curva, junto con alguna estructura adicional que identifica un "giro de Frobenius" del paquete con una "modificación". de eso

Los módulos de Drinfeld fueron introducidos por Drinfeld ( 1974 ), quien los usó para probar las conjeturas de Langlands para GL ₂ de un campo de funciones algebraicas en algunos casos especiales. Más tarde inventó shtukas y usó shtukas de rango 2 para probar los casos restantes de las conjeturas de Langlands para GL ₂ . Laurent Lafforgue demostró las conjeturas de Langlands para GL _n de un campo de funciones estudiando la pila de módulos de shtukas de rango n .

"Shtuka" es una palabra rusa штука que significa "una sola copia", que proviene del sustantivo alemán "Stück", que significa "pieza, artículo o unidad". En ruso, la palabra "shtuka" también se usa en la jerga para un cosa con propiedades conocidas, pero que no tiene nombre en la mente del hablante.

Dejamos ser un campo de característica . El anillo se define como el anillo de polinomios no conmutativos (o retorcidos) sobre , con la multiplicación dada por ${\ estilo de visualización L}$ ${\ estilo de visualización p> 0}$ $L\{\tau\}$ $a_{0}+a_{1}\tau +a_{2}\tau^{2}+\cdots$ ${\ estilo de visualización L}$

El elemento puede considerarse como un elemento de Frobenius : de hecho, es un módulo izquierdo sobre , con elementos que actúan como multiplicación y actúan como el endomorfismo de Frobenius de . El anillo también se puede considerar como el anillo de todos los polinomios (absolutamente) aditivos. ${\ estilo de visualización \ tau}$ ${\ estilo de visualización L}$ $L\{\tau\}$ ${\ estilo de visualización L}$ ${\ estilo de visualización \ tau}$ ${\ estilo de visualización L}$ $L\{\tau\}$

en , donde un polinomio se llama aditivo si (como elementos de ). El anillo de polinomios aditivos se genera como un álgebra sobre el polinomio . La multiplicación en el anillo de polinomios aditivos viene dada por composición de polinomios, no por multiplicación de polinomios conmutativos, y no es conmutativa. ${\ estilo de visualización L [x]}$ ${\ estilo de visualización f}$ ${\ estilo de visualización f (x + y) = f (x) + f (y)}$ ${\ estilo de visualización L [x, y]}$ ${\ estilo de visualización L}$ ${\ estilo de visualización \ tau = x ^ {p}}$