stringtranslate.com

Geometría tropical

Una curva cúbica tropical

En matemáticas , la geometría tropical es el estudio de los polinomios y sus propiedades geométricas cuando la suma se reemplaza por la minimización y la multiplicación se reemplaza por la suma ordinaria:

Por ejemplo, el polinomio clásico se convertiría en . Estos polinomios y sus soluciones tienen importantes aplicaciones en problemas de optimización, por ejemplo, el problema de optimizar los tiempos de salida de una red de trenes.

La geometría tropical es una variante de la geometría algebraica en la que los gráficos polinómicos se asemejan a mallas lineales por partes y en la que los números pertenecen al semianillo tropical en lugar de a un cuerpo. Debido a que la geometría clásica y la tropical están estrechamente relacionadas, los resultados y métodos se pueden convertir entre ellas. Las variedades algebraicas se pueden mapear a una contraparte tropical y, dado que este proceso aún conserva cierta información geométrica sobre la variedad original, se puede utilizar para ayudar a probar y generalizar los resultados clásicos de la geometría algebraica, como el teorema de Brill-Noether , utilizando las herramientas de la geometría tropical. [1]

Historia

Las ideas básicas del análisis tropical fueron desarrolladas independientemente utilizando la misma notación por matemáticos que trabajaban en varios campos. [2] Las ideas centrales de la geometría tropical aparecieron en diferentes formas en varios trabajos anteriores. Por ejemplo, Victor Pavlovich Maslov introdujo una versión tropical del proceso de integración. También notó que la transformación de Legendre y las soluciones de la ecuación de Hamilton-Jacobi son operaciones lineales en el sentido tropical. [3] Sin embargo, solo desde fines de la década de 1990 se ha hecho un esfuerzo para consolidar las definiciones básicas de la teoría. Esto fue motivado por su aplicación a la geometría algebraica enumerativa , con ideas de Maxim Kontsevich [4] y trabajos de Grigory Mikhalkin [5] entre otros.

El adjetivo tropical fue acuñado por matemáticos franceses en honor al informático brasileño nacido en Hungría Imre Simon , que escribió sobre el tema. Jean-Éric Pin atribuye la acuñación a Dominique Perrin , [6] mientras que el propio Simon atribuye la palabra a Christian Choffrut. [7]

Antecedentes de álgebra

La geometría tropical se basa en el semianillo tropical . Este se define de dos maneras, según la convención de máximo o mínimo.

El semianillo tropical mínimo es el semianillo , con las operaciones:

Las operaciones y se denominan suma tropical y multiplicación tropical respectivamente. El elemento identidad de es , y el elemento identidad de es 0.

De manera similar, el semianillo tropical máximo es el semianillo , con operaciones:

El elemento identidad de es , y el elemento identidad de es 0.

Estos semianillos son isomorfos, están bajo negación y, generalmente, se elige uno de ellos y se lo denomina simplemente semianillo tropical . Las convenciones difieren entre autores y subcampos: algunos usan la convención min , otros usan la convención max .

Las operaciones de semiring tropical modelan cómo se comportan las valoraciones bajo la adición y la multiplicación en un campo valorado .

Algunos campos de valores comunes encontrados en geometría tropical (con convención mínima) son:

Polinomios tropicales

Un polinomio tropical es una función que se puede expresar como la suma tropical de un número finito de términos monomiales . Un término monomial es un producto tropical (y/o cociente) de una constante y variables de . Por lo tanto, un polinomio tropical F es el mínimo de una colección finita de funciones afines-lineales en las que las variables tienen coeficientes enteros, por lo que es cóncavo , continuo y lineal por partes . [8]

Dado un polinomio f en el anillo de polinomios de Laurent donde K es un cuerpo valuado, la tropicalización de f , denotada , es el polinomio tropical obtenido a partir de f reemplazando la multiplicación y la suma por sus contrapartes tropicales y cada constante en K por su valuación. Es decir, si

entonces

El conjunto de puntos donde un polinomio tropical F es no diferenciable se denomina su hipersuperficie tropical asociada , denotada (en analogía al conjunto evanescente de un polinomio). De manera equivalente, es el conjunto de puntos donde el mínimo entre los términos de F se logra al menos dos veces. Cuando para un polinomio de Laurent f , esta última caracterización de refleja el hecho de que en cualquier solución de , la valoración mínima de los términos de f debe lograrse al menos dos veces para que todos se cancelen. [9]

