Local Purity: Foundations & Applications

• Local purity is defined as the insensitivity of invariants to small (often high codimension) modifications, underpinning results in flat cohomology, sheaf theory, and quantum mechanics.
• Methodologies include vanishing results in flat cohomology, purity in Frobenius and fp-purity frameworks, and techniques from perfectoid, prismatic, and random matrix theories.
• Practical applications span preserving Picard/Brauer groups, optimizing resource extraction in quantum state distillation, and maintaining rigidity in Galois and prismatic cohomology settings.

Local purity is a multidimensional concept that arises in algebraic geometry, commutative algebra, quantum information theory, and representation theory. The term “local” refers to either a topological or algebraic localization—e.g., at a point of a scheme or at a subsystem of a quantum system—while “purity” encapsulates the insensitivity of certain invariants or operations to removing a suitably “small” subset, often characterized by codimension or structural properties. This article surveys principal definitions and results on local purity in flat cohomology, module and sheaf theory, Galois representations, and quantum information, synthesizing contemporary advances and contextualizing them within each field.

1. Local Purity in Flat Cohomology

The notion of purity in flat (fppf) cohomology generalizes Grothendieck’s cohomological purity, predicting, for a Noetherian local ring $(R, \mathfrak{m})$ (often assumed a complete intersection), vanishing of cohomology with support in a closed subset in low degrees. The key theorem asserts that for a commutative, finite, flat $R$-group scheme $G$,

$$H^i_{\mathfrak m}(R, G) = 0 \quad \text{for all } i < \dim R.$$

This result, proven in the mixed-characteristic and non-noetherian setting for flat finite-type schemes over valuation rings with local complete intersection fibers, generalizes prior results of Česnavičius–Scholze to higher rank and non-noetherian valuation rings, providing strictly stronger vanishing ranges—especially in increased rank contexts—compared to Bhatt–Lurie and Madapusi–Mondal (Kundu, 3 May 2026).

Corollaries and Applications:

• Vanishing and injectivity: For a closed subscheme $Z\subset X$ inside a scheme $X\to\Spec V$, $H^q_{Z}(X,G)=0$ for $q<r$ (where $r$ is dictated by codimension bounds), and the restriction map $H^q(X,G)\to H^q(X\setminus Z,G)$ is an isomorphism for $R$0, injective for $R$1.
• Picard and Brauer group purity: Under suitable codimension hypotheses, one deduces that torsion in $R$2 and $R$3 is unaffected by removal of $R$4 when $R$5 and $R$6 respectively.
• Technical advances: Methods leverage perfectoid and prismatic Dieudonné theory, $R$7-complete arc-descent, and excision/continuity properties, establishing new connections among excision, fpqc-hyperdescent, and adic continuity (Cesnavicius et al., 2019).

2. Local Purity in Sheaf Theory and Module Categories

In sheaf-theoretic and module-theoretic contexts, local purity distinguishes between categorical and geometric (stalkwise) notions:

• Categorical (fp-purity): An exact sequence in $R$8 is categorically pure if it remains exact under $R$9 from every finitely presented quasi-coherent sheaf.
• Geometric purity: An exact sequence is geometrically pure (“stalkwise pure”) if, at every point $G$0, the fiber sequence of modules over $G$1 is pure.

Local absolute purity further requires that a quasi-coherent sheaf $G$2 be absolutely pure (FP-injective) on all affine open subsets. On locally coherent schemes, categorical, geometric, and local absolute purity coincide (Enochs et al., 2013).

Structural Results:

• Existence of pure-injective envelopes (both fp-pure and geometric) for arbitrary schemes.
• Characterization of locally noetherian closed subschemes of $G$3 via the property that every locally absolutely pure quasi-coherent sheaf is locally injective.
• The class of locally absolutely pure quasi-coherent sheaves is covering in $G$4 for any locally coherent $G$5.

3. Local Purity in Frobenius Theory and $G$6-Purity

In commutative algebra, local $G$7-purity is tied to the properties of the Frobenius endomorphism. A Noetherian local ring $G$8 of characteristic $G$9 is $$H^i_{\mathfrak m}(R, G) = 0 \quad \text{for all } i < \dim R.$$0-pure if the Frobenius map is pure as an $$H^i_{\mathfrak m}(R, G) = 0 \quad \text{for all } i < \dim R.$$1-module map. This ensures injectivity on all local cohomology modules, a property termed $$H^i_{\mathfrak m}(R, G) = 0 \quad \text{for all } i < \dim R.$$2-injectivity.

Key structural results include:

• Canonical ideal condition: If $$H^i_{\mathfrak m}(R, G) = 0 \quad \text{for all } i < \dim R.$$3 is equidimensional $$H^i_{\mathfrak m}(R, G) = 0 \quad \text{for all } i < \dim R.$$4 and admits a canonical ideal $$H^i_{\mathfrak m}(R, G) = 0 \quad \text{for all } i < \dim R.$$5 such that $$H^i_{\mathfrak m}(R, G) = 0 \quad \text{for all } i < \dim R.$$6 is $$H^i_{\mathfrak m}(R, G) = 0 \quad \text{for all } i < \dim R.$$7-pure, then $$H^i_{\mathfrak m}(R, G) = 0 \quad \text{for all } i < \dim R.$$8 itself is $$H^i_{\mathfrak m}(R, G) = 0 \quad \text{for all } i < \dim R.$$9-pure (Ma, 2012). This criterion leverages local duality and anti-nilpotence.
• Purity exponents: Given $Z\subset X$0, the purity exponent $Z\subset X$1 is the minimal $Z\subset X$2 such that the map $Z\subset X$3, $Z\subset X$4, is pure. This function is upper semicontinuous on $Z\subset X$5 in $Z\subset X$6 homomorphic images of excellent Cohen–Macaulay rings, ensuring openness of loci of $Z\subset X$7-purity and very strong $Z\subset X$8-regularity (Hochster et al., 4 Mar 2025).

