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

location:            Publications → journals → CJM
Online First

The following papers are the latest research papers available from the Canadian Journal of Mathematics.

The papers below are all fully peer-reviewed and we vouch for the research inside. Some items are labelled Author's Draft, and others are identified as Published.
As a service to our readers, we post new papers as soon as the science is right, but before official publication; these are the papers marked Author's Draft. When our copy editing process is complete and the paper now has our official form, we replace the Author's Draft with the Published version.
All the papers below are scheduled for inclusion in a Print issue. When that issue goes to press, the paper is moved from this Online First web page over to the main CJM Digital Archive.

Abdesselam, Abdelmalek; Chipalkatti, Jaydeep
Published: 2012-11-17
Let $F$ denote a binary form of order $d$ over the complex numbers. If $r$ is a divisor of $d$, then the Hilbert covariant $\mathcal{H}_{r,d}(F)$ vanishes exactly when $F$ is the perfect power of an order $r$ form. In geometric terms, the coefficients of $\mathcal{H}$ give defining equations for the image variety $X$ of an embedding $\mathbf{P}^r \hookrightarrow \mathbf{P}^d$. In this paper we describe a new construction of the Hilbert covariant; and simultaneously situate it into a wider class of covariants called the Göttingen covariants, all of which vanish on $X$. We prove that the ideal generated by the coefficients of $\mathcal{H}$ defines $X$ as a scheme. Finally, we exhibit a generalisation of the Göttingen covariants to $n$-ary forms using the classical Clebsch transfer principle.

Adamus, Janusz; Randriambololona, Serge; Shafikov, Rasul
Published: 2012-07-16
Given a real analytic set $X$ in a complex manifold and a positive integer $d$, denote by $\mathcal A^d$ the set of points $p$ in $X$ at which there exists a germ of a complex analytic set of dimension $d$ contained in $X$. It is proved that $\mathcal A^d$ is a closed semianalytic subset of $X$.

Aguiar, Marcelo; Mahajan, Swapneel
Published: 2013-03-08
Combinatorial structures that compose and decompose give rise to Hopf monoids in Joyal's category of species. The Hadamard product of two Hopf monoids is another Hopf monoid. We prove two main results regarding freeness of Hadamard products. The first one states that if one factor is connected and the other is free as a monoid, their Hadamard product is free (and connected). The second provides an explicit basis for the Hadamard product when both factors are free.

The first main result is obtained by showing the existence of a one-parameter deformation of the comonoid structure and appealing to a rigidity result of Loday and Ronco that applies when the parameter is set to zero. To obtain the second result, we introduce an operation on species that is intertwined by the free monoid functor with the Hadamard product. As an application of the first result, we deduce that the Boolean transform of the dimension sequence of a connected Hopf monoid is nonnegative.

Aholt, Chris; Sturmfels, Bernd; Thomas, Rekha
Published: 2012-07-19
Multiview geometry is the study of two-dimensional images of three-dimensional scenes, a foundational subject in computer vision. We determine a universal Gröbner basis for the multiview ideal of $n$ generic cameras. As the cameras move, the multiview varieties vary in a family of dimension $11n-15$. This family is the distinguished component of a multigraded Hilbert scheme with a unique Borel-fixed point. We present a combinatorial study of ideals lying on that Hilbert scheme.

Bailey, Michael
Published: 2013-03-20
We answer the natural question: when is a transversely holomorphic symplectic foliation induced by a generalized complex structure? The leafwise symplectic form and transverse complex structure determine an obstruction class in a certain cohomology, which vanishes if and only if our question has an affirmative answer. We first study a component of this obstruction, which gives the condition that the leafwise cohomology class of the symplectic form must be transversely pluriharmonic. As a consequence, under certain topological hypotheses, we infer that we actually have a symplectic fibre bundle over a complex base. We then show how to compute the full obstruction via a spectral sequence. We give various concrete necessary and sufficient conditions for the vanishing of the obstruction. Throughout, we give examples to test the sharpness of these conditions, including a symplectic fibre bundle over a complex base which does not come from a generalized complex structure, and a regular generalized complex structure which is very unlike a symplectic fibre bundle, i.e., for which nearby leaves are not symplectomorphic.

Bailey, Michael
We answer the natural question: when is a transversely holomorphic symplectic foliation induced by a generalized complex structure? The leafwise symplectic form and transverse complex structure determine an obstruction class in a certain cohomology, which vanishes if and only if our question has an affirmative answer. We first study a component of this obstruction, which gives the condition that the leafwise cohomology class of the symplectic form must be transversely pluriharmonic. As a consequence, under certain topological hypotheses, we infer that we actually have a symplectic fibre bundle over a complex base. We then show how to compute the full obstruction via a spectral sequence. We give various concrete necessary and sufficient conditions for the vanishing of the obstruction. Throughout, we give examples to test the sharpness of these conditions, including a symplectic fibre bundle over a complex base which does not come from a generalized complex structure, and a regular generalized complex structure which is very unlike a symplectic fibre bundle, i.e., for which nearby leaves are not symplectomorphic.

