\(G\)-dimension over local homomorphisms. Applications to the Frobenius endomorphism (Q1425778): Difference between revisions
From MaRDI portal
Set profile property. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: math/0303265 / rank | |||
Normal rank |
Latest revision as of 19:19, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(G\)-dimension over local homomorphisms. Applications to the Frobenius endomorphism |
scientific article |
Statements
\(G\)-dimension over local homomorphisms. Applications to the Frobenius endomorphism (English)
0 references
17 March 2004
0 references
The aim of this article is to develop a theory of relative Gorenstein dimension over local morphisms of rings. Given a local morphism \(\varphi :R\to S\), for each finitely generated \(S\)-module \(M\), the authors define the \(G\)-dimension of \(M\) and the projective dimension \(\text{pd}(\varphi)\), over \(\varphi\). One important case is when \(\varphi \) is the Frobenius map over a ring \(R\) of positive characteristic, and a well known result about the regularity of \(R\) can be stated by: \(R\) is a regular ring if and only if \(\text{pd}(\varphi^n)\) is finite for some integer \(n\geq 1\). The paper contains important properties and results on projective dimension and depth. We state here the two more relevant results of the paper. Theorem A. Let \(R\) be a local ring of positive characteristic \(p\) and \(\varphi \) the Frobenius morphism. The following conditions are equivalent: (a) The ring \(R\) is Gorenstein. (b) \(\text{G-dim}_{\varphi^n}(R)\) is finite for some integer \(n\geq 1\). (c) There exists a nonzero finite \(R-\)module \(P\) of finite projective dimension and an integer \(n\geq 1\) such that \(\text{G-dim}_{\varphi^n}(P)\) is finite. Theorem B. Let \(\varphi :R\to S\) and \(\sigma :S\to T\) be local morphisms, and let \(P\) be a nonzero finite \(T-\)module. If \(\text{pd}_\sigma (P)\) is finite, then \[ \text{G-dim}_{\sigma \varphi}(P)=\text{G-dim}_{ \varphi}(S)+ \text{pd}_\sigma (P) \] In particular \(\text{G-dim}_{\sigma \varphi}(P)\) and \(\text{G-dim}_{ \varphi}(S)\) are simultaneously finite. The content of the paper is rather technical and is illustrated by some examples.
0 references
Gorenstein ring
0 references
projective dimension
0 references
Gorenstein dimension
0 references
local rings
0 references