2025-11-17T16:52:13.123642

Hierarchical filtrations of line bundles and optimal algebraic geometry codes

Rahmati-asghar
We introduce \emph{hierarchical depth}, a new invariant of line bundles and divisors, defined via maximal chains of effective sub-line bundles. This notion gives rise to \emph{hierarchical filtrations}, refining the structure of the Picard group and providing new insights into the geometry of algebraic surfaces. We establish fundamental properties of hierarchical depth, derive inequalities through intersection theory and the Hodge index theorem, and characterize filtrations that are Hodge-tight. Using this framework, we develop a theory of \emph{hierarchical algebraic geometry codes}, constructed from evaluation spaces along these filtrations. This approach produces nested families of codes with controlled growth of parameters and identifies an optimal intermediate code maximizing a utility function balancing rate and minimum distance. Hierarchical depth thus provides a systematic method to construct AG codes with favorable asymptotic behavior, linking geometric and coding-theoretic perspectives. Our results establish new connections between line bundle theory, surface geometry, and coding theory, and suggest applications to generalized Goppa codes and higher-dimensional evaluation codes.
academic

Filtrations hiérarchiques de fibrés en droites et codes de géométrie algébrique optimaux

Informations fondamentales

  • ID de l'article: 2507.01859
  • Titre: Hierarchical filtrations of line bundles and optimal algebraic geometry codes
  • Auteur: Rahim Rahmati-Asghar
  • Classification: math.AG (géométrie algébrique), cs.IT (théorie de l'information), math.AC (algèbre commutative), math.IT (théorie mathématique de l'information)
  • Date de publication: 17 octobre 2025 (prépublication arXiv)
  • Lien de l'article: https://arxiv.org/abs/2507.01859v4

Résumé

Cet article introduit la profondeur hiérarchique, un nouvel invariant des fibrés en droites et des diviseurs, défini par la chaîne maximale de sous-fibrés effectifs. Ce concept produit des filtrations hiérarchiques qui raffinent la structure du groupe de Picard et fournissent de nouvelles perspectives sur la géométrie des surfaces algébriques. L'auteur établit les propriétés fondamentales de la profondeur hiérarchique, dérive des inégalités via la théorie de l'intersection et le théorème de l'indice de Hodge, et caractérise les filtrations compactes au sens de Hodge.

Sur la base de ce cadre, l'auteur développe la théorie des codes de géométrie algébrique hiérarchiques, construits le long des espaces d'évaluation de ces filtrations. Cette approche produit des familles de codes imbriqués avec une croissance de paramètres contrôlée et identifie un code intermédiaire optimal qui maximise une fonction d'utilité équilibrant le taux et la distance minimale. La profondeur hiérarchique fournit ainsi une méthode systématique pour construire des codes AG avec un bon comportement asymptotique, reliant les perspectives géométrique et théorique du codage.

Contexte et motivation de la recherche

Contexte du problème

  1. Limitations des codes AG classiques: Les codes de géométrie algébrique traditionnels sont construits à partir d'un seul diviseur et de ses espaces de Riemann-Roch associés, manquant d'une analyse fine de la structure interne des fibrés en droites.
  2. Importance des filtrations de fibrés: Les filtrations de fibrés vectoriels jouent un rôle central dans la compréhension des conditions de stabilité, du comportement cohomologique et des invariants géométriques, mais la théorie existante manque d'une analyse systématique de la structure hiérarchique.
  3. Besoins de la théorie du codage: En théorie du codage, l'équilibre entre le taux et la distance minimale est un problème ouvert important, nécessitant de nouveaux outils géométriques pour identifier les paramètres optimaux.

Motivation de la recherche

  • Développer de nouveaux invariants géométriques pour capturer la structure interne des fibrés en droites
  • Établir des connexions plus profondes entre la géométrie et la théorie du codage
  • Fournir une méthode systématique pour construire des codes AG avec de bonnes propriétés asymptotiques

