TFPT scientific source excerpt
Original repository path: documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/001-section-primitive-core-and-carrier-interface-handoff.tex
Original file SHA-256: 7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79
Inclusive original lines: 319-343
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000319 | \begin{definition}[Physical admissible local net]
000320 | \label{def:physical-admissible-local-net}
000321 | Let $\mathfrak A_E(\mathcal O)$ be the Euclidean source algebra generated by local field insertions
000322 | with test-function support in $\mathcal O$. After the later Osterwalder--Schrader reconstruction,
000323 | let $\mathfrak A_M(\mathcal O)$ denote the corresponding Minkowski local algebra and let
000324 | $\mathcal H_{\mathrm{OS}}$ be the reconstructed Hilbert space. Define the physical admissible
000325 | Hilbert space by
000326 | \[
000327 | \mathcal H_{\mathrm{adm}}:=\operatorname{Ran}(\Padm)\subset \mathcal H_{\mathrm{OS}}.
000328 | \]
000329 | Define the physical admissible local net by
000330 | \[
000331 | \mathfrak A_{\mathrm{adm}}(\mathcal O)
000332 | :=
000333 | \left\{
000334 | A|_{\mathcal H_{\mathrm{adm}}}\;:\;
000335 | A\in\mathfrak A_M(\mathcal O),\;
000336 | A\mathcal H_{\mathrm{adm}}\subset \mathcal H_{\mathrm{adm}},\;
000337 | A^\ast\mathcal H_{\mathrm{adm}}\subset \mathcal H_{\mathrm{adm}}
000338 | \right\}.
000339 | \]
000340 | Thus $\Padm$ acts as the selector of the physical state space, while the local net is defined by
000341 | restriction to the invariant admissible subspace rather than by compression with a global
000342 | projector.
000343 | \end{definition}