Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: All articles in the CJM digital archive with keyword f

  Expand all        Collapse all Results 1 - 25 of 461

1. CJM Online first

Ciesielski, Krzysztof Chris; Jasinski, Jakub
Fixed point theorems for maps with local and pointwise contraction properties
The paper constitutes a comprehensive study of ten classes of self-maps on metric spaces $\langle X,d\rangle$ with the local and pointwise (a.k.a. local radial) contraction properties. Each of those classes appeared previously in the literature in the context of fixed point theorems. We begin with presenting an overview of these fixed point results, including concise self contained sketches of their proofs. Then, we proceed with a discussion of the relations among the ten classes of self-maps with domains $\langle X,d\rangle$ having various topological properties which often appear in the theory of fixed point theorems: completeness, compactness, (path) connectedness, rectifiable path connectedness, and $d$-convexity. The bulk of the results presented in this part consists of examples of maps that show non-reversibility of the previously established inclusions between theses classes. Among these examples, the most striking is a differentiable auto-homeomorphism $f$ of a compact perfect subset $X$ of $\mathbb R$ with $f'\equiv 0$, which constitutes also a minimal dynamical system. We finish with discussing a few remaining open problems on weather the maps with specific pointwise contraction properties must have the fixed points.

Keywords:fixed point, periodic point, contractive map, locally contractive map, pointwise contractive map, radially contractive map, rectifiably path connected space, d-convex, geodesic, remetrization contraction mapping principle
Categories:54H25, 37C25

2. CJM Online first

Martin, Kimball
Congruences for modular forms mod 2 and quaternionic $S$-ideal classes
We prove many simultaneous congruences mod 2 for elliptic and Hilbert modular forms among forms with different Atkin--Lehner eigenvalues. The proofs involve the notion of quaternionic $S$-ideal classes and the distribution of Atkin--Lehner signs among newforms.

Keywords:modular forms, congruences, quaternion algebras
Categories:11F33, 11R52

3. CJM Online first

Xia, Eugene Z.
The algebraic de Rham cohomology of representation varieties
The $\operatorname{SL}(2,\mathbb C)$-representation varieties of punctured surfaces form natural families parameterized by monodromies at the punctures. In this paper, we compute the loci where these varieties are singular for the cases of one-holed and two-holed tori and the four-holed sphere. We then compute the de Rham cohomologies of these varieties of the one-holed torus and the four-holed sphere when the varieties are smooth via the Grothendieck theorem. Furthermore, we produce the explicit Gauss-Manin connection on the natural family of the smooth $\operatorname{SL}(2,\mathbb C)$-representation varieties of the one-holed torus.

Keywords:surface, algebraic group, representation variety, de Rham cohomology
Categories:14H10, 13D03, 14F40, 14H24, 14Q10, 14R20

4. CJM Online first

Bremner, Murray; Dotsenko, Vladimir
Classification of regular parametrized one-relation operads
Jean-Louis Loday introduced a class of symmetric operads generated by one bilinear operation subject to one relation making each left-normed product of three elements equal to a linear combination of right-normed products: \[ (a_1a_2)a_3=\sum_{\sigma\in S_3}x_\sigma\, a_{\sigma(1)}(a_{\sigma(2)}a_{\sigma(3)})\ ; \] such an operad is called a parametrized one-relation operad. For a particular choice of parameters $\{x_\sigma\}$, this operad is said to be regular if each of its components is the regular representation of the symmetric group; equivalently, the corresponding free algebra on a vector space $V$ is, as a graded vector space, isomorphic to the tensor algebra of $V$. We classify, over an algebraically closed field of characteristic zero, all regular parametrized one-relation operads. In fact, we prove that each such operad is isomorphic to one of the following five operads: the left-nilpotent operad defined by the relation $((a_1a_2)a_3)=0$, the associative operad, the Leibniz operad, the dual Leibniz (Zinbiel) operad, and the Poisson operad. Our computational methods combine linear algebra over polynomial rings, representation theory of the symmetric group, and Gröbner bases for determinantal ideals and their radicals.

Keywords:parametrized one-relation algebra, algebraic operad, Koszul duality, representation theory of the symmetric group, determinantal ideal, Gröbner basis
Categories:18D50, 13B25, 13P10, 13P15, 15A54, 17-04, , , , , 17A30, 17A50, 20C30, 68W30

5. CJM Online first