4. Local Purity in Quantum Information and Many-Body Physics

Local purity in quantum systems quantifies how much “pure state” resource can be distilled in a subsystem, directly reflecting entropy and resource-theoretic constraints. The paradigmatic setting is a bipartite system $Z\subset X$9 in state $X\to\Spec V$0, where the local purity of $X\to\Spec V$1 is $X\to\Spec V$2.

Statistical and Operational Aspects

• The distribution and moments of local purity in large quantum systems can be analyzed via random matrix theory and partition function methods; in the large-dimension limit, the purity concentrates at a value $X\to\Spec V$3 for global purity $X\to\Spec V$4 and total Hilbert space dimension $X\to\Spec V$5 (Pasquale et al., 2011).
• Resource-theoretic distillation: Local purity distillation is formulated as extracting as many pure qubits as possible by allowed local noisy operations, possibly with classical communication and catalytic ancilla. One-shot and asymptotic rates are characterized in terms of smooth max- and hypothesis-testing entropies and mutual informations—a single-party protocol achieves a rate $X\to\Spec V$6, matching von Neumann entropy corrections in the i.i.d. limit (Chakraborty et al., 2024, Chakraborty et al., 2022).
• Distributed (multi-party) purity distillation: Multi-party protocols quantify the tradeoff between purity extracted and required communication; achievable rate regions are given in terms of quantum mutual informations, and resource accounting includes catalysts and dephasing channel costs (Atif et al., 2022).

Purity–Entanglement Complementarity

There is a tight operational duality between local purity (as achievable via Gibbs-preserving LOCC channels) and multipartite entanglement. In particular, for a tripartite pure state $X\to\Spec V$7,

$X\to\Spec V$8

where $X\to\Spec V$9 is the optimal fidelity of cooling $H^q_{Z}(X,G)=0$0 via one-way classical communication and $H^q_{Z}(X,G)=0$1 is the geometric entanglement (Ganardi et al., 2023). Protocols for optimal cooling are characterized by SDPs and serve for entanglement detection, even for bound entangled states.

Localized Virtual Purification

Standard purification-based measurement protocols (such as virtual cooling) require nonlocal operations with exponential cost in system size. Localized Virtual Purification (LVP) restricts purification to a buffer region around the observable of interest, achieving exponentially small bias in the observable expectation with exponential reduction in measurement cost—proven under locality and correlation decay assumptions. This technique greatly enhances practicality for near-term quantum simulation devices (Hakoshima et al., 2023).

5. Local Purity in Representation Theory and Galois Deformation Theory

In $H^q_{Z}(X,G)=0$2-adic and automorphic representation theory, local purity dictates rigidity of local Galois-data in $H^q_{Z}(X,G)=0$3-adic families:

• For big Galois representations (and pseudorepresentations) over a domain $H^q_{Z}(X,G)=0$4, a specialization is called pure if the associated Weil–Deligne parameter is pure of some weight.
• Rigidity theorem: Once a pure specialization exists, ranks of monodromy powers, Euler polynomials, Jordan block sizes, and local automorphic types remain constant along the irreducible branch. Local automorphic types and root numbers are invariant under (pure) specialization (Saha, 2014).
• Applications: Purity ensures the constancy of local types in Hida families and eigenvarieties, and enables exact interpolation of local Langlands correspondences in families.

6. Purity and Semistability in Prismatic Cohomology

Prismatic and log-prismatic frameworks provide new perspectives on local purity for $H^q_{Z}(X,G)=0$5-adic cohomology theories:

• For semistable formal schemes over mixed-characteristic DVRs, the prismatic purity theorem characterizes when Laurent $H^q_{Z}(X,G)=0$6-crystals (prismatic analogues of étale local systems) extend across divisors. The extension holds if and only if it locally extends at the codimension-one generic points (Shilov boundary), thus purity is controlled “fiberwise” at these loci (Du et al., 2024).
• As a corollary, semistability of étale local systems can be completely checked by restriction to these generic points, reflecting a codimension-one purity principle also known from other cohomological contexts.

7. Outlook and Interconnected Themes

Local purity, as developed across these diverse contexts, centers on the insensitivity of invariants, extensions, or resources to “small” modifications—typically removal of subschemes of suitably high codimension or restriction to large open sets. The development of quantitative, operational, and categorical criteria forms the backbone for both theoretical advances and computational protocols, with wide-ranging applications in geometry, representation theory, algebraic stacks, and quantum technologies. Ongoing challenges include further generalizations to non-syntomic or singular settings, sharpening of sharp vanishing ranges in the presence of non-noetherian or infinite rank phenomena, and exploitation of locality properties for scalability in quantum computation and simulation.