The uniformization theorem says that any compact Riemann surface S of genus g≥2 can be represented as the quotient of the upper half plane by the action of a Fuchsian group A with a compact fundamental region Δ.

If G is the group of holomorphic automorphisms of a bounded symmetric domain, then G has a distinguished class of irreducible unitary representations called the holomorphic discrete series of G. These representations have been studied by Harish-Chandra in [7]. On the Lie algebra level, the Harish-Chandra modules corresponding to the holomorphic discrete series representations are highest weight modules. Even for G as above, it turns out that not all the unitary highest weight modules belong to the holomorphic discrete series but there exists a condition on the highest weight which characterizes the holomorphic discrete series among the unitary highest weight representations. They can be defined as those unitary highest weight representations with square integrable matrix coefficients.

Let G be a finite linear group of degree n; that is, a finite group of automorphisms of an n-dimensional complex vector space (or, equivalently, a finite group of non-singular matrices of order n with complex coefficients). We shall say that G is a quasi-permutation group if the trace of every element of G is a non-negative rational integer. The reason for this terminology is that, if G is a permutation group of degree n, its elements, considered as acting on the elements of a basis of an n -dimensional complex vector space V, induce automorphisms of V forming a group isomorphic to G. The trace of the automorphism corresponding to an element x of G is equal to the number of letters left fixed by x, and so is a non-negative integer. Thus, a permutation group of degree n has a representation as a quasi-permutation group of degree n. See [5].

Let H be a real Hilbert space and let A: H→H be a nonlinear operator such that A(0) = 0. We consider the eigenvalue problem

Recall that λ0 ε ℝ is said to be a bifurcation point for (1.1) if every neighbourhood of (λ0, 0) in ℝ × H contains solutions of (1.1).

Let ℋ be a complex Hilbert space and B(ℋ) the algebra of all bounded linear operators on ℋ. Let ℋ(ℋ) be the algebra of all compact operators of B(ℋ). For an operator T ε B(ℋ), let σ(T), σp(T), σπ(T) and πoo(T) denote the spectrum, the point spectrum, the approximate point spectrum and the set of all isolated eigenvalues of finite multiplicity of T, respectively. We denote the kernel and the range of an operator T by ker(T) and R(T), respectively. For a subset of ℋ, the norm closure of is denoted by . The Weyl spectrum ω(T) of T ε B(ℋ) is defined as the set

Throughout V will be a finite dimensional vector space over a field k and T(V) will denote the tensor algebra over V. For simplicity the symbol ⊗ will be omitted in the writing of the elements of T(V). Let be a basis of V ordered by Xi<Xi+1 for all i. Then we order the non-commutative monomials and 1 ≤ is ≤ n for s = 1,…, l} lexicographically from the left. D. Anick [1, p. 652] defines the high term of an element b in T(V) to be the highest monomial appearing in b. As a consequence of [1,3.2], if the set of the high terms of homogeneous relations is combinatorically free in the sense of no overlap ambiguities, then the connected algebra has global dimension 2. The purpose of this note is to prove this result and more for quadratic algebras under other hypotheses on the relations.

In this note we prove that the equation x2 + 1 = yn, x, y, n ɛ ℕ, n>2, has no solutions (x, y, n)with 2 × y. Moreover, all solutions (x, y, n)of the equation with 2| y satisfy n < 5. 106 and y < exp exp exp 30.

We give explicit examples of asymmetric Riemann surfaces (that is, Riemann surfaces with trivial conformal automorphism group) for all genera g ≥ 3. The technique uses Schreier coset diagrams to construct torsion-free subgroups in groups of signature (0; 2,3,r) for certain values of r.

Let A and B be regular semisimple commutative Banach algebras; that is to say, regular Banach function algebras. A linear map T denned from A into B is said to be separating or disjointness preserving if f.g = 0 implies Tf.Tg = 0, for all f, g ∈ A In this paper we prove that if A satisfies Ditkin's condition then a separating bijection is automatically continuous and its inverse is separating. If also B satisfies Ditkin's condition, then it induces a homeomorphism between the structure spaces of A and B.

The deformation theory of nonorientable surfaces deals with the problem of studying parameter spaces for the different dianalytic structures that a surface can have. It is an extension of the classical theory of Teichmüller spaces of Riemann surfaces, and as such, it is quite rich. In this paper we study some basic properties of the Teichmüller spaces of non-orientable surfaces, whose parallels in the orientable situation are well known. More precisely, we prove an uniformization theorem, similar to the case of Riemann surfaces, which shows that a non-orientable compact surface can be represented as the quotient of a simply connected domain of the Riemann sphere, by a discrete group of Möbius and anti-Möbius transformation (mappings whose conjugates are Mobius transformations). This uniformization result allows us to give explicit examples of Teichmüller spaces of non-orientable surfaces, as subsets of deformation spaces of orientable surfaces. We also prove two isomorphism theorems: in the first place, we show that the Teichmüller spaces of surfaces of different topological type are not, in general, equivalent. We then show that, if the topological type is preserved, but the signature changes, then the deformations spaces are isomorphic. These are generalizations of the Patterson and Bers-Greenberg theorems for Teichmüller spaces of Riemann surfaces, respectively.