Bosa, Joan; Petzka, Henning
Comparison Properties of the Cuntz semigroup and applications to C*-algebras
We study comparison properties in the category $\mathrm{Cu}$ aiming to lift results to the C*-algebraic setting. We introduce a new comparison property and relate it to both the CFP and $\omega$-comparison. We show differences of all properties by providing examples, which suggest that the corona factorization for C*-algebras might allow for both finite and infinite projections. In addition, we show that R{\o}rdam's simple, nuclear C*-algebra with a finite and an infinite projection does not have the CFP.

Keywords:classification of C*-algebras, cuntz semigroup
Categories:46L35, 06F05, 46L05, 19K14

6. CJM Online first

Dow, Alan; Tall, Franklin D.
Normality versus paracompactness in locally compact spaces
This note provides a correct proof of the result claimed by the second author that locally compact normal spaces are collectionwise Hausdorff in certain models obtained by forcing with a coherent Souslin tree. A novel feature of the proof is the use of saturation of the non-stationary ideal on $\omega_1$, as well as of a strong form of Chang's Conjecture. Together with other improvements, this enables the consistent characterization of locally compact hereditarily paracompact spaces as those locally compact, hereditarily normal spaces that do not include a copy of $\omega_1$.

Keywords:normal, paracompact, locally compact, countably tight, collectionwise Hausdorff, forcing with a coherent Souslin tree, Martin's Maximum, PFA(S)[S], Axiom R, moving off property
Categories:54A35, 54D20, 54D45, 03E35, 03E50, 03E55, 03E57

7. CJM Online first

Harrison-Trainor, Matthew; Melnikov, Alexander; Miller, Russell
On computable field embeddings and difference closed fields
We investigate when a computable automorphism of a computable field can be effectively extended to a computable automorphism of its (computable) algebraic closure. We then apply our results and techniques to study effective embeddings of computable difference fields into computable difference closed fields.

Keywords:computable algebra, algebraic field, difference field, extension of automorphism
Categories:03D45, 03C57, 12Y05

8. CJM Online first

Almeida, Víctor; Betancor, Jorge J.; Rodríguez-Mesa, Lourdes
Anisotropic Hardy-Lorentz spaces with variable exponents
In this paper we introduce Hardy-Lorentz spaces with variable exponents associated to dilations in ${\mathbb R}^n$. We establish maximal characterizations and atomic decompositions for our variable exponent anisotropic Hardy-Lorentz spaces.

Keywords:variable exponent Hardy space, Hardy-Lorentz space, anisotropic Hardy space, maximal function, atomic decomposition
Categories:42B30, 42B25, 42B35

9. CJM Online first

Cohen, Jonathan
Transfer of Representations and Orbital Integrals for Inner Forms of $GL_n$
We characterize the Local Langlands Correspondence (LLC) for inner forms of $\operatorname{GL}_n$ via the Jacquet-Langlands Correspondence (JLC) and compatibility with the Langlands Classification. We show that LLC satisfies a natural compatibility with parabolic induction and characterize LLC for inner forms as a unique family of bijections $\Pi(\operatorname{GL}_r(D)) \to \Phi(\operatorname{GL}_r(D))$ for each $r$, (for a fixed $D$) satisfying certain properties. We construct a surjective map of Bernstein centers $\mathfrak{Z}(\operatorname{GL}_n(F))\to \mathfrak{Z}(\operatorname{GL}_r(D))$ and show this produces pairs of matching distributions in the sense of Haines. Finally, we construct explicit Iwahori-biinvariant matching functions for unit elements in the parahoric Hecke algebras of $\operatorname{GL}_r(D)$, and thereby produce many explicit pairs of matching functions.

Keywords:Langlands correspondence, inner form

10. CJM 2017 (vol 69 pp. 790)

Diacu, Florin
The Classical $N$-body Problem in the Context of Curved Space
We provide the differential equations that generalize the Newtonian $N$-body problem of celestial mechanics to spaces of constant Gaussian curvature, $\kappa$, for all $\kappa\in\mathbb R$. In previous studies, the equations of motion made sense only for $\kappa\ne 0$. The system derived here does more than just include the Euclidean case in the limit $\kappa\to 0$: it recovers the classical equations for $\kappa=0$. This new expression of the laws of motion allows the study of the $N$-body problem in the context of constant curvature spaces and thus offers a natural generalization of the Newtonian equations that includes the classical case. We end the paper with remarks about the bifurcations of the first integrals.

