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:
o con la valoración trivial, para todos .
o sus extensiones con la valoración p-ádica , para a y b coprimos con p .
El campo de series de Laurent (potencias enteras), o el campo de series de Puiseux (complejas) , con valoración que devuelve el exponente más pequeño de t que aparece en la serie.
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.
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]
^ Hartnett, Kevin (5 de septiembre de 2018). «Los modelos Tinkertoy producen nuevos conocimientos geométricos». Quanta Magazine . Consultado el 12 de diciembre de 2018 .
^ 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.
^ 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.
^ Kontsevich, Maxim ; Soibelman, Yan (7 de noviembre de 2000). "Simetría especular homológica y fibraciones de toros". arXiv : math/0011041 .
^ 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.
^ 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.
^ Simon, Imre (1988). "Conjuntos reconocibles con multiplicidades en el semianillo tropical". Fundamentos matemáticos de la informática 1988. Apuntes de clase en informática . Vol. 324. Berlín/Heidelberg: Springer. págs. 107–120. doi :10.1007/BFb0017135. ISBN.978-3-540-50110-7.
^ 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
^ 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. ISBN978-0-306-48657-9.Zbl 1072.14013 .
^ 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
^ 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.
^ 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)
^ 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.
^ 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-2012978-0-8218-9146-9.Zbl 1312.14142 .
^ "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 .
^ 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.
^ 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.
^ 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.
^ 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. ISBN9784431541769.
^ 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
Maslov, Víctor (1986). "Nuevo principio de superposición para problemas de optimización", Séminaire sur les Équations aux Dérivées Partielles 1985/6, Centre de Mathématiques de l'École Polytechnique, Palaiseau, exposición 24.
Maslov, Víctor (1987). "Métodos operativos". Moscú, Mir, 707 p. (Véase el Capítulo 8, Théorie linéaire sur semi moduli, págs. 652–701).
Einsiedler, Manfred; Kapranov, Mijaíl; Lind, Douglas (2006). "Amebas no arquímedes y variedades tropicales". J. Reina Angew. Matemáticas . 601 : 139-157. arXiv : matemáticas/0408311 . Código Bib : 2004 matemáticas ...... 8311E.
Gathmann, Andreas (2006). "Geometría algebraica tropical". arXiv : math/0601322v1 .
Gross, Mark (2010). Geometría tropical y simetría especular . Providence, RI: Publicado para el Conference Board of the Mathematical Sciences por la American Mathematical Society con el apoyo de la National Science Foundation. ISBN 9780821852323.
Amini, Omid; Baker, Matthew; Faber, Xander, eds. (2013). Geometría tropical y no arquimediana. Taller de Bellairs sobre teoría de números, geometría tropical y no arquimediana, Bellairs Research Institute, Holetown, Barbados, EE. UU., 6 al 13 de mayo de 2011. Matemáticas contemporáneas. Vol. 605. Providence, RI: American Mathematical Society . ISBN.978-1-4704-1021-6.Zbl 1281.14002 .