76. CJM 2009 (vol 62 pp. 582)
 Konyagin, Sergei V.; Pomerance, Carl; Shparlinski, Igor E.

On the Distribution of Pseudopowers
An xpseudopower to base g is a positive integer that is not a power of g, yet is so modulo p for all primes $ple x$. We improve an upper bound for the least such number, due to E.~Bach, R.~Lukes, J.~Shallit, and H.~C.~Williams. The method is based on a combination of some bounds of exponential sums with new results about the average behaviour of the multiplicative order of g modulo prime numbers.
Categories:11A07, 11L07, 11N36 

77. CJM 2009 (vol 62 pp. 456)
 Yang, Tonghai

The ChowlaâSelberg Formula and The Colmez Conjecture
In this paper, we reinterpret the Colmez conjecture on the Faltings height of CM abelian varieties in terms of Hilbert (and Siegel) modular forms. We construct an elliptic modular form involving the Faltings height of a CM abelian surface and arithmetic intersection numbers, and prove that the Colmez conjecture for CM abelian surfaces is equivalent to the cuspidality of this modular form.
Categories:11G15, 11F41, 14K22 

78. CJM 2009 (vol 62 pp. 400)
 Prasanna, Kartik

On pAdic Properties of Central LValues of Quadratic Twists of an Elliptic Curve
We study $p$indivisibility of the central values $L(1,E_d)$ of
quadratic twists $E_d$ of a semistable elliptic curve $E$ of
conductor $N$. A consideration of the conjecture of Birch and
SwinnertonDyer shows that the set of quadratic discriminants $d$
splits naturally into several families $\mathcal{F}_S$, indexed by subsets $S$
of the primes dividing $N$. Let $\delta_S= \gcd_{d\in \mathcal{F}_S}
L(1,E_d)^{\operatorname{alg}}$, where $L(1,E_d)^{\operatorname{alg}}$ denotes the algebraic part
of the central $L$value, $L(1,E_d)$. Our main theorem relates the
$p$adic valuations of $\delta_S$ as $S$ varies. As a consequence we
present an application to a refined version of a question of
Kolyvagin. Finally we explain an intriguing (albeit speculative)
relation between Waldspurger packets on $\widetilde{\operatorname{SL}_2}$ and
congruences of modular forms of integral and halfintegral weight. In
this context, we formulate a conjecture on congruences of
halfintegral weight forms and explain its relevance to the problem of
$p$indivisibility of $L$values of quadratic twists.
Categories:11F40, 11F67, 11G05 

79. CJM 2009 (vol 61 pp. 1214)
 Cilleruelo, Javier; Granville, Andrew

Close Lattice Points on Circles
We classify the sets of four lattice points that all lie on a
short arc of a circle that has its center at the origin;
specifically on arcs of length $tR^{1/3}$ on a circle of radius
$R$, for any given $t>0$. In particular we prove that any arc of
length $ (40 + \frac{40}3\sqrt{10} )^{1/3}R^{1/3}$ on a circle of
radius $R$, with $R>\sqrt{65}$, contains at most three lattice
points, whereas we give an explicit infinite family of $4$tuples
of lattice points, $(\nu_{1,n},\nu_{2,n},\nu_{3,n},\nu_{4,n})$,
each of which lies on an arc of length $ (40 +
\frac{40}3\sqrt{10})^{\smash{1/3}}R_n^{\smash{1/3}}+o(1)$ on a circle of
radius $R_n$.
Category:11N36 

80. CJM 2009 (vol 61 pp. 1383)
 Wambach, Eric

Integral Representation for $U_{3} \times \GL_{2}$
Gelbart and PiatetskiiShapiro constructed
various integral
representations of RankinSel\berg type for groups $G \times
\GL_{n}$,
where $G$
is of split rank $n$. Here we show that their method
can equally well be applied
to the product $U_{3} \times \GL_{2}$, where $U_{3}$
denotes the quasisplit
unitary group in three variables. As an application, we describe which
cuspidal automorphic representations of $U_{3}$ occur
in the Siegel induced
residual spectrum of the quasisplit $U_{4}$.
Categories:11F70, 11F67 

81. CJM 2009 (vol 61 pp. 1341)
 Rivoal, Tanguy

