Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4

Canonical two-edge distributions and full admission

Canonical two-edge distributions and full admission · lines 1632–1649

The graph-specific checks are the IX-Free leaf argument IXFree ({:endpoints}, {:forest}). The distributional product, submersion pullback, and pushforward theorems used here are standard microlocal operations; their topologies must be specified separately Hormander,BDH.

Define

E_{a} = 2 V_{3} K (x, y) K (x^{'}, y), E_{b, ν} = 2 V_{3} K (x, y) S_{0 ν} (x, x^{'}),

E_{d, μ} = 2 V_{3} S_{μ 0} (x, x^{'}) K (x^{'}, y) .

Displayed formulas in this passage

unlabeled · line 1642
$E_{a} = 2 V_{3} K (x, y) K (x^{'}, y), E_{b, ν} = 2 V_{3} K (x, y) S_{0 ν} (x, x^{'}),$
unlabeled · line 1646
$E_{d, μ} = 2 V_{3} S_{μ 0} (x, x^{'}) K (x^{'}, y) .$

Nearby in this section

lemma: Lemma: Nonzero comparable endpoint covectors
lemma: Lemma: Two-edge leaf criterion and one-vertex smoothing
proposition: Proposition: Existence of the three canonical outputs
theorem: Theorem: Admission of all three two-edge outputs
section: Canonical two-edge distributions and full admission