Berg, Chris; Bergeron, Nantel; Saliola, Franco; Serrano, Luis; Zabrocki, Mike
We introduce a new basis of the algebra of non-commutative symmetric functions whose images under the forgetful map are Schur functions when indexed by a partition. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions. We then use the basis to construct a non-commutative lift of the Hall-Littlewood symmetric functions with similar properties to their commutative counterparts.

Bernard, P.; Zavidovique, M.
Published: 2013-01-23
We expose different methods of regularizations of subsolutions in the context of discrete weak KAM theory. They allow to prove the existence and the density of $C^{1,1}$ subsolutions. Moreover, these subsolutions can be made strict and smooth outside of the Aubry set.

Birth, Lidia; Glöckner, Helge
Published: 2012-10-03
For a Lie group $G$, we show that the map $C^\infty_c(G)\times C^\infty_c(G)\to C^\infty_c(G)$, $(\gamma,\eta)\mapsto \gamma*\eta$ taking a pair of test functions to their convolution is continuous if and only if $G$ is $\sigma$-compact. More generally, consider $r,s,t \in \mathbb{N}_0\cup\{\infty\}$ with $t\leq r+s$, locally convex spaces $E_1$, $E_2$ and a continuous bilinear map $b\colon E_1\times E_2\to F$ to a complete locally convex space $F$. Let $\beta\colon C^r_c(G,E_1)\times C^s_c(G,E_2)\to C^t_c(G,F)$, $(\gamma,\eta)\mapsto \gamma *_b\eta$ be the associated convolution map. The main result is a characterization of those $(G,r,s,t,b)$ for which $\beta$ is continuous. Convolution of compactly supported continuous functions on a locally compact group is also discussed, as well as convolution of compactly supported $L^1$-functions and convolution of compactly supported Radon measures.

Broussous, P.
Soit $G$ le groupe $\mathrm{GL}(N,F)$, où $F$ est un corps localement compact et non archimédien. En utilisant la théorie des types simples de Bushnell et Kutzko, ainsi qu'une idée originale d'Henniart, nous construisons des pseudo-coefficients explicites pour les représentations de la série discrète de $G$. Comme application, nous en déduisons des formules inédites pour la valeur du charactère d'Harish-Chandra de certaines telles représentations en certains éléments elliptiques réguliers.

Caillat-Gibert, Shanti; Matignon, Daniel
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 foliation. 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 can see that all but the $3$-sphere and the Poincaré $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.

Caillat-Gibert, Shanti; Matignon, Daniel
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 foliation. 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 can see that all but the $3$-sphere and the Poincaré $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.

Cho, Peter J.; Kim, Henry H.
Published: 2012-09-08
We construct unconditionally several families of number fields with the largest possible class numbers. They are number fields of degree 4 and 5 whose Galois closures have the Galois group $A_4, S_4$ and $S_5$. We first construct families of number fields with smallest regulators, and by using the strong Artin conjecture and applying zero density result of Kowalski-Michel, we choose subfamilies of $L$-functions which are zero free close to 1. For these subfamilies, the $L$-functions have the extremal value at $s=1$, and by the class number formula, we obtain the extreme class numbers.

Choiy, Kwangho
Published: 2013-02-21
Let $F$ be a $p$-adic field of characteristic $0$, and let $M$ be an $F$-Levi subgroup of a connected reductive $F$-split group such that $\Pi_{i=1}^{r} SL_{n_i} \subseteq M \subseteq \Pi_{i=1}^{r} GL_{n_i}$ for positive integers $r$ and $n_i$. We prove that the Plancherel measure for any unitary supercuspidal representation of $M(F)$ is identically transferred under the local Jacquet-Langlands type correspondence between $M$ and its $F$-inner forms, assuming a working hypothesis that Plancherel measures are invariant on a certain set. This work extends the result of Muić and Savin (2000) for Siegel Levi subgroups of the groups $SO_{4n}$ and $Sp_{4n}$ under the local Jacquet-Langlands correspondence. It can be applied to a simply connected simple $F$-group of type $E_6$ or $E_7$, and a connected reductive $F$-group of type $A_{n}$, $B_{n}$, $C_n$ or $D_n$.

Chu, C-H.; Velasco, M. V.
We introduce the concept of a rare element in a non-associative normed algebra and show that the existence of such element is the only obstruction to continuity of a surjective homomorphism from a non-associative Banach algebra to a unital normed algebra with simple completion. Unital associative algebras do not admit any rare element and hence automatic continuity holds.

Chu, C-H.; Velasco, M. V.
Published: 2012-11-13
We introduce the concept of a rare element in a non-associative normed algebra and show that the existence of such element is the only obstruction to continuity of a surjective homomorphism from a non-associative Banach algebra to a unital normed algebra with simple completion. Unital associative algebras do not admit any rare element and hence automatic continuity holds.

Cruz, Victor; Mateu, Joan; Orobitg, Joan
Published: 2013-02-06
Our goal in this work is to present some function spaces on the complex plane $\mathbb C$, $X(\mathbb C)$, for which the quasiregular solutions of the Beltrami equation, $\overline\partial f (z) = \mu(z) \partial f (z)$, have first derivatives locally in $X(\mathbb C)$, provided that the Beltrami coefficient $\mu$ belongs to $X(\mathbb C)$.

