1 Introduction

Let
$K$
be a global field, i.e., a finite algebraic extension either of the field
$\mathbb{Q}$
of rational numbers, or of the field of rational functions in one variable over a finite field of constants. Let
${\zeta}_{K}\left(s\right)$
be its zeta-function. Consider its Laurent expansion at
$s=1$
$${\zeta}_{K}\left(s\right)={c}_{-1}(s-1{)}^{-1}+{c}_{0}+{c}_{1}(s-1)+\dots $$
In [1] Yasutaka Ihara introduces and studies the constant
$${\gamma}_{K}={c}_{0}/{c}_{-1}.$$
There are several reasons to study it:

it generalizes the classical Euler constant
$\gamma ={\gamma}_{\mathbb{Q}};$
for imaginary quadratic fields it is expressed by a beautiful Kronecker limit formula; for fields with large discriminants (genera) it is astonishingly smaller than the residue
${c}_{-1}$
itself.

In this appendix we study asymptotic behaviour of this constant when the discriminant (genus) of the field tends to infinity. It is but natural to compare Ihara's results [1] with the methods of infinite zeta-functions developed in [2] .

Let
${\alpha}_{K}=log\sqrt{\left|{d}_{K}\right|}$
in the number field case and
${\alpha}_{K}=({g}_{K}-1)logq$
in the function field case over
${\mathbb{F}}_{q}$
. In the number field case Ihara shows that
$$0\ge {limsup}_{K}\frac{{\gamma}_{K}}{{\alpha}_{K}}\ge {liminf}_{K}\frac{{\gamma}_{K}}{{\alpha}_{K}}\ge -1.$$
We ameliorate the lower bound to Theorem
$1$
. Assuming the generalized Riemann hypothesis we have
${liminf}_{K}\frac{{\gamma}_{K}}{{\alpha}_{K}}\ge $
$$-\frac{log2+\frac{1}{2}log3+\frac{1}{4}log5+\frac{1}{6}log7}{\frac{1}{\sqrt{2}-1}log2+\frac{1}{\sqrt{3}-1}log3+log5+\frac{1}{\sqrt{7}-1}log7+\frac{1}{2}(\gamma +log8\pi )}=-0.26049\dots $$
Remarks. Unconditionally we get
$liminf{\gamma}_{K}/{\alpha}_{K}\ge -0.52227\dots .$
In the function field case using the same method we get
$0\ge limsup{\gamma}_{K}/{\alpha}_{K}\ge liminf{\gamma}_{K}/{\alpha}_{K}\ge -(\sqrt{q}+1{)}^{-1},$
which, of course, coincides with Theorem
$2$
of Ihara's paper [1] . Let us remark that the upper bound
$0$
is attained for any asymptotically bad family of global fields, and that the lower bound in the function field case is attained for any asymptotically optimal family (such that the ratio of the number of
${\mathbb{F}}_{q}$
-points to the genus tends to
$\sqrt{q}-1$
), which we know to exist whenever
$q$
is a square.

In Section 3 we construct examples of class field towers proving (unconditionally) Theorem
$2$
.

$${liminf}_{K}{\gamma}_{K}/{\alpha}_{K}\le -\frac{2log2+log3}{log\sqrt{\mathrm{5.7.11.13.17.19.23.29.31.37}}}=-0.17849\dots $$
This slightly ameliorates on the examples given by Ihara in [1] .

