Cycles in the universal moduli stack of bundles of rank two over genus two curves

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie algébrique, plus précisément dans l'étude de la théorie de l'intersection des espaces de modules de fibrés vectoriels sur les courbes algébriques.

• Contexte : La cohomologie de l'espace de modules des fibrés vectoriels semi-stables sur une courbe fixe est bien comprise (générateurs, relations, nombres de Betti). Cependant, les espaces de modules universels (où la courbe elle-même varie) et les champs de modules universels (incluant les fibrés instables) restent beaucoup plus difficiles à analyser en raison de défis techniques liés à la stratification de Harder-Narasimhan et à la complexité de la géométrie des familles de courbes.
• Objectif : L'auteur vise à déterminer la structure complète de l'anneau de Chow $A^*$ du champ de modules universel des fibrés vectoriels de rang 2 et de degré $d$ sur les courbes de genre 2, noté $\text{Vec}(2,d,2)$.
• Conjecture principale (Conjecture A) : L'auteur propose que l'anneau de Chow de ce champ universel sur les courbes hyperelliptiques est isomorphe à la sous-algèbre de cohomologie générée par les classes « twisted-kappa » (classes tautologiques spécifiques), et que l'application de restriction vers la cohomologie d'une fibre générique est un isomorphisme. Cela implique que le champ satisfait la propriété de Franchetta.

2. Méthodologie

L'approche de l'auteur combine plusieurs outils avancés de géométrie algébrique et de théorie des champs :

1. Stratification de Harder-Narasimhan (HN) :

   • Le champ $\text{Vec}(2,d,2)$ est décomposé en une partie stable (ou semi-stable) et des strates instables.
   • Les strates instables sont paramétrées par des champs de filtrations (filtration stacks), notés $\text{Filt}^{(d_1, d)}_{(1,2)}(2)$.
   • L'auteur utilise la suite exacte d'excision pour relier l'anneau de Chow du champ total à celui de la partie stable et des strates instables.

2. Réduction aux Jacobienes Universelles :

   • Les strates instables sont isomorphes à des produits de Jacobienes universelles sur des courbes de genre 2 (avec des points de Weierstrass marqués).
   • L'article calcule explicitement les anneaux de Chow de ces produits de Jacobienes ($J^0_2 \times_{M_2} J^0_2$) en utilisant des sections de Weierstrass et des plongements de courbes hyperelliptiques comme quartiques planes nodales.

3. Correspondance de Hecke :

   • Pour traiter les degrés pairs (où les calculs directs sont plus complexes), l'auteur utilise une correspondance de Hecke le long de la section de Weierstrass. Cela établit un isomorphisme entre les champs de modules de degrés impairs et pairs, permettant de transférer les résultats du cas $d=3$ (impair) au cas $d=2$ (pair).

4. Calculs de Séries de Hilbert :

   • Une méthode cruciale consiste à comparer les séries de Hilbert (qui comptent la dimension des espaces de cycles par degré) de l'anneau de Chow conjecturé et de la cohomologie de la fibre. La coïncidence de ces séries, couplée à la surjectivité de l'application naturelle, prouve l'isomorphisme.

3. Contributions Clés et Résultats Principaux

L'article apporte plusieurs résultats majeurs, synthétisés dans les théorèmes A, B et C :

A. Calcul de l'anneau de Chow des produits de Jacobienes (Théorème A)

L'auteur calcule explicitement l'anneau de Chow du produit de deux Jacobienes universelles sur les courbes de genre 2.

• Générateurs : Les classes de diviseurs $\Theta$ (diviseur theta) et leurs images par les projections et les applications de torsion.
• Relations : Une liste complète de relations polynomiales entre ces générateurs est établie, montrant que l'anneau est tautologique.

B. Démonstration de la Conjecture A pour le rang 2 et genre 2 (Théorème 4.1 et 4.2)

L'auteur prouve que pour le champ universel $\text{Vec}(2,d,2)$ :

• L'anneau de Chow $A^*(\text{Vec}(2,d,2))$ est isomorphe à la sous-algèbre de cohomologie $H^*_\kappa$ générée par les classes twisted-kappa.
• L'application de restriction vers la cohomologie d'une courbe fixe $C$ est un isomorphisme.
• Cela confirme que les cycles tautologiques engendrent toute la théorie d'intersection de ce champ.

C. Présentation explicite de l'anneau de Chow (Théorème B)

Pour tout degré $d$, l'anneau de Chow est présenté comme un quotient d'un anneau de polynômes à 6 générateurs (les classes $\kappa$ de base) par un idéal de relations explicites.

• Les générateurs sont : $\kappa_{0,1,0}, \kappa_{0,0,1}, \kappa_{-1,0,1}, \kappa_{-1,2,0}, \kappa_{-1,0,2}, \kappa_{-1,1,1}$.
• Les relations sont données par un système polynomial complexe (noté $x_1, x_2, x_3$ dans le texte) qui définit la structure de l'anneau.

D. Relations pour les classes d'ordre supérieur (Théorème C et 5.1)

L'article fournit des formules récursives permettant d'exprimer toutes les classes twisted-kappa d'ordre supérieur ($\kappa_{i,m,n}$) en fonction des générateurs de base.

• Il est démontré que $\kappa_{i,m,n} = 0$ pour $i \ge 2$.
• Des formules explicites relient les classes d'ordre $n$ aux classes d'ordre inférieur, réduisant ainsi toute la théorie de l'intersection à un nombre fini de générateurs.

4. Signification et Impact

• Avancée théorique : Ce travail est l'un des premiers à fournir une présentation complète (générateurs et relations) de l'anneau de Chow d'un champ de modules universel de fibrés vectoriels pour un genre $g \ge 2$ et un rang $r \ge 2$.
• Validation de la propriété de Franchetta : En prouvant la conjecture pour ce cas, l'auteur valide l'hypothèse selon laquelle les cycles tautologiques capturent toute la cohomologie algébrique pour les familles de fibrés sur les courbes hyperelliptiques.
• Outil pour les cas supérieurs : La méthode développée (combinaison de stratification HN, calculs sur les Jacobienes et correspondances de Hecke) offre un modèle potentiel pour étendre ces résultats à des rangs et des genres supérieurs.
• Tautologicité : Le résultat confirme que la géométrie de ces espaces de modules est entièrement contrôlée par des classes tautologiques, simplifiant considérablement l'étude de leur intersection theory.

En résumé, l'article de Shubham Saha résout un problème ouvert majeur en géométrie des modules en établissant une description algébrique complète et explicite de l'anneau de Chow des fibrés de rang 2 sur les courbes de genre 2, en reliant profondément la théorie des champs de modules à la géométrie des courbes hyperelliptiques et des Jacobienes.