One way of realizing representations of the Heisenberg group is by using Fock representations, whose representation spaces are Hilbert spaces of functions on complex vector space with inner products associated to points on a Siegel upper half space. We generalize such Fock representations using inner products associated to points on a Hermitian symmetric domain that is mapped into a Seigel upper half space by an equivariant holomorphic map. The representations of the Heisenberg group are then given by an automorphy factor associated to a Kuga fiber variety. We introduce theta functions associated to an equivariant holomorphic map and study connections between such generalized theta functions and Fock representations described above. Furthermore, we discuss Jacobi forms on Hermitian symmetric domains in connection with twisted torus bundles over symmetric spaces.

In this paper, we study quasiconformal extensions of harmonic mappings. Utilizing a complex parameter, we build a bridge between the quasiconformal extension theorem for locally analytic functions given by Ahlfors [‘Sufficient conditions for quasiconformal extension’, Ann. of Math. Stud.79 (1974), 23–29] and the one for harmonic mappings recently given by Hernández and Martín [‘Quasiconformal extension of harmonic mappings in the plane’, Ann. Acad. Sci. Fenn. Math.38 (2) (2013), 617–630]. We also give a quasiconformal extension of a harmonic Teichmüller mapping, whose maximal dilatation estimate is asymptotically sharp.

The study of complemented Banach*-algebras taken up in [1] was confined mainly to B*-algebras. In the present paper we extend this study to (right) complemented Banach*-algebras in which x*x = 0 implies x = 0. We show that if A is such an algebra then every closed two-sided ideal of A is a *-ideal. Using this fact we obtain a structure theorem for A which states that if A is semi-simple then A can be expressed as a topological direct sum of minimal closed two sided ideals each of which is a complemented Banach*-algebra. It follows that A is an A*-algebra and is a dense subalgebra of a dual B*-algebra U, which is determined uniquely up to *-isomorphism.

A mapping f : G → s from a left topological group G into a semigroup S is a local homomorphism if for every x є G \ {e}, there is a neighborhood Ux of e such that f (xy) = f (x)f (y) for all y є Ux \ {e}. A local homomorphism f : G → S is onto if for every neighborhood U of e, f(U \ {e}) = S. We show that

(1) every countable regular left topological group containing a discrete subset with exactly one accumulation point admits a local homomorphism onto N,

(2) it is consistent that every countable topological group containing a discrete subset with exactly one accumulation point admits a local homomorphism onto any countable semigroup,

(3) it is consistent that every countable nondiscrete maximally almost periodic topological group admits a local homomorphism onto the countably infinite right zero semigroup.

S. T. Hedetniemi and P. J. Slater have shown that if G is a triangle-free connected graph with at least three vertices, then

where K(G) is the clique graph of G and K2(G) = K(K(G)) is the first iterated clique graph. In this paper, we generalize the above result to a wider class of graphs.

We show that every orbital measure, ${\mu }_{x} $, on a compact exceptional Lie group or algebra has the property that for every positive integer either ${ \mu }_{x}^{k} \in {L}^{2} $ and the support of ${ \mu }_{x}^{k} $ has non-empty interior, or ${ \mu }_{x}^{k} $ is singular to Haar measure and the support of ${ \mu }_{x}^{k} $ has Haar measure zero. We also determine the index $k$ where the change occurs; it depends on properties of the set of annihilating roots of $x$. This result was previously established for the classical Lie groups and algebras. To prove this dichotomy result we combinatorially characterize the subroot systems that are kernels of certain homomorphisms.

Si E et F sont deux espaces vectoriels en dualité séparante, M+(E, F) désigne le cône des mesures coniques positives sur E mis en dualité avec F, c'est à dire le cônes des formes postives sur le treillis de fonctions sur E engendré par F. Ce sont des objets plus généraux que les mesures cylindriques admettant des moments finis d'ordre un.

On part d'abord d'une mesure conique représentée par une mesure de Radon sur le complété faible de E et on donne des critéres (par exemple R.N.P.) pour qu'elle le soit sur l'espace E lui-même.

On étudie ensuite les cônes faiblement complets saillants (classe L) contenus dans un espace de Banach ou dans le dual d'un espace de Fréchet F; on montre notamment qu' un cône faiblement fermé contenu dans F′ est dans Lsi son polaire dans F est positivement engendré.

Si B est un espace de Banach et 11 ⊄ B, on cherche à prologner une μ ∈ M+(B′, B) en un élement de M+ (B′, B″). On montre également que, si X est un convexe compact, toute fonction vérifiant le calcul barycentrique sur X est continue sur des ensembles fixes que l'on précise.

Enfin on donne des conditions (de type bornologique) sur un e.l.c.s E, permettant d'interpréter une μ ∈ M+ (E, E′) comme une mesure conique sur un espace normé.

A class of algebras A is said to have the strong amalgamation property if for any indexed set of algebras {Ai: i ∈ J} from A, each having an algebra U ∈ A as a subalgebra, there exist an algebra B ∈ A and monomorphisms φi: Ai → B (for each i ∈ J) such that (i) φi|U = φi| U for all i,j∈J, (ii) φi(Ai) ∩ φi(Aj) =φi(U) for atl i, j ∈ J with i ≠ j, where φi|U denotes the restriction of φi to U. Omitting condition (ii) gives us the definition of the weak amalgamation property.

The purpose of this paper is to prove that the altitudes of an n-simplex (a simplexin an n-space) S form an associated set of n+1 lines (see Baker, [4] for n = 4) such that any (n–2)-space meeting n of them meets the (n+1)th too. As an immediate consequence 2 quadrics are associated with S, one touching its primes at the respective feet of its altitudes and the other touching n(n+1) primes, n parallel to each of its altitudes and 2 through each of its (n−2)-spaces. Certain special cases are also mentioned.

