Search

The aim of this paper is to construct Calabi–Yau 4-folds as crepant resolutions of the quotients of a hyperkähler 4-fold $X$ by a non-symplectic involution $\unicode[STIX]{x1D6FC}$. We first compute the Hodge numbers of a Calabi–Yau constructed in this way in a general setting, and then we apply the results to several specific examples of non-symplectic involutions, producing Calabi–Yau 4-folds with different Hodge diamonds. Then we restrict ourselves to the case where $X$ is the Hilbert scheme of two points on a K3 surface $S$, and the involution $\unicode[STIX]{x1D6FC}$ is induced by a non-symplectic involution on the K3 surface. In this case we compare the Calabi–Yau 4-fold $Y_{S}$, which is the crepant resolution of $X/\unicode[STIX]{x1D6FC}$, with the Calabi–Yau 4-fold $Z_{S}$, constructed from $S$ through the Borcea–Voisin construction. We give several explicit geometrical examples of both these Calabi–Yau 4-folds, describing maps related to interesting linear systems as well as a rational $2:1$ map from $Z_{S}$ to $Y_{S}$.

This paper provides some evidence for conjectural relations between extensions of (right) weak order on Coxeter groups, closure operators on root systems, and Bruhat order. The conjecture focused upon here refines an earlier question as to whether the set of initial sections of reflection orders, ordered by inclusion, forms a complete lattice. Meet and join in weak order are described in terms of a suitable closure operator. Galois connections are defined from the power set of W to itself, under which maximal subgroups of certain groupoids correspond to certain complete meet subsemilattices of weak order. An analogue of weak order for standard parabolic subsets of any rank of the root system is defined, reducing to the usual weak order in rank zero, and having some analogous properties in rank one (and conjecturally in general)., 37 pages, submitted

Let $\unicode[STIX]{x1D701}(s)$ be the Riemann zeta function. In 1929, Hardy and Littlewood proved the approximate functional equation for $\unicode[STIX]{x1D701}^{2}(s)$ with error term $O(x^{1/2-\unicode[STIX]{x1D70E}}((x+y)/|t|)^{1/4}\log |t|)$, where $-1/2. Later, in 1938, Titchmarsh improved the error term by removing the factor $((x+y)/|t|)^{1/4}$. In 1999, Hall showed the approximate functional equations for $\unicode[STIX]{x1D701}^{\prime }(s)^{2},\unicode[STIX]{x1D701}(s)\unicode[STIX]{x1D701}^{\prime \prime }(s)$, and $\unicode[STIX]{x1D701}^{\prime }(s)\unicode[STIX]{x1D701}^{\prime \prime }(s)$ (in the range $0) whose error terms contain the factor $((x+y)/|t|)^{1/4}$. In this paper we remove this factor from these three error terms by using the method of Titchmarsh.

In this paper, we characterize linear maps on matrix spaces that preserve matrices of local spectral radius zero at some fixed nonzero vector.

In this paper we study spectral properties of the Dirichlet-to-Neumann map on differential forms obtained by a slight modification of the definition due to Belishev and Sharafutdinov. The resulting operator $\unicode[STIX]{x039B}$ is shown to be self-adjoint on the subspace of coclosed forms and to have purely discrete spectrum there. We investigate properties of eigenvalues of $\unicode[STIX]{x039B}$ and prove a Hersch–Payne–Schiffer type inequality relating products of those eigenvalues to eigenvalues of the Hodge Laplacian on the boundary. Moreover, non-trivial eigenvalues of $\unicode[STIX]{x039B}$ are always at least as large as eigenvalues of the Dirichlet-to-Neumann map defined by Raulot and Savo. Finally, we remark that a particular case of $p$-forms on the boundary of a $2p+2$-dimensional manifold shares many important properties with the classical Steklov eigenvalue problem on surfaces.

