El teorema de isomorfismo de Almgren es un resultado de la teoría de la medida geométrica y la topología algebraica sobre la topología del espacio de ciclos planos en una variedad de Riemann.
El teorema juega un papel fundamental en la teoría min-max de Almgren-Pitts ya que establece la existencia de familias de ciclos topológicamente no triviales, que fueron utilizadas por Frederick J. Almgren Jr. , Jon T. Pitts y otros para demostrar la existencia de subvariedades mínimas (posiblemente singulares) en cada variedad de Riemann. En el caso especial del espacio de ciclos de codimensión 1 nulo-homólogos con coeficientes módulo 2 en una variedad de Riemann cerrada, el teorema de isomorfismo de Almgren implica que es débilmente homotópicamente equivalente al espacio proyectivo real infinito . [1]
Sea M una variedad riemanniana . El teorema de isomorfismo de Almgren afirma que el m-ésimo grupo de homotopía del espacio de ciclos planos de dimensión k en M es isomorfo al (m+k)-ésimo grupo de homología dimensional de M. Este resultado es una generalización del teorema de Dold–Thom , que puede considerarse como el caso k=0 del teorema de Almgren (1962a (versión tesis doctoral), [2] 1962b (versión Topología (Elsevier) [3] ) [4] . El isomorfismo se define de la siguiente manera. Sea G un grupo abeliano y denote el espacio de ciclos planos con coeficientes en el grupo G. A cada familia de ciclos asociamos un (m+k)-ciclo C de la siguiente manera. Fijemos una triangulación fina T de . A cada vértice v en el 0-esqueleto de T asociamos un ciclo f(v). A cada arista E en el 1-esqueleto de T con ∂E=vw asociamos una cadena (k+1) con un límite f(v)-f(w) de masa mínima. Procedemos de esta manera por inducción sobre el esqueleto de T. La suma de todas las cadenas correspondientes a caras m-dimensionales de T será el ciclo (m+k) deseado C. Aunque las opciones de triangulación y rellenos de masa mínima no fueron únicas, todas dan como resultado un ciclo (m+k) en la misma clase de homología. [5]
