Estabilidad (geometría algebraica)

{\displaystyle {\tilde {x}}} — En el criterio de Hilbert-Mumford que caracteriza los puntos estables en la teoría geométrica invariante , la trayectoria de ${\tilde {x}}$ se examina a lo largo del flujo de una acción grupal por $\lambda \in \mathbb {C} ^{*}$ como $\lambda \to 0$ o equivalentemente como $\lambda \to \infty$ Cuando el flujo se extiende hasta el infinito, el punto ${\tilde {x}}$ está en equilibrio estable en la parte inferior de la curva. Cuando la curva desciende a cero, el punto es inestable y fluirá hacia cero a lo largo de la acción de $\lambda$ Cuando el flujo se mantiene entre cero e infinito, el punto se encuentra en un equilibrio inestable (semiestable). Esta analogía con el equilibrio mecánico motiva la terminología de estabilidad e inestabilidad.

En matemáticas , y especialmente en geometría algebraica , la estabilidad es un concepto que caracteriza cuándo un objeto geométrico , por ejemplo un punto , una variedad algebraica , un fibrado vectorial o un haz , posee ciertas propiedades deseables para su clasificación. La caracterización exacta de lo que significa ser estable depende del tipo de objeto geométrico, pero todos estos ejemplos comparten la propiedad de tener una cantidad mínima de simetría interna ; es decir, dichos objetos estables tienen pocos automorfismos . Esto se relaciona con el concepto de simplicidad en matemáticas, que mide cuándo un objeto matemático tiene pocos subobjetos en su interior (véanse, por ejemplo, los grupos simples , que no tienen subgrupos normales no triviales). Además de la estabilidad, algunos objetos pueden describirse con términos como semiestable (con una cantidad pequeña pero no mínima de simetría), poliestable (compuesto por objetos estables) o inestable (con demasiada simetría, lo opuesto a la estabilidad).

Fondo

En muchas áreas de las matemáticas, e incluso dentro de la geometría misma, suele ser muy deseable contar con objetos altamente simétricos, y estos objetos a menudo se consideran estéticamente agradables . Sin embargo, un alto grado de simetría no es deseable cuando se intenta clasificar objetos geométricos mediante la construcción de espacios de módulos , ya que las simetrías de estos objetos provocan la formación de singularidades y obstaculizan la existencia de familias universales .

El concepto de estabilidad fue introducido por primera vez en su forma moderna por David Mumford en 1965 en el contexto de la teoría de invariantes geométricos , una teoría que explica cómo tomar cocientes de variedades algebraicas mediante acciones de grupo y obtener un espacio cociente que sigue siendo una variedad algebraica, un llamado cociente categórico . ^{[ 1 ]} Sin embargo, las ideas detrás del trabajo de Mumford se remontan a la teoría de invariantes de David Hilbert en 1893, y los conceptos fundamentales involucrados se remontan incluso al trabajo de Bernhard Riemann sobre la construcción de espacios de módulos de superficies de Riemann . ^{[ 2 ]} Desde el trabajo de Mumford, la estabilidad ha aparecido de muchas formas en toda la geometría algebraica, a menudo con diversas nociones de estabilidad derivadas de la teoría de invariantes geométricos o inspiradas en ella. No existe una teoría de estabilidad completamente general (aunque un intento de formular tal teoría es la estabilidad de Bridgeland ), y este artículo sirve para resumir y comparar las diferentes manifestaciones de la estabilidad en geometría y las relaciones entre ellas.

Además de su uso en la clasificación y la formación de cocientes en geometría algebraica, la estabilidad también encuentra un uso significativo en geometría diferencial y análisis geométrico , debido al principio general que establece que los objetos geométricos algebraicos estables corresponden a objetos geométricos diferenciales extremales . Aquí, extremal se entiende generalmente en el sentido del cálculo de variaciones , en el que dichos objetos minimizan algún funcional . El ejemplo prototípico de este principio es el teorema de Kempf-Ness , que relaciona los cocientes GIT con los cocientes simplécticos al demostrar que los puntos estables minimizan el funcional de energía del mapa de momentos . Debido a este principio general, la estabilidad se ha utilizado como una herramienta clave para construir la existencia de soluciones a muchas ecuaciones diferenciales parciales importantes en geometría, como las ecuaciones de Yang-Mills y las ecuaciones de Kähler-Einstein . Otros ejemplos de esta correspondencia en acción incluyen la correspondencia de Kobayashi-Hitchin , la correspondencia de Hodge no abeliana , la conjetura de Yau-Tian-Donaldson para variedades de Kähler-Einstein e incluso el teorema de uniformización .

Condiciones de estabilidad

Referencias

↑ Mumford, D., Fogarty, J. y Kirwan, F., 1994. Teoría de invariantes geométricos (Vol. 34). Springer Science & Business Media.
↑ Hilbert, D., 1893. Ueber die vollen Invariantensysteme. Mathematische Annalen, 42(3), páginas 313-373.

[mumfordbook-1] Mumford, D., Fogarty, J. y Kirwan, F., 1994. Teoría de invariantes geométricos (Vol. 34). Springer Science & Business Media.

[hilbert-2] Hilbert, D., 1893. Ueber die vollen Invariantensysteme. Mathematische Annalen, 42(3), páginas 313-373.

[ 1 ]

[ 2 ]