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.

Let $v$ be a henselian valuation of any rank of a field
$K$ and $\overline{v}$ be the unique extension of $v$ to a
fixed algebraic closure $\overline{K}$ of $K$. In 2005, it was studied properties
of those pairs $(\theta,\alpha)$ of elements of $\overline{K}$
with $[K(\theta): K]\gt [K(\alpha): K]$ where $\alpha$ is an element
of smallest degree over $K$ such that
$$
\overline{v}(\theta-\alpha)=\sup\{\overline{v}(\theta-\beta)
|\ \beta\in \overline{K}, \ [K(\beta): K]\lt [K(\theta): K]\}.
$$
Such pairs are referred to as distinguished pairs.
We use the concept of liftings of irreducible polynomials to give a
different characterization of distinguished pairs.

In this paper we characterize the isometries of subspaces of the little Zygmund space. We show that the isometries of these spaces are surjective and represented as integral operators. We also show that all hermitian operators on these settings are bounded.

It is well known that the factorization properties of a domain are reflected
in the structure of its group of divisibility. The main theme of this paper
is to introduce a topological/graph-theoretic point of view to the current
understanding of factorization in integral domains. We also show that
connectedness properties in the graph and topological space give rise to a
generalization of atomicity.

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.

Let $R$ be a ring, $g$ an endomorphism of $R$.
The additive mapping $d\colon R\rightarrow R$ is called Jordan semiderivation of $R$, associated with $g$, if
$$d(x^2)=d(x)x+g(x)d(x)=d(x)g(x)+xd(x)\quad \text{and}\quad d(g(x))=g(d(x))$$
for all $x\in R$.
The additive mapping $F\colon R\rightarrow R$ is called generalized Jordan semiderivation of $R$, related to the Jordan semiderivation $d$ and endomorphism $g$, if
$$F(x^2)=F(x)x+g(x)d(x)=F(x)g(x)+xd(x)\quad \text{and}\quad F(g(x))=g(F(x))$$
for all $x\in R$.
In the present paper we prove that
if $R$ is a prime ring of characteristic different from $2$, $g$ an endomorphism of $R$, $d$ a Jordan semiderivation associated with $g$, $F$ a generalized Jordan semiderivation associated with $d$ and $g$,
then $F$ is a generalized semiderivation of $R$ and $d$ is a semiderivation of $R.$ Moreover, if $R$ is commutative then $F=d$.

There exist injective Tauberian operators on $L_1(0,1)$ that have
dense, nonclosed range. This gives injective, nonsurjective
operators on $\ell_\infty$ that have dense range. Consequently, there
are two quasi-complementary, noncomplementary subspaces of
$\ell_\infty$ that are isometric to $\ell_\infty$.

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.

Suppose that $G$ is a
finite group and $H$ is a subgroup of $G$. $H$ is said to be
$s$-semipermutable in $G$ if $HG_{p}=G_{p}H$ for any Sylow
$p$-subgroup $G_{p}$ of $G$ with $(p,|H|)=1$; $H$ is said to be
$s$-quasinormally embedded in $G$ if for each prime $p$ dividing the
order of $H$, a Sylow $p$-subgroup of $H$ is also a Sylow
$p$-subgroup of some $s$-quasinormal subgroup of $G$. We fix in
every non-cyclic Sylow subgroup $P$ of $G$ some subgroup $D$
satisfying $1\lt |D|\lt |P|$ and study the structure of $G$ under the
assumption that every subgroup $H$ of $P$ with $|H|=|D|$ is either
$s$-semipermutable or $s$-quasinormally embedded in $G$.
Some recent results are generalized and unified.

There are several notions of Ricci curvature tensor
in Finsler geometry and spray geometry. One of them is defined by the
Hessian of the well-known Ricci curvature.
In this paper we will introduce a new notion of Ricci curvature
tensor and discuss its relationship with the Ricci curvature and some
non-Riemannian quantities. By this Ricci curvature tensor, we shall
have a better understanding on these non-Riemannian quantities.

