{"id":"arxiv/2606.30416","url":"https://arxiv.org/abs/2606.30416","tags":["math.AC"],"score":0,"title":"Perfect closure detects injective dimension","domain":"math.AC","source":"arxiv","authors":["Mohsen Asgharzadeh"],"reviews":0,"subject":"math.AC","summary":"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,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-29","reactions":{}}