Causal propagators, time slice and algebraic locality

(Elementary timelike coordinate neighborhoods.) At $x$ choose linear coordinates about $x$ in which ${\mathrm{\partial }}_0$ is future timelike at $x$. Shrinking the coordinate box, continuity of $g$ and $N$ gives $ϵ>0$ such that every vector with positive zeroth component and spatial-to-time coordinate ratio below $ϵ$ is future timelike throughout that box. Choose a point $p$ on the negative time axis and a smaller open box $O_x$ about $x$, with closures inside the first box, so that every straight coordinate segment from $p$ to any point of $O_x$ has such a tangent. Then $O_x\subseteq J^{+}(p)$ by the definition in [F1]. The reversed construction gives an open box about $x$ contained in $J^{-}(q)$ for a point $q$ on its positive time axis. This uses local smooth metric continuity and straight smooth segments, without a limit-curve, global chronology-openness or dependent-choice theorem.

(Finite compact enclosure.) Take the family of all pairs of boxes and past points furnished by step 1.1 over $K$. These boxes form an open cover of $K$; taking a finite subcover names finitely many $p_i$ with $K\subseteq {\bigcup }_i{J}^{+}(p_i)$. No past-point choice for an infinite family is made. Similarly take finitely many $q_j$ with $L\subseteq {\bigcup }_j{J}^{-}(q_j)$. Concatenating the finite causal segments as in [F1] proves transitivity directly, so $J^{+}(K)\cap J^{-}(L)\subseteq {\bigcup }_{i,j}(J^{+}(p_i)\cap J^{-}(q_j))\mathrm{.}$ The right side is a compact set $D$ by [F1] and [F2]. If $C\subseteq J^{+}(K)\cap J^{-}(L)$ is closed in $M$, then $C=C\cap D$ is closed in the subspace $D$, and hence compact by [F2]. In particular $A\cap B$ is closed in $M$ and has the required containment. If either input compact is empty the conclusion is immediate from the empty cover.

(Compact geometric regions.) For any compact $K$, $J^{+}(K)\cap \{t\le b\}$ is compact. Here is the needed argument, so volume time is not silently replaced by an arbitrary function in [F4]. First take $K=\{p\}$. The set is closed. If endpoints in it escape every auxiliary compact ball, joining causal curves from $p$ have unbounded auxiliary lengths. Their half-line limit from [F4] is future inextendible and has $t\le b$ everywhere, contradicting [F1]. Bounded lengths instead put the endpoints in a compact auxiliary ball. Thus the one-point truncation is compact. Cover a general compact $K$ by finitely many chronological futures $I^{+}(p_j)$ of points slightly to its past, as in the finite-cover proof of [F4]. Its future truncation is a closed subset of the finite union of the one-point truncations. Time reversal gives the past assertion. We also need compactness of $J^{-}(q)\cap J^{+}(\mathrm{\Sigma })$ for any Cauchy set $\mathrm{\Sigma }$. The set is closed: $J^{-}(q)$ is closed by [F4], while $J^{+}(\mathrm{\Sigma })=M\setminus I^{-}(\mathrm{\Sigma })$ is closed by the Cauchy partition and acausality in [F4], together with openness of $I^{-}(\mathrm{\Sigma })$ from its existing prerequisite lem-gr-chronology-openness. To verify the equality, if $x\in J^{+}(\mathrm{\Sigma })\cap I^{-}(\mathrm{\Sigma })$, choose $s,t\in \mathrm{\Sigma }$ with $s\le x\ll t$ and concatenate the causal and timelike segments. Acausality excludes this when $s\mathrm{\ne }t$, and the no-closed-causal-curve conclusion of [F4] excludes it when $s=t$. Conversely, every point outside $I^{-}(\mathrm{\Sigma })$ lies in $\mathrm{\Sigma }\cup I^{+}(\mathrm{\Sigma })$ by [F4], and hence in $J^{+}(\mathrm{\Sigma })$. If curves from $\mathrm{\Sigma }$ to $q$ through an escaping sequence have unbounded lengths, parametrize backwards from $q$ and take a past-inextendible limit, all of whose points lie in the closed future side $J^{+}(\mathrm{\Sigma })$. This limit cannot meet $\mathrm{\Sigma }$: if $p\in \mathrm{\Sigma }$ were a meeting point, any earlier point $y\mathrm{\ne }p$ would satisfy $s\le y\le p$ for some $s\in \mathrm{\Sigma }$, since $y\in J^{+}(\mathrm{\Sigma })$. If $s\mathrm{\ne }p$, acausality is contradicted; if $s=p$, the nonconstant causal segment from $p$ to $y$ followed by the segment from $y$ to $p$ is a closed causal curve. Its inextendible extension cannot meet $\mathrm{\Sigma }$ to the future of $q$ either: from $q\in J^{+}(\mathrm{\Sigma })$ choose $s\in \mathrm{\Sigma }$ with $s\le q$; a later meeting point $p\in \mathrm{\Sigma }$ would give $s\le q\le p$, again contradicting acausality if $s\mathrm{\ne }p$ and a nonconstant closed causal curve if $s=p$. Thus the extension avoids $\mathrm{\Sigma }$, contradicting the Cauchy property. Bounded lengths give compact auxiliary containment as before. The empty and singleton cases $q\in I^{-}(\mathrm{\Sigma })$ and $q\in \mathrm{\Sigma }$ are immediate.

