A representation is given of fermion annihilation operators ak which satisfy the usual anticommutation relations {ak, ak′+} = δkk′. In this representation the ak operate on periodic function f(ζ) of a real variable ζ. The Hilbert space is the set of all square integrable functions f(ζ) of period 2π, with the scalar product defined by (f, g)= ∫ −ππf*g dζ.
A representation is given of fermion annihilation operators ak which satisfy the usual anticommutation relations {ak, ak′+} = δkk′. In this representation the ak operate on periodic function f(ζ) of a real variable ζ. The Hilbert space is the set of all square integrable functions f(ζ) of period 2π, with the scalar product defined by (f, g)= ∫ −ππf*g dζ.
CAR on Fock spacesThis chapter is devoted to the study of Fock representations of the canonical anticommutation relations, a basic tool of quantum many-body theory and quantum field theory.It is parallel to Chap. 9, where Fock CCR representations were studied.The basic framework is almost the same as in Chap.9. Throughout this chapter Z is a Hilbert space, called the one-particle space.We will consider the Fock CAR representation acting on the fermionic Fock space Γ a (Z).As in Sect.1.3, we introduce the space Y = Re(Z ⊕ Z) := {(z, z) : z ∈ Z}, which will serve as the dual phase space of our system.Recall that in the bosonic case we equipped Y with the structure of the Kähler space consisting of the anti-involution j, the Euclidean scalar product • and the symplectic form ω: j(z, z) := (iz, iz), (13.1) (z, z) • (w, w) := 2Re(z|w), (13.2) (z, z)•ω(w, w) := 2Im(z|w) = -(z, z) • j(w, w).(13.3)In our presentation of the fermionic case, we will need the Kähler anti-involution j.The symplectic form ω will not be used.Instead of the scalar product (13.2) we will use another scalar product,Again we will avoid identifing Z with Y. CY is identified with Z ⊕ Z by the mapY # , the space dual to Y, is canonically identified with Re(Z ⊕ Z) by using the scalar product (9.2), and CY # is identified with Z ⊕ Z. Fock CAR representationConsider the fermionic Fock space Γ a (Z).Recall that, for z ∈ Z, a * (z), resp.a(z) denote the corresponding creation, resp.annihilation operators defined in Sect.3.4.
In the path integral representation of quantum amplitudes ( chapter 16 ) the fields are regarded as classical functions. Matrix elements of time-ordered products of bosonic operators could be satisfactorily represented (see the discussion following ( 16.79 )). But something new is needed to represent, for example, the time-ordered product of two fermionic operators: there must be a sign difference between the two orderings, since the fermionic operators anticommute . Thus it seems that to represent amplitudes involving fermionic operators by path integrals we must think in terms of ‘classical’ anticommuting variables.
In the usual formulation of quantum mechanics, groups of automorphisms of quantum states have ray representations by unitary and antiunitary operators on complex Hilbert space, in accordance with Wigner's theorem. In the phase-space formulation, they have real, true unitary representations in the space of square-integrable functions on phase space. Each such phase-space representation is a Weyl–Wigner product of the corresponding Hilbert space representation with its contragredient, and these can be recovered by 'factorizing' the Weyl–Wigner product. However, not every real, unitary representation on phase space corresponds to a group of automorphisms, so not every such representation is in the form of a Weyl–Wigner product and can be factorized. The conditions under which this is possible are examined. Examples are presented.
A displacement operator d_ζis introduced, verifying commutation relations [d_ζ, a_f^\dagger]=[d_ζ, a_f]=ζ(f)d_ζwith field creation and annihilation operators that verify [a_f,a_g]=0, [a_f,a_g^\dagger]=(g,f), as usual. f and g are test functions, ζis a Poincare invariant real-valued function on the test function space, and (g,f) is a Poincare invariant Hermitian inner product. The *-algebra generated by all these operators, and a state defined on it, nontrivially extends the *-algebra of creation and annihilation operators and its Fock space representation. If the usual requirement for linearity is weakened, as suggested in quant-ph/0512190, we obtain a deformation of the free quantum field.
A large class of continuous representations of separable Hilbert spaces is constructed with the aid of representations of the canonical commutation relations (CCR) for a scalar boson field φ(f) and its canonical conjugate π(g). A representation of the CCR for a scalar boson field consists of two operator-valued functions V[g] and W[f], defined for all f, g in Schwartz's space 𝒮 of real test functions, where V[g] and W[f] are unitary operators defined on some separable Hilbert space ℌ, and which satisfy the commutation relations V[g]W[f] = e−i(f,g) W[f]V[g]. These unitary operators are related to the field and its momenta by V[g] = e−iπ(g), W[f] = eiφ(f). We explicitly construct a family of such representations with the help of von Neumann's theory of infinite direct products of Hilbert spaces, the pertinent parts of which are reviewed. A continuous representation ℌ of the Hilbert space ℭ is composed of a linear vector space of complex, bounded, continuous functionals defined on 𝒮 × 𝒮. These functionals are defined for all Ψ∈H by ψ(f, g)=(V[g]W[f]Φ0, Ψ). In this definition, Φ0 is a fixed unit vector in ℌ. The properties of the functions in ℭ depend on the choice of the representation of the CCR and on the choice of Φ0. When ℭ is constructed with the aid of an irreducible representation of the CCR, an inner product can be defined for all pairs of functionals in ℭ by an intuitively meaningful, rigorously defined integral in the sense of Friedrichs and Shapiro. With this inner product, ℭ is a complete Hilbert space congruent with ℌ. As in all continuous representations, a reproducing kernel exists and determines the functions in the continuous representation. One such space is closely related to a space of analytic functionals introduced by Segal and Bargmann. The representation of various operators as kernels and as functional derivatives is discussed. Finally, the construction of a vast number of unitary invariants for a representation of the CCR is used to establish the unitary inequivalence of uncountably many of the representations that we construct.