Simultaneous Polynomial Approximations of the Lerch Function
We construct bivariate polynomial approximations of the Lerch
function that for certain specialisations of the variables and
parameters turn out to be HermitePad\'e approximants either of
the polylogarithms or of Hurwitz zeta functions. In the former
case, we recover known results, while in the latter the results
are new and generalise some recent works of Beukers and Pr\'evost.
Finally, we make a detailed comparison of our work with Beukers'.
Such constructions are useful in the arithmetical study of the
values of the Riemann zeta function at integer points and of the
KubotaLeopold $p$adic zeta function.
Categories:41A10, 41A21, 11J72 

82. CJM 2009 (vol 61 pp. 1073)
 Griffiths, Ross; Lescop, Mikaël

On the $2$Rank of the Hilbert Kernel of Number Fields
Let $E/F$ be a quadratic extension of
number fields. In this paper, we show that the genus formula for
Hilbert kernels, proved by M. Kolster and A. Movahhedi, gives the
$2$rank of the Hilbert kernel of $E$ provided that the $2$primary
Hilbert kernel of $F$ is trivial. However, since the original genus
formula is not explicit enough in a very particular case, we first
develop a refinement of this formula in order to employ it in the
calculation of the $2$rank of $E$ whenever $F$ is totally real with
trivial $2$primary Hilbert kernel. Finally, we apply our results to
quadratic, biquadratic, and triquadratic fields which include
a complete $2$rank formula for the family of fields
$\Q(\sqrt{2},\sqrt{\delta})$ where $\delta$ is a squarefree integer.
Categories:11R70, 19F15 

83. CJM 2009 (vol 61 pp. 1118)
 Pontreau, Corentin

