Corpus v3 · Proof cid006106PRF0003activev1

Proof Sketch of Global Hartogs

Sketch-mode proof of the Global Hartogs theorem (THM0007). Outline of the argument; intended for orientation rather than complete verification. Companion to the imported v2 theorem.

Payload

Sketch-mode proof of Global Hartogs (THM0007). This is an outline, not a complete proof. The full chart-glue argument is in the v2 manuscript source. Inspection route: DEF0001 → LEM0001 → THM0001 → THM0007.

Proof

mode: sketchstatus: sketchformality: informalversion-pinning: unpinned

Proof steps

Setup.
Set up the τ-holomorphy hypothesis on the open subdomain and the boundary-coherence condition (cf. THM0001 for the calibration anchor).

Uses:prrp://thm0001@v1 (uses theorem)
Apply local Hartogs at each chart.
Apply local Hartogs (DEF0001 boundary anchor + lobe-swap invariance LEM0001) at each compatible chart and glue.

Uses:prrp://lem0001@v1 (uses lemma)
Global glue + conclusion (sketch).
Global gluing via the chart compatibility argument yields the global statement. Full glue argument is omitted — see the v2 source manuscript (Book II Chapter referenced in II.T13 for the complete proof.

Identifiers

Corpus ID cid006106
Primary alias PRF0003
Type Proof
Status active
Visibility public
Version v1

Aliases & legacy IDs

proof-sketch-global-hartogs

Release lines

corpus_v3_working

Relations

Upstream dependencies (3)

cid000007cid000008cid000010

Version & History

v1 · 2026-05-10 initial corpus item seed

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