The following papers are the latest research papers available from the
Canadian Mathematical Bulletin.

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 CMB Digital Archive.

If $X$ is a connected complex manifold with $d_X = 2$ that admits a (connected) Lie group $G$
acting transitively as a group of holomorphic transformations, then the action extends to an action of the
complexification $\widehat{G}$ of $G$ on $X$ except when
either the unit disk in the complex plane
or a strictly pseudoconcave homogeneous complex manifold is
the base or fiber of some homogeneous fibration of $X$.

In this paper we study connections between topological games
such
as Rothberger, Menger and compact-open, and relate these games
to
properties involving covers by $G_\delta$ subsets. The results
include:
(1) If Two has a winning strategy in the Menger
game on a regular space $X$, then $X$ is an Alster space.
(2) If Two has a winning strategy in the Rothberger game on a
topological space $X$, then the $G_\delta$-topology on $X$ is
Lindelöf.
(3) The Menger game and the compact-open game are (consistently)
not
dual.

We describe a general setting where the monodromy action on the first
cohomology group of the Milnor fiber of a hyperplane arrangement is
the identity.

The precise condition on a completely regular space $X$ for every character on
$C(X) $ to be an evaluation at some point in $X$ is that $X$ be
realcompact. Usually, this classical result is obtained relying heavily on
involved (and even nonconstructive) extension arguments. This note provides a
direct proof that is accessible to a large audience.

It is known that the normalized standard generators of the free
orthogonal quantum group $O_N^+$ converge in distribution to a free
semicircular system as $N \to \infty$. In this note, we
substantially improve this convergence result by proving that, in
addition to distributional convergence, the operator norm of any
non-commutative polynomial in the normalized standard generators of
$O_N^+$ converges as $N \to \infty$ to the operator norm of the
corresponding non-commutative polynomial in a standard free
semicircular system. Analogous strong convergence results are obtained
for the generators of free unitary quantum groups. As applications of
these results, we obtain a matrix-coefficient version of our strong
convergence theorem, and we recover a well known $L^2$-$L^\infty$ norm
equivalence for non-commutative polynomials in free semicircular
systems.

We classify integral modular categories of dimension $pq^4$ and $p^2q^2$,
where
$p$ and $q$ are distinct primes. We show that such categories are always
group-theoretical except for categories of dimension $4q^2$.
In these cases there are
well-known examples of non-group-theoretical categories, coming from
centers of
Tambara-Yamagami categories and quantum groups. We show that a
non-group-theoretical integral modular category of dimension $4q^2$ is
equivalent to either one of these well-known examples or is of dimension
$36$ and is twist-equivalent to fusion categories arising from a
certain quantum group.

We describe of all finite
dimensional uniserial representations of a commutative associative
(resp. abelian Lie) algebra over a perfect (resp. sufficiently
large perfect) field. In the Lie case the size of the field
depends on the answer to following question, considered and solved
in this paper. Let $K/F$ be a finite separable field extension
and
let $x,y\in K$. When is $F[x,y]=F[\alpha x+\beta y]$ for some
non-zero elements $\alpha,\beta\in F$?

Let $C$ be a curve over a complete valued field with infinite
residue field whose skeleton is a chain of loops with generic
edge lengths. We prove that
any divisor on the chain of loops that is rational over the value
group lifts to a divisor of the same rank on $C$, confirming
a conjecture of Cools,
Draisma, Robeva, and the third author.

We describe double Hurwitz numbers as intersection numbers on the
moduli space of curves $\overline{\mathcal{M}}_{g,n}$. Using a result on the
polynomiality of intersection numbers of psi classes with the Double
Ramification Cycle, our formula explains the polynomiality in chambers
of double Hurwitz numbers, and the wall crossing phenomenon in terms
of a variation of correction terms to the $\psi$ classes. We
interpret this as suggestive evidence for polynomiality of the Double
Ramification Cycle (which is only known in genera $0$ and $1$).

