Search

The proofs of Theorem 2.2 of K. J. Dykema and M. Rørdam, Purely infinite simple C*-algebras arising from free product constructions, Canad. J. Math. 50 (1998), 323–341 and of Theorem 3.1 of K J. Dykema, Purely infinite simple C*-algebras arising from free product constructions, II,Math. Scand. 90 (2002), 73–86 are corrected.

Let π: X′ → X be a finite surjective morphism of complex projective manifolds which can be factored by an embedding of X′ into the total space of an ample line bundle 𝓛 over X. A theorem of Lazarsfeld asserts that Betti numbers of X and X′ are equal except, possibly, the middle ones. In the present paper it is proved that the middle numbers are actually non-equal if either 𝓛 is spanned and deg π ≥ dim X, or if X is either a hyperquadric or a projective space and π is not a double cover of an odd-dimensional projective space by a hyperquadric.

In this paper, we study the images of multilinear graded polynomials on the graded algebra of upper triangular matrices $UT_n$ . For positive integers $q\leq n$ , we classify these images on $UT_{n}$ endowed with a particular elementary ${\mathbb {Z}}_{q}$ -grading. As a consequence, we obtain the images of multilinear graded polynomials on $UT_{n}$ with the natural ${\mathbb {Z}}_{n}$ -grading. We apply this classification in order to give a new condition for a multilinear polynomial in terms of graded identities so that to obtain the traceless matrices in its image on the full matrix algebra. We also describe the images of multilinear polynomials on the graded algebras $UT_{2}$ and $UT_{3}$ , for arbitrary gradings. We finish the paper by proving a similar result for the graded Jordan algebra $UJ_{2}$ , and also for $UJ_{3}$ endowed with the natural elementary ${\mathbb {Z}}_{3}$ -grading.

Let $f(z)=\sum _{n=0}^\infty a_n z^n$ be an entire function on the complex plane, and let ${\mathcal R} f(z) = \sum _{n=0}^\infty a_n X_n z^n$ be its randomization induced by a standard sequence $(X_n)_n$ of independent Bernoulli, Steinhaus, or Gaussian random variables. In this paper, we characterize those functions $f(z)$ such that ${\mathcal R} f(z)$ is almost surely in the Fock space ${\mathcal F}_{\alpha }^p$ for any $p, \alpha \in (0,\infty )$ . Then such a characterization, together with embedding theorems which are of independent interests, is used to obtain a Littlewood-type theorem, also known as regularity improvement under randomization within the scale of Fock spaces. Other results obtained in this paper include: (a) a characterization of random analytic functions in the mixed-norm space ${\mathcal F}(\infty , q, \alpha )$ , an endpoint version of Fock spaces, via entropy integrals; (b) a complete description of random lacunary elements in Fock spaces; and (c) a complete description of random multipliers between different Fock spaces.

We compare crystal combinatorics of the level 2 Fock space with the classification of unitary irreducible representations of type B rational Cherednik algebras to study how unitarity behaves under parabolic restriction. First, we show that any finite-dimensional unitary irreducible representation of such an algebra is labeled by a bipartition consisting of a rectangular partition in one component and the empty partition in the other component. This is a new proof of a result that can be deduced from theorems of Montarani and Etingof-Stoica. Second, we show that the crystal operators that remove boxes preserve the combinatorial conditions for unitarity, and that the parabolic restriction functors categorifying the crystals send irreducible unitary representations to unitary representations. Third, we find the supports of the unitary representations., This paper supersedes arXiv:1907.00919 and contains that paper as a subsection. 35 pages, some color figures

A finitely presented 1-ended group $G$ has semistable fundamental group at infinity if $G$ acts geometrically on a simply connected and locally compact ANR $Y$ having the property that any two proper rays in $Y$ are properly homotopic. This property of $Y$ captures a notion of connectivity at infinity stronger than “1-ended”, and is in fact a feature of $G$, being independent of choices. It is a fundamental property in the homotopical study of finitely presented groups. While many important classes of groups have been shown to have semistable fundamental group at infinity, the question of whether every $G$ has this property has been a recognized open question for nearly forty years. In this paper we attack the problem by considering a proper but non-cocompact action of a group $J$ on such an $Y$. This $J$ would typically be a subgroup of infinite index in the geometrically acting over-group $G$; for example $J$ might be infinite cyclic or some other subgroup whose semistability properties are known. We divide the semistability property of $G$ into a $J$-part and a “perpendicular to $J$” part, and we analyze how these two parts fit together. Among other things, this analysis leads to a proof (in a companion paper) that a class of groups previously considered to be likely counter examples do in fact have the semistability property.

This note corrects an error in our paper “A Galois correspondence for reduced crossed products of unital simple $\text{C}^{\ast }$-algebras by discrete groups”, http://dx.doi.org/10.4153/CJM-2018-014-6. The main results of the original paper are unchanged.

