Products of ideals and an extended Buchsbaum-Eisenbud-Horrocks conjecture
Craig Huneke, University of Kansas, Speaker website ↗
Abstract
About twelve years ago, I proved that in unramified regular local rings, the product of two proper ideals can never be Gorenstein unless they each have height one. I will go quickly over that proof in this talk. In that paper I also raised the question of whether or not the type of the product of two m-primary ideals in dimension d must always be at least d. In "conversations" with ChatGPT, this second question morphed into a much broader question which generalizes the famous conjecture of Buchsbaum-Eisenbud and Horrocks. I will describe this new conjecture and some results about it, as well as summarizing the recent progress on the B-E-H conjecture.