Contributions principales

  1. Introduction du concept de profondeur hiérarchique: Définition de la profondeur hiérarchique h(L) d'un fibré en droites comme nouvel invariant géométrique, caractérisée par la longueur maximale d'une chaîne de sous-fibrés effectifs.
  2. Établissement de la théorie fondamentale: Preuve de la finitude de la profondeur hiérarchique, dérivation d'estimations de bornes supérieures via la théorie de l'intersection, en particulier h(L) ≤ c₁(L)·H^(dim X-1).
  3. Théorie des filtrations compactes au sens de Hodge: Introduction et caractérisation des filtrations compactes au sens de Hodge, qui réalisent l'égalité dans les inégalités de l'indice de Hodge.
  4. Construction de codes AG hiérarchiques: Développement d'une nouvelle famille de codes AG basée sur les filtrations hiérarchiques, produisant des séquences de codes imbriqués C₀ ⊂ C₁ ⊂ ... ⊂ Cₕ.
  5. Identification du code optimal: Preuve de l'existence d'un unique code intermédiaire optimal dans la famille de codes hiérarchiques, maximisant la fonction d'utilité Q(C) = (k/n)d.

Détails méthodologiques

Définitions fondamentales

Définition 1.1 (Filtration hiérarchique): Soit X une variété projective lisse sur un corps F, et L un fibré en droites sur X. Une filtration hiérarchique de L est une chaîne finie d'inclusions de sous-faisceaux cohérents:

F_L: O_X = L₀ ⊂ L₁ ⊂ ... ⊂ Lₕ = L

telle que pour chaque i = 1,...,h, il existe un diviseur de Cartier effectif non nul Eᵢ satisfaisant:

Lᵢ ≅ Lᵢ₋₁ ⊗ O_X(Eᵢ)

Définition 1.2 (Profondeur hiérarchique): La profondeur hiérarchique h(L) de L est définie comme la longueur maximale de toutes les filtrations hiérarchiques finies.

Propriétés fondamentales

Proposition 1.2: Si L admet au moins une filtration hiérarchique, alors l'ensemble des longueurs de filtration est borné et possède un maximum. En particulier, h(L) est fini.

Esquisse de la preuve:

  • Fixer un fibré en droites ample O_X(1), soit H = c₁(O_X(1))
  • Pour toute filtration hiérarchique, le produit de toutes les sections s₁···sₕ donne une section non nulle de L
  • Son diviseur des zéros satisfait E₁ + ... + Eₕ ≡ c₁(L)
  • L'intersection avec H^(dim X-1) donne: h ≤ c₁(L)·H^(dim X-1)

Profondeur hiérarchique sur les courbes

Corollaire 1.5: Soit C une courbe projective lisse, et L un fibré en droites sur C. Si L admet une filtration hiérarchique, alors:

  • Chaque longueur de filtration est au plus deg(L)
  • Si H⁰(C,L) ≠ 0, alors h(L) = deg(L)

Théorie de Hodge sur les surfaces

Définition 1.11 (Filtration compacte au sens de Hodge): Une filtration hiérarchique est dite compacte au sens de Hodge si chaque diviseur intermédiaire Dⱼ est numériquement proportionnel à un diviseur ample H, c'est-à-dire (H·Dⱼ)² = H²Dⱼ².

Proposition 1.13: Pour une filtration compacte au sens de Hodge, on a les bornes précises:

  • h ≤ H·D
  • Si D² ≤ N, alors h ≤ ⌊√(NH²)⌋

Théorie des codes AG hiérarchiques

Construction des codes

Étant donnée une filtration hiérarchique F_L: L₀ ⊂ L₁ ⊂ ... ⊂ Lₕ = L et un ensemble de points rationnels Γ = {P₁,...,Pₙ}, on définit:

Cᵢ := C(X, Lᵢ, Γ) = ev_Γ(H⁰(X, Lᵢ))

Ceci produit une séquence de codes imbriqués: C₀ ⊂ C₁ ⊂ ... ⊂ Cₕ

Théorème du code optimal

Proposition 2.1 (Cas de P¹): Soit C = P¹, pour les codes AG hiérarchiques Cᵢ satisfaisant la condition (), le code optimal est Cᵢ, où:

i* = ⌊(n-1)/2⌋

Proposition 2.5 (Courbes générales): Soit C une courbe projective lisse de genre g, pour la plage 2g-1 ≤ i < n, l'indice du code optimal est:

i* = ⌊(n+g-1)/2⌉

Résultats expérimentaux

