Canadian Mathematical Society
www.cms.math.ca
|          |    |           |    |
|----------|----|-----------|----|
|          | |  |           | |  |
| Site map | |  | CMS store |    |

location:            Publications → journals → CJM

« 2012 (v64)  Online First »
Volume 65 (2013) — Up to issue number 3
Page
Contents
3
Barto, Libor
We show that every finite, finitely related algebra in a congruence distributive variety has a near unanimity term operation. As a consequence we solve the near unanimity problem for relational structures: it is decidable whether a given finite set of relations on a finite set admits a compatible near unanimity operation. This consequence also implies that it is decidable whether a given finite constraint language defines a constraint satisfaction problem of bounded strict width.
22
Blomer, Valentin; Brumley, Farrell
We prove a non-vanishing result for families of $\operatorname{GL}_n\times\operatorname{GL}_n$ Rankin-Selberg $L$-functions in the critical strip, as one factor runs over twists by Hecke characters. As an application, we simplify the proof, due to Luo, Rudnick, and Sarnak, of the best known bounds towards the Generalized Ramanujan Conjecture at the infinite places for cusp forms on $\operatorname{GL}_n$. A key ingredient is the regularization of the units in residue classes by the use of an Arakelov ray class group.
52
Christensen, Erik; Sinclair, Allan M.; Smith, Roger R.; White, Stuart
In this paper we consider near inclusions $A\subseteq_\gamma B$ of C$^*$-algebras. We show that if $B$ is a separable type $\mathrm{I}$ C$^*$-algebra and $A$ satisfies Kadison's similarity problem, then $A$ is also type $\mathrm{I}$ and use this to obtain an embedding of $A$ into $B$.
66
Deng, Shaoqiang; Hu, Zhiguang
In this paper we give an explicit formula for the flag curvature of homogeneous Randers spaces of Douglas type and apply this formula to obtain some interesting results. We first deduce an explicit formula for the flag curvature of an arbitrary left invariant Randers metric on a two-step nilpotent Lie group. Then we obtain a classification of negatively curved homogeneous Randers spaces of Douglas type. This results, in particular, in many examples of homogeneous non-Riemannian Finsler spaces with negative flag curvature. Finally, we prove a rigidity result that a homogeneous Randers space of Berwald type whose flag curvature is everywhere nonzero must be Riemannian.
82
Félix, Yves; Halperin, Steve; Thomas, Jean-Claude
Let $X$ be an $n$-dimensional, finite, simply connected CW complex and set $\alpha_X =\limsup_i \frac{\log\mbox{ rank}\, \pi_i(X)}{i}$. When $0\lt \alpha_X\lt \infty$, we give upper and lower bound for $\sum_{i=k+2}^{k+n} \textrm{rank}\, \pi_i(X)$ for $k$ sufficiently large. We show also for any $r$ that $\alpha_X$ can be estimated from the integers rk$\,\pi_i(X)$, $i\leq nr$ with an error bound depending explicitly on $r$.
120
Francois, Georges; Hampe, Simon
We introduce the notion of families of $n$-marked smooth rational tropical curves over smooth tropical varieties and establish a one-to-one correspondence between (equivalence classes of) these families and morphisms from smooth tropical varieties into the moduli space of $n$-marked abstract rational tropical curves $\mathcal{M}_{n}$.
149
Kellendonk, Johannes; Lenz, Daniel
We characterize equicontinuous Delone dynamical systems as those coming from Delone sets with strongly almost periodic Dirac combs. Within the class of systems with finite local complexity, the only equicontinuous systems are then shown to be the crystallographic ones. On the other hand, within the class without finite local complexity, we exhibit examples of equicontinuous minimal Delone dynamical systems that are not crystallographic. Our results solve the problem posed by Lagarias as to whether a Delone set whose Dirac comb is strongly almost periodic must be crystallographic.
171
Lyall, Neil; Magyar, Ákos
Let $P\in\mathbb Z[n]$ with $P(0)=0$ and $\varepsilon\gt 0$. We show, using Fourier analytic techniques, that if $N\geq \exp\exp(C\varepsilon^{-1}\log\varepsilon^{-1})$ and $A\subseteq\{1,\dots,N\}$, then there must exist $n\in\mathbb N$ such that $\frac{|A\cap (A+P(n))|}{N}\gt \left(\frac{|A|}{N}\right)^2-\varepsilon.$

