CUNY Academic Works CUNY Academic Works

Dissertations, Theses, and Capstone Projects CUNY Graduate Center

5-2018

The Distribution of Totally Positive Integers in Totally Real The Distribution of Totally Positive Integers in Totally Real Number Fields

Number Fields

Tianyi Mao

The Graduate Center, City University of New York

How does access to this work benefit you? Let us know!

More information about this work at: https://academicworks.cuny.edu/gc_etds/2669 Discover additional works at: https://academicworks.cuny.edu

This work is made publicly available by the City University of New York (CUNY).

Contact: AcademicWorks@cuny.edu

### Totally Real Number Fields

by Tianyi Mao

A dissertation submitted to the Graduate Faculty in Mathematics in partial fulfill- ment of the requirements for the degree of Doctor of Philosophy, The City University of New York.

2018

2018c

Tianyi Mao

All Rights Reserved

Abstract

The Distribution of Totally Positive Integers in Totally Real Number Fields

by Tianyi Mao

Advisor: Gautam Chinta

Hecke studies the distribution of fractional parts of quadratic irrationals with Fourier expansion of Dirichlet series. This method is generalized by Behnke and Ash-Friedberg, to study the distribution of the number of totally positive integers of given trace in a general totally real number field of any degree. When the number field is quadratic, Beck also proved a mean value result using the continued fraction expansions of quadratic irrationals. We generalize Beck’s result to higher moments.

When the field is cubic, we show that the asymptotic behavior of a weighted Dio- phantine sum is related to the structure of the unit group. The main term can be expressed in terms of Gr¨ossencharacter L-functions.

I would like to express my sincere gratitude to my advisor, Gautam Chinta, for his help and encouragement throughout my PhD studies. I would also like to express my thanks to my professors at Tsinghua University for teaching me the fundamentals of mathematics.

v

### Contents

1 Introduction 1

1.1 History and motivation . . . . 1 1.2 Main Results . . . . 3 1.3 Future Directions . . . . 5

2 Quadratic Fields: A Mean Value Result 8

2.1 Dirichlet Series Constructed from Totally Real Number Fields . . . . 8 2.2 The Distribution of the Second Moment . . . . 20

3 Cubic Fields: A Weighted Sum 30

3.1 Dirichlet Series Constructed from Totally Real Number Fields . . . . 30 3.2 Working with the Cubic Field . . . . 36 3.3 Some Numerical Computations . . . . 47

4 Weight Sum in Irrational Polytopes 52

4.1 Introduction . . . . 52

vi

4.2 Poisson Summation Formula with Explicit Error Term . . . . 54
4.3 Detail of calculation of weighted Fourier inversion . . . . 58
4.4 L^{1} bound and uniform bound of the Error Term . . . . 62

Bibliography 71

### Chapter 1 Introduction

1.1 History and motivation

The study of the equidistribution of the fractional part of mα for α irrational and m = 1, 2, . . . running over the rational integers, dates back to Weyl’s work [10] in 1910. Hecke [9] studied the case when α is a fixed real quadratic irrational. His key idea is using the Fourier expansion of the Dirichlet series

X

m≥1

{mα} − 1 2

m^{−s}

to estimate the Diophantine sum

S_{1}(n) =

n

X

m=1

{mα} −1 2

. (1.1)

Both Behnke [5] and Ash-Friedberg [1] aim at generalizing Hecke’s result to an arbitrary totally real field K of degree n. In such cases, the generalization of the fractional part of mα is the error term in the natural geometric estimate for the

1

number of totally positive integers of K of a given trace. They form the Dirichlet
series ϕ(s) whose coefficients are these errors. More specifically, let O_{K} be the ring
of integers of K, and let Tr(O_{K}) be generated by κ > 0. For positive multiples a
of κ, let Na denote the number of totally positive integers with trace a. There is
the natural geometric estimate r_{a} of N_{a} derived from the volume of the intersection
in O_{K}⊗ R of the cone of totally positive elements with the hyperplane defined by
Trα = a. Denote the difference between the true value and the estimate by

E_{a} = N_{a}− r_{a}. (1.2)

If a is not a multiple of κ, we set Ea= 0. Then we define the Dirichlet series

ϕ(s) =X

a>0

E_{a}
a^{s}.

In [5] and [1], using the hyperbolic Fourier expansion, ϕ(s) is expressed in terms of an infinite sum involving the Riemann zeta function, Hecke L-functions and some Gamma factors. They deduce from this a meromorphic continuation of ϕ(s) in the right half plane <(s) > 0. Each summand is meromorphic on the whole complex plane. However, if n ≥ 3, the sum will have a dense set of poles on the line <(s) = 0 coming from the Gamma factors, which prevents further analytic continuation. This is an essential difference with Hecke’s case n = 2.

