A note on o-minimal tropicalizations

Planteamiento del Problema
La geometría tropical estudia tradicionalmente las variedades algebraicas a través de sus degeneraciones poliédricas (tropicalizaciones), apoyándose frecuentemente en el Teorema Fundamental de la Geometría Tropical Algebraica. Este teorema caracteriza la tropicalización de un conjunto algebraico sobre un cuerpo algebraicamente cerrado en términos de degeneraciones iniciales, analitificaciones de Berkovich y tropicalizaciones de polinomios que se anulan. Si bien existen extensiones para conjuntos algebraicos sobre cuerpos cerrados reales, estas no dan cuenta plenamente de la estructura de orden inherente a los cuerpos cerrados reales, la cual permite la definición de conjuntos semialgebraicos y, más generalmente, de conjuntos definibles en estructuras o-minimales.

El problema específico abordado en esta nota es la falta de un "Teorema Fundamental" exhaustivo para la tropicalización de conjuntos definibles dentro de expansiones o-minimales acotadas polinómicamente de cuerpos cerrados reales. Los resultados existentes para conjuntos semialgebraicos (p. ej., Jell, Scheiderer y Yu) no se generalizan inmediatamente a la clase más amplia de conjuntos definibles presentes en estructuras como los conjuntos globalmente subanalíticos. Además, existe la necesidad de refinar el mapa de tropicalización para capturar no solo las valoraciones, sino también los "componentes angulares" (signos e información de residuo), lo que conduce al concepto de "tropicalización fina".

Metodología
Los autores emplean una síntesis de teoría de modelos, geometría o-minimal y álgebra tropical. Los componentes metodológicos clave incluyen:

1. Marco de la Teoría de Modelos: El trabajo opera dentro de extensiones elementales $K \prec F \prec M$ de expansiones o-minimales acotadas polinómicamente de cuerpos cerrados reales. Los autores utilizan el espectro o-minimal ($\tilde{X}$), que representa los puntos como ultrafiltros sobre conjuntos definibles, para servir como un análogo real a la analitificación de Berkovich.
2. Teoría de Valoraciones: El estudio utiliza valoraciones no triviales y compatibles con el orden en cuerpos cerrados reales. Los autores distinguen entre el mapa de valoración estándar ($val$) y el mapa de la clasificación del Valor Residual (RV) ($rv$), el cual registra tanto la valoración como el componente angular (residuo).
3. Hipercampos: El artículo utiliza la teoría de hipercampos (específicamente el hipercampo tropical con signo y el hipercampo tropical RV) para definir tropicalizaciones de polinomios que respetan el signo y el residuo de los coeficientes.
4. Degeneraciones Iniciales: Los autores extienden el concepto de degeneraciones iniciales ($in_w(X)$) de las variedades algebraicas a los conjuntos definibles, caracterizándolos a través del cono de no negatividad $P(X)$ del conjunto en lugar de solo el ideal de los polinomios que se anulan.
5. Teorema de Densidad Fuerte: Una herramienta técnica crucial es el "Teorema de Densidad Fuerte", que relaciona la imagen del mapa de tropicalización en el espectro o-minimal con la valoración del conjunto en el cuerpo base, apoyándose en la eliminación de cuantificadores para campos T-convexos.

Contribuciones Clave y Resultados

El artículo establece dos teoremas principales que proporcionan descripciones equivalentes de las tropicalizaciones para conjuntos definibles.

1. Teorema Fundamental de la Geometría Tropical O-minimal (Teorema A)
Para un conjunto definible $X \subset K^n_{>0}$ en una estructura o-minimal acotada polinómicamente, los siguientes conjuntos en $\mathbb{R}^n$ son iguales:

• (i) La imagen de los puntos arquimedianos del espectro o-minimal de la extensión $X_F$ bajo el mapa de tropicalización ($trop(\tilde{X}_F^{arch})$).
• (ii) La tropicalización estándar $Trop(X)$, definida como el cierre de la imagen de $X_F$ bajo el mapa de valoración componente a componente.
• (iii) El conjunto de vectores $w$ para los cuales la degeneración inicial $in_w(X_F)$ es no vacía.
• (iv) La imagen de la extensión $X_M$ bajo el mapa de valoración ($val(X_M)$).
• (v) La intersección de los conjuntos $\{w \in \mathbb{R}^n \mid tropr(f)(1,w) \geq 0\}$ para todos los polinomios $f$ en el cono de no negatividad $P(X)$.

Novedad: La caracterización en términos de degeneraciones iniciales reales (iii) es nueva incluso para el caso semialgebraico. El artículo también demuestra que la intersección en (v) puede tomarse sobre un conjunto finito de polinomios.

2. Teorema Fundamental de la Geometría Tropical Fina O-minimal (Teorema B)
Los autores introducen la tropicalización fina utilizando el mapa de la clasificación RV ($rv$), que captura tanto la valoración como el componente angular. Para un subconjunto definible cerrado $X \subset M^n_{>0}$ (donde $M$ es un cuerpo de series de Hahn con exponentes reales), los siguientes conjuntos son iguales:

• (i) La imagen de los puntos arquimedianos del espectro o-minimal bajo el mapa de tropicalización fina ($ftrop(\tilde{X}_M^{arch})$).
• (ii) La intersección de conjuntos definidos por la tropicalización RV de polinomios en el cono de no negatividad $P(X_M)$.
• (iii) La imagen de $X_M$ bajo el mapa RV ($rv(X_M)$).
• (iv) La unión de productos de degeneraciones iniciales y sus correspondientes vectores de valoración ($\bigcup_{w} in_w(X_M) \times \{w\}$).

Significado y Reivindicaciones
El artículo afirma generalizar el Teorema Fundamental de la Geometría Tropical Algebraica de conjuntos algebraicos a la clase mucho más amplia de conjuntos definibles en estructuras o-minimales acotadas polinómicamente. Esto incluye conjuntos globalmente subanalíticos y permite exponentes reales en funciones monomiales.

• Unificación: Los resultados unifican el estudio de las tropicalizaciones vía imágenes de valoración, degeneraciones iniciales y tropicalizaciones de desigualdades definitorias (conos de no negatividad).
• Refinamiento: Al introducir la tropicalización fina mediante la clasificación RV, el artículo proporciona una herramienta que retiene más información (componentes angulares) que el mapa de valoración estándar, de forma análoga a la tropicalización de fase en geometría compleja pero adaptada al entorno real.
• Puente de la Teoría de Modelos: El trabajo demuestra la utilidad del espectro o-minimal y los puntos arquimedianos como un marco robusto para definir tropicalizaciones, ofreciendo un contraparte real a la analitificación de Berkovich que es bien adecuada para las técnicas de la teoría de modelos.
• Modestia: Los autores señalan que, si bien los resultados son nuevos para conjuntos definibles generales, la equivalencia de las condiciones (i), (ii), (iv) y (v) en el caso semialgebraico ya había sido establecida por Jell, Scheiderer y Yu. La contribución principal reside en la generalización a estructuras o-minimales acotadas polinómicamente y en la nueva caracterización mediante degeneraciones iniciales reales.

El artículo no propone nuevas aplicaciones experimentales, pero sugiere que estos resultados estructurales pueden facilitar el estudio de variedades toricas irracionales y otros objetos donde los exponentes reales y los conjuntos definibles son relevantes.