The quantum lens spaces form a natural and well-studied class of noncommutative spaces which can be subjected to classification using algebraic invariants by drawing on the fully developed classification theory of unital graph C∗-algebras. We introduce the problem of deciding when two quantum lens spaces are equivariantly isomorphic, and solve it in certain basic cases. As opposed to classification up to isomorphism, we can not appeal to a complete general classification theory in the equivariant case, but by combining existing partial results with an ad hoc analysis we can solve the case with dimension 3 completely, and the case with dimension 5 in the prime case. Our results can be formulated directly in terms of the parameters defining the quantum lens spaces, and here occasionally take on a rather complicated form which convinces us that there is a deep underlying explanation for our findings. We complement the fully established partial results with computer experiments that may indicate the way forward.

In this paper, we present a candidate of a vector space basis for the noncommutative algebra O(S _q ^4n-1) of the quantum symplectic sphere for every n ≥ 1. The algebra (S _q ^4n-1) is defined as a certain subalgebra of the quantum symplectic group O(SP _q(2n)). A nontrivial application of the Diamond Lemma is used to construct the vector space basis and the conjecture is supported by computer experiments for n = 1, 2,⋯, 8.