Joins, ears and Castelnuovo-Mumford regularity

DOI10.1016/J.JALGEBRA.2020.05.014MaRDI QIDQ2193192zbMATHOpenAlexFDO

Authors Jorge Neves, Rafael H. Villarreal, Maria Vaz Pinto

Publication date 25 August 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1909.02773

Castelnuovo-Mumford regularity binomial ideal ear decompositions maximum vertex join number

Combinatorial aspects of commutative algebra (05E40) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70) Computational homological algebra (13P20)

Abstract: We introduce a new class of polynomial ideals associated to a simple graph,

G

. Let

K [E_{G}]

be the polynomial ring on the edges of

G

and

K [V_{G}]

the polynomial ring on the vertices of

G

. We associate to

G

an ideal,

I (X_{G})

, defined as the preimage of

(x_{i}^{2} - x_{j}^{2} : i, j i n V_{G}) s u b s e t e q K [V_{G}]

by the map

K [E_{G}] o K [V_{G}]

which sends a variable,

t_{e}

, associated to an edge

e = i, j

, to the product

x_{i} x_{j}

of the variables associated to its vertices. We show that

K [E_{G}] / I (X_{G})

is a one-dimensional, Cohen-Macaulay, graded ring, that

I (X_{G})

is a binomial ideal and that, with respect to a fixed monomial order, its initial ideal has a generating set independent of the field

K

. We focus on the Castelnuovo-Mumford regularity of

I (X_{G})

providing the following sharp upper and lower bounds:

mu(G) leq operatorname{reg} I(X_G) leq |V_G|-b_0(G)+1,

where

m u (G)

is the maximum vertex join number of the graph and

b_{0} (G)

is the number of its connected components. We show that the lower bound is attained for a bipartite graph and use this to derive a new combinatorial result on the number of even length ears of nested ear decomposition.

Recommendations

Cites work

Cited in

(7)

Describes a project that uses

Uses Software

Macaulay2

This page was built for publication: Joins, ears and Castelnuovo-Mumford regularity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2193192)