Another direction of generalization of the idea of Hecke is to estimate the average

of the partial sum S_{1}(n) in (1.1). For a quadratic irrational α, define

M_{1}(X) = 1
X

X

X

n=1

S_{1}(n).

Beck [4, Prop 6.1] proves that M1(X) = c log X + o(log X), where the constant c depends on the special value of a quadratic Dirichlet L-function. He uses the theory of continued fractions. Note that Hardy-Littlewood [8] also uses continued fractions to give another proof of Hecke’s result.

Other generalizations of Hecke’s idea can be found in Duke-Imamoglu [7], in the case of certain cones; and Zhuravlev [12], in case of higher dimensional irrational lattices. We also mention the recent work of Borda [6]. This provides another approach to counting lattice points in more general irrational polytopes. If the ideas of the present paper can be extended to higher degree number fields, it will be of interest to compare the results to those of [6].

1.2 Main Results

In this thesis, we give two main results.

The first result is a second moment analogue of Beck’s work. Recall that for a quadratic irrational α, Beck proved a mean value result for

S_{1}(n) =

n

X

m=1

{mα} −1 2

.

We consider, instead, the mean value of the following sum

S_{2}(n) =

n

X

m=1

{mα} −1 2

2

− 1 12

!

. (1.3)

Our result is

Theorem 1. Let D = 2, 3 mod 4 be a positive, square free integer. Let

S_{2}(n) = X

m<n

{ m

√D} − 1 2

2

− 1 12

!

Then

X

n≤X

S_{1}(n) = −R0,1+ R1,1

R√

D X + O(X^{7/9})

where R_{0,1}, R_{1,1} are constants depending only on D. (See Chapter 2 for the explicit
description of the constants R_{0,1} and R_{1,1}.)

Our motivation of the proof comes from [5], in which Behnke uses the following Dirichlet series

X

0α∈OK

N(α)
Tr(α)^{s}

to study the asymptotic behaviour of S_{2}(n) as n → ∞. An interesting feature in our
proof is that we need to apply Behnke’s ideas to the reducible ring Z + OK.

The second result is motivated by the fact that the function ϕ(s) (defined in last section) has a dense set of poles when the degree of the number field is ≥ 3.

However, one observes that the sum defining ϕ(s) is uniformly absolutely convergent

in any vertical strip that contains no poles from the summands. In such case, it is natural to consider exchanging the order of summation in the Perron type integral.

By adding some decay condition on the test function, we obtain the following:

Theorem 2. Let K be a totally real cubic field with discriminant D and regulator
R. Let v_{0} be the trivial character on O^{×}_{K}. Let E_{a} be defined as in (1.2). For k ≥ 3,

X

n≤X

E_{n}log^{k} X
n

= 3√

D
8π^{2}(k + 1)R

X

(0,v6=v0) good

L(1, v)

(log X)^{k+1}
+ O (log X)^{k} .

(See Chapter 3 for the definition of the Hecke L-functions and what it means for the pair (0, v) to be good.)

An interesting feature in this proof is the interaction with transcedental number theory, namely, Baker’s theorem. It is also the reason that we are not able to deal with number fields of degree 4 or higher.

1.3 Future Directions

This thesis revisited Hecke’s ideas, mostly based on the terminology of [1]. In fact, the
Dirichlet series used in these proofs could be generalized, to study the distribution of
characteristic polynomials of totally positive integers in a given number field. Recall
that O_{K} is the ring of integers of a number field K of degree n. For α ∈ O_{K}, write
its characteristic polynomial as x^{n}+ a_{n−1}(α)x^{n−1}+ · · · + a_{1}(α)x + a_{0}(α). What can

we say about how the n-tuple (a_{0}, a_{1}, . . . , a_{n−1}) is distributed in Z^{n} as α ranges over
totally positive integers of O_{K}? Some information can be deduced from the analytic
properties of the multiple Dirichlet series

D(s0, s1, . . . , sn−1) = X

0α∈OK

1

a_{0}(α)^{s}^{0}. . . a_{n−1}(α)^{s}^{n−1}

The method introduced by Hecke allows us to again expand this series as sum of Gr¨ossencharacter L-functions and obtain an analytic continuation.

We will see later that Ash and Friedberg start in [1] with the series

Φ(s, y, v) = X

06=α∈OK

v(α)

Pn−1

i=1 |α^{(i)}|y_{i}y^{1/n}n + |α^{(n)}|yn^{1/n}

s