We examine spectral behavior of irreducible tuples which do not
admit boundary property. In particular, we prove under some mild
assumption that the spectral radius of such an $m$-tuple $(T_1,
\dots, T_m)$ must be the operator norm of $T^*_1T_1 + \cdots +
T^*_mT_m$. We use this simple observation to ensure boundary
property for an irreducible, essentially normal joint $q$-isometry provided it
is not a joint isometry.
We further exhibit a family of
reproducing Hilbert $\mathbb{C}[z_1, \dots, z_m]$-modules (of which
the Drury-Arveson Hilbert module is a prototype) with the property that any
two nested unitarily equivalent submodules are indeed equal.

Let $b\in \mathrm{BMO}(\mathbb{R}^n)$ and $T_{\Omega}$ be the singular
integral operator with kernel $\frac{\Omega(x)}{|x|^n}$, where
$\Omega$ is homogeneous of degree zero, integrable and has mean
value zero on the unit sphere $S^{n-1}$. In this paper, by Fourier
transform estimates and approximation to the operator $T_{\Omega}$
by integral operators with smooth kernels, it is proved that if
$b\in \mathrm{CMO}(\mathbb{R}^n)$ and $\Omega$ satisfies a certain
minimal size condition, then the commutator generated by $b$ and
$T_{\Omega}$ is a compact operator on $L^p(\mathbb{R}^n)$ for
appropriate index $p$. The associated maximal operator is also
considered.

Let $G$ be a group and $\mathbb K=\mathbb C$ or $\mathbb
R$.
In this article, as a generalization of the result of Albert
and Baker,
we investigate the behavior of bounded
and unbounded functions $f\colon G\to \mathbb K$ satisfying the inequality
$
\Bigl|f
\Bigl(\sum_{k=1}^n x_k
\Bigr)-\prod_{k=1}^n f(x_k)
\Bigr|\le \phi(x_2, \dots, x_n),\quad \forall\, x_1, \dots,
x_n\in G,
$
where $\phi\colon G^{n-1}\to [0, \infty)$. Also, as a distributional
version of the above inequality we consider the stability of
the functional equation
\begin{equation*}
u\circ S - \overbrace{u\otimes \cdots \otimes u}^{n-\text {times}}=0,
\end{equation*}
where $u$ is a Schwartz distribution or Gelfand hyperfunction,
$\circ$ and $\otimes$ are the pullback and tensor product of
distributions, respectively, and $S(x_1, \dots, x_n)=x_1+ \dots
+x_n$.

We consider the Finsler space $(\bar{M}^3, \bar{F})$ obtained by
perturbing the Euclidean metric of $\mathbb{R}^3$ by a rotation. It
is the open region of $\mathbb{R}^3$ bounded by a cylinder with a
Randers metric. Using the Busemann-Hausdorff volume form, we
obtain the differential equation that characterizes the helicoidal
minimal surfaces in $\bar{M}^3$. We prove that the helicoid is a
minimal surface in $\bar{M}^3$, only if the axis of the helicoid
is the axis of the cylinder. Moreover, we prove that, in the
Randers space $(\bar{M}^3, \bar{F})$, the only minimal
surfaces in the Bonnet family, with fixed axis $O\bar{x}^3$, are the catenoids
and the helicoids.

Previous results by the author on the connection
between three of measures
of non-compactness obtained for $L_p$, are extended
to regular spaces of measurable
functions.
An example of advantage
in some cases one of them in comparison with another is given.
Geometric characteristics of regular spaces are determined.
New theorems for $(k,\beta)$-boundedness of partially additive
operators are proved.

We give some new characterizations for compactness of weighted
composition operators $uC_\varphi$ acting on Bloch-type spaces in
terms of the power of the components of $\varphi,$ where $\varphi$
is a holomorphic self-map of the polydisk $\mathbb{D}^n,$ thus
generalizing the results obtained by Hyvärinen and
Lindström in 2012.

The Theorem below is a correction to Theorem
3.5 in the article
entitled " Infinite Dimensional DeWitt Supergroups and Their
Bodies" published
in Canad. Math. Bull. Vol. 57 (2) 2014 pp. 283-288. Only part
(iii) of that Theorem
requires correction. The proof of Theorem 3.5 in the original
article failed to separate
the proof of (ii) from the proof of (iii). The proof of (ii)
is complete once it is established
that $ad_a$ is quasi-nilpotent for each $a$ since it immediately
follows that $K$
is quasi-nilpotent. The proof of (iii) is not complete
in the original article. The revision appears as the proof of
(iii) of the revised Theorem below.

