The bosonic Fock representation and a generalized Shale theorem

We detail a new approach to the bosonic Fock representation of a complex Hilbert space V: our account places the bosonic Fock space S[V] between the symmetric algebra SV and its full antidual SV’; in addition to providing a context in which arbitrary (not necessarily restricted) real symplectic automorphisms of V are implemented, it offers simplified proofs of many standard results of the theory.