Corpus proposition canonical 2026-05-27T20:53:50+00:00
Corpus v3 · Proposition cid001343PRP0048canonicalv1

Sector Inheritance

Every tau-admissible point inherits a bipolar sector assignment from the boundary structure via fiber coordinates, compatible with the idempotent decomposition of H_tau.

Payload

Sector Inheritance

Every tau-admissible point inherits a bipolar sector assignment from the boundary structure via fiber coordinates, compatible with the idempotent decomposition of H_tau.

Sector Inheritance

Summary

Every tau-admissible point inherits a bipolar sector assignment from the boundary structure via fiber coordinates, compatible with the idempotent decomposition of H_tau.

Statement

%
\label{prop:sector-inheritance}
Every $\tau$-admissible point $(D, A, B, C) \in \tau^3$
inherits a bipolar sector assignment
from the boundary structure:
\begin{enumerate}
    \item At each finite stage of the primorial ladder,
          the sector assignment is determined by the
          fiber coordinates $(B, C)$ via the
          interior bipolar decomposition
          (Definition~\ref{def:interior-bipolar}).
    \item The sector assignment is compatible with
          the idempotent decomposition of $H_\tau$:
          $\Psi_{\mathrm{int}} = e_+ \cdot s_+ + e_- \cdot s_-$
          with $e_+ \cdot s_- = 0$ and $e_- \cdot s_+ = 0$.
    \item At the $\omega$-limit,
          the sector assignment recovers
          the polarity character
          $\tilde{\chi} \colon \mathbb{P}_\tau \to \{e_+, e_-\}$
          of the prime polarity theorem.
\end{enumerate}

Proof / Justification

Part~(1) is by construction:
Definition~\ref{def:interior-bipolar} assigns
sector components via the fiber coordinates.
Part~(2) follows from the idempotent properties
$e_+^2 = e_+$, $e_-^2 = e_-$, $e_+ \cdot e_- = 0$:
projecting $\Psi_{\mathrm{int}}$ by $e_+$
gives $e_+ \cdot \Psi_{\mathrm{int}}
= e_+^2 \cdot \Psi(B, A, D)
= e_+ \cdot \Psi(B, A, D) = s_+$,
and similarly $e_- \cdot \Psi_{\mathrm{int}} = s_-$.
Part~(3): at the $\omega$-limit,
the fiber coordinates stabilize
by the tail-stability of the polarity map
(Book~I, Part~VI).
The B-dominant primes have $B \gg C$ asymptotically,
mapping to $e_+$;
the C-dominant primes have $C \gg B$ asymptotically,
mapping to $e_-$.
This recovers the polarity character $\tilde{\chi}$.

Source Context

  • Registry source: book-02.jsonl line 16
  • Manuscript source: 2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part01/ch07-bipolar-interior.tex lines 277-299

Lean / Formalization Notes

  • Formalization: formalized
  • Module: TauLib.BookII.Interior.BipolarDecomposition
  • Name: Tau.BookII.Interior.sector_complete

Dependencies

  • Canonical: II.D08, I.D21

Generated by later projection phases.

Generated by later projection phases.

Revision Notes

  • 2026-04-24: Initial pilot migration.

Identifiers

  • Corpus ID cid001343
  • Primary alias PRP0048
  • Type Proposition
  • Status canonical
  • Visibility public
  • Version v1

Aliases & legacy IDs

II.P02sector-inheritanceprop:sector-inheritance

Release lines

corpus_v3_workingcorpus_v2

Relations

Appears in (1)

Sources

  • Monograph cid000001Book II, Part 1, Chapter 7 (Part I)

Version & History

  • v1 · 2026-05-10 imported from v2 registry

Status disclaimer

A Corpus Item page reports the program's current internal record for this item. It does not imply external verification, scientific consensus, or final proof unless explicitly stated. Read it together with its dependencies, formalization status, and the program's overall stance.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert