51. CMB 2015 (vol 58 pp. 334)
 Medini, Andrea

Countable Dense Homogeneity in Powers of Zerodimensional Definable Spaces
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Ã¡ndezGutiÃ©rrez,
HruÅ¡Ã¡k and van Mill, using a technique of Medvedev, we
construct a nonPolish 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 zerodimensional separable metrizable space $X$ is
included in a Polish subspace of $X$ then $X^\omega$ is countable
dense homogeneous.
Keywords:countable dense homogeneous, infinite power, coanalytic, Polish, $\lambda'$set Categories:54H05, 54G20, 54E52 

52. CMB 2015 (vol 58 pp. 225)
 Aghigh, Kamal; Nikseresht, Azadeh

Characterizing Distinguished Pairs by Using Liftings of Irreducible Polynomials
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.
Keywords:valued fields, nonArchimedean valued fields, irreducible polynomials Categories:12J10, 12J25, 12E05 

53. CMB Online first
 Deng, Shaoqiang; Hu, Zhiguang; Li, Jifu

Cohomogeneity one Randers metrics
An action of a Lie group $G$ on a smooth manifold $M$ is called
cohomogeneity one if the orbit space $M/G$ is of dimension $1$.
A Finsler metric $F$ on $M$ is called invariant if $F$ is
invariant under the action of $G$. In this paper,
we study invariant
Randers metrics on cohomogeneity one manifolds. We first give a
sufficient and necessary condition for the existence of invariant
Randers metrics on cohomogeneity one manifolds. Then we obtain
some results on invariant Killing vector fields on the
cohomogeneity one manifolds and use that to deduce some
sufficient and necessary condition for a cohomogeneity one
Randers metric to be Einstein.
Keywords:cohomogeneity one actions, normal geodesics, invariant vector fields, Randers metrics Categories:53C30, 53C60 

54. CMB 2014 (vol 58 pp. 80)
 Harada, Megumi; Horiguchi, Tatsuya; Masuda, Mikiya

The Equivariant Cohomology Rings of Peterson Varieties in All Lie
Types
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 FukukawaHaradaMasuda,
which was only for Lie type $A$.
Keywords:equivariant cohomology, Peterson varieties, flag varieties, Monk formula, Giambelli formula Categories:55N91, 14N15 

55. CMB 2014 (vol 58 pp. 561)
 MartinezMaure, Yves

Plane Lorentzian and Fuchsian Hedgehogs
Parts of the BrunnMinkowski 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 LorentzMinkowski 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).
Keywords:Fuchsian and Lorentzian hedgehogs, evolute, duality, convolution, reversed isoperimetric inequality, reversed Bonnesen inequality Categories:52A40, 52A55, 53A04, 53B30 

56. CMB 2014 (vol 58 pp. 432)
 Yang, Dachun; Yang, Sibei

