Arithmetic genus inequalities with an application to sums of squares

We show variants of the genus inequality for the irreducible components of the special fiber of an arithmetic curve over a henselian discrete valuation ring of residue characteristic zero that take into account the non-existence of rational, respectively real points on the the components. We then apply this inequality to obtain the bound $2^{ng}$ (respectively $2^{n(g+1)}$) on the totally positive sum-of-two-squares index in the function field of a curve of genus $g$ over the field of $n$-fold iterated real Laurent series with (respectively without) real points. The bound $2^{n(g+1)}$ had been previously known only for hyperelliptic curves.