En matemáticas , género ( pl.: géneros ) tiene varios significados diferentes, pero estrechamente relacionados. Intuitivamente, el género es el número de "agujeros" de una superficie . [1] Una esfera tiene género 0, mientras que un toro tiene género 1.
El género de una superficie conexa y orientable es un número entero que representa el número máximo de cortes a lo largo de curvas simples cerradas que no se intersecan sin que la variedad resultante quede desconectada. [2] Es igual al número de puntos de control que tiene. Alternativamente, se puede definir en términos de la característica de Euler χ , a través de la relación χ = 2 − 2 g para superficies cerradas , donde g es el género. Para superficies con b componentes de contorno , la ecuación se lee χ = 2 − 2 g − b .
En términos sencillos, el género es el número de "agujeros" que tiene un objeto ("agujeros" se interpreta en el sentido de agujeros de rosquilla; se consideraría que una esfera hueca tiene cero agujeros en este sentido). [3] Un toro tiene 1 de esos agujeros, mientras que una esfera tiene 0. La superficie verde que se muestra arriba tiene 2 agujeros del tipo relevante.
Por ejemplo:
La construcción explícita de superficies del género g se da en el artículo sobre el polígono fundamental .
El género no orientable , demigénero o género de Euler de una superficie cerrada no orientable y conexa es un número entero positivo que representa el número de casquetes cruzados unidos a una esfera . Alternativamente, se puede definir para una superficie cerrada en términos de la característica de Euler χ, a través de la relación χ = 2 − k , donde k es el género no orientable.
Por ejemplo:
El género de un nudo K se define como el género mínimo de todas las superficies de Seifert para K . [4] Sin embargo, una superficie de Seifert de un nudo es una variedad con borde , siendo el borde el nudo, es decir, homeomorfo al círculo unitario. El género de una superficie de este tipo se define como el género de la doble variedad, que se obtiene pegando el disco unitario a lo largo del borde.
El género de un cuerpo de manija tridimensional es un número entero que representa el número máximo de cortes a lo largo de los discos incrustados sin que la variedad resultante quede desconectada. Es igual al número de manijas que tiene.
Por ejemplo:
El género de un grafo es el entero mínimo n tal que el grafo puede dibujarse sin cruzarse consigo mismo en una esfera con n puntos de referencia (es decir, una superficie orientada de género n ). Por lo tanto, un grafo plano tiene género 0, porque puede dibujarse en una esfera sin cruzarse consigo mismo.
El género no orientable de un grafo es el entero mínimo n tal que el grafo puede dibujarse sin cruzarse sobre una esfera con n tapas cruzadas (es decir, una superficie no orientable de género (no orientable) n ). (Este número también se denomina demigénero ) .
El género de Euler es el entero mínimo n tal que el gráfico puede dibujarse sin cruzarse en una esfera con n tapas cruzadas o en una esfera con n/2 asas. [5]
En la teoría de grafos topológicos existen varias definiciones del género de un grupo . Arthur T. White introdujo el siguiente concepto: el género de un grupo G es el género mínimo de un grafo de Cayley (conexo, no dirigido) para G.
El problema del género gráfico es NP-completo . [6]
Existen dos definiciones relacionadas de género de cualquier esquema algebraico proyectivo X : el género aritmético y el género geométrico . [7] Cuando X es una curva algebraica con cuerpo de definición los números complejos , y si X no tiene puntos singulares , entonces estas definiciones concuerdan y coinciden con la definición topológica aplicada a la superficie de Riemann de X (su variedad de puntos complejos). Por ejemplo, la definición de curva elíptica de la geometría algebraica está conectada curva proyectiva no singular de género 1 con un punto racional dado en ella .
Por el teorema de Riemann-Roch , una curva plana irreducible de grado dado por el lugar geométrico de desaparición de una sección tiene género geométrico
donde es el número de singularidades cuando se cuentan correctamente.
En geometría diferencial , un género de una variedad orientada puede definirse como un número complejo sujeto a las condiciones
En otras palabras, es un homomorfismo de anillo , donde es el anillo de cobordismo orientado de Thom . [8]
El género es multiplicativo para todos los fibrados en variedades de espinor con una estructura compacta conexa si es una integral elíptica tal como para algunos Este género se llama género elíptico.
La característica de Euler no es un género en este sentido ya que no es invariante con respecto a los cobordismos.
El género también se puede calcular para el gráfico abarcado por la red de interacciones químicas en ácidos nucleicos o proteínas . En particular, se puede estudiar el crecimiento del género a lo largo de la cadena. Esta función (denominada traza del género) muestra la complejidad topológica y la estructura del dominio de las biomoléculas. [9]
