stringtranslate.com

Álgebra de Steenrod

En topología algebraica , Henri Cartan (1955) definió un álgebra de Steenrod  como el álgebra de operaciones de cohomología estable para la cohomología mod .

Para un número primo dado , el álgebra de Steenrod es el álgebra de Hopf graduada sobre el cuerpo de orden , que consiste en todas las operaciones de cohomología estables para la cohomología mod . Se genera por los cuadrados de Steenrod introducidos por Norman Steenrod (1947) para , y por las potencias th reducidas de Steenrod introducidas en Steenrod (1953a, 1953b) y el homomorfismo de Bockstein para .

El término "álgebra de Steenrod" también se utiliza a veces para el álgebra de operaciones de cohomología de una teoría de cohomología generalizada .

Operaciones de cohomología

Una operación de cohomología es una transformación natural entre funtores de cohomología. Por ejemplo, si tomamos una cohomología con coeficientes en un anillo , la operación de elevar al cuadrado el producto de copa produce una familia de operaciones de cohomología:

Las operaciones de cohomología no necesitan ser homomorfismos de anillos graduados; consulte la fórmula de Cartan a continuación.

Estas operaciones no conmutan con la suspensión , es decir, son inestables. (Esto se debe a que si es una suspensión de un espacio , el producto de copa en la cohomología de es trivial). Steenrod construyó operaciones estables

para todos los mayores que cero. La notación y su nombre, los cuadrados de Steenrod, provienen del hecho de que el cuadrado de copa está restringido a las clases de grado . Existen operaciones análogas para los coeficientes primarios impares, generalmente denotadas y llamadas operaciones de potencia reducida:

Generar un álgebra graduada conectada sobre , donde la multiplicación se da por composición de operaciones. Esta es el álgebra de Steenrod mod 2. En el caso , el álgebra de Steenrod mod se genera por y la operación de Bockstein asociada a la secuencia exacta corta

.

En el caso , el elemento Bockstein es y la potencia reducida es .

Como un anillo de cohomología

Podemos resumir las propiedades de las operaciones de Steenrod como generadores en el anillo de cohomología de los espectros de Eilenberg-Maclane

,

ya que hay un isomorfismo

dando una descomposición de suma directa de todas las posibles operaciones de cohomología con coeficientes en . Nótese que el límite inverso de los grupos de cohomología aparece porque es un cálculo en el rango estable de los grupos de cohomología de los espacios de Eilenberg-Maclane. Este resultado [1] fue calculado originalmente [2] por Cartan (1954–1955, p. 7) y Serre (1953).

Obsérvese que hay una caracterización dual [3] que utiliza homología para el álgebra de Steenrod dual .

Observación sobre la generalización de teorías de cohomología generalizadas

Debe observarse que si el espectro de Eilenberg-Maclane se reemplaza por un espectro arbitrario , entonces hay muchos desafíos para estudiar el anillo de cohomología . En este caso, se debe considerar en cambio el álgebra dual generalizada de Steenrod porque tiene propiedades mucho mejores y se puede estudiar de manera manejable en muchos casos (como ). [4] De hecho, estos espectros de anillo son conmutativos y los bimódulos son planos. En este caso, se trata de una coacción canónica de en para cualquier espacio , de modo que esta acción se comporta bien con respecto a la categoría de homotopía estable, es decir, hay un isomorfismo, por lo tanto, podemos usar la unidad del espectro del anillo para obtener una coacción de en .

Caracterización axiomática

Norman Steenrod y David BA Epstein (1962) demostraron que los cuadrados de Steenrod se caracterizan por los siguientes 5 axiomas:

  1. Naturalidad: es un homomorfismo aditivo y es natural con respecto a cualquier , por lo que .
  2. es el homomorfismo de identidad.
  3. para .
  4. Si entonces
  5. Fórmula de Cartan:

Además, los cuadrados de Steenrod tienen las siguientes propiedades:

De manera similar, los siguientes axiomas caracterizan las potencias reducidas para .

  1. Naturalidad: es un homomorfismo aditivo y natural.
  2. es el homomorfismo de identidad.
  3. es la copa -ésima potencia en clases de grado .
  4. Si entonces
  5. Fórmula de Cartan:

Como antes, las potencias p -ésimas reducidas también satisfacen las relaciones Adem y conmutan con los operadores de suspensión y límite.

Relaciones Adem

Las relaciones de Adem para fueron conjeturadas por Wen-tsün Wu  (1952) y establecidas por José Adem  (1952). Están dadas por

para todos aquellos que . (Los coeficientes binomiales deben interpretarse módulo 2.) Las relaciones de Adem permiten escribir una composición arbitraria de cuadrados de Steenrod como una suma de elementos de base de Serre-Cartan.

Por extraño que parezca, las relaciones con Adem son

para un < pb y

para .

Identidades de Bullett y Macdonald

Shaun R. Bullett e Ian G. Macdonald  (1982) reformularon las relaciones de Adem como las siguientes identidades.

