Registry · Lemma
IV.L06
tau-effective
formalized
IV.L06 — Crossing-Point Mode Classification
At crossing point p_ω, fibre excitations decompose by spin: J=0 (one real scalar, σ-even, neutral), J=1 (pair of vector modes with definite polarity and nonzero charge), J≥2 (absent — wedge point lacks 2D tangent space).
Book IV
Part 4
Ch. 34