Let $L(X)$ be the free locally convex space over a Tychonoff space $X$. Then $L(X)$ is a $k$-space if and only if $X$ is a countable discrete space. We prove also that $L(D)$ has uncountable tightness for every uncountable discrete space $D$.

We show that if $E$ is a separable reflexive space, and $L$ is a weak-star closed linear subspace of
$L(E)$ such that $L\cap K(E)$ is weak-star dense in $L$, then $L$ has a unique isometric predual. The proof relies on basic topological arguments.

Let $G$ be a complex semisimple linear algebraic group and let
$Pet$ be the associated Peterson variety in the flag
variety $G/B$.
The main theorem of this note gives an efficient presentation
of the equivariant cohomology ring $H^*_S(Pet)$ of the
Peterson variety as a quotient of a polynomial ring by an ideal
$J$ generated by quadratic polynomials, in the spirit of the
Borel presentation of the cohomology of the flag variety. Here
the group $S \cong \mathbb{C}^*$ is a certain subgroup of a maximal
torus $T$ of $G$.
Our description of the ideal $J$ uses the Cartan matrix and is
uniform across Lie types. In our arguments we use the Monk formula
and Giambelli formula for the equivariant cohomology rings of
Peterson varieties for all Lie types, as obtained in the work
of Drellich. Our result generalizes a previous theorem of Fukukawa-Harada-Masuda,
which was only for Lie type $A$.

A formula is provided to
explicitly describe global dimensions of all kinds of tree type
finite dimensional $k-$algebras for $k$ an algebraic closed field.
In particular, it is pointed out that if the underlying tree type
quiver has $n$ vertices, then the maximum of possible global
dimensions is $n-1$.

In this paper we give a characterization of a real hypersurface of
Type~$(A)$ in complex two-plane Grassmannians ${ { {G_2({\mathbb
C}^{m+2})} } }$, which means a
tube over a totally geodesic $G_{2}(\mathbb C^{m+1})$ in
${G_2({\mathbb C}^{m+2})}$, by
the Reeb parallel structure Jacobi operator ${\nabla}_{\xi}R_{\xi}=0$.

It is well known that a discrete group which is both amenable and
has Kazhdan's Property T must be finite. In this note we generalize
the above statement to the case of transformation groups. We show
that if $G$ is a discrete amenable group acting on a compact
Hausdorff space $X$, then the transformation group $C^*$-algebra
$C^*(X, G)$ has Property T if and only if both $X$ and $G$ are finite. Our
approach does not rely on the use of tracial states on $C^*(X, G)$.

In this paper, we investigate the common
approximate fixed point sequences of nonexpansive semigroups of
nonlinear mappings $\{T_t\}_{t \geq 0}$, i.e., a family such that
$T_0(x)=x$, $T_{s+t}=T_s(T_t(x))$, where the domain is a metric space
$(M,d)$. In particular we prove that under suitable conditions, the
common approximate fixed point sequences set is the same as the common
approximate fixed point sequences set of two mappings from the family.
Then we use the Ishikawa iteration to construct a common approximate
fixed point sequence of nonexpansive semigroups of nonlinear
mappings.

We study $L^p-L^r$ restriction estimates for
algebraic varieties $V$ in the case when restriction operators act on
radial functions in the finite field setting.
We show that if the varieties $V$ lie in odd dimensional vector
spaces over finite fields, then the conjectured restriction estimates
are possible for all radial test functions.
In addition, assuming that the varieties $V$ are defined in even
dimensional spaces and have few intersection points with the sphere
of zero radius, we also obtain the conjectured exponents for all
radial test functions.

Let $f$ be a modular form which is non-ordinary at $p$. Loeffler has
recently constructed four two-variable $p$-adic $L$-functions
associated to $f$. In the case where $a_p=0$, he showed that, as in
the one-variable case, Pollack's plus and minus splitting applies to
these new objects. In this article, we show that such a splitting can
be generalised to the case where $a_p\ne0$ using Sprung's logarithmic
matrix.

