加载中…
Let be a regular ring of prime characteristic , and let be a permutable regular sequence of codimension . We describe a complex of -modules, denoted , whose terms include equipped with its natural Frobenius action, and equipped with a Frobenius action we refer to as the Fedder action. We show that for all , and that is a copy of equipped with the usual Frobenius action. Using the complex, we show that if is an ideal such that for (which is automatic if is Cohen-Macaulay), then the module has Zariski closed support.

生成讲解博客的中文版本

生成AI智能校验的中文版本