Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Am starting Green hyperbolic differential equation from
So far I have the definition and then the statement of the first remarkable proposition from this article: here.
added now also the statement of Igorâ€™s lemma 2.5, together with some required infrastructure: here
I have expanded the statement of the main propositon (here) making explicit the other isomorphism which previously only appeared in an intermediate step in the proof:
$(ker(P))^\ast \;\simeq\; \Gamma'_{\Sigma,cp}(\tilde E^\ast)/im_{cp}(P^\ast)$(For Green hyperbolic differential equations $P \Phi = 0$.)
This is the one more frequently used, and I should have highlighted it earlier. This implies for instance that for free field theories with Green-hyperbolic equations of motion $P \Phi = 0$ , the on-shell polynomial observables are equivalently the off-shell polynomial observables modulo the image of $P$, which is used in the construction of the abstract Wick algebra. I have added this to polynomial observables and to microlocal observables. Am working on bringing Wick algebra into shape.
1 to 3 of 3