O teorema de Riemann-Roch é un teorema importante en matemáticas, especificamente na análise complexa e a xeometría alxébrica, para o cálculo da dimensión do espazo de funcións meromofas con ceros prescritos e polos permitidos. Relaciona a análise complexa dunha superficie de Riemann compacta conexa co genus g (ou xénero) puramente topolóxico dunha superficie, dun xeito que se pode trasladar a configuracións puramente alxébricas.

Inicialmente demostrado como a desigualdade de Riemann por , o teorema alcanzou a súa forma definitiva para as superficies de Riemann despois do traballo do efémero estudante de Riemann, . Máis tarde xeneralizouse ás curvas alxébricas, ás variedades de dimensións superiores e máis alá.

Nocións preliminares dereita|miniatura| Unha superficie de Riemann de genus 3. Unha superficie de Riemann é un espazo topolóxico que é localmente homeomorfo a un subconxunto aberto de , o conxunto de números complexos.

Os mapas de transición entre estes subconxuntos abertos deben ser holomorfos. Esta última condición permite transferir as nocións e métodos de análise complexa que tratan con funcións holomorfas e meromorfas en á superficie .

Para os efectos do teorema de Riemann-Roch, a superficie sempre se asume que é compacta.

Coloquialmente falando, o genus dunha superficie de Riemann é o seu número de asas; por exemplo, o genus da superficie de Riemann que se mostra á dereita é tres.

O genus clasifica as superficies compactas de Riemann ata o homeomorfismo, é dicir, dúas destas superficies son homeomofas se e só se o seu genus é o mesmo. Polo tanto, o genus é unha invariante topolóxica importante dunha superficie de Riemann.

Por outra banda, a teoría de Hodge mostra que o genus coincide coa -dimensión do espazo de formas holomorfas sobre , polo que o genus tamén codifica información analítica complexa sobre a superficie de Riemann.

Un divisor é un elemento do grupo abeliano libre nos puntos da superficie. De forma equivalente, un divisor é unha combinación linear finita de puntos da superficie con coeficientes enteiros.

Calquera función meromorfa dá lugar a un divisor denotado definido como

onde é o conxunto de todos os ceros e polos de , e está dada por

.

O conxunto sábese que é finito; esta é unha consecuencia de que é compacto e o feito de que os ceros dunha función holomorfa (non nula) non teñen un punto de acumulación.

Calquera divisor desta forma chámase divisor principal. Dous divisores que se diferencian por un divisor principal chámanse linearmente equivalentes.

O divisor dunha 1-forma meromorfa defínese de xeito similar. Un divisor dunha 1-forma meromorfa global chámase divisor canónico (normalmente denotado ). Calquera dúas 1-formas meromorfas producirán divisores linearmente equivalentes, polo que o divisor canónico determínase de forma única ata a equivalencia linear (de aí "o" divisor canónico).

O símbolo denota o grao (en ocasións tamén chamado índice) do divisor , é dicir, a suma dos coeficientes que se producen en . Pódese demostrar que o divisor dunha función meromorfa global sempre ten o grao 0, polo que o grao dun divisor depende só da súa clase de equivalencia linear.

O número é a cantidade principal de interese: a dimensión (sobre ) do espazo vectorial das funcións meromofas na superficie, de xeito que todos os coeficientes de son non negativos.

Intuitivamente, podemos pensar que isto son todas as funcións meromorfas cuxos polos en cada punto non son peores que o coeficiente correspondente en ; se o coeficiente en en é negativo, entón requirimos que teña un cero de polo menos esa multiplicidade en (se o coeficiente en é positivo, pode ter un polo de como máximo esa orde).

Os espazos vectoriais para divisores linearmente equivalentes son isomorfos naturalmente mediante a multiplicación coa función meromorfa global (que está ben definida ata un escalar).

Enunciado do teorema O teorema de Riemann-Roch para unha superficie de Riemann compacta de genus con divisor canónico estabelece que

.

Normalmente, o número é o número de interese, mentres considérase como un termo de corrección (tamén chamado índice de especialidade ) polo que o teorema pódese ler aproximadamente dicindo

