Download PDF

Erratum to: On odd rank integral quadratic forms: canonical representatives of projective classes and explicit construction of integral classes with square-free determinant

Erratum
First Online:
  • 273 Downloads

1 Erratum to: RACSAM (2015) 109:199–245 DOI 10.1007/s13398-014-0176-4

The proof of Corollary 13 of the original article is incorrect. It can be adjusted as follows.

In the statement of Lemma 10 of the original article, the word “diagonal” must be deleted, so as to make the statements of Lemmas 10 and 6 equal. This same Lemma 10 or 6 can be generalized as follows.

Lemma 1

Let \(g\) be an integral quadratic form of rank \(n\ge 1\), and let \(p\) be a prime number such that \(p\not \mid \det g\). Then, there exist an integral \(n\times n\) matrix \(T\) such that \(T^{t}gT=pE\), where \(E\) is integral, and \(\det T\) is \(p^{\frac{n+1}{2}}\) if \(n\) is odd and \(p^{\frac{n+2 }{2}}\) if \(n\) is even.

Proof

The case \(n=2m-1\ge 1\) is Lemma 10 of the original article. We only need to prove the case \(n=2m\ge 2\). The result is trivial if \(m=1\) by taking \( T=\langle p,p\rangle \). The remaining of the proof is exactly parallel to the proof of Lemma 10. \(\square \)

Using Lemma 1 we can adjust the proof of Corollary 13 of the original article as follows

Corollary 1

Let \(g\) be an integral quadratic form of rank \(n=2m+1\) and \(p\) a prime number such that \(p^{2}\) divides \(\Delta =\det g\). Then there is an integral \(n\times n\) matrix \(T\) and a rank \(n\) integral quadratic form \(E\) such that \( \det T=p^{mk}\) and
$$\begin{aligned} T^{t}gT=p^{k}E, \end{aligned}$$
where \(k\) is 1 or 2.

Proof

Assume that \(g\) has the maximal number \(c\) of rows (and columns) divisible by \(p\) inside its integral class (say, the first \(c\) rows and columns of \(g\)). If \(c=1\) then, by Lemma 4 in the original article, the first row and column of \(g\) is superdivisible by \(p\). Then \(T=\langle 1,p,p,\ldots ,p\rangle \) has \(\det T=p^{2m}\) and
$$\begin{aligned} T^{t}fT=p^{2}E, \end{aligned}$$
where \(E\) is integral, which completes the proof in case \(c=1\). If \(c=n\) the result is trivial. We next assume \(1<c<n\). Let \(h\) be the \((n-c)\)-form obtained by deleting the first \(c\) rows and columns of \(g\). Then \(p\not \mid \det h\). Otherwise, by Lemma 4 again, there would be an integral \( (n-c)\times (n-c)\) matrix \(S\) with \(\det S=\pm 1\) such that \(S^{t}hS\) has a row divisible by \(p\). Then, denoting the rank \(c\) identity matrix by \(I_{c}\), the form
$$\begin{aligned} (I_{c}\oplus S)^{t}g(I_{c}\oplus S)=\left( \begin{array}{l@{\quad }l} pA &{} pC \\ pC^{t} &{} S^{t}hS \end{array} \right) , \end{aligned}$$
is integrally equivalent to \(g\) and has more than \(c\) rows divisible by \(p\), which is impossible. By Lemma 1 applied to the rank \((n-c)\) form \(h\), where \(c=2e\) or \(c=2e+1\), \(e\ge 1\), there is an integral \((n-c)\times (n-c)\) matrix \(R\) such that \(\det R=p^{m-e+1}\) and \(R^{t}hR=pE_{1}\), where \( E_{1}\) is integral. Set \(T=I_{c}\oplus R\). Then \(\det T=p^{m-e+1}\), \(m\ge m-e+1\), and
$$\begin{aligned} T^{t}gT=pE, \end{aligned}$$
where \(E\) is integral. This completes the proof of Corollary 13. \(\square \)

The fact that all integral, ternary quadratic zero-forms are commensurable to each other (Theorem 11 in the original article) was essentially proved by Bianchi in [1].

Reference

  1. 1.
    Bianchi, L.: Sul gruppo automorfo delle forme ternarie quadratiche suscettibili di rappresentare lo zero. Rend. della R. Accad. dei Lincei 21, 305–315 (1912)MATHGoogle Scholar

Copyright information

© Springer-Verlag Italia 2015

Authors and Affiliations

  1. 1.Facultad de MatemáticasUniversidad ComplutenseMadridSpain

Personalised recommendations