Fix a von Neumann algebra ${\mathcal{N}}$ equipped with a suitable trace $\unicode[STIX]{x1D70F}$. For a path of self-adjoint Breuer–Fredholm operators, the spectral flow measures the net amount of spectrum that moves from negative to non-negative. We consider specifically the case of paths of bounded perturbations of a fixed unbounded self-adjoint Breuer–Fredholm operator affiliated with ${\mathcal{N}}$. If the unbounded operator is $p$-summable (that is, its resolvents are contained in the ideal $L^{p}$), then it is possible to obtain an integral formula that calculates spectral flow. This integral formula was first proved by Carey and Phillips, building on earlier approaches of Phillips. Their proof was based on first obtaining a formula for the larger class of $\unicode[STIX]{x1D703}$-summable operators, and then using Laplace transforms to obtain a $p$-summable formula. In this paper, we present a direct proof of the $p$-summable formula that is both shorter and simpler than theirs.

In this paper, we study the boundary quotient $\text{C}^{\ast }$-algebras associated with products of odometers. One of our main results shows that the boundary quotient $\text{C}^{\ast }$-algebra of the standard product of $k$ odometers over $n_{i}$-letter alphabets $(1\leqslant i\leqslant k)$ is always nuclear, and that it is a UCT Kirchberg algebra if and only if $\{\ln n_{i}:1\leqslant i\leqslant k\}$ is rationally independent, if and only if the associated single-vertex $k$-graph $\text{C}^{\ast }$-algebra is simple. To achieve this, one of our main steps is to construct a topological $k$-graph such that its associated Cuntz–Pimsner $\text{C}^{\ast }$-algebra is isomorphic to the boundary quotient $\text{C}^{\ast }$-algebra. Some relations between the boundary quotient $\text{C}^{\ast }$-algebra and the $\text{C}^{\ast }$-algebra $\text{Q}_{\mathbb{N}}$ introduced by Cuntz are also investigated.

Since Rob Pollack and Glenn Stevens used overconvergent modular symbols to construct$p$-adic$L$-functions for non-critical slope rational modular forms, the theory has been extended to construct$p$-adic$L$-functions for non-critical slope automorphic forms over totally real and imaginary quadratic fields by the first and second authors, respectively. In this paper, we give an analogous construction over a general number field. In particular, we start by proving a control theorem stating that the specialisation map from overconvergent to classical modular symbols is an isomorphism on the small slope subspace. We then show that if one takes the modular symbol attached to a small slope cuspidal eigenform, then one can construct a ray class distribution from the corresponding overconvergent symbol, which moreover interpolates critical values of the$L$-function of the eigenform. We prove that this distribution is independent of the choices made in its construction. We define the$p$-adic$L$-function of the eigenform to be this distribution.

We study approximation of operators between Banach spaces $X$ and $Y$ that nearly attain their norms in a given point by operators that attain their norms at the same point. When such approximations exist, we say that the pair $(X, Y)$ has the pointwise Bishop-Phelps-Bollob\'as property (pointwise BPB property for short). In this paper we mostly concentrate on those $X$, called universal pointwise BPB domain spaces, such that $(X, Y)$ possesses pointwise BPB property for every $Y$, and on those $Y$, called universal pointwise BPB range spaces, such that $(X, Y)$ enjoys pointwise BPB property for every uniformly smooth $X$. We show that every universal pointwise BPB domain space is uniformly convex and that $L_p(\mu)$ spaces fail to have this property when $p>2$. For universal pointwise BPB range space, we show that every simultaneously uniformly convex and uniformly smooth Banach space fails it if its dimension is greater than one. We also discuss a version of the pointwise BPB property for compact operators., Comment: 19 pages, to appear in the Canadian J. Math. In this version, section 6 and the appendix of the previous version have been removed

In this paper we study the behavior of the first Zassenhaus conjecture (ZC1) under direct products as well as the General Bovdi Problem (Gen-BP) which turns out to be a slightly weaker variant of (ZC1). Among others we prove that (Gen-BP) holds for Sylow tower groups, so in particular for the class of supersolvable groups. (ZC1) is established for a direct product of Sylow-by-abelian groups provided the normal Sylow subgroups form together a Hall subgroup. We also show (ZC1) for certain direct products with one of the factors a Frobenius group. We extend the classical HeLP method to group rings with coefficients from any ring of algebraic integers. This is used to study (ZC1) for the direct product $G \times A$, where $A$ is a finite abelian group and $G$ has order at most 95. For most of these groups we show that (ZC1) is valid and for all of them that (Gen-BP) holds. Moreover, we also prove that (Gen-BP) holds for the direct product of a Frobenius group with any finite abelian group., 17 pages. Comments welcome!

