4
$\begingroup$

This question arises in connection to trying to take a different (more intrinsic) perspective on the foundations of quantum mechanics, in which projective Hilbert spaces naturally arise, e.g. see Folland, Quantum Field Theory: a Tourist Guide for Mathematicians, section 3.1.

Let $\mathcal{H}$ a (complex) Hilbert space. We then define the associated projective Hilbert space $\mathcal{P(H)}$ as $\mathcal{H}-\{0\}/\mathbb{C}^\times$, i.e. the set of equivalence classes under $\sim$ where $x\sim y$ iff $x = ay$ for some $a \in \mathbb{C}$ nonzero. Then there is a well-defined "ray product", which we will denote by $*$, induced by the inner product on $\mathcal{H}$, which is given by $$[x] *[y] = \frac{|\langle x,y\rangle|}{\|x\|\|y\|}.$$ Then we can think of this ray product as a function $f : \mathcal{P(H)} \times \mathcal{P(H)} \to [0,1]$, and note that it has some simple properties:

  1. Symmetry: $f(x,y) = f(y,x)$.
  2. "Definiteness": $f(x,y) =1 \iff x=y$.
  3. "Linear combination of two orthogonal vectors": if $f(x,y) = 0$ then for any $a,b \in [0,1]$ s.t. $a^2 +b^2 = 1$, there exists $z$ s.t. $f(x,z) = a$ and $f(y,z)=b$.

It seems fairly difficult to think of non-trivial properties of $f$, but there definitely are some, seeming mostly to come from the existence of any linear combination in the Hilbert space.

The question then is whether we can give necessary and sufficient conditions on a function $f: X \times X \to [0,1]$ on some set $X$ to ensure that $X$ arises as a projective Hilbert space for which $f$ is the ray product. Any references or partial progress (e.g. more interesting properties of the ray product) are welcome.

Note: There is a well-known paper by Ashtekar and Schilling that takes projective Hilbert spaces as the fundamental spaces of QM, but they deemphasize this ray product and emphasize more geometric aspects. There are good physical reasons to view the ray product as instead fundamental, as such a natural axiomatization of the ray product would give another route by which one could motivate quantum mechanics.

$\endgroup$
2
  • $\begingroup$ Don't know if I'm being pedantic, but this seems more like an "elliptic space" than a projective space. It seems that you're endowing a projective space with the metric from elliptic geometry. The ray product is the cosine of the distance between two points in an elliptic space. So essentially, you need $d(x,y) = \cos^{-1}(f(x,y))$ to give rise to a metric space with the right properties $\endgroup$
    – wlad
    Commented Oct 20, 2021 at 21:01
  • $\begingroup$ This paper seems to list six postulates, one of which (postulate III) is a complicated one involving matrices: ams.org/journals/tran/1946-059-03/S0002-9947-1946-0016877-X/… $\endgroup$
    – wlad
    Commented Oct 20, 2021 at 21:19

2 Answers 2

2
$\begingroup$

The paper Metric characterization of elliptic space by Leonard M. Blumenthal answers your question once you recognise that your ray product $[x] * [y]$ (or $f(x,y)$) is equal to $\cos(d(x,y))$ where $d:X\times X \to \mathbb R$ is the metric of a metric space $(X,d)$ which happens to be an elliptic space. The above paper shows what's needed for $(X,d)$ to be an elliptic space in either finite or infinite dimensions. Postulate VI ensures the Cauchy completeness property.

$\endgroup$
3
  • $\begingroup$ Ok thanks for the reference. I'll have to look into it. I don't understand it well enough on first blush to tell if it answers my question. $\endgroup$ Commented Oct 20, 2021 at 21:56
  • 1
    $\begingroup$ I looked into the paper and it is definitely relevant. One difference is that I'm concerned with the complex case, as it's the one relevant for QM. I'm not sure whether the results of the paper mostly transfer. Also, my main hope in this question is to get a hopefully non-horrible characterization phrased primarily in terms of the ray product as that's what's physical. This seems to argue in the negative direction, since the characterization is fairly bogged down in technicality, though doesn't really preclude the possibility. In any case, a useful reference. $\endgroup$ Commented Oct 21, 2021 at 0:51
  • 2
    $\begingroup$ I think that you are looking for a purely metric characterization of the Fubini-Study metric in a complex projective space (what Blumenthal did, but in a different setting). I've never seen that done though (nor for complex hyperbolic space). It's a nice question. $\endgroup$ Commented Oct 21, 2021 at 10:26
1
$\begingroup$

This reference on applications of Solèr's theorem appears to answer your question: ORTHOMODULARITY IN INFINITE DIMENSIONS; A THEOREM OF M. SOLER by Samuel S. Holland Jr.

It axiomatises Hilbert spaces over $\mathbb R, \mathbb C, \mathbb H$ without mentioning real numbers or any analytic concepts. It is then possible (in Section 4) to define projective spaces over these rings in a completely axiomatic way without explicitly mentioning $\mathbb R$. Once again though, you are really asking about elliptic geometry as opposed to projective geometry, so you might need to do some work.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .