2025-11-20T21:40:15.734800

Asymptotic invariants of symbolic powers of binomial edge ideals

Belotserkovskiy, Landín, Ruppe et al.
To a graph $G$ one associates the binomial edge ideal $J_G$ generated by a collection of binomials corresponding to the edges of $G$. In this paper, we study the asymptotic behavior of symbolic powers of $J_G$, its lexicographic initial ideal $\mathrm{in}_<(J_G)$, and its multigraded generic initial ideal $\mathrm{gin}(J_G)$. We focus on the Waldschmidt constant, $\widehatα$, and asymptotic regularity, $\widehat{\mathrm{reg}}$, which capture linear growth of minimal generator degrees and Castelnuovo--Mumford regularity. We explicitly compute $\widehatα(J_G)$ and $\widehatα(\mathrm{in}_<(J_G))$, and compare the Betti numbers of the symbolic powers of $J_G$ and $J_H$, where $H$ is a subgraph of $G$. To analyze $\mathrm{in}_<(J_G)$ and $\mathrm{gin}(J_G)$, we use the symbolic polyhedron, a convex polyhedron that encodes the elements of the symbolic powers of a monomial ideal. We determine its vertices via $G$'s induced connected subgraphs and show that $\widehatα(\mathrm{gin}(J_G))=\widehatα(I_G)$, where $I_G$ is the edge ideal of $G$. This yields an alternate proof of known bounds for $\widehatα(I_G)$ in terms of $G$'s clique number and chromatic number.
academic

Invariants asymptotiques des puissances symboliques des idéaux binomiaux de bord

Informations fondamentales

  • ID de l'article: 2510.14272
  • Titre: Asymptotic invariants of symbolic powers of binomial edge ideals
  • Auteurs: Dennis Belotserkovskiy, Mariana Landín, Charlie Ruppe, Lizzy Teryoshin
  • Classification: math.AC (algèbre commutative), math.CO (mathématiques combinatoires)
  • Date de publication: 16 octobre 2025
  • Lien de l'article: https://arxiv.org/abs/2510.14272

Résumé

Cet article étudie le comportement asymptotique des puissances symboliques de l'idéal binomial de bord JGJ_G associé à un graphe GG, y compris son idéal initial lexicographique in<(JG)\mathrm{in}_<(J_G) et son idéal initial générique multidegré gin(JG)\mathrm{gin}(J_G). L'accent est mis sur la constante de Waldschmidt α^\widehat{\alpha} et la régularité asymptotique reg^\widehat{\mathrm{reg}}, qui caractérisent respectivement la croissance linéaire du degré des générateurs minimaux et de la régularité de Castelnuovo-Mumford. L'article calcule explicitement α^(JG)\widehat{\alpha}(J_G) et α^(in<(JG))\widehat{\alpha}(\mathrm{in}_<(J_G)), et compare les nombres de Betti des puissances symboliques de JGJ_G et de JHJ_H pour les sous-graphes HH. En analysant les idéaux initiaux via le polytope symbolique, un polytope convexe qui encode les éléments des puissances symboliques des idéaux monomials, l'article établit la relation entre ses sommets et les sous-graphes induits connexes du graphe, et prouve que α^(gin(JG))=α^(IG)\widehat{\alpha}(\mathrm{gin}(J_G))=\widehat{\alpha}(I_G), où IGI_G est l'idéal de bord du graphe GG.

Contexte et motivation de la recherche

  1. Problématique: Cet article s'efforce d'étudier les invariants asymptotiques des puissances symboliques des idéaux binomiaux de bord, en particulier la constante de Waldschmidt et la régularité asymptotique, qui caractérisent le comportement à long terme de la suite des puissances symboliques de l'idéal.
  2. Importance:
    • Les idéaux binomiaux de bord constituent un pont important reliant les structures algébriques à la théorie des graphes et occupent une position centrale en algèbre commutative combinatoire
    • L'étude des puissances symboliques est un sujet d'actualité en algèbre commutative récente, révélant les propriétés profondes des idéaux par comparaison avec les puissances ordinaires
    • Les invariants asymptotiques fournissent des outils de quantification pour comprendre le comportement à long terme des idéaux
  3. Limitations des méthodes existantes:
    • Absence d'étude systématique du comportement asymptotique des puissances symboliques des idéaux binomiaux de bord
    • Manque de méthodes efficaces pour calculer ces invariants asymptotiques
    • Outils d'analyse insuffisants pour les idéaux initiaux et les idéaux initiaux génériques
  4. Motivation de la recherche: Étudier systématiquement les propriétés asymptotiques des idéaux binomiaux de bord et des idéaux connexes via le polytope symbolique, un outil géométrique, et établir les liens entre les propriétés de la théorie des graphes et les invariants algébriques.

