Duality for asymptotic invariants of graded families

Résumé Technique : Dualité pour les Invariants Asymptotiques des Familles Graduées

Énoncé du Problème
L'article étudie la dualité entre les suites de nombres naturels issues de l'algèbre commutative et de la géométrie algébrique, en se concentrant spécifiquement sur les familles graduées d'idéaux. Le problème central est de comprendre la relation entre les séquences sous-additives (telles que les degrés initiaux des puissances symboliques) et les séquences sur-additives (telles que les valeurs de la régularité de Castelnuovo-Mumford ou les indices de séparation de jets). Bien que ces séquences apparaissent souvent dans des contextes liés, leurs facteurs de croissance asymptotique (tels que la constante de Waldschmidt et la régularité asymptotique) ont été historiquement étudiés de manière quelque peu indépendante. Les auteurs visent à établir un cadre de dualité rigoureux qui intervertit ces types de séquences, inverse leurs constantes de croissance asymptotique et fournit des reformulations homologiques pour des conjectures de longue date concernant les configurations de points dans l'espace projectif.

Méthodologie
Les auteurs emploient une approche multidimensionnelle combinant la théorie des séquences combinatoires, la théorie des systèmes inverses et la théorie des invariants géométriques :

1. Cadre de Dualité des Séquences : La fondation est posée dans la Section 2, où les auteurs généralisent les transformations sur les séquences de nombres naturels. Pour une séquence $\alpha = \{\alpha_n\}$, ils définissent les séquences duales $\overleftarrow{\alpha}_n = \inf\{d \mid \alpha_d \geq n\}$ et $\overrightarrow{\alpha}_n = \sup\{d \mid \alpha_d \leq n\}$. Ils prouvent que ces transformations sont des inverses mutuels et, surtout, qu'elles intervertissent les classes de séquences sous-additives et sur-additives. Sous des hypothèses modérées, ces transformations réciproquent les facteurs de croissance asymptotique ($\lim \alpha_n/n$).

2. Filtrations Différentiellement Fermées : Dans la Section 4, les auteurs introduisent le concept de filtrations graduées différentiellement fermées d'idéaux. Une filtration $\mathcal{I} = \{I_n\}$ est différentiellement fermée si l'application d'opérateurs différentiels d'ordre $k$ aux éléments de $I_n$ produit des éléments dans $I_{n-k}$. Cette classe inclut les puissances ordinaires, les puissances symboliques (via le théorème de Zariski-Nagata), les puissances différentielles et les puissances de Frobenius intégrales.

3. Systèmes Inverses et Dualité Macaulay-Matlis : Les auteurs utilisent la théorie des systèmes inverses (dualité de Macaulay). Pour une filtration différentiellement fermée $\mathcal{I}$, ils construisent une séquence d'idéaux $L_s(\mathcal{I})$ dans l'anneau dual (soit l'algèbre des puissances divisées $D$, soit l'anneau polynomial $S$ en caractéristique zéro). Ils prouvent que $L_s(\mathcal{I})$ est un idéal si et seulement si $\mathcal{I}$ est différentiellement fermée. Cette construction lie les degrés initiaux de la filtration à la régularité du quotient par les idéaux du système inverse.

4. Applications Géométriques : La méthodologie est appliquée à des contextes géométriques spécifiques, incluant la séquence de séparation de jets pour des ensembles de points et la constante de Seshadri. Les auteurs relient la régularité des puissances symboliques aux indices de séparation de jets via les transformations de dualité établies dans la Section 2.

Contributions Clés et Résultats

• Dualité Généralisée des Séquences (Théorèmes 2.5 & 2.6) : L'article établit que les transformations $\overleftarrow{\cdot}$ et $\overrightarrow{\cdot}$ projettent les séquences sous-additives vers les séquences sur-additives (et vice versa) et inversent leurs facteurs de croissance asymptotique. Spécifiquement, si $\alpha$ est sous-additive avec un facteur de croissance $\hat{\alpha}$, alors $\overrightarrow{\alpha}$ est sur-additive avec un facteur de croissance $\hat{\alpha}^{-1}$.