This paper investigates regularity in Lorentz spaces for weak solutions of a class of divergence form quasi-linear parabolic equations with singular divergence-free drifts. In this class of equations, the principal terms are vector field functions that are measurable in ($x,t$)-variable, and nonlinearly dependent on both unknown solutions and their gradients. Interior, local boundary, and global regularity estimates in Lorentz spaces for gradients of weak solutions are established assuming that the solutions are in BMO space, the John–Nirenberg space. The results are even new when the drifts are identically zero, because they do not require solutions to be bounded as in the available literature. In the linear setting, the results of the paper also improve the standard Calderón–Zygmund regularity theory to the critical borderline case. When the principal term in the equation does not depend on the solution as its variable, our results recover and sharpen known available results. The approach is based on the perturbation technique introduced by Caffarelli and Peral together with a “double-scaling parameter” technique and the maximal function free approach introduced by Acerbi and Mingione.

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

The closest infinite dimensional relatives of compact Lie algebras are Hilbert-Lie algebras, i.e. real Hilbert spaces with a Lie algebra structure for which the scalar product is invariant. Locally affine Lie algebras (LALAs) correspond to double extensions of (twisted) loop algebras over simple Hilbert-Lie algebras $\mathfrak{k}$, also called affinisations of $\mathfrak{k}$. They possess a root space decomposition whose corresponding root system is a locally affine root system of one of the $7$ families $A_J^{(1)}$, $B_J^{(1)}$, $C_J^{(1)}$, $D_J^{(1)}$, $B_J^{(2)}$, $C_J^{(2)}$ and $BC_J^{(2)}$ for some infinite set $J$. To each of these types corresponds a "minimal" affinisation of some simple Hilbert-Lie algebra $\mathfrak{k}$, which we call standard. In this paper, we give for each affinisation $\mathfrak{g}$ of a simple Hilbert-Lie algebra $\mathfrak{k}$ an explicit isomorphism from $\mathfrak{g}$ to one of the standard affinisations of $\mathfrak{k}$. The existence of such an isomorphism could also be derived from the classification of locally affine root systems, but for representation theoretic purposes it is crucial to obtain it explicitely as a deformation between two twists which is compatible with the root decompositions. We illustrate this by applying our isomorphism theorem to the study of positive energy highest weight representations of $\mathfrak{g}$. In subsequent work, the present paper will be used to obtain a complete classification of the positive energy highest weight representations of affinisations of $\mathfrak{k}$., Comment: 22 pages; Minor corrections

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.

We present a unified theory for the almost periodicity of functions with values in an arbitrary Banach space, measures and distributions via almost periodic elements for the action of a locally compact abelian group on a uniform topological space. We discuss the relation between Bohr- and Bochner-type almost periodicity, and similar conditions, and how the equivalence among such conditions relates to properties of the group action and the uniformity. We complete the paper by demonstrating how various examples considered earlier all fit in our framework.

In this paper, we study the stability of the ring solution of the N-body problem in the entire sphere $\mathbb {S}^2$ by using the logarithmic potential proposed in Boatto et al. (2016, Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 472, 20160020) and Dritschel (2019, Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 377, 20180349), derived through a definition of central force and Hodge decomposition theorem for 1-forms in manifolds. First, we characterize the ring solution and study its spectral stability, obtaining regions (spherical caps) where the ring solution is spectrally stable for $2\leq N\leq 6$ , while, for $N\geq 7$ , the ring is spectrally unstable. The nonlinear stability is studied by reducing the system to the homographic regular polygonal solutions, obtaining a 2-d.o.f. Hamiltonian system, and therefore some classic results on stability for 2-d.o.f. Hamiltonian systems are applied to prove that the ring solution is unstable at any parallel where it is placed. Additionally, this system can be reduced to 1-d.o.f. by using the angular momentum integral, which enables us to describe the phase portraits and use them to find periodic ring solutions to the full system. Some of those solutions are numerically approximated.

This paper proves a commutative algebraic extension of a generalized Skolem-Mahler-Lech theorem due to the first author. Let $A$ be a finitely generated commutative $K$-algebra over a field of characteristic $0$, and let $\sigma$ be a $K$-algebra automorphism of $A$. Given ideals $I$ and $J$ of $A$, we show that the set $S$ of integers $m$ such that $\sigma^m(I) \supseteq J$ is a finite union of complete doubly infinite arithmetic progressions in $m$, up to the addition of a finite set. Alternatively, this result states that for an affine scheme $X$ of finite type over $K$, an automorphism $\sigma \in {\rm Aut}_K(X)$, and $Y$ and $Z$ any two closed subschemes of $X$, the set of integers $m$ with $\sigma^m(Z ) \subseteq Y$ is as above. The paper presents examples showing that this result may fail to hold if the affine scheme $X$ is not of finite type, or if $X$ is of finite type but the field $K$ has positive characteristic., Comment: 29 pages; to appear in the Canadian Journal of Mathematics

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.