De Bernardi, Carlo Alberto
Published: 2012-12-29
We prove that the set of all support points of a nonempty closed convex bounded set $C$ in a real infinite-dimensional Banach space $X$ is $\mathrm{AR(}\sigma$-$\mathrm{compact)}$ and contractible. Under suitable conditions, similar results are proved also for the set of all support functionals of $C$ and for the domain, the graph and the range of the subdifferential map of a proper convex l.s.c. function on $X$.

Delanoë, Philippe; Rouvière, François
Published: 2012-07-16
The squared distance curvature is a kind of two-point curvature the sign of which turned out crucial for the smoothness of optimal transportation maps on Riemannian manifolds. Positivity properties of that new curvature have been established recently for all the simply connected compact rank one symmetric spaces, except the Cayley plane. Direct proofs were given for the sphere, an indirect one via the Hopf fibrations) for the complex and quaternionic projective spaces. Here, we present a direct proof of a property implying all the preceding ones, valid on every positively curved Riemannian locally symmetric space.

Durand-Cartagena, E.; Ihnatsyeva, L.; Korte, R.; Szumańska, M.
Published: 2013-02-08
We study approximately differentiable functions on metric measure spaces admitting a Cheeger differentiable structure. The main result is a Whitney-type characterization of approximately differentiable functions in this setting. As an application, we prove a Stepanov-type theorem and consider approximate differentiability of Sobolev, $BV$ and maximal functions.

Eilers, Søren; Restorff, Gunnar; Ruiz, Efren
Let $\mathfrak{A}$ be a $C^{*}$-algebra with real rank zero which has the stable weak cancellation property. Let $\mathfrak{I}$ be an ideal of $\mathfrak{A}$ such that $\mathfrak{I}$ is stable and satisfies the corona factorization property. We prove that $0 \to \mathfrak{I} \to \mathfrak{A} \to \mathfrak{A} / \mathfrak{I} \to 0$ is a full extension if and only if the extension is stenotic and $K$-lexicographic. {As an immediate application, we extend the classification result for graph $C^*$-algebras obtained by Tomforde and the first named author to the general non-unital case. In combination with recent results by Katsura, Tomforde, West and the first author, our result may also be used to give a purely $K$-theoretical description of when an essential extension of two simple and stable graph $C^*$-algebras is again a graph $C^*$-algebra.}

Elekes, Márton; Steprāns, Juris
Published: 2013-02-06
A subset $X$ of a Polish group $G$ is called Haar null if there exists a Borel set $B \supset X$ and Borel probability measure $\mu$ on $G$ such that $\mu(gBh)=0$ for every $g,h \in G$. We prove that there exist a set $X \subset \mathbb R$ that is not Lebesgue null and a Borel probability measure $\mu$ such that $\mu(X + t) = 0$ for every $t \in \mathbb R$. This answers a question from David Fremlin's problem list by showing that one cannot simplify the definition of a Haar null set by leaving out the Borel set $B$. (The answer was already known assuming the Continuum Hypothesis.)

This result motivates the following Baire category analogue. It is consistent with $ZFC$ that there exist an abelian Polish group $G$ and a Cantor set $C \subset G$ such that for every non-meagre set $X \subset G$ there exists a $t \in G$ such that $C \cap (X + t)$ is relatively non-meagre in $C$. This essentially generalises results of Bartoszyński and Burke-Miller.

Forrest, Brian; Miao, Tianxuan
Let $G$ be a locally compact group. Let $A_{M}(G)$ ($A_{0}(G)$)denote the closure of $A(G)$, the Fourier algebra of $G$ in the space of bounded (completely bounded) multipliers of $A(G)$. We call a locally compact group M-weakly amenable if $A_M(G)$ has a bounded approximate identity. We will show that when $G$ is M-weakly amenable, the algebras $A_{M}(G)$ and $A_{0}(G)$ have properties that are characteristic of the Fourier algebra of an amenable group. Along the way we show that the sets of tolopolically invariant means associated with these algebras have the same cardinality as those of the Fourier algebra.

Fuller, Adam Hanley
Published: 2012-11-17
Let $\mathcal{S}$ be the semigroup $\mathcal{S}=\sum^{\oplus k}_{i=1}\mathcal{S}_i$, where for each $i\in I$, $\mathcal{S}_i$ is a countable subsemigroup of the additive semigroup $\mathbb{R}_+$ containing $0$. We consider representations of $\mathcal{S}$ as contractions $\{T_s\}_{s\in\mathcal{S}}$ on a Hilbert space with the Nica-covariance property: $T_s^*T_t=T_tT_s^*$ whenever $t\wedge s=0$. We show that all such representations have a unique minimal isometric Nica-covariant dilation.

This result is used to help analyse the nonself-adjoint semicrossed product algebras formed from Nica-covariant representations of the action of $\mathcal{S}$ on an operator algebra $\mathcal{A}$ by completely contractive endomorphisms. We conclude by calculating the $C^*$-envelope of the isometric nonself-adjoint semicrossed product algebra (in the sense of Kakariadis and Katsoulis).