Exemple de courbe hermitienne

Exemple 2.10: Considérons la courbe hermitienne H: y^q + y = x^(q+1), de genre g = q(q-1)/2, avec q³ points rationnels.

  • Cas q = 3: g = 3, n = 27, indice optimal i* = 14 ou 15, Q₁₄ = Q₁₅ ≈ 5.777
  • Cas q = 5: g = 10, n = 125, indice optimal i* = 67, Q₆₇ ≈ 35.254

Codes AG sur les surfaces

Exemple 2.13 (Plan projectif): S = P²/F₇, n = 57 points rationnels, en résolvant l'équation cubique:

32i³ + 72i² - 82i - 171 = 0

on obtient l'indice optimal i* = 2, Q₂ ≈ 3.94.

Exemple 2.16 (Surface hermitienne): Pour le cas q = 5, l'indice optimal est i* = 4; pour q = 101, l'indice optimal est i* = 49.

Travaux connexes

Cet article s'appuie sur les recherches suivantes:

  1. Travaux fondateurs de Goppa: Établissement de la théorie fondamentale des codes AG
  2. Théorie des filtrations de fibrés: Travaux d'Atiyah-Bott et autres sur la stabilité des fibrés vectoriels
  3. Théorie de Hodge: Résultats classiques de Hartshorne et autres en géométrie algébrique
  4. Optimisation des codes AG: Contributions de Tsfasman-Vlădut et autres sur les bornes asymptotiques

Conclusions et discussion

Conclusions principales

  1. La profondeur hiérarchique fournit un nouvel invariant géométrique des fibrés en droites, capturant leur structure de filtration interne
  2. Les codes AG hiérarchiques donnent une généralisation naturelle des codes AG classiques, produisant des familles de codes imbriqués avec des paramètres contrôlés
  3. L'existence du code intermédiaire optimal fournit une solution géométrique au compromis taux-distance en théorie du codage

Limitations

  1. Complexité computationnelle: Le calcul de la profondeur hiérarchique peut être difficile pour les cas de haute dimension
  2. Portée d'application: La théorie se concentre principalement sur les courbes et les surfaces; la généralisation aux dimensions supérieures nécessite des recherches supplémentaires
  3. Applications pratiques: La construction de codes optimaux concrets nécessite encore de résoudre des difficultés techniques

Directions futures

  1. Généralisation aux dimensions supérieures: Extension de la théorie aux variétés de dimension supérieure
  2. Implémentation algorithmique: Développement d'algorithmes efficaces pour calculer la profondeur hiérarchique et construire les codes optimaux
  3. Extensions d'applications: Exploration des applications aux codes correcteurs d'erreurs quantiques et au codage réseau

Évaluation approfondie

Avantages

  1. Innovation théorique: Le concept de profondeur hiérarchique est novateur et offre une nouvelle perspective sur la théorie des fibrés en droites
  2. Perspectives géométriques: Établissement de connexions géométriques profondes via la théorie de Hodge
  3. Valeur pratique: Fournit une méthode systématique pour construire des codes AG optimisés
  4. Rigueur mathématique: Preuves complètes et fondations théoriques solides

Insuffisances

  1. Exemples limités: Relativement peu d'exemples concrets pour les cas de haute dimension
  2. Aspects computationnels: Absence d'analyse algorithmique et de complexité
  3. Validation des applications: Vérification insuffisante des applications pratiques en codage

Impact potentiel

Ce travail devrait avoir un impact significatif dans les domaines suivants:

  • Géométrie algébrique: Fournir de nouveaux outils pour la théorie des fibrés en droites
  • Théorie du codage: Ouvrir de nouvelles directions de recherche sur les codes AG
  • Recherche interdisciplinaire: Promouvoir une fusion plus approfondie entre la géométrie et la théorie de l'information

Domaines d'application

  • Systèmes de communication nécessitant des codes correcteurs d'erreurs haute performance
  • Conception de codes correcteurs d'erreurs en traitement de l'information quantique
  • Constructions basées sur la géométrie en cryptographie

Références

L'article cite 24 références importantes couvrant la géométrie algébrique, la théorie du codage et les domaines mathématiques connexes, fournissant une base théorique solide pour la recherche.