This paper is concerned with the study of
the regularity for the multisublinear maximal operator. It is
proved that the multisublinear maximal operator is bounded on
first-order Sobolev spaces. Moreover, two key point-wise
inequalities for the partial derivatives of the multisublinear
maximal functions are established. As an application, the
quasi-continuity on the multisublinear maximal function is also
obtained.

Parts of the Brunn-Minkowski theory can be extended to hedgehogs, which are
envelopes of families of affine hyperplanes parametrized by their Gauss map.
F. Fillastre introduced Fuchsian convex bodies, which are the
closed convex sets of Lorentz-Minkowski space that are globally invariant
under the action of a Fuchsian group. In this paper, we undertake a study of
plane Lorentzian and Fuchsian hedgehogs. In particular, we prove the
Fuchsian analogues of classical geometrical inequalities (analogues which
are reversed as compared to classical ones).

We show that, for a coanalytic subspace $X$ of $2^\omega$, the
countable dense homogeneity of $X^\omega$ is equivalent to $X$
being Polish. This strengthens a result of Hrušák and Zamora
Avilés. Then, inspired by results of Hernández-Gutiérrez,
Hrušák and van Mill, using a technique of Medvedev, we
construct a non-Polish subspace $X$ of $2^\omega$ such that $X^\omega$
is countable dense homogeneous. This gives the first $\mathsf{ZFC}$ answer
to a question of Hrušák and Zamora Avilés. Furthermore,
since our example is consistently analytic, the equivalence result
mentioned above is sharp. Our results also answer a question
of Medini and Milovich. Finally, we show that if every countable
subset of a zero-dimensional separable metrizable space $X$ is
included in a Polish subspace of $X$ then $X^\omega$ is countable
dense homogeneous.

We show under some conditions that a Gorenstein ring $R$ satisfies the
Generalized Auslander-Reiten Conjecture if and only if so does
$R[x]$. When $R$ is a local ring we prove the same result for some
localizations of $R[x]$.

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$.

Necessary and sufficient conditions are given for the existence
of a graph decomposition of the Kneser Graph $KG_{n,2}$ and of
the Generalized Kneser Graph $GKG_{n,3,1}$ into paths of length
three.

Let $n$ be a positive even integer, and let $F$ be a totally real
number field and $L$ be an abelian Galois extension which is totally
real or CM.
Fix a finite set $S$ of primes of $F$ containing the infinite primes
and all those which ramify in
$L$, and let $S_L$ denote the primes of $L$ lying above those in
$S$. Then $\mathcal{O}_L^S$ denotes the ring of $S_L$-integers of $L$.
Suppose that $\psi$ is a quadratic character of the Galois group of
$L$ over $F$. Under the assumption of the motivic Lichtenbaum
conjecture, we obtain a non-trivial annihilator of the motivic
cohomology group
$H_\mathcal{M}^2(\mathcal{O}_L^S,\mathbb{Z}(n))$ from the lead term of the Taylor series for the
$S$-modified Artin $L$-function $L_{L/F}^S(s,\psi)$ at $s=1-n$.

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$.

There are at the most seven classes of finite indecomposable $RA$ loops upto isomorphism. In this paper, we completely characterize the structure of the unit loop of loop algebras of these seven classes of loops over finite fields of characteristic greater than $2$.

Let $G$ be a metrizable compact group, $A$ a separable $\mathrm{C}^*$-algebra
and $\alpha\colon G\to\operatorname{Aut}(A)$ a strongly continuous action.
Provided that $\alpha$ satisfies the continuous Rokhlin property,
we show that the property of satisfying the UCT in $E$-theory
passes from $A$ to the crossed product $\mathrm{C}^*$-algebra $A\rtimes_\alpha
G$ and the fixed point algebra $A^\alpha$. This extends a similar
result by Gardella for $KK$-theory in the case of unital
$\mathrm{C}^*$-algebras,
but with a shorter and less technical proof. For circle actions
on separable, unital $\mathrm{C}^*$-algebras with the continuous Rokhlin
property, we establish a connection between the $E$-theory equivalence
class of $A$ and that of its fixed point algebra $A^\alpha$.

