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

Invariantes asintóticos de potencias simbólicas de ideales binomiales de aristas

Información Básica

  • ID del artículo: 2510.14272
  • Título: Asymptotic invariants of symbolic powers of binomial edge ideals
  • Autores: Dennis Belotserkovskiy, Mariana Landín, Charlie Ruppe, Lizzy Teryoshin
  • Clasificación: math.AC (Álgebra Conmutativa), math.CO (Combinatoria)
  • Fecha de publicación: 16 de octubre de 2025
  • Enlace del artículo: https://arxiv.org/abs/2510.14272

Resumen

Este artículo estudia el comportamiento asintótico de las potencias simbólicas del ideal binomial de aristas JGJ_G asociado a un grafo GG, incluyendo su ideal inicial lexicográfico in<(JG)\mathrm{in}_<(J_G) y el ideal inicial genérico multihomogéneo gin(JG)\mathrm{gin}(J_G). Se enfatiza en la constante de Waldschmidt α^\widehat{\alpha} y la regularidad asintótica reg^\widehat{\mathrm{reg}}, que caracterizan respectivamente el crecimiento lineal del grado de los generadores minimales y la regularidad de Castelnuovo-Mumford. El artículo calcula explícitamente α^(JG)\widehat{\alpha}(J_G) y α^(in<(JG))\widehat{\alpha}(\mathrm{in}_<(J_G)), y compara los números de Betti de las potencias simbólicas de JGJ_G y JHJ_H para subgrafos HH. Mediante el poliedro simbólico, un poliedro convexo que codifica elementos de potencias simbólicas de ideales monomiales, se analizan los ideales iniciales, determinando la relación entre sus vértices y los subgrafos inducidos conexos del grafo, y se prueba que α^(gin(JG))=α^(IG)\widehat{\alpha}(\mathrm{gin}(J_G))=\widehat{\alpha}(I_G), donde IGI_G es el ideal de aristas del grafo GG.

Contexto e Importancia de la Investigación

  1. Problema de investigación: Este artículo se dedica al estudio de invariantes asintóticos de potencias simbólicas de ideales binomiales de aristas, particularmente la constante de Waldschmidt y la regularidad asintótica, que caracterizan el comportamiento a largo plazo de la secuencia de potencias simbólicas de ideales.
  2. Importancia:
    • Los ideales binomiales de aristas constituyen un puente importante que conecta estructuras algebraicas con teoría de grafos, ocupando una posición central en álgebra conmutativa combinatoria
    • El estudio de potencias simbólicas es un tema candente en álgebra conmutativa contemporánea, revelando propiedades profundas de ideales mediante comparación con potencias ordinarias
    • Los invariantes asintóticos proporcionan herramientas cuantitativas para comprender el comportamiento a largo plazo de ideales
  3. Limitaciones de métodos existentes:
    • Falta investigación sistemática del comportamiento asintótico de potencias simbólicas de ideales binomiales de aristas
    • Ausencia de métodos efectivos para calcular estos invariantes asintóticos
    • Herramientas de análisis insuficientes para ideales iniciales e ideales iniciales genéricos
  4. Motivación de la investigación: Mediante el poliedro simbólico como herramienta geométrica, estudiar sistemáticamente las propiedades asintóticas de ideales binomiales de aristas y sus ideales relacionados, estableciendo conexiones entre propiedades de grafos e invariantes algebraicos.

Contribuciones Principales

  1. Cálculo explícito de la constante de Waldschmidt para ideales binomiales de aristas de todos los grafos: Se prueba que α^(JG)=α^(in<(JG))=2\widehat{\alpha}(J_G) = \widehat{\alpha}(\mathrm{in}_<(J_G)) = 2
  2. Establecimiento de teoría de descomposición del poliedro simbólico: Caracterización de la estructura de vértices del poliedro simbólico mediante subgrafos inducidos conexos del grafo
  3. Prueba de equivalencia entre el ideal inicial genérico y la constante de Waldschmidt del ideal de aristas: α^(gin(JG))=α^(IG)\widehat{\alpha}(\mathrm{gin}(J_G)) = \widehat{\alpha}(I_G)
  4. Proporcionar nueva prueba de cotas de la constante de Waldschmidt del ideal de aristas: Mediante el número de clique y número cromático del grafo
  5. Establecimiento de relaciones comparativas entre números de Betti de potencias simbólicas de subgrafos y grafos originales: Establecimiento de desigualdades para el caso de subgrafos inducidos

