1: \begin{abstract}

2: We develop the relationship between quaternionic hyperbolic geometry

3: and arithmetic counting or equidistribution applications, that arises

4: from the action of arithmetic groups on quaternionic hyperbolic

5: spaces, especially in dimension $2$.  We prove a Mertens counting

6: formula for the rational points over a definite quaternion algebra $A$

7: over $\QQ$ in the light cone of quaternionic Hermitian forms, as well

8: as a Neville equidistribution theorem of the set of rational points

9: over $A$ in quaternionic Heisenberg groups.

10:   \footnote{{\bf Keywords:} counting, equidistribution, Mertens

11:     formula, quaternionic Heisenberg group, Cygan distance,

12:     sub-Riemannian geometry, common perpendicular, quaternionic

13:     hyperbolic geometry.~~ {\bf AMS codes: } 11E39, 11F06, 11N45,

14:     20G20, 53C17, 53C22, 53C55}

15: \end{abstract}

16: