Multiplicities of edge subrings

DOI10.1016/J.DISC.2004.07.029MaRDI QIDQ2575790zbMATH OpenOpenAlexFDO

Publication date 6 December 2005

Published in Discrete Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.disc.2004.07.029

bipartite graph complete intersection edge ring Ehrhart ring multiplicity

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Multiplicity theory and related topics (13H15) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Review text

The authors study the multiplicity of the edge ring \(K[G]\) of bipartite simple graphs \(G\). A first main result is that if \(G\) is planar, the multiplicity is at most \(\prod _{k\geq 2} k^{r_k}\), where \(r_k\) is the number of atomic cycles of length \(2k\). When equality holds, the edge ring is a complete intersection. Unlike previous bounds, this is tight. For the proof it is provided a method to obtain a regular sequence for the atomic ideal of a bipartite graph simply embedded in an orientable surface. The outcome of the study of the canonical module of \(K[G]\) is a graph-theoretical obstruction for the Gorenstein property of the edge ring. In the last part of this interesting paper it is shown that the multiplicity of the Ehrhart ring of any simple bipartite graph coincides with the multiplicity of the edge ring. More generally, if \(G\) is a simple, nonbipartite graph with \(c\) nonbipartite components, the multiplicity of the Ehrhart ring is \(2^{c-1}\) times the multiplicity of the edge ring.

Recommendations

Cites work

Cited in

(16)

Describes a project that uses

Uses Software

This page was built for publication: Multiplicities of edge subrings

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