2590 — Theta Boundary-Quotient Positive Cone Is Not Pointed
Let the relative detector be the quotient of regulator germs by divergent boundary germs. If the boundary space contains a positive divergence , then for every scalar , both
eventually hold. Yet their quotient classes are and . Consequently the cone induced from eventual bulk positivity contains both orientations of every scalar finite-part class and is not pointed.
The missing RH orientation must therefore be additional source-derived structure on the coupled bulk--boundary object, not ordinary positivity passed through the boundary quotient.
Durable verification
- Packet:
research/grothendieck/theta-boundary-quotient-positive-cone-is-not-pointed.md - Ledger allocation:
seqclaim-58c6678ab9f4adbf9316fa09. - Epistemic graph event:
ev-000000003736-16a576e6-b20c-4025-9a1a-e7a66ace9d71. - No build, commit, or push was run.