A generalised cross-ratio and limits of local heights

Technische Samenvatting: Een Gegeneraliseerde Cross-Ratio en Limieten van Lokale Hoogtes

Probleemstelling
Het artikel behandelt de generalisering van de klassieke cross-ratio, een fundamenteel projectief invariant van vier punten op een lijn, naar hogere-dimensionale projectieve ruimten: een configuratie van vier lineaire deelruimten (vlakken) in $\mathbb{P}^n$: een paar $k$-dimensionale vlakken ($A_1, A_2$) en een paar $(n-k-1)$-dimensionale vlakken ($B_1, B_2$), zodanig dat $A_i \cap B_j = \emptyset$.

De auteurs onderzoeken de relatie tussen dit geometrische invariant en rekenkundige invarianten, specif kind de geaugmenteerde hoogte-pairing (augmented height pairing) van de cycli $A_1 - A_2$ en $B_1 - B_2$. Het kernprobleem betreft het begrijpen van hoe deze hoogte-pairing zich gedraagt onder degeneratie (limieten) in zowel de Archimedeïsche (complexe) als de niet-Archimedeïsche (discreet gewaardeerde) setting. De auteurs beogen vast te stellen dat het asymptotische gedrag van de hoogte-pairing wordt bepaald door de waardering van deze gegeneraliseerde cross-ratio en dat de limietwaarde overeenkomt met een "gedegenereerde cross-ratio" gedefinieerd op snijdende configuraties.

Methodologie
De methodologie combineert instrumenten uit de algebraïsche meetkunde, Hodge-theorie en intersectietheorie:

1. Algebraïsche Definitie: De auteurs definiëren de gegeneraliseerde cross-ratio met behulp van exterior algebra. Voor deelruimten $\hat{A}_i \subset V$ en $\hat{B}_j \subset V$ (waarbij $V$ een $(n+1)$-dimensionale vectorruimte is), maken zij gebruik van generatoren van de hoogste exterior machten $\det \hat{A}_i$ en $\det \hat{B}_j^\perp$ (de annihilator in de duale ruimte). De cross-ratio wordt geconstrueerd als een ratio van pairings tussen deze generatoren, wat onafhankelijkheid garandeert van de keuze van bases.
2. Hodge-theoretische Interpretatie: Over de complexe getallen relateren de auteurs de cross-ratio aan de extensieklasse in de categorie van Mixed Hodge Structures (MHS). Zij identificeren de geaugmenteerde hoogte-pairing met de extensieklasse van een specifieke cohomologiegroep $H^{2k+1}(\mathbb{P}^n \setminus (B_1 \cup B_2), A_1 \cup A_2)(k+1)$.
3. Incidentie-correspondentie: Om de gelijkheid tussen de hoogte-pairing en de cross-ratio te bewijzen, construeren de auteurs een incidentie-correspondentie tussen de Grassmannia van $k$-vlakken en de projectieve ruimte. Zij demonstreren een isomorfisme tussen de relevante cohomologiegroepen van de configuratie en de cohomologie van de Grassmannia relatief aan de "verboden" loci van de $B$-vlakken.
4. Intersectietheorie over DVR's: Voor het niet-Archimedeïsche geval werken de auteurs over een Discrete Valuatiering (DVR). Zij maken gebruik van de intersection theory van Fulton om de intersectiegraad van de Zariski-sluitingen van de cycli te berekenen. Door de Smith Normaalvorm van de inclusie-afbeelding van de roosters (lattices) te analyseren, relateren zij de intersectiemultipliciteit aan de waardering van het determinant van de transitie-matrix, wat overeenkomt met de waardering van de cross-ratio.
5. Gedegenereerde Configuraties: Om limieten te behandelen waarbij vlakken elkaar snijden, introduceren de auteurs een "gedegenereerde cross-ratio". Dit vereist aanvullende data: een isomorfisme tussen het determinant van de snijpunt-locatie en het determinant van de quotientruimte. Zij definiëren "limiet-perturbaties" (geïnduceerd door de deformatie van de familie) en "arithmetische perturbaties" (geïnduceerd door integrale modellen over getalvelden) om deze data vast te leggen.

