---
title: 'Bicoms: Bi-Cohen–Macaulay Graphs'
url: https://www.emergentmind.com/topics/bicoms
type: topic
---

# Bicoms: Bi-Cohen–Macaulay Graphs

In commutative algebra and graph theory, “bicoms” informally denotes **bi-Cohen–Macaulay graphs**: finite simple graphs \(G\) with no isolated vertices such that the edge ideal \(I_G\) and its Alexander dual \(I_G^\vee\) are both Cohen–Macaulay. For graphs on \([n]=\{1,\dots,n\}\), with edge ideal
\[ I_G=(x_ix_j:\{i,j\}\in E(G)) \subset S=K[x_1,\dots,x_n], \]
this places the subject at the intersection of edge ideals, Stanley–Reisner theory, Alexander duality, and linear resolutions. A central theme is that the bi-Cohen–Macaulay condition is far more rigid than ordinary Cohen–Macaulayness: in the bipartite and chordal cases it yields explicit classifications, and in general every bi-CM graph is controlled, up to separation, by a unique inseparable model attached to a tree [1508.07119].

## 1. Definition and algebraic framework

Let \(G\) be a finite simple graph on vertex set \([n]=\{1,\dots,n\}\), with no isolated vertices. Its edge ideal in
\[ S=K[x_1,\dots,x_n] \]
is
\[ I_G=(x_ix_j:\{i,j\}\in E(G)). \]
This is a squarefree monomial ideal, and the corresponding simplicial complex is the **independence complex** of \(G\), whose faces are the independent sets of \(G\). Following Fløystad–Vatne, a squarefree monomial ideal \(I\subset S\) is called **bi-Cohen–Macaulay** if both \(I\) and \(I^\vee\) are Cohen–Macaulay; accordingly, \(G\) is **bi-Cohen–Macaulay (bi-CM)** over \(K\) if \(I_G\) is bi-Cohen–Macaulay [1508.07119].

For a squarefree monomial ideal
\[ I=\bigcap_{j=1}^m P_j \]
with \(P_j\) monomial prime ideals, the Alexander dual is
\[ I^\vee=(u_1,\dots,u_m), \qquad u_j=\prod_{x_i\in P_j}x_i. \]
For \(I=I_G\), the minimal primes correspond to minimal vertex covers, so \(I_G^\vee\) is the **vertex cover ideal** of \(G\). The graph-theoretic dictionary used throughout is standard: vertex covers \(C\subset [n]\) correspond to monomial prime ideals
\[ P_C=(x_i:i\in C), \]
\(P_C\) is a minimal prime of \(I_G\) iff \(C\) is a minimal vertex cover, and independent sets are complements of vertex covers.

If \(c\) denotes the independence number of \(G\), then
\[ \dim(S/I_G)=c. \]
A useful structural consequence is that every bi-CM graph is **connected**. This is not a superficial property: if \(G\) were disconnected, then \(I_G\) would decompose in disjoint variables, and the tensor-product resolution would force degree \(4\) syzygies, so \(I_G\) would not have a linear resolution. This already indicates that bi-CM graphs are not simply Cohen–Macaulay graphs with an added duality statement; they are Cohen–Macaulay graphs subject to a strong homological constraint.

## 2. Equivalent criteria and homological signatures

The decisive equivalence is furnished by the Eagon–Reiner theorem: a squarefree monomial ideal \(I\) is Cohen–Macaulay iff \(I^\vee\) has a linear resolution. Applied to graphs, this yields
\[ G \text{ is bi-CM } \iff I_G \text{ is Cohen–Macaulay and } I_G \text{ has a linear resolution.} \]
Equivalently, if \(J_G=I_G^\vee\), then
\[ G \text{ is bi-CM } \iff J_G \text{ is a codimension }2\text{ Cohen–Macaulay ideal with linear relations.} \]
Thus the additional condition distinguishing bi-CM graphs from CM graphs is precisely the existence of a linear resolution for the edge ideal [1508.07119].

A more concrete formulation is given by reduction modulo a maximal regular sequence of linear forms. If \(G\) has independence number \(c\) and \(K\) is infinite, then \(G\) is bi-CM iff \(G\) is CM and, for a maximal regular sequence of linear forms on \(S/I_G\), the Artinian reduction is
\[ T/\mathfrak m_T^2, \]
where \(T\) is a polynomial ring in \(n-c\) variables and \(\mathfrak m_T\) is its graded maximal ideal. This makes the bi-CM condition computationally transparent: after a regular sequence reduction, the ideal must become the square of the maximal ideal.

