Search

Ostrowski's theorem implies that $\log(x),\log(x+1),\ldots$ are algebraically independent over $\mathbb{C}(x)$. More generally, for a linear differential or difference equation, it is an important problem to find all algebraic dependencies among a non-zero solution $y$ and particular transformations of $y$, such as derivatives of $y$ with respect to parameters, shifts of the arguments, rescaling, etc. In the present paper, we develop a theory of Tannakian categories with semigroup actions, which will be used to attack such questions in full generality. Deligne studied actions of braid groups on categories and obtained a finite collection of axioms that characterizes such actions to apply it to various geometric constructions. In this paper, we find a finite set of axioms that characterizes actions of semigroups that are finite free products of semigroups of the form $\mathbb{N}^n\times \mathbb{Z}/n_1\mathbb{Z}\times\ldots\times\mathbb{Z}/n_r\mathbb{Z}$ on Tannakian categories. This is the class of semigroups that appear in many applications., Comment: minor revision

J. Bellaïche and M. Dimitrov showed that the $p$-adic eigencurve is smooth but not étale over the weight space at $p$-regular theta series attached to a character of a real quadratic field $F$ in which $p$ splits. In this paper we prove the existence of an isomorphism between the subring fixed by the Atkin–Lehner involution of the completed local ring of the eigencurve at these points and a universal ring representing a pseudo-deformation problem. Additionally, we give a precise criterion for which the ramification index is exactly 2. We finish this paper by proving the smoothness of the nearly ordinary and ordinary Hecke algebras for Hilbert modular forms over $F$ at the overconvergent cuspidal Eisenstein points, being the base change lift for $\text{GL}(2)_{/F}$ of these theta series. Our approach uses deformations and pseudo-deformations of reducible Galois representations.

In this paper, we introduce weighted Carleson measure spaces associated with different homogeneities and prove that these spaces are the dual spaces of weighted Hardy spaces studied in a forthcoming paper. As an application, we establish the boundedness of composition of two Calderón–Zygmund operators with different homogeneities on the weighted Carleson measure spaces; this, in particular, provides the weighted endpoint estimates for the operators studied by Phong–Stein.

In this paper, we give several pictorial fractal representations of the ample or Kahler cone for surfaces in a certain class of K3 surfaces. The class includes surfaces described by smooth (2, 2, 2) forms in P×P×P defined over a sufficiently large number field K, which have a line parallel to one of the axes, and have Picard number four. We relate the Hausdorff dimension of this fractal to the asymptotic growth of orbits of curves under the action of the surface’s group of automorphisms. We experimentally estimate the Hausdorff dimension of the fractal to be 1.296± .010. The ample cone or Kahler cone for a surface is a significant and often complicated geometric object. Though much is known about the ample cone, particularly for K3 surfaces, only a few non-trivial examples have been explicitly described. These include the ample cones with a finite number of sides (see [N1] for n = 3, and [N2, N3] for n ≥ 5; the case n = 4 is attributed to Vinberg in an unpublished work [N1]); the ample cone for a class of K3 surfaces with n = 3 [Ba3]; and the ample cones for several Kummer surfaces, which are K3 surfaces with n = 20 [V, K-K, Kon]. Though the complexity of the problem generically increases with n, the problem for K3 surfaces with maximal Picard number (n = 20) appear to be tractable because of the small size of the transcendental lattice. In this paper, we introduce accurate pictorial representations of the ample cone and the associated fractal for surfaces within a class of K3 surfaces with Picard number n = 4 (see Figures 1, 3, 4, and 5). As far as the author is aware, the associated fractal has not been studied in any great depth for any ample cone for which the fractal has a non-integer dimension, except the one in [Ba3]. The fractal in that case is Cantor-like (it is a subset of S) and rigorous bounds on its Hausdorff dimension are calculated in [Ba1]. The Hausdorff dimension of the fractal of this paper is estimated to be 1.296± .010. Our second main result is to relate the Hausdorff dimension of the fractal to the growth of the height of curves for an orbit of curves on a surface in this class. Precisely, let V be a surface within our class of K3 surfaces and let A = Aut(V/K) be its group of automorphisms over a sufficiently large number field K. Let D be an ample divisor on V and let C be a curve on V . Define NA(C)(t,D) = #{C′ ∈ A(C) : C′ ·D < t}. Here we have abused notation by letting C′ also represent the divisor class that contains C′. The intersection C′ ·D should be thought of as a logarithmic height of 2000 Mathematics Subject Classification. 14J28, 14J50, 11D41, 11D72, 11H56, 11G10, 37F35, 37D05.

