No label defined (Q3977975)

Let \(\mathbb Q(i\sqrt{m})\) (\(i^ 2=-1\), \(m\) square-free) be an imaginary quadratic field and \(D_m\) its ring of algebraic integers. Let \(h_n(x)=\sum^n_{j,k=1}a_{jk}x_j\bar x_k\) \((a_{jk}=a_{kj}\in D_m)\) be an \(n\)-ary positive definite Hermitian form (abbreviated as an \(H\)-form) over \(D_m\) with discriminant \(\delta_n=\det(a_{jk})\neq 0\). Two \(H\)-forms \(h_n(x)\) and \(g_n(y)\) are said to be equivalent if there exists a unimodular transformation \(x_j=\sum^n_{k=1}a_{jk}y_k\) \((a_{jk}\in D_m\), \(j=1,\ldots,n)\) which transforms \(h_n(x)\) into \(g_n(y)\). The set of all \(H\)-forms equivalent to a given \(h_n(x)\) forms a class. In the present paper the class number \(C_m\) of binary positive definite unimodular Hermitian forms with \(m=19,43,67,163\) is determined and the representatives for each class are also explicitly given. The method heavily relies on the reduction theory of such forms. Therefore this method would be hardly applicable to \(n\)-ary \(H\)-forms with \(n\geq 3\).