Výborný and I (1972) proved maximum principles for a quasilinear elliptic operator where the boundary satisfied a smoothness condition weaker than the interior sphere property. In this paper I extend these to parabolic operators of a similar form and through a simple device to weakly coupled systems of such operators. Finally, I extend all of these results to an operator similar to the “parabolic” case of an operator introduced by Redheffer (1971). His conditions on the coefficients are replaced by conditions analogous to those Dow and Výborný (1972).

The concept of very weak local uniform rotundity (very WLUR) is introduced. It is shown that if a Banach space E is WLUR, very WLUR, or LUR then its dual E* is smooth, very smooth, or Fréchet differentiable, respectively, on a norm dense subset. This leads to examples of nonreflexive spaces which are Fréchet differentiable at every nonzero point of a (relatively) norm dense subset of the embedding of E** in the fourth dual. When E is reflexive, necessary and sufficient conditions for E and E* to be WLUR and LUR are given.

Subject classification (Amer. Math. Soc. (MOS) 1970): 46 B 99.

The notion of a scalar operator on a Banach space, in the sense of N. Dunford, is widened so as to cover those operators which can be approximated in the operator norm by linear combinations of disjoint values of an additive and multiplicative operator valued set function, P, on an algebra of sets in a space Ω such that P(Ω) = I, subject to some conditions guaranteeing that this definition is unambiguous. An operator T turns out to be scalar in this sense, if and only if, there exists a (not necessarily bounded) Boolean algebra of bounded projections such that the Banach algebra of operators it generates is semisimple and contains T.

nHr denotes the number of n × n matrices with non-negative integral entries, with row-sums and column-sums all equal to r. Kenji Mano [3] investigated the number nHr in which n distinct objects each replicated r times can be distributed in equal numbers among n cells. He gives an intricate formula for the case r = 2. Recently, Anand et al. [1], making use of partitions, extended it to 3Hr and stated a plausible formula for nHr.

It is well known (e.g. Stone [1]) that the Stone-Weierstrass approximation theorem can be used to prove the completeness of various systems of orthogonal polynomials, e.g. Chebyshev polynomials. In this paper, Stone's theorem is used to prove a more general completeness theorem, which includes as special cases Plancherel's theorem, the corresponding theorem for Hankel transforms, the completeness of various polynomial systems, and certain expansions in Jacobian elliptic functions. The essential feature common to all these systems is a certain algebraic structure — if S is an appropriate vector space spanned by orthogonal functions, then the algebra A generated by S is contained in the closure of S in a suitable norm.

Hattori (1960) defined a right R-module A to be torsion-free if for all a ∈ A and x ∈ R, ax = 0 implies that there exist elements {x1, x2, …, xn} ⊆ R with xix = 0 for all 1 ≦ i ≦ n and {a1, a2, …, an} ⊆ A such that a = aixi. Left torsion-free is defined similarly. It is shown that for a ring R, these torsion-free modules are the torsion-free class of a hereditary torsion theory, corresponding to a perfect topology, if and only if the left flat epimorphic hull of R is a regular ring which is both left and right torsion-free. A class of right semi-hereditary rings for which the torsion-free modules of Hattori satisfy the above property are found and this class of rings is discussed.

Rosen gave a determinant formula for relative class numbers for cyclotomic function fields, which may be regarded as an analogue of the classical Maillet determinant. In this paper, we give a determinant formula for relative congruence zeta functions for cyclotomic function fields. Our formula may be regarded as a generalization of the determinant formula for the relative class number.

Let X be a Banach space with the analytic UMD property, and let A and B be two commuting sectorial operators on X which admit bounded H∞ functional calculi with respect to angles θ1 and θ2 satisfying θ1 + θ2 > π. It was proved by Kalton and Weis that in this case, A + B is closed. The first result of this paper is that under the same conditions, A + B actually admits a bounded H∞ functional calculus. Our second result is that given a Banach space X and a number 1 ≦ p < ∞, the derivation operator on the vector valued Hardy space Hp (R; X) admits a bounded H∞ functional calculus if and only if X has the analytic UMD property. This is an ‘analytic’ version of the well-known characterization of UMD by the boundedness of the H∞ functional calculus of the derivation operator on vector valued Lp-spaces Lp (R; X) for 1 < p < ∞ (Dore-Venni, Hieber-Prüss, Prüss).

Let L be a finite-dimensional Lie algebra over the field F. The Ado-Iwasawa Theorem asserts the existence of a finite-dimensional L-module which gives a faithful representation ρ of L. Let S be a subnormal subalgebra of L, let be a saturated formation of soluble Lie algebras and suppose that S ∈ . I show that there exists a module V with the extra property that it is -hypercentral as S-module. Further, there exists a module V which has this extra property simultaneously for every such S and , along with the Hochschild extra that ρ(x) is nilpotent for every x ∈ L with ad(x) nilpotent. In particular, if L is supersoluble, then it has a faithful representation by upper triangular matrices.

The homology functor from the category of free abelian chain complexes and homotopy classes of maps to that of graded abelian groups is full and replete (surjective on objects up to isomorphism) and reflects isomorphisms. Thus such a complex is determined to within homotopy equivalence (although not a unique homotopy equivalence) by its homology. The homotopy classes of maps between two such complexes should therefore be expressible in terms of the homology groups, and such an expression is in fact provided by the Künneth formula for Hom, sometimes called ‘the homotopy classification theorem’.

A Banach space is an Asplund space if every continuous convex function on an open convex subset is Fréchet differentiable on a dense G8 subset of its domain. The recent research on the Radon-Nikodým property in Banach spaces has revealed that a Banach space is an Asplund space if and only if every separable subspace has separable dual. It would appear that there is a case for providing a more direct proof of this characterisation.