In this paper we construct an abelian category of mixed perverse sheaves attached to any realization of a Coxeter group, in terms of the associated Elias–Williamson diagrammatic category. This construction extends previous work of the first two authors, where we worked with parity complexes instead of diagrams, and we extend most of the properties known in this case to the general setting. As an application we prove that the split Grothendieck group of the Elias–Williamson diagrammatic category is isomorphic to the corresponding Hecke algebra, for any choice of realization.

In this paper, we prove the spherical fundamental lemma for metaplectic group Mp2n based on the formalism of endoscopy theory by J. Adams, D. Renard, and W.-W. Li.

Consider a finite sequence of linear contractions Sj(x) = px + dj and probabilities pj > 0 with ∑Pj = 1. We are interested in the self-similar measure , of finite type. In this paper we study the multi-fractal analysis of such measures, extending the theory to measures arising from non-regular probabilities and whose support is not necessarily an interval.Under some mild technical assumptions, we prove that there exists a subset of supp μ of full μ and Hausdorff measure, called the truly essential class, for which the set of (upper or lower) local dimensions is a closed interval. Within the truly essential class we show that there exists a point with local dimension exactly equal to the dimension of the support. We give an example where the set of local dimensions is a two element set, with all the elements of the truly essential class giving the same local dimension. We give general criteria for these measures to be absolutely continuous with respect to the associated Hausdorff measure of their support, and we show that the dimension of the support can be computed using only information about the essential class.To conclude, we present a detailed study of three examples. First, we show that the set of local dimensions of the biased Bernoulli convolution with contraction ratio the inverse of a simple Pisot number always admits an isolated point. We give a precise description of the essential class of a generalized Cantor set of finite type, and show that the k-th convolution of the associated Cantor measure has local dimension at x ∊ (0,1) tending to 1 as ft: tends to infinity. Lastly, we show that within a maximal loop class that is not truly essential, the set of upper local dimensions need not be an interval. This is in contrast to the case for finite type measures with regular probabilities and full interval support.

In this paper we study a class of second order fully nonlinear elliptic equations containing gradient terms on compact Hermitian manifolds and obtain a priori estimates under proper assumptions close to optimal. The analysis developed here should be useful to deal with other Hessian equations containing gradient terms in other contexts.

This paper constitutes a comprehensive study of ten classes of self-maps on metric spaces ⟨X, d⟩ with the pointwise (i.e., local radial) and local contraction properties. Each of these classes appeared previously in the literature in the context of fixed point theorems.We begin with an overview of these fixed point results, including concise self contained sketches of their proofs. Then we proceed with a discussion of the relations among the ten classes of self-maps with domains ⟨X, d⟩ having various topological properties that often appear in the theory of fixed point theorems: completeness, compactness, (path) connectedness, rectifiable-path connectedness, and d-convexity. The bulk of the results presented in this part consists of examples of maps that show non-reversibility of the previously established inclusions between these classes. Among these examples, the most striking is a differentiable auto-homeomorphism f of a compact perfect subset X of ℝ with f′ ≡ 0, which constitutes also a minimal dynamical system. We finish by discussing a few remaining open problems on whether the maps with specific pointwise contraction properties must have the fixed points.

We consider three point positivemasses moving onS2andH2. An Eulerian-relative equilibrium is a relative equilibrium where the three masses are on the same geodesic. In this paper we analyze the spectral stability of these kind of orbits where the mass at the middle is arbitrary and the masses at the ends are equal and located at the same distance from the central mass. For the case of S2, we found a positive measure set in the set of parameters where the relative equilibria are spectrally stable, and we give a complete classiûcation of the spectral stability of these solutions, in the sense that, except on an algebraic curve in the space of parameters, we can determine if the corresponding relative equilibriumis spectrally stable or unstable. OnH2, in the elliptic case, we prove that generically all Eulerian-relative equilibria are unstable; in the particular degenerate case when the two equal masses are negligible, we get that the corresponding solutions are spectrally stable. For the hyperbolic case we consider the system where the mass in the middle is negligible; in this case the Eulerian-relative equilibria are unstable.