Contributions principales

  1. Calcul explicite de la constante de Waldschmidt pour les idéaux binomiaux de bord de tous les graphes: Preuve que α^(JG)=α^(in<(JG))=2\widehat{\alpha}(J_G) = \widehat{\alpha}(\mathrm{in}_<(J_G)) = 2
  2. Établissement d'une théorie de décomposition du polytope symbolique: Caractérisation de la structure des sommets du polytope symbolique via les sous-graphes induits connexes du graphe
  3. Preuve de l'équivalence entre l'idéal initial générique et la constante de Waldschmidt de l'idéal de bord: α^(gin(JG))=α^(IG)\widehat{\alpha}(\mathrm{gin}(J_G)) = \widehat{\alpha}(I_G)
  4. Nouvelle preuve des bornes de la constante de Waldschmidt de l'idéal de bord: Fourniture de bornes via le nombre de clique et le nombre chromatique du graphe
  5. Établissement de relations de comparaison entre les nombres de Betti des puissances symboliques des sous-graphes et du graphe original: Établissement d'inégalités pour le cas des sous-graphes induits

Explication détaillée des méthodes

Définition de la tâche

Étude du graphe GG correspondant à l'idéal binomial de bord JG⊂K[x1,…,xn,y1,…,yn]J_G \subset K[x_1,\ldots,x_n,y_1,\ldots,y_n], où : JG=(xiyj−xjyi∣{i,j}∈E(G))J_G = (x_iy_j - x_jy_i \mid \{i,j\} \in E(G))

L'objectif est de calculer les invariants asymptotiques de ses puissances symboliques JG(m)J_G^{(m)}:

  • Constante de Waldschmidt: α^(JG)=lim⁡m→∞α(JG(m))m\widehat{\alpha}(J_G) = \lim_{m\to\infty} \frac{\alpha(J_G^{(m)})}{m}
  • Régularité asymptotique: reg^(JG)=lim⁡m→∞reg(JG(m))m\widehat{\mathrm{reg}}(J_G) = \lim_{m\to\infty} \frac{\mathrm{reg}(J_G^{(m)})}{m}

Outil principal: le polytope symbolique

Définition: Pour un idéal monomial II, le polytope symbolique est défini par: SP(I)=⋃q≥1NP(I(q))q=conv{aq∣xa∈I(q),q≥1}SP(I) = \bigcup_{q\geq 1} \frac{NP(I^{(q)})}{q} = \mathrm{conv}\left\{\frac{a}{q} \mid x^a \in I^{(q)}, q \geq 1\right\}

Propriétés clés:

  • α^(I)=min⁡{∑i=1nai∣a∈V(SP(I))}\widehat{\alpha}(I) = \min\{\sum_{i=1}^n a_i \mid a \in V(SP(I))\}
  • reg^(I)=max⁡{∑i=1nai∣a∈V(SP(I))}\widehat{\mathrm{reg}}(I) = \max\{\sum_{i=1}^n a_i \mid a \in V(SP(I))\}

Principales méthodes techniques

  1. Décomposition en idéaux premiers: Utilisation des ensembles de déconnexion irréductibles (IDS) pour décrire la décomposition en idéaux premiers des idéaux binomiaux de bord
  2. Analyse des sommets du polytope symbolique: Caractérisation des sommets via l'intersection des facettes
  3. Décomposition en sous-graphes induits du graphe: Classification des sommets du polytope symbolique selon les sous-graphes induits connexes

Résultats principaux

Constante de Waldschmidt des idéaux binomiaux de bord

Théorème 3.4: Pour tout graphe GG, on a α^(JG)=α^(in<(JG))=2\widehat{\alpha}(J_G) = \widehat{\alpha}(\mathrm{in}_<(J_G)) = 2.

Esquisse de la preuve:

  • Borne supérieure: Puisque α(JG)=2\alpha(J_G) = 2, on a clairement α^(JG)≤2\widehat{\alpha}(J_G) \leq 2
  • Borne inférieure: Via la relation d'inclusion avec le graphe complet KnK_n, en utilisant JKn(m)=JKnmJ_{K_n}^{(m)} = J_{K_n}^m, on obtient α^(JG)≥2\widehat{\alpha}(J_G) \geq 2

Régularité asymptotique

Théorème 3.5: Si l'idéal II satisfait I(m)=ImI^{(m)} = I^m, alors reg^(I)\widehat{\mathrm{reg}}(I) existe. Pour les idéaux monomials ou les idéaux équidimensionnels, reg^(I)=d(I)\widehat{\mathrm{reg}}(I) = d(I).

Corollaire 3.7: Pour un graphe fermé GG, reg^(JG)=reg^(in<(JG))=2\widehat{\mathrm{reg}}(J_G) = \widehat{\mathrm{reg}}(\mathrm{in}_<(J_G)) = 2.

Théorème de décomposition du polytope symbolique

Théorème 4.12: Soit GG un graphe connexe, HGH_G l'ensemble de tous les sous-graphes induits connexes de GG contenant au moins une arête, alors: V(SP(IG))=⋃H∈HGiH(VF(SP(IH)))V(SP(I_G)) = \bigcup_{H \in H_G} i_H(V_F(SP(I_H)))

où VFV_F désigne l'ensemble des sommets pleins et iHi_H est l'application d'inclusion standard.

Constante de Waldschmidt de l'idéal initial générique

