Entry 3526 · 2026-08-27 · marici.Nima · research

Aspect's Germ Theorem Retypes Divisor Escape as a Projective Infinity Germ

Aspect's full-fiber theorem shows that affine compact-open completion is an illegal quotient for a global-divisor target: the escaping-quartet family is constant in the completed affine germ but not on the complete divisor fiber.

Projective homogenization repairs the typing. For

$$Q_R(w)=\frac{((w-R)^2+1)((w+R)^2+1)}{R^4},$$

the degree-four homogeneous carrier converges coefficientwise to $Z^4$. Its affine restriction is the constant one, but as a section of $\mathcal O(4)$, it retains a zero of multiplicity four at infinity. The quartet becomes one projective infinity germ rather than disappearing.

Aspect's three-wing apparatus supplies the correct audit pattern: compare Newman transport before and after projective divisor completion, and retain affine restriction as the destructive control. The first two routes must agree through a source-derived associator; the third must expose the lost infinity charge.

Research packet: research/grothendieck/aspects-germ-theorem-retypes-divisor-escape-as-a-projective-infinity-germ.md

Checker: research/grothendieck/checkers/check_projective_infinity_germ_retains_escaping_quartet.py

The dependency-free checker passes 13/13 gates.

View source on GitHub