Keywords:N-body problem, spaces of constant curvature

11. CJM Online first

Eilers, Søren; Restorff, Gunnar; Ruiz, Efren; Sørensen, Adam P. W.
Geometric classification of graph C*-algebras over finite graphs
We address the classification problem for graph $C^*$-algebras of finite graphs (finitely many edges and vertices), containing the class of Cuntz-Krieger algebras as a prominent special case. Contrasting earlier work, we do not assume that the graphs satisfy the standard condition (K), so that the graph $C^*$-algebras may come with uncountably many ideals. We find that in this generality, stable isomorphism of graph $C^*$-algebras does not coincide with the geometric notion of Cuntz move equivalence. However, adding a modest condition on the graphs, the two notions are proved to be mutually equivalent and equivalent to the $C^*$-algebras having isomorphic $K$-theories. This proves in turn that under this condition, the graph $C^*$-algebras are in fact classifiable by $K$-theory, providing in particular complete classification when the $C^*$-algebras in question are either of real rank zero or type I/postliminal. The key ingredient in obtaining these results is a characterization of Cuntz move equivalence using the adjacency matrices of the graphs. Our results are applied to discuss the classification problem for the quantum lens spaces defined by Hong and Szymański, and to complete the classification of graph $C^*$-algebras associated to all simple graphs with four vertices or less.

Keywords:graph $C^*$-algebra, geometric classification, $K$-theory, flow equivalence
Categories:46L35, 46L80, 46L55, 37B10

12. CJM Online first

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

Keywords:Sasakian manifold, Hermitian manifold, subsolution, extra concavity condition, fully nonlinear elliptic equation containing gradient term on complex manifold
Categories:35J15, 53C55, 53C25, 35J25

13. CJM 2017 (vol 69 pp. 851)

Pronk, Dorette; Scull, Laura
Erratum: Translation Groupoids and Orbifold Cohomology
We correct an error in the proof of a lemma in "Translation Groupoids and Orbifold Cohomology", Canadian J. Math Vol 62 (3), pp 614-645 (2010). This error was pointed out to the authors by Li Du of the Georg-August-Universität at Gottingen, who also suggested the outline for the corrected proof.

Keywords:orbifold, equivariant homotopy theory, translation groupoid, bicategory of fractions

14. CJM Online first

Böcherer, Siegfried; Kikuta, Toshiyuki; Takemori, Sho
Weights of the mod $p$ kernel of the theta operators
Let $\Theta ^{[j]}$ be an analogue of the Ramanujan theta operator for Siegel modular forms. For a given prime $p$, we give the weights of elements of mod $p$ kernel of $\Theta ^{[j]}$, where the mod $p$ kernel of $\Theta ^{[j]}$ is the set of all Siegel modular forms $F$ such that $\Theta ^{[j]}(F)$ is congruent to zero modulo $p$. In order to construct examples of the mod $p$ kernel of $\Theta ^{[j]}$ from any Siegel modular form, we introduce new operators $A^{(j)}(M)$ and show the modularity of $F|A^{(j)}(M)$ when $F$ is a Siegel modular form. Finally, we give some examples of the mod $p$ kernel of $\Theta ^{[j]}$ and the filtrations of some of them.

Keywords:Siegel modular form, congruences for modular forms, Fourier coefficients, Ramanujan's operator, filtration
Categories:11F33, 11F46

15. CJM Online first

Luo, Caihua
Spherical fundamental lemma for metaplectic groups
In this paper, we prove the spherical fundamental lemma for metaplectic group $Mp_{2n}$ based on the formalism of endoscopy theory by J.Adams, D.Renard and Wen-Wei Li.

Keywords:metaplectic group, endoscopic group, elliptic stable trace formula, fundamental lemma

16. CJM Online first