Inspired by the invariant of a number field given by its zeta
function, we define the notion of weak arithmetic equivalence and show
that under certain ramification hypotheses, this equivalence
determines the local root numbers of the number field. This is
analogous to a result of Rohrlich on the local root numbers of a
rational elliptic curve. Additionally, we prove that for tame
non-totally real number fields, the integral trace form is invariant
under arithmetic equivalence.

For the Bergman projection operator $P$ we prove that
\begin{equation*}
\|P\colon L^1(B,d\lambda)\rightarrow B_1\| = \frac {(2n+1)!}{n!}.
\end{equation*}
Here $\lambda$ stands for the hyperbolic metric in the unit ball $B$ of
$\mathbb{C}^n$, and $B_1$ denotes the Besov space with an adequate
semi--norm. We also consider a generalization of this result. This generalizes
some recent results due to Perälä.

Extending the notion of parallelism we introduce the concept of
approximate parallelism in normed spaces and then substantially
restrict ourselves to the setting of Hilbert space operators endowed
with the operator norm. We present several characterizations of the
exact and approximate operator parallelism in the algebra
$\mathbb{B}(\mathscr{H})$ of bounded linear operators acting on a
Hilbert space $\mathscr{H}$. Among other things, we investigate the
relationship between approximate parallelism and norm of inner
derivations on $\mathbb{B}(\mathscr{H})$. We also characterize the
parallel elements of a $C^*$-algebra by using states. Finally we
utilize the linking algebra to give some equivalence assertions
regarding parallel elements in a Hilbert $C^*$-module.

Johnson and Schechtman (2009)
characterized superreflexivity in terms of finite diamond graphs.
The present author characterized the Radon-Nikodým property
(RNP) for dual spaces in terms of the infinite diamond. This
paper
is devoted to further study of relations between metric
characterizations of superreflexivity and the RNP for dual spaces.
The main result is that finite subsets of any set $M$ whose
embeddability characterizes the RNP for dual spaces, characterize
superreflexivity. It is also observed that the converse statement
does not hold, and that $M=\ell_2$ is a counterexample.

Let $X$ be a compact Hausdorff space. In this paper, we give an
example to show that there is $u\in \mathrm{C}(X)\otimes \mathrm{M}_n$
with $\det (u(x))=1$ for all $x\in X$ and $u\sim_h 1$ such that the
$\mathrm{C}^*$ exponential length of $u$
(denoted by $cel(u)$) can not be controlled by
$\pi$. Moreover, in simple inductive limit $\mathrm{C}^*$-algebras,
similar examples also exist.

It is a theorem of Bers that any closed hyperbolic surface admits a pants decomposition consisting of curves of bounded length where the bound only depends on the topology of the surface. The question of the quantification of the optimal constants has been well studied and the best upper bounds to date are linear in genus, a theorem of Buser and Seppälä. The goal of this note is to give a short proof of a linear upper bound which slightly improve the best known bound.

Let $g \geq 2$. A real number is said to be $g$-normal if its base $g$ expansion contains every finite sequence of digits with the expected limiting frequency. Let $\phi$ denote Euler's totient function, let $\sigma$ be the sum-of-divisors function, and let $\lambda$ be Carmichael's lambda-function. We show that if $f$ is any function formed by composing $\phi$, $\sigma$, or $\lambda$, then the number
\[ 0. f(1) f(2) f(3) \dots \]
obtained by concatenating the base $g$ digits of successive $f$-values is $g$-normal. We also prove the same result if the inputs $1, 2, 3, \dots$ are replaced with the primes $2, 3, 5, \dots$. The proof is an adaptation of a method introduced by Copeland and Erdős in 1946 to prove the $10$-normality of $0.235711131719\ldots$.

