Perfect closure detects injective dimension
Let $R$ be a complete noetherian local ring of prime characteristic $p$, and let $R^\infty$ denote its perfect closure. We prove that a finitely generated \(R\)-module $N$ has finite injective dimension if and only if $\operatorname{Ext}_R^i(R^\infty, N) = 0$ for all $i > 0$. As a Gorenstein counterpart, we show that finiteness of the Gorenstein injective (or projective) dimension of $R^\infty$ forces $R$ to be Gorenstein, and we relate this to a non noetherian Cohen factorization of $R \to R^\infty$. Applications include preservation of Gorensteinness under weakly etale extensions,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.30416
curl -X POST /api/v1/records/arxiv/2606.30416/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.30416/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'