Non-Commutative Number Theory and Diophantine problems

We will describe how arithmetic properties of some orders in quaternion algebras can be used solve Diophantine problems about representations of integers by some quaternary quadratic forms. Some open problems will be described along the way.