Théorème 5.3: α^(gin(JG))=α^(IG)\widehat{\alpha}(\mathrm{gin}(J_G)) = \widehat{\alpha}(I_G)

Théorème 5.10: Soit GG un graphe non vide, de nombre chromatique χ(G)\chi(G) et de nombre de clique ω(G)\omega(G), alors: χ(G)χ(G)−1≤α^(gin(JG))=α^(IG)≤ω(G)ω(G)−1\frac{\chi(G)}{\chi(G)-1} \leq \widehat{\alpha}(\mathrm{gin}(J_G)) = \widehat{\alpha}(I_G) \leq \frac{\omega(G)}{\omega(G)-1}

Points d'innovation technique

  1. Application systématique du polytope symbolique: Application systématique pour la première fois de la théorie du polytope symbolique à l'analyse des idéaux binomiaux de bord
  2. Fusion profonde de la théorie des graphes et de l'algèbre: Caractérisation de la structure géométrique des objets algébriques via les propriétés combinatoires du graphe (sous-graphes induits, composantes connexes, etc.)
  3. Théorie de classification des sommets: Introduction du concept de "sommets pleins", simplifiant l'analyse des sommets du polytope symbolique
  4. Cadre d'analyse unifié: Fourniture d'une méthode d'analyse unifié pour les idéaux binomiaux de bord, leurs idéaux initiaux et leurs idéaux initiaux génériques

Vérification expérimentale et exemples

Exemple de graphe de chemin

Exemple 4.13: Pour le graphe de chemin 4-sommet P4P_4, le polytope symbolique SP(gin(JP4))SP(\mathrm{gin}(J_{P_4})) possède 11 sommets, et tous les sommets peuvent être récupérés via les sommets pleins de P2P_2, P3P_3, P4P_4 sous l'inclusion appropriée.

Régularité asymptotique des graphes de grille

Conjecture 6.1: Pour un graphe de grille NN, reg^(JN)=3\widehat{\mathrm{reg}}(J_N) = 3.

Travaux connexes

  1. Théorie fondamentale des idéaux binomiaux de bord: Introduction du concept d'idéal binomial de bord par Herzog et al. dans 22
  2. Théorie des puissances symboliques: Établissement du cadre théorique fondamental des puissances symboliques par Bocci-Harbourne 3
  3. Polytope symbolique: Introduction du concept de polytope symbolique par Cooper et al. dans 7
  4. Constante de Waldschmidt des idéaux de bord: Étude des problèmes connexes par Bocci et al. dans 2

Conclusion et discussion

Conclusions principales

  1. La constante de Waldschmidt de l'idéal binomial de bord de tous les graphes est égale à 2
  2. La constante de Waldschmidt de l'idéal initial générique est égale à celle de l'idéal de bord correspondant
  3. Les sommets du polytope symbolique peuvent être complètement caractérisés via les sous-graphes induits connexes du graphe

Limitations

  1. Le calcul de la régularité asymptotique ne fournit des résultats complets que pour les classes de graphes spéciales (comme les graphes fermés)
  2. La régularité asymptotique pour les graphes généraux nécessite une recherche supplémentaire
  3. Certains résultats dépendent du choix d'un ordre de termes spécifique

Directions futures

  1. Conjecture 6.2: Pour tout graphe GG, a-t-on reg^(gin(JG))=ℓ\widehat{\mathrm{reg}}(\mathrm{gin}(J_G)) = \ell (longueur du plus long chemin induit)?
  2. Extension à d'autres types d'idéaux de bord
  3. Étude d'une théorie de décomposition du polytope symbolique plus générale

Évaluation approfondie

Avantages

  1. Profondeur théorique: Établissement de liens profonds entre la théorie des graphes et l'algèbre commutative
  2. Innovation méthodologique: Application systématisée de la méthode du polytope symbolique
  3. Complétude des résultats: Fourniture d'un calcul complet pour la constante de Waldschmidt
  4. Rigueur technique: Preuves rigoureuses et logique claire

Insuffisances

  1. Complexité computationnelle: Le calcul des sommets du polytope symbolique peut être complexe pour les grands graphes
  2. Portée des applications: Concentration principalement sur l'analyse théorique, la valeur pratique reste à explorer
  3. Problèmes ouverts: Plusieurs conjectures importantes restent non résolues

Impact

  1. Contribution académique: Fourniture de nouveaux outils d'analyse pour le domaine de l'algèbre commutative combinatoire
  2. Valeur méthodologique: La méthode du polytope symbolique possède un potentiel de généralisation large
  3. Perfectionnement théorique: Perfectionnement de la théorie asymptotique des idéaux binomiaux de bord

Domaines d'application

  1. Recherche théorique en algèbre commutative combinatoire
  2. Recherche interdisciplinaire entre la théorie des graphes et la géométrie algébrique
  3. Calcul symbolique et géométrie algébrique computationnelle

Références

L'article contient 35 références importantes couvrant les travaux classiques dans plusieurs domaines tels que l'algèbre commutative, les mathématiques combinatoires et la géométrie algébrique, fournissant une base théorique solide pour la recherche.