Let G be a finite transitive group on a set $\Omega $ , let $\alpha \in \Omega $ , and let $G_{\alpha }$ be the stabilizer of the point $\alpha $ in G. In this paper, we are interested in the proportion $$ \begin{align*} \frac{|\{\omega\in \Omega\mid \omega \textrm{ lies in a }G_{\alpha}\textrm{-orbit of cardinality at most 2}\}|}{|\Omega|}, \end{align*} $$ that is, the proportion of elements of $\Omega $ lying in a suborbit of cardinality at most 2. We show that, if this proportion is greater than $5/6$ , then each element of $\Omega $ lies in a suborbit of cardinality at most 2, and hence G is classified by a result of Bergman and Lenstra. We also classify the permutation groups attaining the bound $5/6$ . We use these results to answer a question concerning the enumeration of Cayley graphs. Given a transitive group G containing a regular subgroup R, we determine an upper bound on the number of Cayley graphs on R containing G in their automorphism groups.

We define a class of invariants, which we call homological invariants, for persistence modules over a finite poset. Informally, a homological invariant is one that respects some homological data and takes values in the free abelian group generated by a finite set of indecomposable modules. We focus in particular on groups generated by "spread modules", which are sometimes called "interval modules" in the persistence theory literature. We show that both the dimension vector and rank invariant are equivalent to homological invariants taking values in groups generated by spread modules. We also show that that the free abelian group generated by the "single-source" spread modules gives rise to a new invariant which is finer than the rank invariant., Comment: v2 (sizable update): added numerous references, reorganized paper, added new section on motivation and related work (Section 3), expanded upon the relationship between homological invariants and dimensions of hom-spaces (Theorem 1.1), extended main Theorem 1.2 (formerly Theorem 1.1), corrected errors in comparisons to other invariants (Section 7). 23 pages, comments welcome!

This paper concerns the problem of existence of taut foliations among 3-manifolds. Since the contribution of David Gabai, we know that closed 3-manifolds with non-trivial second homology group admit a taut foliations. The essential part of this paper focuses on Seifert fibered homology 3-spheres. The result is quite different if they are integral or rational but non-integral homology 3-spheres. Concerning integral homology 3-spheres, we prove that all but the 3-sphere and the Poincar\'e 3-sphere admit a taut foliation. Concerning non-integral homology 3-spheres, we prove there are infinitely many which admit a taut foliation, and infinitely many without taut foliation. Moreover, we show that the geometries do not determine the existence of taut foliations on non-integral Seifert fibered homology 3-spheres., Comment: 34 pages, 1 figure

This paper provides a convenient and practical method to compute the homology and intersection pairing of a branched double cover of the 4-ball. To projections of links in the 3-ball, and to projections of surfaces in the 4-ball into the boundary sphere, we associate a sequence of homology groups, called the disoriented homology. We show that the disoriented homology is isomorphic to the homology of the double branched cover of the link or surface. We define a pairing on the first disoriented homology group of a surface and show that this is equal to the intersection pairing of the branched cover. These results generalize work of Gordon and Litherland, for embedded surfaces in the 3-sphere, to arbitrary surfaces in the 4-ball. We also give a generalization of the signature formula of Gordon-Litherland to the general setting. Our results are underpinned by a theorem describing a handle decomposition of the branched double cover of a codimension-2 submanifold in the $n$-ball, which generalizes previous results of Akbulut-Kirby and others., Comment: 44 pages, 21 figures; V2: Improved exposition incorporating referees' suggestions. Accepted for publication in Canad. J. Math

