R4 exótico
En matemáticas, una estructura exótica de es una estructura de variedad diferenciable que es homeomorfa, pero no difeomorfa al espacio euclidiano Los primeros ejemplos fueron encontrados en 1982 por Michael Freedman y otros, al utilizar el contraste entre los teoremas de Freedman sobre las 4-variedades topológicas, y los teoremas de Simon Donaldson sobre 4-variedades suaves.[1][2] Existe un continuum de estructuras diferencibles no difeomorfas a como demostró primero Clifford Taubes.[3]
Antes de esta construcción, ya se sabía que existían estructuras diferenciables no difeomorfas sobre n-esferas, esferas exóticas, aunque la cuestión de la existencia de tales estructuras para el caso particular de la 4-esfera seguía abierta (y sigue abierta en la actualidad). Para cualquier número entero positivo n que no sea 4, no existen estructuras diferenciables exóticas en en otras palabras, si n ≠ 4, entonces cualquier variedad diferenciable homeomorfa a es difeomorfa a [4]
R4 exóticos pequeños
Un exótico se llama pequeño si se puede incrustar suavemente como un subconjunto abierto de la estructura ordinaria de . Los exóticos pequeños pueden construirse partiendo de un h-cobordismo suave y no trivial de 5 dimensiones (que existe por la prueba de Donaldson de que el teorema de que el h-cobordismo falla en esta dimensión) y utilizando el teorema de Freedman de que el teorema del h-cobordismo topológico se cumple en esta dimensión.
R4 exóticos grandes
Un exótico se llama grande si no puede ser encajado de manera suave como un subconjunto abierto del estándar. Se pueden construir ejemplos de exóticos grandes utilizando el hecho de que los 4manifolds compactos a menudo pueden dividirse como una suma topológica (por el trabajo de Freedman), pero no pueden dividirse como una suma suave (por el trabajo de Donaldson).
Freedman, Michael Hartley; Taylor, Laurence R. (1986). jdg/1214440258 «Un alisamiento universal del espacio de cuatro». Journal of Differential Geometry 24 (1). pp. 69-78. ISSN 0022-040X. MR 857376. demostró que existe un exótico máximo en el que todos los demás pueden ser embebidos suavemente como subconjuntos abiertos.
Estructuras exóticas relacionadas
Los asideros de Casson son homeomorfos a por el teorema de Freedman (donde es el disco unitario cerrado) pero se deduce del teorema de Donaldson que no todos son difeomorfos a . En otras palabras, algunos asideros de Casson son exóticos
No se sabe (a fecha de 2022) si existen o no 4 esferas exóticas; una 4 esfera exótica de este tipo sería un contraejemplo a la conjetura de Poincaré generalizada suave en dimensión 4. Algunos candidatos plausibles vienen dados por Gluck twists.
Véase también
- Corcho de Akbulut - herramienta utilizada para construir exóticos a partir de clases en [5]
- Atlas (matemáticas)
Referencias
- Kirby (1989), p. 95
- Freedman y Quinn (1990), p. 122
- Taubes (1987), Teorema 1.1
- Stallings (1962), en particular el Corolario 5.2
- Asselmeyer-Maluga, Torsten; Król, Jerzy (2014-08-28). «Gerbes abelianos, geometrías generalizadas y foliaciones de pequeñas exóticas R^4». .
Bibliografía
- Freedman, Michael H.; Quinn, Frank (1990). Topology of 4-manifolds. Princeton Mathematical Series 39. Princeton, NJ: Princeton University Press. ISBN 0-691-08577-3. (requiere registro).
- Freedman, Michael H.; Taylor, Laurence R. (1986). «A universal smoothing of four-space». Journal of Differential Geometry 24 (1): 69-78. ISSN 0022-040X. MR 857376. doi:10.4310/jdg/1214440258. Parámetro desconocido
|doi-access=
ignorado (ayuda) - Kirby, Robion C. (1989). The topology of 4-manifolds. Lecture Notes in Mathematics 1374. Berlin: Springer-Verlag. ISBN 3-540-51148-2.
- Scorpan, Alexandru (2005). The wild world of 4-manifolds. Providence, RI: American Mathematical Society. ISBN 978-0-8218-3749-8.
- Stallings, John (1962). «The piecewise-linear structure of Euclidean space». Proc. Cambridge Philos. Soc. 58 (3): 481-488. Bibcode:1962PCPS...58..481S. doi:10.1017/s0305004100036756. MR 0149457
- Gompf, Robert E.; Stipsicz, András I. (1999). 4-manifolds and Kirby calculus. Graduate Studies in Mathematics 20. Providence, RI: American Mathematical Society. ISBN 0-8218-0994-6.
- Taubes, Clifford Henry (1987). «Gauge theory on asymptotically periodic 4-manifolds». Journal of Differential Geometry 25 (3): 363-430. MR 882829. doi:10.4310/jdg/1214440981. Plantilla:Euclid. Parámetro desconocido
|doi-access=
ignorado (ayuda)