Cohomología equivalente y secuencia de Mayer-Vietoris

Estoy leyendo este artículo sobre la teoría del campo topológico y estoy un poco confundido acerca de la forma en que calcula la cohomología equivalente de S 2 bien tu ( 1 ) , es decir H S 1 ( S 2 ) . Puede encontrar esto en la página 92 ​​- 93. En particular, hay dos problemas:

  1. Me queda claro el significado de la ec. (10.24), es decir, estoy de acuerdo con eso k clase de cohomología th para k 2 . Pero no entiendo cómo encontrar eso para k = 1 . Mi razonamiento es el siguiente. Considero la secuencia exacta (para evitar notaciones engorrosas, escribiré H en lugar de H S 1 )
    0 H 0 ( S 2 ) H 0 ( tu 1 ) H 0 ( tu 2 ) H 0 ( tu 1 tu 2 ) H 1 ( S 2 ) H 1 ( tu 1 ) H 1 ( tu 2 ) 0.
    Entonces, como se explica en la parte superior de la página 93, H ( tu i ) = C [ Ω ] , además desde tu 1 tu 2 es una retracción de deformación de S 1 en la que S 1 actúa libremente, de modo que H 0 ( tu 1 tu 2 ) = C [ Ω ] . Por eso me quedo con:
    0 H 0 ( S 2 ) C [ Ω ] C [ Ω ] C [ Ω ] H 1 ( S 2 ) C [ Ω ] C [ Ω ] 0.
    Ahora, ¿es esto correcto? ¿Cómo puedo deducir H 0 y H 1 ?
  2. ¿Por qué en (10.25) especifica F ( 0 ) = gramo ( 0 ) ? ¿De dónde viene esta condición?

Además, en lo que sigue inmediatamente, también intenta calcular la misma cohomología con el modelo de Cartan. Aquí lo que no me queda claro es que él dice que una clase de cohmología es

h 1 ( Ω ) ( d ϕ d θ + Ω porque θ ) + h 2 ( Ω )
pero esto parece ser sólo una posible forma par ya que el grado de Ω es 2 y hay una forma dos adentro. ¿Como funciona?

Comentario menor a la publicación (v1): en el futuro, enlace a páginas de resumen en lugar de archivos pdf, por ejemplo, arxiv.org/abs/hep-th/9411210
Respondí a sus preguntas sobre el cálculo de los grados bajos de la cohomología. En realidad, no entendí su pregunta sobre el modelo de Cartan, y de todos modos es una pregunta diferente. Te aconsejo que lo elimines y lo pidas por separado.

Respuestas (1)

No entendiste el significado de H S 1 ( tu 1 ) = C [ Ω ] . esto no significa H S 1 i ( tu 1 ) = C [ Ω ] i , significa que el anillo de cohomología (con la multiplicación dada por el producto de taza ) está dado por el álgebra polinomial en un elemento que tiene grado 2. Traducido nuevamente a los grados individuales H i esta declaración es

H S 1 i ( tu 1 ) = { C i  incluso 0 i  extraño

La secuencia exacta correcta en los grados bajos es

0 H S 1 0 ( S 2 ) C C C H S 1 1 ( S 2 ) 0
donde ahora H S 1 0 ( S 2 ) C C es inyectivo y necesitas convencerte de que el mapa C C C inducida por las restricciones ( tu 1 tu 1 tu 2 , tu 2 tu 1 tu 2 ) es dado por C C C , ( a , b ) a b . Esto es más fácil de entender en la cohomología de deRham, ya que en el mapa de Mayer-Vietoris siempre existe la diferencia de las formas en la superposición. Por exactitud e inyectividad, el núcleo de este mapa es H S 1 0 ( S 2 ) , y el núcleo es { ( a , b ) C 2 a = b } C . Además, este mapa es sobreyectivo, por lo que por exactitud, H S 1 1 ( S 2 ) = 0 .

Por cierto, esto también responde donde la restricción F ( 0 ) = gramo ( 0 ) en la expresión para H S 1 ( S 2 ) viene de - F ( 0 ) , gramo ( 0 ) son las partes de grado cero de los elementos del anillo de cohomología, y acabamos de mostrar que el grado cero no es H S 1 0 ( tu 1 ) H S 1 0 ( tu 2 ) , pero sólo la diagonal.

Gracias por tu clara respuesta. Aún me queda una duda: en este caso el grado de una forma sólo está dado por la potencia de Ω gramo , o también sumando a esto el grado de la forma en Ω ( METRO ) ?
@MaPo: En el modelo de Cartan, donde está el complejo " Ω GRAMO ( METRO ) = ( S ( gramo ) Ω ( METRO ) ) GRAMO ", la calificación real está dada por Ω GRAMO ( METRO ) i = 2 j + k = i ( S j ( gramo ) Ω ( METRO ) k ) GRAMO , es decir, una forma equivalente de grado i es un k -formulario con j poderes en gramo tal que 2 j + k = i .