Garcés, Jorge J.; Peralta, Antonio M.
Published: 2013-02-06
We introduce generalised triple homomorphism between Jordan Banach triple systems as a concept which extends the notion of generalised homomorphism between Banach algebras given by K. Jarosz and B.E. Johnson in 1985 and 1987, respectively. We prove that every generalised triple homomorphism between JB$^*$-triples is automatically continuous. When particularised to C$^*$-algebras, we rediscover one of the main theorems established by B.E. Johnson. We shall also consider generalised triple derivations from a Jordan Banach triple $E$ into a Jordan Banach triple $E$-module, proving that every generalised triple derivation from a JB$^*$-triple $E$ into itself or into $E^*$ is automatically continuous.

Giambruno, Antonio; Mattina, Daniela La; Zaicev, Mikhail
Published: 2013-05-15
Let $\mathcal{V}$ be a variety of associative algebras generated by an algebra with $1$ over a field of characteristic zero. This paper is devoted to the classification of the varieties $\mathcal{V}$ which are minimal of polynomial growth (i.e., their sequence of codimensions growth like $n^k$ but any proper subvariety grows like $n^t$ with $t\lt k$). These varieties are the building blocks of general varieties of polynomial growth.

It turns out that for $k\le 4$ there are only a finite number of varieties of polynomial growth $n^k$, but for each $k \gt 4$, the number of minimal varieties is at least $|F|$, the cardinality of the base field and we give a recipe of how to construct them.

Goulden, I. P.; Guay-Paquet, Mathieu; Novak, Jonathan
Published: 2012-10-30
Hurwitz numbers count branched covers of the Riemann sphere with specified ramification data, or equivalently, transitive permutation factorizations in the symmetric group with specified cycle types. Monotone Hurwitz numbers count a restricted subset of these branched covers related to the expansion of complete symmetric functions in the Jucys-Murphy elements, and have arisen in recent work on the the asymptotic expansion of the Harish-Chandra-Itzykson-Zuber integral. In this paper we begin a detailed study of monotone Hurwitz numbers. We prove two results that are reminiscent of those for classical Hurwitz numbers. The first is the monotone join-cut equation, a partial differential equation with initial conditions that characterizes the generating function for monotone Hurwitz numbers in arbitrary genus. The second is our main result, in which we give an explicit formula for monotone Hurwitz numbers in genus zero.

Grandjean, Vincent
Published: 2012-12-29
Given a non-oscillating gradient trajectory $|\gamma|$ of a real analytic function $f$, we show that the limit $\nu$ of the secants at the limit point $\mathbf{0}$ of $|\gamma|$ along the trajectory $|\gamma|$ is an eigen-vector of the limit of the direction of the Hessian matrix $\operatorname{Hess} (f)$ at $\mathbf{0}$ along $|\gamma|$. The same holds true at infinity if the function is globally sub-analytic. We also deduce some interesting estimates along the trajectory. Away from the ends of the ambient space, this property is of metric nature and still holds in a general Riemannian analytic setting.

Grigor'yan, Alexander; Hu, Jiaxin
Published: 2013-02-06
We prove that, in a setting of local Dirichlet forms on metric measure spaces, a two-sided sub-Gaussian estimate of the heat kernel is equivalent to the conjunction of the volume doubling propety, the elliptic Harnack inequality and a certain estimate of the capacity between concentric balls. The main technical tool is the equivalence between the capacity estimate and the estimate of a mean exit time in a ball, that uses two-sided estimates of a Green function in a ball.

Guardo, Elena; Harbourne, Brian; Van Tuyl, Adam
Published: 2012-11-13
Recent work of Ein-Lazarsfeld-Smith and Hochster-Huneke raised the problem of which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci-Harbourne developed methods to address this problem, which involve asymptotic numerical characters of symbolic powers of the ideals. Most of the work done up to now has been done for ideals defining 0-dimensional subschemes of projective space. Here we focus on certain subschemes given by a union of lines in $\mathbb{P}^3$ which can also be viewed as points in $\mathbb{P}^1 \times \mathbb{P}^1$. We also obtain results on the closely related problem, studied by Hochster and by Li-Swanson, of determining situations for which each symbolic power of an ideal is an ordinary power.

Guitart, Xavier; Quer, Jordi
Published: 2012-11-13
The main result of this paper is a characterization of the abelian varieties $B/K$ defined over Galois number fields with the property that the $L$-function $L(B/K;s)$ is a product of $L$-functions of non-CM newforms over $\mathbb Q$ for congruence subgroups of the form $\Gamma_1(N)$. The characterization involves the structure of $\operatorname{End}(B)$, isogenies between the Galois conjugates of $B$, and a Galois cohomology class attached to $B/K$.

We call the varieties having this property strongly modular. The last section is devoted to the study of a family of abelian surfaces with quaternionic multiplication. As an illustration of the ways in which the general results of the paper can be applied we prove the strong modularity of some particular abelian surfaces belonging to that family, and we show how to find nontrivial examples of strongly modular varieties by twisting.

Harris, Adam; Kolář, Martin
Published: 2012-12-04
This article establishes a sufficient condition for Kobayashi hyperbolicity of unbounded domains in terms of curvature. Specifically, when $\Omega\subset{\mathbb C}^{n}$ corresponds to a sub-level set of a smooth, real-valued function $\Psi$, such that the form $\omega = {\bf i}\partial\bar{\partial}\Psi$ is Kähler and has bounded curvature outside a bounded subset, then this domain admits a hermitian metric of strictly negative holomorphic sectional curvature.