Petits points d'une surface
Pour toute sousvari\'et\'e g\'eom\'etriquement irr\'eductible $V$
du grou\pe multiplicatif
$\mathbb{G}_m^n$, on sait qu'en dehors d'un nombre fini de
translat\'es de tores exceptionnels
inclus dans $V$, tous les points sont de hauteur minor\'ee par une
certaine quantit\'e $q(V)^{1}>0$. On conna\^it de plus une borne
sup\'erieure pour la somme des degr\'es de ces translat\'es de
tores pour des valeurs de $q(V)$ polynomiales en le degr\'e de $V$.
Ceci n'est pas le cas si l'on exige une minoration quasioptimale
pour la hauteur des points de $V$, essentiellement lin\'eaire en l'inverse du degr\'e.
Nous apportons ici une r\'eponse partielle \`a ce probl\`eme\,: nous
donnons une majoration de la somme des degr\'es de ces translat\'es de
soustores de codimension $1$ d'une hypersurface $V$. Les r\'esultats,
obtenus dans le cas de $\mathbb{G}_m^3$, mais compl\`etement
explicites, peuvent toutefois s'\'etendre \`a $\mathbb{G}_m^n$,
moyennant quelques petites complications inh\'erentes \`a la dimension
$n$.
Keywords:Hauteur normalisÃ©e, groupe multiplicatif, problÃ¨me de Lehmer, petits points Categories:11G50, 11J81, 14G40 

84. CJM 2009 (vol 61 pp. 779)
 Grbac, Neven

Residual Spectra of Split Classical Groups and their Inner Forms
This paper is concerned with the residual spectrum of the
hermitian quaternionic classical groups $G_n'$ and $H_n'$ defined
as algebraic groups for a quaternion algebra over an algebraic
number field. Groups $G_n'$ and
$H_n'$ are not quasisplit. They are inner forms of the split
groups $\SO_{4n}$ and $\Sp_{4n}$. Hence, the parts of the residual
spectrum of $G_n'$ and $H_n'$ obtained in this paper are compared
to the corresponding parts for the split groups $\SO_{4n}$ and
$\Sp_{4n}$.
Categories:11F70, 22E55 

85. CJM 2009 (vol 61 pp. 828)
 Howard, Benjamin

Twisted GrossZagier Theorems
The theorems of GrossZagier and Zhang relate the N\'eronTate
heights of complex multiplication points on the modular curve $X_0(N)$
(and on Shimura curve analogues) with the central derivatives of
automorphic $L$function. We extend these results to include certain
CM points on modular curves of the form
$X(\Gamma_0(M)\cap\Gamma_1(S))$ (and on Shimura curve analogues).
These results are motivated by applications to Hida theory
that can be found in the companion article
"Central derivatives of $L$functions in Hida families", Math.\ Ann.\
\textbf{399}(2007), 803818.
Categories:11G18, 14G35 

86. CJM 2009 (vol 61 pp. 674)
 Pollack, David; Pollack, Robert

A Construction of Rigid Analytic Cohomology Classes for Congruence Subgroups of $\SL_3(\mathbb Z)$
We give a constructive proof, in the special case of ${\rm GL}_3$, of
a theorem of Ash and Stevens which compares overconvergent cohomology
to classical cohomology. Namely, we show that every ordinary
classical Heckeeigenclass can be lifted uniquely to a rigid analytic
eigenclass. Our basic method builds on the ideas of M. Greenberg; we
first form an arbitrary lift of the classical eigenclass to a
distributionvalued cochain. Then, by appropriately iterating the
$U_p$operator, we produce a cocycle whose image in cohomology is the
desired eigenclass. The constructive nature of this proof makes it
possible to perform computer computations to approximate these
interesting overconvergent eigenclasses.
Categories:11F75, 11F85 

87. CJM 2009 (vol 61 pp. 518)
 Belliard, JeanRobert

Global Units Modulo Circular Units: Descent Without Iwasawa's Main Conjecture
Iwasawa's classical asymptotical formula relates the orders of the $p$parts $X_n$ of the ideal
class groups along a $\mathbb{Z}_p$extension $F_\infty/F$ of a number
field $F$ to Iwasawa structural invariants $\la$ and $\mu$
attached to the inverse limit $X_\infty=\varprojlim X_n$.
It relies on ``good" descent properties satisfied by
$X_n$. If $F$ is abelian and $F_\infty$ is cyclotomic, it is known
that the $p$parts of the orders of the global units modulo
circular units $U_n/C_n$ are asymptotically equivalent to the
$p$parts of the ideal class numbers. This suggests that these
quotients $U_n/C_n$, so to speak unit class groups, also satisfy
good descent properties. We show this directly, \emph{i.e.,} without using Iwasawa's Main Conjecture.
Category:11R23 

88. CJM 2009 (vol 61 pp. 481)
 Banks, William D.; Garaev, Moubariz Z.; Luca, Florian; Shparlinski, Igor E.

Uniform Distribution of Fractional Parts Related to Pseudoprimes
We estimate exponential sums with the Fermatlike quotients
$$
f_g(n) = \frac{g^{n1}  1}{n} \quad\text{and}\quad h_g(n)=\frac{g^{n1}1}{P(n)},
$$
where $g$ and $n$ are positive integers, $n$ is composite, and
$P(n)$ is the largest prime factor of $n$. Clearly, both $f_g(n)$
and $h_g(n)$ are integers if $n$ is a Fermat pseudoprime to base
$g$, and if $n$ is a Carmichael number, this is true for all $g$
coprime to $n$. Nevertheless, our bounds imply that the fractional
parts $\{f_g(n)\}$ and $\{h_g(n)\}$ are uniformly distributed, on
average over~$g$ for $f_g(n)$, and individually for $h_g(n)$. We
also obtain similar results with the functions ${\widetilde f}_g(n)
= gf_g(n)$ and ${\widetilde h}_g(n) = gh_g(n)$.
Categories:11L07, 11N37, 11N60 

89. CJM 2009 (vol 61 pp. 583)
 Hajir, Farshid

Algebraic Properties of a Family of Generalized Laguerre Polynomials
We study the algebraic properties of Generalized Laguerre Polynomials
for negative integral values of the parameter. For integers $r,n\geq
0$, we conjecture that $L_n^{(1nr)}(x) = \sum_{j=0}^n
\binom{nj+r}{nj}x^j/j!$ is a $\Q$irreducible polynomial whose
Galois group contains the alternating group on $n$ letters. That this
is so for $r=n$ was conjectured in the 1950's by Grosswald and proven
recently by Filaseta and Trifonov. It follows from recent work of
Hajir and Wong that the conjecture is true when $r$ is large with
respect to $n\geq 5$. Here we verify it in three situations: i) when
$n$ is large with respect to $r$, ii) when $r \leq 8$, and iii) when
$n\leq 4$. The main tool is the theory of $p$adic Newton Polygons.
Categories:11R09, 05E35 

90. CJM 2009 (vol 61 pp. 617)
 Kim, Wook

Square Integrable Representations and the Standard Module Conjecture for General Spin Groups
In this paper we study square integrable representations and
$L$functions for quasisplit general spin groups over a $p$adic
field. In the first part, the holomorphy of $L$functions in a half
plane is proved by using a variant form of Casselman's square
integrability criterion and the LanglandsShahidi method. The
remaining part focuses on the proof of the standard module
conjecture. We generalize Mui\'c's idea via the LanglandsShahidi method
towards a proof of the conjecture. It is used in the work of M. Asgari
and F. Shahidi on generic transfer for general spin groups.
Categories:11F70, 11F85 

91. CJM 2009 (vol 61 pp. 336)
 Garaev, M. Z.

The Large Sieve Inequality for the Exponential Sequence $\lambda^{[O(n^{15/14+o(1)})]}$ Modulo Primes
Let $\lambda$ be a fixed integer exceeding $1$ and $s_n$ any
strictly increasing sequence of positive integers satisfying $s_n\le
n^{15/14+o(1)}.$ In this paper we give a version of the large sieve
inequality for the sequence $\lambda^{s_n}.$ In particular, we
obtain nontrivial estimates of the associated trigonometric sums
``on average" and establish equidistribution properties of the
numbers $\lambda^{s_n} , n\le p(\log p)^{2+\varepsilon}$,
modulo $p$ for most primes $p.$
Keywords:Large sieve, exponential sums Categories:11L07, 11N36 

92. CJM 2009 (vol 61 pp. 373)
 McKee, Mark

An Infinite Order Whittaker Function
In this paper we construct a flat smooth section of an induced space
$I(s,\eta)$ of $SL_2(\mathbb{R})$ so that the attached Whittaker function
is not of finite order.
An asymptotic method of classical analysis is used.
Categories:11F70, 22E45, 41A60, 11M99, 30D15, 33C15 

93. CJM 2009 (vol 61 pp. 395)
 Moriyama, Tomonori

$L$Functions for $\GSp(2)\times \GL(2)$: Archimedean Theory and Applications
Let $\Pi$ be a generic cuspidal automorphic representation of
$\GSp(2)$ defined over a totally real algebraic number field $\gfk$
whose archimedean type is either a (limit of) large discrete series
representation or a certain principal series representation. Through
explicit computation of archimedean local zeta integrals, we prove the
functional equation of tensor product $L$functions $L(s,\Pi \times
\sigma)$ for an arbitrary cuspidal automorphic representation $\sigma$
of $\GL(2)$. We also give an application to the spinor $L$function
of $\Pi$.
Categories:11F70, 11F41, 11F46 

94. CJM 2009 (vol 61 pp. 465)
 Woodford, Roger

On Partitions into Powers of Primes and Their Difference Functions
In this paper, we extend the approach first outlined by Hardy and
Ramanujan for calculating the asymptotic formulae for the number of
partitions into $r$th powers of primes, $p_{\mathbb{P}^{(r)}}(n)$,
to include their difference functions. In doing so, we rectify an
oversight of said authors, namely that the first difference function
is perforce positive for all values of $n$, and include the
magnitude of the error term.
Categories:05A17, 11P81 

95. CJM 2009 (vol 61 pp. 264)
 Bell, J. P.; Hare, K. G.

On $\BbZ$Modules of Algebraic Integers
Let $q$ be an algebraic integer of degree $d \geq 2$.
Consider the rank of the multiplicative subgroup of $\BbC^*$ generated
by the conjugates of $q$.
We say $q$ is of {\em full rank} if either the rank is $d1$ and $q$
has norm $\pm 1$, or the rank is $d$.
In this paper we study some properties of $\BbZ[q]$ where $q$ is an
algebraic integer of full rank.
The special cases of when $q$ is a Pisot number and when $q$ is a Pisotcyclotomic number
are also studied.
There are four main results.
\begin{compactenum}[\rm(1)]
\item If $q$ is an algebraic integer of full rank and $n$ is a fixed positive
integer,
then there are only finitely many $m$ such that
$\disc\left(\BbZ[q^m]\right)=\disc\left(\BbZ[q^n]\right)$.
\item If $q$ and $r$ are algebraic integers of degree $d$ of full rank
and $\BbZ[q^n] = \BbZ[r^n]$ for
infinitely many $n$, then either $q = \omega r'$ or $q={\rm Norm}(r)^{2/d}\omega/r'$,
where
$r'$ is some conjugate of $r$ and $\omega$ is some root of unity.
\item Let $r$ be an algebraic integer of degree at most $3$.
Then there are at most $40$ Pisot numbers $q$ such that
$\BbZ[q] = \BbZ[r]$.
\item There are only finitely many Pisotcyclotomic numbers of any fixed
order.
\end{compactenum}
Keywords:algebraic integers, Pisot numbers, full rank, discriminant Categories:11R04, 11R06 

96. CJM 2009 (vol 61 pp. 3)
 Behrend, Kai; Dhillon, Ajneet

Connected Components of Moduli Stacks of Torsors via Tamagawa Numbers
Let $X$ be a smooth projective geometrically connected curve over
a finite field with function field $K$. Let $\G$ be a connected semisimple group
scheme over $X$. Under certain hypotheses we prove the equality of
two numbers associated with $\G$.
The first is an arithmetic invariant, its Tamagawa number. The second
is a geometric invariant, the number of connected components of the moduli
stack of $\G$torsors on $X$. Our results are most useful for studying
connected components as much is known about Tamagawa numbers.
Categories:11E, 11R, 14D, 14H 

97. CJM 2009 (vol 61 pp. 141)
 Green, Ben; Konyagin, Sergei

On the Littlewood Problem Modulo a Prime
Let $p$ be a prime, and let $f \from \mathbb{Z}/p\mathbb{Z} \rightarrow
\mathbb{R}$ be a function with $\E f = 0$ and $\Vert \widehat{f}
\Vert_1 \leq 1$. Then
$\min_{x \in \Zp} f(x) = O(\log p)^{1/3 + \epsilon}$.
One should think of $f$ as being ``approximately continuous''; our
result is then an ``approximate intermediate value theorem''.
As an immediate consequence we show that if $A \subseteq \Zp$ is a
set of cardinality $\lfloor p/2\rfloor$, then
$\sum_r \widehat{1_A}(r) \gg (\log p)^{1/3  \epsilon}$. This
gives a result on a ``mod $p$'' analogue of Littlewood's wellknown
problem concerning the smallest possible $L^1$norm of the Fourier
transform of a set of $n$ integers.
Another application is to answer a question of Gowers. If $A
\subseteq \Zp$ is a set of size $\lfloor p/2 \rfloor$, then there is
some $x \in \Zp$ such that
\[  A \cap (A + x)  p/4  = o(p).\]
Categories:42A99, 11B99 

98. CJM 2009 (vol 61 pp. 165)
 Laurent, Michel

Exponents of Diophantine Approximation in Dimension Two
Let $\Theta=(\alpha,\beta)$ be a point in $\bR^2$, with $1,\alpha,
\beta$ linearly independent over $\bQ$. We attach to $\Theta$ a
quadruple $\Omega(\Theta)$ of exponents that measure the quality
of approximation to $\Theta$ both by rational points and by
rational lines. The two ``uniform'' components of $\Omega(\Theta)$
are related by an equation due to Jarn\'\i k, and the four
exponents satisfy two inequalities that refine Khintchine's
transference principle. Conversely, we show that for any quadruple
$\Omega$ fulfilling these necessary conditions, there exists
a point $\Theta\in \bR^2$ for which $\Omega(\Theta) =\Omega$.
Categories:11J13, 11J70 

99. CJM 2008 (vol 60 pp. 1306)
 Mui\'c, Goran

Theta Lifts of Tempered Representations for Dual Pairs $(\Sp_{2n}, O(V))$
This paper is the continuation of our previous work on the explicit
determination of the structure of theta lifts for dual pairs
$(\Sp_{2n}, O(V))$ over a nonarchimedean field $F$ of characteristic
different than $2$, where $n$ is the split rank of $\Sp_{2n}$ and the
dimension of the space $V$ (over $F$) is even. We determine the
structure of theta lifts of tempered representations in terms of theta
lifts of representations in discrete series.
Categories:22E35, 22E50, 11F70 

100. CJM 2008 (vol 60 pp. 1406)
 Ricotta, Guillaume; Vidick, Thomas

Hauteur asymptotique des points de Heegner
Geometric intuition suggests that the N\'{e}ronTate height of Heegner
points on a rational elliptic curve $E$ should be asymptotically
governed by the degree of its modular parametrisation. In this paper,
we show that this geometric intuition asymptotically holds on average
over a subset of discriminants. We also study the asymptotic behaviour
of traces of Heegner points on average over a subset of discriminants
and find a difference according to the rank of the elliptic curve. By
the GrossZagier formulae, such heights are related to the special
value at the critical point for either the derivative of the
RankinSelberg convolution of $E$ with a certain weight one theta
series attached to the principal ideal class of an imaginary quadratic
field or the twisted $L$function of $E$ by a quadratic Dirichlet
character. Asymptotic formulae for the first moments associated with
these $L$series and $L$functions are proved, and experimental results
are discussed. The appendix contains some conjectural applications of
our results to the problem of the discretisation of odd quadratic
twists of elliptic curves.
Categories:11G50, 11M41 
