Positivity of vector bundles and Dominance

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie algébrique, plus spécifiquement dans l'étude des faisceaux vectoriels sur une variété projective complexe $X$. Bien que la positivité des fibrés en droites (notamment l'amplitude, la semi-amplitude et la nefness) soit bien comprise, les propriétés analogues pour les fibrés vectoriels de rang supérieur restent partiellement explorées.

Le problème central abordé par les auteurs est la généralisation d'un résultat précédent concernant l'ordre de dominance entre partitions et l'amplitude des foncteurs de Schur.

• Contexte antérieur : Dans un travail précédent ([6]), les auteurs ont démontré que si $E$ est un fibré vectoriel et que $S_a E$ est ample pour une partition $a$, alors $S_b E$ est également ample si $a$ domine $b$ dans l'ordre de dominance (noté $|b|a \succsim |a|b$).
• Objectif de l'article : Étendre ce résultat aux notions plus faibles de positivité : les fibrés $k$-amples, semi-amplés et nefs. L'objectif est de prouver que cette implication de dominance est valable pour toute propriété de positivité « algébrique ».

2. Méthodologie

La méthodologie de l'article repose sur une double approche : une abstraction algébrique des propriétés de positivité et une analyse combinatoire fine des règles de Littlewood-Richardson.

A. Définition des propriétés « algébriques »

Les auteurs introduisent une définition unifiée pour capturer l'essence commune de l'amplitude, de la $k$-amplitude, de la semi-amplitude et de la nefness. Une propriété $A$ d'un fibré vectoriel est dite algébrique si elle satisfait trois conditions :

1. Additivité : $A(E \oplus F) \iff A(E) \land A(F)$.
2. Multiplicativité : Si $A(E)$ et $A(F)$, alors $A(E \otimes F)$.
3. Élimination de l'exposant : Si $A(E^{\otimes n})$, alors $A(E)$.

Le théorème 1.2 établit que la semi-amplitude, la $k$-amplitude et la nefness satisfont ces conditions, contrairement à la propriété de « grandeur » (bigness) qui n'est pas additive.

B. Outils Combinatoires (Section 2)

La preuve repose entièrement sur l'algèbre des partitions et les règles de Littlewood-Richardson, sans recourir à des critères cohomologiques (contrairement à la preuve précédente pour l'amplitude).

• Algèbre de Littlewood-Richardson ($L$) : Les auteurs utilisent l'algèbre commutative engendrée par les partitions, où le produit $\otimes$ correspond à la décomposition de $S_a E \otimes S_b E$ en somme directe de foncteurs de Schur $S_c E$.
• Ordre de dominance : Ils exploitent la relation d'ordre partiel $\succ$ sur les partitions.
• Lemme technique clé (Théorème 2.16) : Le cœur de la preuve réside dans la démonstration que pour toute partition $A$, il existe un entier $N_A$ tel que pour tout $n \ge N_A$ et toute partition $B$ dominée par $nA$ (c'est-à-dire $B \preceq nA$), le foncteur $S_B E$ apparaît comme un facteur direct de $(S_A E)^{\otimes n}$.

La preuve de ce théorème combinatoire utilise une induction sur la distance entre les partitions et des constructions géométriques de tableaux de Young, en exploitant la structure des cônes de partitions générés par les images de déterminants.

3. Résultats Principaux

Théorème 1.3 (Résultat Principal)

Soient $a$ et $b$ deux partitions telles que $|b|a \succsim |a|b$ (c'est-à-dire que $a$ domine $b$ après normalisation par le poids). Si $A$ est une propriété algébrique (au sens de la Définition 1.1), alors :
$$A(S_a E) \implies A(S_b E)$$
En particulier, pour tout entier positif $n$, $A(S_{na} E)$ est équivalent à $A(S_a E)$.

Ce résultat unifie et généralise les connaissances précédentes :

• Il confirme que l'amplitude de $S_a E$ implique celle de $S_b E$ (récupération du résultat de [6]).
• Il établit que la semi-amplitude, la $k$-amplitude et la nefness de $S_a E$ impliquent respectivement ces mêmes propriétés pour $S_b E$.

Théorème 2.16 (Résultat Combinatoire)

Pour toute partition $A$ de longueur $l$, il existe un entier $N_A$ tel que pour tout $n \ge N_A$ et toute partition $B$ avec $B \preceq nA$, on a :
$$B \triangleleft A^{\otimes n}$$
Cela signifie que $S_B E$ est un facteur direct de $(S_A E)^{\otimes n}$. Ce résultat est crucial car il permet de transférer la propriété $A$ de $S_A E$ vers $S_B E$ grâce aux propriétés d'additivité et d'élimination d'exposant.

4. Signification et Implications

1. Unification des notions de positivité : L'article démontre que la structure algébrique sous-jacente (additivité, multiplicativité, élimination d'exposant) est suffisante pour garantir la stabilité des propriétés de positivité sous l'ordre de dominance. Cela suggère que ces différentes notions de positivité partagent une nature profonde commune dans le contexte des fibrés vectoriels.
2. Indépendance des outils cohomologiques : La nouvelle preuve pour l'amplitude, qui repose uniquement sur les règles combinatoires de Littlewood-Richardson et non sur des critères de cohomologie, est plus robuste et s'applique naturellement aux cas plus faibles (semi-amplitude, nefness) où les critères cohomologiques classiques peuvent être plus difficiles à appliquer.
3. Généralisation des foncteurs de Schur : Le travail fournit un cadre systématique pour déterminer la positivité de n'importe quel foncteur de Schur $S_b E$ à partir de la positivité d'un foncteur « plus grand » $S_a E$, ce qui est essentiel pour l'étude des connexions, des théorèmes de nullité et des propriétés globales des variétés projectives.
4. Limites et perspectives : Les auteurs notent que la constante $N_A$ dans le théorème 2.16 est probablement $l$ (la longueur de la partition), mais qu'une preuve générale pour $N_A < l$ fait défaut, soulignant la complexité combinatoire résiduelle de ces structures.

En résumé, cet article établit un pont rigoureux entre la théorie des représentations (via les partitions et les règles de Littlewood-Richardson) et la géométrie algébrique (via les propriétés de positivité des fibrés), offrant un outil puissant pour déduire la positivité de structures complexes à partir de structures plus simples.