Matrices whose entries belong to certain rings of algebraic integers can be associated with discrete groups of transformations of inversive $n$-space or hyperbolic $(n+1)$-space $\mbox{H}^{n+1}$. For small $n$, these may be Coxeter groups, generated by reflections, or certain subgroups whose generators include direct isometries of $\mbox{H}^{n+1}$. We show how linear fractional transformations over rings of rational and (real or imaginary) quadratic integers are related to the symmetry groups of regular tilings of the hyperbolic plane or 3-space. New light is shed on the properties of the rational modular group $\PSL_2 (\bbZ)$, the Gaussian modular (Picard) group $\PSL_2 (\bbZ[{\it i}])$, and the Eisenstein modular group $\PSL_2 (\bbZ[\omega ])$.

Lattices and $\ZZ$-modules in Euclidean space possess an infinitude of subsets that are images of the original set under similarity transformation. We classify such self-similar images according to their indices for certain 4D examples that are related to 4D root systems, both crystallographic and non-crystallographic. We encapsulate their statistics in terms of Dirichlet series generating functions and derive some of their asymptotic properties.

In this paper we study properties of the functions which satisfy modular equations for infinitely many primes. The two main results are: \begin{enumerate} \item[1)] every such function is analytic in the upper half plane; \item[2)] if such function takes the same value in two different points $z_1$ and $z_2$ then there exists an $f$-preserving analytic bijection between neighbourhoods of $z_1$ and $z_2$. \end{enumerate}

Let $\Gamma$ be a rank-one arithmetic subgroup of a semisimple Lie group~$G$. For fixed $K$-Type, the spectral side of the Selberg trace formula defines a distribution on the space of infinitesimal characters of~$G$, whose discrete part encodes the dimensions of the spaces of square-integrable $\Gamma$-automorphic forms. It is shown that this distribution converges to the Plancherel measure of $G$ when $\Ga$ shrinks to the trivial group in a certain restricted way. The analogous assertion for cocompact lattices $\Gamma$ follows from results of DeGeorge-Wallach and Delorme.

In this paper we use Langlands-Shahidi method and the result of Langlands which says that non self-conjugate maximal parabolic subgroups do not contribute to the residual spectrum, to prove the holomorphy of several \emph{completed} automorphic $L$-functions on the whole complex plane which appear in constant terms of the Eisenstein series. They include the exterior square $L$-functions of $\GL_n$, $n$ odd, the Rankin-Selberg $L$-functions of $\GL_n\times \GL_m$, $n\ne m$, and $L$-functions $L(s,\sigma,r)$, where $\sigma$ is a generic cuspidal representation of $\SO_{10}$ and $r$ is the half-spin representation of $\GSpin(10, \mathbb{C})$. The main part is proving the holomorphy and non-vanishing of the local normalized intertwining operators by reducing them to natural conjectures in harmonic analysis, such as standard module conjecture.

This paper starts by introducing a bi-periodic summation formula for automorphic forms on a group $G(E)$, with periods by a subgroup $G(F)$, where $E/F$ is a quadratic extension of number fields. The split case, where $E = F \oplus F$, is that of the standard trace formula. Then it introduces a notion of stable bi-conjugacy, and stabilizes the geometric side of the bi-period summation formula. Thus weighted sums in the stable bi-conjugacy class are expressed in terms of stable bi-orbital integrals. These stable integrals are on the same endoscopic groups $H$ which occur in the case of standard conjugacy. The spectral side of the bi-period summation formula involves periods, namely integrals over the group of $F$-adele points of $G$, of cusp forms on the group of $E$-adele points on the group $G$. Our stabilization suggests that such cusp forms---with non vanishing periods---and the resulting bi-period distributions associated to ``periodic'' automorphic forms, are related to analogous bi-period distributions associated to ``periodic'' automorphic forms on the endoscopic symmetric spaces $H(E)/H(F)$. This offers a sharpening of the theory of liftings, where periods play a key role. The stabilization depends on the ``fundamental lemma'', which conjectures that the unit elements of the Hecke algebras on $G$ and $H$ have matching orbital integrals. Even in stating this conjecture, one needs to introduce a ``transfer factor''. A generalization of the standard transfer factor to the bi-periodic case is introduced. The generalization depends on a new definition of the factors even in the standard case. Finally, the fundamental lemma is verified for $\SL(2)$.

