Manuscript X-B-ST@1 · X-B-ST.tex · section · d03c150c
The scalar Wick algebra
The completion free field and its linear sector › The scalar Wick algebra · lines 611–685
X-B-ST@1#eq:Hadamard, X-B-ST@1#eq:Wick, X-B-ST@1#eq:freequotient, X-B-ST@1#eq:CCR
Fix one scalar Hadamard bisolution on , with
Its wavefront set has the Hadamard null-relation form: both slot covectors are nonzero, and the first lies in one fixed half of the null cone Radzikowski. No state on the conical product is constructed by this choice.
Include zero covectors in the closed Minkowski causal cones , and define
Use the polynomial microcausal free presentation: a polynomial functional has compact distributional derivative kernels satisfying
for every positive derivative order.
Denote the corresponding off-shell scalar algebra by . Its Wick product is
Each polynomial pair has a finite sum. The usual microcausal contraction theorem supplies this free product and its associativity FR. No interacting product theorem is imported from it.
Let be the pointwise ideal generated by
Because is a bisolution,
The same observation applied inside a pointwise multiple shows that is a star ideal. Define
In particular,
The off-shell insertion domain and the output sector are
Zero is included in this homogeneous degree-one sector. Its topology is the quotient test topology on . Formal -series are treated coefficientwise.
Displayed formulas in this passage
X-B-ST@1#eq:Hadamard · line 615
X-B-ST@1#eq:Wick · line 642
X-B-ST@1#eq:freequotient · line 663
X-B-ST@1#eq:CCR · line 669
unlabeled · line 628
unlabeled · line 635
unlabeled · line 654
unlabeled · line 658
unlabeled · line 677