In the number field case set
${\beta}_{K}=-\left(\frac{{r}_{1}}{2}\right(\gamma +log4\pi )+{r}_{2}(\gamma +log2\pi \left)\right).$
If we complete
${\gamma}_{K}$
by archimedean terms, we get Theorem
$3$
. Let
${\stackrel{~}{\gamma}}_{K}={\gamma}_{K}+{\beta}_{K}$
. Then, under the generalized Riemann hypothesis, we have
$${liminf}_{K}\frac{{\stackrel{~}{\gamma}}_{K}}{{\alpha}_{K}}\ge -(\gamma +log(2\pi \left)\right)/(\gamma +log(8\pi \left)\right)=-0.6353\dots $$
Of course,
$limsup{\stackrel{~}{\gamma}}_{K}/{\alpha}_{K}\le 0$
, and
$0$
is attained for any asymptotically bad family (i.e., such that all
$\phi $
's vanish).

The best example we know gives (unconditionally) Theorem
$4$
.

$${liminf}_{K}{\stackrel{~}{\gamma}}_{K}/{\alpha}_{K}\le -0.5478\dots $$

2 Bounds

I am going to consider the asymptotic behaviour of
${\gamma}_{K}$
. We treat the number field case (the same argument in the function field case leads to Theorem 2 of [1] ). Let
$\left|{d}_{K}\right|$
tend to infinity. By Lemma 2.2 of [2] any family of fields contains an asymptotically exact subfamily, i.e., such that for any
$q$
there exists the limit
${\phi}_{q}$
of the ratio of the number
${\Phi}_{q}\left(K\right)$
of prime ideals of norm
$q$
to the ”genus”
${\alpha}_{K}$
, and also the limits
${\phi}_{\mathbb{R}}$
and
${\phi}_{\mathbb{C}}$
of the ratios of
${r}_{1}$
and
${r}_{2}$
to
${\alpha}_{K}$
. To find
$liminf{\gamma}_{K}/{\alpha}_{K}$
and
$liminf{\stackrel{~}{\gamma}}_{K}/{\alpha}_{K}$
it is enough to find corresponding limits for a given asymptotically exact family, and then to look for their minimal values.

In what follows we consider only asymptotically exact families.

Theorem
$5$
. For an asymptotically exact family
$\left\{K\right\}$
we have
$${lim}_{K}\frac{{\gamma}_{K}}{{\alpha}_{K}}=-\sum \frac{{\phi}_{q}logq}{q-1},$$
where
$q$
runs over all prime powers.

Proof. The right-hand side equals
${\xi}_{\phi}^{0}\left(1\right)$
, where
${\xi}_{\phi}^{0}\left(s\right)$
is the log-derivative of the infinite zeta-function
${\zeta}_{\phi}\left(s\right)$
of [2] . The corresponding series converges for
$Res\ge 1$
(Proposition
$4.2$
of [2] ). We know ([1] ,
$\left(\mathrm{1.3.3}\right)$
and
$\left(\mathrm{1.3.4}\right)$
) that
$${\gamma}_{K}=-{lim}_{s\to 1}\left({Z}_{K}\left(s\right)-\frac{1}{s-1}\right),$$
where for
$Re\left(s\right)>1$
$${Z}_{K}\left(s\right)=-\frac{{\zeta}_{K}^{\prime}}{{\zeta}_{K}}\left(s\right)={\sum}_{P,k\ge 1}\frac{logN\left(P\right)}{N(P{)}^{ks}}={\sum}_{q}{\Phi}_{q}\left(K\right)\frac{logq}{{q}^{s}-1}.$$
By the same Proposition
$4.2$
,
$\frac{{\zeta}_{K}^{\prime}}{{\zeta}_{K}}\left(s\right)\to {\xi}_{\phi}^{0}\left(s\right)$
and hence
${\gamma}_{K}/{\alpha}_{K}\to {\xi}_{\phi}^{0}\left(1\right)$
.

Proof of Theorem
$1$
. We have to maximize
$\sum \frac{{\phi}_{q}logq}{q-1}$
under the conditions:

${\phi}_{q}\ge 0;$
for any prime
$p$
we have
${\sum}_{m=1}^{\infty}m{\phi}_{{p}^{m}}\le {\phi}_{\mathbb{R}}+2{\phi}_{\mathbb{C}}$
;
${\sum}_{q}\frac{{\phi}_{q}logq}{\sqrt{q}-1}+{\phi}_{\mathbb{R}}(log2\sqrt{2\pi}+\frac{\pi}{4}+\frac{\gamma}{2})+{\phi}_{\mathbb{C}}(log8\pi +\gamma )\le 1$
(Basic Inequality, GRH-Theorem
$3.1$
of [2] ).

If we put
$${a}_{0}=log\sqrt{8\pi}+\frac{\pi}{4}+\frac{\gamma}{2},{a}_{1}=log8\pi +\gamma ,{a}_{q}=\frac{logq}{\sqrt{q}-1},{b}_{0}={b}_{1}=0,{b}_{q}=\frac{logq}{q-1},$$
we are under conditions (1)-(4) and (i)-(iv) of Section
$8$
of [2] .

Theorem
$1$
is now straightforward from Proposition
$8.3$
of [2] . Indeed, the maximum is attained for
${\phi}_{{p}^{m}}=0$
for
$m>1$
,
${\phi}_{\mathbb{R}}=0,$
and
${\phi}_{2}={\phi}_{3}={\phi}_{5}={\phi}_{7}=2{\phi}_{\mathbb{C}}$
(calculation shows that starting from
${p}^{\prime}=11$
the last inequality of Proposition 8.3 is violated).

Proof of Theorem
$3$
. It is much easier. Since in this case all coefficients are positive and the ratio of the coefficient of the function we maximize to the corresponding coefficient of the Basic Inequality is maximal for
${\phi}_{\mathbb{C}}$
, the maximum is attained when all
$\phi $
's vanish, except for
${\phi}_{\mathbb{C}}$
.

Remarks. If we want unconditional results, then instead of the Basic inequality we have to use Proposition
$3.1$
of [2] :

$$2{\sum}_{q}{\phi}_{q}logq{\sum}_{m=1}^{\infty}\frac{1}{{q}^{m}+1}+{\phi}_{\mathbb{R}}(\gamma /2+1/2+log2\sqrt{\pi})+{\phi}_{\mathbb{C}}(\gamma +log4\pi )\le 1.$$
For
${\stackrel{~}{\gamma}}_{K}/{\alpha}_{K}$
one easily gets
$$liminf\frac{{\stackrel{~}{\gamma}}_{K}}{{\alpha}_{K}}\ge -\frac{\gamma +log\left(2\pi \right)}{\gamma +log\left(4\pi \right)}=-0.7770\dots $$
The calculation for
${\gamma}_{K}/{\alpha}_{K}$
is more tricky, the last condition of Proposition 8.3 is not violated until very large primes. Changing the coefficients by the first term
$(q+1{)}^{-1}$
, Zykin [5] gets
$$liminf\frac{{\gamma}_{K}}{{\alpha}_{K}}\ge -0.52227\dots $$
Note that (for an asymptotically exact family)
$1+{\stackrel{~}{\gamma}}_{K}/{\alpha}_{K}$
is just the value at
$1$
of the log-derivative
$\xi \left(s\right)$
of the completed infinite zeta-function
$\stackrel{~}{\zeta}\left(s\right)$
of [2] .

3 Examples

Let us bound
$liminf{\gamma}_{K}/{\alpha}_{K}$
from above. To do this one should provide some examples of families. The easiest is, just as in Section
$9$
of [2] , to produce quadratic fields having infinite class field towers with prescribed splitting. The proof of Theorem
$1$
suggests that we should look for towers of totally complex fields, where 2, 3, 5 and 7 are totally split. This is however imprecise, because the sum of Proposition
$8.3$
varies but slightly when we change
${p}_{0}$
. Therefore, I also look at the cases when 2, 3, 5, 7 and 11 are split, and when only 2, 3 and 5 are split, or even only 2 and 3. This leads to a slight amelioration on (1.6.30) of [1] .

Each of the following fields has an infinite 2-class field tower with prescribed splitting (just apply Theorem
$9.1$
of [2] ), and Theorem
$5$
gives the following list.

For
$\mathbb{Q}\left(\sqrt{\mathrm{11.13.17.19.23.29.31.37.41.43.47.53.59.61.67}}\right)$
(the example of Thm.9.4 of [2] )
$\mathbb{R},$
$2$
,
$3$
,
$5$
,
$7$
totally split, we get
$liminf{\gamma}_{K}/{\alpha}_{K}\le -0.1515\dots $
For
$\mathbb{Q}\left(\sqrt{-\mathrm{13.17.19.23.29.31.37.41.43.47.53.59.61.73.79}}\right)$
(the example of Theorem
$9.5$
of [2] ) with
$2$
,
$3$
,
$5$
,
$7$
, and
$11$
split we get
$-0.1635\dots $
For
$\mathbb{Q}\left(\sqrt{-\mathrm{7.11.13.17.19.23.29.31.37.41.43.79}}\right)$
with
$2$
,
$3$
,
$5$
split we get
$-0.1727\dots $
For
$\mathbb{Q}\left(\sqrt{-\mathrm{7.11.13.17.19.23.29.31.37.41.47.59}}\right)$
with
$2$
,
$3$
,
$5$
split we get
$-0.1737\dots $
An even better example is found by Zykin [5] :
$\mathbb{Q}\left(\sqrt{-\mathrm{5.7.11.13.17.19.23.29.31.37}}\right)$
with
$2$
and
$3$
split gives us
$-0.17849\dots $
This proves Theorem
$2$
.

For
$liminf{\stackrel{~}{\gamma}}_{K}/{\alpha}_{K}$
the Martinet field
$\mathbb{Q}(cos\frac{2\pi}{11},\sqrt{2},\sqrt{-23})$
(see Theorem
$9.2$
of [2] ) gives
$-0.5336\dots $
The best Hajir-Maire example (see [4] , Section
$3.2$
) gives
$liminf{\stackrel{~}{\gamma}}_{K}/{\alpha}_{K}\le -0.5478\dots $
This proves Theorem
$4$
.

Acknowledgements. I am grateful to Professor Yasutaka Ihara for letting me know his results prior to publication and for a useful e-mail discussion, and to my student Alexei Zykin for many fruitful discussions and for computer verification of my calculations.

References

- Y. Ihara. On the Euler–Kronecker constants of global fields and primes with small norms. This volume.
- M.A. Tsfasman, S.G. Vlăduţ . Infinite Global Fields and the Generalized Brauer–Siegel Theorem. Moscow Math. J., 2002, v.2, n.2, pp.329-402.
- M.A. Tsfasman, S.G. Vlăduţ . Asymptotic properties of zeta-functions. J. Math. Sciences (New York), 1997, v.84, n.5, pp.1445-1467.
- F. Hajir, C. Maire. Tamely ramified towers and discriminant bounds for number fields II. J. Symbolic Computation, 2002, v.33 , no.4, pp. 415-423.
- A.Zykin. Private communication.

^{
$\text{0}$
}
Supported in part by the RFBR Grants 02-01-01041, 02-01-22005.