(Explicit first-order reduction.) In a splitting chart set $\rho =\alpha \sqrt{\det h}$, $H=(h^{ij})$, $v={\alpha }^{-1}{\mathrm{\partial }}_{t}u$ and $w_i={\mathrm{\partial }}_{i}u$. Direct expansion of ${\mathrm{\square }}_g$ gives $Pu={\alpha }^{-2}{\mathrm{\partial }}_t^{2}u+b{\mathrm{\partial }}_{t}u-h^{ij}{\mathrm{\partial }}_i{\mathrm{\partial }}_{j}u-c^j{\mathrm{\partial }}_{j}u+Vu,b={\rho }^{-1}{\mathrm{\partial }}_t(\rho {\alpha }^{-2}),c^j={\rho }^{-1}{\mathrm{\partial }}_i(\rho h^{ij})\mathrm{.}$ Solve instead the linear system for $U=(u,v,w_1,w_2,w_3)$ given by $u_t=\alpha v$, $(w_i{)}_t=\alpha {\mathrm{\partial }}_{i}v+({\mathrm{\partial }}_i\alpha )v$, and $v_t=\alpha h^{ij}{\mathrm{\partial }}_i{w}_j+\alpha c^j{w}_j-\alpha Vu-({\alpha }_t\mathrm{/}\alpha +{\alpha }^{2}b)v+\alpha f\mathrm{.}$ Multiplying the $w$ equations by $H$ gives symmetric principal matrices $A^0=\mathrm{diag}(1,1,H)$ and $(A^i{)}_{v,w_j}=(A^i{)}_{w_j,v}=-\alpha h^{ij}$, all other principal spatial entries zero. Thus $A^0>0$. A smooth solution of this system with initial $w_i={\mathrm{\partial }}_i{u}_0$ has $(w_i-{\mathrm{\partial }}_{i}u{)}_t=0$, so these constraints remain zero, and the displayed expansion proves equivalence with $Pu=f$. Normal data initialize $v=u_1$. No sign of $V$ enters positivity of the principal matrices.

