Introduction to Quantum Entanglement Geometry

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.

💡 Research Summary

The paper develops a geometric framework for quantum entanglement in families of finite‑dimensional many‑body systems that depend on classical parameters. Instead of assuming a single global Hilbert space, the authors allow the local Hilbert spaces Hₓ over a parameter space X to be only locally isomorphic to a fixed vector space; the transition functions may involve non‑trivial projective linear transformations. This “twisting” is captured by an Azumaya algebra A over X, and the collection of pure states forms a Severi–Brauer scheme SB(A) → X, a projective bundle that may be non‑trivial even when each fibre is a projective space.

A central question is when a subsystem decomposition Hₓ ≅ ℂ^{d₁} ⊗ … ⊗ ℂ^{d_r} can be defined globally and compatibly across X. The set of product states is the image of the Segre embedding Σ_d ⊂ P(Hₓ). The stabilizer group G_d ⊂ PGL_n (the subgroup preserving Σ_d) governs the possibility of a global decomposition: a reduction of the structure group from PGL_n to G_d is equivalent to the existence of a globally defined subsystem structure. Such a reduction exists precisely when the transition functions take values in G_d; otherwise the obstruction is measured by the Brauer class