Let X be a locally compact non-compact Hausdorff topological space. Consider the algebras C(X), C_b(X), C₀(X), and C₀₀(X) of respectively arbitrary, bounded, vanishing at infinity, and compactly supported continuous functions on X. Of these, the second and third are C^*-algebras, the fourth is a normed algebra, whereas the first is only a topological algebra (it is indeed a pro-C^*-algebra). The interesting fact about these algebras is that if one of them is given, the others can be obtained using functional analysis tools. For instance, given the C^*-algebra C₀(X), one can get the other three algebras by C₀₀(X)=K(C₀(X)), C_b(X)=M(C₀(X)), C(X)= Gamma ( K(C₀(X)) ), where the right hand sides are the Pedersen ideal, the multiplier algebra, and the unbounded multiplier algebra of the Pedersen ideal of C₀(X), respectively. In this article we consider the possibility of these transitions for general C^*-algebras. The difficult part is to start with a pro-C^*-algebra A and to construct a C^*-algebra A₀ such that A = Gamma (K(A₀) ). The pro-C^*-algebras for which this is possible are called locally compact and we have characterized them using a concept similar to that of an approximate identity.

In this paper, we develop techniques for solving ternary Diophantine equations of the shape Axⁿ + Byⁿ = Cz² , based upon the theory of Galois representations and modular forms. We subsequently utilize these methods to completely solve such equations for various choices of the parameters A, B and C. We conclude with an application of our results to certain classical polynomial-exponential equations, such as those of Ramanujan–Nagell type.

We provide the first unconditional proof that the ring mathbb{Z} [sqrt{14}] is a Euclidean domain. The proof is generalized to other real quadratic fields and to cyclotomic extensions of mathbb{Q}. It is proved that if K is a real quadratic field (modulo the existence of two special primes of K) or if K is a cyclotomic extension of mathbb{Q} then: the ring of integers of K is a Euclidean domain
if and only if it is a principal ideal domain. The proof is a modification of the proof of a theorem of Clark and Murty giving a similar result when K is a totally real extension of degree at least three. The main changes are a new Motzkin-type lemma and the addition of the large sieve to the argument. These changes allow application of a powerful theorem due to Bombieri, Friedlander and Iwaniec in order to obtain the result in the real quadratic case. The modification also allows the completion of the classification of cyclotomic extensions in terms of the Euclidean property.

Let K be a finite Galois extension of the field of rational numbers with unit rank greater than 3. We prove that the ring of integers of K is a Euclidean domain if and only if it is a principal ideal domain. This was previously known under the assumption of the generalized Riemann hypothesis for Dedekind zeta functions. We now prove this unconditionally.

We use the lace expansion to analyse networks of mutually-avoiding self-avoiding walks, having the topology of a graph. The networks are defined in terms of spread-out self-avoiding walks that are permitted to take large steps. We study the asymptotic behaviour of networks in the limit of widely separated network branch points, and prove Gaussian behaviour for sufficiently spread-out networks on mathbb{Z}^d in dimensions d>4.

The billiard flow in the plane has a simple geometric definition; the movement along straight lines of points except where elastic reflections are made with the boundary of the billiard domain. We consider a class of open billiards, where the billiard domain is unbounded, and the boundary is that of a finite number of strictly convex obstacles. We estimate the Hausdorff dimension of the nonwandering set M₀ of the discrete time billiard ball map, which is known to be a Cantor set and the largest invariant set. Under certain conditions on the obstacles, we use a well-known coding of M₀ and estimates using convex fronts related to the derivative of the billiard ball map to estimate the Hausdorff dimension of local unstable sets. Consideration of the local product structure then yields the desired estimates, which provide asymptotic bounds on the Hausdorff dimension's convergence to zero as the obstacles are separated.

Every norm nu on Cⁿ induces two norm numerical ranges on the algebra M_n of all n x n complex matrices, the spatial numerical range W(A)= {x^*Ay : x, y : C ⁿ, nu^D(x) = nu(y) = x^*y = 1}, where nu^D is the norm dual to nu, and the algebra numerical range V(A) = { f(A) : f : mathcal{S} }, where mathcal{S} is the set of states on the normed algebra M_n under the operator norm induced by nu. For a symmetric norm nu, we identify all linear maps on M_n that preserve either one of the two norm numerical ranges or the set of states or vector states. We also identify the numerical radius isometries, i.e., linear maps that preserve the (one) numerical radius induced by either numerical range. In particular, it is shown that if nu is not the ell₁, ell₂, or ell^infty norms, then the linear maps that preserve either numerical range or either set of states are "inner", i.e., of the form A mapsto Q^*AQ, where Q is a product of a diagonal unitary matrix and a permutation matrix and the numerical radius isometries are unimodular scalar multiples of such inner maps. For the ell₁ and the ell_infty norms, the results are quite different.

Let G= Sp_2n be the symplectic group defined over a number field F. Let mathbb{A} be the ring of adeles. A fundamental problem in the theory of automorphic forms is to decompose the right regular representation of G(mathbb{A}) acting on the Hilbert space L²(G(F)setminus G(mathbb{A})). Main contributions have been made by Langlands. He described, using his theory of Eisenstein series, an orthogonal decomposition of this space of the form: L_dis² (G(F)setminus G(mathbb{A}) ) = bigoplus_(M,pi) L_dis²(G(F) setminus G(mathbb{A}) )_(M,pi), where (M,pi) is a Levi subgroup with a cuspidal automorphic representation pi taken modulo conjugacy (Here we normalize pi so that the action of the maximal split torus in the center of G at the archimedean places is trivial.) and L_dis² (G(F) setminus G(mathbb{A}))_(M,pi) is a space of residues of Eisenstein series associated to (M,pi). In this paper, we will completely determine the space L_dis² (G(F) setminus G(mathbb{A}))_(M,pi), when M simeq GL₂ x GL₂. This is the first result on the residual spectrum for non-maximal, non-Borel parabolic subgroups, other than GL_n.

Suppose K is an imaginary quadratic field and E is an elliptic curve over a number field F with complex multiplication by the ring of integers in K. Let p be a rational prime that splits as mathfrak{p}₁ mathfrak{p}₂ in K. Let E_pⁿ denote the pⁿ-division points on E. Assume that F(E_pⁿ) is abelian over K for all n geq 0. This paper proves that the Pontrjagin dual of the mathfrak{p}₁^infty-Selmer group of E over F(E_p^infty) is a finitely generated free Lambda-module, where Lambda is the Iwasawa algebra of Gal (F(E_p^infty)/ F(E_{mathfrak{p}1^infty mathfrak{p}2}) ). It also gives a simple formula for the rank of the Pontrjagin dual as a Lambda-module.

In [6], Walter Philipp wrote that "... the law of the iterated logarithm holds for any process for which the Borel-Cantelli Lemma, the central limit theorem with a reasonably good remainder and a certain maximal inequality are valid." Many authors [1], [2], [4], [5], [9] have followed the plan in proving the law of the iterated logarithm for sequences (or fields) of dependent random variables. We carry on this tradition by proving the law of the iterated logarithm for a random field whose correlations satisfy an exponential decay condition like the one obtained by Spohn [8] for certain Gibbs measures. These do not fall into the phi-mixing or strong mixing cases established in the literature, but are needed for our investigations [7] into diffusions on configuration space. The proofs are all obtained by patching together standard results from [5], [9] while keeping a careful eye on the correlations.