Cohomología elíptica

Invariante algebraico de espacios topológicos

En matemáticas , la cohomología elíptica es una teoría de cohomología en el sentido de topología algebraica . Está relacionado con las curvas elípticas y las formas modulares .

Historia y motivación

Históricamente, la cohomología elíptica surgió del estudio de los géneros elípticos . Atiyah e Hirzebruch sabían que si actúa de manera suave y no trivial en un colector de espín, entonces el índice del operador de Dirac desaparece. En 1983, Witten conjeturó que en esta situación el índice equivariante de cierto operador de Dirac retorcido es al menos constante. Esto condujo a otros problemas relacionados con las acciones sobre variedades, que Ochanine podría resolver mediante la introducción de géneros elípticos. A su vez, Witten los relacionó con la teoría de índices (conjetural) en espacios de bucles libres . La cohomología elíptica, inventada en su forma original por Landweber, Stong y Ravenel a finales de la década de 1980, se introdujo para aclarar ciertas cuestiones con los géneros elípticos y proporcionar un contexto para la teoría de índices (conjetural) de familias de operadores diferenciales en espacios de bucles libres. En cierto sentido, puede verse como una aproximación a la teoría K del espacio de bucle libre. ${\displaystyle S^{1}}$ ${\displaystyle S^{1}}$

Definiciones y construcciones.

Llame a una teoría de cohomología par periódica si para i impar y hay un elemento invertible . Estas teorías poseen una orientación compleja , que da una ley de grupo formal . Una fuente particularmente rica de leyes formales de grupos son las curvas elípticas . Una teoría de cohomología con ${\displaystyle A^{*}}$ ${\displaystyle A^{i}=0}$ ${\displaystyle u\in A^{2}}$ ${\displaystyle A}$

${\displaystyle A^{0}=R}$

se llama elíptica si es incluso periódica y su ley de grupo formal es isomorfa a una ley de grupo formal de una curva elíptica sobre . La construcción habitual de tales teorías de cohomología elíptica utiliza el teorema del funtor exacto de Landweber . Si la ley formal del grupo es exacta de Landweber, se puede definir una teoría de cohomología elíptica (en complejos finitos) por ${\displaystyle E}$ ${\displaystyle R}$ ${\displaystyle E}$

${\displaystyle A^{*}(X)=MU^{*}(X)\otimes _{MU^{*}}R[u,u^{-1}].\,}$

Franke ha identificado las condiciones necesarias para cumplir con la exactitud de Landweber:

1. ${\displaystyle R}$necesita estar plano ${\displaystyle \mathbb {Z} }$
2. No existe un componente irreducible de , donde la fibra es supersingular para cada ${\displaystyle X}$ ${\displaystyle {\text{Spec }}R/pR}$ ${\displaystyle E_{x}}$ ${\displaystyle x\in X}$

Estas condiciones se pueden comprobar en muchos casos relacionados con géneros elípticos. Además, las condiciones se cumplen en el caso universal en el sentido de que el mapa del conjunto de módulos de curvas elípticas al conjunto de módulos de grupos formales

${\displaystyle {\mathcal {M}}_{1,1}\to {\mathcal {M}}_{fg}}$

es plano . Esto da entonces un conjunto previo de teorías de cohomología.

${\displaystyle {\mathcal {O}}_{e\ell \ell }^{pre}:{\text{Aff}}/({\mathcal {M}}_{1,1})_{flat}\to {\textbf {Spectra}}}$

sobre el sitio de esquemas afines planos sobre la pila de módulos de curvas elípticas. El deseo de obtener una teoría de cohomología elíptica universal tomando secciones globales ha llevado a la construcción de formas modulares topológicas ^{[1] pg 20}

${\displaystyle \mathbf {Tmf} ={\underset {X\to {\mathcal {M}}_{1,1}}{\textbf {Holim}}}{\text{ }}{\mathcal {O}}_{e\ell \ell }^{pre}(X)}$

como el límite de homotopía de este prehaz sobre el sitio anterior.

Ver también

• Geometría algebraica espectral
• Jacobiano intermedio
• Teoría de la homotopía cromática

Referencias

1. Goerss, Paul G. (8 de mayo de 2009). "Realización de familias de teorías de homología exacta de Landweber". arXiv : 0905.1319 [matemáticas.AT].

• Franke, Jens (1992), "Sobre la construcción de la cohomología elíptica", Mathematische Nachrichten , 158 (1): 43–65, doi :10.1002/mana.19921580104.
• Landweber, Peter S. (1988), "Géneros elípticos: una descripción general introductoria", en Landweber, PS (ed.), Curvas elípticas y formas modulares en topología algebraica , Lecture Notes in Mathematics, vol. 1326, Berlín: Springer, págs. 1-10, ISBN 3-540-19490-8.
• Landweber, Peter S. (1988), "Cohomología elíptica y formas modulares", en Landweber, PS (ed.), Curvas elípticas y formas modulares en topología algebraica , Lecture Notes in Mathematics, vol. 1326, Berlín: Springer, págs. 55–68, ISBN 3-540-19490-8.
• Landweber, PS; Ravenel, D. y Stong, R. (1995), "Teorías de cohomología periódica definidas por curvas elípticas", en Cenkl, M. y Miller, H. (eds.), The Čech Centennial 1993 , Contemp. Matemáticas, vol. 181, Boston: Amer. Matemáticas. Soc., págs. 317–338, ISBN 0-8218-0296-8.
• Lurie, Jacob (2009), "Un estudio de cohomología elíptica", en Baas, Nils; Friedlander, Eric M.; Jahren, Björn; et al. (eds.), Topología algebraica: The Abel Symposium 2007 , Berlín: Springer, págs. 219–277, doi :10.1007/978-3-642-01200-6, hdl : 2158/373831 , ISBN 978-3-642-01199-3.

Artículos fundacionales

• Cohomología elíptica - Graeme Segal

Ampliaciones a los colectores Calabi-Yau

• Espectros K3
• Construyendo espectros K3 explícitos
• Las curvas elípticas en la teoría de calibres, la teoría de cuerdas y la cohomología.