In a previous paper the authors showed that, under some technical conditions, the local Galois representations attached to the members of a non-CM family of ordinary cusp forms are indecomposable for all except possibly finitely many members of the family. In this paper we use deformation theoretic methods to give examples of non-CM families for which every classical member of weight at least two has a locally indecomposable Galois representation. School of Mathematics, Tata Institute of Fundamental Research, Mumbai 400005, India. e-mail: eghate@math.tifr.res.in Department of Mathematics, University of British Columbia, Vancouver, BC e-mail: vatsal@math.ubc.ca Received by the editors August 5, 2008. Published electronically December 29, 2010. AMS subject classification: 11F80. 1

In a 1987 paper, Gross introduced certain curves associated to a definite quaternion algebra B over Q; he then proved an analog of his result with Zagier for these curves. In Gross’ paper, the curves were defined in a somewhat ad hoc manner. In this article, we present an interpretation of these curves as projective varieties arising from graded rings of automorphic forms on B×, analogously to the construction in the Satake compactification. To define such graded rings, one needs to introduce a “multiplication” of automorphic forms that arises from the representation ring of B×. The resulting curves are unions of projective lines equipped with a collection of Hecke correspondences. They parametrize two-dimensional complex tori with quaternionic multiplication. In general, these complex tori are not abelian varieties; they are algebraic precisely when they correspond to CM points on these curves, and are thus isogenous to a product E × E, where E is an elliptic curve with complex multiplication. For these CM points one can make a relation between the action of the p-th Hecke operator and Frobenius at p, similar to the well-known congruence relation of Eichler and Shimura.

In a previous paper, we gave a correspondence between certain exact solutions to a (2 + 1)-dimensional integrable Chiral Model and holomorphic bundles on a compact surface. In this paper, we use algebraic geometry to derive a closed-form expression for those solutions and show by way of examples how the algebraic data which parametrise the solution space dictates the behaviour of the solutions.

Let $N/K$ be a finite Galois extension of p-adic number fields, and let $\rho ^{\mathrm {nr}} \colon G_K \longrightarrow \mathrm {Gl}_r({{\mathbb Z}_{p}})$ be an r-dimensional unramified representation of the absolute Galois group $G_K$ , which is the restriction of an unramified representation $\rho ^{\mathrm {nr}}_{{{\mathbb Q}}_{p}} \colon G_{{\mathbb Q}_{p}} \longrightarrow \mathrm {Gl}_r({{\mathbb Z}_{p}})$ . In this paper, we consider the $\mathrm {Gal}(N/K)$ -equivariant local $\varepsilon $ -conjecture for the p-adic representation $T = \mathbb Z_p^r(1)(\rho ^{\mathrm {nr}})$ . For example, if A is an abelian variety of dimension r defined over ${{\mathbb Q}_{p}}$ with good ordinary reduction, then the Tate module $T = T_p\hat A$ associated to the formal group $\hat A$ of A is a p-adic representation of this form. We prove the conjecture for all tame extensions $N/K$ and a certain family of weakly and wildly ramified extensions $N/K$ . This generalizes previous work of Izychev and Venjakob in the tame case and of the authors in the weakly and wildly ramified case.