where y_{n}= (y_{1}. . . y_{n−1})^{−1}. Note that the periodicity of Ψ comes from the fact that,
for any unit u ∈ O^{×}_{K}, α 7→ αu is an automorphism of O_{K}. One can replace the abso-
lute values with p-adic valuations, and replace the denominator with other combina-
tions of |α|v, for v archimedean or nonarchimedean. In this way, one can potentially
construct Dirichlet series associated to other meaningful arithmetic quantities.

For example, consider the multiplicative (affine) Weil height

H(α_{1}, . . . , α_{n}) =Y

v

max{1, |α_{1}|_{v}, . . . , |α_{n}|_{v}}^{d}^{v}^{/d}

where α ∈ K^{n}for some number field K, v runs over the set of places of K, d = [K : Q]

and d_{v} = [K_{v} : Qv]. One may consider

Ψ(α, y) = X

α∈S

Y

v

max{1, |α_{1}|_{v}y_{v,1}, . . . , |α_{n}|_{v}y_{v,n}}^{d}^{v}^{/d}

where S ⊂ K^{n} is invariant under some pointwise multiplication.

Furthermore, if one requires the coordinates of α to be algebraic integers, then one can only look at the infinite places. For example, one may consider

Problem. Study the asymptotic behavior of

N (X) = #{(α, β) nonzero algebraic integers over Q : H(α, β) ≤ X, [Q(α, β) : Q] ≤ 2}.

For any fixed quadratic number field K, one can look at a ”height zeta function”

of K^{2}. Namely, the function

ZK(s) = X

(α,β)∈(OK\{0})^{2}

H(α, β)^{−s}

= X

(α,β)∈(OK\{0})^{2}

max{1, |α^{(1)}|, |β^{(1)}|} max{1, |α^{(2)}|, |β^{(2)}|}^{−sd}v/2

.

If we study each Z_{K}(s) individually, we reproduce the result of Widmer ([11], formula
(1.3)). If we manage to take the sum ZK(s) in a correct way, we expect to take care
of problem 1 above, which is beyond the results in [11]. By replacing O_{K} with set
of p-adic integers, one can also potentially generalize the work of Barroero [3] on
counting S-integers points of bounded height.

### Quadratic Fields: A Mean Value Result

2.1 Dirichlet Series Constructed from Totally Real Number Fields

Let K be a totally real quadratic number field, with 2 real embeddings σ_{i} : K → R,
1 ≤ i ≤ 2. For α ∈ K and 1 ≤ i ≤ 2, let α^{(i)} = σ_{i}(α). Let O_{K} be the ring of integers
of K. Let U be a subgroup of finite index c in the full group of units O_{K}^{×} which
contains {±1}. Let b be a fractional ideal. Let p(α) =Q2

i=1sgn(α^{(i)})^{e}^{i} be such that
p(u) = 1 for all u ∈ U . Let x, y ∈ R^{+}. Define

Φ(s, x, y, p, k, d, b) = X

m≥1,06=α∈b

p(α)N (α)^{d}

(mx + |α^{(1)}|^{k}y^{k/2}+ |α^{(2)}|^{k}y^{−k/2})^{s}(|α^{(1)}|^{k}y^{k/2}+ |α^{(2)}|^{k}y^{−k/2})^{d}.

By the mean value inequality, this series converges absolutely for <(s) > max{1, 1 − d + 3d/k}.

8

To start, we consider Φ as a function of (x, y) ∈ R^{2}+, with s, p, k, b, d fixed. We
will show that Φ is invariant under the action of U and develop its toroidal Fourier
expansion. This expansion is then used to analytically continue Φ in the s variable.

Let u1 be the unit which together with {±1} generates U . Then u1 acts on y by

u_{1}◦ y =

u^{(1)}_{1}
u^{(2)}_{1}

y.

Then

Φ(s, x, y, p, k, d, b) = Φ(s, x, u_{1}◦ y, p, k, d, b).

Thus we have the Fourier expansion in y. To give this, let V = R, and let Λ^{U} be the
lattice in V generated by

λ = log |u^{(1)}_{1} | − log |u^{(2)}_{1} |.

Then V /Λ_{U} is compact and Λ_{U} has covolume 2cR, where R is the regulator of K.

and c = [O_{K}^{×} : U ]. Let Λ^{∗}_{U} be the dual lattice to ΛU in V with respect to the standard
inner product. For v ∈ V ,

Φ(s, x, e^{v}, p, k, d, b) = X

µ∈Λ^{∗}_{U}

a_{µ}(s, x, p, k, d, b)e^{2πivµ}

where

a_{µ}(s, x, p, k, d, b) = 1
2cR