Pasnicu, Cornel; Phillips, N. Christopher
The weak ideal property and topological dimension zero
Following up on previous work, we prove a number of results for C*-algebras with the weak ideal property or topological dimension zero, and some results for C*-algebras with related properties. Some of the more important results include: $\bullet$ The weak ideal property implies topological dimension zero. $\bullet$ For a separable C*-algebra~$A$, topological dimension zero is equivalent to ${\operatorname{RR}} ({\mathcal{O}}_2 \otimes A) = 0$, to $D \otimes A$ having the ideal property for some (or any) Kirchberg algebra~$D$, and to $A$ being residually hereditarily in the class of all C*-algebras $B$ such that ${\mathcal{O}}_{\infty} \otimes B$ contains a nonzero projection. $\bullet$ Extending the known result for ${\mathbb{Z}}_2$, the classes of C*-algebras with residual (SP), which are residually hereditarily (properly) infinite, or which are purely infinite and have the ideal property, are closed under crossed products by arbitrary actions of abelian $2$-groups. $\bullet$ If $A$ and $B$ are separable, one of them is exact, $A$ has the ideal property, and $B$ has the weak ideal property, then $A \otimes_{\mathrm{min}} B$ has the weak ideal property. $\bullet$ If $X$ is a totally disconnected locally compact Hausdorff space and $A$ is a $C_0 (X)$-algebra all of whose fibers have one of the weak ideal property, topological dimension zero, residual (SP), or the combination of pure infiniteness and the ideal property, then $A$ also has the corresponding property (for topological dimension zero, provided $A$ is separable). $\bullet$ Topological dimension zero, the weak ideal property, and the ideal property are all equivalent for a substantial class of separable C*-algebras including all separable locally AH~algebras. $\bullet$ The weak ideal property does not imply the ideal property for separable $Z$-stable C*-algebras. We give other related results, as well as counterexamples to several other statements one might hope for.

Keywords:ideal property, weak ideal property, topological dimension zero, $C_0 (X)$-algebra, purely infinite C*-algebra

17. CJM Online first

Asakura, Masanori; Otsubo, Noriyuki
CM periods, CM Regulators and Hypergeometric Functions, I
We prove the Gross-Deligne conjecture on CM periods for motives associated with $H^2$ of certain surfaces fibered over the projective line. Then we prove for the same motives a formula which expresses the $K_1$-regulators in terms of hypergeometric functions ${}_3F_2$, and obtain a new example of non-trivial regulators.

Keywords:period, regulator, complex multiplication, hypergeometric function
Categories:14D07, 19F27, 33C20, 11G15, 14K22

18. CJM Online first

Chen, Yanni; Hadwin, Don; Liu, Zhe; Nordgren, Eric
A Beurling Theorem for Generalized Hardy Spaces on a Multiply Connected Domain
The object of this paper is to prove a version of the Beurling-Helson-Lowdenslager invariant subspace theorem for operators on certain Banach spaces of functions on a multiply connected domain in $\mathbb{C}$. The norms for these spaces are either the usual Lebesgue and Hardy space norms or certain continuous gauge norms. In the Hardy space case the expected corollaries include the characterization of the cyclic vectors as the outer functions in this context, a demonstration that the set of analytic multiplication operators is maximal abelian and reflexive, and a determination of the closed operators that commute with all analytic multiplication operators.

Keywords:Beurling theorem, invariant subspace, generalized Hardy space, gauge norm, multiply connected domain, Forelli projection, inner-outer factorization, affiliated operator
Categories:47L10, 30H10

19. CJM Online first

Fricain, Emmanuel; Rupam, Rishika
On asymptotically orthonormal sequences
An asymptotically orthonormal sequence is a sequence which is "nearly" orthonormal in the sense that it satisfies the Parseval equality up to two constants close to one. In this paper, we explore such sequences formed by normalized reproducing kernels for model spaces and de Branges-Rovnyak spaces.

Keywords:function space, de Branges-Rovnyak and model space, reproducing kernel, asymptotically orthonormal sequence
Categories:30J05, 30H10, 46E22

20. CJM Online first

Giannopoulos, Apostolos; Koldobsky, Alexander; Valettas, Petros
Inequalities for the surface area of projections of convex bodies
We provide general inequalities that compare the surface area $S(K)$ of a convex body $K$ in ${\mathbb R}^n$ to the minimal, average or maximal surface area of its hyperplane or lower dimensional projections. We discuss the same questions for all the quermassintegrals of $K$. We examine separately the dependence of the constants on the dimension in the case where $K$ is in some of the classical positions or $K$ is a projection body. Our results are in the spirit of the hyperplane problem, with sections replaced by projections and volume by surface area.

Keywords:surface area, convex body, projection
Categories:52A20, 46B05

21. CJM Online first