He, Jianxun; Xiao, Jinsen
Published: 2012-12-04
Let $F_{2n,2}$ be the free nilpotent Lie group of step two on $2n$ generators, and let $\mathbf P$ denote the affine automorphism group of $F_{2n,2}$. In this article the theory of continuous wavelet transform on $F_{2n,2}$ associated with $\mathbf P$ is developed, and then a type of radial wavelets is constructed. Secondly, the Radon transform on $F_{2n,2}$ is studied and two equivalent characterizations of the range for Radon transform are given. Several kinds of inversion Radon transform formulae are established. One is obtained from the Euclidean Fourier transform, the others are from group Fourier transform. By using wavelet transform we deduce an inversion formula of the Radon transform, which does not require the smoothness of functions if the wavelet satisfies the differentiability property. Specially, if $n=1$, $F_{2,2}$ is the $3$-dimensional Heisenberg group $H^1$, the inversion formula of the Radon transform is valid which is associated with the sub-Laplacian on $F_{2,2}$. This result cannot be extended to the case $n\geq 2$.

Holmes, Mark; Salisbury, Thomas S.
We study the asymptotic behaviour of random walks in i.i.d. random environments on $\mathbb{Z}^d$. The environments need not be elliptic, so some steps may not be available to the random walker. We prove a monotonicity result for the velocity (when it exists) for any 2-valued environment, and show that this does not hold for 3-valued environments without additional assumptions. We give a proof of directional transience and the existence of positive speeds under strong, but non-trivial conditions on the distribution of the environment. Our results include generalisations (to the non-elliptic setting) of 0-1 laws for directional transience, and in 2-dimensions the existence of a deterministic limiting velocity.

Hrušák, Michael; van Mill, Jan
Published: 2013-03-08
We study separable metric spaces with few types of countable dense sets. We present a structure theorem for locally compact spaces having precisely $n$ types of countable dense sets: such a space contains a subset $S$ of size at most $n{-}1$ such that $S$ is invariant under all homeomorphisms of $X$ and $X\setminus S$ is countable dense homogeneous. We prove that every Borel space having fewer than $\mathfrak{c}$ types of countable dense sets is Polish. The natural question of whether every Polish space has either countably many or $\mathfrak{c}$ many types of countable dense sets, is shown to be closely related to Topological Vaught's Conjecture.

Hu, Shengda; Santoprete, Manuele
Published: 2012-12-29
In this paper we regularize the Kepler problem on $S^3$ in several different ways. First, we perform a Moser-type regularization. Then, we adapt the Ligon-Schaaf regularization to our problem. Finally, we show that the Moser regularization and the Ligon-Schaaf map we obtained can be understood as the composition of the corresponding maps for the Kepler problem in Euclidean space and the gnomonic transformation.

