Solid-algebra persistence conjecture for cohomological dimension

From papers

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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.