This reduction produces a package of equivalent numerical criteria. Let \(G\) be on \(n\) vertices with independence number \(c\). Then the following are equivalent:
\[ G \text{ is bi-CM;} \]
\[ G \text{ is CM and } |E(G)|=\binom{n-c+1}{2}; \]
\[ G \text{ is CM and the number of minimal vertex covers is } n-c+1; \]
and
\[ \beta_i(I_G)=(i+1)\binom{n-c+1}{i+2} \qquad \text{for } i=0,\dots,n-c-1. \]
These are exactly the Betti numbers of \(\mathfrak m_T^2\), obtained via the Eagon–Northcott resolution. In practice, this means that a CM graph is bi-CM precisely when its number of edges, its minimal vertex covers, and the graded Betti table of its edge ideal match those of the square of a maximal ideal in \(n-c\) variables.

## 3. Explicit classifications in the bipartite and chordal cases

The bipartite case is completely rigid. Let \(G\) be a bipartite graph with bipartition
\[ V=V_1\cup V_2, \qquad V_1=\{v_1,\dots,v_n\},\quad V_2=\{w_1,\dots,w_m\}. \]
Then \(G\) is bi-CM iff
\[ n=m \quad\text{and}\quad E(G)=\{\{v_i,w_j\}: 1\le i\le j\le n\}. \]
After suitable labeling, this is the staircase Ferrers graph in which \(v_i\) is adjacent to \(w_i,w_{i+1},\dots,w_n\). The proof uses the known classification of CM bipartite graphs via posets: a CM bipartite graph is of the form \(G(P)\) for a poset \(P=\{p_1,\dots,p_n\}\), with
\[ \{v_i,w_j\}\in E(G)\iff p_i\le p_j, \]
and the bi-CM condition forces \(P\) to be a chain. Thus, among bipartite graphs, bicoms are exactly the chain graphs of this staircase form [1508.07119].

The chordal case is broader but still explicit. Let \(G\) be a chordal graph on \([n]\), and let
\[ F_1,\dots,F_m \]
be the facets of the clique complex of \(G\), equivalently the maximal cliques. Then \(G\) is bi-CM iff either \(m=1\), or \(m>1\) and the following hold:
\[ V(G)=V(F_1)\cup V(F_2)\cup\cdots\cup V(F_m), \]
with this union disjoint;
each \(F_i\) has exactly one **free vertex** \(j_i\); and the restriction of \(G\) to
\[ [n]\setminus\{j_1,\dots,j_m\} \]
is a clique. If \(m=1\), \(G\) is simply the complete graph.

This description is best understood as a “center-plus-free-vertices” decomposition. The nonfree vertices form a complete induced subgraph, called the **center** of \(G\), while each maximal clique contributes exactly one free vertex attached to an appropriate subset of the center. A plausible implication is that, in the chordal world, the bi-CM condition selects those Cohen–Macaulay graphs whose facet structure is as compressed as possible while still permitting a linear resolution.

## 4. Relation trees and generic bi-CM graphs

The general classification is organized through the Alexander dual
\[ J=(I_G)^\vee. \]
For a bi-CM graph, \(J\) is a codimension \(2\) Cohen–Macaulay monomial ideal with linear resolution, so Hilbert–Burch theory applies. If \(J\) has minimal generators
\[ u_1,\dots,u_m, \]
a relation matrix \(A\) for \(J\) has size \((m-1)\times m\), and because the resolution is linear, the first syzygies can be chosen of binomial type
\[ x_k u_i - x_\ell u_j = 0. \]
Each row of \(A\) therefore has exactly two nonzero entries, variables with opposite signs. From such a matrix one defines a graph \(T\): its vertices are \(\{1,\dots,m\}\), and \(\{i,j\}\) is an edge of \(T\) iff some row of \(A\) has nonzero entries in columns \(i\) and \(j\). This graph is always a tree, called a **relation tree** of \(J\) [1508.07119].

Conversely, starting with any tree \(T\) on \([m]\), one constructs a generic Hilbert–Burch matrix. If the edges of \(T\) are
\[ e_1,\dots,e_{m-1}, \]
and \(e_k=\{i,j\}\) with \(i<j\), define the \(k\)-th row of an \((m-1)\times m\) matrix \(A_T\) by
\[ a_{k\ell}= \begin{cases} x_{ij}, & \ell=i,\\ -\,x_{ji}, & \ell=j,\\ 0, & \text{otherwise}. \end{cases} \]
Let \(J_T\) be the ideal of maximal minors of \(A_T\). By Hilbert–Burch, \(J_T\) is codimension \(2\), Cohen–Macaulay, with linear resolution. The associated graph \(G_T\) is then defined by
\[ I_{G_T}=J_T^\vee. \]
For any tree \(T\), the graph \(G_T\) is bi-CM.

