Quantum entanglement is a basic resource of quantum theory, but its usual definition assumes a fixed decomposition into subsystems. We develop an algebro--geometric framework to address quantum entanglement. For the Severi--Brauer scheme
SB(A)→X of an Azumaya algebra and a factorization type
d, we prove that a global locus of product states exists exactly when the associated torsor under
PGLn reduces to the stabilizer
Gd of the Segre variety. Thus entanglement in families is measured by a geometric obstruction to global subsystem structure.
Beyond this reduction criterion, we identify the cohomology that carries computable entangling obstructions. After determinant and incidence data
L⊂R⊂K are chosen, the relevant classes lie in the mapping cone relative cohomology
E∙(BL→BR). Their absolute images on
X, modulo classes induced from
BK, give determinant entangling obstructions beyond the Brauer class. We construct the moduli of subsystem structures as the quotient
P/Gd and realize it as a locally closed locus in the relative Hilbert scheme, with a compactification by degenerations of product state loci. In the bipartite case, a chosen subsystem structure globalizes the Schmidt rank stratification to a flat filtration with base change compatible resolutions and fiberwise constant numerical invariants. Examples show that reducibility can depend on the underlying torsor, not only on the Brauer class, with an interpretation by entangling monodromy.
This article is an expository account aimed at viewing entanglement in finite-dimensional quantum many-body systems as a phenomenon of global geometry. While the mathematics of general quantum states has been studied extensively, this article focuses specifically on their entanglement. When a quantum system varies over a classical parameter space, each fiber may look like the same Hilbert space, yet there may be no global identification because of twisting in the gluing data. Describing this situation by an Azumaya algebra, one always obtains the family of pure-state spaces as a Severi-Brauer scheme.
The main focus is to characterize the condition under which the subsystem decomposition required to define entanglement exists globally and compatibly, by a reduction to the stabilizer subgroup of the Segre variety, and to explain that the obstruction appears in the Brauer class. As a consequence, quantum states yield a natural filtration dictated by entanglement on the Severi-Brauer scheme.
Using a spin system on a torus as an example, we show concretely that the holonomy of the gluing can produce an entangling quantum gate, and can appear as an obstruction class distinct from the usual Berry numbers or Chern numbers. For instance, even for quantum systems that have traditionally been regarded as having no topological band structure, the entanglement of their eigenstates can be related to global geometric universal quantities, reflecting the background geometry.
In a previous paper with Adam Brandenburger, we used sheaf theory to analyze the structure of non-locality and contextuality. Moreover, on the basis of this formulation, we showed that the phenomena of non-locality and contextuality can be characterized precisely in terms of obstructions to the existence of global sections. Our aim in the present work is to build on these results, and to use the powerful tools of sheaf cohomology to study the structure of non-locality and contextuality. We use the Cech cohomology on an abelian presheaf derived from the support of a probabilistic model, viewed as a compatible family of distributions, in order to define a cohomological obstruction for the family as a certain cohomology class. This class vanishes if the family has a global section. Thus the non-vanishing of the obstruction provides a sufficient (but not necessary) condition for the model to be contextual. We show that for a number of salient examples, including PR boxes, GHZ states, the Peres-Mermin magic square, and the 18-vector configuration due to Cabello et al. giving a proof of the Kochen-Specker theorem in four dimensions, the obstruction does not vanish, thus yielding cohomological witnesses for contextuality.
Entanglement cohomology assigns a graded cohomology ring to a multipartite pure state, providing homological invariants that are stable under local unitaries and characterize inequivalent patterns of entanglement. In this work we derive exact expressions for the dimensions of these cohomology groups in two canonical entanglement classes, generalized GHZ and W states on an arbitrary number of parties and local Hilbert space dimensions, thus proving conjectures of arXiv:1901.02011. Using the additional structure of the Hodge star and wedge product operations, we propose two new classes of local unitary invariants: the spectrum of the natural Laplacian acting on entanglement
k-forms, and the intersection numbers obtained from wedge products of representatives for cohomology classes. We present numerical experiments which investigate these invariants in particular states, suggesting that they may provide useful quantities for describing multipartite entanglement.
Quantum entanglement is a fundamental resource in quantum information theory, yet its general characterization and quantification remain challenging, especially in multipartite systems. In this work we investigate entanglement from a geometric perspective, focusing on the Riemannian structure induced by the Fubini--Study metric on the projective Hilbert space of multi-qubit quantum states. By exploiting the local-unitary invariance of this metric, we derive the entanglement distance (ED), a geometric measure that quantifies entanglement as an obstruction to locally minimizing the sum of squared Fubini--Study distances generated by local operations.
We analyze the properties of ED for pure multi-qubit states and discuss its behavior under local operations and classical communication. In particular, we show that ED reproduces established entanglement measures in well-defined and restricted settings. For pure states of two qubits, ED reduces to an exact monotone function of the concurrence and, independently, to an explicit monotone function of the entropy of entanglement. These results provide a clear geometric interpretation of standard bipartite entanglement measures within the present framework, while highlighting the limitations of such correspondences beyond the two-qubit case.
Quantum measurement is commonly posed as a dynamical tension between linear Schrödinger evolution and an ad hoc collapse rule. I argue that the deeper conflict is logical: quantum theory is inherently contextual, whereas the classical tradition presupposes a single global, Boolean valuation. Building on Bohr's complementarity, the Einstein--Podolsky--Rosen argument and Bell's theorem, I recast locality and completeness as the existence of a global section of a presheaf of value assignments over the category of measurement contexts. The absence of global sections expresses the impossibility of context-independent description, and Čech cohomology measures the resulting obstruction. The internal logic of the presheaf topos is intuitionistic, and the seven-valued contextual logic proposed by Ghose and Patra is exhibited as a finite Heyting algebra capturing patterns of truth, falsity and indeterminacy across incompatible contexts. Classical physics corresponds to the sheaf case, where compatible local data glue and Boolean logic is effectively restored. Measurement is therefore reinterpreted as sheafification of presheaf-valued truth rather than as a physical breakdown of unitarity. Finally, a
σ--
λ dynamics motivated by stochastic mechanics provides a continuous interpolation between strongly contextual and approximately classical regimes, dissolving the usual measurement paradoxes and apparent nonlocality as artefacts of an illegitimate demand for global truth.