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 '11 at 3:18
  • $\begingroup$ Yes, I meant the tensor functor over Frobenius. $\endgroup$ Nov 29 '11 at 4:11
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 '11 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 '11 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 '11 at 11:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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