Degree and regularity of Eulerian ideals of hypergraphs
Suppose that \(K\) is a field and \(H\) is a hypergraph with vertex set \(V\) and edge set \(E\). Also here we assume that \(H\) is \(k\)-uniform, that is, all edges of \(H\) have a common size \(k\). Let \(K[V]=K[x_v|v\in V]\) and \(K[E]=K[t_e|e\in E]\) be polynomial rings. If \(\phi:K[E]\to K[V]\) is the ring homomorphism sending \(t_e\) for \(e=\{v_1,\ldots,v_k\}\) to \(x_{v_1}x_{v_2}\cdots x_{v_k}\), then the authors call the ideal \(I_H=\phi^{-1}(\langle x_v^2-x_w^2|v,w\in V\rangle)\), the Eulerian ideal of \(H\), which is a binomial ideal. In the case that \(k=2\), that is, \(H\) is a graph, this ideal is studied in the paper by \textit{J. Neves} [``Eulerian ideals, Comm. Algebra 51, No. 2, 552--564 (2023)]. The results of the paper under review can be seen as generalizations of the results of the aforementioned paper to hypergraphs. The authors first present a binomial Gröbner basis for \(I_H\). Then by combinatorially interpreting the monomials not in the initial ideal of \(I_H\), they present formulas for the Hilbert function and the Hilbert series of \(K[E]/I_H\) in terms of some combinatorial quantities of \(H\). They deduce that \(K[E]/I_H\) is a 1-dimensional Cohen-Macaulay ring. They use these, to present formulas for the Castelnuovo-Mumford regularity and the multiplicity (or degree) of \(K[E]/I_H\). At the end, they consider complete \(k\)-partite hypergraphs and also complete hypergraphs and find explicit formulas for the regularity and degree of \(K[E]/I_H\) in terms of the number of vertices and part sizes of \(H\). The regularity of \(K[E]/I_H\), when \(H\) is a complete hypergraph, is presented in the case that \(k=3\).
- Algebraic methods for parameterized codes and invariants of vanishing ideals over finite fields
- Combinatorial optimization. Theory and applications.
- Conservative weightings and ear-decompositions of graphs
- Gröbner bases in commutative algebra
- scientific article; zbMATH DE number 5300021 (Why is no real title available?)
- Joins, ears and Castelnuovo-Mumford regularity
- Parameterized codes over some embedded sets and their applications to complete graphs
- Rees algebras of edge ideals
- Regularity of the vanishing ideal over a bipartite nested ear decomposition
- Regularity of the vanishing ideal over a parallel composition of paths
- The degree and regularity of vanishing ideals of algebraic toric sets over finite fields
- The Geometry of Syzygies
- Vanishing Ideals Over Graphs and Even Cycles
- Combinatorial degree bound for toric ideals of hypergraphs
- Hyperoctahedral Eulerian idempotents, Hodge decompositions, and signed graph coloring complexes
- Inclusion ideals associated to uniformly increasing hypergraphs
- HYPERGRAPHS AND REGULARITY OF SQUARE-FREE MONOMIAL IDEALS
- Eulerian ideals
- On the socle of Artinian algebras associated with graphs
- Hilbert-Poincaré series of parity binomial edge ideals and permanental ideals of complete graphs
This page was built for publication: Degree and regularity of Eulerian ideals of hypergraphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2094866)
