I am currently going through Glimm and Jaffe's exposition of the Cluster Expansion given in Quantum Physics: A Functional Integral Point of View. I have trouble understanding one claim they make in the "EXAMPLE 2" section just below theorem 18.2.5 (page 364). They define a function F(Λ,s) that they claim factorizes at s=0 (this notion is explained in definition 18.2.2).
I am not sure I can see why this last claim is true. Indeed, consider for instance the very simple case Γ2=∅ and Γ=b2 where b2 is a lattice edge distant from b1 by at least 2 lattice squares. Then Γc=(Z2)∗−{b1,b2} and R2−Γc is the disjoint union of a connected component X1 containing b1, a connected component X2 containing b2 and a connected component X3 containing neither b1 nor b2.
Now, if I apply the decomposition (18.2.11) to F(Λ,s) with s=1, the terms with X2 and X3 will give 0 since the covariances appearing in the Z's defining F will coincide when restricted on the domains in question if I am correct. But this implies that F itself is 0, which I don't understand!
What am I getting wrong?