The ER(2)-cohomology of Bℤ/(2q) and ℂℙn are computed along with the Atiyah–Hirzebruch spectral sequence for ER(2)*(ℂℙ∞). This, along with other papers in this series, gives us the ER(2)-cohomology of all Eilenberg–MacLane spaces.

This paper introduces a class of abstract linear representations on Banach convolution function algebras over homogeneous spaces of compact groups. LetGbe a compact group andHa closed subgroup ofG. Letμbe the normalizedG-invariant measure over the compact homogeneous spaceG/Hassociated with Weil's formula and. We then present a structured class of abstract linear representations of the Banach convolution function algebrasLp(G/H,μ).

In this paper we introduceHardy-Lorentz spaces with variable exponents associated with dilations in ℝn. We establishmaximal characterizations and atomic decompositions for our variable exponent anisotropic Hardy-Lorentz spaces.

In this paper, we characterize the closures of convex hulls of unitary orbits of self-adjoint operators in unital, separable, simple C* -algebras with non-trivial tracial simplex, real rank zero, stable rank one, and strict comparison of projections with respect to tracial states. In addition, an upper bound for the number of unitary conjugates in a convex combination needed to approximate a self-adjoint are obtained.

In this paper, we prove that on a compact, n-dimensional Alexandrov space with curvature at least −1, the Wasserstein barycenter of Borel probability measures μ1 ,… , μm is absolutely continuous with respect to the n-dimensional Hausdorff measure if one of them is.

We provide the differential equations that generalize the Newtonian N-body problem of celestial mechanics to spaces of constant Gaussian curvature, k, for all k real. In previous studies, the equations of motion made sense only for k nonzero. The system derived here does more than just include the Euclidean case in the limit when k tends to 0: it recovers the classical equations for k=0. This new expression of the laws of motion allows the study of the N-body problem in the context of constant curvature spaces and thus offers a natural generalization of the Newtonian equations that includes the classical case. We end the paper with remarks about the bifurcations of the first integrals., Comment: 19 pages, 1 figure

In this paper we introduce a new way of deforming convolution algebras and Fourier algebras on locally compact groups. We demonstrate that this new deformation allows us to reveal some information about the underlying groups by examining Banach algebra properties of deformed algebras. More precisely, we focus on representability as an operator algebra of deformed convolution algebras on compact connected Lie groups with connection to the real dimension of the underlying group. Similarly, we investigate complete representability as an operator algebra of deformed Fourier algebras on some ûnitely generated discrete groups with connection to the growth rate of the group.

In this paper, we study the global regularity for regular Monge-Ampère type equations associated with semilinear Neumann boundary conditions. By establishing a priori estimates for second order derivatives, the classical solvability of the Neumann boundary value problem is proved under natural conditions. The techniques build upon the delicate and intricate treatment of the standard Monge-Ampère case by Lions, Trudinger, and Urbas in 1986 and the recent barrier constructions and second derivative bounds by Jiang, Trudinger, and Yang for the Dirichlet problem. We also consider more general oblique boundary value problems in the strictly regular case.

For a fixed $K\gg 1$ and $n\in\mathbb{N}$, $n\gg 1$, we study metric spaces which admit embeddings with distortion $\le K$ into each $n$-dimensional Banach space. Classical examples include spaces embeddable into $\log n$-dimensional Euclidean spaces, and equilateral spaces. We prove that good embeddability properties are preserved under the operation of metric composition of metric spaces. In particular, we prove that any $n$-point ultrametric can be embedded with uniformly bounded distortion into any Banach space of dimension $\log n$. The main result of the paper is a new example of a family of finite metric spaces which are not metric compositions of classical examples and which do embed with uniformly bounded distortion into any Banach space of dimension $n$. This partially answers a question of G. Schechtman., 37 pages, 5 figures, some small improvements of presentation

