English

Sums of integral squares in complex bi-quadratic fields and in CM fields

Number Theory 2021-03-10 v1

Abstract

Let KK be a complex bi-quadratic field with ring of integers OK\mathcal{O}_{K}. For K=Q(mK = \mathbb{Q}(\sqrt{-m}, n\sqrt{n}), where m3(mod4) m \equiv 3 \pmod 4 and n1(mod4) n \equiv 1 \pmod 4, we prove that every algebraic integer can be written as sum of integral squares. Using this, we prove that for any complex bi-quadratic field KK, every element of 4OK4\mathcal{O}_K can be written as sum of five integral squares. In addition, we show that the Pythagoras number of ring of integers of any CM field is at most five. Moreover, we give two classes of complex bi-quadratic fields for which p(OK)=3p(\mathcal{O}_{K})= 3 and p(4OK)=3p(4\mathcal{O}_{K})=3 respectively. Here, p(OK)p(\mathcal{O}_{K}) is the Pythagoras number of ring of integers of KK and p(4OK)p(4\mathcal{O}_{K}) is the smallest positive integer tt such that every element of 4OK4\mathcal{O}_{K} can be written as sum of tt integral squares.

Keywords

Cite

@article{arxiv.2103.05322,
  title  = {Sums of integral squares in complex bi-quadratic fields and in CM fields},
  author = {Srijonee Shabnam Chaudhury},
  journal= {arXiv preprint arXiv:2103.05322},
  year   = {2021}
}

Comments

11pages. arXiv admin note: text overlap with arXiv:2005.13870