What Is a Hole? The Structural Primitive of Integer Invariants

Papers 1–6 of this series demonstrated that integer invariants arise wherever transport around a topological obstruction must return to an equivalent value after projection. In these preceding papers, the obstruction—the hole that forces integers—was described provisionally as Ω′ = Ω \ K: space minus obstacle. This paper replaces that intuitive aid with a formal definition of what a hole actually is. We show that (i) the minimal structure admitting a hole is an irreducibly tripartite relation—the short exact sequence—whose three terms are co-constitutive, (ii) the fiber topology of the covering is the discriminant that determines whether the invariant is discrete or continuous, and (iii) factorization of the kernel is the central structural question: factorized kernels produce independent integer families; non-factorizable kernels produce diagonal constraints that couple holonomies and fix their ratios. The mimic phenomenon of Paper 4 is identified as the finite model of this dichotomy: the factorized kernel is the candidate, the cyclotomic identity is the test, and the diagonal is the verdict. A hole is the non-trivial element in the kernel of a covering-space projection that prevents the structure from splitting.

V2: Categorical precision pass. Clarified hole/holonomy distinction (§2). Specified group extension splitting throughout (abstract, §3, Definition 2) to resolve covering-space vs. group-extension category ambiguity. Added principal U(1) hypothesis to Chern integrality statement; corrected integral symbol. Qualified prime-covering characterization to regular cyclic case. Sharpened detection condition in Proposition 3. Minor terminological fix in Definition 2.