dimensión − corrección = grao − genus + 1.

Porque é a dimensión dun espazo vectorial, o termo de corrección sempre é non negativo, polo que

.

Agora ilustrarase o teorema para superficies de genus baixo. Tamén hai outros teoremas estreitamente relacionados: unha formulación equivalente deste teorema usando fibrado de liñas e unha xeneralización do teorema a curvas alxébricas.

Exemplos O teorema ilustrarase escollendo un punto na superficie de que se trate e en relación coa secuencia de números

é dicir, a dimensión do espazo de funcións que son holomorfas en tódalas partes agás en onde se permite que a función teña un polo de orde como máximo . Para , as funcións deben ser enteiras, é dicir, holomorfas en toda a superficie . Segundo o teorema de Liouville, tal función é necesariamente constante. Polo tanto, . En xeral, a secuencia é unha secuencia crecente.

Genus cero A esfera de Riemann (tamén chamada liña proxectiva complexa) é simplemente conexa e, polo tanto, a súa primeira homoloxía singular é cero. En particular, o seu genus é cero. A esfera pode ser cuberta por dúas copias de , con mapa de transición dado por

.

Polo tanto, a forma nunha copia de esténdese a unha forma meromorfa na esfera de Riemann: ten un polo duplo no infinito, xa que

Así, o seu divisor canónico é (onde é o punto no infinito).

Polo tanto, o teorema di que a secuencia será

1, 2, 3, ... .

Esta secuencia tamén se pode ver a partir da teoría das fraccións parciais. E viceversa, se esta secuencia comeza deste xeito, entón debe ser cero.

Genus un dereita|miniatura| Un toro O seguinte caso é unha superficie de Riemann do genus , como un toro , onde é unha rede bidimensional (un grupo isomorfo a ). O seu xénero é un: o seu primeiro grupo de homoloxía singular é xerado libremente por dous bucles, como se mostra na ilustración da dereita.

A coordenada complexa estándar en dá unha única forma en que é holomorfa en tódalas partes, é dicir, non ten polos. Polo tanto, , o divisor de é cero.

Nesta superficie, esta secuencia é

1, 1, 2, 3, 4, 5... ;

e isto caracteriza o caso .

En efecto, para , , como se mencionou anteriormente. Para con , o grao de é estritamente negativo, polo que o termo de corrección é 0.

A secuencia de dimensións tamén se pode derivar da teoría das funcións elípticas.

Genus dous e máis aló Para , a secuencia mencionada anteriormente é

1, 1, ? , 2, 3, ... .

Demóstrase a partir disto que a incógnita ? (o termo do grao 2) é 1 ou 2, dependendo do punto.

Pódese demostrar que en calquera curva do genus 2 hai exactamente seis puntos cuxas secuencias son 1, 1, 2, 2,... e o resto dos puntos teñen a secuencia xenérica 1, 1, 1, 2,...

En particular, unha curva de genus 2 é unha curva hiperelíptica.

Para sempre é certo que na maioría dos puntos a secuencia comeza uns e hai finitamente moitos puntos con outras secuencias (ver puntos de Weierstrass).

Teorema de Riemann-Roch para fibrados de liñas Usando a estreita correspondencia entre divisores e fibrados de liñas holomorfos nunha superficie de Riemann, o teorema tamén se pode enunciar dun xeito diferente, aínda que equivalente: sexa L un fibrado de liñas holomorfo en X. Sexa o espazo de seccións holomorfas de L. Este espazo será de dimensión finita; denótase a súa dimensión como . Denotamos K como o fibrado canónico en X . Daquela, o teorema de Riemann-Roch afirma que

.

O teorema da sección anterior é o caso especial cando L é un fibrado de puntos.

O teorema pódese aplicar para demostrar que hai g seccións holomorfas linearmente independentes de K, ou 1-formas en X, como segue. Tomando L como o fibrado trivial, xa que as únicas funcións holomorfas en X son constantes. O grao de L é cero, e é o fibrado trivial. Así,

.

Polo tanto, , demostrando que hai g 1-formas holomorfas.

