3
$\begingroup$

Let $(R,\mathfrak{m})$ be a Noetherian local ring of positive prime characteristic $p$ and let $F$ be the Frobenius functor. Write $d$ for dimension of $R$. Assume that for some $0\leq i< d $ the local cohomology module $\mathrm{H}^i_{\mathfrak{m}}(R)$ is of finite length. If we write $\ell(\cdot)$ for length of a module of finite length, I am interested to know whether it is true that $$\ell(F(\mathrm{H}^i_{\mathfrak{m}}(R)))=p^d\cdot\ell(\mathrm{H}^i_{\mathfrak{m}}(R))?$$ The trivial case is when $\mathrm{H}^i_{\mathfrak{m}}(R)=0$. Any results from the literature in special cases where this formula holds, or any example in which the formula does not hold would be interesting. I don't know of any special case or example, except for the trivial case.

$\endgroup$
2
  • 1
    $\begingroup$ By the Frobenius functor. What functor do you mean? Do you mean the tensor functor, or the restriction of scalars functor, or a different functor? I assume you mean the former (which Long explains well below). $\endgroup$ Nov 29, 2011 at 3:18
  • $\begingroup$ Yes, I meant the tensor functor over Frobenius. $\endgroup$ Nov 29, 2011 at 4:11

1 Answer 1

6
$\begingroup$

Let $p=2$, $R=k[[x,y]]/(x^2,xy)$. Then $H^0_m(R) \cong R/m= k$. $F(k) = R/m^{[2]}= k[[x,y]]/(x^2,xy,y^2)$ has length $3 \neq 2\times 1$.

In general for a finite length module $M$, the condition that $\ell(F(M))=p^d\ell(M)$ is pretty restrictive. For $M=k$ this forces $R$ to be regular (Kunz). Also, when $R$ is a complete intersection such condition forces $M$ to have finite projective dimension, see Claudia Miller's survey.

$\endgroup$
3
  • $\begingroup$ Your example is good. So more generally every time $\mathrm{H}^i_{\mathfrak{m}}(R)\cong k$, the formula cannot hold by Kunz, as you pointed out. Over a complete intersection the local cohomology modules are zero in the specified range which does not give any information about my formula. It would be interesting to describe all modules of finite length for which $\ell(F(M))=p^d\cdot\ell(M)$ holds (eigenmodules of Froben). As you pointed out, when $R$ is a complete intersection, the answer is all modules of finite projective dimension. But the answer is not always finite projective dimension. $\endgroup$ Nov 29, 2011 at 4:10
  • 1
    $\begingroup$ @ Hailong: I have a question as follows: Let $M$ be a finitely generated $R$-module of dimension $d$ such that $H^i_{\frak m} (M)$ has finite length for all $i < d$. In what coditions $H^i_{\frak m} (F(M))$ has finite length for all $i < d$? I think if $R$ is regular, it is true since Frobenius functor is flat. But is there any weaker condition? $\endgroup$ Dec 2, 2011 at 11:19
  • 1
    $\begingroup$ Moreover, we can ask a more general question about the finilety generated property of $H^i_{\frak a} (F(M))$ for all $i < t$, if $H^i_{\frak a} (M)$ is finitely generated for all $i < t$. $\endgroup$ Dec 2, 2011 at 11:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.