In addition to this we also show, using the same Fourier analytic methods, that if $A\subseteq\mathbb N$, then the set of $\varepsilon$-optimal return times $R(A,P,\varepsilon)=\left\{n\in \mathbb N \,:\,\delta(A\cap(A+P(n)))\gt \delta(A)^2-\varepsilon\right\}$ is syndetic for every $\varepsilon\gt 0$. Moreover, we show that $R(A,P,\varepsilon)$ is dense in every sufficiently long interval, in particular we show that there exists an $L=L(\varepsilon,P,A)$ such that $\left|R(A,P,\varepsilon)\cap I\right| \geq c(\varepsilon,P)|I|$ for all intervals $I$ of natural numbers with $|I|\geq L$ and $c(\varepsilon,P)=\exp\exp(-C\,\varepsilon^{-1}\log\varepsilon^{-1})$.
195
Penegini, Matteo; Polizzi, Francesco
We classify minimal surfaces of general type with $p_g=q=2$ and $K^2=6$ whose Albanese map is a generically finite double cover. We show that the corresponding moduli space is the disjoint union of three generically smooth irreducible components $\mathcal{M}_{Ia}$, $\mathcal{M}_{Ib}$, $\mathcal{M}_{II}$ of dimension $4$, $4$, $3$, respectively.
222
Sauer, N. W.
A metric space $\mathrm{M}=(M;\operatorname{d})$ is {\em homogeneous} if for every isometry $f$ of a finite subspace of $\mathrm{M}$ to a subspace of $\mathrm{M}$ there exists an isometry of $\mathrm{M}$ onto $\mathrm{M}$ extending $f$. The space $\mathrm{M}$ is {\em universal} if it isometrically embeds every finite metric space $\mathrm{F}$ with $\operatorname{dist}(\mathrm{F})\subseteq \operatorname{dist}(\mathrm{M})$. (With $\operatorname{dist}(\mathrm{M})$ being the set of distances between points in $\mathrm{M}$.)

A metric space $\boldsymbol{U}$ is an {\em Urysohn} metric space if it is homogeneous, universal, separable and complete. (It is not difficult to deduce that an Urysohn metric space $\boldsymbol{U}$ isometrically embeds every separable metric space $\mathrm{M}$ with $\operatorname{dist}(\mathrm{M})\subseteq \operatorname{dist}(\boldsymbol{U})$.)

