IV.R300 — Why not L^2(tau^3) directly?

L^2(tau^3) is too large as a state space: most square-integrable functions violate the CR-holomorphicity constraint that couples base to fiber, assigning incoherent data to the fibered product; the CR-condition acts as a selection rule restricting to physically meaningful states.