Para poner

entonces las relaciones Adem son equivalentes a

Para poner

Entonces las relaciones de Adem son equivalentes a la afirmación de que

es simétrica en y . Aquí está la operación de Bockstein y .

Interpretación geométrica

Existe una interpretación geométrica sencilla y agradable de los cuadrados de Steenrod utilizando variedades que representan clases de cohomología. Supongamos que es una variedad suave y consideramos una clase de cohomología representada geométricamente como una subvariedad suave . Cohomológicamente, si dejamos que represente la clase fundamental de entonces la función pushforward

da una representación de . Además, asociado a esta inmersión hay un fibrado vectorial real llamado fibrado normal . Ahora se pueden entender los cuadrados de Steenrod de : son el empuje hacia delante de la clase Stiefel-Whitney del fibrado normal

lo que da una razón geométrica de por qué los productos de Steenrod finalmente desaparecen. Nótese que debido a que las funciones de Steenrod son homomorfismos de grupo, si tenemos una clase que se puede representar como una suma

donde se representan como variedades, podemos interpretar los cuadrados de las clases como sumas de los empujes hacia delante de los fibrados normales de sus variedades suaves subyacentes, es decir,

Además, esta equivalencia está fuertemente relacionada con la fórmula de Wu .

Cálculos

Espacios proyectivos complejos

En el plano proyectivo complejo , solo existen los siguientes grupos de cohomología no triviales,

,

como se puede calcular utilizando una descomposición celular. Esto implica que el único producto de Steenrod no trivial posible es en ya que da el producto de taza en la cohomología. Como la estructura del producto de taza en no es trivial, este cuadrado no es trivial. Hay un cálculo similar en el espacio proyectivo complejo , donde los únicos cuadrados no triviales son y las operaciones de elevación al cuadrado en los grupos de cohomología que representan el producto de taza . En el cuadrado

se puede calcular utilizando las técnicas geométricas descritas anteriormente y la relación entre las clases de Chern y las clases de Stiefel–Whitney; tenga en cuenta que representa la clase distinta de cero en . También se puede calcular directamente utilizando la fórmula de Cartan ya que y

Espacio proyectivo real infinito

Las operaciones de Steenrod para espacios proyectivos reales se pueden calcular fácilmente utilizando las propiedades formales de los cuadrados de Steenrod. Recordemos que

donde Para las operaciones sobre sabemos que

La relación de Cartan implica que el cuadrado total

es un homomorfismo de anillo

Por eso

Como solo hay un componente de grado de la suma anterior, tenemos que

Construcción

Supóngase que es cualquier subgrupo de grado del grupo simétrico en puntos, una clase de cohomología en , un grupo abeliano sobre el que actúa , y una clase de cohomología en . Steenrod (1953a, 1953b) mostró cómo construir una potencia reducida en , de la siguiente manera.

  1. Tomando el producto externo de por sí mismo por da un cociclo equivariante en con coeficientes en .
  2. Elija ser un espacio contráctil en el que actúa libremente y un mapa equivariante de a Al retroceder mediante este mapa se obtiene un cociclo equivariante en y, por lo tanto, un cociclo de con coeficientes en .
  3. Tomando el producto inclinado con en se obtiene un cociclo de con coeficientes en .

Los cuadrados de Steenrod y las potencias reducidas son casos especiales de esta construcción donde es un grupo cíclico de orden primo que actúa como una permutación cíclica de elementos, y los grupos y son cíclicos de orden , por lo que también es cíclico de orden .

Propiedades del álgebra de Steenrod

Además de la estructura axiomática que satisface el álgebra de Steenrod, tiene una serie de propiedades útiles adicionales.

Fundamento del álgebra de Steenrod

Jean-Pierre Serre (1953) (para ) y Henri Cartan (1954, 1955) (para ) describieron la estructura del álgebra de Steenrod de operaciones de cohomología de módulos estables, mostrando que se genera por el homomorfismo de Bockstein junto con las potencias reducidas de Steenrod, y las relaciones de Adem generan el ideal de relaciones entre estos generadores. En particular, encontraron una base explícita para el álgebra de Steenrod. Esta base se basa en una cierta noción de admisibilidad para secuencias de números enteros. Decimos que una secuencia

es admisible si para cada , tenemos que . Entonces los elementos

donde es una secuencia admisible, forma una base (la base de Serre-Cartan) para el álgebra de Steenrod módulo 2, llamada base admisible . Existe una base similar para el caso que consta de los elementos

,

de tal manera que

La estructura del álgebra de Hopf y la base de Milnor

El álgebra de Steenrod tiene más estructura que un álgebra graduada. También es un álgebra de Hopf , por lo que en particular hay una función diagonal o de comultiplicación .

inducida por la fórmula de Cartan para la acción del álgebra de Steenrod sobre el producto de taza. Este mapa es más fácil de describir que el mapa del producto y está dado por