If f,g:ℝn→ ℝ≥0 are non-negative measurable functions, then the Prékopa–Leindler inequality asserts that the integral of the Asplund sum (provided that it is measurable) is greater than or equal to the 0-mean of the integrals of f and g. In this paper we prove that under the sole assumption that f and g have a common projection onto a hyperplane, the Prékopa–Leindler inequality admits a linear refinement. Moreover, the same inequality can be obtained when assuming that both projections (not necessarily equal as functions) have the same integral. An analogous approach may be also carried out for the so-called Borell-Brascamp-Lieb inequality.

An equivariant map queer Lie superalgebra is the Lie superalgebra of regular maps from an algebraic variety (or scheme) $X$ to a queer Lie superalgebra $\mathfrak{q}$ that are equivariant with respect to the action of a finite group $\Gamma$ acting on $X$ and $\mathfrak{q}$. In this paper, we classify all irreducible finite-dimensional representations of the equivariant map queer Lie superalgebras under the assumption that $\Gamma$ is abelian and acts freely on $X$. We show that such representations are parameterized by a certain set of $\Gamma$-equivariant finitely supported maps from $X$ to the set of isomorphism classes of irreducible finite-dimensional representations of $\mathfrak{q}$. In the special case where $X$ is the torus, we obtain a classification of the irreducible finite-dimensional representations of the twisted loop queer superalgebra., Comment: 19 pages; v2: Minor corrections

In this paper, we extend the definition of the SL(2,ℂ) Casson invariant to arbitrary knots K in integral homology 3-spheres and relate it to the m-degree of the Â-polynomial of K. We prove a product formula for the Â-polynomial of the connected sum K1#K2 of two knots in S3 and deduce additivity of the SL(2,ℂ) Casson knot invariant under connected sums for a large class of knots in S3. We also present an example of a nontrivial knot K in S3 with trivial Â-polynomial and trivial SL(2,ℂ) Casson knot invariant, showing that neither of these invariants detect the unknot.

In this paper, we prove that for ℓ = 1 or 2 the rate of best ℓ- monotone polynomial approximation in the Lp norm (1 ≤ p ≤) weighted by the Jacobi weight with , is bounded by an appropriate (ℓ + 1)-st modulus of smoothness with the same weight, and that this rate cannot be bounded by the (ℓ + 2)-nd modulus. Related results on constrained weighted spline approximation and applications of our estimates are also given.

LetMandNbe admissible Hausdorff topological spaces endowed with admissible families of open coverings. Assume thatis a semigroup acting on bothMandN. In this paper we study the behavior of limit sets, prolongations, prolongational limit sets, attracting sets, attractors, and Lyapunov stable sets (all concepts deûned for the action of the semigroup) under equivariant maps and semiconjugations fromMtoN.

In our paper [3] we considered four nniteness conditions for an orthomodular lattice (abbreviated: OML) L and conjectured their equivalence. The only question left open in that paper was whether an OML L which can be covered by finitely many blocks (maximal Boolean subalgebras) has only finitely many blocks. In this paper we give an affirmative answer to this question, in fact, we prove the slightly stronger result

This paper is concerned with two things. The first is a (primarily) geometric axiomatic description for the systems of real roots of Lie algebras arising from (generalized) Cartan matrices. The description is base free and is a natural extension of the well-known axiomatic description of finite root systems. The primary component of our description is an open convex cone which, following Looijenga [3], we call the Tits cone. In fact it was Looijenga's paper that led to this axiomatic formulation. Unlike his construction, the dimension of the Tits cone is not tightly connected to the dimension of the Cartan matrix which it eventually yields. This leads us to the second part of the paper which concerns the construction of Cartan matrices of low row rank. We can show that if we have an l × l Cartan matrix of row rank n, then we can model an axiomatic description of it with a cone of dimension n + 1.

The first example of a nuclear Fréchet space without a basis was given by B. S. Mitiagin and N. M. Zobin [9; 10]. The question of existence of subspaces without bases in nuclear Fréchet spaces was recently settled in papers by P. Djakov and B. S. Mitiagin [2] and Ed Dubinsky [5]. In this paper we consider the analogous question for quotient spaces. As in the case of subspaces we obtain a complete solution to the problem.

