
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 por la suma ordinaria:
- ,
- .
Por ejemplo, el polinomio clásicose convertiría enEstos polinomios y sus soluciones tienen aplicaciones importantes en problemas de optimización, por ejemplo, el problema de optimizar los horarios de salida de una red de trenes.
La geometría tropical es una variante de la geometría algebraica en la que los grafos polinomiales 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 la estrecha relación entre la geometría clásica y la tropical, es posible convertir resultados y métodos entre ellas. Las variedades algebraicas pueden mapearse a una contraparte tropical y, dado que este proceso conserva cierta información geométrica sobre la variedad original, puede utilizarse para demostrar y generalizar resultados clásicos de la geometría algebraica, como el teorema de Brill-Noether o el cálculo de invariantes de Gromov-Witten , 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 diversos campos. [ 2 ] Las ideas centrales de la geometría tropical aparecieron de diferentes formas en varios trabajos anteriores. Por ejemplo, Victor Pavlovich Maslov introdujo una versión tropical del proceso de integración. También observó 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 finales de la década de 1990 se ha hecho un esfuerzo por 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 científico informático brasileño de origen húngaro Imre Simon , quien escribió sobre el tema. Jean-Éric Pin atribuye la creación del término a Dominique Perrin , [ 6 ] mientras que el propio Simon lo atribuye a Christian Choffrut. [ 7 ]
Conocimientos básicos de álgebra
La geometría tropical se basa en el semicírculo tropical . Este se define de dos maneras, según la convención de máximo o mínimo.
El semicírculo tropical mínimoes el semianillo, con las operaciones:
- ,
- .
Las operacionesyse denominan suma tropical y multiplicación tropical respectivamente. El elemento identidad paraesy el elemento de identidad paraes 0.
De manera similar, el semicírculo tropical máximoes el semianillo, con operaciones:
- ,
- .
El elemento de identidad paraesy el elemento de identidad paraes 0.
Estos semianillos son isomorfos bajo la negación.y, por lo general, se elige uno de ellos y se le denomina simplemente semianillo tropical . Las convenciones difieren entre autores y subcampos: algunos utilizan la convención min , otros la convención max .
El modelo de operaciones de semianillo tropical muestra cómo se comportan las valoraciones bajo la suma y la multiplicación en un campo valorado .
Algunos campos con valores comunes que se encuentran en la geometría tropical (con la convención min) son:
- ocon la valoración trivial,a pesar de.
- o sus extensiones con la valoración p-ádica ,para a y b coprimos con p .
- El campo de la serie Laurent(potencias enteras), o el campo de las series de Puiseux (complejas)., donde la valoración devuelve el exponente más pequeño de t que aparece en la serie.
Polinomios tropicales
Un polinomio tropical es una funciónque puede expresarse 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 tropicales el mínimo de una colección finita de funciones lineales afines en las que las variables tienen coeficientes enteros, por lo que es cóncava , continua y lineal a trozos . [ 8 ]
Dado un polinomioen el anillo de polinomios de Laurentdóndees un campo valioso, la tropicalización de, denotado, es el polinomio tropical obtenido dereemplazando la multiplicación y la suma por sus contrapartes tropicales y cada constante enpor su valoración. Es decir, si
- ,
entonces
- .
El conjunto de puntos donde un polinomio tropicales no diferenciable se denomina su hipersuperficie tropical asociada , denotada(en analogía con el conjunto evanescente de un polinomio). Equivalentemente,es el conjunto de puntos donde el mínimo entre los términos dese logra al menos dos veces. Cuandopara un polinomio de Laurent, esta última caracterización derefleja el hecho de que en cualquier solución a, la valoración mínima de los términos dedebe 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, es un subconjunto deque 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
Dejarsea el ideal de polinomios de Laurent que se anulan en X en. Definir
Cuando X es una hipersuperficie, su ideal evanescentees un ideal principal generado por un polinomio de Laurent f y la variedad tropicales precisamente la hipersuperficie tropical.
Cada variedad tropical es la intersección de un número finito de hipersuperficies tropicales. Un conjunto finito de polinomiosse denomina base tropical para X sies la intersección de las hipersuperficies tropicales de. En general, un conjunto generador deno 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
Elegir un vectorendefine un mapa a partir de los términos monomiales deaenviando el término m a. Para un polinomio de Laurent, definimos la forma inicial de f como la suma de los términosde f para la cuales mínimo. Para lo ideal, definir su ideal inicial con respecto aser
- .
Luego define
- .
Dado que estamos trabajando en el anillo de Laurent, esto es lo mismo que el conjunto de vectores de peso para los cualesno contiene un monomio.
Cuando K tiene valuación trivial,es precisamente el ideal inicial decon respecto al orden monomial dado por un vector de pesoDe ello se deduce quees un subfan del fan de Gröbner de.
Imagen del mapa de valoración
Supongamos que X es una variedad sobre un cuerpo K con valuación v cuya imagen es densa en(por ejemplo, un cuerpo de series de Puiseux). Al actuar coordenada a coordenada, v define una aplicación del toro algebraicoa. Luego define
- ,
donde la línea superior indica el cierre en la topología euclidiana . Si la valuación de K no es densa en, entonces la definición anterior puede adaptarse extendiendo los escalares a un campo más grande que sí tiene una valuación densa.
Esta definición muestra quees la ameba no arquimediana sobre un cuerpo no arquimediano algebraicamente cerrado K . [ 10 ]
Si X es una variedad sobre,puede considerarse como el objeto limitante de la amebaa medida que la base t del mapa logarítmico tiende a infinito (véase también Semianillo logarítmico ). [ 11 ]
Complejo poliédrico
La siguiente caracterización describe las variedades tropicales intrínsecamente sin referencia a las variedades algebraicas ni a la tropicalización. Un conjunto V enes 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 las aristas es igual a cero. Para dimensiones superiores, las sumas se toman en cambio alrededor de cada celda de dimensióndespués de calcular el cociente del intervalo afín de la celda. [ 8 ] La propiedad de que V esté conectado en codimensión uno significa que para cualesquiera dos puntos que se encuentran en celdas de dimensión d , existe 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á estrechamente relacionado con la teoría de grafos . Por ejemplo, la teoría de los divisores de curvas tropicales está relacionada con los juegos de lanzamiento de fichas en grafos asociados a dichas curvas. [ 13 ]
Muchos teoremas clásicos de la geometría algebraica tienen equivalentes en la geometría tropical, entre ellos:
- Teorema del hexágono de Pappus . [ 14 ]
- Teorema de Bézout .
- La fórmula grado-género .
- El teorema de Riemann-Roch . [ 15 ]
- La ley de grupo de los cúbicos . [ 16 ]
Oleg Viro utilizó curvas tropicales para clasificar curvas reales de grado 7 en el plano hasta la isotopía . Su método de reconstrucción proporciona un procedimiento para construir una curva real de una clase de isotopía determinada 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 un semianillo max-times o min-times (en lugar de max-plus y min-plus). Descubrió que la teoría del comercio ricardiano (comercio internacional sin comercio de insumos) puede interpretarse como un álgebra convexa subtropical. [ 18 ] La geometría tropical también se ha utilizado para analizar redes neuronales. Un resultado de este tipo es que las redes neuronales de alimentación directa con activación ReLU son exactamente curvas racionales tropicales. [ 19 ]
Además, varios problemas de optimización que surgen, por ejemplo, en la programación de tareas, el análisis de ubicación, las redes de transporte, la toma de decisiones y los sistemas dinámicos de eventos discretos pueden formularse y resolverse en el marco de la geometría tropical. [ 20 ] Una contraparte tropical del mapa de Abel-Jacobi puede aplicarse al diseño de un 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 ]
La geometría tropical también ha encontrado aplicaciones en diversos temas dentro de la física teórica de altas energías. En particular, se ha utilizado para simplificar drásticamente las amplitudes de la teoría de cuerdas hasta sus límites de teoría de campos [ 23 ] y se han encontrado conexiones con construcciones como el Amplituhedron [ 24 ] y los modelos sigma tropológicos (de Carroll topológico) [ 25 ] .
La geometría tropical también ha encontrado aplicaciones en filogenética . El espacio de árboles filogenéticos forma un espacio lineal tropical, [ 26 ] que es tropicalmente convexo. Esta conexión ha motivado la investigación de métodos estadísticos en espacios de árboles, [ 27 ] [ 28 ] incluyendo enfoques no paramétricos para encontrar árboles de consenso basados en la optimización tropical. [ 29 ] [ 30 ]
Véase también
Notas
- ↑ Hartnett, Kevin (5 de septiembre de 2018). "Los modelos Tinkertoy producen nuevas perspectivas geométricas" . Quanta Magazine . Consultado el 12 de diciembre de 2018 .
- ↑ Véase Cuninghame-Green, Raymond A. (1979). Álgebra minimax . Lecture Notes in Economics and Mathematical Sciences. Vol. 166. Springer. ISBN 978-3-540-09113-4y las referencias que contiene.
- ↑ 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 toro". arXiv : math/0011041 .
- ↑ Mikhalkin, Grigory (2005). "Geometría algebraica tropical enumerativa en R 2 " (PDF) . Journal of the American Mathematical Society . 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 . pp. 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. Notas 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.
- 1 2 Speyer, David; Sturmfels, Bernd (2009), "Matemáticas tropicales" (PDF) , Mathematics Magazine , 82 (3): 163–173 , arXiv : math/0408099 , doi : 10.1080/0025570X.2009.11953615 , S2CID 15278805
- 1 2 3 Maclagan, Diane ; Sturmfels, Bernd (2015). Introducción a la geometría tropical . Sociedad Matemática Americana . ISBN 9780821851982.
- ↑ 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 . Serie Matemática Internacional. Vol. 3. Nueva York, NY: Kluwer Academic/Plenum Publishers. pp. 257–300 . ISBN 978-0-306-48657-9. Zbl 1072.14013 .
- ↑ Katz, Eric (2017), "¿Qué es la geometría tropical?" (PDF) , Notices of the American Mathematical Society , 64 (4): 380–382 , doi : 10.1090/noti1507
- ↑ Cartwright, Dustin; Payne, Sam (2012), "Conectividad de las 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 constructivo tropical de Pappus". 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: DOI gratuito sin marcar ( enlace ) - ^ 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 del 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 . pp. 87-107 . arXiv : 1203.2356 . Bibcode : 2012arXiv1203.2356C . ISBN 978-0-8218-9146-9. Zbl 1312.14142 .
- ↑ "Cómo la geometría acudió al rescate durante la crisis bancaria" . Departamento de Economía, Universidad de Oxford . Archivado del original el 24 de noviembre de 2018. 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 de Y. Shiozawa, titulado " Geometría convexa subtropical como teoría ricardiana del comercio internacional ".
- ↑ 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. pp. 195–214 . arXiv : 1408.0313 . ISBN 978-1-63117-073-7.
- ↑ Sunada, T. (2012). Cristalografía topológica: una perspectiva hacia el análisis geométrico discreto . Encuestas y tutoriales en ciencias matemáticas aplicadas. Vol. 6. Springer Japan. ISBN 9784431541769.
- ↑ Kalinin, N.; Guzmán-Sáenz, A.; Prieto, Y.; Shkolnikov, M.; Kalinina, V.; Lupercio, E. (15 de agosto de 2018). "Criticalidad autoorganizada y emergencia de patrones a través de la lente de la geometría tropical" . Actas de la Academia Nacional de Ciencias de los Estados Unidos de América . 115 (35): E8135– E8142. arXiv : 1806.09153 . Bibcode : 2018PNAS..115E8135K . doi : 10.1073/pnas.1805847115 . ISSN 0027-8424 . PMC 6126730. PMID 30111541 .
- ^ Tourkine, Piotr (2017). "Amplitudes tropicales". Anales Henri Poincaré . 18 (6): 2199–2249 . arXiv : 1309.3551 . Código Bib : 2017AnHP...18.2199T . doi : 10.1007/s00023-017-0560-7 .
- ^ Arkani-Hamed, Nima; Trnka, Jaroslav (2014). "El Amplituedro". JHEP . 2014 (10): 030. arXiv : 1312.2007 . Código Bib : 2014JHEP...10..030A . doi : 10.1007/JHEP10(2014)030 .
- ↑ Albrychiewicz, Emil; Ellers, Kai-Isaak; Franco Valiente, Andrés; Hořava, Petr (2024). "Modelos tropológicos sigma". JHEP . 06 (6): 135. arXiv : 2311.00745 . Código Bib : 2024JHEP...06..135A . doi : 10.1007/JHEP06(2024)135 .
- ↑ Ardila, Federico; Klivans, Caroline J. (2006). "El complejo de Bergman de un matroide y árboles filogenéticos". Journal of Combinatorial Theory, Series B . 96 (1): 38– 49. doi : 10.1016/j.jctb.2005.06.004 .
- ↑ Lin, Bo; Sturmfels, Bernd; Tang, Xiaoxian; Yoshida, Ruriko (2017). "Convexidad en espacios de árboles". SIAM Journal on Discrete Mathematics . 31 (3): 2015– 2038. arXiv : 1510.08797 . doi : 10.1137/16M1079841 .
- ↑ Page, Robert; Yoshida, Ruriko; Zhang, Leon (septiembre de 2020). "Análisis de componentes principales tropicales en el espacio de árboles filogenéticos". Bioinformatics . 36 (17): 4590– 4598. doi : 10.1093/bioinformatics/btaa564 . PMID 32516398 .
- ↑ Comăneci, Andrei; Joswig, Michael (2024). "Medianas tropicales mediante transporte" . Programación matemática . 205 ( 1–2 ): 813–839 . doi : 10.1007/s10107-023-01996-8 .
- ↑ Comăneci, Andrei (2024). "Convexidad tropical en problemas de localización". Métodos matemáticos de investigación operativa . 100 (2): 509– 534. doi : 10.1007/s00186-024-00869-w . hdl : 10419/314976 .
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).
- Bogart, Tristram; Jensen, Anders; Speyer, David; Sturmfels, Bernd ; Thomas, Rekha (2005). "Computing Tropical Varieties". Journal of Symbolic Computation . 42 ( 1–2 ): 54–73 . arXiv : math/0507563 . Bibcode : 2005math......7563B . doi : 10.1016/j.jsc.2006.02.004 . S2CID 24788157 .
- 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 . Bibcode : 2004matemá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.
- Itenberg, Illia; Grigory Mikhalkin; Eugenii Shustin (2009). Geometría algebraica tropical (2.ª ed.). Basilea: Birkhäuser Basel. ISBN 9783034600484. Zbl 1165.14002 .
- Maclagan, Diane; Sturmfels, Bernd (2015). Introducción a la geometría tropical . American Mathematical Soc. ISBN 9780821851982.
- Mikhalkin, Grigory (2006). "Geometría tropical y sus aplicaciones". arXiv : math/0601041v2 .
- Mikhalkin, Grigory (2004). "Geometría algebraica tropical enumerativa en R2". arXiv : math/0312530v4 .
- Mikhalkin, Grigory (2004). "Amebas de variedades algebraicas y geometría tropical". arXiv : math/0403015v1 .
- Pachter, Lior ; Sturmfels, Bernd (2004). "Geometría tropical de modelos estadísticos" . Actas de la Academia Nacional de Ciencias de los Estados Unidos de América . 101 (46): 16132– 16137. arXiv : q-bio/0311009 . Bibcode : 2004PNAS..10116132P . doi : 10.1073 / pnas.0406010101 . PMC 528960. PMID 15534224. Zbl 1135.62302 .
- Speyer, David E. (2003). "The Tropical Grassmannian". arXiv : math/0304218v3 .
- Espira, David; Sturmfels, Bernd (2009) [2004]. "Matemáticas Tropicales". Revista Matemáticas . 82 (3): 163– 173. arXiv : matemáticas/0408099 . doi : 10.4169/193009809x468760 . S2CID 119142649 . Zbl 1227.14051 .
- Theobald, Thorsten (2003). "Primeros pasos en geometría tropical". arXiv : math/0306366v2 .
Lecturas adicionales
- 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, Instituto de Investigación Bellairs, Holetown, Barbados, EE. UU., 6-13 de mayo de 2011. Matemáticas Contemporáneas. Vol. 605. Providence, RI: Sociedad Matemática Americana . ISBN 978-1-4704-1021-6. Zbl 1281.14002 .
- Geometría tropical y simetría especular
Enlaces externos
- Geometría tropical, I
- Geometría tropical