Z

V /ΛU

Φ(s, x, e^{v}, p, k, d, b)e^{−2πivµ}.

In this section we compute these Fourier coefficients. We use the following notations.

Let

λ_{p,µ}(α) = p(α)

α^{(2)}
α^{(1)}

−2πiµ

.

Note that the expression above can be regarded as a function defined over principal
ideals of O_{K}, given that λ_{p,µ}(u) = 1 for all units u. Then λ_{p,µ} can be extended
to all ideals. Let B be the integral ideal class of b^{−1} in the wide sense. For a
Grossencharacter λ = λ_{p,µ}, we define

L(s, λ, b^{−1}) = X

a∈B

λ(a)N (a)^{−s}

= (N b)^{s}
λ(b)

X

b|(β)6=(0)

λ((β))N (β)^{−s}

to be the partial Hecke L-function attached to λ and the ideal class B.

We will show that

Proposition 3. Let σ > 1 be a real number. For <(s) > max{1, 1 − d + 3d/k} + σ,
the Fourier coefficient a_{µ}(s, x, p, k, b) is 0 unless

λ_{p,µ}(u) = 1, ∀u ∈ O_{K}^{×}.

If this condition is satisfied, then

a_{µ}(s, x, p, k, d, b) = 1
2πi

Z

<w=σ

A_{µ}(s, w, p, k, d, b)x^{−w}dw

where

A_{µ}(s, w, p, k, d, b) = 1

Rζ(w)N (b)k(w−s−d)/2+dλ_{p,µ}(b)L k(s − w + d)

2 − d, λ_{p,µ}, b^{−1}

× Γ(w)

(s − w)(s − w + 1) . . . (s − w + d − 1) Γ s − w + d

2 −2πiµ k

Γ s − w + d

2 +2πiµ k

Proof. We have

a_{µ}(s, x, p, k, b) = 1
cnR

Z

exp V / exp ΛU

X

m≥1,06=α∈b

p(α)N (α)^{d}y^{−2πiµ}dy^{∗}

(mx + |α^{(1)}|^{k}y^{k/2}+ |α^{(2)}|^{k}y^{−k/2})^{s}(|α^{(1)}|^{k}y^{k/2}+ |α^{(2)}|^{k}y^{−k/2})^{d}
where dy^{∗} = ^{dy}_{y}.

To go further, we take the Mellin transform of aµ

A_{µ}(s, w, p, k, d, b) =
Z ∞

0

a_{µ}(s, x, p, k, d, b)x^{w}dx
x .

To simplify A_{µ}, fix a fundamental domain for exp V / exp Λ_{U}, replace x with ^{N (α)}_{m}^{k/2}x
and y with

α^{(2)}
α^{(1)}

y. Then we have
A_{µ}(s, w, p, k, d, b) = 1
2cR

X

m≥1,06=α∈b

m^{−w}N (α)k(w−s−d)/2+d

λ_{p,µ}(α)
Z ∞

0

Z

Rα

x^{w}y^{−2πiµ}dy^{∗}dx^{∗}

(x + y^{k/2}+ y^{−k/2})^{s}(y^{k/2}+ y^{−k/2})^{d},

where R_{α} is a domain in exp V depending on α. Now replacing x with y^{−k/2}x we

have

A_{µ}(s, w, p, k, d, b) =
1

2cR

X

m≥1,06=α∈b

m^{−w}N (α)k(w−s−d)/2+dλ_{p,µ}(α)
Z ∞

0

Z

Rα

x^{w}y^{k(s−w+d)}^{2} ^{−2πiµ}dy^{∗}dx^{∗}
(x + y^{k}+ 1)^{s}(y^{k}+ 1)^{d}.
Call two nonzero field elements associate modulo U if their quotient is in U . In
this sum, group together the terms corresponding to α that are associate modulo
U . Indeed, the term in front of the integral does not change if we replace α by αu
for u ∈ U . Collect integrals over R_{α} for α which are associate modulo U . Those
domains join up without overlap to give R+ exactly twice. Now we have

A_{µ}(s, w, p, k, d, b) = 1
cR

X

m≥1,06=α∈b mod U

m^{−w}N (α)k(w−s−d)/2+dλ_{p,µ}(α)I_{µ}(s, w, k, d),

where

Iµ(s, w, k, d) = Z

R^{2}+

x^{w}y^{k(s−w+d)}^{2} ^{−2πiµ}

(x + y^{k}+ 1)^{s}(y^{k}+ 1)^{d}dy^{∗}dx^{∗}.
The integral I_{µ}(s, w, k, d) can be calculated as follows:

