Solid-algebra persistence conjecture for cohomological dimension

About 7 years old · traced to

Let RR be a Noetherian domain, let SS be a solid RR-algebra, and let II be an ideal of RR. Solid-algebra persistence conjecture. One has

cd⁡(I,R)=cd⁡(IS,S).\operatorname{cd}(I,R)=\operatorname{cd}(IS,S).

The conjecture asks whether cohomological dimension is preserved when passing from a Noetherian domain to a solid algebra. The surrounding discussion notes that cohomological dimension can decrease under arbitrary ring homomorphisms, while equality is known in some cases such as direct-summand extensions; the asserted equality for all solid algebras remains open in the supplied text.

References

Primary source

Melvin Hochster and Jack Jeffries, “Faithfulness of Top Local Cohomology Modules in Domains”, arXiv:1909.08770 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.