2025-11-19T13:40:21.734964

On quasi-Albanese morphisms for log canonical Calabi-Yau pairs

Zhu

We study the quasi-Albanese morphisms for log canonical Calabi-Yau pairs.

academic

Sur les morphismes quasi-Albanese pour les paires de Calabi-Yau log canoniques

Informations fondamentales

ID de l'article: 2511.14580
Titre: On quasi-Albanese morphisms for log canonical Calabi-Yau pairs
Auteur: Yiming Zhu (Université des sciences et technologies de Chine)
Classification: math.AG (Géométrie algébrique)
Date de publication: 18 novembre 2025 (prépublication arXiv)
Lien de l'article: https://arxiv.org/abs/2511.14580
Classification des sujets mathématiques: 14E30

Cet article étudie les morphismes quasi-Albanese pour les paires de Calabi-Yau log canoniques. Il s'agit d'une direction de recherche importante en géométrie algébrique, relevant de la géométrie birationnelle et de la théorie des modèles minimaux.

Contexte et motivation de la recherche

1. Problème central

Le problème central étudié dans cet article est le suivant : pour une paire de Calabi-Yau log canonique $(X, D_X)$ (satisfaisant $K_X + D_X \sim_{\mathbb{Q}} 0$ ), quelles sont les propriétés du morphisme quasi-Albanese de sa partie ouverte $X \setminus D_X$ ?

2. Importance du problème

L'importance de ce problème se manifeste sous plusieurs aspects :

Généralisation des résultats classiques : Kawamata a démontré en 1985 que pour une variété projective complexe avec singularités canoniques et $K_X$ de torsion, le morphisme d'Albanese est un fibré étale. Cet article généralise ce résultat au cas log canonique.
Questions fondamentales de la géométrie logarithmique : Comprendre la structure des paires de Calabi-Yau log canoniques est l'une des questions centrales de la géométrie birationnelle moderne, avec des connexions profondes à la symétrie miroir et à la théorie de Gromov-Witten.
Structures de fibration : Le morphisme quasi-Albanese fournit une méthode pour comprendre les variétés algébriques complexes, en réduisant les problèmes par fibration.

3. Limitations des méthodes existantes

Les théorèmes classiques de Kawamata et Fujino (Théorème 1) établissent que lorsque la dimension de Kodaira logarithmique $\kappa(X_0) = 0$ , le morphisme quasi-Albanese est dominant et les fibres générales sont irréductibles. Cependant, d'autres propriétés géométriques du morphisme (comme les propriétés en codimension un, la platitude, la semi-stabilité) manquent d'études systématiques.
Pour le cas des singularités log canoniques, des techniques plus profondes de la théorie des modèles minimaux sont nécessaires.

4. Motivation de la recherche

Inspiré par les travaux d'Iitaka, Kawamata, Zhang, Fujino, BFPT et autres, l'auteur étudie systématiquement les propriétés en codimension un du morphisme quasi-Albanese pour les paires de Calabi-Yau log canoniques.

Contributions principales

Les contributions principales de cet article incluent :

Théorème principal (Théorème 2) : Pour une paire log lisse $(X, D_X)$ $(X, D_{X})$ avec $D_X$ $D_{X}$ réduit et $K_X + D_X \sim_{\mathbb{Q}} 0$ $K_{X} + D_{X} \sim_{Q} 0$ , le morphisme quasi-Albanese $\alpha: X_0 \to G$ $α : X_{0} \to G$ satisfait :
- Surjectivité en codimension un
- Platitude en codimension un
- Semi-stabilité en codimension un
Théorème de structure (Théorème 3) : Pour une paire dlt Q-factorielle, on construit une contraction birationnelle crépante $\mu: (W, D_W) \dashrightarrow (X, D_X)$ $μ : (W, D_{W}) ⇢ (X, D_{X})$ et une fibration $g: W \to \mathbb{P}_A$ $g : W \to P_{A}$ telles que :
- La formule du faisceau canonique a une forme standard
- La restriction à $g^{-1}G$ est localement stable
- La partie verticale est exactement $g^{-1}H$
Applications concrètes :
- Lorsque $q(X) = 0$ et $q(X, D_X) = \dim X$ , $(X, D_X)$ est crépant birationnellement équivalent à $(\mathbb{P}^n, (\prod_i z_i = 0))$
- Lorsque $q(X, D_X) - q(X) \geq 2$ , $D_X$ est connexe
Réduction de la conjecture du groupe fondamental orbital (Proposition 22) : On démontre que la conjecture de nilpotence virtuelle du groupe fondamental orbital pour les paires de Calabi-Yau log canoniques se réduit au cas $q(X, D_X) = 0$ .