Γ(s)I_{µ}(s, w, k, d) =
Z

R^{3}+

t^{s}e^{−t} x^{w}y^{k(s−w+d)}^{2} ^{−2πiµ}

(x + y^{k}+ 1)^{s}(y^{k}+ 1)^{d}dy^{∗}dx^{∗}dt^{∗}

= Z

R^{3}+

t

x + y^{k}+ 1

s

e^{−t}x^{w}y^{k(s−w+d)}^{2} ^{−2πiµ}

(y^{k}+ 1)^{d} dy^{∗}dx^{∗}dt^{∗}

= Z

R^{3}+

t^{s}e^{−t}(^{x+y}^{k}^{+1})x^{w}y^{k(s−w+d)}^{2} ^{−2πiµ}

(y^{k}+ 1)^{d} dy^{∗}dx^{∗}dt^{∗}

= Z

R^{3}+

t^{s}e^{−x−t}(^{y}^{k}^{+1})(x/t)^{w}y^{k(s−w+d)}^{2} ^{−2πiµ}

(y^{k}+ 1)^{d} dy^{∗}dx^{∗}dt^{∗}

= Z

R^{3}+

t^{s−w}e^{−x−t}(^{y}^{k}^{+1})x^{w}y^{k(s−w+d)}^{2} ^{−2πiµ}

(y^{k}+ 1)^{d} dy^{∗}dx^{∗}dt^{∗}

= Γ(w) Z

R^{2}+

t^{s−w}e^{−t}(^{y}^{k}^{+1}) y

k(s−w+d) 2 −2πiµ

(y^{k}+ 1)^{d} dy^{∗}dx^{∗}dt^{∗}

= Γ(w)

(s − w)(s − w + 1) . . . (s − w + d − 1) Z

R^{2}+

t^{s−w+d}e^{−t}(^{y}^{k}^{+1})y^{k(s−w+d)}^{2} ^{−2πiµ}dy^{∗}dx^{∗}dt^{∗}

= Γ(w)

(s − w)(s − w + 1) . . . (s − w + d − 1) Z

R^{2}+

t^{s−w+d}e^{−t}(^{y}^{k}^{+1})(y/t)^{s−w+d}^{2} ^{−}^{2πiµ}^{k} dy^{∗}dx^{∗}dt^{∗}

= Γ(w)

(s − w)(s − w + 1) . . . (s − w + d − 1) Γ s − w + d

2 − 2πiµ k

Γ s − w + d

2 +2πiµ k

Replacing α with αu for any u ∈ O_{K}^{×}, the λ_{p,µ}(u) factor will pop out of the sum.

With that observation we can claim that

A_{µ}(s, w, p, k, d, b) = 0

unless

λ_{p,µ}(u) = 1 for all u ∈ O^{×}_{K}. (2.1)

In this case λ_{p,µ} can be extend to a unique Hecke character. Then we have

A_{µ}(s, w, p, k, d, b) =1
R

X

m≥1,b|(α)6=0

m^{−w}N (α)k(w−s−d)/2+dλ_{p,µ}(α)I_{µ}(s, w, k, d)

=1

Rζ(w)N (b)k(w−s−d)/2+dλ_{p,µ}(b)
L k(s − w + d)

2 − d, λ_{p,µ}, b^{−1}

I_{µ}(s, w, k, d)

where L (s, λ_{p,µ}, b^{−1}) is the partial Hecke L-function.

Putting everything together, the Mellin inversion formula yields

Φ(s, x, e^{v}, p, k, d, b) = X

µ∈Λ^{∗}_{U}

e^{2πihv,µi} 1
2πi

Z

<w=σ

A_{µ}(s, w, p, k, d, b)x^{−w}dw.

We now specialize to the case k = 1, x = 2, y = 1, which yields the Dirichlet series we are primarily interested in. Write

F (s, p, b) = Φ(s, 2, 1, p, 1, d, b).

Then using the fact that the dual lattice Λ^{∗}_{U} = {_{cR}^{1} |n ∈ Z}.

F (s, p, b) = X

m≥1,06=α∈b

p(α)N (α) 2m +P2

i=1|α^{(i)}|^{s} P2

i=1|α^{(i)}|

converges absolutely for <(s) > 2d + 1. This is the Dirichlet series we will use to obtain our main result on the estimation of integers of given trace. This function is

zero unless p(−1) = 1. From now on, let

U = {u ∈ O^{×}_{K}|σ_{i}(u) > 0, i = 1, 2} × {±1}.

We shall show

