Invariante topológico de variedades que pueden distinguir variedades equivalentes a homotopía
En matemáticas, la torsión de Reidemeister (o torsión R , o torsión de Reidemeister-Franz ) es una invariante topológica de variedades introducida por Kurt Reidemeister (Reidemeister 1935) para 3 variedades y generalizada a dimensiones superiores por Wolfgang Franz (1935) y Georges de Rham. (1936). La torsión analítica (o torsión de Ray-Singer ) es una invariante de las variedades de Riemann definidas por Daniel B. Ray e Isadore M. Singer (1971, 1973a, 1973b) como un análogo analítico de la torsión de Reidemeister. Jeff Cheeger (1977, 1979) y Werner Müller (1978) demostraron la conjetura de Ray y Singer de que la torsión de Reidemeister y la torsión analítica son iguales para variedades compactas de Riemann.
La torsión de Reidemeister fue el primer invariante en topología algebraica que podía distinguir entre variedades cerradas que son homotópicamente equivalentes pero no homeomórficas y, por lo tanto, puede verse como el nacimiento de la topología geométrica como un campo distinto. Se puede utilizar para clasificar los espacios de las lentes .
La torsión de Reidemeister está estrechamente relacionada con la torsión de Whitehead ; ver (Milnor 1966). También ha dado una motivación importante a la topología aritmética ; ver (Mazur). Para trabajos más recientes sobre torsión, consulte los libros (Turaev 2002) y (Nicolaescu 2002, 2003).
Definición de torsión analítica
Si M es una variedad de Riemann y E un paquete de vectores sobre M , entonces hay un operador laplaciano que actúa sobre las k -formas con valores en E . Si los valores propios en k -formas son λ j entonces la función zeta ζ k se define como
![{\displaystyle \zeta _ {k}(s)=\sum _ {\lambda _ {j}>0}\lambda _ {j}^{-s}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para s grande, y esto se extiende a todos los complejos s mediante continuación analítica . El determinante zeta regularizado del laplaciano que actúa sobre k -formas es
![{\displaystyle \Delta _ {k}=\exp(-\zeta _ {k}^{\prime}(0))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
que es formalmente el producto de los valores propios positivos del laplaciano que actúan sobre k -formas. La torsión analítica T ( M , E ) se define como
![{\displaystyle T(M,E)=\exp \left(\sum _{k}(-1)^{k}k\zeta _{k}^{\prime }(0)/2\right)= \prod _{k}\Delta _{k}^{-(-1)^{k}k/2}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Definición de torsión de Reidemeister
Sea un complejo CW finito conectado con grupo fundamental
y cobertura universal , y sea una representación ortogonal de dimensión finita . Suponer que
![{\displaystyle {\tilde {X}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{n}^{\pi }(X;U):=H_{n}(U\otimes _{\mathbf {Z} [\pi ]}C_{*}({\tilde {X} }))=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para todos n. Si fijamos una base celular para y una base ortogonal para , entonces es un complejo de cadena libre de base finita contráctil. Sea cualquier contracción en cadena de D * , es decir, para todos . Obtenemos un isomorfismo con , . Definimos la torsión de Reidemeister.![{\displaystyle C_{*}({\tilde {X}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D_{*}:=U\otimes _ {\mathbf {Z} [\pi ]}C_{*}({\tilde {X}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma _{*}:D_{*}\to D_{*+1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d_{n+1}\circ \gamma _ {n}+\gamma _ {n-1}\circ d_ {n}=id_ {D_ {n}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (d_{*}+\gamma _{*})_{\text{impar}}:D_{\text{impar}}\to D_{\text{par}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D_{\text{impar}}:=\oplus _ {n\,impar}\,D_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D_{\text{par}}:=\oplus _ {n\,{\text{par}}}\,D_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \rho (X;U):=|\det(A)|^{-1}\in \mathbf {R} ^{>0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde A es la matriz de con respecto a las bases dadas. La torsión de Reidemeister es independiente de la elección de la base celular , la base ortogonal y la contracción de la cadena .![{\displaystyle (d_{*}+\gamma _{*})_{\text{impar}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \rho (X;U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{*}({\tilde {X}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma _{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Sea una variedad compacta y suave y sea una representación unimodular. Tiene una triangulación suave. Para cualquier elección de volumen , obtenemos una invariante . Luego llamamos al número real positivo torsión de Reidemeister de la variedad con respecto a y .![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \rho \dos puntos \pi (M)\rightarrow GL(E)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu \in \det H_{*}(M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \tau _{M}(\rho :\mu )\in \mathbf {R} ^{+}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \tau _ {M}(\rho :\mu )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\rho}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una breve historia de la torsión de Reidemeister
La torsión de Reidemeister se utilizó por primera vez para clasificar combinatoriamente espacios de lentes tridimensionales en (Reidemeister 1935) por Reidemeister, y en espacios de dimensiones superiores por Franz. La clasificación incluye ejemplos de variedades tridimensionales equivalentes a homotopía que no son homeomorfas ; en ese momento (1935) la clasificación solo llegaba hasta el homeomorfismo PL , pero más tarde, EJ Brody (1960) demostró que en realidad se trataba de una clasificación hasta el homeomorfismo .
JHC Whitehead definió la "torsión" de una equivalencia de homotopía entre complejos finitos. Ésta es una generalización directa del concepto de Reidemeister, Franz y de Rham; pero es una invariante más delicada. La torsión de Whitehead proporciona una herramienta clave para el estudio de variedades combinatorias o diferenciables con un grupo fundamental no trivial y está estrechamente relacionada con el concepto de "tipo de homotopía simple", ver (Milnor 1966)
En 1960, Milnor descubrió la relación de dualidad de invariantes de torsión de variedades y demostró que el polinomio de nudos de Alexander (retorcido) es la torsión de Reidemeister de su complemento de nudo en . (Milnor 1962) Para cada q la dualidad de Poincaré induce
![{\displaystyle P_{o}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P_{o}\colon \operatorname {det} (H_{q}(M)){\overset {\sim }{\,\longrightarrow \,}}(\operatorname {det} (H_{nq} (M)))^{-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y luego obtenemos
![{\displaystyle \Delta (t)=\pm t^{n}\Delta (1/t).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En ellos juega un papel central la representación del grupo fundamental del complemento de nudos. Da la relación entre la teoría de nudos y los invariantes de torsión.
Teorema de Cheeger-Müller
Sea una variedad de Riemann compacta orientable de dimensión n y una representación del grupo fundamental de en un espacio vectorial real de dimensión N. Entonces podemos definir el complejo de de Rham![{\displaystyle (M,g)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \rho \colon \pi (M)\rightarrow \matop {GL} (E)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Lambda ^{0}{\stackrel {d_{0}}{\longrightarrow }}\Lambda ^{1}{\stackrel {d_{1}}{\longrightarrow }}\cdots {\stackrel {d_ {n-1}}{\longrightarrow }}\Lambda ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y el adjunto formal y debido a la planitud de . Como es habitual, también obtenemos el Hodge Laplaciano en formas p ![{\displaystyle d_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \delta _{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle E_ {q}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Delta _ {p} = \ delta _ {p+1}d_ {p}+d_ {p-1} \ delta _ {p}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Suponiendo que , el laplaciano es entonces un operador elíptico positivo semipositivo simétrico con espectro puntual puro![{\displaystyle \partial M=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0\leq \lambda _{0}\leq \lambda _{1}\leq \cdots \rightarrow \infty .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Como antes, podemos definir una función zeta asociada con el laplaciano por![{\displaystyle \Delta _ {q}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Lambda ^{q}(E)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta _ {q}(s;\rho )=\sum _ {\lambda _ {j}>0}\lambda _ {j}^{-s}={\frac {1}{\Gamma (s)}}\int _{0}^{\infty }t^{s-1}{\text{Tr}}(e^{-t\Delta _{q}}-P_{q})dt ,\ \ \ {\text{Re}}(s)>{\frac {n}{2}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
¿Dónde está la proyección de sobre el espacio del núcleo del Laplaciano ? Además, Seeley (1967) demostró que se extiende a una función meromorfa de la cual es holomorfa en .![{\displaystyle P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L^{2}\Lambda (E)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {H}}^{q}(E)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Delta _ {q}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta _ {q}(s;\rho )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s\in \mathbf {C}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Como en el caso de una representación ortogonal, definimos la torsión analítica por![{\displaystyle T_{M}(\rho;E)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T_{M}(\rho ;E)=\exp {\biggl (}{\frac {1}{2}}\sum _{q=0}^{n}(-l)^{q }q{\frac {d}{ds}}\zeta _{q}(s;\rho ){\biggl |}_{s=0}{\biggr )}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En 1971 DB Ray e IM Singer conjeturaron que para cualquier representación unitaria . Esta conjetura de Ray-Singer fue finalmente demostrada, de forma independiente, por Cheeger (1977, 1979) y Müller (1978). Ambos enfoques se centran en el logaritmo de las torsiones y sus trazas. Esto es más fácil para variedades de dimensiones impares que en el caso de dimensiones pares, lo que implica dificultades técnicas adicionales. Este teorema de Cheeger-Müller (que las dos nociones de torsión son equivalentes), junto con el teorema de Atiyah-Patodi-Singer , proporcionaron más tarde la base para la teoría de la perturbación de Chern-Simons .![{\displaystyle T_{M}(\rho ;E)=\tau _ {M}(\rho ;\mu )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\rho}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Posteriormente, JM Bismut y Weiping Zhang dieron una prueba del teorema de Cheeger-Müller para representaciones arbitrarias. Su prueba utiliza la deformación de Witten.
Referencias
- Bismut, J.-M.; Zhang, W. (1 de marzo de 1994), "Métricas de Milnor y Ray-Singer sobre el determinante equivariante de un paquete de vectores planos", Análisis geométrico y funcional , 4 (2): 136–212, doi :10.1007/BF01895837, ISSN 1420-8970, S2CID 121327250
- Brody, EJ (1960), "La clasificación topológica de los espacios de la lente", Annals of Mathematics , 2, 71 (1): 163–184, doi :10.2307/1969884, JSTOR 1969884, MR 0116336
- Cheeger, Jeff (1977), "Torsión analítica y torsión de Reidemeister", Actas de la Academia Nacional de Ciencias de los Estados Unidos de América , 74 (7): 2651–2654, Bibcode : 1977PNAS...74.2651C, doi : 10.1073 /pnas.74.7.2651 , SEÑOR 0451312, PMC 431228 , PMID 16592411
- Cheeger, Jeff (1979), "La torsión analítica y la ecuación del calor", Annals of Mathematics , 2, 109 (2): 259–322, doi :10.2307/1971113, JSTOR 1971113, MR 0528965
- Franz, Wolfgang (1935), "Ueber die Torsion einer Ueberdeckung", Journal für die reine und angewandte Mathematik , 1935 (173): 245–254, doi :10.1515/crll.1935.173.245, S2CID 125224119
- Milnor, John (1962), "Un teorema de dualidad para la torsión de Reidemeister", Annals of Mathematics , 76 (1): 137–138, doi :10.2307/1970268, JSTOR 1970268
- Milnor, John (1966), "Whitehead torsion", Boletín de la Sociedad Matemática Estadounidense , 72 (3): 358–426, doi : 10.1090/S0002-9904-1966-11484-2 , SEÑOR 0196736
- Mishchenko, Aleksandr S. (2001) [1994], "Reidemeister torsion", Enciclopedia de Matemáticas , EMS Press
- Müller, Werner (1978), "Torsión analítica y torsión R de variedades de Riemann", Avances en Matemáticas , 28 (3): 233–305, doi : 10.1016/0001-8708(78)90116-0 , SEÑOR 0498252
- Nicolaescu, Liviu I. (2002), Notas sobre la torsión de Reidemeister (PDF)libro en línea
- Nicolaescu, Liviu I. (2003), La torsión de Reidemeister de 3 variedades , Estudios de Matemáticas de Gruyter, vol. 30, Berlín: Walter de Gruyter & Co., págs. xiv+249, doi :10.1515/9783110198102, ISBN 3-11-017383-2, SEÑOR 1968575
- Ray, Daniel B.; Singer, Isadore M. (1973a), "Torsión analítica para variedades complejas", Annals of Mathematics , 2, 98 (1): 154–177, doi :10.2307/1970909, JSTOR 1970909, MR 0383463
- Ray, Daniel B.; Singer, Isadore M. (1973b), "Torsión analítica", Ecuaciones diferenciales parciales , Proc. Simposios. Matemáticas puras, vol. XXIII, Providencia, RI: Amer. Matemáticas. Soc., págs. 167–181, SEÑOR 0339293
- Ray, Daniel B.; Singer, Isadore M. (1971), " R -torsión y el laplaciano en variedades de Riemann", Avances en Matemáticas , 7 (2): 145–210, doi : 10.1016/0001-8708(71)90045-4 , SEÑOR 0295381
- Reidemeister, Kurt (1935), "Homotopieringe und Linsenräume", Abh. Matemáticas. Sem. Univ. Hamburgo , 11 : 102–109, doi :10.1007/BF02940717, S2CID 124078064
- de Rham, Georges (1936), "Sur les nouveaux invariants topologiques de M. Reidemeister", Recueil Mathématique (Matematicheskii Sbornik) , Nouvelle Série, 1 (5): 737–742, Zbl 0016.04501
- Turaev, Vladimir (2002), Torsiones de variedades tridimensionales , Progress in Mathematics, vol. 208, Basilea: Birkhäuser Verlag, págs. x+196, doi :10.1007/978-3-0348-7999-6, ISBN 3-7643-6911-6, señor 1958479
- Mazur, Barry . "Observaciones sobre el polinomio de Alexander" (PDF) .
- Seeley, RT (1967), "Complex powers of an elliptic operator", en Calderón, Alberto P. (ed.), Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966) , Actas de simposios en Matemática pura, vol. 10, Providencia, Rhode Island: Amer. Matemáticas. Soc., págs. 288–307, ISBN 978-0-8218-1410-9, señor 0237943