(Local solvability and a time independent of data size.) Restrict to a relatively compact splitting chart. Extend $A^0$ periodically by a smooth cutoff and interpolation with a constant positive matrix; convexity preserves positivity. Extend the other matrices and lower terms smoothly, agreeing on a smaller chart. To treat the source without an affine scaling error append the scalar $z$ with $z_t=0$, replace $f$ by $fz$, and initialize $z=1$. This is a homogeneous linear symmetric system in $(U,z)$, with coefficient family independent of its state and state domain all of ${\mathbb{R}}^6$. Apply [F2] at $s=5$ to the fixed class of data of $H^5$ norm at most one, with fixed compact admissible state balls containing their values by Sobolev embedding. An arbitrary smooth datum is multiplied by a positive constant making its norm at most one; after solving, divide by the same constant. Linearity restores the original datum and $z=1$. Consequently the local time depends on the coefficient extension and chart margins, not on the magnitude or higher norms of the datum. Smooth persistence applies on that same time. The coordinate finite-speed estimate of [F2] makes restrictions independent of the extension in smaller coordinate cones. This supplies local solutions and gluing uniqueness, but the sharper support assertion is proved next.

(Exact metric-cone energy.) Write the reduced system $A^{\mu }{\mathrm{\partial }}_{\mu }U+CU=F$. Its current $j^{\mu }=U^{\mathsf{T}}{A}^{\mu }U$ obeys ${\mathrm{\partial }}_{\mu }{j}^{\mu }=U^{\mathsf{T}}({\mathrm{\partial }}_{\mu }{A}^{\mu }-C-C^{\mathsf{T}})U+2U^{\mathsf{T}}F\mathrm{.}$ On compact charts, the right side is at most $C_0{j}^0+C_0\mathrm{\mid }F{\mathrm{\mid }}^2$. More precisely, for a covector $(\tau ,\xi )$, $U^{\mathsf{T}}(\tau A^0+{\xi }_i{A}^i)U=\tau (u^2+v^2+h^{ij}{w}_i{w}_j)-2\alpha v{h}^{ij}{\xi }_i{w}_j\ge 0\text{if }\tau \ge \alpha \sqrt{h^{ij}{\xi }_i{\xi }_j}\mathrm{.}$ The inequality follows from Cauchy–Schwarz for $H$ and $2ab\le a^2+b^2$; its condition is exactly the future causal covector condition for $g=-{\alpha }^{2}d{t}^2+h$. In a sufficiently small convex normal chart, the boundary of the backward causal cone of a vertex has this outward null conormal, by [F3]. Truncate below the vertex and above a spacelike base, apply the coordinate divergence theorem, and discard the nonnegative lateral flux. Zero source and zero Cauchy data on the base give zero energy by Gronwall, hence zero solution up to the vertex by continuity. Every truncated cone away from its vertex is piecewise smooth: its null side is the smooth exponential null cone and its intersections with the temporal levels are transverse. No regularity of a global cut locus is asserted or used. This proves local dependence on the actual metric causal cone, rather than only a larger coordinate cone. Bounded lower-order terms, including arbitrary $V$ and its derivatives on each compact set, change $C_0$ and require no sign assumption.

(From local cones to global domain of dependence.) Fix a vertex $q$ to the future of the initial hypersurface and its compact truncated causal past from step 1.1. Cover it by finitely many smaller convex normal neighborhoods whose closures lie in coordinate neighborhoods as above. On this compact set the temporal derivative of a causal curve controls its coordinate speed: $h(\dot{x},\dot{x})\le {\alpha }^2{\dot{t}}^2$ and uniform upper/lower metric bounds give $\mathrm{\mid }dx\mathrm{/}dt\mathrm{\mid }\le C$. Shrink a finite cover once more and choose $\delta >0$ smaller than its chart margins divided by $C+1$. Every backward causal segment of temporal duration below $\delta$ then lies in one of the larger normal neighborhoods. Local cones from step 2.2 therefore pass the zero-data assertion from one temporal cross-section of the truncated past to the next, in finitely many strips. At the initial surface use its local spacelike graph charts and the same cone flux with that graph as base; a finite cover of the compact shadow on the initial surface gives a uniform first strip. This proves zero at $q$ whenever the source vanishes on its truncated past and the initial data vanish on its shadow. Applying this to differences proves global uniqueness, even for smooth solutions with no support assumption, since only their values on a compact truncated past enter. Applying it outside the causal future of the source and data proves the claimed one-sided support; the source-free backward statement is its time reverse.