Grao de fibrado canónico Posto que o fibrado canónico ten , aplicando Riemann-Roch a dá

que se pode reescribir como

de aí que o grao do fibrado canónico sexa .

Teorema de Riemann-Roch para curvas alxébricas Cada elemento da formulación anterior do teorema de Riemann-Roch para divisores de superficies de Riemann ten un análogo en xeometría alxébrica.

O análogo dunha superficie de Riemann é unha curva alxébrica non singular C sobre un corpo k. A diferenza de terminoloxía (curva vs. superficie) é porque a dimensión dunha superficie de Riemann como variedade real é dúas, pero unha como variedade complexa. A compacidade dunha superficie de Riemann é paralela á condición de que a curva alxébrica sexa completa, o que equivale a ser proxectiva.

Nun corpo xeral k, non hai unha boa noción de (co)homoloxía singular. O chamado genus xeométrico defínese como

é dicir, como a dimensión do espazo de formas únicas (alxébricas) definidas globalmente (ver diferencial de Kähler).

Finalmente, as funcións meromorfas nunha superficie de Riemann represéntanse localmente como fraccións de funcións holomorfas. Polo tanto, son substituídas por funcións racionais que son localmente fraccións de funcións regulares. Así, escribindo para a dimensión (sobre k) do espazo de funcións racionais na curva cuxos polos en cada punto non son peores que o coeficiente correspondente en D, cúmprese a mesma fórmula anterior:

.

onde C é unha curva alxébrica proxectiva non singular sobre un corpo alxebricamente pechado k.

De feito, cúmprese a mesma fórmula para as curvas proxectivas sobre calquera corpo, agás que o grao dun divisor debe ter en conta as multiplicidades procedentes das posíbeis extensións do corpo base e dos corpos de residuos dos puntos que soportan o divisor., Section 7.3

Finalmente, para unha curva adecuada sobre un anel artiniano, a característica de Euler do fibrado de liñas asociada a un divisor vén dada polo grao do divisor (definido adecuadamente) máis a característica de Euler dao feixe estrutural . , Theorem VIII.1.4., p. 164

Aplicacións

Polinomio de Hilbert Unha das consecuencias importantes do teorema de Riemann-Roch é que dá unha fórmula para calcular o polinomio de Hilbert de fibrados de liñas nunha curva.

Se un fibrado de liñas é amplo, entón o polinomio de Hilbert dará o primeiro grao dando un mergullo no espazo proxectivo.

Por exemplo, o feixe canónico ten grao , o que dá un feixe de liñas amplo para o genus . Se estabelecemos entón a fórmula de Riemann-Roch ten a forma

Danado o polinomio de Hilbert de grao

.

Como o feixe tricanónico úsase para mergullar a curva, o polinomio de Hilbert

considérase xeralmente ao construír o esquema de Hilbert de curvas (e o espazo de módulos das curvas alxébricas). Este polinomio é

e chámase polinomio de Hilbert dunha curva de genus g.

Genus de curvas planas con singularidades Unha curva alxébrica plana irredutíbel de grao d ten (d − 1)(d − 2)/2 − g singularidades, cando se contan correctamente. Dedúcese que, se unha curva ten (d − 1)(d − 2)/2 singularidades diferentes, é unha curva racional e, polo tanto, admite unha parametrización racional.

Fórmula de Riemann-Hurwitz A fórmula de Riemann-Hurwitz relativa aos mapas (ramificados) entre superficies de Riemann ou curvas alxébricas é unha consecuencia do teorema de Riemann-Roch.

Teorema de Clifford sobre divisores especiais Oteorema de Clifford sobre divisores especiais tamén é unha consecuencia do teorema de Riemann-Roch. Afirma que para un divisor especial (é dicir, tal que ) satisfactorio ,cúmprese a seguinte desigualdade:, p. 109

.

Teorema aritmético de Riemann-Roch Unha versión do teorema aritmético de Riemann-Roch afirma que se k é un corpo global e f é unha función adecuadamente admisíbel dos adeles de k, entón para cada idele a, hai unha fórmula do sumatorio de Poisson :

.