Faithfulness of top local cohomology modules in domainss (Q1996415)

Inspired by a conjecture of \textit{L. Lynch} [Comm. Algebra 40, 542--551 (2012; Zbl 1251.13015)], the authors pose the following questions which they prove to be equivalent: (a) If \(R\) is a domain that contains a field and \(I\) is an ideal of \(R\) of cohomological dimension \(c\), must \(H^c_I(R)\) be faithful \(R\)-module? (b) If \(R\) contains a fiels and \(I\) is an ideal of cohomological dimension \(c\), must the annihilator of \(H^c_I(R)\) be of height 0? They answer these quesitions in the affirmative when the characteristic of the field contained in \(R\) is positive and the arithmetic rank of \(I\) is equal to \(c\) and when \(R\) is pure in a regular ring containing a field. They also conjecture that if \(R\) is a domain and \(S\) is a solid \(R\)-algebra, then for every ideal \(I\) of \(R\), the cohomological dimension of \(I\) in \(R\) is equal to the cohomological dimension of \(IS\) in \(S\). They show the conclusion of conjecture is true in positive characteristic for any ideal whose cohomological dimension is identical to its arithmetic rank.