Explicación Detallada de Métodos

Definición de la Tarea

Estudiar el ideal binomial de aristas JG⊂K[x1,…,xn,y1,…,yn]J_G \subset K[x_1,\ldots,x_n,y_1,\ldots,y_n] correspondiente al grafo GG, donde: JG=(xiyj−xjyi∣{i,j}∈E(G))J_G = (x_iy_j - x_jy_i \mid \{i,j\} \in E(G))

El objetivo es calcular invariantes asintóticos de sus potencias simbólicas 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}
  • Regularidad asintótica: reg^(JG)=lim⁡m→∞reg(JG(m))m\widehat{\mathrm{reg}}(J_G) = \lim_{m\to\infty} \frac{\mathrm{reg}(J_G^{(m)})}{m}

Herramienta Principal: Poliedro Simbólico

Definición: Para un ideal monomial II, el poliedro simbólico se define como: 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\}

Propiedades clave:

  • α^(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))\}

Métodos Técnicos Principales

  1. Descomposición en ideales primos: Utilización de conjuntos de desconexión irreducibles (IDS) para describir la descomposición en primos de ideales binomiales de aristas
  2. Análisis de vértices del poliedro simbólico: Caracterización de vértices mediante intersecciones de caras
  3. Descomposición en subgrafos inducidos: Clasificación de vértices del poliedro simbólico según subgrafos inducidos conexos

Resultados Principales

Constante de Waldschmidt de Ideales Binomiales de Aristas

Teorema 3.4: Para cualquier grafo GG, se tiene α^(JG)=α^(in<(JG))=2\widehat{\alpha}(J_G) = \widehat{\alpha}(\mathrm{in}_<(J_G)) = 2.

Esquema de prueba:

  • Cota superior: Puesto que α(JG)=2\alpha(J_G) = 2, claramente α^(JG)≤2\widehat{\alpha}(J_G) \leq 2
  • Cota inferior: Mediante relaciones de inclusión del grafo completo KnK_n, utilizando JKn(m)=JKnmJ_{K_n}^{(m)} = J_{K_n}^m se obtiene α^(JG)≥2\widehat{\alpha}(J_G) \geq 2

Regularidad Asintótica

Teorema 3.5: Si el ideal II satisface I(m)=ImI^{(m)} = I^m, entonces reg^(I)\widehat{\mathrm{reg}}(I) existe. Para ideales monomiales o ideales equidimensionales, reg^(I)=d(I)\widehat{\mathrm{reg}}(I) = d(I).

Corolario 3.7: Para grafos cerrados GG, reg^(JG)=reg^(in<(JG))=2\widehat{\mathrm{reg}}(J_G) = \widehat{\mathrm{reg}}(\mathrm{in}_<(J_G)) = 2.

Teorema de Descomposición del Poliedro Simbólico

Teorema 4.12: Sea GG un grafo conexo, HGH_G el conjunto de todos los subgrafos inducidos conexos de GG que contienen al menos una arista, entonces: V(SP(IG))=⋃H∈HGiH(VF(SP(IH)))V(SP(I_G)) = \bigcup_{H \in H_G} i_H(V_F(SP(I_H)))

donde VFV_F denota el conjunto de vértices plenos e iHi_H es la aplicación de inclusión estándar.

Constante de Waldschmidt del Ideal Inicial Genérico

Teorema 5.3: α^(gin(JG))=α^(IG)\widehat{\alpha}(\mathrm{gin}(J_G)) = \widehat{\alpha}(I_G)

Teorema 5.10: Sea GG un grafo no vacío, con número cromático χ(G)\chi(G) y número de clique ω(G)\omega(G), entonces: χ(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}