Let $g \geq 2$. A real number is said to be $g$-normal if its base $g$ expansion contains every finite sequence of digits with the expected limiting frequency. Let $\phi$ denote Euler's totient function, let $\sigma$ be the sum-of-divisors function, and let $\lambda$ be Carmichael's lambda-function. We show that if $f$ is any function formed by composing $\phi$, $\sigma$, or $\lambda$, then the number
\[ 0. f(1) f(2) f(3) \dots \]
obtained by concatenating the base $g$ digits of successive $f$-values is $g$-normal. We also prove the same result if the inputs $1, 2, 3, \dots$ are replaced with the primes $2, 3, 5, \dots$. The proof is an adaptation of a method introduced by Copeland and Erdős in 1946 to prove the $10$-normality of $0.235711131719\ldots$.

Using Krasnoselskii's fixed point theorem, we deduce
the existence of periodic solutions of nonlinear system of integro-dynamic
equations on periodic time scales. These equations are
studied under a set of assumptions on the functions involved
in the
equations. The equations will be called almost linear when these
assumptions hold. The results of this papers are new for the
continuous and discrete time scales.

We prove some results concerning covolutions, the
additive energy and sumsets of convex sets and its generalizations. In
particular, we show that if a set $A=\{a_1,\dots,a_n\}_\lt \subseteq
\mathbb R$ has
the property that for every fixed
$1\leqslant d\lt n,$ all differences $a_i-a_{i-d}$, $d\lt i\lt n,$ are distinct, then
$|A+A|\gg |A|^{3/2+c}$ for a constant $c\gt 0.$

In this note, we identify, in the Grothendieck group of complex
varieties $K_0(\mathrm Var_\mathbf{C})$, the classes of $\mathbf{Q}$-homological
planes. Precisely, we prove that a connected smooth affine complex
algebraic surface $X$ is a $\mathbf{Q}$-homological plane if
and only if $[X]=[\mathbf{A}^2_\mathbf{C}]$ in the ring $K_0(\mathrm Var_\mathbf{C})$
and $\mathrm{Pic}(X)_\mathbf{Q}:=\mathrm{Pic}(X)\otimes_\mathbf{Z}\mathbf{Q}=0$.

We examine the ranks of operators in semi-finite $\mathrm{C}^*$-algebras
as measured by their densely defined lower semicontinuous traces.
We first prove that a unital simple $\mathrm{C}^*$-algebra whose
extreme tracial boundary is nonempty and finite contains positive
operators of every possible rank, independent of the property
of strict comparison. We then turn to nonunital simple algebras
and establish criteria that imply that the Cuntz semigroup is
recovered functorially from the Murray-von Neumann semigroup
and the space of densely defined lower semicontinuous traces.
Finally, we prove that these criteria are satisfied by not-necessarily-unital
approximately subhomogeneous algebras of slow dimension growth.
Combined with results of the first-named author, this shows that
slow dimension growth coincides with $\mathcal Z$-stability,
for approximately subhomogeneous algebras.

Let $A$ be a subgroup of a finite group $G$ and $\Sigma : G_0\leq
G_1\leq\cdots \leq G_n$ some subgroup series of $G$. Suppose that
for each pair $(K,H)$ such that $K$ is a maximal subgroup of $H$ and
$G_{i-1}\leq K \lt H\leq G_i$, for some $i$, either $A\cap H = A\cap K$
or $AH = AK$. Then $A$ is said to be $\Sigma$-embedded in $G$; $A$
is said to be $m$-embedded in $G$ if $G$ has a subnormal subgroup
$T$ and a $\{1\leq G\}$-embedded subgroup $C$ in $G$ such that $G =
AT$ and $T\cap A\leq C\leq A$. In this article, some sufficient
conditions for a finite group $G$ to be $p$-nilpotent are given
whenever all subgroups with order $p^{k}$ of a Sylow $p$-subgroup of
$G$ are $m$-embedded for a given positive integer $k$.

In this paper we prove that there is only one conjugacy class of
dihedral group of order $2p$ in the $2(p-1)\times 2(p-1)$ integral
symplectic group can be realized by an analytic automorphism
group
of compact connected Riemann surfaces of genus $p-1$. A pair of
representative generators of the realizable class is also given.

We provide an explicit formula for the generalized cyclic shuffle map for cylindrical modules.
Using this formula we give a combinatorial proof of the generalized
cyclic Eilenberg-Zilber theorem.