The main results are: (1) A characterization of the sets $\operatorname{dist}(\boldsymbol{U})$ for Urysohn metric spaces $\boldsymbol{U}$. (2) If $R$ is the distance set of an Urysohn metric space and $\mathrm{M}$ and $\mathrm{N}$ are two metric spaces, of any cardinality with distances in $R$, then they amalgamate disjointly to a metric space with distances in $R$. (3) The completion of every homogeneous, universal, separable metric space $\mathrm{M}$ is homogeneous.
241
Aguiar, Marcelo; Lauve, Aaron
Following Radford's proof of Lagrange's theorem for pointed Hopf algebras, we prove Lagrange's theorem for Hopf monoids in the category of connected species. As a corollary, we obtain necessary conditions for a given subspecies $\mathbf k$ of a Hopf monoid $\mathbf h$ to be a Hopf submonoid: the quotient of any one of the generating series of $\mathbf h$ by the corresponding generating series of $\mathbf k$ must have nonnegative coefficients. Other corollaries include a necessary condition for a sequence of nonnegative integers to be the dimension sequence of a Hopf monoid in the form of certain polynomial inequalities, and of a set-theoretic Hopf monoid in the form of certain linear inequalities. The latter express that the binomial transform of the sequence must be nonnegative.
266
Bérard, Vincent
Sur une surface de Riemann, l'énergie d'une application à valeurs dans une variété riemannienne est une fonctionnelle invariante conforme, ses points critiques sont les applications harmoniques. Nous proposons ici un analogue en dimension supérieure, en construisant une fonctionnelle invariante conforme pour les applications entre deux variétés riemanniennes, dont la variété de départ est de dimension $n$ paire. Ses points critiques satisfont une EDP elliptique d'ordre $n$ non-linéaire qui est covariante conforme par rapport à la variété de départ, on les appelle les applications conforme-harmoniques. Dans le cas des fonctions, on retrouve l'opérateur GJMS, dont le terme principal est une puissance $n/2$ du laplacien. Quand $n$ est impaire, les mêmes idées permettent de montrer que le terme constant dans le développement asymptotique de l'énergie d'une application asymptotiquement harmonique sur une variété AHE est indépendant du choix du représentant de l'infini conforme.
299
Grafakos, Loukas; Miyachi, Akihiko; Tomita, Naohito
In this paper, we prove certain $L^2$-estimate for multilinear Fourier multiplier operators with multipliers of limited smoothness. As a result, we extend the result of Calderón and Torchinsky in the linear theory to the multilinear case. The sharpness of our results and some related estimates in Hardy spaces are also discussed.
331
Kadets, Vladimir; Martín, Miguel; Merí, Javier; Werner, Dirk
We show that for spaces with 1-unconditional bases lushness, the alternative Daugavet property and numerical index 1 are equivalent. In the class of rearrangement invariant (r.i.) sequence spaces the only examples of spaces with these properties are $c_0$, $\ell_1$ and $\ell_\infty$. The only lush r.i. separable function space on $[0,1]$ is $L_1[0,1]$; the same space is the only r.i. separable function space on $[0,1]$ with the Daugavet property over the reals.
349
Müller, Peter; Richard, Christoph
We provide a framework for studying randomly coloured point sets in a locally compact, second-countable space on which a metrisable unimodular group acts continuously and properly. We first construct and describe an appropriate dynamical system for uniformly discrete uncoloured point sets. For point sets of finite local complexity, we characterise ergodicity geometrically in terms of pattern frequencies. The general framework allows to incorporate a random colouring of the point sets. We derive an ergodic theorem for randomly coloured point sets with finite-range dependencies. Special attention is paid to the exclusion of exceptional instances for uniquely ergodic systems. The setup allows for a straightforward application to randomly coloured graphs.
403
Van Order, Jeanine
We construct a bipartite Euler system in the sense of Howard for Hilbert modular eigenforms of parallel weight two over totally real fields, generalizing works of Bertolini-Darmon, Longo, Nekovar, Pollack-Weston and others. The construction has direct applications to Iwasawa main conjectures. For instance, it implies in many cases one divisibility of the associated dihedral or anticyclotomic main conjecture, at the same time reducing the other divisibility to a certain nonvanishing criterion for the associated $p$-adic $L$-functions. It also has applications to cyclotomic main conjectures for Hilbert modular forms over CM fields via the technique of Skinner and Urban.
467
Wilson, Glen; Woodward, Christopher T.
We show that quasimap Floer cohomology for varying symplectic quotients resolves several puzzles regarding displaceability of toric moment fibers. For example, we (i) present a compact Hamiltonian torus action containing an open subset of non-displaceable orbits and a codimension four singular set, partly answering a question of McDuff, and (ii) determine displaceability for most of the moment fibers of a symplectic ellipsoid.
481
Ara, Pere; Dykema, Kenneth J.; Rørdam, Mikael
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.
485
Bice, Tristan Matthew
In this paper we analyze states on C*-algebras and their relationship to filter-like structures of projections and positive elements in the unit ball. After developing the basic theory we use this to investigate the Kadison-Singer conjecture, proving its equivalence to an apparently quite weak paving conjecture and the existence of unique maximal centred extensions of projections coming from ultrafilters on the natural numbers. We then prove that Reid's positive answer to this for q-points in fact also holds for rapid p-points, and that maximal centred filters are obtained in this case. We then show that consistently such maximal centred filters do not exist at all meaning that, for every pure state on the Calkin algebra, there exists a pair of projections on which the state is 1, even though the state is bounded strictly below 1 for projections below this pair. Lastly we investigate towers, using cardinal invariant equalities to construct towers on the natural numbers that do and do not remain towers when canonically embedded into the Calkin algebra. Finally we show that consistently all towers on the natural numbers remain towers under this embedding.
510
Blasco de la Cruz, Oscar; Villarroya Alvarez, Paco
We prove restriction and extension of multipliers between weighted Lebesgue spaces with two different weights, which belong to a class more general than periodic weights, and two different exponents of integrability which can be below one.

We also develop some ad-hoc methods which apply to weights defined by the product of periodic weights with functions of power type.

Our vector-valued approach allow us to extend results to transference of maximal multipliers and provide transference of Littlewood-Paley inequalities.
544
Deitmar, Anton; Horozov, Ivan
We show that higher order invariants of smooth functions can be written as linear combinations of full invariants times iterated integrals. The non-uniqueness of such a presentation is captured in the kernel of the ensuing map from the tensor product. This kernel is computed explicitly. As a consequence, it turns out that higher order invariants are a free module of the algebra of full invariants.
553
Godinho, Leonor; Sousa-Dias, M. E.
This paper provides an addendum and erratum to L. Godinho and M. E. Sousa-Dias, "The Fundamental Group of $S^1$-manifolds". Canad. J. Math. 62(2010), no. 5, 1082--1098.
559
Helemskii, A. Ya.
We define and study the so-called extreme version of the notion of a projective normed module. The relevant definition takes into account the exact value of the norm of the module in question, in contrast with the standard known definition that is formulated in terms of norm topology.

After the discussion of the case where our normed algebra $A$ is just $\mathbb{C}$, we concentrate on the case of the next degree of complication, where $A$ is a sequence algebra, satisfying some natural conditions. The main results give a full characterization of extremely projective objects within the subcategory of the category of non-degenerate normed $A$--modules, consisting of the so-called homogeneous modules. We consider two cases, non-complete' and complete', and the respective answers turn out to be essentially different.

