A generalised cross-ratio and limits of local heights

Resumo Técnico: Uma Razão Cruzada Generalizada e Limites de Alturas Locais

Enunciado do Problema
O artigo aborda a generalização da razão cruzada clássica, um invariante projetivo fundamental de quatro pontos em uma reta, para espaços projetivos de dimensão superior: uma configuração de quatro subespaços lineares (planos) em $\mathbb{P}^n$: um par de planos de dimensão $k$ ($A_1, A_2$) e um par de planos de dimensão $n-k-1$ ($B_1, B_2$), tal que $A_i \cap B_j = \emptyset$.

Os autores investigam a relação entre este invariante geométrico e invariantes aritméticos, especificamente o pareamento de altura aumentada (augmented height pairing) dos ciclos $A_1 - A_2$ e $B_1 - B_2$. O problema central envolve compreender como este pareamento de altura se comporta sob degeneração (limites) tanto em contextos arquimedianos (complexos) quanto não arquimedianos (discretamente valorados). Os autores visam estabelecer que o comportamento assintótico do pareamento de altura é governado pela valoração desta razão cruzada generalizada e que o valor limite corresponde a uma "razão cruzada degenerada" definida sobre configurações que se interceptam.

Metodologia
A metodologia combina ferramentas de geometria algébrica, teoria de Hodge e teoria de interseção:

1. Definição Algébrica: Os autores definem a razão cruzada generalizada utilizando álgebra externa. Para subespaços $\hat{A}_i \subset V$ e $\hat{B}_j \subset V$ (onde $V$ é um espaço vetorial de dimensão $n+1$), eles utilizam geradores das potências externas superiores $\det \hat{A}_i$ e $\det \hat{B}_j^\perp$ (o anulador no espaço dual). A razão cruzada é construída como uma razão de pareamentos entre estes geradores, garantindo a independência da escolha de bases.
2. Interpretação Teórica de Hodge: Sobre os números complexos, os autores relacionam a razão cruzada com a classe de extensão na categoria de Estruturas de Hodge Mistas (MHS). Eles identificam o pareamento de altura aumentada com a classe de extensão de um grupo de cohomologia específico $H^{2k+1}(\mathbb{P}^n \setminus (B_1 \cup B_2), A_1 \cup A_2)(k+1)$.
3. Correspondência de Incidência: Para provar a igualdade entre o pareamento de altura e a razão cruzada, os autores constroem uma correspondência de incidência entre o Grassmanniano de $k$-planos e o espaço projetivo. Eles demonstram um isomorfismo entre os grupos de cohomologia relevantes da configuração e a cohomologia do Grassmanniano relativo aos loci "proibidos" dos planos $B$.
4. Teoria de Interseção sobre DVRs: Para o caso não arquimediano, os autores trabalham sobre um Anel de Valorização Discreta (DVR). Eles utilizam a teoria de interseção de Fulton para computar o grau de interseção dos fechamentos de Zariski dos ciclos. Ao analisar a Forma Normal de Smith da inclusão de reticulados (lattices), eles relacionam a multiplicidade de interseção com a valoração do determinante da matriz de transição, que corresponde à valoração da razão cruzada.
5. Configurações Degeneradas: Para lidar com limites onde os planos se interceptam, os autores introduzem uma "razão cruzada degenerada". Isso requer dados adicionais: um isomorfismo entre o determinante do locus de interseção e o determinante do espaço quociente. Eles definem "perturbações de limite" (induzidas pela deformação da família) e "perturbações aritméticas" (induzidas por modelos integrais sobre corpos numéricos) para fixar estes dados.

Principais Contribuições e Resultados

• Teorema A (Caso Complexo): O pareamento de altura aumentada dos ciclos $A_1 - A_2$ e $B_1 - B_2$ em $\mathbb{P}^n(\mathbb{C})$ é exatamente igual à razão cruzada generalizada $(A_1, A_2; B_1, B_2)$. Isto generaliza o resultado conhecido para pontos em uma reta para dimensões superiores. A prova utiliza uma correspondência no Grassmanniano em vez de indução.
• Teorema B (Caso Não Arquimediano): Sobre um corpo discretamente valorado com anel de valoração $R$, o grau de interseção dos fechamentos de Zariski dos ciclos $(A_1 - A_2) \cdot (B_1 - B_2)$ é igual à valoração da razão cruzada $v_R(A_1, A_2; B_1, B_2)$. Isto estabelece que a valoração $p$-ádica da razão cruzada mede a degeneração da configuração.
• Corolário B' (Assintóticas): Para uma família holomorfa de configurações degenerando em $t=0$, o coeficiente principal $m$ na expansão assintótica do pareamento de altura arquimediano ($\sim m \log |t|$) é o grau de interseção dos ciclos sobre a fibra central. Isto confirma uma conjectura de Chen para o caso de planos degenerantes.
• Teorema C (Períodos de Limite): O limite regularizado da razão cruzada quando $t \to 0$ é igual à razão cruzada degenerada da configuração da fibra central, avaliada em relação a uma "perturbação de limite" induzida $c_{\text{lim}}$. Esta perturbação codifica a separação infinitesimal da interseção dos planos.
• Corolário C'' (Interpretação Aritmética): Quando a fibra central é definida sobre um corpo numérico de classe de ideal 1, o período limite $u(0)$ está relacionado a uma "razão cruzada aritmética" definida via reticulados integrais. O logaritmo do período limite difere do logaritmo da razão cruzada aritmética por um termo de correção envolvendo a razão entre a perturbação de limite e a perturbação aritmética.

Significância e Alegações
O artigo afirma fornecer um arcabouço "motivico" unificado para compreender os limites de pareamentos de altura. Ao generalizar a razão cruzada, os autores demonstram que o comportamento assintótico destes invariantes analíticos é estritamente governado por números de interseção algébrica.

Os autores observam que os seus resultados confirmam a conjectura de Chen sobre a taxa de divergência de pareamentos de altura para ciclos algebricamente triviais no caso específico de planos. Além disso, o trabalho oferece uma interpretação concreta do "período de limite" (o termo constante na expansão assintótica) não meramente como um número complexo, mas como uma razão cruzada degenerada na fibra central, corrigida por dados de deformação infinitesimal.

O artigo reconhece que o Teorema A concorda com um resultado recente de Goncharov, mas fornece uma prova distinta via correspondência. Os autores posicionam o seu trabalho como uma generalização de estudos anteriores sobre limites de períodos para curvas e degenerações nodais, estendendo estes conceitos para períodos mistos em dimensões arbitrárias e permitindo degenerações "arbitrariamente ruins" dos ciclos. Os resultados são apresentados como adaptações da tese de mestrado do primeiro autor, com provas simplificadas para o teorema do grau de interseção.