Corollary 4. Each function F (s, p, b) has meromorphic continuation to the right
half plane <(s) > 0. When p = id, the functions F (s, p, b) have simple poles at
s = d + 3, d + 2 and d + 1 − 2l for 0 ≤ l < ^{d}_{2}, with residues given in the following
table:

s Residue

d + 3 2(d!)^{2}

(2d+1)!(d+2)

√

disc(b)

d + 2 − ^{2(d!)}^{2}

(2d+1)!√

disc(b)
d + 1 − 2l − ^{2}^{3+2l}ζ(−2l−1)(d!)^{2}(d+1)!

(2d+1)!(d−2l)!(2l+1)!√

disc(b) The only other pole of F (s, p, b) in the right half plane is at s = 1.

Proof. Using the Mellin inversion result, we have the following for σ > 1 and <s−σ >

2 + d:

F (s, p, b) =1 R

1 Γ(s)

X

µ∈Λ^{∗}_{U}

λp,µ(b) 1 2πi

Z

<w=σ

Γ(w)ζ(w)2^{−w}

(s − w)(s − w + 1) . . . (s − w + d − 1)
N (b)^{(w−s+d)/2}L s − w − d

2 , λp,µ, b^{−1}

Γ s − w + d

2 − 2πiµ

Γ s − w + d

2 + 2πiµ

dw

In this sum only µ satisfying (2.1) contribute. We call those good µ’s, and we also
say (p, µ) is good. The pair (id, 0) is always good. If U = O_{K}^{×}, the condition (2.1) is
always true for p’s satisfying p(−1) = 1, and all such (p, µ) are good.

The integrand decays faster than any polynomial in any vertical strip as =w →

∞ uniformly, as long as <w − σ > 2 + d. By moving the line of integration to σ = −d − 3 + δ we have

F (s, p, b) =1 R

1 Γ(s)

T_{1}(s) + T_{0}(s) + T−1(s) + X

1≤l<d/2+1

T−2l−1(s) + X

µ good

λ_{p,µ}(b)
1

2πi Z

<w=σ

Γ(w)ζ(w)2^{−w}

(s − w)(s − w + 1) . . . (s − w + d − 1)N (b)^{(w−s+d)/2}
L s − w − d

2 , λ_{p,µ}, b^{−1}

Γ s − w + d

2 − 2πiµ

Γ s − w + d

2 + 2πiµ

dw

,

where the three functions

T_{1}(s) = 1

2(s − 1)s . . . (s + d − 2)N (b)^{(1−s−d)/2} X

µ good

λ_{p,µ}(b)L s − 1 − d

2 , λ_{p,µ}, b^{−1}

Γ s − 1 + d

2 − 2πiµ

Γ s − 1 + d

2 + 2πiµ

T_{0}(s) = − 1
2

1

s(s + 1) . . . (s + d − 1)N (b)^{(−s+d)/2} X

µ good

λ_{p,µ}(b)L s − d

2 , λ_{p,µ}, b^{−1}

Γ s + d

2 − 2πiµ

Γ s + d

2 + 2πiµ

T−1(s) =1 12

2

(s + 1)(s + 2) . . . (s + d)N (b)^{(−1−s+d)/2} X

µ good

λ_{p,µ}(b)

L s + 1 − d

2 , λ_{p,µ}, b^{−1}

Γ s + 1 + d

2 − 2πiµ

Γ s + 1 + d

2 + 2πiµ

come from the residue of the integrand at w = 1, 0, −1. Moving further to the left, we note that Γ(w)ζ(w) only has simple poles at negative odd integers. Thus

T−2l−1(s) = − ζ(−2l − 1) (2l + 1)!

2^{2l+1}

(s + 2l + 1) . . . (s + 2l + d)N (b)(−2l−1−s+d)/2

X

µ good

L s + 2l + 1 − d

2 , λ_{p,µ}, b^{−1}

Γ s + 2l + 1 + d

2 − 2πiµ

Γ s + 2l + 1 + d

2 + 2πiµ

,

comes from the residue of the integrand at w = −2l − 1.

Note that the integral on the line <w = −d − 3 + δ converges absolutely for

<s > −1 + δ. Thus we have an analytic continuation of F (s, p, b) to <s > −1 + δ, which contains the region <(s) > 0. The first few rightmost poles of F are simple, with residues given by:

s = d + 3, Residue = 2(d!)^{2}

(2d + 1)!(d + 2)pdisc(b)

s = d + 2, Residue = − 2(d!)^{2}

(2d + 1)!pdisc(b) s = d + 1 − 2l, 0 ≤ l < d

2, Residue = − 2^{3+2l}ζ(−2l − 1)(d!)^{2}(d + 1)!