The structure of \(G_T\) is completely explicit. If \(P:i=i_0,i_1,\dots,i_r=j\) is the unique path from \(i\) to \(j\) in \(T\), define
\[ b(i,j)=i_1, \qquad e(i,j)=i_{r-1}. \]
Then the vertices of \(G_T\) are the oriented edges of \(T\):
\[ V(G_T)=\{(i,j),(j,i):\{i,j\}\in E(T)\}. \]
Two vertices \((i,k)\) and \((j,\ell)\) form an edge of \(G_T\) iff there exists a path from \(i\) to \(j\) in \(T\) such that
\[ k=b(i,j),\qquad \ell=e(i,j). \]
Thus each unoriented edge of \(T\) gives two vertices of \(G_T\), and the path combinatorics of the tree determines all adjacencies. If \(T\) has \(m\) vertices, then \(G_T\) has
\[ 2(m-1) \]
vertices and
\[ |E(G_T)|=\binom{m}{2}. \]

## 5. Separation, inseparability, and the classification up to trees

To classify all bi-CM graphs, the paper uses **separation**. Let \(I\subset S=K[x_1,\dots,x_n]\) be a squarefree monomial ideal minimally generated by \(u_1,\dots,u_m\), and let \(y\) be a new indeterminate. A monomial ideal \(J\subset S[y]\) is a **separation of \(I\) for the variable \(x_i\)** if \(I\) is the image of \(J\) under the specialization \(y\mapsto x_i\), both \(x_i\) and \(y\) divide some minimal generator of \(J\), and \(y-x_i\) is a non-zerodivisor on \(S[y]/J\). An ideal is **separable** if it admits a separation, and **inseparable** otherwise. For graphs, if \(I=I_G\), a separation is again an edge ideal
\[ J=I_{G'} \]
for some graph \(G'\) with one extra vertex; the original graph is recovered by identifying the new vertex with the old one [1508.07119].

Separation preserves the relevant homological data: \(G\) is bi-CM iff any separation \(G'\) is bi-CM. This makes inseparable models canonical representatives. The graph-theoretic criterion for inseparability is elegant. For a vertex \(i\), let \(N(i)\) be its neighborhood, and let \(G^{(i)}\) be the complement of the induced subgraph on \(N(i)\). Then
\[ G \text{ is inseparable } \iff G^{(i)} \text{ is connected for all vertices }i. \]
Equivalently, \(G^{(i)}\) is disconnected iff
\[ N(i)=A\sqcup B,\qquad A,B\neq \emptyset, \]
such that every vertex of \(A\) is adjacent in \(G\) to every vertex of \(B\).

The main classification theorem has three parts. First, for any tree \(T\), the generic graph \(G_T\) is an **inseparable bi-CM graph**. Second, for any **inseparable** bi-CM graph \(G\), there exists a **unique** tree \(T\) such that
\[ G\cong G_T. \]
Third, for any bi-CM graph \(G\), there exists a tree \(T\) such that \(G_T\) is an **inseparable model** of \(G\). This is the paper’s classification “up to separation”: every bicon is obtained from a unique tree-shaped generic model by finitely many specializations, and the inseparable bicoms are in bijection with trees.

## 6. Examples, non-examples, and conceptual significance

Several standard families illustrate the theory sharply [1508.07119]. Every complete graph \(K_n\) is bi-CM: it is chordal with one facet, its independence number is \(1\), and
\[ |E(K_n)|=\binom{n}{2}=\binom{n-c+1}{2}. \]
Among bipartite graphs, the staircase graph with edges
\[ \{v_i,w_j\}: 1\le i\le j\le n \]
is bi-CM, while \(C_4\) is not. Among chordal graphs, a triangle with one pendant edge is not bi-CM because its maximal cliques are not disjoint, and a star \(K_{1,r}\) with \(r\ge 2\) is not bi-CM for the same structural reason.

The examples attached to trees are more revealing. The paper gives a bi-CM graph on \([5]\) with edges
\[ \{1,2\},\{2,3\},\{3,1\},\{2,4\},\{3,4\},\{4,5\}, \]
whose Alexander dual has generators
\[ u_1=x_2x_3x_4,\quad u_2=x_1x_3x_4,\quad u_3=x_2x_3x_5,\quad u_4=x_1x_2x_4. \]
This graph has multiple relation trees, showing that relation trees need not be unique for general bi-CM graphs. By contrast, uniqueness is recovered precisely in the inseparable case. Another example compares the triangle \(K_3\) with the path on \(4\) vertices: the path is an inseparable model of the triangle, obtained by separating one vertex.

Conceptually, bicoms are important because they identify the graphs for which the edge ideal is simultaneously Cohen–Macaulay and as homologically simple as possible, namely \(2\)-linear after Alexander duality. In the language of simplicial complexes, they are exactly the independence complexes whose Stanley–Reisner ideal and Alexander dual are both Cohen–Macaulay. A plausible implication is that their rigidity makes them unusually well suited as test objects at the interface of graph theory and commutative algebra: explicit enough to classify, but rich enough to encode Hilbert–Burch matrices, Alexander duality, and tree combinatorics in a single framework.

Source: https://www.emergentmind.com/topics/bicoms