Manuscript X-B-ST@1 · X-B-ST.tex · definition · d03c150c

Definition: Split type

Two distinct admission statements › Split-type kernels on the completion · lines 705–716

X-B-ST@1#def:split, X-B-ST@1#eq:split

A distribution $u$ on $M^{n}$ is of split type if

(x_{1}, p_{1}; \dots; x_{n}, p_{n}) \in WF (u) ⟹ p_{1} + \dots + p_{n} = 0.

The sum uses the fixed affine cotangent identification on $M$ .

Displayed formulas in this passage

X-B-ST@1#eq:split · line 709
$(x_{1}, p_{1}; \dots; x_{n}, p_{n}) \in WF (u) ⟹ p_{1} + \dots + p_{n} = 0.$