Binary hermitian forms and optimal embeddings

Abstract

Fix a quadratic order over the ring of integers. An embedding of the quadratic order into a quaternionic order naturally gives an integral binary hermitian form over the quadratic order. We show that, in certain cases, this correspondence is a discriminant preserving bijection between the isomorphism classes of embeddings and integral binary hermitian forms.