Variedades tropicales

Definiciones

Para X, una variedad algebraica en el toro algebraico , la variedad tropical de X o tropicalización de X , denotada como , es un subconjunto de que puede definirse de varias maneras. La equivalencia de estas definiciones se conoce como el Teorema Fundamental de la Geometría Tropical . [9]

Intersección de hipersuperficies tropicales

Sea el ideal de los polinomios de Laurent que se anulan en X en . Definir

Cuando X es una hipersuperficie, su ideal evanescente es un ideal principal generado por un polinomio de Laurent f , y la variedad tropical es precisamente la hipersuperficie tropical .

Toda variedad tropical es la intersección de un número finito de hipersuperficies tropicales. Un conjunto finito de polinomios se denomina base tropical para X si es la intersección de las hipersuperficies tropicales de . En general, un conjunto generador de no es suficiente para formar una base tropical. La intersección de un número finito de hipersuperficies tropicales se denomina prevariedad tropical y, en general, no es una variedad tropical. [9]

Ideales iniciales

La elección de un vector en define una función a partir de los términos monomiales de a enviando el término m a . Para un polinomio de Laurent , defina la forma inicial de f como la suma de los términos de f para los cuales es mínima. Para el ideal , defina su ideal inicial con respecto a como

Luego define

Dado que estamos trabajando en el anillo de Laurent, este es el mismo que el conjunto de vectores de peso para el cual no contiene un monomio.

Cuando K tiene valoración trivial, es precisamente el ideal inicial de con respecto al orden monomial dado por un vector de pesos . De ello se deduce que es un subfan del abanico de Gröbner de .

Imagen del mapa de valoración

Supóngase que X es una variedad sobre un cuerpo K con valoración v cuya imagen es densa en (por ejemplo un cuerpo de series de Puiseux). Al actuar en función de las coordenadas, v define una función desde el toro algebraico hasta . Luego defina

donde la línea superior indica el cierre en la topología euclidiana . Si la valoración de K no es densa en , entonces la definición anterior se puede adaptar extendiendo los escalares a un campo más grande que sí tenga una valoración densa.

Esta definición muestra que es la ameba no arquimediana sobre un campo no arquimediano algebraicamente cerrado K . [10]

Si X es una variedad sobre , puede considerarse como el objeto límite de la ameba ya que la base t del mapa logarítmico tiende a infinito. [11]

Complejo poliédrico

La siguiente caracterización describe variedades tropicales intrínsecamente sin referencia a variedades algebraicas y tropicalización. Un conjunto V en es una variedad tropical irreducible si es el soporte de un complejo poliédrico ponderado de dimensión pura d que satisface la condición de tensión cero y está conectado en codimensión uno. Cuando d es uno, la condición de tensión cero significa que alrededor de cada vértice, la suma ponderada de las direcciones salientes de los bordes es igual a cero. Para dimensiones más altas, las sumas se toman en cambio alrededor de cada celda de dimensión después de cocientear el espacio afín de la celda. [8] La propiedad de que V está conectado en codimensión uno significa que para dos puntos cualesquiera que se encuentren en celdas de dimensión d , hay un camino que los conecta que no pasa por ninguna celda de dimensión menor que . [12]

Curvas tropicales

El estudio de las curvas tropicales (variedades tropicales de dimensión uno) está particularmente bien desarrollado y está fuertemente relacionado con la teoría de grafos . Por ejemplo, la teoría de divisores de curvas tropicales está relacionada con los juegos de fichas en grafos asociados a las curvas tropicales. [13]

Muchos teoremas clásicos de la geometría algebraica tienen contrapartes en la geometría tropical, entre ellos:

Oleg Viro utilizó curvas tropicales para clasificar curvas reales de grado 7 en el plano hasta la isotopía . Su método de patchwork proporciona un procedimiento para construir una curva real de una clase de isotopía dada a partir de su curva tropical.

Aplicaciones