The purpose of this paper is to list all of the characters of An, the alternating group, mentioned in the title. The same problem for the symmetric group, Sn, was dealt with by the authors in [1]. We showr here that, apart from a few exceptions, the imprimitive, irreducible complex characters of An fall naturally into two infinite families. (Throughout this paper characters are taken over the complex numbers.)

The Picard group Γ = PSL2 (Z [i]) is the group of linear fractional transformationswith ad – bc = ± 1 and a, b, c, d Gaussian integers.Γ is of interest as an abstract group and in automorphic function theory. In an earlier paper [1], a decomposition of Γ as a free product with amalgamated subgroup was given and this was utilized to investigate Fuchsian subgroups. Karrass and Solitar used a similar decomposition to characterize abelian and nilpotent subgroups. Maskit [6], Mennicke [7] and Fine [2], used Γ to generate faithful representations of Fundamental Groups of Riemann Surfaces while more recently Wielenberg [10] represented certain knot and link groups as subgroups of Γ. In this paper, we will examine the structure of the congruence subgroups of Γ. Our technique will be to use the decomposition cited above [1], together with the Karrass-Solitar subgroup structure theory for free products with amalgamations [3]. Finally, we give a conjecture and some results concerning Fuchsian subgroups which are contained in congruence subgroups.

1. Main result. Which bounded linear operator on a complex, separable Hilbert space can be expressed as the product of finitely many normal operators? What is the answer if "normal" is replaced by "Hermitian", "nonnegative" or "positive"? Recall that an operator T is nonnegative (resp. positive) if (Tx, X) ^ 0 (resp. (Tx, X) > 0) for any x ^ 0 in the underlying space. The purpose of this paper is to provide complete answers to these questions. If the space is finite-dimensional, then necessary and sufficient condi­tions for operators expressible as such are already known. For normal operators, this is easy. By the polar decomposition, every operator is the product of two normal operators. An operator is the product of Hermitian operators if and only if its determinant is real; moreover, in this case, 4 Hermitian operators suffice and 4 is the smallest(cf suc[10. h numbe] ). r An operator T is the product of positive (resp. nonnegative) operators if and only if det T > 0 (resp. det T ^ 0); in this case, 5 positive (resp. nonnegative) operators will do and 5 is the smalles(cf.t[1 ] and [13] ). Thus from now on we will only consider the infinite-dimensional space. For this case, the problems have only been slightly touched upon before. For example, in [8, Solution 144 (a) ] it was shown that the (simple) unilateral shift is not the product of finitely many normal operators; in [11] Radjavi showed that every normal operator is the product of 4 Hermitian op­erators. Other than these, there seems to be very few in the literature. In this paper, we will completely determine which operators can be expressed as such. It turns out that the classes of operators expressible as products of normal, Hermitian or nonnegative operators are identical. More precisely, we have the following

A non-Hausdorff Ascoli theorem for continuous functions was established in [6]. The present purpose is to extend this result to point-compact continuous multifunction, using Levine's generalization for closed subsets [12]. The paper is organized as follows: the object of section 2 is to establish the necessary multifunction lemmas and to introduce the notion of a Tychonoff set; section 3 generalizes to multifunction context the partial exponential law of R. H. Fox [9, p. 430], and establishes a special exponential law for multifunctions; section 4 concerns the crucial properties of even continuity for multifunctions, introduced in [8]; the main theorem of the paper is established in section 5.

In recent years the harmonic analysis of n-fold (n > 2) metaplectic coverings of GL2 has played an increasingly important role in certain aspects of algebraic number theory. In large part this has been inspired by the pioneering work of Kubota (see [3] for example); as an application one could cite the solution by Heath-Brown and Patterson [3] to a question of Kummer's on the distribution of the arguments of cubic Gauss sums. In that paper, Eisenstein series on the 3-fold metaplectic cover of GL2(A) play a crucial role.The object of this note is to point out that the theory of Eisenstein series can be made to work for a wide class of finite central coverings. Indeed, once the assumptions are made, the usual theory carries over readily, and one obtains a spectral decomposition of the appropriate L2-space of functions; this is done in Section 2 of this paper.