(Construction on a whole slice and continuation.) On a compact time slab let $Q$ be the union of the compact future and past support truncations of step 1.1 for the compact input supports. Around $Q$ fix a finite family of splitting coordinate cylinders, smaller cylinders, coefficient extensions and their margins. At an intermediate slice split the compact Cauchy data by a smooth finite partition subordinate to the smaller spatial charts; split the source in the same cylinders by a spacetime partition. For each summand initialize $u,v,w$ from that summand's scalar Cauchy data as in step 1.2. The local constructions of step 2.1 solve it on a common positive strip; finiteness takes the minimum of the times. Choose the strip shorter if needed so that the larger coordinate support cones from [F2] stay strictly inside their cylinders. Each summand then vanishes on a neighborhood of the lateral chart boundary and extends smoothly by zero; their finite sum solves the original scalar equation with the full data and source. Constraints for each summand were initialized from its own scalar datum, so no partition commutator error is introduced. Step 3.1 identifies this solution on overlaps and improves its support to the metric cones. The common strip width depends only on the fixed coefficient families, source and chart margins, not on current data size, by step 2.1. If continuation stopped at a finite end within the slab, start a strip less than half this fixed width before that end; uniqueness identifies its overlap and extends past the alleged end. Hence no such endpoint exists. Repeat over the countable slabs $[a-n,a+n]$ and use uniqueness to obtain one global smooth solution. This uses only finite spatial covers on each slab and countably many slab choices, and never compactness of a full Cauchy surface.

(Quantitative estimates and continuity.) For fixed compact input supports and a finite slab, the constructed solution is supported in the fixed compact $Q$ above. In the finite splitting charts choose cutoffs with sum of their squares one near $Q$. Sum the quadratic energies of all spatial derivatives up to integer order $s\ge 0$ of the localized $U$. These energies ${\mathcal{E}}_s$ are equivalent, with constants depending only on the charts and coefficients, to the sum of the corresponding squared local $H^s$ norms. Differentiate their integrals using the smooth solution. Integration by parts in the symmetric principal terms gives only coefficient derivatives and cutoff terms. The Leibniz expansion of a differentiated equation has terms $(D^{\gamma }{A}^{\mu }){\mathrm{\partial }}_{\mu }{D}^{\eta }U$ with $\mathrm{\mid }\eta \mathrm{\mid }\le s-1$ when $\gamma \mathrm{\ne }0$. Replace each time derivative by $(A^0{)}^{-1}(F-A^i{\mathrm{\partial }}_{i}U-CU)$; the remaining spatial derivatives have order at most $s$. All coefficient derivatives on $Q$ are bounded, so Cauchy–Schwarz and $2ab\le a^2+b^2$ give $\mathrm{\mid }{\mathcal{E}}_s^{\mathrm{\prime }}(t)\mathrm{\mid }\le C_s{\mathcal{E}}_s(t)+C_s\mathrm{\parallel }f(t){\mathrm{\parallel }}_{H^s,\mathrm{l}\mathrm{o}\mathrm{c}}^2\mathrm{.}$ The cutoffs can be chosen on a compact neighborhood of $Q$; their derivatives introduce no unsupported boundary term, since $U$ vanishes off $Q$. Gronwall bounds ${\mathcal{E}}_s$ by its initial value and the time integral of the displayed source norm, with constants independent of the particular input of those fixed supports. Local Sobolev embedding with $s>m+3\mathrm{/}2$ bounds spatial derivatives through order $m$; the equation and its time derivatives then bound any prescribed mixed spacetime derivatives by finitely many higher spatial/input derivatives. Finite chart volumes bound the Sobolev input norms by finitely many fixed-compact input sup seminorms. This is exactly the asserted compact-output seminorm estimate, and applies to differences by linearity. The construction, support, global uniqueness and arbitrary-Cauchy-surface uniqueness have all been proved in steps 3.1–4.1.

