En matemáticas , el anillo pluricanónico de una variedad algebraica V (que no es singular ), o de una variedad compleja , es el anillo graduado
de secciones de poderes del paquete canónica K . Su n º componente graduada (por) es:
es decir, el espacio del secciones de la n -ésima producto tensorial K n del haz canónica K .
El componente de grado 0 es secciones del paquete trivial, y es unidimensional ya que V es proyectiva. La variedad proyectiva definido por este anillo graduado se llama el modelo canónico de V , y la dimensión del modelo canónico se llama la dimensión Kodaira de V .
Se puede definir un anillo análogo para cualquier paquete de líneas L sobre V ; la dimensión análoga se llama dimensión Iitaka . Un paquete de líneas se llama grande si la dimensión de Iitaka es igual a la dimensión de la variedad. [1]
Propiedades
Invariancia biracional
El anillo canónico y, por lo tanto, también la dimensión de Kodaira es un invariante biracional : cualquier mapa biracional entre variedades complejas compactas lisas induce un isomorfismo entre los anillos canónicos respectivos. Como consecuencia, se puede definir la dimensión Kodaira de un espacio singular como la dimensión Kodaira de una desingularización . Debido a la invariancia biracional, ésta está bien definida, es decir, independiente de la elección de la desingularización.
Conjetura fundamental de la geometría bracional
Una conjetura básica es que el anillo pluricanónico se genera de forma finita . Esto se considera un paso importante en el programa Mori . Caucher Birkar, Paolo Cascini y Christopher D. Hacon et al. ( 2010 ) demostró esta conjetura.
La plurigenera
La dimensión
es la clásicamente definidos n -ésimos plurigenus de V . El divisor pluricanónico, a través del correspondiente sistema lineal de divisores , da un mapa del espacio proyectivo, llamado mapa n- canónico.
El tamaño de R es un invariante básico de V y se denomina dimensión de Kodaira.
Notas
- ^ Hartshorne (1975). Geometría algebraica, Arcata 1974 . pag. 7.
Referencias
- Birkar, Caucher ; Cascini, Paolo; Hacon, Christopher D .; McKernan, James (2010), "Existencia de modelos mínimos para variedades de tipo logarítmico general", Journal of the American Mathematical Society , 23 (2): 405–468, arXiv : math.AG/0610203 , Bibcode : 2010JAMS ... 23..405B , doi : 10.1090 / S0894-0347-09-00649-3 , MR 2601039
- Griffiths, Phillip ; Harris, Joe (1994), Principios de geometría algebraica , Biblioteca de clásicos de Wiley, Wiley Interscience, p. 573, ISBN 0-471-05059-8