Factorization structures on a category form a useful categorical tool. As is known, any , satisfying suitable completeness—and smallness—conditions, has a sufficient supply of factorization structures; in fact, there is a bijection between the class of all epireflective (full and isomorphism- closed) subcategories of and the class of all so called perfect factorizationstructures of In this paper, for an arbitrary category supplied with a fixed factorization structure (E, M), a similar bijection between the class of all E-reflective (full and isomorphism-closed) subcategories of and the class of all (E, M)-dispersed factorization structures on , introduced in this paper, will be established.

All spaces considered in this paper are completely regular and T\. A continuum is a compact, connected, Hausdorff space. A continuum is hereditarily locally connected if each of its subcontinua is locally connected. The reader may consult Whyburn [5] or Kuratowski [2] for a discussion on hereditarily locally connected metric continua. Nishiura and Tymchatyn [3] recently obtained some metric characterizations of connected subsets of hereditarily locally connected metric continua. Simone [4] extended to arbitrary hereditarily locally connected continua some well-known characterizations of hereditarily locally connected metric continua. In the first section of this paper some other characterizations of hereditarily locally connected metric continua are extended to the nonmetric case. In particular, we extend Wilder's theorem to say that a continuum is hereditarily locally connected if and only if every connected subset is locally connected. In the second section of this paper there are given some uniform and some topological characterizations of connected spaces which admit a hereditarily locally connected compactification.

Throughout this paper L will be an orthomodular lattice and the set of all maximal Boolean subalgebras, also called blocks [4], of L. For every x ∈ L, C(x) will be the set of all elements of L which commute with x. Let n ≧ 1 be a natural number. In this paper we consider the following conditions for L:An: L has at most n blocks,Bn: there exists a covering of L by at most n blocks,Cn: the set ﹛C(x)| x ∈ L﹜ has at most n elements,Dn: out of any n + 1 elements of L at least two commute.We also consider quantified versions of these statements, namely the statements A, B, C, D defined by: A ⇔ ∃ nAn, B ⇔ ∃ nBn, C ⇔ ∃ nCn and D ⇔ ∃ nDn.

Erdös [1] has shown that, if the square-free numbers in ascending order be denoted by s1, s2, … , sn, … , then for 0 ≦ γ ≦ 2as x → ∞. In this paper we shall extend this result by proving that the asymptotic formula in fact holds for the wider range 0 ≦ γ ≦ 3.Similar results have been obtained previously by the author in respect of both the sequence of numbers expressible as the sum of two squares and also sequences of numbers relatively prime to given large integers, although the method used here differs from that of the earlier papers [2; 3].

In this paper we study the question “which generalized metric spaces can be written as the union of k (closed) metrizable subspaces, where k is a cardinal number with k ≤ c?“ Questions of this type first arose in [16] where J. Nagata asked for examples of certain generalized metric spaces which could not be written as the union of countably many closed metrizable subspaces. Using Baire Category arguments, Fitzpatrick provided the required examples in [12]. We begin this paper by sharpening Fitzpatrick's examples, showing in Section 2 that there is a Moore space which is not the union of countably many metrizable subspaces of any kind. Then in Section 3 we present a positive result, proving that any cr-space, and a fortiori any Moore space, can be written as the union of c = 2ω0 closed metrizable subspaces.

The transformations we will discuss in this paper are the Hankel transformation Hυ defined for f ∊ C 0, the collection of continuous functions compactly supported in (0, ∞), by (1.1) and the and transformations defined for such f by (1.2) and (1.3) where Jv >and Yv are the Bessel functions of the first and second kinds respectively, and H v is the Struve function; for the theory of these functions see [1, Chapter VII]. These transformations were studied extensively by one of us in [5] and [6] on the spaces defined in [7; Sections 1 & 5]. In those papers the boundedness of the three transformations was fully given on the spaces for 1 < p < ∞, but not for p = 1. Also inversion formulae were given for the transformations only for portions of their respective ranges of boundedness.