Let $B_{p_1, p_2}=\{z\in\mathbb{C}^n:
|z_1|^{p_1}+|z_2|^{p_2}+\cdots+|z_n|^{p_2}\lt 1\}$
be an egg domain in $\mathbb{C}^n$. In this paper, we first
characterize the Kobayashi metric on $B_{p_1, p_2}\,(p_1\geq
1, p_2\geq 1)$,
and then establish a new type of the classical boundary Schwarz
lemma at $z_0\in\partial{B_{p_1, p_2}}$ for holomorphic self-mappings
of $B_{p_1, p_2}(p_1\geq 1, p_2\gt 1)$, where $z_0=(e^{i\theta},
0, \dots, 0)'$ and $\theta\in \mathbb{R}$.

Let $S=K[x_1,\ldots,x_n]$
be the polynomial
ring in $n$-variables over a field $K$ and $I$ a monomial ideal
of $S$. According to one standard primary decomposition of $I$,
we get a Stanley decomposition of the monomial factor algebra
$S/I$.
Using this Stanley decomposition, one can estimate the Stanley
depth of $S/I$. It is proved that
${\operatorname {sdepth}}_S(S/I)\geq{\operatorname {size}}_S(I)$. When $I$ is squarefree
and ${\operatorname {bigsize}}_S(I)\leq 2$, the Stanley conjecture holds
for
$S/I$, i.e., ${\operatorname {sdepth}}_S(S/I)\geq{\operatorname {depth}}_S(S/I)$.

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.

In this paper we present a fixed point property for amenable
hypergroups which is analogous to Rickert's fixed point theorem
for semigroups. It equates the existence of a left invariant
mean on the space of weakly right uniformly continuous functions
to the existence of a fixed point for any action of the hypergroup.
Using this fixed point property, a certain class of hypergroups
are shown to have a left Haar measure.

We give an explicit formula for the resultant of Chebyshev polynomials of the
first, second, third, and fourth kinds.
We also compute the resultant of modified cyclotomic polynomials.

Let $A:=-(\nabla-i\vec{a})\cdot(\nabla-i\vec{a})+V$ be a
magnetic Schrödinger operator on $\mathbb{R}^n$,
where $\vec{a}:=(a_1,\dots, a_n)\in L^2_{\mathrm{loc}}(\mathbb{R}^n,\mathbb{R}^n)$
and $0\le V\in L^1_{\mathrm{loc}}(\mathbb{R}^n)$ satisfy some reverse
Hölder conditions.
Let $\varphi\colon \mathbb{R}^n\times[0,\infty)\to[0,\infty)$ be such that
$\varphi(x,\cdot)$ for any given $x\in\mathbb{R}^n$ is an Orlicz function,
$\varphi(\cdot,t)\in {\mathbb A}_{\infty}(\mathbb{R}^n)$ for all $t\in (0,\infty)$
(the class of uniformly Muckenhoupt weights) and its uniformly critical upper type index
$I(\varphi)\in(0,1]$. In this article, the authors prove that
second-order Riesz transforms $VA^{-1}$ and
$(\nabla-i\vec{a})^2A^{-1}$ are bounded from the
Musielak-Orlicz-Hardy space $H_{\varphi,\,A}(\mathbb{R}^n)$, associated with $A$,
to the Musielak-Orlicz space $L^{\varphi}(\mathbb{R}^n)$. Moreover, the authors
establish the boundedness of $VA^{-1}$ on $H_{\varphi, A}(\mathbb{R}^n)$. As applications, some
maximal inequalities associated with $A$ in the scale of $H_{\varphi,
A}(\mathbb{R}^n)$ are obtained.

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.