Manuscript XIV-I@1 · XIV-I.tex · section · 29df501d
Both internal placements of K 5
I0: copied inputs and the exact predecessor stop › Both internal placements of K 5 · lines 611–713
XIV-I@1#input:EC, XIV-I@1#sec:I1, XIV-I@1#eq:target, XIV-I@1#def:class
The inverse, slots, and roots retain their normalization:
The full observable contains the scalar-sourced slot once XIIE.
The actual source is
in component notation, with the fixed unintegrated cubic representative of XII-C. No source coefficient is deleted XIIC.
-A is only an exit prerequisite
XV-A states a free-carrier release and a generator-preserving embedding obstruction for the relative classical complex XVA. Neither is used to prove an amplitude estimate or define a cross-line product here. Their stated free-carrier conclusion is recorded only when discussing the exit to XV-B.
XIV-A and XIV-B are not analytic inputs. The value is not a normalization. XIII-E and a resolved paired construction remain unentered.
1: the frozen route and the amplitude class
Use
All inherited functions and the width remain fixed. The pair is
and
The target remains
The difference stays grouped. No mixed – product is declared.
The selected class consists of internal representations on the relations already named in XIV-H, with both placements and retained. It permits:
partial Fourier transforms of the already defined internal kernels;
explicitly defined distribution-valued normal amplitudes, with a proved reconstruction map, uniform estimates, and a stated remainder;
regular conormal charts and named pullbacks or operator maps whose hypotheses are checked.
It does not require the union of the internal diagonal and flow-out pieces to be one ordinary Lagrangian.
Displayed formulas in this passage
XIV-I@1#eq:target · line 684
unlabeled · line 616
unlabeled · line 621
unlabeled · line 631
unlabeled · line 660
unlabeled · line 667
unlabeled · line 673
unlabeled · line 679
Nearby in this section
- section: Both internal placements of K 5
- section: Both internal placements of K 5
- section: Both internal placements of K 5
- section: Both internal placements of K 5
- section: Both internal placements of K 5
- section: Both internal placements of K 5
- section: Both internal placements of K 5
- section: Both internal placements of K 5