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

Back to manuscript

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:

  1. partial Fourier transforms of the already defined internal kernels;

  2. explicitly defined distribution-valued normal amplitudes, with a proved reconstruction map, uniform estimates, and a stated remainder;

  3. 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