Explication détaillée des méthodes

Définition de la tâche

Entrée : Une paire de Calabi-Yau log canonique $(X, D_X)$ , c'est-à-dire :

$X$ est une variété projective complexe
$D_X$ est un diviseur réduit
$(X, D_X)$ est log canonique (lc)
$K_X + D_X \sim_{\mathbb{Q}} 0$ (condition de Calabi-Yau numérique)

Sortie : Description des propriétés géométriques du morphisme quasi-Albanese $\alpha: X \setminus D_X \to G$ , en particulier ses propriétés en codimension un.

Cadre technique central

La preuve de cet article repose sur plusieurs techniques profondes :

1. Construction du morphisme quasi-Albanese (Section 8)

Pour une paire log lisse $(X, D_X = \sum_{i=1}^m D_i)$ , soit $q = q(X) = \dim H^1(\mathcal{O}_X)$ , $\bar{q} = q(X, D_X) = \dim H^0(\Omega^1_X(\log D_X))$ , $d = \bar{q} - q$ .

Étapes de construction :

Choisir $\eta_i \in H_1(X^0, \mathbb{Z})$ ( $1 \leq i \leq d$ ) comme base de la partie libre de $\ker(H_1(X^0, \mathbb{Z}) \to H_1(X, \mathbb{Z}))$
Choisir $\omega_i \in H^0(\Omega^1_X)$ et $\varphi_j \in H^0(\Omega^1_X(\log D_X))$ satisfaisant les conditions de périodes
La variété quasi-abélienne est définie par : $G := \mathbb{C}^{\bar{q}} / \left(\sum_i \mathbb{Z}A_i + \sum_j \mathbb{Z}B_j\right)$
Possédant une décomposition de Chevalley : $0 \to (\mathbb{C}^*)^d \to G \to A \to 0$

Construction de la compactification : Pour $L_j \in \text{Pic}^0(A)$ correspondant aux représentations, $G$ possède une compactification naturelle : $\mathbb{P}_A := \mathbb{P}_A(\mathcal{O}_A \oplus L_1^{-1}) \times_A \cdots \times_A \mathbb{P}_A(\mathcal{O}_A \oplus L_d^{-1})$

2. Techniques de la théorie des modèles minimaux (Théorème 15)

Ceci est le théorème technique central de l'article, dont la preuve se divise en 5 parties :

(1) Contrôle des diviseurs exceptionnels : On démontre que tout diviseur exceptionnel sur $\mathbb{P}_A$ doit être contenu dans $E_Z + f^{-1}H$ . La preuve utilise essentiellement :

Le théorème de sous-additivité de Fujino (Théorème 13)
La relation entre pseudo-effectivité et exceptionnalité
Le lemme de Lazarsfeld

(2) Existence de diviseurs non-verticaux : Pour tout diviseur premier $P \subset \mathbb{P}_A \setminus H$ , il existe un diviseur premier $Q \subset Z$ non contenu dans $E_Z$ et dominant $P$ . La preuve utilise une preuve par contradiction et des estimations de la dimension de Kodaira logarithmique.

(3) Existence d'un bon modèle minimal : En démontrant :

La partie verticale $E_Z^v$ est très exceptionnelle sur $\mathbb{P}_A$
Pour la fibre générale $F$ , $\kappa(K_F + D_Z|_F) = 0$
Application du théorème d'abondance de Gongyo et du théorème de terminaison de Birkar

Formule clé : $(f_*\mathcal{O}_Z(mE_Z))^\vee = \mathcal{O}_{\mathbb{P}_A}$ pour $m > 0$ suffisamment divisible.

(4) Forme standard de la formule du faisceau canonique : On démontre que la formule du faisceau canonique doit nécessairement avoir la forme : $K_W + D_W \sim_{\mathbb{Q}} g^*(K_{\mathbb{P}_A} + H)$