(Retarded construction.) Fix the smooth time $t$ of [F1]. For nonzero compact test $f$, choose $a<\min t(\mathrm{supp}f)$ and solve $Pu=f$ with zero data on $S_a$ using [F1]. Below that slice the source and both data vanish, so uniqueness and its time-reversed support assertion give $u=0$. Above it the one-sided support assertion gives $\mathrm{supp}u\subseteq J^{+}(\mathrm{supp}f)$. Define $E_{+}f=u$ and $E_{+}0=0$. A different sufficiently early slice gives the same solution: both solutions have zero data on a still earlier common slice and the same source, so [F1] uniqueness identifies them. Reversing time constructs $E_{-}f$ from zero data on any slice later than the support and gives the past support.

(Two-sided inverse identities and uniqueness.) The construction gives $P{E}_{\pm }f=f$. If $k$ is compact, locality gives $\mathrm{supp}Pk\subseteq \mathrm{supp}k$. The compact smooth function $k$ and $E_{+}(Pk)$ both solve $Pu=Pk$ and have zero data on a common slice earlier than $\mathrm{supp}k$; uniqueness gives $E_{+}Pk=k$. The advanced identity is time reversed. If any other smooth retarded solution of $Pu=f$ has support in $J^{+}(\mathrm{supp}f)$, it has zero data on that earlier slice and equals $E_{+}f$ by [F1]. The same holds for advanced solutions, proving uniqueness of the maps. Common early or late slices for a finite list of tests and uniqueness give additivity and real homogeneity, hence real linearity.

(Continuity in the actual topologies.) Fix compact input support $K$ and compact output set $L$ with a specified derivative order. Choose $a<\min t(K)$ and a finite slab containing $S_a$ and $L$; if $K$ is empty the restriction is zero. Step 1.1 constructs every $E_{+}f$ for $\mathrm{supp}f\subseteq K$ from zero data on this same $S_a$. The estimate in [F1] therefore bounds the selected output seminorm by a constant times finitely many fixed-$K$ input derivative seminorms. This proves continuity of $E_{+}$ restricted to each fixed-compact test space. The LF topology in [F2] is the locally convex inductive-limit topology of these spaces, so a linear map into the locally convex space $C^{\mathrm{\infty }}(M)$ is continuous precisely when all such restrictions are continuous. Thus $E_{+}$ is continuous; the late-slice estimate gives continuity of $E_{-}$. No sequential-continuity substitute or unsupported closed-graph argument is used.

(The remaining interface conditions.) For compact smooth $f$ and arbitrary smooth $u$, the coordinate divergence expression for ${\mathrm{\square }}_g$ and integration by parts give ${\int }_{M}f(-{\mathrm{\square }}_{g}u){\mu }_g={\int }_M{g}^{ab}({\mathrm{\partial }}_{a}f)({\mathrm{\partial }}_{b}u){\mu }_g={\int }_M(-{\mathrm{\square }}_{g}f)u{\mu }_g\mathrm{.}$ These identities are justified by localizing the compact support to finitely many charts using [F2]: the extra partition derivatives sum to zero, and each chart integration has compact support. Multiplication by the real $V$ is symmetric, proving formal self-adjointness. Arbitrary smooth spacelike Cauchy-surface uniqueness is the last conclusion of [F1]. Together with steps 1.1–3.1 these establish every condition in the defined Green-data interface for the full stated class of backgrounds.

Since $P{E}_{+}f=P{E}_{-}f=f$, $P(Ef)=0$. Its support is contained in $J^{+}(\mathrm{supp}f)\cup J^{-}(\mathrm{supp}f)$ by [F1], so $Ef\in {\mathrm{Sol}}_{\mathrm{s}\mathrm{c}}(M)$. Also $E(Pf)=E_{-}Pf-E_{+}Pf=f-f=0$. Hence $P{\mathcal{D}}_g(M)\subseteq \ker E$.

