The Hilbert space HC is constructed as HR ⊕ HR with complex structure J(ψ, χ) =(−χ, ψ) satisfying J 2 = −I. The operator J is defined at each finite depth d on thespace Vd ⊕ Vd . This paper verifies that J is well-defined on the IPG limit space HR ⊕HR : specifically, that J commutes with the restriction maps across depths, preservescompatible sequences, and descends to a well-defined operator on equivalence classes.These verifications close the remaining gap in the Hilbert space construction.
John Taylor crisptoast@tutanota.com (Sun,) studied this question.