(2d + 1)!(d − 2l)!(2l + 1)!pdisc(b).
Here we use the fact that the partial Hecke L-function L(s, id, b^{−1}) has a simple pole
at s = 1 with residue ^{√}^{2R}

discb.

Besides the simple poles mentioned above, the only possibility of poles of F in

the region <s > 0 comes from _{s−1}^{1} of the T_{1}(s) term. The residue contributed by this
term is

1

2R(d − 1)!N (b)^{−d/2} X

µ good

λ_{p,µ}(b)L −d

2 , λ_{p,µ}, b^{−1}

Γ d

2 − 2πiµ

Γ d

2 + 2πiµ

(2.2)

If d is even, T−d−1(s) also contributes a simple pole at s = 1. The residue is

−2^{n+d+1}ζ(−d − 1)(d!)^{2}

(2d + 1)!pdisc(b) . (2.3)

From now on we also assume b = OK. For notational simplicity, write L(s, p) =
L(s, p, O^{−1}_{K} ), F (s, p) = F (s, p, O_{K}). Note that p is either v_{1}(α) = sgn(αα^{0}) or v(α) =
v_{0}(α) = 1.To calculate the residue of F (s, p) at s = 1, we need to more explicitly
describe good pairs (p, µ).

Recall that

U = {u ∈ O_{K}^{×}|σ_{i}(u) > 0 for all i} × {±1}

is essentially determined by the totally positive elements of O^{×}_{K}. In fact, O^{×}_{K} is
generated by {−1} and the fundamental unit with σ_{1}() > 0. The regulator
R = log . If is totally positive, then U is generated by and −1, and c = 1.

Otherwise U is generated by ^{2} and −1, and c = 2. Using this fact, we can rewrite

the (2.1) condition as follows:

λ_{p,µ}(u) = p(u)

u^{(2)}
u^{(1)}

−2πiµ

= p(u)e^{(2mR)}(^{−2πi}2cR^{j} )

= p(u)e^{−2πi}^{mj}^{c}

for u = ^{m}, µ = _{2cR}^{j} . If c = 1, then λ_{p,µ}(u) is always 1. If c = 2, λ_{p,µ}(u) = 1 if and
only if p = id, j even, or p = sgn, j odd. So the sum in 2.2 is

1 2R(d − 1)!

X

j∈Z

L −d
2 , λ_{p,} ^{j}

2R

Γ d

2 − 2πij 2R

Γ d

2 + 2πij 2R

if c = 1, and 1 2R(d − 1)!

X

j∈Z

L −d
2 , λ_{v}

e,^{2j+1}_{4R}

Γ d

2 − 2πi(2j + e) 4R

Γ d

2+ 2πi(2j + e) 4R

if c = 2, e = 0, 1.

Putting the arguments above together, we have the following:

Corollary 5. Let D be the discriminant of K. Let p = v_{e}, e = 0, 1. The function
F (s, p) has a simple pole at s = 1, The residue R_{e,d} is equal to:

• When the fundamental unit of K is totally positive:

– If d is odd:

1 2R(d − 1)!

X

j∈Z

L −d
2 , λ_{p,} ^{j}

2R

Γ d

2 − 2πij 2R

Γ d

2+ 2πij 2R

– If d is even:

1 2R(d − 1)!

X

j∈Z

L −d
2 , λ_{p,} ^{j}

2R

Γ d

2 − 2πij 2R

Γ d

2+ 2πij 2R

+(e − 1)2^{d+3}ζ(−d − 1)(d!)^{2}
(2d + 1)!√

D

• When the fundamental unit of K is not totally positive:

– If d is odd:

1 2R(d − 1)!

X

j∈Z

L −d

2 , λ_{p,}^{2j+e}

4R

Γ d

2 − 2πi(2j + e) 4R

Γ d

2 + 2πi(2j + e) 4R

– If d is even:

1 2R(d − 1)!

X

j∈Z

L −d

2 , λ_{p,}^{2j+e}

4R

Γ d

2 − 2πi(2j + e) 4R

Γ d

2 + 2πi(2j + e) 4R

+(e − 1)2^{d+3}ζ(−d − 1)(d!)^{2}
(2d + 1)!√

D

2.2 The Distribution of the Second Moment

We now show that the analytic continuation and polar structure of Dirichlet series F (s, p) give us the information on the partial sum of totally positive integers of given trace.

Recall that v_{1}(α) = sgn(α^{(1)}α^{(2)}) and v(α) = v_{0}(α) = 1. Note that

F (s) = F (s, v_{0}) + F (s, v_{1}) = 4 X

m≥1,α0

N (α)^{d}