We answer a 1975 question of G. R. Gordh by showing that if X is a homogeneous compactum which is the continuous image of a compact ordered space then at least one of the following holds: (i) X is metrizable, (ii) dimX = 0 or (iii) X is a union of finitely many pairwise disjoint generalized simple closed curves. We begin to examine the structure of homogeneous 0-dimensional spaces which are continuous images of ordered compacta. 1. Introduction. The aim of this paper is to investigate homogeneous spaces which are continuous images of ordered compacta. In 1975, G. R. Gordh proved that if a homo­ geneous and hereditarily unicoherent continuum is the continuous image of an ordered compactum, then it is metrizable, and so indecomposable (7, Theorem 3). Further, he asked if, in general, every homogeneous continuum which is the continuous image of an ordered compactum must be either metrizable or a generalized simple closed curve. Our Theorem 1 provides an affirmative answer to Gordh's question. Moreover, in Theorem 2, we prove that a homogeneous space which is not 0-dimensional and which is the continuous image of an ordered compactum is either metrizable or a union of finitely many pairwise disjoint generalized simple closed curves. Our methods of proof involve characterizations of continuous images of arcs obtained in ( 16) in terms of cyclic elements and T-sets. When dealing with the class A of all homogeneous and 0-dimensional spaces which are the continuous images of ordered compacta, the situation becomes less clear. By a recent theorem of M. Bell, each member of A is first countable. Moreover, by a result of (18), each member of A can be embedded into a dendron. We give a rather simple construction leading to a wide subclass of A. In particular, we show that not all members of A are orderable, and that there exists a strongly homogeneous space X which is the continuous image of an ordered compactum and which is not first countable. It follows that X $ A. Our investigations of the class A led to some natural questions which are stated at the end of the paper. All spaces considered in this paper are Hausdorff.

In the integral Khovanov homology of links, the presence of odd torsion is rare. Homologically thin links, that is links whose Khovanov homology is supported on two adjacent diagonals, are known to only contain $\mathbb{Z}_2$ torsion. In this paper, we prove a local version of this result. If the Khovanov homology of a link is supported in two adjacent diagonals over a range of homological gradings and the Khovanov homology satisfies some other mild restrictions, then the Khovanov homology of that link has only $\mathbb{Z}_2$ torsion over that range of homological gradings. These conditions are then shown to be met by an infinite family of 3-braids, strictly containing all 3-strand torus links, thus giving a partial answer to Sazdanovic and Przytycki's conjecture that 3-braids have only $\mathbb{Z}_2$ torsion in Khovanov homology. We also give explicit computations of integral Khovanov homology for all links in this family., Comment: 20 pages, 11 figures. Section 4 has been simplified

Let M be a closed, connected, orientable topological 4-manifold, and G be a finite group acting topologically and locally linearly on M. In this paper we investigate the Borel spectral sequence for the G-equivariant cohomology of M, and establish new bounds on the rank of G for homologically trivial actions with discrete singular set., 22 pages (v2). Accepted for publication in the Canadian Journal of Mathematics

Root systems and Coxeter groups are important tools in multivariable analysis. This paper is concerned with differential-difference and integral operators, and orthogonality structures for polynomials associated to Coxeter groups. For each such group, the structures allow as many parameters as the number of conjugacy classes of reflections. The classical orthogonal polynomials of Gegenbauer and Jacobi type appear in this theory as two-dimensional cases. For each Coxeter group and admissible choice of parameters there is a structure analogous to spherical harmonics which relies on the connection between a Laplacian operator and orthogonality on the unit sphere with respect to a group-invariant measure. The theory has been developed in several papers of the author [4,5,6,7]. In this paper, the emphasis is on the study of an intertwining operator which allows the transfer of certain results about ordinary harmonic polynomials to those associated to Coxeter groups. In particular, a formula and a bound are obtained for the Poisson kernel.

The purpose of this paper is to introduce the notion of a CW complex over a topological category. The main theorem of this paper gives an equivalence between the homotopy theory of diagrams of spaces based on a topological category and the homotopy theory of CW complexes over the same base category.A brief description of the paper goes as follows: in Section 1 we introduce the homotopy category of diagrams of spaces based on a fixed topological category. In Section 2 homotopy groups for diagrams are defined. These are used to define the concept of weak equivalence and J-n equivalence that generalize the classical definition. In Section 3 we adapt the classical theory of CW complexes to develop a cellular theory for diagrams. In Section 4 we use sheaf theory to define a reasonable cohomology theory of diagrams and compare it to previously defined theories. In Section 5 we define a closed model category structure for the homotopy theory of diagrams. We show this Quillen type homotopy theory is equivalent to the homotopy theory of J-CW complexes. In Section 6 we apply our constructions and results to prove a useful result in equivariant homotopy theory originally proved by Elmendorf by a different method.