Let $f,h\in {\mathcal{D}}_g(M)$, $u=E_{-}f$ and $v=E_{+}h$. Their supports meet in the closed set $C:=\mathrm{supp}u\cap \mathrm{supp}v$, contained in $J^{-}(\mathrm{supp}f)\cap J^{+}(\mathrm{supp}h)$ and compact by [F2]. If $C=\mathrm{\varnothing }$, both $fv$ and $uh$ vanish; otherwise choose by [F3] a compactly supported smooth cutoff $\eta$ equal to $1$ on a neighborhood of $C$. Since $f=Pu$ and $h=Pv$, formal self-adjointness applied to the compactly supported functions $\eta u$ and $\eta v$ gives ${\int }_{M}fv{\mu }_g={\int }_{M}uh{\mu }_g$: after expanding $P(\eta u)$ and $P(\eta v)$, each commutator term is supported where a derivative of $\eta$ meets $\mathrm{supp}u\cap \mathrm{supp}v\subseteq C$, so it vanishes because $\eta =1$ near $C$; the remaining integrands $fv$ and $uh$ are supported in $C$. Applying the same calculation with $u=E_{+}f$ and $v=E_{-}h$ gives ${\int }_{M}f(E_{-}h){\mu }_g={\int }_M(E_{+}f)h{\mu }_g$. Subtracting these two Green adjoint identities yields $E^{\ast }=-E$ under the compact test-density pairing.

Conversely suppose $Ef=0$, so $u:=E_{-}f=E_{+}f$. Then $Pu=f$ by [F1] and $\mathrm{supp}u\subseteq J^{-}(K)\cap J^{+}(K)$, where $K=\mathrm{supp}f$ is compact. Its closed support is compact by [F2], so the smooth function $u$ is compactly supported. Thus $u\in {\mathcal{D}}_g(M)$ and $f=Pu\in P{\mathcal{D}}_g(M)$. Together with step 1.1, $\ker E=P{\mathcal{D}}_g(M)$.

If $f$ is replaced by $f+Pk$, then ${\int }_M(Pk)(Eh){\mu }_g={\int }_{M}kP(Eh){\mu }_g=0$ by the formal adjoint identity in [F1] and step 1.1; if $h$ is replaced by $h+Pk$, then $E(Pk)=0$ by step 1.1. Thus ${\sigma }_M$ is well-defined on $V(M)$. Bilinearity follows from linearity of $E$ and the integral. From step 1.2, ${\sigma }_M([h],[f])=\int hEf{\mu }_g=-\int fEh{\mu }_g=-{\sigma }_M([f],[h])$, so it is alternating. If ${\sigma }_M([f],[h])=0$ for every $[h]$, step 1.2 gives ${\int }_M(Ef)h{\mu }_g=0$ for every compact smooth real $h$. If $Ef$ were nonzero at a point, continuity would give a relatively compact coordinate neighborhood on which it has one strict sign; choose a smaller compact coordinate ball there and use [F3] to obtain a nonnegative test bump equal to $1$ on that ball. Its integral against $Ef{\mu }_g$ is then nonzero because ${\mu }_g$ is a positive smooth density and the ball has positive volume, a contradiction. Hence $Ef=0$, and step 2.1 gives $[f]=0$. This proves nondegeneracy and completes the proof.

First the displayed Weyl relations define an associative unital $\ast$-algebra on the finite formal sums. For $v,w,z\in V(M)$, the exponent in $(W(v)W(w))W(z)$ is $-\frac{i}{2}(\sigma (v,w)+\sigma (v+w,z))$, whereas the exponent in $W(v)(W(w)W(z))$ is $-\frac{i}{2}(\sigma (w,z)+\sigma (v,w+z))$; bilinearity makes these equal. Also $W(0)W(v)=W(v)=W(v)W(0)$ since $\sigma (0,v)=\sigma (v,0)=0$, and $W(v)W(-v)=W(0)$ since $\sigma (v,-v)=0$. The involution reverses products because alternation gives $\sigma (w,v)=-\sigma (v,w)$; hence the relations are consistent with the claimed unit and involution.