• Dualité pour les Filtrations Différentiellement Fermées (Théorèmes 4.9 & 4.20) : Les auteurs prouvent que pour une filtration graduée différentiellement fermée $\mathcal{I} = \{I_n\}$, la séquence des degrés initiaux $\alpha_n = \alpha(I_n)$ est sous-additive, tandis que la séquence des degrés finaux des quotients du système inverse $\beta_s = \text{end}(D/L_s(\mathcal{I}))$ est sur-additive. Ces séquences sont duales l'une de l'autre (décalées de $n$), et leurs facteurs de croissance asymptotique satisfont la relation réciproque :
  $$\hat{\beta} = \frac{\hat{\alpha}}{\hat{\alpha} - 1} \quad \text{et} \quad \hat{\alpha} = \frac{\hat{\beta}}{\hat{\beta} - 1}$$
  Ceci généralise les résultats antérieurs d'Emsalem et Iarrobino concernant les puissances symboliques d'idéaux radicaux.

• Réciprocité des Constantes de Seshadri et de la Régularité Asymptotique (Théorèmes 5.5, 5.7, Corollaire 5.8) : Pour un ensemble fini de points $X \subset \mathbb{P}^N$, l'article établit une dualité entre la séquence des indices de séparation de jets $s(X, d)$ et la séquence des régularités de Castelnuovo-Mumford des puissances symboliques $\text{reg}(I(X)^{(k)})$. Par conséquent, la constante de Seshadri multipoint $\varepsilon(X)$ est montrée comme étant l'inverse de la régularité asymptotique :
  $$\varepsilon(X) = \lim_{d \to \infty} \frac{s(X, d)}{d} = \left( \lim_{k \to \infty} \frac{\text{reg}(I(X)^{(k)})}{k} \right)^{-1}$$
  Cela fournit une explication structurelle pour une relation de réciprocité connue.

• Reformulations Homologiques des Conjectures de Nagata–Iarrobino (Section 6) : Les auteurs reformulent la conjecture de Nagata (concernant la constante de Waldschmidt de points très généraux dans $\mathbb{P}^2$) et la conjecture d'Iarrobino (pour les dimensions supérieures) en termes de systèmes inverses. Plus précisément, ils montrent que les conjectures sont équivalentes à l'énoncé que la régularité asymptotique des idéaux du système inverse $L_s(X)$ croît à un taux de $\frac{\sqrt[N]{r}}{\sqrt[N]{r} - 1}$. Ils proposent également une reformulation homologique (Conjecture 6.2) stipulant que pour des points très généraux, la constante de Waldschmidt est égale à la régularité asymptotique ($\hat{\alpha} = \widehat{\text{reg}}$).

Signification et Revendications
L'article prétend fournir un principe unificateur pour divers invariants asymptotiques en géométrie algébrique. En présentant la relation entre les degrés initiaux et la régularité comme une dualité de séquences, les auteurs offrent une nouvelle perspective sur le problème de l'inclusion entre les puissances ordinaires et symboliques, la récurrence des idéaux, et la géométrie des configurations de points.

La signification réside dans :

1. Unification : Connecter la constante de Waldschmidt, la récurrence asymptotique, les constantes de Seshadri et la régularité asymptotique à travers un mécanisme de dualité unique.
2. Généralisation : Étendre les résultats classiques d'Emsalem-Iarrobino sur les systèmes inverses des puissances symboliques à la classe plus large des filtrations différentiellement fermées.
3. Reformulation : Offrir des reformulations homologiques et basées sur les systèmes inverses des conjectures de Nagata et d'Iarrobino, ouvrant potentiellement de nouvelles voies d'attaque via l'étude des idéaux $L_s(X)$.

Les auteurs notent explicitement que, bien qu'ils récupèrent des relations de réciprocité connues (par exemple, entre les constantes de Seshadri et la régularité asymptotique), leur contribution est d'identifier la dualité de séquence sous-jacente qui nécessite cette relation. Ils concluent en posant plusieurs questions ouvertes concernant la sous-additivité des séquences de régularité pour les idéaux radicaux généraux et l'interprétation géométrique des générateurs de $L_s(\mathcal{I})$ dans des contextes plus larges.