Puntos de Innovación Técnica

  1. Aplicación sistemática del poliedro simbólico: Primera aplicación sistemática de la teoría del poliedro simbólico al análisis de ideales binomiales de aristas
  2. Integración profunda de teoría de grafos y álgebra: Caracterización de estructuras geométricas de objetos algebraicos mediante propiedades combinatorias de grafos (subgrafos inducidos, componentes conexas, etc.)
  3. Teoría de clasificación de vértices: Introducción del concepto de "vértices plenos", simplificando el análisis de vértices del poliedro simbólico
  4. Marco de análisis unificado: Provisión de método de análisis unificado para ideales binomiales de aristas, sus ideales iniciales e ideales iniciales genéricos

Verificación Experimental y Ejemplos

Ejemplo de Grafo Camino

Ejemplo 4.13: Para el grafo camino de 4 vértices P4P_4, el poliedro simbólico SP(gin(JP4))SP(\mathrm{gin}(J_{P_4})) tiene 11 vértices, y todos los vértices pueden recuperarse mediante vértices plenos de P2P_2, P3P_3, P4P_4 bajo inclusiones apropiadas.

Regularidad Asintótica de Grafos Malla

Conjetura 6.1: Para un grafo malla NN, reg^(JN)=3\widehat{\mathrm{reg}}(J_N) = 3.

Trabajo Relacionado

  1. Teoría fundamental de ideales binomiales de aristas: Herzog et al. en 22 introdujeron el concepto de ideales binomiales de aristas
  2. Teoría de potencias simbólicas: Bocci-Harbourne 3 establecieron el marco teórico fundamental de potencias simbólicas
  3. Poliedro simbólico: Cooper et al. en 7 introdujeron el concepto de poliedro simbólico
  4. Constante de Waldschmidt de ideales de aristas: Bocci et al. en 2 estudiaron problemas relacionados

Conclusiones y Discusión

Conclusiones Principales

  1. La constante de Waldschmidt de ideales binomiales de aristas para todos los grafos es igual a 2
  2. La constante de Waldschmidt del ideal inicial genérico es igual a la del ideal de aristas correspondiente
  3. Los vértices del poliedro simbólico pueden caracterizarse completamente mediante subgrafos inducidos conexos del grafo

Limitaciones

  1. El cálculo de regularidad asintótica proporciona resultados completos solo para clases especiales de grafos (como grafos cerrados)
  2. La regularidad asintótica para grafos generales requiere investigación adicional
  3. Algunos resultados dependen de la elección específica de orden de términos

Direcciones Futuras

  1. Conjetura 6.2: Para cualquier grafo GG, ¿se cumple reg^(gin(JG))=ℓ\widehat{\mathrm{reg}}(\mathrm{gin}(J_G)) = \ell (longitud del camino inducido más largo)?
  2. Extensión a otros tipos de ideales de aristas
  3. Investigación de teoría de descomposición del poliedro simbólico más general

Evaluación Profunda

Fortalezas

  1. Profundidad teórica: Establecimiento de conexiones profundas entre teoría de grafos y álgebra conmutativa
  2. Innovación metodológica: Aplicación sistematizada del método del poliedro simbólico
  3. Completitud de resultados: Proporciona cálculo completo para la constante de Waldschmidt
  4. Rigor técnico: Procesos de prueba rigurosos con lógica clara

Deficiencias

  1. Complejidad computacional: Para grafos grandes, el cálculo de vértices del poliedro simbólico puede ser relativamente complejo
  2. Alcance de aplicaciones: Principalmente concentrado en análisis teórico, con valor de aplicación práctica a explorar
  3. Problemas abiertos: Aún existen conjeturas importantes sin resolver

Impacto

  1. Contribución académica: Proporciona nuevas herramientas de análisis para el campo del álgebra conmutativa combinatoria
  2. Valor metodológico: El método del poliedro simbólico tiene amplio potencial de generalización
  3. Perfeccionamiento teórico: Perfecciona la teoría asintótica de ideales binomiales de aristas

Escenarios Aplicables

  1. Investigación teórica en álgebra conmutativa combinatoria
  2. Investigación interdisciplinaria entre teoría de grafos y geometría algebraica
  3. Computación simbólica y geometría algebraica computacional

Referencias

El artículo incluye 35 referencias importantes que abarcan trabajos clásicos en múltiples campos incluyendo álgebra conmutativa, combinatoria y geometría algebraica, proporcionando una base teórica sólida para la investigación.