Corpus corollary canonical 2026-05-27T20:53:50+00:00
Corpus v3 · Corollary cid001232COR0005canonicalv1

Holographic Principle

The Central Theorem is an exact holographic correspondence: the 1-dimensional boundary data (characters on L) completely encodes the 3-dimensional interior data (holomorphic functions on tau^3). A proved theorem, not a conjecture.

Payload

Holographic Principle

The Central Theorem is an exact holographic correspondence: the 1-dimensional boundary data (characters on L) completely encodes the 3-dimensional interior data (holomorphic functions on tau^3). A proved theorem, not a conjecture.

Holographic Principle

Summary

The Central Theorem is an exact holographic correspondence: the 1-dimensional boundary data (characters on L) completely encodes the 3-dimensional interior data (holomorphic functions on tau^3). A proved theorem, not a conjecture.

Statement

%
\label{cor:holographic}
The Central Theorem is an \textbf{exact holographic correspondence}:
the $1$-dimensional boundary data
(characters on the algebraic lemniscate $\mathbb{L}$)
completely encodes the $3$-dimensional interior data
(holomorphic functions on the fibered product $\tau^3$):
\[
    \dim(\mathbb{L}) = 1
    \qquad\Longleftrightarrow\qquad
    \dim(\tau^3) = 3.
\]
The information on the boundary \emph{is}
the information in the interior.
Nothing is lost in the passage from interior to boundary.
Nothing is added in the passage from boundary to interior.
The two descriptions are the \emph{same thing},
viewed from different vantage points.

Explicitly:
\begin{enumerate}
    \item[\textup{(i)}]
          Every holomorphic function on~$\tau^3$
          is uniquely determined by its boundary restriction
          to~$\mathbb{L}$.
    \item[\textup{(ii)}]
          Every idempotent-supported character on~$\mathbb{L}$
          extends uniquely to a holomorphic function on~$\tau^3$.
    \item[\textup{(iii)}]
          The passage from boundary to interior
          and from interior to boundary
          are inverse operations.
    \item[\textup{(iv)}]
          The passage preserves all algebraic structure
          (ring operations, bipolar decomposition,
          tower grading, $\iota_\tau$-calibration).
\end{enumerate}

Proof / Justification

This is a direct restatement
of Theorem~\ref{thm:central-theorem}
in the language of information content.
Statements~(i) and~(ii) are the two directions
of the isomorphism;
statement~(iii) is the mutual inverse property;
statement~(iv) is the structure preservation.

Source Context

  • Registry source: book-02.jsonl line 149
  • Manuscript source: 2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part09/ch51-central-theorem.tex lines 794-832

Lean / Formalization Notes

  • Formalization: formalized
  • Module: TauLib.BookII.CentralTheorem.CentralTheorem
  • Name: Tau.BookII.CentralTheorem.holographic_check

Dependencies

  • Canonical: II.T40, I.D18, II.D60

Generated by later projection phases.

Generated by later projection phases.

Revision Notes

  • 2026-04-24: Initial pilot migration.

Identifiers

  • Corpus ID cid001232
  • Primary alias COR0005
  • Type Corollary
  • Status canonical
  • Visibility public
  • Version v1

Aliases & legacy IDs

II.C01holographic-principlecor:holographic

Release lines

corpus_v3_workingcorpus_v2

Relations

Formalized by (2)

Appears in (1)

Downstream uses (computed) (4)

Items in the corpus that reference this one via load-bearing relations. Computed from the full corpus-v3 graph at build time.

Sources

  • Monograph cid000001Book II, Part 9, Chapter 51 (Part VII)

Version & History

  • v1 · 2026-05-10 imported from v2 registry
  • v1 · 2026-05-10 wired formalized by in wave 5

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