La stabilité locale est démontrée en utilisant l'inversion d'adjonction.

(5) Argument inductif :

Cas 1 ( $\dim \mathbb{P}_A - \dim A = 1$ ) : Utilisation des résultats de BFPT, le morphisme d'Albanese est une fibration
Cas 2 ( $\dim \mathbb{P}_A - \dim A > 1$ ) : Induction sur la différence de dimensions

3. Théorie des formes différentielles (Section 2.1)

Utilisation de la théorie de GKKP (Théorème 4) : $\pi_* \Omega^k_Y(\log D_Y) \text{ est réflexif, et } H^0(Y, \Omega^k_Y(\log D_Y)) \cong H^0(X_0, \Omega^k_{X_0}(\log \lfloor D_X|_{X_0} \rfloor))$

Ceci garantit l'invariance de $q(X, D_X)$ sous les transformations birationnelles (Lemme 6).

Points d'innovation technique

Étude systématique des propriétés en codimension un : Première étude systématique des propriétés en codimension un du morphisme quasi-Albanese (surjectivité, platitude, semi-stabilité).
Construction de contractions birationnelles crépantes : Construction via la théorie des modèles minimaux de contractions birationnelles spéciales préservant les propriétés log canoniques.
Cadre inductif : Établissement d'un cadre inductif via $q(X, D_X)$ pour réduire les problèmes.
Induction sur la différence de dimensions : Dans la preuve du Théorème 15, l'induction sur $\dim \mathbb{P}_A - \dim A$ est une innovation clé.

Configuration expérimentale

En tant qu'article de théorie mathématique pure, cet article ne contient pas de partie expérimentale, mais établit les résultats théoriques par des preuves mathématiques rigoureuses.

Analyse d'exemples (Exemple 10)

L'article fournit trois classes d'exemples importants :

Exemple 1 : $X = \mathbb{P}^2$

Si $D_X$ est composé de 3 droites, alors $q(X, D_X) = 3$
Si $D_X$ est une courbe elliptique, alors $q(X, D_X) = 0$
Si $D_X = Q + L$ (courbe quadratique + droite), alors $q(X, D_X) = 1$ , le morphisme quasi-Albanese est $x \mapsto \frac{l^2}{q}$

Exemple 2 : $X = \mathbb{P}^1 \times \mathbb{P}^1$ , $D_X = F_1 + F_2 + \Delta$

Le morphisme quasi-Albanese est $(z_1, z_2) \mapsto \frac{1}{z_1} - \frac{1}{z_2}$

Exemple 3 : $X = \mathbb{P}_A(\mathcal{O}_A \oplus L)$

Si $L \in \text{Pic}^0(A)$ , alors $q(X, D_X) = \dim A + 1$
Si $L \notin \text{Pic}^0(A)$ , alors $q(X, D_X) = \dim A$

Analyse des résultats principaux

Signification du Théorème 2

Pour une paire de Calabi-Yau log lisse, le morphisme quasi-Albanese $\alpha: X_0 \to G$ satisfait :

Surjectivité en codimension un : Pour tout diviseur premier $P \subset G$ $P \subset G$ , il existe un diviseur premier $Q \subset X_0$ $Q \subset X_{0}$ dominant $P$ $P$
- Ceci indique que le morphisme est « aussi surjectif que possible » en codimension un
Platitude en codimension un : Pour tout diviseur premier $Q \subset X_0$ $Q \subset X_{0}$ , si $Q$ $Q$ ne domine pas $G$ $G$ , alors $\alpha(Q)$ $α (Q)$ a codimension 1
- Ceci contrôle les sauts de dimension des fibres
Semi-stabilité en codimension un : Pour tout diviseur premier $P \subset G$ $P \subset G$ , la paire $(X, \alpha^*P)$ $(X, α^{*} P)$ est log canonique près d'un point général de $P$ $P$
- Ceci est une condition de singularité modérée

Structure du Théorème 3

Ce théorème fournit un modèle géométrique standardisé :

W \ D_W ----h----> G = P_A \ G
    |                    |
    g                    p
    |                    |
    v                    v
   P_A -------p-------> A

où :

$\mu: (W, D_W) \dashrightarrow (X, D_X)$ est une contraction birationnelle crépante
La partie verticale de $g$ est exactement $g^{-1}H$
La formule du faisceau canonique est standardisée : $K_W + D_W \sim_{\mathbb{Q}} g^*(K_{\mathbb{P}_A} + H)$

Applications des corollaires

Corollaire 1 : Si $q(X) = 0$ et $q(X, D_X) = \dim X$ , alors $(X, D_X)$ est crépant birationnellement équivalent à $(\mathbb{P}^n, (\prod_i z_i = 0))$ .

Corollaire 2 : Si $q(X, D_X) - q(X) \geq 2$ , alors $D_X$ est connexe.

Ces résultats ont une importance significative pour la compréhension de la classification des paires de Calabi-Yau log canoniques.

Travaux connexes

1. Fondations classiques

Iitaka (1976, 1977) : Introduction de la dimension de Kodaira logarithmique et du concept de morphisme quasi-Albanese
Kawamata (1981, 1985) : Démonstration de la propriété de fibré étale du morphisme d'Albanese
Fujino (2024) : Étude systématique récente du morphisme quasi-Albanese

2. Théorie des modèles minimaux

Birkar (2012) : Existence des flips log canoniques et LMMP spécial
Hacon-Xu (2013) : Existence de la fermeture log canonique
Gongyo (2011) : Théorème d'abondance pour les paires dlt avec dimension de Kodaira logarithmique numérique

3. Théorie des formes différentielles

GKKP (2011) : Théorie des formes différentielles sur les espaces log canoniques
Maehara (1986), Fujino (2017) : Théorèmes de sous-additivité

4. Progrès récents

BFPT (2024) : Contre-exemples forts à la décomposition de Beauville-Bogomolov log canonique
GLM (2023) : Groupe fondamental des surfaces de Calabi-Yau logarithmiques

Positionnement de cet article

Cet article généralise le résultat classique de Kawamata au cas log canonique et étudie systématiquement les propriétés en codimension un. Par rapport aux travaux connexes, les avantages de cet article sont :

Conditions de singularité plus générales (log canonique vs canonique)
Propriétés géométriques plus fines (trois propriétés en codimension un)
Fournit un cadre inductif pour des recherches ultérieures

Conclusion et discussion

Conclusions principales

Théorème de structure géométrique : Le morphisme quasi-Albanese des paires de Calabi-Yau log canoniques possède de bonnes propriétés en codimension un et peut être standardisé par contraction birationnelle crépante.
Structure de fibration : Il existe une fibration vers un fibré $(\mathbb{P}^1)^d$ , dont la formule du faisceau canonique a une forme standard.
Principe inductif : De nombreux problèmes peuvent être réduits au cas $q(X, D_X) = 0$ par induction via $q(X, D_X)$ .

Limitations

Limitations techniques :
- Les résultats principaux nécessitent les conditions Q-factorielle et dlt ; des travaux ultérieurs sont nécessaires pour les paires log canoniques générales
- La preuve repose sur des résultats profonds de la théorie des modèles minimaux, avec un seuil technique élevé
Limitations de dimension : Bien que théoriquement applicable à toute dimension, les applications concrètes peuvent être limitées par la complexité computationnelle.
Limitations de caractéristique : Travail uniquement sur le corps des complexes ; le cas de caractéristique positive nécessite des techniques différentes.

Directions futures

Les directions de recherche explicitement indiquées dans l'article :

Conjecture du groupe fondamental orbital (Conjecture 20) : Démontrer que le groupe fondamental orbital des paires de Calabi-Yau log canoniques est virtuellement nilpotent. La Proposition 22 réduit le problème au cas $q(X, D_X) = 0$ .
Problèmes de classification : Utiliser le cadre de cet article pour classifier les paires de Calabi-Yau log canoniques en basse dimension.
Généralisation à des singularités plus générales : Étudier les cas non-Q-factoriels ou non-dlt.
Connexions avec la symétrie miroir : Explorer les applications des résultats de cet article en symétrie miroir.

Évaluation approfondie

Points forts

