Refined Humbert invariants and subvarieties of $\Ac_2(\C)$: the rank 3 case

Résumé Technique : Invariants de Humbert Affinés et Sous-variétés de $\mathcal{A}_2(\mathbb{C})$ : Le Cas de Rang 3

Énoncé du Problème
L'article étudie la géométrie du lieu de Humbert $H(q)$ au sein de l'espace de moduli $\mathcal{A}_2(\mathbb{C})$ des surfaces abéliennes principalement polarisées. Plus précisément, il traite le cas où $q$ est une forme quadratique intégrale ternaire (de rang 3). Le lieu de Humbert $H(q)$ est défini comme l'ensemble des surfaces abéliennes principalement polarisées $(A, \lambda)$ telles que l'invariant de Humbert affiné $q(A, \lambda)$ représente primitivement la forme quadratique $q$. Bien que le cas de rang 1 (surfaces de Humbert classiques $H_\Delta$) et diverses intersections de rang 2 aient été largement étudiés, une caractérisation géométrique complète du lieu de rang 3 dans $\mathcal{A}_2(\mathbb{C})$ n'avait pas encore été établie. La question centrale est de décrire la structure et la cardinalité de $H(q)$ lorsqu'il est non vide.

Méthodologie
Les auteurs emploient une synthèse de la géométrie arithmétique, de la théorie de la multiplication complexe (CM) et de la structure algébrique des anneaux d'endomorphismes.

1. Réduction Structurelle : En utilisant la classification d'Albert et les résultats de Shioda et Mitani, les auteurs établissent que si $H(q) \neq \emptyset$ pour une forme $q$ de rang 3, toute surface $(A, \lambda) \in H(q)$ est isogène à un produit de deux courbes elliptiques à CM, $A \simeq E_1 \times E_2$, partageant le même corps de CM $K = \mathbb{Q}(\sqrt{d})$.
2. Conjugaison Galoisienne (Proposition 2.1) : La preuve commence par démontrer que si deux surfaces $(A, \lambda)$ et $(A', \lambda')$ partagent le même invariant de Humbert affiné, leurs variétés abéliennes sous-jacentes $A$ et $A'$ doivent être des conjuguées de Galois. Ceci est réalisé en analysant l'équivalence des formes quadratiques binaires associées décrivant les isogénies entre les facteurs CM, liant ces dernières aux classes d'idéaux dans l'anneau d'endomorphismes via la correspondance d'Artin.
3. Représentation par Lattices et Matrices : Les auteurs modélisent explicitement le groupe de Néron-Severi $NS(A)$ comme un réseau de matrices hermitiennes « tordues » (twisted), noté $Hermtwist_2(\mathcal{O})$, où $\mathcal{O}$ est l'ordre maximal de $K$. L'invariant de Humbert affiné correspond au déterminant sur ce réseau.
4. Analyse de Groupe : Le problème est réduit à la classification des polarisations principales sur une surface $A$ fixée satisfaisant la condition de l'invariant. Cela implique l'analyse du groupe quotient $G_A / H_A$, où $G_A$ est le groupe des isométries de $(NS(A), q_A)$ préservant le cône ample, et $H_A$ est l'image du groupe d'automorphismes géométriques $\text{Aut}(A)$.
5. Contenu Tordu (Twisted Content) : Un outil novateur, le « contenu tordu » d'une matrice $M \in GL_2(K)$, est introduit pour caractériser l'action des isométries sur le réseau. Cela permet aux auteurs de construire des représentants explicites pour les classes de $G_A / H_A$ et de les relier au sous-groupe de 2-torsion du groupe de classes d'idéaux, $\text{Cl}(\mathcal{O})[2]$.

Contributions Clés et Résultats

• Théorème 1.2 (Résultat Principal) : Les auteurs prouvent que si $q$ est une forme quadratique ternaire de discriminant $-16d$ (où $d < 0$ est un discriminant fondamental) et que $H(q) \neq \emptyset$, alors $H(q)$ consiste précisément en l'orbite $\text{Gal}(\bar{K}/K)$ d'une unique surface abélienne principalement polarisée $(E_1 \times E_2, \lambda)$. Ici, $E_1$ et $E_2$ sont des courbes elliptiques avec CM par l'ordre maximal $\mathcal{O}$ du corps quadratique imaginaire $K = \mathbb{Q}(\sqrt{d})$.
• Classification des Polarisations : L'article établit une bijection entre l'ensemble des classes d'isomorphisme des polarisations principales sur $A$ avec un invariant de Humbert affiné donné et l'ensemble $G_A / H_A$.
• Cardinalité et Structure : Il est prouvé que $\#(G_A / H_A) = 2 \cdot \#\text{Cl}(\mathcal{O})[2]$. Les auteurs construisent des représentants explicites pour ces classes à l'aide de matrices dérivées des classes d'idéaux dans $\text{Cl}(\mathcal{O})[2]$ et d'une involution $\tau$.
• Interprétation Géométrique : L'action de la composante $\text{Cl}(\mathcal{O})[2]$ sur les polarisations est interprétée géométriquement comme le rappel (pullback) de la polarisation sur une surface conjuguée de Galois. L'action de la composante $\mathbb{Z}/2\mathbb{Z}$ (générée par $\tau$) est montrée comme étant triviale en termes de production de nouvelles classes d'isomorphisme de polarisations.
• Vérification Expérimentale : Les auteurs notent que leurs résultats théoriques ont été confirmés expérimentalement pour des discriminants fondamentaux jusqu'à $d = -199$ en utilisant le code et les résultats existants de Narayanan (2024).

Signification
Cet article fournit la première caractérisation géométrique du lieu de Humbert de rang 3 dans $\mathcal{A}_2(\mathbb{C})$. Il démontre que, contrairement à des descriptions de modules potentiellement complexes, ces lieux sont des ensembles finis de conjugués de Galois de produits CM spécifiques. Ce travail comble l'écart entre les propriétés algébriques des invariants de Humbert affinés et l'arithmétique des courbes elliptiques à CM. En introduisant le « contenu tordu » et en décrivant explicitement l'action du groupe d'isométrie sur le réseau de Néron-Severi, les auteurs offrent un cadre concret pour manipuler ces lieux. Les résultats affinent la compréhension de la manière dont les intersections des surfaces de Humbert se comportent dans le cas de rang 3, montrant qu'elles sont régies par la 2-torsion du groupe de classes de l'ordre maximal du corps quadratique imaginaire sous-jacent. Les auteurs reconnaissent que, bien que la condition sur l'ordre maximal dans le Théorème 1.2 puisse être assouplie avec des travaux ultérieurs, le cadre actuel résout avec succès la description géométrique pour le cas de l'ordre maximal.