Ext and Frobenius (Q912924)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Ext and Frobenius
scientific article

    Statements

    Ext and Frobenius (English)
    0 references
    1989
    0 references
    Let A be a complete equidimensional local ring of dimension \(d>0\) and characteristic \(p>0,\) with maximal ideal m and \(A/m=k\), k perfect. Let \(^{f^ n}A\) be the ring A with A-bialgebra structure defined as follows: \(\alpha \cdot a=\alpha^{p^ n}a\), and \(a\cdot \alpha =a\alpha\), for \(\alpha\in A\), \(a\in^{f^ n}A\). For any A module M let \(F^ n(M)\) be \(M\otimes_ A^{f^ n}A\), similarly for complexes of A- modules. Let \(F_{\bullet}\) be a free complex of A-modules, with homology modules of finite length. The author studies the behavior as n goes to infinity of various homology modules derived from \(F^ n(F_{\bullet})\). For example \(\ell (H_ iF^ n(F_{\bullet}))\leq K_ ip^{nd}\), \((K_ i\) a constant, \(\ell =length)\) and under suitable hypotheses \(\lim_{n\to \infty}\ell (Tor^ A_ j(H_ iF^ n(F_{\bullet}),N))/p^{nd} =0,\) N a finitely generated A-module proposition 1.2). Proposition 1.3 has similar results for Ext. Results of this type culminate in theorem 1.7: Let \(F_{\bullet}\) be a finite free complex of length s. Assume that: (1) \(\ell(H_ i(F_{\bullet}))<\infty\) for \(i>0\); (2) \(H^ 0_ m(H_ 0(F_{\bullet}))\neq 0;\) and (3) \(H_ 0(F_{\bullet})\) is locally free on spec\(((A)-\{m\})\). - Define, for any A-module N with depth\((N)>0\), \(\chi (F_{\bullet},N)=\ell (H^ 0_ m(F_{\bullet}\otimes N))-\ell (H_ 1(F_{\bullet}\otimes N))+\ell (H_ 2(F_{\bullet}\otimes N))- ...\) and \(\chi_{\infty}(F_{\bullet},N)=\lim_{n\to \infty}\chi (F_{\bullet},N)/p^{nd}.\) Then if \(s<d\), \(\chi_{\infty}(F_{\bullet},N)=0\), and if \(s=d\), \(\dim(N)=d\), then \(\chi_{\infty}(F_{\bullet},N)>0.\) Theorem 1.7 is then used to give a new proof of the ``improved new intersection conjectures'': Let \(F_{\bullet}\) be a finite complex of finitely generated free A-modules of \(length\quad s,\) such that \(H_ i(F_{\bullet})\) has finite length for \(i>0\) and \(H_ 0(F_{\bullet})\) has a nonzero minimal generator z such that Az has finite length. Then \(d\leq s\). - There is a proof of this version of the improved new intersection conjecture in the book ``Syzygies'' by \textit{E. G. Evans} and \textit{P. Griffith} [Lond. Math. Soc. Lect. Notes Ser. 106 (1985; Zbl 0569.13005)], using the existence of big Cohen-Macaulay modules.
    0 references
    Euler characteristic in homological algebra
    0 references
    Frobenius
    0 references
    characteristic p
    0 references
    Ext
    0 references
    improved new intersection conjectures
    0 references
    0 references

    Identifiers