A permutation-preserving refinement

We establish the local generation on $Q$, where the scalar norm and current are well defined. Collective annihilators and the phase argument yield covariance under the collective flow $F^{\otimes N}$. For vector fields supported in disjoint physical cells $U,V$, the mixed-conjugation calculation remains valid. One-body kinetic contributions have disjoint spatial supports and their mixed difference is zero. Differentiating the pair terms gives

The terms are unambiguously selected by $q_i\in U,q_j\in V$. Division by a nonzero mixed derivative and separated approximation, as in lemma 4.2, give

A single compact physical-space diffeomorphism can carry any ordered pair of sufficiently small disjoint balls to the given control cells in $\R^3$. Collective covariance consequently gives the same identity for every pair of disjoint cells.

For mutually disjoint cells $U_1,\ldots,U_r$, gradient products of these identities build $\prod_{\ell=1}^r n_{U_\ell}(f_\ell)$, by the same induction and local factorization as in proposition 4.4. Disjoint cells cannot contribute a cross derivative in the same particle coordinate. At the shared cell, the contraction is exactly $n_{U_\ell}(\nabla a\cdot\nabla b)$, which supplies the induction step.

For $r=N$, a nonzero term has exactly one particle in each cell. Such products are the symmetrized separated functions on a collision-free product chart. They approximate every compact smooth function on that quotient chart. A partition of unity over the support gives all compact scalar annihilators on $Q$. The gradient-bracket and circulation arguments are local in its flat charts and patch by equivariant lifts. Thus $p/r$ is constant on each connected nonzero region in the scalar case.

In the spin case, localizing a collective Zeeman derivative to one occupied cell supplies the spin matrix on that slot of the quotient chart. The scalar transports just obtained allow arbitrary compact coefficient functions on the chart. All such coefficients are chosen with support strictly inside that chart. On the ordered cover, extend a chart matrix to the disjoint permutation lifts by conjugating with the permutation action on spin factors, and set it to zero outside their union. This produces a smooth equivariant multiplier preserving the chosen symmetry sector; the scalar fermionic sign cancels in the conjugation. The Lie and Jordan argument of theorem 6.1 therefore operates within the sector and supplies every compactly supported Hermitian endomorphism in the local spin frame. The norm-tangent matrix (6.4) and weighted circulations give the same conclusion.

It remains to justify the transverse approximation class and connectedness. Smooth compact perturbations of a section, supported in a collision-free chart and spanning its fiber, extend equivariantly to its disjoint permutation lifts. They preserve the Schwartz sector. On any compact chart exhaustion, these finite-dimensional perturbations make the evaluation map transverse to the zero section. The parametric transversality theorem [7, Chapter 3] therefore gives a dense set of perturbations transverse near that compact set. Transversality on a compact set is open in the $C^1$ topology. The sector's Schwartz space is a Baire space, so intersection over the exhaustion yields a dense set of globally transverse sector states.

For complex fiber rank $s$, the zero set of a transverse section is a closed submanifold of real codimension $2s$, or is empty. The quotient $Q$ is connected, and removing such a submanifold leaves it path-connected: perturb a path with fixed endpoints transversely to the zero set; its one-dimensional image then has empty intersection with a submanifold of codimension at least two. Both this zero set and the excluded collision diagonals are Lebesgue null. Since the candidate law has a density, normalization now fixes the single constant $p/r=1/\norm{\Psi}_2^2$. Sector approximation continuity extends the result to all states.

Finally, the proof of theorem 5.1 applies to the collective multipliers. Their gradient contraction is $\Gamma(V_f,V_g)=V_{\nabla f\cdot\nabla g}$. Thus it recovers every collective compact scalar identity and all subsequent steps.