Secondorder Riesz Transforms and Maximal Inequalities Associated with Magnetic SchrÃ¶dinger Operators
Let $A:=(\nablai\vec{a})\cdot(\nablai\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
secondorder Riesz transforms $VA^{1}$ and
$(\nablai\vec{a})^2A^{1}$ are bounded from the
MusielakOrliczHardy space $H_{\varphi,\,A}(\mathbb{R}^n)$, associated with $A$,
to the MusielakOrlicz 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.
Keywords:MusielakOrliczHardy space, magnetic SchrÃ¶dinger operator, atom, secondorder Riesz transform, maximal inequality Categories:42B30, 42B35, 42B25, 35J10, 42B37, 46E30 

57. CMB 2014 (vol 58 pp. 51)
 De Nitties, Giuseppe; SchulzBaldes, Hermann

Spectral Flows of Dilations of Fredholm Operators
Given an essentially unitary contraction and an arbitrary unitary
dilation of it, there is a naturally associated spectral flow which is
shown to be equal to the index of the operator. This result is
interpreted in terms of the $K$theory of an associated mapping
cone. It is then extended to connect $\mathbb{Z}_2$ indices of odd symmetric
Fredholm operators to a $\mathbb{Z}_2$valued spectral flow.
Keywords:spectral flow, Fredholm operators, Z2 indices Categories:19K56, 46L80 

58. CMB 2014 (vol 58 pp. 182)
59. CMB 2014 (vol 58 pp. 196)
60. CMB 2014 (vol 58 pp. 276)
 Johnson, William; Nasseri, Amir Bahman; Schechtman, Gideon; Tkocz, Tomasz

Injective Tauberian Operators on $L_1$ and Operators with Dense Range on $\ell_\infty$
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 quasicomplementary, noncomplementary subspaces of
$\ell_\infty$ that are isometric to $\ell_\infty$.
Keywords:$L_1$, Tauberian operator, $\ell_\infty$ Categories:46E30, 46B08, 47A53 

61. CMB 2014 (vol 58 pp. 134)
62. CMB 2014 (vol 58 pp. 150)
 Ostrovskii, Mikhail I.

Connections Between Metric Characterizations of Superreflexivity and the RadonNikodÃ½ Property for Dual Banach Spaces
Johnson and Schechtman (2009)
characterized superreflexivity in terms of finite diamond graphs.
The present author characterized the RadonNikodÃ½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.
Keywords:Banach space, diamond graph, finite representability, metric characterization, RadonNikodÃ½m property, superreflexivity Categories:46B85, 46B07, 46B22 

63. CMB 2014 (vol 58 pp. 188)
64. CMB 2014 (vol 58 pp. 115)
 MantillaSoler, Guillermo

Weak Arithmetic Equivalence
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
nontotally real number fields, the integral trace form is invariant
under arithmetic equivalence.
Keywords:arithmeticaly equivalent number fields, root numbers Categories:11R04, 11R42 

65. CMB 2014 (vol 58 pp. 158)
66. CMB 2014 (vol 58 pp. 356)
 Sebag, Julien

Homological Planes in the Grothendieck Ring of Varieties
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$.
Keywords:motivic nearby cycles, motivic Milnor fiber, nearby motives Categories:14E05, 14R10 

67. CMB 2014 (vol 58 pp. 174)
 Raffoul, Youssef N.

Periodic Solutions of Almost Linear Volterra Integrodynamic Equation on Periodic Time Scales
Using Krasnoselskii's fixed point theorem, we deduce
the existence of periodic solutions of nonlinear system of integrodynamic
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.
Keywords:Volterra integrodynamic equation, time scales, Krasnoselsii's fixed point theorem, periodic solution Categories:45J05, 45D05 

68. CMB 2014 (vol 58 pp. 160)
 Pollack, Paul; Vandehey, Joseph

Some Normal Numbers Generated by Arithmetic Functions
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 sumofdivisors function, and let $\lambda$ be Carmichael's lambdafunction. 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$.
Keywords:normal number, Euler function, sumofdivisors function, Carmichael lambdafunction, Champernowne's number Categories:11K16, 11A63, 11N25, 11N37 

69. CMB 2014 (vol 57 pp. 697)
70. CMB 2014 (vol 58 pp. 69)
 Fulp, Ronald Owen

Correction to "Infinite Dimensional DeWitt Supergroups and Their Bodies"
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. 283288. 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 quasinilpotent for each $a$ since it immediately
follows that $K$
is quasinilpotent. The proof of (iii) is not complete
in the original article. The revision appears as the proof of
(iii) of the revised Theorem below.
Keywords:super groups, body of super groups, Banach Lie groups Categories:58B25, 17B65, 81R10, 57P99 

71. CMB Online first
72. CMB 2014 (vol 57 pp. 814)
 Hou, Ruchen

On Global Dimensions of Tree Type Finite Dimensional Algebras
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 $n1$.
Keywords:global dimension, tree type finite dimensional $k$algebra, quiver Categories:16D40, 16E10, , 16G20 

73. CMB Online first
 Pollack, Paul; Vandehey, Joseph

Some normal numbers generated by arithmetic functions
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 sumofdivisors function, and let $\lambda$ be Carmichael's lambdafunction. 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$.
Keywords:normal number, Euler function, sumofdivisors function, Carmichael lambdafunction, Champernowne's number Categories:11K16, 11A63, 11N25, 11N37 

74. CMB 2014 (vol 57 pp. 884)
 Xu, Yong; Zhang, Xinjian

$m$embedded Subgroups and $p$nilpotency of Finite Groups
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_{i1}\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$.
Keywords:finite group, $p$nilpotent group, $m$embedded subgroup Categories:20D10, 20D15 

75. CMB 2014 (vol 57 pp. 749)
 Cavalieri, Renzo; Marcus, Steffen

Geometric Perspective on Piecewise Polynomiality of Double Hurwitz Numbers
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$).
Keywords:double Hurwitz numbers, wall crossings, moduli spaces, ELSV formula Category:14N35 