In particular, all Banach non-degenerate homogeneous modules, consisting of sequences, are extremely projective within the category of Banach non-degenerate homogeneous modules. However, neither of them, provided it is infinite-dimensional, is extremely projective within the category of all normed non-degenerate homogeneous modules. On the other hand, submodules of these modules, consisting of finite sequences, are extremely projective within the latter category.
575
Kallel, Sadok; Taamallah, Walid
Permutation products and their various fat diagonal'' subspaces are studied from the topological and geometric point of view. We describe in detail the stabilizer and orbit stratifications related to the permutation action, producing a sharp upper bound for its depth and then paying particular attention to the geometry of the diagonal stratum. We write down an expression for the fundamental group of any permutation product of a connected space $X$ having the homotopy type of a CW complex in terms of $\pi_1(X)$ and $H_1(X;\mathbb{Z})$. We then prove that the fundamental group of the configuration space of $n$-points on $X$, of which multiplicities do not exceed $n/2$, coincides with $H_1(X;\mathbb{Z})$. Further results consist in giving conditions for when fat diagonal subspaces of manifolds can be manifolds again. Various examples and homological calculations are included.
600
Kroó, A.; Lubinsky, D. S.
We establish asymptotics for Christoffel functions associated with multivariate orthogonal polynomials. The underlying measures are assumed to be regular on a suitable domain - in particular this is true if they are positive a.e. on a compact set that admits analytic parametrization. As a consequence, we obtain asymptotics for Christoffel functions for measures on the ball and simplex, under far more general conditions than previously known. As another consequence, we establish universality type limits in the bulk in a variety of settings.
621
Lee, Paul W. Y.
In this paper, we introduce two notions on a surface in a contact manifold. The first one is called degree of transversality (DOT) which measures the transversality between the tangent spaces of a surface and the contact planes. The second quantity, called curvature of transversality (COT), is designed to give a comparison principle for DOT along characteristic curves under bounds on COT. In particular, this gives estimates on lengths of characteristic curves assuming COT is bounded below by a positive constant.

<p> We show that surfaces with constant COT exist and we classify all graphs in the Heisenberg group with vanishing COT. This is accomplished by showing that the equation for graphs with zero COT can be decomposed into two first order PDEs, one of which is the backward invisicid Burgers' equation. Finally we show that the p-minimal graph equation in the Heisenberg group also has such a decomposition. Moreover, we can use this decomposition to write down an explicit formula of a solution near a regular point.
634
Mezzetti, Emilia; Miró-Roig, Rosa M.; Ottaviani, Giorgio
We prove that $r$ independent homogeneous polynomials of the same degree $d$ become dependent when restricted to any hyperplane if and only if their inverse system parameterizes a variety whose $(d-1)$-osculating spaces have dimension smaller than expected. This gives an equivalence between an algebraic notion (called Weak Lefschetz Property) and a differential geometric notion, concerning varieties which satisfy certain Laplace equations. In the toric case, some relevant examples are classified and as byproduct we provide counterexamples to Ilardi's conjecture.
655
Shemyakova, E.
Darboux Wronskian formulas allow to construct Darboux transformations, but Laplace transformations, which are Darboux transformations of order one cannot be represented this way. It has been a long standing problem on what are other exceptions. In our previous work we proved that among transformations of total order one there are no other exceptions. Here we prove that for transformations of total order two there are no exceptions at all. We also obtain a simple explicit invariant description of all possible Darboux Transformations of total order two.
675
Strungaru, Nicolae
Meyer sets have a relatively dense set of Bragg peaks and for this reason they may be considered as basic mathematical examples of (aperiodic) crystals. In this paper we investigate the pure point part of the diffraction of Meyer sets in more detail. The results are of two kinds. First we show that given a Meyer set and any positive intensity $a$ less than the maximum intensity of its Bragg peaks, the set of Bragg peaks whose intensity exceeds $a$ is itself a Meyer set (in the Fourier space). Second we show that if a Meyer set is modified by addition and removal of points in such a way that its density is not altered too much (the allowable amount being given explicitly as a proportion of the original density) then the newly obtained set still has a relatively dense set of Bragg peaks.
702
Taylor, Michael
We analyze the regularity of standing wave solutions to nonlinear Schrödinger equations of power type on bounded domains, concentrating on Lipschitz domains. We establish optimal regularity results in this setting, in Besov spaces and in Hölder spaces.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 112, "mathjax_display_tex": 0, "mathjax_asciimath": 2, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8349848985671997, "perplexity_flag": "head"}