Corpus definition canonical 2026-05-27T20:53:50+00:00
Corpus v3 · Definition cid001314DEF0188canonicalv1

τ-Curvature

Curvature R(v,w)(x) = Γ(Γ(x,v),w) - Γ(Γ(x,w),v) measures parallel transport non-commutativity. For the flat connection on Z/M_k Z, R = 0.

Payload

τ-Curvature

Curvature R(v,w)(x) = Γ(Γ(x,v),w) - Γ(Γ(x,w),v) measures parallel transport non-commutativity. For the flat connection on Z/M_k Z, R = 0.

τ-Curvature

Summary

Curvature R(v,w)(x) = Γ(Γ(x,v),w) - Γ(Γ(x,w),v) measures parallel transport non-commutativity. For the flat connection on Z/M_k Z, R = 0.

Statement

%
\label{def:mode-b-catalog}
%   II.T06, II.T07, II.D09, II.D12, II.D13, II.D14,
%   II.D22, II.D35, II.D36
The following constructions in Books~I--II
are \textbf{Mode~B} (Parallel):

\medskip
\renewcommand{\arraystretch}{1.35}
\begin{center}
\begin{tabular}{@{}p{0.2\linewidth}@{\;\;}p{0.2\linewidth}@{\;\;}p{0.2\linewidth}@{\;\;}p{0.2\linewidth}@{}}
\toprule
\textbf{Construction} & \textbf{$\tau$ version} & \textbf{Orthodox version}
  & \textbf{Key difference} \\
\midrule
Holomorphic functions
  & $\tau$-holomorphic on $H_\tau$, $\jj^2 = +1$
  & Classical holomorphic on $\mathbb{C}$, $i^2 = -1$
  & Sign: wave vs.\ Laplace \\
Constructive reals
  & $R_\tau$ (I.D84), ultrametric
  & $\mathbb{R}$ (Dedekind/Cauchy), Archimedean
  & Metric: $2^{-\delta}$ vs.\ $|x-y|$ \\
Set membership
  & Divisibility (I.D31)
  & $\in$ (ZFC)
  & $a \mid b$ vs.\ $a \in b$ \\
Topology
  & Stone space (II.D14), clopen
  & Manifold, connected, Hausdorff
  & Totally disconnected \\
BndLift
  & CRT propagation (II.D36)
  & Cauchy integral
  & Finite vs.\ contour \\
Laurent expansion
  & CRT coefficients (II.D35)
  & Cauchy coefficients
  & Constructive extraction \\
de Rham complex
  & $\tau$-de Rham (Book~II Part~X)
  & Classical de Rham
  & Discrete vs.\ smooth \\
Idempotent decomp.
  & $f = e_+ g + e_- h$ (holomorphic)
  & $f = u + iv$ (harmonic)
  & Both holomorphic vs.\ only harmonic \\
Metric
  & $d = 2^{-\delta}$ ultrametric (II.D12)
  & $|x - y|$ Archimedean
  & Agreement depth vs.\ magnitude \\
Code/Decode
  & Boundary coefficients (II.T35)
  & Laurent series
  & Without integration \\
\bottomrule
\end{tabular}
\end{center}

\medskip
\noindent
For each entry, the \emph{same axioms} column
is the set of defining properties that both versions satisfy.
The \emph{key difference} column identifies
the carrier-level divergence.

Proof / Justification

This item is definitional. No manuscript proof is required.

Source Context

  • Registry source: book-02.jsonl line 199
  • Manuscript source: 2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part11/ch62-survives-the-fork.tex lines 161-227

Lean / Formalization Notes

  • Formalization: formalized
  • Module: TauLib.BookII.Closure.Curvature
  • Name: curvature_check

Dependencies

  • Canonical: II.D78, II.D79

Generated by later projection phases.

Generated by later projection phases.

Revision Notes

  • 2026-04-24: Initial pilot migration.

Identifiers

  • Corpus ID cid001314
  • Primary alias DEF0188
  • Type Definition
  • Status canonical
  • Visibility public
  • Version v1

Aliases & legacy IDs

II.D80curvaturedef:tau-curvature

Release lines

corpus_v3_workingcorpus_v2

Relations

Appears in (1)

Sources

  • Monograph cid000001Book II, Part 10, Chapter 55 (Wave M4)

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