On the (non)rigidity of the Frobenius endomorphism over Gorenstein rings

DOI10.2140/ANT.2010.4.1039MaRDI QIDQ716050zbMATH OpenOpenAlexFDO

Authors Hailong Dao, Jinjia Li, Claudia Miller

Publication date 19 April 2011

Published in Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0911.4268

zbMATH Keywords

Frobenius endomorphismPicard grouprigiditytor

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: It is well-known that for a large class of local rings of positive characteristic, including complete intersection rings, the Frobenius endomorphism can be used as a test for finite projective dimension. In this paper, we exploit this property to study the structure of such rings. One of our results states that the Picard group of the punctured spectrum of such a ring $R$ cannot have $p$-torsion. When $R$ is a local complete intersection, this recovers (with a purely local algebra proof) an analogous statement for complete intersections in projective spaces first given in SGA and also a special case of a conjecture by Gabber. Our method also leads to many simply constructed examples where rigidity for the Frobenius endomorphism does not hold, even when the rings are Gorenstein with isolated singularity. This is in stark contrast to the situation for complete intersection rings. Also, a related length criterion for modules of finite length and finite projective dimension is discussed towards the end.

Review text

An immediate corollary of the main result of the paper presents torsion-freeness of punctured spectrum of an equicharacteristic local complete intersection ring of dimension 3, by using homological properties of the Frobenius map, e.g. Tor-rigidity of the Frobenius map. This is a local version of a result of Deligne.

Recommendations

• Frobenius criteria of freeness and Gorensteinness
• Intersection multiplicities over Gorenstein rings
• On modules of finite projective dimension
• \(G\)-dimension over local homomorphisms. Applications to the Frobenius endomorphism
• Frobenius and homological dimensions of complexes

Cited in

(10)

• Homological dimensions of rigid modules
• Base change along the Frobenius endomorphism and the Gorenstein property
• Hypersurfaces with defect
• On the generalized Hilbert-Kunz function and multiplicity
• Factoriality for the reductive Zassenhaus variety and quantum enveloping algebra
• A connectedness result in positive characteristic
• Frobenius criteria of freeness and Gorensteinness
• On the Ideal Case of a Conjecture of Huneke and Wiegand
• POWERS OF THE MAXIMAL IDEAL AND VANISHING OF (CO)HOMOLOGY
• On the vanishing of (co)homology for modules admitting certain filtrations

This page was built for publication: On the (non)rigidity of the Frobenius endomorphism over Gorenstein rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q716050)