Linear strands of initial ideals of determinantal facet ideals

Abstract

We construct an explicit linear strand for the initial ideal of any determinantal facet ideal (DFI) with respect to any diagonal term order. We show that if the clique complex of Δ has no 1-nonfaces larger than a certain cardinality, then the Betti numbers of the linear strand of $J_{\Delta }$ and its initial ideal coincide. This confirms a conjecture of Ene–Herzog–Hibi for closed graphs with at most 2 maximal cliques. Additionally, we show that the linear strand of the initial ideal of any DFI is supported on an induced subcomplex of the complex of boxes introduced by Nagel–Reiner.

Keywords:

• Binomial edge ideal
• cellular resolutions
• determinantal facet ideal
• free resolutions
• initial ideals
• linear strand

2020 MATHEMATICS SUBJECT CLASSIFICATION:

• Primary: 13F20
• 13F55
• Secondary: 55U10
• 05E40

Acknowledgments

The authors would like to thank the anonymous referee for their close reading and helpful comments.

Additional information

Funding

Ayah Almousa was partially supported by the NSF GRFP under Grant No. DGE-1650441.