A generalised cross-ratio and limits of local heights

Resumen Técnico: Una razón doble generalizada y límites de alturas locales

Planteamiento del Problema
El artículo aborda la generalización de la razón doble clásica, un invariante proyectivo fundamental de cuatro puntos en una recta, a espacios proyectivos de mayor dimensión: una configuración de cuatro subespacios lineales (planos) en $\mathbb{P}^n$: un par de planos de dimensión $k$ ($A_1, A_2$) y un par de planos de dimensión $(n-k-1)$ ($B_1, B_2$), tales que $A_i \cap B_j = \emptyset$.

Los autores investigan la relación entre este invariante geométrico e invariantes aritméticos, específicamente el emparejamiento de altura aumentada (augmented height pairing) de los ciclos $A_1 - A_2$ y $B_1 - B_2$. El problema central consiste en comprender cómo se comporta este emparejamiento de altura bajo degeneración (límites) tanto en el entorno arquimediano (complejo) como en el no arquimediano (con valoración discreta). Los autores pretenden establecer que el comportamiento asintótico del emparejamiento de altura está gobernado por la valoración de esta razón doble generalizada y que el valor límite corresponde a una "razón doble degenerada" definida sobre configuraciones que se intersectan.

Metodología
La metodología combina herramientas de geometría algebraica, teoría de Hodge y teoría de intersección:

1. Definición Algebraica: Los autores definen la razón doble generalizada utilizando el álgebra exterior. Para los subespacios $\hat{A}_i \subset V$ y $\hat{B}_j \subset V$ (donde $V$ es un espacio vectorial de dimensión $(n+1)$), utilizan los generadores de las potencias exteriores superiores $\det \hat{A}_i$ y $\det \hat{B}_j^\perp$ (el anulador en el espacio dual). La razón doble se construye como una razón de emparejamientos entre estos generadores, asegurando la independencia de la elección de las bases.
2. Interpretación de Hodge: Sobre los números complejos, los autores relacionan la razón doble con la clase de extensión en la categoría de Estructuras de Hodge Mixtas (MHS). Identifican el emparejamiento de altura aumentada con la clase de extensión de un grupo de cohomología específico $H^{2k+1}(\mathbb{P}^n \setminus (B_1 \cup B_2), A_1 \cup A_2)(k+1)$.
3. Correspondencia de Incidencia: Para probar la igualdad entre el emparejamiento de altura y la razón doble, los autores construyen una correspondencia de incidencia entre el Grassmaniano de $k$-planos y el espacio proyectivo. Demuestran que existe un isomorfismo entre los grupos de cohomología relevantes de la configuración y la cohomología del Grassmaniano relativo a los loci "prohibidos" de los planos $B$.
4. Teoría de Intersección sobre DVRs: Para el caso no arquimediano, los autores trabajan sobre un Anillo de Valoración Discreta (DVR). Utilizan la teoría de intersección de Fulton para calcular el grado de intersección de los cierres de Zariski de los ciclos. Al analizar la Forma Normal de Smith de la inclusión de los retículos, relacionan la multiplicidad de intersección con la valoración del determinante de la matriz de transición, lo cual corresponde a la valoración de la razón doble.
5. Configuraciones Degeneradas: Para manejar los límites donde los planos se intersectan, los autores introducen una "razón doble degenerada". Esto requiere datos adicionales: un isomorfismo entre el determinante del locus de intersección y el determinante del espacio cociente. Los autores definen "perturbaciones de límite" (inducidas por la deformación de la familia) y "perturbaciones aritméticas" (inducidas por modelos integrales sobre cuerpos de números) para fijar estos datos.

Contribuciones Clave y Resultados

• Teorema A (Caso Complejo): El emparejamiento de altura aumentada de los ciclos $A_1 - A_2$ y $B_1 - B_2$ en $\mathbb{P}^n(\mathbb{C})$ es exactamente igual a la razón doble generalizada $(A_1, A_2; B_1, B_2)$. Esto generaliza el resultado conocido para puntos en una recta a dimensiones superiores. La prueba utiliza una correspondencia en el Grassmaniano en lugar de inducción.
• Teorema B (Caso No Arquimediano): Sobre un cuerpo con valoración discreta con anillo de valoración $R$, el grado de intersección de los cierres de Zariski de los ciclos $(A_1 - A_2) \cdot (B_1 - B_2)$ es igual a la valoración de la razón doble $v_R(A_1, A_2; B_1, B_2)$. Esto establece que la valoración $p$-ádica de la razón doble mide la degeneración de la configuración.
• Corolario B' (Asintótica): Para una familia holomorfa de configuraciones que degeneran en $t=0$, el coeficiente principal $m$ en la expansión asintótica del emparejamiento de altura arquimediano ($\sim m \log |t|$) es el grado de intersección de los ciclos sobre la fibra central. Esto confirma una conjetura de Chen para el caso de planos degenerantes.
• Teorema C (Periodos Límite): El límite regularizado de la razón doble cuando $t \to 0$ es igual a la razón doble degenerada de la configuración de la fibra central, evaluada con respecto a una "perturbación de límite" inducida $c_{\text{lim}}$. Esta perturbación codifica la separación infinitesimal de los planos que se intersectan.
• Corolario C'' (Interpretación Aritmética): Cuando la fibra central está definida sobre un cuerpo de números de clase de ideal 1, el periodo límite $u(0)$ está relacionado con una "razón doble aritmética" definida mediante retículos integrales. El logaritmo del periodo límite difiere del logaritmo de la razón doble aritmética por un término de corrección que involucra la razón entre la perturbación de límite y la perturbación aritmética.

Significado y Reivindicaciones
El artículo afirma proporcionar un marco "motivico" unificado para comprender los límites de los emparejamientos de altura. Al generalizar la razón doble, los autores demuestran que el comportamiento asintótico de estos invariantes analíticos está estrictamente gobernado por los números de intersección algebraicos.

Los autores señalan que sus resultados confirman la conjetura de Chen respecto a la tasa de divergencia de los emparejamientos de altura para ciclos algebraicamente triviales en el caso específico de planos. Además, el trabajo ofrece una interpretación concreta del "periodo límite" (el término constante en la expansión asintótica) no meramente como un número complejo, sino como una razón doble degenerada en la fibra central, corregida por datos de deformación infinitesimal.

El artículo reconoce que el Teorema A concuerda con un resultado reciente de Goncharov, pero proporciona una prueba distinta vía correspondencia. Los autores posicionan su trabajo como una generalización de estudios previos sobre límites de periodos para curvas y degeneraciones nodales, extendiendo estos conceptos a periodos mixtos en dimensiones arbitrarias y permitiendo degeneraciones de los ciclos que son "arbitrariamente malas". Los resultados se presentan como adaptaciones de la tesis de maestría del primer autor, con pruebas optimizadas para el teorema del grado de intersección.