On Monday, I will be at HU Berlin to give a seminar on my loop cosmology paper (at 2pm in case you are interested and around). Preparing for that I came up with an even more elementary derivation of the polymer Hilbert space (without need to mention C*-algebras, the GNS-construction etc). Here it goes:
Let us do quantum mechanics on the line. That is, the operators we care about are and . But as you probably know, those (more precisely, operators with the commutation relation ) cannot be both bounded. Thus there problems of domains of definition and limits. One of the (well accepted) ways to get around this is to instead work with Weyl operators and . As those will be unitary, they have norm 1 and the canonical commutation relations read (with the help of B, C and H) . If you later want, you can go back to and similar for .
Our goal is to come up with a Hilbert space where these operators act. In addition, we want to define a scalar product on that space such that and act as unitary operators preserving this scalar product. We will deal with the position representation, that is wave functions . and then act in the usual way, by translation and by multiplication . Obviously, these fulfil the commutation relation. You can think of and as the group elements of the Heisenberg group while and are in the Lie algebra.
Here now comes the only deviation from the usual path (all the rest then follows): We argue (motivated by similar arguments in the loopy context) that since motion on the real line is invariant under translation (at least until we specify a Hamiltonian) is invariant under translations, we should have a state in the Hilbert space which has this symmetry. Thus we declare the constant wave function to be an element of the Hilbert space and we can assume that it is normalised, i.e. .
Acting now with , we find that linear combinations of plane waves are then as well in the Hilbert space. By unitarity of , it follows that , too. It remains to determine the scalar product of two different plane waves . This is found using the unitarity of and sesquilinearity of the scalar product: . This has to hold for all and thus if it follows that the scalar product vanishes.
Thus we have found our (polymer) Hilbert space: It is the space of (square summable) linear combinatios of plane waves with a scalar product such that the are an orthonormal basis.
Now, what about and ? It is easy to see that when defined by a derivative as above acts in the usual way, that is on a basis element which is unbounded as can be arbitrarily large. The price for having plane waves as normalisable wave functions is, however, that is not defined: It would be . But for the two exponentials in the denominator are always orthogonal and thus not "close" as measured by the norm. The denominator always has norm 2 and thus the limit is divergent. Another way to see this is to notice that would of course act as multiplication by the coordinate , but times a plane wave is no longer a linear combination of plane waves.
To make contact with loop cosmology one just has to rename the variables: What I called for a simplicity of presentaion is the volume element in loop cosmology while the role of is played be the conjugate momentum .
If you want you can find my notes for the blackboard talk at HU here (pdf or djvu