Belangrijkste Bijdragen en Resultaten

• Theorema A (Complex Geval): De geaugmenteerde hoogte-pairing van de cycli $A_1 - A_2$ en $B_1 - B_2$ in $\mathbb{P}^n(\mathbb{C})$ is exact gelijk aan de gegeneraliseerde cross-ratio $(A_1, A_2; B_1, B_2)$. Dit generaliseert het bekende resultaat voor punten op een lijn naar hogere dimensies. Het bewijs maakt gebruik van een correspondentie op de Grassmannia in plaats van inductie.
• Theorema B (Niet-Archimedeïsch Geval): Over een discreet gewaardeerd veld met waarderingsring $R$, is de intersectiegraad van de Zariski-sluitingen van de cycli $(A_1 - A_2) \cdot (B_1 - B_2)$ gelijk aan de waardering van de cross-ratio $v_R(A_1, A_2; B_1, B_2)$. Dit stelt vast dat de $p$-adische waardering van de cross-ratio de degeneratie van de configuratie meet.
• Corollary B' (Asymptotica): Voor een holomorfe familie van configuraties die degenereren bij $t=0$, is de leidende coëfficiënt $m$ in de asymptotische expansie van de Archimedeïsche hoogte-pairing ($\sim m \log |t|$) de intersectiegraad van de cycli over de centrale vezel. Dit bevestigt een conjectuur van Chen voor het geval van degenererende vlakken.
• Theorema C (Limiet-perioden): De geregulariseerde limiet van de cross-ratio wanneer $t \to 0$ is gelijk aan de gedegenereerde cross-ratio van de centrale vezel-configuratie, geëvalueerd met betrekking tot een geïnduceerde "limiet-perturbatie" $c_{\text{lim}}$. Deze perturbatie codeert de infinitesimale scheiding van de snijdende vlakken.
• Corollary C'' (Arithmetische Interpretatie): Wanneer de centrale vezel gedefinieerd is over een getalveld met klassegetal 1, is de limietperiode $u(0)$ gerelateerd aan een "arithmetische cross-ratio" gedefinieerd via integrale roosters. Het logaritme van de limietperiode verschilt van het logaritme van de arithmetische cross-ratio door een correctieterm die de ratio van de limiet-perturbatie tot de arithmetische perturbatie bevat.

Betekenis en Claims
Het artikel claimt een verenigd "motivisch" kader te bieden voor het begrijpen van de limieten van hoogte-pairings. Door de cross-ratio te generaliseren, demonstreren de auteurs dat het asymptotische gedrag van deze analytische invarianten strikt wordt beheerst door algebraïsche intersectienummers.

De auteurs merken op dat hun resultaten de conjectuur van Chen bevestigen betreffende de divergentiesnelheid van hoogte-pairings voor degenererende algebraïsch triviale cycli in het specifieke geval van vlakken. Voorts biedt het werk een concrete interpretatie van de "limietperiode" (de constante term in de asymptotische expansie) niet louter als een complex getal, maar als een gedegenereerde cross-ratio op de centrale vezel, gecorrigeerd door infinitesimale deformatie-data.

Het artikel erkent dat Theorem A overeenstemt met een recent resultaat van Goncharov, maar biedt een afwijkend bewijs via correspondentie. De auteurs positioneren hun werk als een generalisatie van eerdere studies naar limieten van perioden voor curven en nodale degeneraties, waarbij zij deze concepten uitbreiden naar gemengde perioden in willekeurige dimensies en waarbij zij "willekeurig slechte" degeneraties van de cycli toestaan. De resultaten worden gepresenteerd als adaptaties van de masterscriptie van de eerste auteur, met gestroomlijnde bewijzen voor het intersectiegraad-theorema.