Abstract
Since there are some important systems which have constraints not contained in their field algebras, we develop here in aC*-context the algebraic structures of these. The constraints are defined as a groupG acting as outer automorphisms on the field algebra ℱ, α:G ↦ Aut ℱ, α G ⊄ Inn ℱ, and we find that the selection ofG-invariant states on ℱ is the same as the selection of states ω onM(G \(M(G\mathop \times \limits_\alpha F)\) ℱ) by ω(U g)=1∨g∈G, whereU g ∈M (G \(M(G\mathop \times \limits_\alpha F)\) ℱ)/ℱ are the canonical elements implementing α g . These states are taken as the physical states, and this specifies the resulting algebraic structure of the physics inM(G \(M(G\mathop \times \limits_\alpha F)\) ℱ), and in particular the maximal constraint free physical algebra ℛ. A nontriviality condition is given for ℛ to exist, and we extend the notion of a crossed product to deal with a situation whereG is not locally compact. This is necessary to deal with the field theoretical aspect of the constraints. Next theC*-algebra of the CCR is employed to define the abstract algebraic structure of Gupta-Bleuler electromagnetism in the present framework. The indefinite inner product representation structure is obtained, and this puts Gupta-Bleuler electromagnetism on a rigorous footing. Finally, as a bonus, we find that the algebraic structures just set up, provide a blueprint for constructive quadratic algebraic field theory.
Similar content being viewed by others
References
Grundling, H. B. G. S., Hurst, C. A.: Algebraic quantisation of systems with a gauge degeneracy. Commun. Math. Phys.98, 369–390 (1985)
Grundling, Hendrik, Hurst, C. A.: Algebraic structures of degenerate systems and the indefinite metric. J. Math. Phys.28, 559–572 (1987)
Grundling, Hendrik: Algebraic structures of degenerate systems. Adelaide University, Ph.D. thesis 1986
Emch, G. G.: Algebraic methods in statistical mechanics and quantum field theory. New York: Wiley 1972
Dirac, P. A. M.: Lectures in quantum mechanics. New York: Belfer Graduate School of Science, Yeshiva University 1964; Dirac, P. A. M.: Generalised Hamiltonian dynamics. Can. J. Math.2, 129–148 (1950); Dirac, P. A. M.: The Hamiltonian form of field dynamics. Can. J. Math.3, 1–23 (1951)
Carey, A. L., Hurst, C. A.: A note on the Fermi quantisation of Landau gauge. Lett. Math. Phys.2, 227–234 (1978)
Manuceau, J.:C*-algebre de relations de commutation. Ann. Inst. Henri Poincaré8, 139–161 (1968)
Pedersen, G. K.:C*-algebras and their automorphism groups. London: Academic Press 1979
Green, P.: The local structure of twisted covariance algebras. Acta Math.140, 191–250 (1978)
Dixmier, J.:C*-algebras. Amsterdam: North Holland 1977
Gupta, S. N.: Theory of longitudinal photons in quantum electrodynamics. Proc. Phys. Soc. Lond. A.63, 681–691 (1950); Bleuler, K.: Eine neue Methode zur Behandlung der longitudinalen und skalaren Photonen. Helv. Phys. Acta23, 567–586 (1950)
Strocchi, F., Wightman, A. S.: Proof of the charge superselection rule in local relativistic quantum field theory. J. Math. Phys.15, 2198–2224 (1974); Strocchi, F., Wightman, A. S.: Erratum: Proof of the charge superselection rule. J. Math. Phys.17, 1930–1931 (1976)
Takeda, Z.: Inductive limit and infinite direct product of operator algebras. Tohoku Math. J.7, 68–86 (1955)
Manuceau, J., Sirugue, M., Testard, D., Verbeure, A.: The smallestC*-algebra for canonical communication relations. Commun. Math. Phys.32, 231–243 (1973)
Carey, A. L., Gaffney, J. M., Hurst, C. A.: AC*-algebra formulation of the quantisation of the electromagnetic field. J. Math. Phys.18, 629–640 (1977)
Mintchev, M.: Quantisation in indefinite metric. J. Phys. A.13, 1841–1859 (1980)
Jakobczyk, L.: Canonical quantisation with indefinite inner product. Ann. Phys.161, 314–336 (1985)
Carey, A. L., Hurst, C. A.: The Fermi method of quantizing the electromagnetic field as a model for quantum field theory. J. Math. Phys.18, 1553–1561 (1977)
Akemann, C. A., Pedersen, G. K., Tomiyama, J.: Multipliers ofC*-algebras. J. Funct. Anal.13, 277–301 (1973)
Barut, A. O., Raczka, R.: Properties of non-unitary zero mass induced representations of the Poincaré group on the space of tensor-valued functions. Ann. Inst. H. Poincaré17, 111–118 (1972)
Author information
Authors and Affiliations
Additional information
Communicated by H. Araki
Rights and permissions
About this article
Cite this article
Grundling, H. Systems with outer constraints. Gupta-Bleuler electromagnetism as an algebraic field theory. Commun.Math. Phys. 114, 69–91 (1988). https://doi.org/10.1007/BF01218289
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01218289