Complexes with homology of finite length and Frobenius functors
type: Item
instance of: scholarly article
title: Complexes with homology of finite length and Frobenius functors
zbMATH Open document ID: 0694.13008
DOI: 10.1016/0021-8693(89)90164-6
author: Gerhard Seibert
published in: Journal of Algebra
publication date: 1989-01-01T00:00:00Z
review text: Let R be a Noetherian local ring of prime characteristic p with residue field k. For any R-module M by \(M_{(n)}\) is denoted the R-module on M with \(r.m=r^{p^ n}m\), \(r\in R\), \(m\in M\); \(F^ n_ R\) denotes the n-th Frobenius functor \(F^ n_ R(M)=M\otimes_ RR_{(n)}\) with \(r(m\otimes s)=m\otimes rs\), \(r,s\in R\), \(m\in M.\) Main results: 1. Assume that \(R_{(1)}\) is a finite R-module and \(a=[k:k^ p]\). Let \({\mathcal C}\) be a family of finite R-modules with dimension \(\geq j\) and such that for any exact sequence of R-modules \(0\to M'\to M\to M''\to 0\) we have \(M\in {\mathcal C}\Leftrightarrow M',M''\in {\mathcal C}\). Then \(M\in {\mathcal C}\) implies \(M_{(n)}\in {\mathcal C}\) and for any integer-valued function g which is defined on \({\mathcal C}\) and is additive on exact sequences one has \(a^{-n}g(M_{(n)})=b_ 0+b_ 1p^ j+...+b_ jp^{jn}\) for some rational \(b_ 0,...,b_ j.\) 2. If M, N are finite R-modules, \(pd_ RM<\infty\) and \(\ell_ R(M\otimes_ RN)<\infty\) then \(\ell_ R(Tor_ i(F^ n_ R(M),N))<\infty\) and \(\sum^{\dim (R)}_{i=0}(-1)^ i\ell_ R(Tor_ i(F^ n_ M(M),N))=b_ 0+b_ 1p^ n+...+b_{\nu}p^{\nu n}\) for some rational \(b_ 0,...,b_{\nu}\), \(\nu =\dim (N)\).
Mathematics Subject Classification ID: 13D25
Mathematics Subject Classification ID: 13H15
Mathematics Subject Classification ID: 13E05
zbMATH DE Number: 4136088
zbMATH Keywords: Euler characteristic
zbMATH Keywords: Noetherian local ring
zbMATH Keywords: prime characteristic
zbMATH Keywords: Frobenius functor
zbMATH Keywords: Tor
reviewed by: Stanisław Balcerzyk
MaRDI profile type: Publication
full work available at URL: 0021-8693(89)90164-6
OpenAlex ID: W2077999274
cites work: Frobenius and multiplicities
cites work: Q3328651
cites work: Q5602063
cites work: Ringe der Charakteristik p und Frobeniusfunktoren
cites work: Characterizations of Regular Local Rings of Characteristic p
cites work: On Noetherian Rings of Characteristic p
cites work: The Hilbert-Kunz function
cites work: Dimension projective finie et cohomologie locale. Applications à la demonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck
cites work: Q3265726
cites work: Q3216758
description: scientific article; zbMATH DE number 4136088