We prove the compactness of certain Hankel operators on weighted Bergman spaces of harmonic functions on the unit ball in Rn.

For X and Y Banach spaces, let X⊗εY, be the injective tensor product. If Z is also a Banach space and U ∊ L(X⊗εY,Z) we consider the operator

We prove that if U ∊ PI(X⊗εY, Z), then U# ∊ I(X, PI(Y,Z)). This result is then applied in the case of operators defined on the space of all X-valued continuous functions on the compact Hausdorff space T. We obtain also an affirmative answer to a problem of J. Diestel and J. J. Uhl about the RNP property for the space of all nuclear operators; namely if X* and Y have the RNP and Y can be complemented in its bidual, then N(X, Y) has the RNP.

In this note we show that every complemented Montel subspace F of a Fréchet space E of Moscatelli type is isomorphic to ω or is finite–dimensional; the last case always occurs when E has a continuous norm. To do this, we first study the topology induced by E on its Montel subspaces, extending a result on Fr6chet-Montel spaces of Moscatelli type in [4].

We recall that the Fréchet spaces of Moscatelli type were introduced and studied by J. Bonet and S. Dierolf in [4]; the general idea behind the construction of such spaces was due to V. B. Moscatelli [7].

In [3], two open problems were whether either of the diophantine equations

with n ∈ Z and f a prime number, is solvable if ω > 3 and 3 √ ω, but in this paper we allow f to be any (rational) integer and also 3 | ω. Equations of this form and more general ones can effectively be solved [5] with an advanced method based on analytical results, but the search limits are usually of enormous size. Here both equations (1) are norm equations in K (√–3): N(a + bp) = fw with p = (√–1 + –3)/2 which makes it possible to treat them arithmetically.

In this paper we introduce the spaces of Hankel convolutors. We characterize the dual spaces of certain Hankel transformable function spaces as spaces of Hankel convolutors. Here the Hankel convolution and the Hankel transformation play an important role.

Let f: (ℝn, 0)→ (ℝ,0) be a germ of a real analytic function. Let L and F(f) denote the link of f and the Milnor fibre of fc respectively, i. e., L = {x ∈ Sn−1 | f(x) = 0}, , where 0 ≤ ξ ≪ r ≪ 1, . In [2] Szafraniec introduced the notion of an -germ as a generalization of a germ defined by a weighted homogeneous polynomial satisfying some condition concerning the relation between its degree and weights (definition 1). He also proved that if f is an -germ (presumably with nonisolated singularity) then the number χ(F(f)/d mod 2 is a topological invariant of f, where χ(F(f)) is the Euler characterististic of F(f), and gave the formula for χ(L)/2 mod 2 (it is a well-known fact that F(L) is an even number). As a simple consequence he got the fact that χ(F(f)mod 2 is a topological invariant for any f, which is a generalization of Wall's result [3] (he considered only germs with an isolated singularity).

This note draws together and extends two recent results on Diophantine approximation and Hausdorff dimension. The first, by Hinokuma and Shiga [12], considers the oscillating error function | sinq|/qτ rather than the strictly decreasing function qτ of Jarnik's theorem. The second is Rynne's extension [17] to systems of linear forms of Borosh and Fraenkel's paper [3] on restricted Diophantine approximation with real numbers. Rynne's result will be extended to a class of general error functions and applied to obtain a more general form of [12] in which the error function is any positive function.

Let φ: ℋ → be a bilinear form on vector Hardy space. Introduce the symbol φ of Φ by (φ (Z1, Z2), a ⊗ b) = Φ (K21 ⊗ a, K22 ⊗ b ), where Kw is the reproducing kernel for w ∈ D. We show that Φ extends to a bounded bilinear form on provided that the gradient defines a Carleson measure in the bidisc D2. We obtain a sufficient condition for Φ to extend to a Hilbert space. For vectorial bilinear Hankel forms we obtain an analogue of Nehari's Theorem.

The KO-cohomology ring of the symmetric space SU(2n)/SO(2n) is computed by using the Bott exact sequence and some facts on the real and quaternionic representation rings of SU(2n) and SO(2n).

If (L; ƒ) is an Ockham algebra with dual space (X; g), then it is known that the semigroup of Ockham endomorphisms on L is (anti-)isomorphic to the semigroup Λ(X; g) of continuous order-preserving mappings on X that commute with g. Here we consider the case where L is a finite boolean lattice and ƒ is a bijection. We begin by determining the size of Λ(X;g), and obtain necessary and sufficient conditions for this semigroup to be regular or orthodox. We also describe its structure when it is a group, or an inverse semigroup that is not a group. In the former case it is a cartesian product of cyclic groups and in the latter a cartesian product of cyclic groups each with a zero adjoined.