We prove a uniform upper estimate on the number of cuspidal eigenvalues of the $\Ga$-automorphic Laplacian below a given bound when $\Ga$ varies in a family of congruence subgroups of a given reductive linear algebraic group. Each $\Ga$ in the family is assumed to contain a principal congruence subgroup whose index in $\Ga$ does not exceed a fixed number. The bound we prove depends linearly on the covolume of $\Ga$ and is deduced from the analogous result about the cut-off Laplacian. The proof generalizes the heat-kernel method which has been applied by Donnelly in the case of a fixed lattice~$\Ga$.

Let $M$ be a convex body such that the boundary has positive curvature. Then by a well developed theory dating back to Landau and Hlawka for large $\lambda$ the number of lattice points in $\lambda M$ is given by $G(\lambda M) =V(\lambda M) + O(\lambda^{d-1-\varepsilon (d)})$ for some positive $\varepsilon(d)$. Here we give for general convex bodies the weaker estimate \[ \left| G(\lambda M) -V(\lambda M) \right | \le \frac{1}{2} S_{\Z^d}(M) \lambda^{d-1}+o(\lambda^{d-1}) \] where $S_{\Z^d}(M)$ denotes the lattice surface area of $M$. The term $S_{\Z^d}(M)$ is optimal for all convex bodies and $o(\lambda^{d-1})$ cannot be improved in general. We prove that the same estimate even holds if we allow small deformations of $M$. Further we deal with families $\{P_\lambda\}$ of convex bodies where the only condition is that the inradius tends to infinity. Here we have \[ \left| G(P_\lambda)-V(P_\lambda) \right| \le dV(P_\lambda,K;1)+o \bigl( S(P_\lambda) \bigr) \] where the convex body $K$ satisfies some simple condition, $V(P_\lambda,K;1)$ is some mixed volume and $S(P_\lambda)$ is the surface area of $P_\lambda$.

Let $d$ be the discriminant of an imaginary quadratic field. Let $a$, $b$, $c$ be integers such that $$ b^2 - 4ac = d, \quad a > 0, \quad \gcd (a,b,c) = 1. $$ The value of $\bigl|\eta \bigl( (b + \sqrt{d})/2a \bigr) \bigr|$ is determined explicitly, where $\eta(z)$ is Dedekind's eta function $$ \eta (z) = e^{\pi iz/12} \prod^\ty_{m=1} (1 - e^{2\pi imz}) \qquad \bigl( \im(z) > 0 \bigr). %\eqno({\rm im}(z)>0). $$

Let $U(n,n)$ be the rank $n$ quasi-split unitary group over a number field. We show that the normalized Siegel Eisenstein series of $U(n,n)$ has at most simple poles at the integers or half integers in certain strip of the complex plane.

We study the correspondence of representations arising by restricting the minimal representation of the linear group of type $E_7$ and relative rank $4$. The main tool is computations of the Jacquet modules of the minimal representation with respect to maximal parabolic subgroups of $G_2$ and $\PU_3(D)$.

A field $F$ is said to be tractable when a condition described below on the simultaneous representation of quaternion algebras holds over $F$. It is shown that a global field $F$ is tractable i{f}f $F$ has at most one dyadic place. Several other examples of tractable and nontractable fields are given.

For an arbitrary finite Galois $p$-extension $L/K$ of $\zp$-cyclotomic number fields of $\CM$-type with Galois group $G = \Gal(L/K)$ such that the Iwasawa invariants $\mu_K^-$, $ \mu_L^-$ are zero, we obtain unconditionally and explicitly the Galois module structure of $\clases$, the minus part of the $p$-subgroup of the class group of $L$. For an arbitrary finite Galois $p$-extension $L/K$ of algebraic function fields of one variable over an algebraically closed field $k$ of characteristic $p$ as its exact field of constants with Galois group $G = \Gal(L/K)$ we obtain unconditionally and explicitly the Galois module structure of the $p$-torsion part of the Jacobian variety $J_L(p)$ associated to $L/k$.