Folha, Abigail; Penafiel, Carlos
Weingarten type surfaces in $\mathbb{H}^2\times\mathbb{R}$ and $\mathbb{S}^2\times\mathbb{R}$
In this article, we study complete surfaces $\Sigma$, isometrically immersed in the product space $\mathbb{H}^2\times\mathbb{R}$ or $\mathbb{S}^2\times\mathbb{R}$ having positive extrinsic curvature $K_e$. Let $K_i$ denote the intrinsic curvature of $\Sigma$. Assume that the equation $aK_i+bK_e=c$ holds for some real constants $a\neq0$, $b\gt 0$ and $c$. The main result of this article state that when such a surface is a topological sphere it is rotational.

Keywords:Weingarten surface, extrinsic curvature, intrinsic curvature, height estimate, rotational Weingarten surface
Categories:53C42, 53C30

22. CJM Online first

Manon, Christopher
Toric geometry of $SL_2(\mathbb{C})$ free group character varieties from outer space
Culler and Vogtmann defined a simplicial space $O(g)$ called outer space to study the outer automorphism group of the free group $F_g$. Using representation theoretic methods, we give an embedding of $O(g)$ into the analytification of $\mathcal{X}(F_g, SL_2(\mathbb{C})),$ the $SL_2(\mathbb{C})$ character variety of $F_g,$ reproving a result of Morgan and Shalen. Then we show that every point $v$ contained in a maximal cell of $O(g)$ defines a flat degeneration of $\mathcal{X}(F_g, SL_2(\mathbb{C}))$ to a toric variety $X(P_{\Gamma})$. We relate $\mathcal{X}(F_g, SL_2(\mathbb{C}))$ and $X(v)$ topologically by showing that there is a surjective, continuous, proper map $\Xi_v: \mathcal{X}(F_g, SL_2(\mathbb{C})) \to X(v)$. We then show that this map is a symplectomorphism on a dense, open subset of $\mathcal{X}(F_g, SL_2(\mathbb{C}))$ with respect to natural symplectic structures on $\mathcal{X}(F_g, SL_2(\mathbb{C}))$ and $X(v)$. In this way, we construct an integrable Hamiltonian system in $\mathcal{X}(F_g, SL_2(\mathbb{C}))$ for each point in a maximal cell of $O(g)$, and we show that each $v$ defines a topological decomposition of $\mathcal{X}(F_g, SL_2(\mathbb{C}))$ derived from the decomposition of $X(P_{\Gamma})$ by its torus orbits. Finally, we show that the valuations coming from the closure of a maximal cell in $O(g)$ all arise as divisorial valuations built from an associated projective compactification of $\mathcal{X}(F_g, SL_2(\mathbb{C})).$

Keywords:character variety, outer space, analytification, compactification, integrable system
Categories:14M25, 14T05, 14D20

23. CJM Online first

Hakl, Robert; Zamora, Manuel
Periodic solutions of an indefinite singular equation arising from the Kepler problem on the sphere
We study a second-order ordinary differential equation coming from the Kepler problem on $\mathbb{S}^2$. The forcing term under consideration is a piecewise constant with singular nonlinearity which changes sign. We establish necessary and sufficient conditions to the existence and multiplicity of $T$-periodic solutions.

Keywords:singular differential equation, indefinite singularity, periodic solution, Kepler problem on $\mathbb{S}^1$, degree theory
Categories:34B16, 34C25, 70F05, 70F15

24. CJM Online first

Ghaani Farashahi, Arash
A Class of Abstract Linear Representations for Convolution Function Algebras over Homogeneous Spaces of Compact Groups
This paper introduces a class of abstract linear representations on Banach convolution function algebras over homogeneous spaces of compact groups. Let $G$ be a compact group and $H$ be a closed subgroup of $G$. Let $\mu$ be the normalized $G$-invariant measure over the compact homogeneous space $G/H$ associated to the Weil's formula and $1\le p\lt \infty$. We then present a structured class of abstract linear representations of the Banach convolution function algebras $L^p(G/H,\mu)$.

Keywords:homogeneous space, linear representation, continuous unitary representation, convolution function algebra, compact group, convolution, involution
Categories:43A85, 47A67, 20G05

25. CJM Online first

Ng, P. W.; Skoufranis, P.
Closed convex hulls of unitary orbits in certain simple real rank zero C$^*$-algebras
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.

Keywords:convex hull of unitary orbits, real rank zero C*-algebras simple, eigenvalue function, majorization
   1 2 3 4 ... 19    

© Canadian Mathematical Society, 2017 :