Profondeur théorique :
- Généralisation du résultat classique de Kawamata au cas log canonique, avec une difficulté technique significativement accrue
- Étude systématique des propriétés en codimension un, comblant une lacune dans ce domaine
- Les techniques de preuve synthétisent la théorie des modèles minimaux, la théorie des formes différentielles, la théorie de Hodge et d'autres domaines
Clarté de la structure :
- L'article est bien organisé, avec une logique rigoureuse des préparatifs au théorème principal
- Fournit de nombreux exemples pour faciliter la compréhension
- La standardisation de la formule du faisceau canonique fournit un cadre de traitement unifié
Innovation technique :
- La construction de la contraction birationnelle crépante est une innovation clé
- L'argument inductif sur la différence de dimensions est ingénieux
- La réduction du problème du groupe fondamental orbital à un cas plus simple démontre la puissance de la méthode
Valeur applicative :
- Fournit un cadre inductif pour les recherches ultérieures
- D'une importance significative pour la compréhension de la structure géométrique des paires de Calabi-Yau log canoniques
- Connexions potentielles avec le groupe fondamental, la théorie de la classification, etc.

Insuffisances

Seuil technique :
- La preuve repose sur de nombreuses techniques hautement sophistiquées, difficiles à comprendre complètement pour les non-spécialistes
- Certaines étapes clés (comme la preuve du Théorème 15) sont très techniques
Calculs concrets :
- Manque d'exemples concrets en dimension ≥ 3
- Pour les types spécifiques de paires, comment calculer efficacement le morphisme quasi-Albanese reste peu clair
Complétude :
- La conjecture du groupe fondamental orbital n'est que partiellement résolue (réduite mais non complètement prouvée)
- L'optimalité de certains résultats n'est pas discutée

Évaluation de l'impact

Contribution théorique :
- Contribution importante à la géométrie birationnelle et à la théorie des modèles minimaux
- Fournit de nouveaux outils pour la recherche sur les paires de Calabi-Yau log canoniques
- Devrait être largement cité par les travaux ultérieurs dans ce domaine
Valeur pratique :
- Fournit un cadre inductif pour les problèmes concrets
- Applicable à la classification des paires de Calabi-Yau log canoniques
- Pertinent pour les problèmes de groupe fondamental, d'espace de modules, etc.
Reproductibilité :
- En tant que preuve mathématique pure, logiquement rigoureuse et fortement vérifiable
- Tous les résultats cités ont des sources explicites
- Détails techniques suffisants (bien que complexes)

Scénarios d'application

Recherche théorique :
- Classification et espace de modules des paires de Calabi-Yau log canoniques
- Problèmes de fibration en géométrie birationnelle
- Étude des propriétés du groupe fondamental et topologiques
Domaines connexes :
- Théorie de la symétrie miroir
- Théorie de Gromov-Witten
- Catégories dérivées et conditions de stabilité
Directions de généralisation :
- Géométrie birationnelle des variétés algébriques de haute dimension
- Théorie analogue en caractéristique positive
- Problèmes analogues en géométrie non-commutative

Références

L'article cite les littératures importantes du domaine, les références clés incluent :

Kaw85 Kawamata: Minimal models and the Kodaira dimension of algebraic fiber spaces
Iit76 Iitaka: Logarithmic forms of algebraic varieties
Fuj24 Fujino: On quasi-albanese maps
GKKP11 Greb-Kebekus-Kovács-Peternell: Differential forms on log canonical spaces
Bir12 Birkar: Existence of log canonical flips and a special LMMP
BFPT24 Bernasconi-Filipazzi-Patakfalvi-Tsakanikas: Contre-exemples forts à la décomposition de Beauville-Bogomolov log canonique

Résumé

Ceci est un article de théorie de géométrie algébrique de haut niveau qui étudie systématiquement les propriétés géométriques du morphisme quasi-Albanese pour les paires de Calabi-Yau log canoniques. L'article possède une technique profonde, des résultats importants et fournit de nouveaux outils et perspectives au domaine. Les contributions principales incluent trois théorèmes sur les propriétés en codimension un, la construction de contractions birationnelles crépantes, et l'établissement d'un cadre inductif. Bien que le seuil technique soit élevé, pour les chercheurs en géométrie birationnelle et théorie des modèles minimaux, ceci est une littérature importante méritant une étude approfondie. La résolution partielle de la conjecture du groupe fondamental orbital proposée dans l'article indique également les directions de recherches ultérieures.