We apply capacities to explore the space–time fractional dissipative equation: (0.1) $$ \begin{align} \left\{\begin{aligned} &\partial^{\beta}_{t}u(t,x)=-\nu(-\Delta)^{\alpha/2}u(t,x)+f(t,x),\quad (t,x)\in\mathbb R^{1+n}_{+},\\ &u(0,x)=\varphi(x),\ x\in\mathbb R^{n}, \end{aligned}\right. \end{align} $$ where $\alpha>n$ and $\beta \in (0,1)$ . In this paper, we focus on the regularity and the blow-up set of mild solutions to (0.1). First, we establish the Strichartz-type estimates for the homogeneous term $R_{\alpha ,\beta }(\varphi )$ and inhomogeneous term $G_{\alpha ,\beta }(g)$ , respectively. Second, we obtain some space–time estimates for $G_{\alpha ,\beta }(g).$ Based on these estimates, we prove that the continuity of $R_{\alpha ,\beta }(\varphi )(t,x)$ and the Hölder continuity of $G_{\alpha ,\beta }(g)(t,x)$ on $\mathbb {R}^{1+n}_+,$ which implies a Moser–Trudinger-type estimate for $G_{\alpha ,\beta }.$ Then, for a newly introduced $L^{q}_{t}L^p_{x}$ -capacity related to the space–time fractional dissipative operator $\partial ^{\beta }_{t}+(-\Delta )^{\alpha /2},$ we perform the geometric-measure-theoretic analysis and establish its basic properties. Especially, we estimate the capacity of fractional parabolic balls in $\mathbb {R}^{1+n}_+$ by using the Strichartz estimates and the Moser–Trudinger-type estimate for $G_{\alpha ,\beta }.$ A strong-type estimate of the $L^{q}_{t}L^p_{x}$ -capacity and an embedding of Lorentz spaces are also derived. Based on these results, especially the Strichartz-type estimates and the $L^{q}_{t}L^p_{x}$ -capacity of fractional parabolic balls, we deduce the size, i.e., the Hausdorff dimension, of the blow-up set of solutions to (0.1).

In this paper, we considered the global strong solution to the 3D incompressible micropolar equations with fractional partial dissipation. Whether or not the classical solution to the 3D Navier–Stokes equations can develop finite-time singularity remains an outstanding open problem, so does the same issue on the 3D incompressible micropolar equations. We establish the global-in-time existence and uniqueness strong solutions to the 3D incompressible micropolar equations with fractional partial velocity dissipation and microrotation diffusion with the initial data $(\mathbf {u}_0,\ \mathbf {w}_0)\in H^1(\mathbb {R}^3)$ .

In this paper we first generalize to the case of partial flags a result proved both by Spaltenstein and by Steinberg that relates the relative position of two complete flags and the irreducible components of the flag variety in which they lie, using the Robinson-Schensted-Knuth correspondence. Then we use this result to generalize the mirabolic Robinson-Schensted-Knuth correspondence defined by Travkin, to the case of two partial flags and a line., Comment: 27 pages, slightly rewritten to combine two papers into one and clarify some sections

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.

Let f be a normalized Hecke eigenform with rational integer Fourier coefficients. It is an interesting question to know how often an integer n has a factor common with the n-th Fourier coefficient of f. It has been shown in previous papers that this happens very often. In this paper, we give an asymptotic formula for the number of integers n for which (n, a(n)) = 1, where a(n) is the n-th Fourier coefficient of a normalized Hecke eigenform f of weight 2 with rational integer Fourier coefficients and having complex multiplication.

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 this paper, we prove results about solutions of the Diophantine equation $x^p+y^p=z^3$ over various number fields using the modular method. First, by assuming some standard modularity conjecture, we prove an asymptotic result for general number fields of narrow class number one satisfying some technical conditions. Second, we show that there is an explicit bound such that the equation $x^p+y^p=z^3$ does not have a particular type of solution over $K=\mathbb {Q}(\sqrt {-d})$ , where $d=1,7,19,43,67$ whenever p is bigger than this bound. During the course of the proof, we prove various results about the irreducibility of Galois representations, image of inertia groups, and Bianchi newforms.

This paper is concerned with the residual spectrum of the hermitian quaternionic classical groups G′n and H′n defined as algebraic groups for a quaternion algebra over an algebraic number field. Groups G′n and H′n are not quasi-split. They are inner forms of the split groups SO4n and Sp4n. Hence, the parts of the residual spectrum of G′n and H′n obtained in this paper are compared to the corresponding parts for the split groups SO4n and Sp4n.

In his seminal papers, Koblitz proposed curves for cryptographic use. For fast operations on these curves, these papers also initiated a study of the radix-τ expansion of integers in the number fields and . The (window) nonadjacent form of τ -expansion of integers in was first investigated by Solinas. For integers in , the nonadjacent form and the window nonadjacent form of the τ -expansion were studied. These are used for efficient point multiplications on Koblitz curves. In this paper, we complete the picture by producing the (window) nonadjacent radix-τ expansions for integers in all Euclidean imaginary quadratic number fields.

This paper is a continuation of three recent articles concerning the structure of hyperinvariant subspace lattices of operators on a (separable, infinite dimensional) Hilbert space . We show herein, in particular, that there exists a “universal” fixed block-diagonal operator B on such that if ε > 0 is given and T is an arbitrary nonalgebraic operator on , then there exists a compact operator K of norm less than ε such that (i) Hlat(T) is isomorphic as a complete lattice to Hlat(B + K) and (ii) B + K is a quasidiagonal, C00, (BCP)-operator with spectrum and left essential spectrum the unit disc. In the last four sections of the paper, we investigate the possible structures of the hyperlattice of an arbitrary algebraic operator. Contrary to existing conjectures, Hlat(T) need not be generated by the ranges and kernels of the powers of T in the nilpotent case. In fact, this lattice can be infinite.

In this paper we study ruled surfaces which appear as exceptional surface in a succession of blowing-ups. In particular we prove that the e-invariant of such a ruled exceptional surface E is strictly positive whenever its intersection with the other exceptional surfaces does not contain a fiber (of E). This fact immediately enables us to resolve an open problem concerning an intersection configuration on such a ruled exceptional surface consisting of three nonintersecting sections. In the second part of the paper we apply the non-vanishing of e to the study of the poles of the well-known topological, Hodge and motivic zeta functions.

We study the cardinal invariants of analytic P-ideals, concentrating on the ideal Zof asymptotic density zero. Among other results we prove min{b, cov (N)} ≤ cov∗(Z) ≤ max{b, non(N)}. Introduction Analytic P-ideals and their quotients have been extensively studied in recent years. The first step to better understanding the structure of the quotient forcings P(ω)/I is to understand the structure of the ideal itself. Significant progress in understanding the way in which the structure of an ideal affects the structure of its quotient has been done by I. Farah [Fa1, Fa2, Fa3, Fa4, Fa5]. Typically (but not always) the quotients P(ω)/I, where I is an analytic P-ideal, are proper and weakly distributive. For some special ideals these quotients have been identified: P(ω)/Z is as forcing notion equivalent to P(ω)/fin ∗ B(2) [Fa5], and P(ω)/ tr(N) [HZ1] is as forcing notion equivalent to the iteration of B(ω) followed by an א0-distributive forcing (see the definitions below). A secondary motivation comes from the problem of which ideals can be destroyed by a weakly distributive forcing. Even for the class of analytic P-ideals only partial results are known (see Section 3). In this note we contribute to this line of research by investigating cardinal invariants of analytic P-ideals, comparing them to other, standard, cardinal invariants of the continuum. In the first section we introduce cardinal invariants of ideals on ω, along the lines of the cardinal invariants contained in the Cichon’s diagram. We also recall the definitions of standard orderings on ideals on ω (Rudin–Keisler, Tukey, Katětov) and their impact on the cardinal invariants of the ideals. Basic theory of analytic P-ideals on ω and examples are also reviewed here. Known results on additivity and cofinality of analytic P-ideals are summarized in the second section. The main part of the paper is contained in the third section. There we study the order of Katětov restricted to analytic P-ideals, giving a detailed description of how the summable and density ideals are placed in the Katětov order. For the rest of the section, we focus on the ideal of asymptotic density zero and compare its covering number to standard cardinal invariants of the continuum. We prove that min{b, cov(N)} ≤ cov(Z) ≤ max{b, non(N)} and mention some consistency results. We introduce the notion of a totally bounded analytic P-ideal and show that Received by the editors October 5, 2004; revised September 19, 2005. The authors gratefully acknowledge support from PAPIIT grant IN106705. The second author’s research was also partially supported by GA CR grant 201-03-0933 and CONACYT grant 40057-F AMS subject classification: 03E17, 03E40. c ©Canadian Mathematical Society 2007. 575 576 F. Hernandez-Hernandez and M. Hrusak all analytic P-ideals which are not totally bounded can be destroyed by a weakly distributive forcing. In the last section we study the separating number of analytic P-ideals, an invariant closely related to the Laver and Mathias–Prikry type forcings associated with the ideal. Two major problems remain open here: (1) Is add(I) = add(N) for every tall analytic P-ideal I? (2) Can every analytic P-ideal be destroyed by a weakly distributive forcing? What about Z? We assume knowledge of the method of forcing as well as the basic theory of cardinal invariants of the continuum as covered in [BJ]. Our notation is standard and follows [Ku, Je, BJ]. In particular, c0, l1 and l∞ denote the standard Banach spaces of sequences of reals. For A,B infinite subsets of ω, we say that A is almost contained in B (A ⊆ B) if A \ B is finite. The symbol A = Bmeans that A ⊆ B and B ⊆ A. For functions f , g ∈ ω we write f ≤ g to mean that there is some m ∈ ω such that f (n) ≤ g(n) for all n ≥ m. The bounding number b is the least cardinal of an ≤-unbounded family of functions in ω . The dominating number d is the least cardinal of a ≤-cofinal family of functions in ω . Recall that a family of subsets of ω has the strong finite intersection property if any finite subfamily has infinite intersection. The pseudointersection number p is the minimal size of a family of subsets of ω with the strong finite intersection property but without an infinite pseudointersection (i.e., without a common lower bound in the ⊆ order). A family S ⊆ P(ω) is a splitting family if for every infinite A ⊆ ω there is an S ∈ S such that S ∩ A and A \ S are infinite. The splitting number s is the minimal size of a splitting family in P(ω). The set 2 is equipped with the product topology, that is, the topology with basic open sets of the form [s] = {x ∈ 2 : s ⊆ x}, where s ∈ 2 . The topology of P(ω) is that obtained via the identification of each subset of ω with its characteristic function. An ideal on X is a family of subsets of X closed under taking finite unions and subsets of its members. We assume throughout the paper that all ideals contain all singletons {x} for x ∈ X. An ideal I on ω is called P-ideal if for any sequence Xn ∈ I, n ∈ ω, there exists X ∈ I such that Xn ⊆ ∗ X for all n ∈ ω. An ideal I on ω is analytic if it is analytic as a subspace of P(ω) with the above topology. Recall that an ideal on ω is tall (or dense) if every infinite set of ω contains an infinite set from the ideal. If I is an ideal on ω and Y ⊆ ω is an infinite set, then we denote by I↾Y the ideal {I ∩ Y : I ∈ I}; note that the underlying set of the ideal I↾Y is not the underlying set of I but Y . For an ideal I on ω, I denotes the dual filter, M denotes the ideal of meager subsets of R, and N the ideal of Lebesgue null subsets of R. Given an ideal I on a set X, the following are standard cardinal invariants associated with I: add(I) = min{|A| : A ⊆ I ∧ ⋃ A / ∈ I}, cov(I) = min{|A| : A ⊆ I ∧ ⋃ A = X}, cof(I) = min{|A| : A ⊆ I ∧ (∀I ∈ I)(∃A ∈ A)(I ⊆ A)}, non(I) = min{|Y | : Y ⊆ X ∧Y / ∈ I}. The provable relationships between the cardinal invariants of M and N are Cardinal Invariants of Analytic P-Ideals 577 summed up in the following diagram: cov(N) // non(M) // cof(M) // cof(N)

The Banach convolution algebras l1(ω) and their continuous counterparts L1(ℝ+, ω) are much studied, because (when the submultiplicative weight function ω is radical) they are pretty much the prototypic examples of commutative radical Banach algebras. In cases of “nice” weights ω, the only closed ideals they have are the obvious, or “standard”, ideals. But in the general case, a brilliant but very difficult paper of Marc Thomas shows that nonstandard ideals exist in l1(ω). His proof was successfully exported to the continuous case L1(ℝ+, ω) by Dales and McClure, but remained difficult. In this paper we first present a small improvement: a new and easier proof of the existence of nonstandard ideals in l1(ω) and L1(ℝ+, ω). The new proof is based on the idea of a “nonstandard dual pair” which we introduce. We are then able to make a much larger improvement: we find nonstandard ideals in L1(ℝ+, ω) containing functions whose supports extend all the way down to zero in ℝ+, thereby solving what has become a notorious problem in the area.

The main problem that is solved in this paper has the following simple formulation (which is not used in its solution). The group K = Op(C) × Oq(C) acts on the space Mp, q of p × q complex matrices by (a; b) · x = axb–1, and so does its identity component K0 = SOp(C)×SOq(C). A K-orbit (or K0-orbit) in Mp,q is said to be nilpotent if its closure contains the zero matrix. The closure, , of a nilpotent K-orbit (resp. K0-orbit) in Mp,q is a union of and some nilpotent K-orbits (resp. K0-orbits) of smaller dimensions. The description of the closure of nilpotent K-orbits has been known for some time, but not so for the nilpotent K0-orbits. A conjecture describing the closure of nilpotent K0-orbits was proposed in [11] and verièd when min(p, q) ≤ 7. In this paper we prove the conjecture. The proof is based on a study of two prehomogeneous vector spaces attached to and determination of the basic relative invariants of these spaces.The above problem is equivalent to the problem of describing the closure of nilpotent orbits in the real Lie algebra so(p, q) under the adjoint action of the identity component of the real orthogonal group O(p, q).

In this paper, we consider the family of nth degree polynomials whose coefficients form a log-convex sequence (up to binomial weights), and investigate their roots. We study, among others, the structure of the set of roots of such polynomials, showing that it is a closed convex cone in the upper half-plane, which covers its interior when n tends to infinity, and giving its precise description for every $n\in \mathbb {N}$ , $n\geq 2$ . Dual Steiner polynomials of star bodies are a particular case of them, and so we derive, as a consequence, further properties for their roots.

We study families of metrics on automorphic vector bundles associated to representations of the modular group. These metrics are defined using an Eisenstein series construction. We show that in certain cases, the residue of these Eisenstein metrics at their rightmost pole is a harmonic metric for the underlying representation of the modular group. The last section of the paper considers the case of a family of representations that are indecomposable but not irreducible. The analysis of the corresponding Eisenstein metrics, and the location of their rightmost pole, is an open question whose resolution depends on the asymptotics of matrix-valued Kloosterman sums., 24 pages, 1 figure, 1 table

Habib Muzaffar of Carleton University has pointed out to the authors that in their paper [A] only the resultfollows from the prime ideal theorem with remainder for ideal classes, and not the stronger resultstated in Lemma 5.2. This necessitates changes in Sections 5 and 6 of [A]. The main results of the paper are not affected by these changes. It should also be noted that, starting on page 177 of [A], each and every occurrence of o(s − 1) should be replaced by o(1).Sections 5 and 6 of [A] have been rewritten to incorporate the abovementioned correction and are given below. They should replace the original Sections 5 and 6 of [A].

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.

This paper expresses the character of certain depth-zero supercuspidal representations of the rank-2 symplectic group as the Fourier transform of a finite linear combination of regular elliptic orbital integrals—an expression which is ideally suited for the study of the stability of those characters. Building on work of F. Murnaghan, our proof involves Lusztig’s Generalised Springer Correspondence in a fundamental way, and also makes use of some results on elliptic orbital integrals proved elsewhere by the author using Moy-Prasad filtrations of p-adic Lie algebras. Two applications of the main result are considered toward the end of the paper.

This paper starts by introducing a bi-periodic summation formula for automorphic forms on a group G(E), with periods by a subgroup G(F), where E/F is a quadratic extension of number fields. The split case, where E = F ! F, is that of the standard trace formula. Then it introduces a notion of stable bi-conjugacy, and stabilizes the geometric side of the bi-period summation formula. Thus weighted sums in the stable bi-conjugacy class are expressed in terms of stable bi-orbital integrals. These stable integrals are on the same endoscopic groups H which occur in the case of standard conjugacy. The spectral side of the bi-period summation formula involves periods, namely integrals overthe group of F-adele points of G ,o f cusp forms on the group ofE-adele points on the group G. Our stabilization suggests that such cusp forms—with non vanishing periods—and the resulting bi-period distributions associated to "periodic" automorphic forms, are related to analogous bi-period distributions associated to "periodic" au- tomorphic forms on the endoscopic symmetric spaces H(E)/H(F). This offers a sharpening of the theory of liftings, where periods play a key role. The stabilization depends on the "fundamental lemma", which conjectures that the unit elements of the Hecke algebras on GandH havematching orbitalintegrals. Evenin stating this conjecture, oneneeds to intro- duce a "transfer factor". A generalization of the standard transfer factor to the bi-periodic case is introduced. The generalization depends on a new definition of the factors even in the standard case. Finally, the fundamental lemma is verified for SL(2). The geometric side of the trace formula for a test function f ! on the group of adele points of a reductive group G over a number field F ,i s as um of orbital integrals off ! parametrized by rational conjugacy classes, in G(F). It is obtained on integrating over the diagonal x = y the kernel Kf ! (x, y )o f ac onvolution operatorr(f ! ). Each such orbital integral can be expressed as an average of weighted sums of such orbital integrals over the stable conjugacy class, which is the set of rational points in the conjugacy class under the points of the group over the algebraic closure. Each such weighted sum is conjecturally related to a stable (a sum where all coefficients are equal to 1) such sum on an endoscopic group H of the group G.T his process of stabilization has been introduced by Langlands to establishliftingofautomorphicandadmissiblerepresentationsfromtheendoscopicgroups H to the original group G. The purpose of this paper is to develop an analogue in the context of the symmetric space G(E)/G(F), where E/F is a quadratic number field extension. Integrating the kernel Kf ! (x, y )o f the convolution operatorr(f ! ) for the test function f ! on the group of E- adele points of the group G over two independent variables x and y in the subgroup of F-adele points of G, we obtain a sum of bi-orbital integrals of f ! over rational bi-conjugacy classes. We introduce a notion of stable bi-conjugacy, and stabilize the geometric side of the bi-period summation formula. Thus we express the weighted sums in the stable bi

In an earlier paper [10], we studied a generalized Rao bound for ordered orthogonal arrays and (T, M, S)-nets. In this paper, we extend this to a coding-theoretic approach to ordered orthogonal arrays. Using a certain association scheme, we prove a MacWilliams-type theorem for linear ordered orthogonal arrays and linear ordered codes as well as a linear programming bound for the general case. We include some tables which compare this bound against two previously known bounds for ordered orthogonal arrays. Finally we show that, for even strength, the LP bound is always at least as strong as the generalized Rao bound.

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.

In this paper we consider the following problem: Given a unital C*- algebra A and a collection of elements S in the identity component of the invertible group of A, denoted inv0(A), characterize the group of finite products of elements of S. The particular C*-algebras studied in this paper are either unital purely infinite simple or of the form (A ⊗ K)+, where A is any C*-algebra and K is the compact operators on an infinite dimensional separable Hilbert space. The types of elements used in the factorizations are unipotents (1+ nilpotent), positive invertibles and symmetries (s2 = 1). First we determine the groups of finite products for each collection of elements in (A ⊗ K)+. Then we give upper bounds on the number of factors needed in these cases. The main result, which uses results for (A ⊗ K)+, is that for A unital purely infinite and simple, inv0(A) is generated by each of these collections of elements.

In a recent paper [2] we defined four classes of infinite dimensional simple Lie algebras over a field of characteristic 0 which we called W*, S*, H*, and K*. As the names suggest, these classes generalize the Lie algebras of Cartan type. A second paper [3] investigates the derivations of the algebras W* and S*, and the possible isomorphisms between these algebras and the algebras defined by Block [1]. In the present paper we investigate the automorphisms of the algebras of type W*.

Positive, copositive, onesided and intertwining (co-onesided) polyno- mial and spline approximations of functions f W k( 1 1) are considered. Both uniform and pointwise estimates, which are exact in some sense, are obtained. 1. Introduction and main results. We start by recalling some of the notations and definitions used throughout this paper. Let C(a b )a nd C k ( a b) be, respectively, the sets of all continuous and k-times continuously differentiable functions on (a b), and let Lp(a b), 0 p , be the set of measurable functions on (a b) such that f Lp(a b) ,w here f L p ( a b ) := b a f (x) p dx 1 p Throughout this paper L (a b) is understood as C(a b) with the usual uniform norm, to simplify the notation. We also denote by W k (a b), p 1, the set of all functions f on (a b) such that f (k 1) are absolutely continuous and f (k) Lp, and by Pn the set of all m=0 m i ( 1) m i f (x mh 2 + ih) if x mh 2 (a b), 0 otherwise. Then the m-th (usual) modulus of smoothness of f Lp(a b )i s def ined by m ( f t ( a b))p := sup 0 h t Δ m (f ( a b)) Lp (a b) We will also use the so-called -modulus, an averaged modulus of smoothness, defined for all bounded measurable functions on (a b )b y m ( f t ( a b))p := m (f t ) L p ( a b )

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.

The purpose of this paper is to address conjectures raised in [2]. We show that one of the conjectures is false and we advance the proof of another by proving it for an infinite set of cases. Furthermore, we give hard evidence as to why the conjecture is true and show what remains to be done to complete the proof. Finally, we prove a conjecture given by S. Louboutin, for Mathematical Reviews, in his discussion of the aforementioned paper.

We formulate a conjecture analogous to Gross' refinement of the Stark conjectures on special values of abelian L-series at s = 0. Some evidence for the conjecture can be obtained, thanks to the fundamental ideas of F. Thaine. 1. Introduction. This paper formulates a refined analogue of the usual class number formula for a real quadratic extension of Q, using circular units. The statement of this conjecture is inspired by an analogous conjecture of Gross (Gr). Strong evidence for this conjecture can be given thanks to F. Thaine's powerful method (Th) for generating relations in ideal class groups using circular units. The first two sections briefly recall Dirichlet's analytic class number formula and Gross's refinement of it; they are there mainly to fix notations and provide motivation. Section 4 states the new conjecture. The remaining sections are devoted to proving various results that support it. ACKNOWLEDGEMENTS. I wish to thank Massimo Bertolini and Benedict Gross for many stimulating conversations on the topics of this paper. NOTATIONS. If K is a number field and w is a place of K lying above a prime v of Q, we denote by Kw the localization of K at w, and let Nw be the order of its residue field. The w-adic norm || || w is normalized so that it is equal to Nw" 1 on uniformizing elements.

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.

For fixed$\alpha \in [0,1]$, consider the set$S_{\alpha ,N}$of dilated squares$\alpha , 4\alpha , 9\alpha , \dots , N^2\alpha \, $modulo$1$. Rudnick and Sarnak conjectured that, for Lebesgue, almost all such$\alpha $the gap-distribution of$S_{\alpha ,N}$is consistent with the Poisson model (in the limit asNtends to infinity). In this paper, we prove a new estimate for the triple correlations associated with this problem, establishing an asymptotic expression for the third moment of the number of elements of$S_{\alpha ,N}$in a random interval of length$L/N$, provided that$L> N^{1/4+\varepsilon }$. The threshold of$\tfrac {1}{4}$is substantially smaller than the threshold of$\tfrac {1}{2}$(which is the threshold that would be given by a naïve discrepancy estimate).Unlike the theory of pair correlations, rather little is known about triple correlations of the dilations$(\alpha a_n \, \text {mod } 1)_{n=1}^{\infty } $for a nonlacunary sequence$(a_n)_{n=1}^{\infty } $of increasing integers. This is partially due to the fact that the second moment of the triple correlation function is difficult to control, and thus standard techniques involving variance bounds are not applicable. We circumvent this impasse by using an argument inspired by works of Rudnick, Sarnak, and Zaharescu, and Heath-Brown, which connects the triple correlation function to some modular counting problems.In Appendix B, we comment on the relationship between discrepancy and correlation functions, answering a question of Steinerberger.

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.