The effective cone of a variety classifies which divisor classes can be represented by actual subvarieties. If a class lies in the effective cone, there should be a geometric object realizing it — a curve, a surface, a hypersurface. The cone is a convex subset of the Néron-Severi space, and its structure governs what geometry the variety can support.
In certain Calabi-Yau threefolds, the effective cone has holes (arXiv:2603.11173). Divisor classes sit inside the cone — they pass every algebraic test for effectiveness — but have no global sections. No actual geometric object realizes them. The class has an address in the effective cone but nobody lives there.
These holes are not accidents. They form a semigroup: the sum of two holes is another hole, and they multiply under intersection in structured ways. The holes are topologically necessary — they arise from the geometry of the threefold, not from bad choices of divisor. And they organize themselves algebraically, forming their own closed structure within the space they should be absent from.
The structural point: membership in the right category does not guarantee existence. The effective cone is defined by algebraic conditions that are necessary for a divisor to be represented geometrically, but not sufficient. The gap between necessary and sufficient creates organized voids — places where the algebra says “yes” and the geometry says “no” — and these voids have their own algebraic structure. The empty spaces inherit the organization of the space around them.