Hu, Zhiguo; Neufang, Matthias; Ruan, Zhong-Jin
Published: 2012-09-10
We study locally compact quantum groups $\mathbb{G}$ through the convolution algebras $L_1(\mathbb{G})$ and $(T(L_2(\mathbb{G})), \triangleright)$. We prove that the reduced quantum group $C^*$-algebra $C_0(\mathbb{G})$ can be recovered from the convolution $\triangleright$ by showing that the right $T(L_2(\mathbb{G}))$-module $\langle K(L_2(\mathbb{G}) \triangleright T(L_2(\mathbb{G}))\rangle$ is equal to $C_0(\mathbb{G})$. On the other hand, we show that the left $T(L_2(\mathbb{G}))$-module $\langle T(L_2(\mathbb{G}))\triangleright K(L_2(\mathbb{G})\rangle$ is isomorphic to the reduced crossed product $C_0(\widehat{\mathbb{G}}) \,_r\!\ltimes C_0(\mathbb{G})$, and hence is a much larger $C^*$-subalgebra of $B(L_2(\mathbb{G}))$.

We establish a natural isomorphism between the completely bounded right multiplier algebras of $L_1(\mathbb{G})$ and $(T(L_2(\mathbb{G})), \triangleright)$, and settle two invariance problems associated with the representation theorem of Junge-Neufang-Ruan (2009). We characterize regularity and discreteness of the quantum group $\mathbb{G}$ in terms of continuity properties of the convolution $\triangleright$ on $T(L_2(\mathbb{G}))$. We prove that if $\mathbb{G}$ is semi-regular, then the space $\langle T(L_2(\mathbb{G}))\triangleright B(L_2(\mathbb{G}))\rangle$ of right $\mathbb{G}$-continuous operators on $L_2(\mathbb{G})$, which was introduced by Bekka (1990) for $L_{\infty}(G)$, is a unital $C^*$-subalgebra of $B(L_2(\mathbb{G}))$. In the representation framework formulated by Neufang-Ruan-Spronk (2008) and Junge-Neufang-Ruan, we show that the dual properties of compactness and discreteness can be characterized simultaneously via automatic normality of quantum group bimodule maps on $B(L_2(\mathbb{G}))$. We also characterize some commutation relations of completely bounded multipliers of $(T(L_2(\mathbb{G})), \triangleright)$ over $B(L_2(\mathbb{G}))$.

Iglesias-Zemmour, Patrick
Published: 2012-12-29
We establish the formula for the variation of integrals of differential forms on cubic chains, in the context of diffeological spaces. Then, we establish the diffeological version of Stoke's theorem, and we apply that to get the diffeological variant of the Cartan-Lie formula. Still in the context of Cartan-De-Rham calculus in diffeology, we construct a Chain-Homotopy Operator $\mathbf K$ we apply it here to get the homotopic invariance of De Rham cohomology for diffeological spaces. This is the Chain-Homotopy Operator which used in symplectic diffeology to construct the Moment Map.

Iovanov, Miodrag Cristian
Published: 2013-02-06
"Co-Frobenius" coalgebras were introduced as dualizations of Frobenius algebras. We previously showed that they admit left-right symmetric characterizations analogue to those of Frobenius algebras. We consider the more general quasi-co-Frobenius (QcF) coalgebras; the first main result in this paper is that these also admit symmetric characterizations: a coalgebra is QcF if it is weakly isomorphic to its (left, or right) rational dual $Rat(C^*)$, in the sense that certain coproduct or product powers of these objects are isomorphic. Fundamental results of Hopf algebras, such as the equivalent characterizations of Hopf algebras with nonzero integrals as left (or right) co-Frobenius, QcF, semiperfect or with nonzero rational dual, as well as the uniqueness of integrals and a short proof of the bijectivity of the antipode for such Hopf algebras all follow as a consequence of these results. This gives a purely representation theoretic approach to many of the basic fundamental results in the theory of Hopf algebras. Furthermore, we introduce a general concept of Frobenius algebra, which makes sense for infinite dimensional and for topological algebras, and specializes to the classical notion in the finite case. This will be a topological algebra $A$ that is isomorphic to its complete topological dual $A^\vee$. We show that $A$ is a (quasi)Frobenius algebra if and only if $A$ is the dual $C^*$ of a (quasi)co-Frobenius coalgebra $C$. We give many examples of co-Frobenius coalgebras and Hopf algebras connected to category theory, homological algebra and the newer q-homological algebra, topology or graph theory, showing the importance of the concept.

Jonsson, Jakob
Published: 2013-03-20
For $\delta \ge 1$ and $n \ge 1$, consider the simplicial complex of graphs on $n$ vertices in which each vertex has degree at most $\delta$; we identify a given graph with its edge set and admit one loop at each vertex. This complex is of some importance in the theory of semigroup algebras. When $\delta = 1$, we obtain the matching complex, for which it is known that there is $3$-torsion in degree $d$ of the homology whenever $\frac{n-4}{3} \le d \le \frac{n-6}{2}$. This paper establishes similar bounds for $\delta \ge 2$. Specifically, there is $3$-torsion in degree $d$ whenever $\frac{(3\delta-1)n-8}{6} \le d \le \frac{\delta (n-1) - 4}{2}$. The procedure for detecting torsion is to construct an explicit cycle $z$ that is easily seen to have the property that $3z$ is a boundary. Defining a homomorphism that sends $z$ to a non-boundary element in the chain complex of a certain matching complex, we obtain that $z$ itself is a non-boundary. In particular, the homology class of $z$ has order $3$.

Josuat-Vergès, Matthieu
Published: 2012-11-13
The $q$-semicircular distribution is a probability law that interpolates between the Gaussian law and the semicircular law. There is a combinatorial interpretation of its moments in terms of matchings where $q$ follows the number of crossings, whereas for the free cumulants one has to restrict the enumeration to connected matchings. The purpose of this article is to describe combinatorial properties of the classical cumulants. We show that like the free cumulants, they are obtained by an enumeration of connected matchings, the weight being now an evaluation of the Tutte polynomial of a so-called crossing graph. The case $q=0$ of these cumulants was studied by Lassalle using symmetric functions and hypergeometric series. We show that the underlying combinatorics is explained through the theory of heaps, which is Viennot's geometric interpretation of the Cartier-Foata monoid. This method also gives a general formula for the cumulants in terms of free cumulants.

Kalantar, Mehrdad; Neufang, Matthias
Published: 2013-02-06
In this paper we use the recent developments in the representation theory of locally compact quantum groups, to assign, to each locally compact quantum group $\mathbb{G}$, a locally compact group $\tilde {\mathbb{G}}$ which is the quantum version of point-masses, and is an invariant for the latter. We show that quantum point-masses" can be identified with several other locally compact groups that can be naturally assigned to the quantum group $\mathbb{G}$. This assignment preserves compactness as well as discreteness (hence also finiteness), and for large classes of quantum groups, amenability. We calculate this invariant for some of the most well-known examples of non-classical quantum groups. Also, we show that several structural properties of $\mathbb{G}$ are encoded by $\tilde {\mathbb{G}}$: the latter, despite being a simpler object, can carry very important information about $\mathbb{G}$.

Kawabe, Hiroko
Published: 2012-12-29
Guest-Ohnita and Crawford have shown the path-connectedness of the space of harmonic maps from $S^2$ to $\mathbf{C} P^n$ of a fixed degree and energy.It is well-known that the $\partial$ transform is defined on this space. In this paper,we will show that the space is decomposed into mutually disjoint connected subspaces on which $\partial$ is homeomorphic.

Kellerhals, Ruth; Kolpakov, Alexander
Published: 2013-02-13
Due to work of W. Parry it is known that the growth rate of a hyperbolic Coxeter group acting cocompactly on ${\mathbb H^3}$ is a Salem number. This being the arithmetic situation, we prove that the simplex group (3,5,3) has smallest growth rate among all cocompact hyperbolic Coxeter groups, and that it is as such unique. Our approach provides a different proof for the analog situation in ${\mathbb H^2}$ where E. Hironaka identified Lehmer's number as the minimal growth rate among all cocompact planar hyperbolic Coxeter groups and showed that it is (uniquely) achieved by the Coxeter triangle group (3,7).

Kim, Sun Kwang; Lee, Han Ju
Published: 2013-04-02
A new characterization of the uniform convexity of Banach space is obtained in the sense of Bishop-Phelps-Bollobás theorem. It is also proved that the couple of Banach spaces $(X,Y)$ has the bishop-phelps-bollobás property for every banach space $y$ when $X$ is uniformly convex. As a corollary, we show that the Bishop-Phelps-Bollobás theorem holds for bilinear forms on $\ell_p\times \ell_q$ ($1\lt p, q\lt \infty$).

Kuo, Wentang; Liu, Yu-Ru; Zhao, Xiaomei
Published: 2013-05-07
Let $\mathbb{F}_q[t]$ denote the polynomial ring over the finite field $\mathbb{F}_q$. We employ Wooley's new efficient congruencing method to prove certain multidimensional Vinogradov-type estimates in $\mathbb{F}_q[t]$. These results allow us to apply a variant of the circle method to obtain asymptotic formulas for a system connected to the problem about linear spaces lying on hypersurfaces defined over $\mathbb{F}_q[t]$.

Levandovskyy, Viktor; Shepler, Anne V.
We consider finite groups acting on quantum (or skew) polynomial rings. Deformations of the semidirect product of the quantum polynomial ring with the acting group extend symplectic reflection algebras and graded Hecke algebras to the quantum setting over a field of arbitrary characteristic. We give necessary and sufficient conditions for such algebras to satisfy a Poincaré-Birkhoff-Witt property using the theory of noncommutative Gröbner bases. We include applications to the case of abelian groups and the case of groups acting on coordinate rings of quantum planes. In addition, we classify graded automorphisms of the coordinate ring of quantum 3-space. In characteristic zero, Hochschild cohomology gives an elegant description of the PBW conditions.

Mashreghi, J.; Shabankhah, M.
Published: 2013-02-13
We study the image of the model subspace $K_\theta$ under the composition operator $C_\varphi$, where $\varphi$ and $\theta$ are inner functions, and find the smallest model subspace which contains the linear manifold $C_\varphi K_\theta$. Then we characterize the case when $C_\varphi$ maps $K_\theta$ into itself. This case leads to the study of the inner functions $\varphi$ and $\psi$ such that the composition $\psi\circ\varphi$ is a divisor of $\psi$ in the family of inner functions.

Mendonça, Bruno; Tojeiro, Ruy
Published: 2013-02-21
We give a complete classification of umbilical submanifolds of arbitrary dimension and codimension of $\mathbb{S}^n\times \mathbb{R}$, extending the classification of umbilical surfaces in $\mathbb{S}^2\times \mathbb{R}$ by Souam and Toubiana as well as the local description of umbilical hypersurfaces in $\mathbb{S}^n\times \mathbb{R}$ by Van der Veken and Vrancken. We prove that, besides small spheres in a slice, up to isometries of the ambient space they come in a two-parameter family of rotational submanifolds whose substantial codimension is either one or two and whose profile is a curve in a totally geodesic $\mathbb{S}^1\times \mathbb{R}$ or $\mathbb{S}^2\times \mathbb{R}$, respectively, the former case arising in a one-parameter family. All of them are diffeomorphic to a sphere, except for a single element that is diffeomorphic to Euclidean space. We obtain explicit parametrizations of all such submanifolds. We also study more general classes of submanifolds of $\mathbb{S}^n\times \mathbb{R}$ and $\mathbb{H}^n\times \mathbb{R}$. In particular, we give a complete description of all submanifolds in those product spaces for which the tangent component of a unit vector field spanning the factor $\mathbb{R}$ is an eigenvector of all shape operators. We show that surfaces with parallel mean curvature vector in $\mathbb{S}^n\times \mathbb{R}$ and $\mathbb{H}^n\times \mathbb{R}$ having this property are rotational surfaces, and use this fact to improve some recent results by Alencar, do Carmo, and Tribuzy. We also obtain a Dajczer-type reduction of codimension theorem for submanifolds of $\mathbb{S}^n\times \mathbb{R}$ and $\mathbb{H}^n\times \mathbb{R}$.

Rotger, Victor; de Vera-Piquero, Carlos
The purpose of this note is introducing a method for proving the existence of no rational points on a coarse moduli space $X$ of abelian varieties over a given number field $K$, in cases where the moduli problem is not fine and points in $X(K)$ may not be represented by an abelian variety (with additional structure) admitting a model over the field $K$. This is typically the case when the abelian varieties that are being classified have even dimension. The main idea, inspired on the work of Ellenberg and Skinner on the modularity of $\mathbb{Q}$-curves, is that to a point $P=[A]\in X(K)$ represented by an abelian variety $A/\bar K$ one may still attach a Galois representation of $\operatorname{Gal}(\bar K/K)$ with values in the quotient group $\operatorname{GL}(T_\ell(A))/\operatorname{Aut}(A)$, provided $\operatorname{Aut}(A)$ lies in the centre of $\operatorname{GL}(T_\ell(A))$. We exemplify our method in the cases where $X$ is a Shimura curve over an imaginary quadratic field or an Atkin-Lehner quotient over $\mathbb{Q}$.

Sambou, Diomba
Published: 2013-02-06
Nous considérons les perturbations $H := H_{0} + V$ et $D := D_{0} + V$ des Hamiltoniens libres $H_{0}$ de Pauli et $D_{0}$ de Dirac en dimension 3 avec champ magnétique non constant, $V$ étant un potentiel électrique qui décroît super-exponentiellement dans la direction du champ magnétique. Nous montrons que dans des espaces de Banach appropriés, les résolvantes de $H$ et $D$ définies sur le demi-plan supérieur admettent des prolongements méromorphes. Nous définissons les résonances de $H$ et $D$ comme étant les pôles de ces extensions méromorphes. D'une part, nous étudions la répartition des résonances de $H$ près de l'origine $0$ et d'autre part, celle des résonances de $D$ près de $\pm m$ où $m$ est la masse d'une particule. Dans les deux cas, nous obtenons d'abord des majorations du nombre de résonances dans de petits domaines au voisinage de $0$ et $\pm m$. Sous des hypothèses supplémentaires, nous obtenons des développements asymptotiques du nombre de résonances qui entraînent leur accumulation près des seuils $0$ et $\pm m$. En particulier, pour une perturbation $V$ de signe défini, nous obtenons des informations sur la répartition des valeurs propres de $H$ et $D$ près de $0$ et $\pm m$ respectivement.

Shen, Yibing; Zhao, Wei
Published: 2012-10-30
In this paper, we establish a universal volume comparison theorem for Finsler manifolds and give the Berger-Kazdan inequality and Santaló's formula in Finsler geometry. Being based on these, we derive a Berger-Kazdan type comparison theorem and a Croke type isoperimetric inequality for Finsler manifolds.

Thompson, Alan
We consider threefolds that admit a fibration by K3 surfaces over a nonsingular curve, equipped with a divisorial sheaf that defines a polarisation of degree two on the general fibre. Under certain assumptions on the threefold we show that its relative log canonical model exists and can be explicitly reconstructed from a small set of data determined by the original fibration. Finally we prove a converse to the above statement: under certain assumptions, any such set of data determines a threefold that arises as the relative log canonical model of a threefold admitting a fibration by K3 surfaces of degree two.

Vandenbergen, Nicolas
In this paper, we study the reduced loci of special cycles on local models of the Shimura variety for $\operatorname{GU}(1,n-1)$. Those special cycles are defined by Kudla and Rapoport. We explicitly compute the irreducible components of the reduced locus of a single special cycle, as well as of an arbitrary intersection of special cycles, and their intersection behaviour in terms of Bruhat-Tits theory. Furthermore, as an application of our results, we prove the connectedness of arbitrary intersections of special cycles, as conjectured by Kudla and Rapoport.

Vaz, Pedro; Wagner, Emmanuel
We prove that the 2-variable BMW algebra embeds into an algebra constructed from the HOMFLY-PT polynomial. We also prove that the $\mathfrak{so}_{2N}$-BMW algebra embeds in the $q$-Schur algebra of type $A$. We use these results to suggest a schema providing categorifications of the $\mathfrak{so}_{2N}$-BMW algebra.

Vitagliano, Luca
Published: 2012-12-29
We define partial differential (PD in the following), i.e., field theoretic analogues of Hamiltonian systems on abstract symplectic manifolds and study their main properties, namely, PD Hamilton equations, PD Noether theorem, PD Poisson bracket, etc.. Unlike in standard multisymplectic approach to Hamiltonian field theory, in our formalism, the geometric structure (kinematics) and the dynamical information on the phase space'' appear as just different components of one single geometric object.

Wang, Liping; Zhao, Chunyi
Published: 2012-12-29
We consider the following prescribed boundary mean curvature problem in $\mathbb B^N$ with the Euclidean metric: $\begin{cases} \displaystyle -\Delta u =0,\quad u\gt 0 &\text{in }\mathbb B^N, \\[2ex] \displaystyle \frac{\partial u}{\partial\nu} + \frac{N-2}{2} u =\frac{N-2}{2} \widetilde K(x) u^{2^\#-1} \quad & \text{on }\mathbb S^{N-1}, \end{cases}$ where $\widetilde K(x)$ is positive and rotationally symmetric on $\mathbb S^{N-1}, 2^\#=\frac{2(N-1)}{N-2}$. We show that if $\widetilde K(x)$ has a local maximum point, then the above problem has infinitely many positive solutions that are not rotationally symmetric on $\mathbb S^{N-1}$.

Wu, Xinfeng
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.
{"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": 369, "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.8742921948432922, "perplexity_flag": "head"}