In the recent paper [8] Phillips has shown that for each prime p there are 2 ℵ0 non-isomorphic 2-generatecl p-groups. This same result was obtained independently by S. Jeanes and J. S, Wilson (unpublished) who show that the groups constructed in [1] have 2 ℵ0 non-isomorphic images. The groups in both of these proofs all have infinite exponent. In this paper we show that, for large enough primes p, there are 2 ℵ0 non-isomorphic 2-generated groups of exponent p2.

Let denote the space of functions holomorphic on an open Riemann surface R, where has the topology of uniform convergence on compact sets. In this note, we characterize the dual space *. The result is not new, for it is implicitly contained in the more general results of Tillmann [5] and, in case R is planar, in those of Köthe [4]. However, the paper of Gunning and Narasimhan [3], which appeared subsequently, allows us to give a short proof of this important result. Actually, our characterization is a natural one in terms of differentials, while the Köthe-Tillmann characterization is in terms of functions, but we show that these two characterizations are isomorphic. We end our paper by using our characterization to prove an interpolation result. The second author gratefully acknowledges a helpful discussion with Professor George Szekeres.

Since the invention of the Pettis integral over forty years ago [11], the problem of recognizing the Pettis integrability of a function against an individual measure has been much studied [5, 6, 7, 8, 9, 20]. More recently, Riddle-Saab-Uhl [14] and Riddle-Saab [13] have considered the problem of when a function is integrable against every Radon measure on a fixed compact Hausdorff space. These papers give various sufficient conditions on a function that ensure this universal Pettis integrability. In this paper, we see how far these various conditions go toward characterizing universal Pettis integrability. We base our work on a w*-analogue of the core of a vector-valued function [8].We also give some sufficient conditions that ensure that a Banach space has the so-called universal Pettis integral property (UPIP) and consider some particular examples of spaces with this property. It is interesting that in these examples some of the special set theoretic axioms that play an important role in the study of the stronger Pettis integral property [6, 7] make an appearance.

Throughout this paper the ring R and the semigroup S are commutative with identity; moreover, it is assumed that S is cancellative, i.e., that S can be embedded in a group. The aim of this note is to determine necessary and sufficient conditions on R and S that the semigroup ring R[S] should be one of the following types of rings: principal ideal ring (PIR), ZPI-ring, Bezout, semihereditary or arithmetical. These results shed some light on the structure of semigroup rings and provide a source of examples of the rings listed above. They also play a key role in the determination of all commutative reduced arithmetical semigroup rings (without the cancellative hypothesis on S) which will appear in a forthcoming paper by Leo Chouinard and the authors [4].

In this paper, Köthe spaces of vector-valued functions are considered. These spaces, which are generalizations of both the Lebesgue-Bochner and Orlicz-Bochner spaces, have been studied by several people (e.g., see [1], [8]). Perhaps the earliest paper concerning the rotundity of such Köthe space is due to I. Halperin [8]. In his paper, Halperin proved that the function spaces E(X) is uniformly rotund exactly when both the Köthe space E and the Banach space X are uniformly rotund; this generalized the analogous result, due to M. M. Day [4], concerning Lebesgue-Bochner spaces. In [20], M. Smith and B. Turett showed that many properties akin to uniform rotundity lift from X to the Lebesgue-Bochner space LP(X) when 1 < p < ∞. A survey of rotundity notions in Lebesgue-Bochner function and sequence spaces can be found in [19].

One of the attractions of finite combinatorics is its explicit constructions. This paper is part of a program to enlarge the domain of finite combinatorics to certain infinite structures while preserving the explicit constructions of the smaller domain. The larger domain to be considered consists of the recursive structures. While recursive structures may be infinite they are still amenable to explicit constructions. In this paper we shall concentrate on recursive colorings of highly recursive graphs.A function f: Nk → N, where N is the set of natural numbers, is recursive if and only if there exists an algorithm (i.e., a finite computer program) which upon input of a sequence of natural numbers , after a finite number of steps, outputs . A subset of Nk is recursive provided that its characteristic function is recursive. For a more thorough definition of recursive functions and recursive relations see [10].