Una línea tropical apareció en el diseño de subastas de Paul Klemperer utilizado por el Banco de Inglaterra durante la crisis financiera de 2007. [17] Yoshinori Shiozawa definió el álgebra subtropical como semiring de tiempos máximos o mínimos (en lugar de máximos y mínimos). Encontró que la teoría ricardiana del comercio (comercio internacional sin comercio de insumos) puede interpretarse como álgebra convexa subtropical. [18] [ fuente no primaria necesaria ] La geometría tropical también se ha utilizado para analizar la complejidad de redes neuronales de propagación hacia adelante con activación ReLU . [19]

Además, varios problemas de optimización que surgen, por ejemplo, en la programación de tareas, análisis de ubicación, redes de transporte, toma de decisiones y sistemas dinámicos de eventos discretos se pueden formular y resolver en el marco de la geometría tropical. [20] Se puede aplicar una contraparte tropical del mapa de Abel-Jacobi a un diseño de cristal. [21] A menudo se requiere que los pesos en un transductor de estados finitos ponderado sean un semianillo tropical. La geometría tropical puede mostrar criticidad autoorganizada . [22]

Véase también

Notas

  1. ^ Hartnett, Kevin (5 de septiembre de 2018). «Los modelos Tinkertoy producen nuevos conocimientos geométricos». Quanta Magazine . Consultado el 12 de diciembre de 2018 .
  2. ^ Véase Cuninghame-Green, Raymond A. (1979). Álgebra minimax . Apuntes de clase sobre economía y ciencias matemáticas. Vol. 166. Springer. ISBN. 978-3-540-09113-4y referencias contenidas en el mismo.
  3. ^ Maslov, Victor (1987). "Sobre un nuevo principio de superposición para problemas de optimización". Russian Mathematical Surveys . 42 (3): 43–54. Bibcode :1987RuMaS..42...43M. doi :10.1070/RM1987v042n03ABEH001439. S2CID  250889913.
  4. ^ Kontsevich, Maxim ; Soibelman, Yan (7 de noviembre de 2000). "Simetría especular homológica y fibraciones de toros". arXiv : math/0011041 .
  5. ^ Mikhalkin, Grigory (2005). "Geometría algebraica tropical enumerativa en R2" (PDF) . Revista de la Sociedad Matemática Americana . 18 (2): 313–377. arXiv : math/0312530 . doi :10.1090/S0894-0347-05-00477-7.
  6. ^ Pin, Jean-Eric (1998). "Semirrings tropicales" (PDF) . En Gunawardena, J. (ed.). Idempotencia . Publicaciones del Instituto Newton. Vol. 11. Cambridge University Press . págs. 50–69. doi :10.1017/CBO9780511662508.004. ISBN . 9780511662508.
  7. ^ Simon, Imre (1988). "Conjuntos reconocibles con multiplicidades en el semianillo tropical". Fundamentos matemáticos de la informática 1988. Apuntes de clase sobre informática . Vol. 324. Berlín/Heidelberg: Springer. págs. 107–120. doi :10.1007/BFb0017135. ISBN. 978-3-540-50110-7.
  8. ^ ab Speyer, David; Sturmfels, Bernd (2009), "Matemáticas tropicales" (PDF) , Revista de Matemáticas , 82 (3): 163–173, doi :10.1080/0025570X.2009.11953615, S2CID  15278805
  9. ^ abc Maclagan, Diane ; Sturmfels, Bernd (2015). Introducción a la geometría tropical . Sociedad Matemática Estadounidense . ISBN 9780821851982.
  10. ^ Mikhalkin, Grigory (2004). "Amebas de variedades algebraicas y geometría tropical". En Donaldson, Simon ; Eliashberg, Yakov ; Gromov, Mikhael (eds.). Diferentes caras de la geometría . International Mathematical Series. Vol. 3. Nueva York, NY: Kluwer Academic/Plenum Publishers. págs. 257–300. ISBN 978-0-306-48657-9.Zbl 1072.14013  .
  11. ^ Katz, Eric (2017), "¿Qué es la geometría tropical?" (PDF) , Avisos de la American Mathematical Society , 64 (4): 380–382, doi : 10.1090/noti1507
  12. ^ Cartwright, Dustin; Payne, Sam (2012), "Conectividad de tropicalizaciones", Mathematical Research Letters , 19 (5): 1089–1095, arXiv : 1204.6589 , Bibcode :2012arXiv1204.6589C, doi :10.4310/MRL.2012.v19.n5.a10, S2CID  51767353
  13. ^ Hladký, Jan; Králʼ, Daniel; Norine, Serguei (1 de septiembre de 2013). "Rango de divisores en curvas tropicales". Journal of Combinatorial Theory, Serie A . 120 (7): 1521–1538. arXiv : 0709.4485 . doi :10.1016/j.jcta.2013.05.002. ISSN  0097-3165. S2CID  3045053.
  14. ^ Tabera, Luis Felipe (1 de enero de 2005). "Teorema de Pappus constructivo tropical". International Mathematics Research Notices . 2005 (39): 2373–2389. arXiv : math/0409126 . doi :10.1155/IMRN.2005.2373. ISSN  1073-7928. S2CID  14250249.{{cite journal}}: CS1 maint: unflagged free DOI (link)
  15. ^ Kerber, Michael; Gathmann, Andreas (1 de mayo de 2008). "Un teorema de Riemann-Roch en geometría tropical". Mathematische Zeitschrift . 259 (1): 217–230. arXiv : matemáticas/0612129 . doi :10.1007/s00209-007-0222-4. ISSN  1432-1823. S2CID  15239772.
  16. ^ Chan, Melody ; Sturmfels, Bernd (2013). "Curvas elípticas en forma de panal". En Brugallé, Erwan (ed.). Aspectos algebraicos y combinatorios de la geometría tropical. Actas basadas en el taller del CIEM sobre geometría tropical, Centro Internacional de Reuniones Matemáticas (CIEM), Castro Urdiales, España, 12-16 de diciembre de 2011 . Matemáticas contemporáneas. Vol. 589. Providence, RI: American Mathematical Society . págs. 87-107. arXiv : 1203.2356 . Código Bibliográfico :2012arXiv1203.2356C. ISBN 978-0-87-332-2012 978-0-8218-9146-9.Zbl 1312.14142  .
  17. ^ "Cómo la geometría vino al rescate durante la crisis bancaria". Departamento de Economía, Universidad de Oxford . Consultado el 24 de marzo de 2014 .
  18. ^ Shiozawa, Yoshinori (2015). "Teoría del comercio internacional y álgebras exóticas". Evolutionary and Institutional Economics Review . 12 (1): 177–212. doi :10.1007/s40844-015-0012-3. S2CID  155827635.Este es un resumen del borrador del artículo "Geometría convexa subtropical como teoría ricardiana del comercio internacional" de Y. Shiozawa.
  19. ^ Zhang, Liwen; Naitzat, Gregory; Lim, Lek-Heng (2018). "Geometría tropical de redes neuronales profundas". Actas de la 35.ª Conferencia internacional sobre aprendizaje automático . 35.ª Conferencia internacional sobre aprendizaje automático. págs. 5824–5832.
  20. ^ Krivulin, Nikolai (2014). "Problemas de optimización tropical". En Leon A. Petrosyan; David WK Yeung; Joseph V. Romanovsky (eds.). Avances en economía y optimización: estudios científicos recopilados dedicados a la memoria de LV Kantorovich . Nueva York: Nova Science Publishers. págs. 195–214. arXiv : 1408.0313 . ISBN. 978-1-63117-073-7.
  21. ^ Sunada, T. (2012). Cristalografía topológica: con vistas al análisis geométrico discreto . Encuestas y tutoriales en ciencias matemáticas aplicadas. Vol. 6. Springer Japón. ISBN 9784431541769.
  22. ^ Kalinin, N.; Guzmán-Sáenz, A.; Prieto, Y.; Shkolnikov, M.; Kalinina, V.; Lupercio, E. (15 de agosto de 2018). "Self-organized criticality and pattern emergency through the lens of tropical geometry". Actas de la Academia Nacional de Ciencias de los Estados Unidos de América . 115 (35): E8135–E8142. arXiv : 1806.09153 . Código Bibliográfico :2018PNAS..115E8135K. doi : 10.1073/pnas.1805847115 . ISSN  0027-8424. PMC 6126730 . PMID  30111541. 

Referencias

Lectura adicional

Enlaces externos