El teorema de Riemann-Roch es un teorema importante en matemáticas , específicamente en análisis complejo y geometría algebraica , para el cálculo de la dimensión del espacio de funciones meromórficas con ceros prescritos y polos permitidos . Relaciona el análisis complejo de una superficie de Riemann compacta conectada con el género g puramente topológico de la superficie , de una manera que puede trasladarse a escenarios puramente algebraicos.
Campo | Geometría algebraica y análisis complejo |
---|---|
Primera prueba por | Gustav Roch |
Primera prueba en | 1865 |
Generalizaciones | Teorema del índice de Atiyah-Singer Teorema de Grothendieck-Riemann-Roch Teorema de Hirzebruch-Riemann-Roch Teorema de Riemann-Roch para superficies Teorema de Riemann-Roch |
Consecuencias | Teorema de Clifford sobre divisores especiales Fórmula de Riemann-Hurwitz |
Inicialmente probado como la desigualdad de Riemann por Riemann (1857) , el teorema alcanzó su forma definitiva para las superficies de Riemann después del trabajo del estudiante de corta duración de Riemann , Gustav Roch ( 1865 ). Más tarde se generalizó a curvas algebraicas , a variedades de dimensiones superiores y más allá.
Nociones preliminares
Una superficie de Riemann es un espacio topológico que es localmente homeomorfo a un subconjunto abierto de, el conjunto de números complejos. Además, se requiere que los mapas de transición entre estos subconjuntos abiertos sean holomórficos . La última condición permite transferir las nociones y métodos de análisis complejo que tratan con funciones holomórficas y meromórficas en a la superficie . Para los propósitos del teorema de Riemann-Roch, la superficiesiempre se asume que es compacto . Coloquialmente hablando, el género de una superficie Riemann es su número de asas; por ejemplo, el género de la superficie de Riemann que se muestra a la derecha es tres. Más precisamente, el género se define como la mitad del primer número Betti , es decir, la mitad del-dimensión del primer grupo de homología singularcon coeficientes complejos. El género clasifica superficies de Riemann compactas hasta el homeomorfismo , es decir, dos de tales superficies son homeomorfas si y solo si su género es el mismo. Por lo tanto, el género es un invariante topológico importante de una superficie de Riemann. Por otro lado, la teoría de Hodge muestra que el género coincide con el-dimensión del espacio de una forma holomórfica en , por lo que el género también codifica información analítica compleja sobre la superficie de Riemann. [1]
Un divisor es un elemento del grupo abeliano libre en los puntos de la superficie. De manera equivalente, un divisor es una combinación lineal finita de puntos de la superficie con coeficientes enteros.
Cualquier función meromórfica da lugar a un divisor denotado definido como
dónde es el conjunto de todos los ceros y polos de , y es dado por
El conjunto se sabe que es finito; esto es una consecuencia deser compacto y el hecho de que los ceros de una función holomórfica (distinta de cero) no tienen un punto de acumulación . Por lo tanto,está bien definido. Cualquier divisor de esta forma se llama divisor principal . Dos divisores que se diferencian por un divisor principal se denominan linealmente equivalentes . El divisor de una forma 1 meromórfica se define de manera similar. Un divisor de una forma 1 meromórfica global se llama divisor canónico (generalmente denotado). Cualesquiera dos formas 1 meromórficas producirán divisores linealmente equivalentes, por lo que el divisor canónico se determina de forma única hasta la equivalencia lineal (de ahí "el" divisor canónico).
El símbolo denota el grado (ocasionalmente también llamado índice) del divisor, es decir, la suma de los coeficientes que ocurren en . Se puede demostrar que el divisor de una función meromórfica global siempre tiene grado 0, por lo que el grado de un divisor depende solo de su clase de equivalencia lineal.
El número es la cantidad de interés principal: la dimensión (sobre) del espacio vectorial de funciones meromorfas en la superficie, de modo que todos los coeficientes de no son negativos. Intuitivamente, podemos pensar en esto como si fueran todas las funciones meromórficas cuyos polos en cada punto no son peores que el coeficiente correspondiente en; si el coeficiente en a es negativo, entonces requerimos que tiene un cero de al menos esa multiplicidad en - si el coeficiente en es positivo, puede tener un poste de como máximo ese orden. Los espacios vectoriales para divisores linealmente equivalentes son naturalmente isomórficos mediante la multiplicación con la función meromórfica global (que está bien definida hasta un escalar).
Declaración del teorema
El teorema de Riemann-Roch para una superficie de género compacta de Riemann con divisor canónico estados
Normalmente, el número es el de interés, mientras que se considera un término de corrección (también llamado índice de especialidad [2] [3] ), por lo que el teorema puede parafrasearse más o menos diciendo
- dimensión - corrección = grado - género + 1.
Debido a que es la dimensión de un espacio vectorial, el término de corrección es siempre no negativo, de modo que
Esto se llama desigualdad de Riemann . La parte de Roch del enunciado es la descripción de la posible diferencia entre los lados de la desigualdad. Sobre una superficie general de Riemann del género, tiene grado , independientemente de la forma meromórfica elegida para representar el divisor. Esto se sigue de poneren el teorema. En particular, siempre que tiene un título al menos , el término de corrección es 0, de modo que
Ahora se ilustrará el teorema para superficies de género bajo. También hay otros teoremas estrechamente relacionados: una formulación equivalente de este teorema usando haces de líneas y una generalización del teorema a curvas algebraicas .
Ejemplos de
El teorema se ilustrará eligiendo un punto en la superficie en cuestión y con respecto a la secuencia de números
es decir, la dimensión del espacio de funciones que son holomorfas en todas partes excepto en donde se permite que la función tenga un polo de orden como máximo . Para, por lo tanto, se requiere que las funciones sean completas , es decir, holomórficas en toda la superficie. Según el teorema de Liouville , tal función es necesariamente constante. Por lo tanto,. En general, la secuencia es una secuencia creciente.
Género zero
La esfera de Riemann (también llamada línea proyectiva compleja ) está simplemente conectada y, por lo tanto, su primera homología singular es cero. En particular, su género es cero. La esfera puede cubrirse con dos copias de, con el mapa de transición dado por
Por tanto, la forma en una copia de se extiende a una forma meromórfica en la esfera de Riemann: tiene un doble polo en el infinito, ya que
Así, su divisor (dónde es el punto en el infinito).
Por tanto, el teorema dice que la sucesión lee
- 1, 2, 3, ....
Esta secuencia también se puede leer de la teoría de fracciones parciales . Por el contrario, si esta secuencia comienza de esta manera, entonces debe ser cero.
Género uno
El siguiente caso es una superficie de Riemann del género , como un toro , dónde es una red bidimensional (un grupo isomorfo a). Su género es uno: su primer grupo de homología singular se genera libremente mediante dos bucles, como se muestra en la ilustración de la derecha. La coordenada compleja estándar en produce una forma única en eso es holomórfico en todas partes, es decir, no tiene polos en absoluto. Por lo tanto,, el divisor de es cero.
En esta superficie, esta secuencia es
- 1, 1, 2, 3, 4, 5 ...;
y esto caracteriza el caso . De hecho, para, , como se mencionó anteriormente. Para con , el grado de es estrictamente negativo, por lo que el término de corrección es 0. La secuencia de dimensiones también se puede derivar de la teoría de funciones elípticas .
Género dos y más allá
Para , la secuencia mencionada anteriormente es
- 1, 1,?, 2, 3, ....
Se muestra a partir de esto que el? El término del grado 2 es 1 o 2, dependiendo del punto. Se puede comprobar que en cualquier curva del género 2 existen exactamente seis puntos cuyas secuencias son 1, 1, 2, 2, ... y el resto de los puntos tienen la secuencia genérica 1, 1, 1, 2, ... En particular, una curva de género 2 es una curva hiperelíptica . Para siempre es cierto que en la mayoría de los puntos la secuencia comienza con unos y hay un número finito de puntos con otras secuencias (ver puntos de Weierstrass ).
Riemann – Roch para paquetes de líneas
Uso de la estrecha correspondencia entre divisores y línea paquetes holomorfas en una superficie de Riemann, el teorema también puede establecerse de una manera diferente, pero equivalente: que L sea un paquete de línea de holomorphic en X . Dejardenotar el espacio de secciones holomorfas de L . Este espacio será de dimensión finita; su dimensión se denota. Let K denota el haz canónica en X . Entonces, el teorema de Riemann-Roch establece que
El teorema de la sección anterior es el caso especial de cuando L es un conjunto de puntos .
El teorema se puede aplicar para demostrar que hay g secciones holomórficas linealmente independientes de K , o formas uniformes en X , como sigue. Tomando L como el paquete trivial,ya que las únicas funciones holomorfas en X son constantes. El grado de L es cero yes el paquete trivial. Por lo tanto,
Por lo tanto, , lo que demuestra que hay g monoformas holomórficas.
Grado de paquete canónico
Dado que el paquete canónico posee , aplicando Riemann-Roch a da
que se puede reescribir como
por lo tanto, el grado del paquete canónico es .
Teorema de Riemann-Roch para curvas algebraicas
Cada elemento de la formulación anterior del teorema de Riemann-Roch para divisores en superficies de Riemann tiene un análogo en geometría algebraica . El análogo de una superficie de Riemann es una curva algebraica C no singular sobre un campo k . La diferencia en la terminología (curva frente a superficie) se debe a que la dimensión de una superficie de Riemann como variedad real es dos, pero una como variedad compleja. La compacidad de una superficie de Riemann va acompañada de la condición de que la curva algebraica sea completa , lo que equivale a ser proyectiva . Sobre un campo general k , no existe una buena noción de (co) homología singular. El llamado género geométrico se define como
es decir, como la dimensión del espacio de formas uniformes (algebraicas) definidas globalmente (ver diferencial de Kähler ). Finalmente, las funciones meromórficas en una superficie de Riemann se representan localmente como fracciones de funciones holomórficas. Por tanto, son reemplazadas por funciones racionales que son localmente fracciones de funciones regulares . Por lo tanto, escribiendopara la dimensión (sobre k ) del espacio de funciones racionales en la curva cuyos polos en cada punto no son peores que el coeficiente correspondiente en D , se aplica la misma fórmula anterior:
donde C es una curva algebraica proyectiva no singular sobre un campo k algebraicamente cerrado . De hecho, la misma fórmula es válida para las curvas proyectivas sobre cualquier campo, excepto que el grado de un divisor debe tener en cuenta las multiplicidades que provienen de las posibles extensiones del campo base y los campos de residuos de los puntos que sostienen el divisor. [4] Finalmente, para una curva adecuada sobre un anillo artiniano , la característica de Euler del haz de líneas asociado a un divisor viene dada por el grado del divisor (definido apropiadamente) más la característica de Euler de la gavilla estructural.. [5]
La suposición de suavidad en el teorema también se puede relajar: para una curva (proyectiva) sobre un campo algebraicamente cerrado, todos cuyos anillos locales son anillos de Gorenstein , se cumple la misma afirmación anterior, siempre que el género geométrico definido anteriormente sea reemplazado por el género aritmético g a , definido como
- [6]
(Para curvas suaves, el género geométrico concuerda con el aritmético). El teorema también se ha extendido a curvas singulares generales (y variedades de dimensiones superiores). [7]
Aplicaciones
Polinomio de Hilbert
Una de las consecuencias importantes de Riemann-Roch es que proporciona una fórmula para calcular el polinomio de Hilbert de haces de líneas en una curva. Si un paquete de líneas es amplio, entonces el polinomio de Hilbert dará el primer grado dando una incrustación en el espacio proyectivo. Por ejemplo, la gavilla canónica tiene grado , lo que da un amplio paquete de líneas para el género . [8] Si establecemos luego, la fórmula de Riemann-Roch dice
Dando el grado Polinomio de Hilbert de
Porque la gavilla tri-canónica se utiliza para incrustar la curva, el polinomio de Hilbert
generalmente se considera al construir el esquema de Hilbert de curvas (y los módulos de curvas algebraicas ). Este polinomio es
y se llama polinomio de Hilbert de una curva de género g .
Incrustación pluricanónica
Analizando esta ecuación más a fondo, la característica de Euler se lee como
Desde
por , ya que su grado es negativo para todos , lo que implica que no tiene secciones globales, hay una incrustación en algún espacio proyectivo de las secciones globales de . En particular, da una incrustación en dónde desde . Esto es útil en la construcción de los módulos de curvas algebraicas porque puede usarse como el espacio proyectivo para construir el esquema de Hilbert con el polinomio de Hilbert.. [9]
Género de curvas planas con singularidades
Una curva algebraica plana irreducible de grado d tiene ( d - 1) ( d - 2) / 2 - g singularidades, cuando se cuenta correctamente. De ello se deduce que, si una curva tiene ( d - 1) ( d - 2) / 2 singularidades diferentes, es una curva racional y, por tanto, admite una parametrización racional.
Fórmula de Riemann-Hurwitz
La fórmula de Riemann-Hurwitz relativa a mapas (ramificados) entre superficies de Riemann o curvas algebraicas es una consecuencia del teorema de Riemann-Roch.
Teorema de Clifford sobre divisores especiales
El teorema de Clifford sobre divisores especiales también es una consecuencia del teorema de Riemann-Roch. Establece que para un divisor especial (es decir, tal que) satisfactorio se cumple la siguiente desigualdad: [10]
Prueba
Prueba de curvas algebraicas
El enunciado de las curvas algebraicas se puede demostrar utilizando la dualidad de Serre . El enteroes la dimensión del espacio de las secciones globales del paquete de líneas asociado a D ( cf. divisor de Cartier ). En términos de cohomología de la gavilla , por lo tanto, tenemos, y de la misma manera . Pero la dualidad de Serre para variedades proyectivas no singulares en el caso particular de una curva establece que es isomorfo al dual . Así pues, el lado izquierdo es igual a la característica de Euler del divisor D . Cuando D = 0, encontramos que la característica de Euler para la estructura de la gavilla espor definición. Para demostrar el teorema del divisor general, se puede proceder agregando puntos uno por uno al divisor y asegurarse de que la característica de Euler se transforme de acuerdo con el lado derecho.
Prueba para superficies compactas de Riemann
El teorema de las superficies compactas de Riemann se puede deducir de la versión algebraica usando el teorema de Chow y el principio GAGA : de hecho, cada superficie compacta de Riemann está definida por ecuaciones algebraicas en algún espacio proyectivo complejo. (El teorema de Chow dice que cualquier subvariedad analítica cerrada del espacio proyectivo se define mediante ecuaciones algebraicas, y el principio GAGA dice que la cohomología de gavilla de una variedad algebraica es la misma que la cohomología de gavilla de la variedad analítica definida por las mismas ecuaciones).
Se puede evitar el uso del teorema de Chow argumentando de manera idéntica a la demostración en el caso de curvas algebraicas, pero reemplazando con la gavilla de funciones meromorfas h tales que todos los coeficientes del divisorson no negativos. Aquí, el hecho de que la característica de Euler se transforma como se desea cuando se agrega un punto al divisor se puede leer a partir de la secuencia larga exacta inducida por la secuencia corta exacta.
dónde es la gavilla de rascacielos en P , y el mapa devuelve el th coeficiente de Laurent, donde . [11]
Generalizaciones del teorema de Riemann-Roch
El teorema de Riemann-Roch para curvas fue probado para superficies de Riemann por Riemann y Roch en la década de 1850 y para curvas algebraicas por Friedrich Karl Schmidt en 1931 mientras trabajaba en campos perfectos de característica finita . Como dijo Peter Roquette , [12]
El primer logro principal de FK Schmidt es el descubrimiento de que el teorema clásico de Riemann-Roch sobre superficies compactas de Riemann se puede transferir a campos funcionales con campo base finito. En realidad, su demostración del teorema de Riemann-Roch funciona para campos base perfectos arbitrarios, no necesariamente finitos.
Es fundamental en el sentido de que la teoría posterior de las curvas intenta refinar la información que proporciona (por ejemplo, en la teoría de Brill-Noether ).
Hay versiones en dimensiones superiores (para la noción apropiada de divisor o haz de líneas ). Su formulación general depende de dividir el teorema en dos partes. Uno, que ahora se llamaría dualidad de Serre , interpreta latérmino como dimensión de un primer grupo de cohomología de gavilla ; conla dimensión de un grupo de cohomología cero, o espacio de secciones, el lado izquierdo del teorema se convierte en una característica de Euler , y el lado derecho un cálculo del mismo como un grado corregido de acuerdo con la topología de la superficie de Riemann.
En geometría algebraica de dimensión dos, los geómetras de la escuela italiana encontraron una fórmula de este tipo ; Se demostró un teorema de Riemann-Roch para superficies (existen varias versiones, la primera posiblemente se deba a Max Noether ).
Un n generalización -dimensional, el teorema Hirzebruch-Riemann-Roch , fue encontrado y demostrado por Friedrich Hirzebruch , como una aplicación de clases características en la topología algebraica ; estuvo muy influenciado por el trabajo de Kunihiko Kodaira . Casi al mismo tiempo, Jean-Pierre Serre estaba dando la forma general de la dualidad de Serre, tal como la conocemos ahora.
Alexander Grothendieck demostró una generalización de gran alcance en 1957, ahora conocido como el teorema de Grothendieck-Riemann-Roch . Su trabajo reinterpreta a Riemann-Roch no como un teorema sobre una variedad, sino sobre un morfismo entre dos variedades. Los detalles de las pruebas fueron publicados por Armand Borel y Jean-Pierre Serre en 1958. [13] Más tarde, Grothendieck y sus colaboradores simplificaron y generalizaron la prueba. [14]
Finalmente , también se encontró una versión general en topología algebraica . Estos desarrollos se llevaron a cabo esencialmente entre 1950 y 1960. Después de eso, el teorema del índice de Atiyah-Singer abrió otra ruta hacia la generalización. En consecuencia, la característica de Euler de una gavilla coherente es razonablemente calculable. Para un solo sumando dentro de la suma alterna, se deben usar más argumentos como los teoremas de desaparición .
Ver también
- Teorema de Grothendieck-Riemann-Roch
- Teorema de Hirzebruch-Riemann-Roch
- Fórmula de Riemann-Roch de Kawasaki
- Polinomio de Hilbert
- Módulos de curvas algebraicas
Notas
- ^ Griffith, Harris, p. 116, 117
- ↑ Stichtenoth p.22
- ^ Mukai págs. 295-297
- ^ Liu, Qing (2002), geometría algebraica y curvas aritméticas , Oxford University Press , ISBN 978-0-19-850284-5, Sección 7.3
- ^ * Altman, Allen; Kleiman, Steven (1970), Introducción a la teoría de la dualidad de Grothendieck , Lecture Notes in Mathematics, vol. 146, Berlín, Nueva York: Springer-Verlag, Teorema VIII.1.4., Pág. 164
- ^ Hartshorne, Robin (1986), "Divisores generalizados en curvas de Gorenstein y un teorema de Noether", Journal of Mathematics of Kyoto University , 26 (3): 375–386, doi : 10.1215 / kjm / 1250520873 , ISSN 0023-608X
- ^ Baum, Paul; Fulton, William ; MacPherson, Robert (1975), "Riemann – Roch para variedades singulares" , Publications Mathématiques de l'IHÉS , 45 (45): 101–145, doi : 10.1007 / BF02684299 , ISSN 1618-1913 , S2CID 83458307
- ^ Tenga en cuenta que los módulos de las curvas elípticas se pueden construir de forma independiente, consulte https://arxiv.org/abs/0812.1803 , y solo hay una curva suave del género 0,, que se puede encontrar utilizando la teoría de la deformación. Ver https://arxiv.org/abs/math/0507286
- ^ Deligne, P .; Mumford, D. (1969). "Irreductibilidad del espacio de curvas de un género dado" . IHES . 36 : 75-110. CiteSeerX 10.1.1.589.288 . doi : 10.1007 / BF02684599 . S2CID 16482150 .
- ^ Fulton, William (1989), Curvas algebraicas (PDF) , Clásicos de libros avanzados, Addison-Wesley , ISBN 978-0-201-51010-2, pag. 109
- ^ Forster, Otto (1981), Conferencias sobre superficies de Riemann , Springer Nature , ISBN 978-1-4612-5963-3, Sección 16
- ^ http://www.rzuser.uni-heidelberg.de/~ci3/manu.html#RH
- ^ A. Borel y J.-P. Serre. Toro. Soc. Matemáticas. Francia 86 (1958), 97-136.
- ^ SGA 6, Springer-Verlag (1971).
Referencias
- Borel, Armand & Serre, Jean-Pierre (1958), Le théorème de Riemann – Roch, d'après Grothendieck, Bull.SMF 86 (1958), 97-136.
- Griffiths, Phillip ; Harris, Joseph (1994), Principios de geometría algebraica , Wiley Classics Library, Nueva York: John Wiley & Sons , doi : 10.1002 / 9781118032527 , ISBN 978-0-471-05059-9, MR 1288523
- Grothendieck, Alexander y col. (1966/67), Théorie des Intersections et Théorème de Riemann – Roch (SGA 6), LNM 225, Springer-Verlag, 1971.
- Fulton, William (1974). Curvas algebraicas (PDF) . Serie de notas de clase de matemáticas. WA Benjamin. ISBN 0-8053-3080-1.
- Jost, Jürgen (2006). Superficies compactas Riemann . Berlín, Nueva York: Springer-Verlag . ISBN 978-3-540-33065-3.Consulte las páginas 208–219 para ver la prueba en una situación compleja. Tenga en cuenta que Jost utiliza una notación ligeramente diferente.
- Hartshorne, Robin (1977). Geometría algebraica . Berlín, Nueva York: Springer-Verlag . ISBN 978-0-387-90244-9. Señor 0463157 . OCLC 13348052 ., contiene la declaración de curvas sobre un campo algebraicamente cerrado. Ver sección IV.1.
- "Teorema de Riemann-Roch" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
- Hirzebruch, Friedrich (1995). Métodos topológicos en geometría algebraica . Clásicos de las matemáticas. Berlín, Nueva York: Springer-Verlag . ISBN 978-3-540-58663-0. Señor 1335917 .. Una buena referencia moderna general.
- Shigeru Mukai (2003). Introducción a invariantes y módulos . Estudios de Cambridge en matemáticas avanzadas. 81 . William Oxbury (trad.). Nueva York: Cambridge University Press. ISBN 0-521-80906-1.
- Paquetes de vectores sobre superficies compactas de Riemann , MS Narasimhan, págs. 5-6.
- Riemann, Bernhard (1857). "Theorie der Abel'schen Functionen" . Journal für die reine und angewandte Mathematik . 1857 (54): 115-155. doi : 10.1515 / crll.1857.54.115 . hdl : 2027 / coo.31924060183864 . S2CID 16593204 .
- Roch, Gustav (1865). "Ueber die Anzahl der willkurlichen Constanten en algebraischen Functionen" . Journal für die reine und angewandte Mathematik . 1865 (64): 372–376. doi : 10.1515 / crll.1865.64.372 . S2CID 120178388 .
- Schmidt, Friedrich Karl (1931), "Analytische Zahlentheorie en Körpern der Charakteristik p " , Mathematische Zeitschrift , 33 : 1-32, doi : 10.1007 / BF01174341 , Zbl 0.001,05401 , Archivado desde el original en 12.22.2017 , recuperada 2020- 05-16
- Stichtenoth, Henning (1993). Campos y códigos de funciones algebraicas . Springer-Verlag. ISBN 3-540-56489-6.
- Misha Kapovich , El teorema de Riemann-Roch (nota de clase) una introducción elemental
- J. Gray, El teorema de Riemann-Roch y geometría, 1854-1914 .
- ¿Existe un Riemann-Roch para curvas proyectivas suaves sobre un campo arbitrario? en MathOverflow