Showing 1–4 of 4 results for author: Ordog, E

A Generalization of the Ishida Complex with applications

Authors: Laura Felicia Matusevich, Erika Ordog, Byeongsu Yu

Abstract: We construct a generalize Ishida complex to compute the local cohomology with monomial support of modules over quotients of polynomial rings by cellular binomial ideals. As a consequence, we obtain a combinatorial criterion to determine when such a quotient is Cohen--Macaulay. In particular, this gives a Cohen--Macaulayness criterion for lattice ideals. We also prove a result relating the local co… ▽ More We construct a generalize Ishida complex to compute the local cohomology with monomial support of modules over quotients of polynomial rings by cellular binomial ideals. As a consequence, we obtain a combinatorial criterion to determine when such a quotient is Cohen--Macaulay. In particular, this gives a Cohen--Macaulayness criterion for lattice ideals. We also prove a result relating the local cohomology with radical monomial ideal support of an affine semigroup ring to the local cohomology with maximal ideal support of the quotient of the affine semigroup ring by the radical monomial ideal. This requires a combinatorial assumption on the semigroup, which holds for (not necessarily normal) semigroups whose cone is the cone over a simplex. △ Less

Submitted 2 December, 2022; originally announced December 2022.

Comments: 21 pages, 3 figures

MSC Class: Primary 13F65; 13D45; Secondary 13F55

Minimal resolutions of lattice ideals

Authors: Yupeng Li, Ezra Miller, Erika Ordog

Abstract: A canonical minimal free resolution of an arbitrary co-artinian lattice ideal over the polynomial ring is constructed over any field whose characteristic is 0 or any but finitely many positive primes. The differential has a closed-form combinatorial description as a sum over lattice paths in $\mathbb{Z}^n$ of weights that come from sequences of faces in simplicial complexes indexed by lattice poin… ▽ More A canonical minimal free resolution of an arbitrary co-artinian lattice ideal over the polynomial ring is constructed over any field whose characteristic is 0 or any but finitely many positive primes. The differential has a closed-form combinatorial description as a sum over lattice paths in $\mathbb{Z}^n$ of weights that come from sequences of faces in simplicial complexes indexed by lattice points. Over a field of any characteristic, a non-canonical but simpler resolution is constructed by selecting choices of higher-dimensional analogues of spanning trees along lattice paths. These constructions generalize sylvan resolutions for monomial ideals by lifting them equivariantly to lattice modules. △ Less

Submitted 19 August, 2022; originally announced August 2022.

Comments: 9 pages, no figures

Sylvan resolutions in three variables

Authors: Erika Ordog

Abstract: The canonical sylvan resolution is a resolution for arbitrary monomial ideals over a polynomial ring that is minimal and has an explicit combinatorial formula for the differential. The differential is a weighted sum over lattice paths of weights of chain-link fences, which are sequences of faces that are linked to each other via higher-dimensional analogues of spanning trees. The combinatorial for… ▽ More The canonical sylvan resolution is a resolution for arbitrary monomial ideals over a polynomial ring that is minimal and has an explicit combinatorial formula for the differential. The differential is a weighted sum over lattice paths of weights of chain-link fences, which are sequences of faces that are linked to each other via higher-dimensional analogues of spanning trees. The combinatorial formula for the differential simplifies greatly in the three-variable case. The main results in this paper express the sylvan matrix entries for monomial ideals in three variables as a sum over lattice paths of simpler weights that depend only on the number of specific Koszul simplicial complexes that lie along the corresponding lattice path, which bypasses any computation of chain-link fences. △ Less

Submitted 19 October, 2020; originally announced October 2020.

Comments: 25 pages, 13 figures

MSC Class: Primary: 05E40; 13D02; 05E45; 55U15; 13F55; Secondary: 05C05; 57M15

Minimal resolutions of monomial ideals

Authors: John Eagon, Ezra Miller, Erika Ordog

Abstract: An explicit combinatorial minimal free resolution of an arbitrary monomial ideal $I$ in a polynomial ring in $n$ variables over a field of characteristic $0$ is defined canonically, without any choices, using higher-dimensional generalizations of combined spanning trees for cycles and cocycles ("hedges") in the upper Koszul simplicial complexes of $I$ at lattice points in $\mathbb{Z}^n$. The diffe… ▽ More An explicit combinatorial minimal free resolution of an arbitrary monomial ideal $I$ in a polynomial ring in $n$ variables over a field of characteristic $0$ is defined canonically, without any choices, using higher-dimensional generalizations of combined spanning trees for cycles and cocycles ("hedges") in the upper Koszul simplicial complexes of $I$ at lattice points in $\mathbb{Z}^n$. The differentials in these "sylvan resolutions" are expressed as matrices whose entries are sums over lattice paths of weights determined combinatorially by sequences of hedges ("hedgerows") along each lattice path. This combinatorics enters via an explicit matroidal expression for the Moore-Penrose pseudoinverses of the differentials in any CW complex as weighted averages of splittings defined by hedges. This "Hedge Formula" also yields a projection formula from CW chains to boundaries. The translation from Moore-Penrose combinatorics to free resolutions relies on Wall complexes, which construct minimal free resolutions of graded ideals from vertical splittings of Koszul bicomplexes. The algebra of Wall complexes applied to individual hedgerows yields explicit but noncanonical combinatorial minimal free resolutions of arbitrary monomial ideals in any characteristic. △ Less

Submitted 21 May, 2020; v1 submitted 20 June, 2019; originally announced June 2019.

Comments: v1: 45 pages, 4 figures; v2: 30 pages, 3 figures, cuts 15 pages from v1 by (i) using determinants instead of orders of torsion subgroups and deriving the Hedge formula as a corollary of a theorem due to Berg, (ii) omitting redundant proofs related to Wall complexes, (iii) streamlining exposition related to Koszul bicomplexes, and (iv) shortening the examples

MSC Class: 05E40; 13D02; 05E45; 55U15; 57Q05; 13F55 (Primary); 05C05; 57M15; 13F20; 13C13 (Secondary)