Noncommutative Geometry of the Moyal Plane: Translation Isometries, Connes' Distance on Coherent States, Pythagoras Equality

We study the metric aspect of the Moyal plane from Connes' noncommutative geometry point of view. First, we compute Connes' spectral distance associated with the natural isometric action of on the algebra of the Moyal plane . We show that the distance between any state of and any of its translated states is precisely the amplitude of the translation. As a consequence, we obtain the spectral distance between coherent states of the quantum harmonic oscillator as the Euclidean distance on the plane. We investigate the classical limit, showing that the set of coherent states equipped with Connes' spectral distance tends towards the Euclidean plane as the parameter of deformation goes to zero. The extension of these results to the action of the symplectic group is also discussed, with particular emphasis on the orbits of coherent states under rotations. Second, we compute the spectral distance in the double Moyal plane, intended as the product of (the minimal unitization of) by . We show that on the set of states obtained by translation of an arbitrary state of , this distance is given by the Pythagoras theorem. On the way, we prove some Pythagoras inequalities for the product of arbitrary unital and non-degenerate spectral triples. Applied to the Doplicher- Fredenhagen-Roberts model of quantum spacetime [DFR], these two theorems show that Connes' spectral distance and the DFR quantum length coincide on the set of states of optimal localization.