126. CMB 2005 (vol 48 pp. 535)
127. CMB 2005 (vol 48 pp. 636)
128. CMB 2005 (vol 48 pp. 576)
 Ichimura, Humio

On a Theorem of Kawamoto on Normal Bases of Rings of Integers, II
Let $m=p^e$ be a power of a prime number $p$.
We say that a number field $F$ satisfies the property $(H_m')$
when for any $a \in F^{\times}$, the cyclic extension
$F(\z_m, a^{1/m})/F(\z_m)$ has a normal $p$integral basis.
We prove that $F$ satisfies $(H_m')$
if and only if the natural homomorphism $Cl_F' \to Cl_K'$ is trivial.
Here $K=F(\zeta_m)$, and $Cl_F'$ denotes the ideal class group of $F$
with respect to the $p$integer ring of $F$.
Category:11R33 

129. CMB 2005 (vol 48 pp. 428)
130. CMB 2005 (vol 48 pp. 333)
 Alzer, Horst

Monotonicity Properties of the Hurwitz Zeta Function
Let
$$
\zeta(s,x)=\sum_{n=0}^{\infty}\frac{1}{(n+x)^s} \quad{(s>1,\, x>0)}
$$
be the Hurwitz zeta function and let
$$
Q(x)=Q(x;\alpha,\beta;a,b)=\frac{(\zeta(\alpha,x))^a}{(\zeta(\beta,x))^b},
$$
where $\alpha, \beta>1$
and $a,b>0$ are real numbers. We prove:
(i) The function $Q$ is decreasing on $(0,\infty)$ if{}f $\alpha a\beta b\geq \max(ab,0)$.
(ii) $Q$ is increasing on $(0,\infty)$ if{}f $\alpha a\beta b\leq
\min(ab,0)$.
An application of part (i) reveals that for all $x>0$ the function $s\mapsto [(s1)\zeta(s,x)]^{1/(s1)}$ is decreasing on $(1,\infty)$. This settles
a conjecture of Bastien and Rogalski.
Categories:11M35, 26D15 

131. CMB 2005 (vol 48 pp. 394)
 Đoković, D. Ž.; Szechtman, F.; Zhao, K.

Diagonal Plus Tridiagonal Representatives for Symplectic Congruence Classes of Symmetric Matrices
Let $n=2m$ be even and denote by $\Sp_n(F)$ the symplectic group
of rank $m$ over an infinite field $F$ of characteristic different
from $2$. We show that any $n\times n$ symmetric matrix $A$ is
equivalent under symplectic congruence transformations to the
direct sum of $m\times m$ matrices $B$ and $C$, with $B$ diagonal
and $C$ tridiagonal. Since the $\Sp_n(F)$module of symmetric
$n\times n$ matrices over $F$ is isomorphic to the adjoint module
$\sp_n(F)$, we infer that any adjoint orbit of $\Sp_n(F)$ in
$\sp_n(F)$ has a representative in the sum of $3m1$ root spaces,
which we explicitly determine.
Categories:11E39, 15A63, 17B20 

132. CMB 2005 (vol 48 pp. 211)
 Germain, Jam

The Distribution of Totatives
The integers coprime to $n$ are called the {\it totatives} \rm of $n$.
D. H. Lehmer and Paul Erd\H{o}s were interested in understanding when
the number of totatives between $in/k$ and $(i+1)n/k$ are $1/k$th of
the total number of totatives up to $n$. They provided criteria in
various cases. Here we give an ``if and only if'' criterion which
allows us to recover most of the previous results in this literature
and to go beyond, as well to reformulate the problem in terms of
combinatorial group theory. Our criterion is that the above holds if
and only if for every odd character $\chi \pmod \kappa$ (where
$\kappa:=k/\gcd(k,n/\prod_{pn} p)$) there exists a prime $p=p_\chi$
dividing $n$ for which $\chi(p)=1$.
Categories:11A05, 11A07, 11A25, 20C99 

133. CMB 2005 (vol 48 pp. 121)
134. CMB 2005 (vol 48 pp. 16)
 Cojocaru, Alina Carmen

On the Surjectivity of the Galois Representations Associated to NonCM Elliptic Curves
Let $ E $ be an elliptic curve defined over
$\Q,$ of conductor $N$ and without complex multiplication. For any
positive integer $l$, let $\phi_l$ be the Galois representation
associated to the $l$division points of~$E$. From a celebrated
1972 result of Serre we know that $\phi_l$ is surjective for any
sufficiently large prime $l$. In this paper we find conditional
and unconditional upper bounds in terms of $N$ for the primes $l$
for which $\phi_l$ is {\emph{not}} surjective.
Categories:11G05, 11N36, 11R45 

135. CMB 2005 (vol 48 pp. 147)
 Väänänen, Keijo; Zudilin, Wadim

BakerType Estimates for Linear Forms in the Values of $q$Series
We obtain lower estimates for the absolute values
of linear forms of the values of generalized Heine
series at nonzero points of an imaginary quadratic field~$\II$,
in particular of the values of $q$exponential function.
These estimates depend on the individual coefficients,
not only on the maximum of their absolute values.
The proof uses a variant of classical Siegel's method
applied to a system of functional Poincar\'etype equations
and the connection between the solutions of these functional
equations and the generalized Heine series.
Keywords:measure of linear independence, $q$series Categories:11J82, 33D15 

136. CMB 2004 (vol 47 pp. 589)
137. CMB 2004 (vol 47 pp. 573)
138. CMB 2004 (vol 47 pp. 358)
 Ford, Kevin

A Strong Form of a Problem of R. L. Graham
If $A$ is a set of $M$ positive integers, let $G(A)$ be the maximum
of $a_i/\gcd(a_i,a_j)$ over $a_i,a_j\in A$. We show that if
$G(A)$ is not too much larger than $M$, then $A$ must have a
special structure.
Category:11A05 

139. CMB 2004 (vol 47 pp. 398)
 McKinnon, David

A Reduction of the BatyrevManin Conjecture for Kummer Surfaces
Let $V$ be a $K3$ surface defined over a number field $k$. The
BatyrevManin conjecture for $V$ states that for every nonempty open
subset $U$ of $V$, there exists a finite set $Z_U$ of accumulating
rational curves such that the density of rational points on $UZ_U$ is
strictly less than the density of rational points on $Z_U$. Thus,
the set of rational points of $V$ conjecturally admits a stratification
corresponding to the sets $Z_U$ for successively smaller sets $U$.
In this paper, in the case that $V$ is a Kummer surface, we prove that
the BatyrevManin conjecture for $V$ can be reduced to the
BatyrevManin conjecture for $V$ modulo the endomorphisms of $V$
induced by multiplication by $m$ on the associated abelian surface
$A$. As an application, we use this to show that given some restrictions
on $A$, the set of rational points of $V$ which lie on rational curves
whose preimages have geometric genus 2 admits a stratification of
Keywords:rational points, BatyrevManin conjecture, Kummer, surface, rational curve, abelian surface, height Categories:11G35, 14G05 

140. CMB 2004 (vol 47 pp. 468)
141. CMB 2004 (vol 47 pp. 431)
 Osburn, Robert

A Note on $4$Rank Densities
For certain real quadratic number fields, we prove density results concerning
$4$ranks of tame kernels. We also discuss a relationship between $4$ranks of
tame kernels and %% $4$class ranks of narrow ideal class groups. Additionally,
we give a product formula for a local Hilbert symbol.
Categories:11R70, 19F99, 11R11, 11R45 

142. CMB 2004 (vol 47 pp. 373)
 Győry, K.; Hajdu, L.; Saradha, N.

On the Diophantine Equation $n(n+d)\cdots(n+(k1)d)=by^l$
We show that the product of four or five consecutive positive
terms in arithmetic progression can never be a perfect power whenever the
initial term is coprime to the common difference of the arithmetic
progression. This is a generalization of the results of Euler and Obl\'ath
for the case of squares, and an extension of a theorem of Gy\H ory on three
terms in arithmetic progressions. Several other results concerning the
integral solutions of the equation of the title are also obtained. We extend
results of Sander on the rational solutions of the equation in $n,y$ when
$b=d=1$. We show that there are only finitely many solutions in $n,d,b,y$
when $k\geq 3$, $l\geq 2$ are fixed and $k+l>6$.
Category:11D41 

143. CMB 2004 (vol 47 pp. 237)
 Laubie, François

Ramification des sÃ©ries formelles
Let $p$ be a prime number. Let $k$ be a finite field of characteristic $p$.
The subset $X+X^2 k[[X]]$ of the ring $k[[X]]$ is a group under the substitution
law $\circ $ sometimes called the Nottingham group of $k$; it is denoted by
$\mathcal{R}_k$. The ramification of one series $\gamma\in\mathcal{R}_k$ is
caracterized by its lower ramification numbers: $i_m(\gamma)=\ord_X
\bigl(\gamma^{p^m} (X)/X  1\bigr)$, as well as its upper ramification numbers:
$$
u_m (\gamma) = i_0 (\gamma) + \frac{i_1 (\gamma)  i_0(\gamma)}{p} +
\cdots + \frac{i_m (\gamma)  i_{m1} (\gamma)}{p^m} , \quad (m \in
\mathbb{N}).
$$
By Sen's theorem, the $u_m(\gamma)$ are integers. In this paper, we determine
the sequences of integers $(u_m)$ for which there exists $\gamma\in\mathcal{R}_k$
such that $u_m(\gamma)=u_m$ for all integer $m \geq 0$.
Keywords:ramification, Nottingham group Categories:11S15, 20E18 

144. CMB 2004 (vol 47 pp. 271)
145. CMB 2004 (vol 47 pp. 264)
 McKinnon, David

Counting Rational Points on Ruled Varieties
In this paper, we prove a general result computing the number of rational points
of bounded height on a projective variety $V$ which is covered by lines. The
main technical result used to achieve this is an upper bound on the number of
rational points of bounded height on a line. This upper bound is such that it
can be easily controlled as the line varies, and hence is used to sum the counting
functions of the lines which cover the original variety $V$.
Categories:11G50, 11D45, 11D04, 14G05 

146. CMB 2004 (vol 47 pp. 12)
 Burger, Edward B.

On Newton's Method and Rational Approximations to Quadratic Irrationals
In 1988 Rieger exhibited a differentiable function having a zero at
the golden ratio\break
$(1+\sqrt5)/2$ for which when Newton's method for approximating
roots is applied with an initial value $x_0=0$, all approximates
are socalled ``best rational approximates''in this case, of the
form $F_{2n}/F_{2n+1}$, where $F_n$ denotes the $n$th Fibonacci
number. Recently this observation was extended by Komatsu to the
class of all quadratic irrationals whose continued fraction
expansions have period length $2$. Here we generalize these
observations by producing an analogous result for all quadratic
irrationals and thus provide an explanation for these phenomena.
Categories:11A55, 11B37 

147. CMB 2003 (vol 46 pp. 495)
 Baragar, Arthur

Canonical Vector Heights on Algebraic K3 Surfaces with Picard Number Two
Let $V$ be an algebraic K3 surface defined over a number field $K$.
Suppose $V$ has Picard number two and an infinite group of
automorphisms $\mathcal{A} = \Aut(V/K)$. In this paper, we
introduce the notion of a vector height $\mathbf{h} \colon V \to
\Pic(V) \otimes \mathbb{R}$ and show the existence of a canonical
vector height $\widehat{\mathbf{h}}$ with the following properties:
\begin{gather*}
\widehat{\mathbf{h}} (\sigma P) = \sigma_* \widehat{\mathbf{h}} (P) \\
h_D (P) = \widehat{\mathbf{h}} (P) \cdot D + O(1),
\end{gather*}
where $\sigma \in \mathcal{A}$, $\sigma_*$ is the pushforward of
$\sigma$ (the pullback of $\sigma^{1}$), and $h_D$ is a Weil
height associated to the divisor $D$. The bounded function implied
by the $O(1)$ does not depend on $P$. This allows us to attack
some arithmetic problems. For example, we show that the number of
rational points with bounded logarithmic height in an
$\mathcal{A}$orbit satisfies
$$
N_{\mathcal{A}(P)} (t,D) = \# \{Q \in \mathcal{A}(P) : h_D (Q)
Categories:11G50, 14J28, 14G40, 14J50, 14G05 

148. CMB 2003 (vol 46 pp. 546)
149. CMB 2003 (vol 46 pp. 344)
 Gurak, S.

Gauss and Eisenstein Sums of Order Twelve
Let $q=p^{r}$ with $p$ an odd prime, and $\mathbf{F}_{q}$ denote the finite
field of $q$ elements. Let $\Tr\colon\mathbf{F}_{q} \to\mathbf{F}_{p} $ be
the usual trace map and set $\zeta_{p} =\exp(2\pi i/p)$. For any positive
integer $e$, define the (modified) Gauss sum $g_{r}(e)$ by
$$
g_{r}(e) =\sum_{x\in \mathbf{F}_{q}}\zeta_{p}^{\Tr x^{e}}
$$
Recently, Evans gave an elegant determination of $g_{1}(12)$ in terms of
$g_{1}(3)$, $g_{1}(4)$ and $g_{1}(6)$ which resolved a sign ambiguity
present in a previous evaluation. Here I generalize Evans' result to give
a complete determination of the sum $g_{r}(12)$.
Categories:11L05, 11T24 

150. CMB 2003 (vol 46 pp. 473)
 Yeats, Karen

A Multiplicative Analogue of Schur's Tauberian Theorem
A theorem concerning the asymptotic behaviour of partial sums of the
coefficients of products of Dirichlet series is proved using properties of
regularly varying functions. This theorem is a multiplicative analogue of
Schur's Tauberian theorem for power series.
Category:11N45 