Put $S_{\iota }[f]:=[{\iota }_{\ast }f]$. It is well-defined because ${\iota }_{\ast }(P_{U}k)=P_M({\iota }_{\ast }k)$ by [F4], so changing $f$ by an element of $P_U{\mathcal{D}}_g(U)$ changes ${\iota }_{\ast }f$ by an element of $P_M{\mathcal{D}}_g(M)$. For $f\in {\mathcal{D}}_g(U)$, the restriction $u=(E_M^{\pm }{\iota }_{\ast }f){\mathrm{\mid }}_U$ solves $P_{U}u=f$. Its support lies in $J_M^{\pm }(\mathrm{supp}f)\cap U=J_U^{\pm }(\mathrm{supp}f)$: the inclusion from right to left is immediate, and the reverse follows because a causal curve in $M$ from a point of $\mathrm{supp}f\subset U$ to a point of $U$ remains in $U$ by causal convexity [F4]. Here is the uniqueness argument actually needed. If $w$ is the difference of $u$ and $E_U^{+}f$, then $P_{U}w=0$ and $\mathrm{supp}w\subseteq J_U^{+}(\mathrm{supp}f)$. For any compact smooth real $h$ on $U$, set $v=E_U^{-}h$. The closed overlap of their supports is compact by [F5]. A compact cutoff $\eta =1$ near that overlap from [F6] gives ${\int }_{U}wh{\mu }_g={\int }_{U}wPv{\mu }_g={\int }_U(Pw)v{\mu }_g=0$: apply formal self-adjointness first to $\eta w$ and $v$; every commutator term has a derivative of $\eta$ where both supports meet and hence vanishes. A smooth nonzero real $w$ has a small fixed-sign coordinate neighborhood and a nonnegative test bump there, contradicting this vanishing integral. Thus $w=0$. The advanced case interchanges the signs. Hence $u=E_U^{\pm }f$ without presupposing uniqueness in the definition. The isometry preserves ${\mu }_g$, so this compatibility gives ${\sigma }_M(S_{\iota }[f],S_{\iota }[h])={\int }_{U}f(E_{U}h){\mu }_{g_U}={\sigma }_U([f],[h])$; thus $S_{\iota }$ is symplectic.

Define ${\alpha }_{\iota }$ on each basis symbol by ${\alpha }_{\iota }(W_U(v))=W_M(S_{\iota }v)$ and extend complex-linearly to finite sums. Since $S_{\iota }$ is symplectic, applying ${\alpha }_{\iota }$ to the product in [F3] gives $e^{-i{\sigma }_U(v,w)\mathrm{/}2}{W}_M(S_{\iota }(v+w))=W_M(S_{\iota }v)W_M(S_{\iota }w)$; applying it to $W_U(v{)}^{\ast }$ gives $W_M(-S_{\iota }v)=W_M(S_{\iota }v{)}^{\ast }$. It also sends $W_U(0)$ to $W_M(0)$, so it is a unital $\ast$-homomorphism. If $f$ is supported in an open $O\subseteq U$, then ${\iota }_{\ast }f$ is supported in $\mathrm{im}(\iota {\mathrm{\mid }}_O)$; therefore the generator formula sends each local generator into ${\mathfrak{W}}_M(\mathrm{im}(\iota {\mathrm{\mid }}_O))$, and sums and products do too. Extension by zero respects identity and composition, hence the generator formula gives ${\alpha }_{\mathrm{i}\mathrm{d}}=\mathrm{i}\mathrm{d}$ and ${\alpha }_{\mathrm{ȷ}\circ \iota }={\alpha }_{\mathrm{ȷ}}\circ {\alpha }_{\iota }$.