In this paper, we are interested in obtaining large values of Dirichlet L-functions evaluated at zeros of a class of L-functions, that is, $$ \begin{align*}\max_{\substack{F(\rho)=0\\ T\leq \Im \rho \leq 2T}}L(\rho,\chi), \end{align*} $$ where $\chi $ is a primitive Dirichlet character and F belongs to a class of L-functions. The class we consider includes L-functions associated with automorphic representations of $GL(n)$ over ${\mathbb {Q}}$ .

We define a limiting $\mathfrak{sl}_N$ Khovanov-Rozansky homology for semi-infinite positive multi-colored braids, and we show that this limiting homology categorifies a highest-weight projector for a large class of such braids. This effectively completes the extension of Cautis' similar result for infinite twist braids, begun in our earlier papers with Islambouli and Abel. We also present several similar results for other families of semi-infinite and bi-infinite multi-colored braids., 37 pages, 13 figures

Let $A$ be a symmetrisable generalised Cartan matrix, and let $\mathfrak g(A)$ be the corresponding Kac-Moody algebra. In this paper, we address the following fundamental question on the structure of $\mathfrak g(A)$: given two homogeneous elements $x,y \in \mathfrak g(A)$, when is their bracket $[x,y]$ a nonzero element? As an application of our results, we give a description of the solvable and nilpotent graded subalgebras of $\mathfrak g(A)$., 32 pages. Final version, to appear in Canadian Journal of Mathematics

In this paper, we investigate the weighted multilinear boundedness properties of the maximal higher order Calder\'on commutator for the dimensions larger than two. We establish all weighted multilinear estimates on the product of the $L^p(\mathbb{R}^d,w)$ space, including some peculiar endpoint estimates of the higher dimensional Calder\'on commutator., Comment: 36 pages, Canadian Journal of Mathematics, to appear. arXiv admin note: text overlap with arXiv:1712.09020

In the present paper we extend the definition of slice-torus invariant to links. We prove a few properties of the newly-defined slice-torus link invariants: the behaviour under crossing change, a slice genus bound, an obstruction to strong sliceness, and a combinatorial bound. Furthermore, we provide an application to the computation of the splitting number. Finally, we use the slice-torus link invariants, and the Whitehead doubling to define new strong concordance invariants for links, which are proven to be independent from the corresponding slice-torus link invariant., 31 pages, 19 figures, 4 tables. Improved exposition, typos fixed, slight improvement of Propositions 2.10 and 3.5, and added a comment on a result of A. Conway related to Theorem 1.4. Comments are welcome!

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

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.

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.

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 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.

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.

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.

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.

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.

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.

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.

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].

Let C(X) be the ring of all real-valued continuous functions on a completely regular topological space X, and let A﹛Y) be the ring of all functions analytic on a connected non-compact Riemann surface F. The ideal theories of these two function rings have been extensively studied since the fundamental papers of E. Hewitt on C﹛X)[12] and of M. Henriksen on the ring of entire functions [10; 11]. Despite the obvious differences between these two rings, it has turned out that there are striking similarities between their ideal theories. For instance, non-maximal prime ideals of A (F) [2; 11] behave very much like prime ideals of C﹛X)[13; 14], and primary ideals of A(Y) which are not powers of maximal ideals [19] resemble primary ideals of C(X) [15]. In this paper we show that there are very good reasons for these similarities. It turns out that much of the ideal theory of A (Y) is a special case of the ideal theory of rings of continuous functions. We develop machinery that enables one almost automatically to derive results about the ideal theory of A(Y) from corresponding known results of ideal theory for rings of continuous functions.

The observations of this paper evolved from the concept of 'asymptotic nonexpansiveness' introduced by two of the writers in a previous paper [10]. Let X be a Banach space and K ⊆ X. A mapping T : K → K is called asymptotically nonexpansive if for each x, y ∊ Kwhere {ki} is a fixed sequence of real numbers such that ki→1 as i → ∞ . It is proved in [10] that if K is a bounded closed and convex subset of a uniformly convex space X then every asymptotically nonexpansive mapping T : K → K has a fixed point. This theorem generalizes the fixed point theorem of Browder-Göhde-Kirk [2 ; 12 ; 16] for nonexpansive mappings (mappings T for which ||T(x) — T(y)|| ≦ ||x — y||, x, y ∊ K) in a uniformly convex space. (A generalization along similar lines also has been obtained by Edelstein [4].)