(2m + T r(α))^{s}T r(α)^{d}
Let us further suppose that K = Q(√

D) where D ≡ 2, 3 mod 4. In such case,
the trace of an element in O_{K} is always even. So we have

F (s) = 2^{2−s}X

m≥1

P

T r(α)<2m(N (α)/T r(α))^{d}
m^{s}

= 2^{2−s}X

m≥1

P

m^{0}<m

P

|^{n}^{√}^{D}|^{<m}^{0}N (m^{0} + n√

D)^{d}(2m^{0})^{−d}
m^{s}

We can write

b_{m} = X

|^{n}^{√}^{D}|^{<m}

N (m + n√
D)^{d}

into a polynomial of m and r_{0} = {^{√}^{m}

D}, with coefficients in powers of√

D. Since we
are interested in the distribution of r = r_{0}−^{1}_{2}, we rewrite that polynomial in terms
of m and r.

Examples:

If d = 1:

b_{m} = 4
3√

Dm^{3}− 2√

Dmr^{2}+1
6

√

Dm − 1

6Dr +2
3Dr^{3}
If d = 3:

b_{m} = 2

7D^{3}r^{7}− 2D^{5/2}mr^{6}+24

5 D^{2}m^{2}r^{5}− 4D^{3/2}m^{3}r^{4}

− 1

2D^{3}r^{5}+5

2D^{5/2}mr^{4}− 4D^{2}m^{2}r^{3}+ 32
35m^{7}/√

D
+ 2D^{3/2}m^{3}r^{2}+ 7

24D^{3}r^{3}−7

8D^{5/2}mr^{2}+ 7

10D^{2}m^{2}r

− 7

60D^{3/2}m^{3}− 31

672D^{3}r + 31

672D^{5/2}m

Now regard b_{m} as a polynomial of m, with coefficients in R[√

D, r], written in
descending order. We spot the following pattern in the numerical examples (but did
not prove that): The first term is B_{1} = ^{√}^{C}^{1}

Dm^{2d+1}, the second term is B_{2} = C_{2}(r)m^{d}.
Let B_{3} = b_{m}− B_{1}− B_{2} be the remaining terms of degree less than d.

We are interested in the quantity C2(r) and its partial sum. To be precise, let

S_{d+1}(n) = X

m<n

C_{2}(r)

and

M_{d+1}(n) =

n

X

m=1

S_{d+1}(m).

To study the asymptotic behavior of Md(n), we look at F (s) in the following way:

F (s) = 2^{2−s−d}X

m≥1

P

m^{0}<mb_{m}^{0}m^{0−d}
m^{s}

= 2^{2−s−d}X

m≥1

P

m^{0}<m(B_{1}+ B_{2}+ B_{3})m^{0−d}
m^{s}

= 2^{2−s−d}X

m≥1

P

m^{0}<m

√C1

Dm^{0d+1}+ C_{2}+ B_{3}m^{0−d}
m^{s}

= 2^{2−s−d}X

m≥1 C1

√ D

P

m^{0}<mm^{0d+1}+ S_{d}(m) +P

m^{0}<mB_{3}m^{0−d}
m^{s}

Now we specialize to the case d = 1, in which case

S_{2}(m) = −2√

D X

m^{0}<m

(r^{2}− 1/12)

B_{3}(m) = D

6(4r^{3}− r)
and

F (s) = 2^{2−s−d}X

m≥1 4 3√ D

P

m^{0}<mm^{02}+ S_{2}(m) +P

m^{0}<mB_{3}(m^{0})m^{0−1}
m^{s}

= 2^{2−s−d}X

m≥1 2 9√

D(2m^{3}− 3m^{2}+ m) + S_{2}(m) +P

m^{0}<mB_{3}(m^{0})m^{0−1}
m^{s}

= 2^{2−s−d}

2 9√

D(2ζ(s − 3) − 3ζ(s − 2) + ζ(s − 1))

+ X

m≥1

S_{2}(m) +P

m^{0}<mB_{3}(m^{0})m^{0−1}
m^{s}

!

Note that those three shifted ζ functions contribute exactly the poles of F at s = 4, 3, 2. In other words, let

φ(s) = F (s) − 2^{2−s−d} 2
9√

D(2ζ(s − 3) − 3ζ(s − 2) + ζ(s − 1)) ,

Then φ(s) is meromorphic for <s > 0. Its only pole in the right half plane is at s = 1, and the residue is given by Corollary 5.

Let

E_{m} = S_{2}(m) + X

m^{0}<m

B_{3}(m^{0})m^{0−1} = X

m^{0}<m

b_{m}− 2
9√

D(2m^{3}− 3m^{2} + m).