This article contains examples and applications of the notion of exact sequences of Hopf algebras.

We use generating functions to express orthogonality relations in the form of q-beta. integrals. The integrand of such a q-beta. integral is then used as a weight function for a new set of orthogonal or biorthogonal functions. This method is applied to the continuous q-Hermite polynomials, the Al-Salam-Carlitz polynomials, and the polynomials of Szegö and leads naturally to the Al-Salam-Chihara polynomials then to the Askey-Wilson polynomials, the big q-Jacobi polynomials and the biorthogonal rational functions of Al-Salam and Verma, and some recent biorthogonal functions of Al-Salam and Ismail.

We use the eta invariant to show every non-simply connected spherical space form of dimension m ≥ 5 has a countable family of non bordant metrics of positive scalar curvature.

Let E be a fixed elliptic curve defined over the rational numbers. We prove that the number of primes p ≤ x such that E has supersingular reduction mod p is greater than for any positive δ and x sufficiently large. Here logkx is defined recursively as log(logk-1 x) and log1x = logx. We also establish several results related to the Lang-Trotter conjecture.

We consider a generalization of a trace formula identity of Jacquet, in the context of the symmetric spaces GL(2n)/GL(/n) × GL(n) and G′/H′. Here G′ is an inner form of GL(2n) over F with a subgroup H′ isomorphic to GL(n, E) where E/F is a quadratic extension of number field attached to a quadratic idele class character η of F. A consequence of this identity would be the following conjecture: Let π be an automorphic cuspidal representation of GL(2n). If there exists an automorphic representation π′ of G′ which is related to π by the Jacquet-Langlands correspondence, and a vector ø in the space of π′ whose integral over H′ is nonzero, then both L(1/2, π) and L(1/2,π ⊗ η) are nonvanishing. Moreover, we have L(1/2, π)L(1/2, π ⊗ η) > 0. Here the nonvanishing part of the conjecture is a generalization of a result of Waldspurger for GL(2) and the nonnegativity of the product is predicted from the generalized Riemann Hypothesis. In this article, we study the corresponding local orbital integrals for the symmetric spaces. We prove the "fundamental lemma for the unit Hecke functions" which says that unit Hecke functions have "matching" orbital integrals. This serves as the first step toward establishing the trace formula identity and in the same time it provides strong evidence for what we proposed.

Existence of solutions to the nonlinear boundary value problem on the semi-infinite interval bounded on [0, ∞), are established. In the process we obtain new existence results for boundary value problems on compact intervals.

Let G be a locally compact second countable group, let X be a locally compact second countable Hausdorff space, and view C(X, T) as a trivial G-module. For G countable discrete abelian, we construct an isomorphism between the Moore cohomology group Hn(G, C(X, T)) and the direct sum Ext(Hn-1(G), Ȟl(βX, Ζ)) ⊕ C(X, Hn(G, T)); here Ȟ1 (βX, Ζ) denotes the first Čech cohomology group of the Stone-Čech compactification of X, βX, with integer coefficients. For more general locally compact second countable groups G, we discuss the relationship between the Moore group H2(G, C(X, T)), the set of exterior equivalence classes of element-wise inner actions of G on the stable continuous trace C*-algebra C0(X) ⊗ 𝒦, and the equivariant Brauer group BrG(X) of Crocker, Kumjian, Raeburn, and Williams. For countable discrete abelian G acting trivially on X, we construct an isomorphism is the group of equivalence classes of principal Ĝ bundles over X first considered by Raeburn and Williams.

We consider the C*-algebras constructed from certain hyperbolic dynamical systems. The construction, due to Ruelle, generalizes the C*-algebras of Cuntz and Krieger. We discuss relations between the C*-algebras, show the existence of natural asymptotically abelian systems and investigate the K-theory and E-theory of these C*-algebras.

Let C be an n x n positive definite matrix. If C ≥ 0 in the sense that Cij ≥ 0 and if p > n — 2, then Cp ≥ 0. This implies the following "positive minorant property" for the norms ‖A‖p = [tr(A*A)p/2]1/P. Let 2 < p ≠ 4, 6, … . Then 0 ≤ A ≤ B => ‖A‖p ≥ ‖B‖P if and only if n < p/2 + 1.

A compact hypergroup is called almost discrete if it is homeomorphic to the one-point-compactification of a countably infinite discrete set. If the group Up of all p-adic units acts multiplicatively on the p-adic integers, then the associated compact orbit hypergroup has this property. In this paper we start with an exact projective sequence of finite hypergroups and use successive substitution to construct a new surjective projective system of finite hypergroups whose limit is almost discrete. We prove that all compact almost discrete hypergroups appear in this way—up to isomorphism and up to a technical restriction. We also determine the duals of these hypergroups, and we present some examples coming from partitions of compact totally disconnected groups.