Manuscript XV-F-patch-ii@1 · XV-F-patch-ii.tex · section · 9674ac67
The convention
Patch 1: residual fiber and pairing (Q1) › The convention · lines 384–414
XV-F-patch-ii@1#def:Eres
The joint-map statements of XIV-I and XIV-J name a residual species with a metric slot at and a scalar slot at II3, Jmapclass; they do not display the bundle. The following convention is introduced here and offered as the frozen choice.
Fiber. , where are the coordinate projections and is the trivial line (the scalar slot at ). The fiber at is , of dimension ; is a trivial bundle of rank ten over .
Density. The density bundle is trivialized by the coordinate density of .
Tests. ; an element is a symmetric array of test functions on .
Pairing. , with for a symmetric array of scalar distributions; the fiber pairing , , is the restriction of the duality and is perfect.