Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For positive definite infinite dimensional Hilbert spaces, there is the standard Cauchy norm topology. What if this state space has an indefinite norm or a positive semidefinite one, as in gauge theories or Faddeev-Popov ghosts? Which infinite sums are valid, and which aren't?

Similarly, for the algebra of operators, which norm topology do we choose? Not the W*-one? The C* one?

share|cite|improve this question

The topology is imposed only on the physical Hilbert space, which has a positive definite metric.

If you need a topology outside, you are free to choose any that suits your purposes, but there is no canonical one.

As there currently is no mathematically rigorous version of interacting quantum gauge fields, the question of which infinite sums, limits, etc., are valid can currently not be answered.

There is significant rigorous work by Strocchi on a C^*-algebraic framework for gaunge fields in an indefinite metric setting (probably in his book ''Selected Topics on the General Properties of Quantum Field Theory'', though I don't have it available to check). But it hasn't lead so far to substantial results in the interacting case.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.