En matemáticas , específicamente en la topología algebraica , el producto taza es un método de dos contiguo cociclos de grado p y q para formar un cociclo compuesto de grado p + q . Esto define una operación de producto conmutativo graduada asociativa (y distributiva) en cohomología, convirtiendo la cohomología de un espacio X en un anillo graduado, H ∗ ( X ), llamado anillo de cohomología . El producto de la taza se introdujo en el trabajo de JW Alexander , Eduard Čech y Hassler Whitneyde 1935 a 1938 y, en general, por Samuel Eilenberg en 1944.
Definición
En cohomology singular , el producto taza es una construcción que da un producto en el graduada anillo de cohomología H * ( X ) de un espacio topológico X .
La construcción comienza con un producto de cochains : si c p es una p -cochain yd q es una q -cochain, entonces
donde σ es un singular ( p + q ) - simplex yes la incrustación canónica del simplex ampliado por S en el-simplex cuyos vértices están indexados por .
Informalmente es la p -ésima cara frontal yes la q -ésima cara posterior de σ, respectivamente.
El co-límite del producto de copa de las cadenas c p y d q está dado por
El producto de taza de dos ciclos es nuevamente un ciclo, y el producto de un co-límite con un co-ciclo (en cualquier orden) es un co-límite. La operación del producto en taza induce una operación bilineal en cohomología,
Propiedades
El funcionamiento del producto en taza en cohomología satisface la identidad
de modo que la multiplicación correspondiente sea graduada-conmutativa .
El producto copa es funtorial , en el siguiente sentido: si
es una función continua, y
es el homomorfismo inducido en cohomología, entonces
para todas las clases α, β en H * ( Y ). En otras palabras, f * es un homomorfismo de anillo (graduado) .
Interpretación
Es posible ver el producto de taza. como inducido por la siguiente composición:
en términos de los complejos de cadena de y , donde el primer mapa es el mapa de Künneth y el segundo es el mapa inducido por la diagonal .
Esta composición pasa al cociente para dar un mapa bien definido en términos de cohomología, este es el producto en taza. Este enfoque explica la existencia de un producto en taza para cohomología pero no para homología: induce un mapa pero también induciría un mapa , que va al revés para permitirnos definir un producto. Sin embargo, esto es útil para definir el producto de tope .
La bilinealidad se deriva de esta presentación del producto en taza, es decir y
Ejemplos de
Los productos de copa pueden usarse para distinguir colectores de cuñas de espacios con grupos de cohomología idénticos. El espaciotiene los mismos grupos de cohomología que el toro T , pero con un producto de copa diferente. En el caso de X la multiplicación de las monedas asociadas a las copias dees degenerado, mientras que en T la multiplicación en el primer grupo de cohomología se puede usar para descomponer el toro como un diagrama de 2 celdas, teniendo así un producto igual a Z (más generalmente M donde este es el módulo base).
Otras definiciones
Producto de copa y formas diferenciales
En la cohomología de De Rham , el producto de la taza de formas diferenciales es inducido por el producto de la cuña . En otras palabras, el producto en cuña de dos formas diferenciales cerradas pertenece a la clase de Rham del producto en taza de las dos clases de Rham originales.
Producto de copa e intersecciones geométricas.
Para las variedades orientadas, existe una heurística geométrica de que "el producto de la taza es dual para las intersecciones". [1] [2]
De hecho, deja ser un colector suave orientado de dimensión. Si dos subvariedades de codimensión y se cruzan transversalmente , luego su intersección es de nuevo una subvariedad de codimensión . Al tomar las imágenes de las clases de homología fundamental de estas variedades bajo inclusión, se puede obtener un producto bilineal sobre la homología. Este producto es Poincaré dual al producto de taza, en el sentido de que tomando los maridajes Poincaré luego está la siguiente igualdad:
. [1]
De manera similar, el número de enlace se puede definir en términos de intersecciones, cambiando las dimensiones en 1 o, alternativamente, en términos de un producto de taza que no desaparece en el complemento de un enlace.
Productos Massey
El producto de taza es una operación binaria (2-aria); se puede definir una operación ternaria (3-aria) y de orden superior llamada producto de Massey , que generaliza el producto de taza. Se trata de una operación de cohomología de orden superior , que solo se define parcialmente (solo se define para algunos triples).
Ver también
Referencias
- James R. Munkres, "Elementos de topología algebraica", Perseus Publishing, Cambridge Massachusetts (1984) ISBN 0-201-04586-9 (tapa dura) ISBN 0-201-62728-0 ( tapa blanda )
- Glen E. Bredon , "Topología y geometría", Springer-Verlag, Nueva York (1993) ISBN 0-387-97926-3
- Allen Hatcher, " Topología algebraica ", Cambridge Publishing Company (2002) ISBN 0-521-79540-0