Nous montrons que l'invariant de Hasse-Witt de la forme de Killing d'une alg{\`e}bre de Lie semi-simple $L$ s'exprime {\`a} l'aide de l'invariant de Tits de la repr{\'e}sentation irr{\'e}ductible de $L$ de poids dominant $\rho=\frac{1}{2}$ (somme des racines positives), et des invariants associ{\'e}s au groupe des sym{\'e}tries du diagramme de Dynkin de $L$.

Let $V$ be an even dimensional nondegenerate symmetric bilinear space over a nonarchimedean local field $F$ of characteristic zero, and let $n$ be a nonnegative integer. Suppose that $\sigma \in \Irr \bigl(\OO (V)\bigr)$ and $\pi \in \Irr \bigl(\Sp (n,F)\bigr)$ correspond under the theta correspondence. Assuming that $\sigma$ is tempered, we investigate the problem of determining the Langlands quotient data for $\pi$.

Let $N/K$ be a biquadratic extension of algebraic number fields, and $G=\Gal (N/K)$. Under a weak restriction on the ramification filtration associated with each prime of $K$ above $2$, we explicitly describe the $\bZ[G]$-module structure of each ambiguous ideal of $N$. We find under this restriction that in the representation of each ambiguous ideal as a $\bZ[G]$-module, the exponent (or multiplicity) of each indecomposable module is determined by the invariants of ramification, alone. For a given group, $G$, define ${\cal S}_G$ to be the set of indecomposable $\bZ[G]$-modules, ${\cal M}$, such that there is an extension, $N/K$, for which $G\cong\Gal (N/K)$, and ${\cal M}$ is a $\bZ[G]$-module summand of an ambiguous ideal of $N$. Can ${\cal S}_G$ ever be infinite? In this paper we answer this question of Chinburg in the affirmative.

We give upper bounds on the modulus of the values at $s=1$ of Artin $L$-functions of abelian extensions unramified at all the infinite places. We also explain how we can compute better upper bounds and explain how useful such computed bounds are when dealing with class number problems for $\CM$-fields. For example, we will reduce the determination of all the non-abelian normal $\CM$-fields of degree $24$ with Galois group $\SL_2(F_3)$ (the special linear group over the finite field with three elements) which have class number one to the computation of the class numbers of $23$ such $\CM$-fields.

There are infinitely many triplets of primes $p,q,r$ such that the arithmetic means of any two of them, ${p+q\over2}$, ${p+r\over2}$, ${q+r\over2}$ are also primes. We give an asymptotic formula for the number of such triplets up to a limit. The more involved problem of asking that in addition to the above the arithmetic mean of all three of them, ${p+q+r\over3}$ is also prime seems to be out of reach. We show by combining the Hardy-Littlewood method with the sieve method that there are quite a few triplets for which six of the seven entries are primes and the last is almost prime.}

Consider the variance for the number of primes that are both in the interval $[y,y+h]$ for $y \in [x,2x]$ and in an arithmetic progression of modulus $q$. We study the total variance obtained by adding these variances over all the reduced residue classes modulo $q$. Assuming a strong form of the twin prime conjecture and the Riemann Hypothesis one can obtain an asymptotic formula for the total variance in the range when $1 \leq h/q \leq x^{1/2-\epsilon}$, for any $\epsilon >0$. We show that one can still obtain some weaker asymptotic results assuming the Generalized Riemann Hypothesis (GRH) in place of the twin prime conjecture. In their simplest form, our results are that on GRH the same asymptotic formula obtained with the twin prime conjecture is true for ``almost all'' $q$ in the range $1 \leq h/q \leq h^{1/4-\epsilon}$, that on averaging over $q$ one obtains an asymptotic formula in the extended range $1 \leq h/q \leq h^{1/2-\epsilon}$, and that there are lower bounds with the correct order of magnitude for all $q$ in the range $1 \leq h/q \leq x^{1/3-\epsilon}$.

For the $q$-series $\sum_{n=0}^\infty a^nq^{bn^2+cn}/(q)_n$ we construct a companion $q$-series such that the asymptotic expansions of their logarithms as $q\to 1^{\scriptscriptstyle -}$ differ only in the dominant few terms. The asymptotic expansion of their quotient then has a simple closed form; this gives rise to a new $q$-hypergeometric identity. We give an asymptotic expansion of a general class of $q$-series containing some of Ramanujan's mock theta functions and Selberg's identities.

The fundamental lemma in the theory of automorphic forms is proven for the (quasi-split) unitary group $U(3)$ in three variables associated with a quadratic extension of $p$-adic fields, and its endoscopic group $U(2)$, by means of a new, elementary technique. This lemma is a prerequisite for an application of the trace formula to classify the automorphic and admissible representations of $U(3)$ in terms of those of $U(2)$ and base change to $\GL(3)$. It compares the (unstable) orbital integral of the characteristic function of the standard maximal compact subgroup $K$ of $U(3)$ at a regular element (whose centralizer $T$ is a torus), with an analogous (stable) orbital integral on the endoscopic group $U(2)$. The technique is based on computing the sum over the double coset space $T\bs G/K$ which describes the integral, by means of an intermediate double coset space $H\bs G/K$ for a subgroup $H$ of $G=U(3)$ containing $T$. Such an argument originates from Weissauer's work on the symplectic group. The lemma is proven for both ramified and unramified regular elements, for which endoscopy occurs (the stable conjugacy class is not a single orbit).

Let $G$ be a finite group. To a set of subgroups of order two we associate a $\mod 2$ Hecke algebra and construct a homomorphism, $\psi$, from its units to the class-group of ${\bf Z}[G]$. We show that this homomorphism takes values in the subgroup, $D({\bf Z}[G])$. Alternative constructions of Chinburg invariants arising from the Galois module structure of higher-dimensional algebraic $K$-groups of rings of algebraic integers often differ by elements in the image of $\psi$. As an application we show that two such constructions coincide.

Soient $A$, $B$ et $C$ trois entiers non nuls premiers entre eux deux \`a deux, et $p$ un nombre premier. Comme cons\'equence des travaux de A. Wiles et F. Diamond sur la conjecture de Taniyama-Weil, on explicite une constante $f(A,B,C)$ telle que, sous certaines conditions portant sur $A$, $B$ et $C$, l'\'equation $Ax^p+By^p+Cz^p=0$ n'a aucune solution non triviale dans $\Z$, si $p$ est $>f(A,B,C)$. On d\'emontre par ailleurs, sans condition suppl\'ementaire portant sur $A$, $B$ et $C$, que cette \'equation n'a aucune solution non triviale dans $\Z$, si $p$ divise $xyz$, et si $p$ est $>f(A,B,C)$.

For a fixed algebraic number $\alpha$ we discuss how closely $\alpha$ can be approximated by a root of a $\{0,+1,-1\}$ polynomial of given degree. We show that the worst rate of approximation tends to occur for roots of unity, particularly those of small degree. For roots of unity these bounds depend on the order of vanishing, $k$, of the polynomial at $\alpha$. In particular we obtain the following. Let ${\cal B}_{N}$ denote the set of roots of all $\{0,+1,-1\}$ polynomials of degree at most $N$ and ${\cal B}_{N}(\alpha,k)$ the roots of those polynomials that have a root of order at most $k$ at $\alpha$. For a Pisot number $\alpha$ in $(1,2]$ we show that \[ \min_{\beta \in {\cal B}_{N}\setminus \{ \alpha \}} |\alpha -\beta| \asymp \frac{1}{\alpha^{N}}, \] and for a root of unity $\alpha$ that \[ \min_{\beta \in {\cal B}_{N}(\alpha,k)\setminus \{\alpha\}} |\alpha -\beta|\asymp \frac{1}{N^{(k+1) \left\lceil \frac{1}{2}\phi (d)\right\rceil +1}}. \] We study in detail the case of $\alpha=1$, where, by far, the best approximations are real. We give fairly precise bounds on the closest real root to 1. When $k=0$ or 1 we can describe the extremal polynomials explicitly.

Using Feferman-Vaught techniques a condition on the fine spectrum of an admissible class of structures is found which leads to a first-order 0--1 law. The condition presented is best possible in the sense that if it is violated then one can find an admissible class with the same fine spectrum which does not have a first-order 0--1 law. If the condition is satisfied (and hence we have a first-order %% 0--1 law)