.

Estas fórmulas implican que el álgebra de Steenrod es co-commutativa .

El dual lineal de convierte el dual lineal (graduado) de A en un álgebra. John Milnor  (1958) demostró, para , que es un álgebra polinómica , con un generador de grado , para cada k , y para el álgebra dual de Steenrod es el producto tensorial del álgebra polinómica en generadores de grado y el álgebra exterior en generadores τ k de grado . La base monomial para entonces da otra opción de base para A , llamada la base de Milnor. El dual del álgebra de Steenrod es a menudo más conveniente para trabajar, porque la multiplicación es (super) conmutativa. La comultiplicación para es el dual del producto en A ; está dada por

donde , y
si .

Los únicos elementos primitivos de for son los elementos de la forma , y estos son duales a (los únicos indecomponibles de A ).

Relación con grupos formales

Las álgebras duales de Steenrod son álgebras de Hopf superconmutativas, por lo que sus espectros son esquemas de supergrupos de álgebras. Estos esquemas de grupos están estrechamente relacionados con los automorfismos de grupos formales aditivos unidimensionales. Por ejemplo, si entonces el álgebra dual de Steenrod es el esquema de grupo de automorfismos del esquema de grupo formal aditivo unidimensional que son la identidad de primer orden. Estos automorfismos son de la forma

Álgebras sub-Hopf finitas

El álgebra de Steenrod admite una filtración por subálgebras de Hopf finitas. Como se genera por los elementos [5]

,

Podemos formar subálgebras generadas por los cuadrados de Steenrod.

,

dando la filtración

Estas álgebras son importantes porque se pueden utilizar para simplificar muchos cálculos de secuencias espectrales de Adams, como para , y . [6]

Construcción algebraica

Larry Smith (2007) dio la siguiente construcción algebraica del álgebra de Steenrod sobre un cuerpo finito de orden q . Si V es un espacio vectorial sobre entonces escribe SV para el álgebra simétrica de V . Existe un homomorfismo de álgebra

donde F es el endomorfismo de Frobenius de SV . Si ponemos

o

porque entonces si V es de dimensión infinita los elementos generan un isomorfismo algebraico al subálgebra del álgebra de Steenrod generada por las potencias p′ reducidas para p impar, o los cuadrados de Steenrod pares para .

Aplicaciones

Las primeras aplicaciones del álgebra de Steenrod fueron los cálculos de Jean-Pierre Serre de algunos grupos de homotopía de esferas, utilizando la compatibilidad de diferenciales transgresivas en la secuencia espectral de Serre con las operaciones de Steenrod, y la clasificación de René Thom de variedades suaves hasta el cobordismo, a través de la identificación del anillo graduado de clases de bordismo con los grupos de homotopía de complejos de Thom, en un rango estable. Esto último fue refinado al caso de variedades orientadas por CTC Wall . Una famosa aplicación de las operaciones de Steenrod, que involucra factorizaciones a través de operaciones de cohomología secundaria asociadas a relaciones de Adem apropiadas, fue la solución por J. Frank Adams del problema del uno invariante de Hopf . Una aplicación del álgebra de Steenrod mod 2 que es bastante elemental es el siguiente teorema.

Teorema . Si existe una función de Hopf invariante uno , entonces n es una potencia de 2.

La prueba utiliza el hecho de que cada uno es descomponible para k que no es una potencia de 2; es decir, tal elemento es un producto de cuadrados de grado estrictamente menor.

Michael A. Mandell dio una prueba del siguiente teorema estudiando el álgebra de Steenrod (con coeficientes en el cierre algebraico de ):

Teorema . El funtor cocadena singular con coeficientes en el cierre algebraico de induce una equivalencia contravariante de la categoría de homotopía de espacios nilpotentes -completos conexos de tipo finito a una subcategoría completa de la categoría de homotopía de [[ -álgebras]] con coeficientes en el cierre algebraico de .

Conexión con la secuencia espectral de Adams y los grupos de homotopía de esferas

La cohomología del álgebra de Steenrod es el término para la secuencia espectral de Adams ( p -local ) , cuyo punto de apoyo es el componente p de los grupos de homotopía estable de esferas. Más específicamente, el término de esta secuencia espectral puede identificarse como

Esto es lo que se quiere decir con el aforismo "la cohomología del álgebra de Steenrod es una aproximación a los grupos de homotopía estable de las esferas".

Véase también

Referencias

  1. ^ "topología at.algebraica – (Co)homología de los espacios de Eilenberg–MacLane K(G,n)". MathOverflow . Consultado el 15 de enero de 2021 .
  2. ^ Adams (1974), pág. 277.
  3. ^ Adams (1974), pág. 279.
  4. ^ Adams (1974), pág. 280.
  5. ^ Mosher y Tangora (2008), pág. 47.
  6. ^ Ravenel (1986), págs. 63–67.

Pedagógico

Configuración motívica

Referencias