Hochster–Huneke's (LC) conjecture
Throughout, let R:=⨁n≥0RnR:=\bigoplus_{n\geq 0}R_nR:=⨁n≥0Rn be a standard graded algebra over a field of prime characteristic p>0p>0p>0, let m:=⨁n>0Rn\mathfrak{m}:=\bigoplus_{n>0}R_nm:=⨁n>0Rn be its irrelevant ideal,…