Galois extensions, plus closure, and maps on local cohomology

Abstract

Given a local domain $(R,m)$ of prime characteristic that is a homomorphic image of a Gorenstein ring, Huneke and Lyubeznik proved that there exists a module-finite extension domain $S$ such that the induced map on local cohomology modules $H_m^i(R)\to H_m^i(S)$ is zero for each $i<\dim R$. We prove that the extension $S$ may be chosen to be generically Galois, and analyze the Galois groups that arise.