1. CMB Online first
 Koskivirta, JeanStefan

Normalization of closed EkedahlOort strata
We apply our theory of partial flag spaces developed
with W. Goldring
to study a grouptheoretical generalization of the canonical
filtration of a truncated BarsottiTate group of level 1. As
an application, we determine explicitly the normalization of
the Zariski closures of EkedahlOort strata of Shimura varieties
of Hodgetype as certain closed coarse strata in the associated
partial flag spaces.
Keywords:EkedahlOort stratification, Shimura variety Categories:14K10, 20G40, 11G18 

2. CMB Online first
 Yukita, Tomoshige

Growth rates of 3dimensional hyperbolic Coxeter groups are Perron numbers
In this paper we consider the growth rates of 3dimensional hyperbolic
Coxeter polyhedra with at least one dihedral angle of the form
$\frac{\pi}{k}$ for an integer $k\geq{7}$.
Combining a classical result by Parry with
a previous result of ours,
we prove that the growth rates of
3dimensional hyperbolic Coxeter groups are Perron numbers.
Keywords:Coxeter group, growth function, growth rate, Perron number Categories:20F55, 20F65 

3. CMB Online first
4. CMB Online first
 Roche, Alan; Vinroot, C. Ryan

A factorization result for classical and similitude groups
For most classical and similitude groups, we show that each element
can be written as a product of two transformations that
a) preserve or almost preserve the underlying form and b) whose
squares are certain scalar maps. This generalizes work of Wonenburger
and Vinroot.
As an application, we reprove and slightly extend a well known
result of MÅglin, VignÃ©ras and Waldspurger on the existence
of automorphisms of $p$adic classical groups that take each
irreducible smooth representation to its dual.
Keywords:classical group, similitude group, involution, $p$adic group, dual of representation Categories:20G15, 22E50 

5. CMB 2017 (vol 60 pp. 402)
 Shravan Kumar, N.

Invariant Means on a Class of von Neumann Algebras Related to Ultraspherical Hypergroups II
Let $K$ be an ultraspherical hypergroup associated to a locally
compact group $G$ and a spherical projector $\pi$ and let $VN(K)$
denote the dual of the Fourier algebra $A(K)$ corresponding to
$K.$ In this note, we show that the set of invariant means on
$VN(K)$ is singleton if and only if $K$ is discrete. Here $K$
need not be second countable. We also study invariant means on
the dual of the Fourier algebra $A_0(K),$ the closure of $A(K)$
in the $cb$multiplier norm. Finally, we consider generalized
translations and generalized invariant means.
Keywords:ultraspherical hypergroup, Fourier algebra, FourierStieltjes algebra, invariant mean, generalized translation, generalized invariant mean Categories:43A62, 46J10, 43A30, 20N20 

6. CMB Online first
 Józiak, Paweł

Remarks on Hopf images and quantum permutation groups $S_n^+$
Motivated by a question of A. Skalski and P.M. SoÅtan (2016)
about inner faithfulness of the S. Curran's map of extending
a quantum increasing sequence to a quantum permutation, we revisit
the results and techniques of T. Banica and J. Bichon (2009)
and study some grouptheoretic properties of the quantum permutation
group on $4$ points. This enables us not only to answer the aforementioned
question in positive in case $n=4, k=2$, but also to classify
the automorphisms of $S_4^+$, describe all the embeddings $O_{1}(2)\subset
S_4^+$ and show that all the copies of $O_{1}(2)$ inside $S_4^+$
are conjugate. We then use these results to show that the converse
to the criterion we applied to answer the aforementioned question
is not valid.
Keywords:Hopf image, quantum permutation group, compact quantum group Categories:20G42, 81R50, 46L89, 16W35 

7. CMB 2017 (vol 60 pp. 774)
 Jensen, Gerd; Pommerenke, Christian

On the Structure of the Schild Group in Relativity Theory
Alfred Schild has established conditions
that Lorentz transformations map worldvectors $(ct,x,y,z)$ with
integer coordinates onto vectors of the same kind. These transformations
are called integral Lorentz transformations.
The present paper contains supplements to
our earlier work
with a new focus on group theory. To relate the results to the
familiar matrix group nomenclature we associate Lorentz transformations
with matrices in $\mathrm{SL}(2,\mathbb{C})$. We consider the
lattice of subgroups of the group originated in Schild's paper
and obtain generating sets for the full group and its subgroups.
Keywords:Lorentz transformation, integer lattice, Gaussian integers, Schild group, subgroup Categories:22E43, 20H99, 83A05 

8. CMB 2017 (vol 60 pp. 604)
 Louder, Larsen; Wilton, Henry

Stackings and the $W$cycles Conjecture
We prove Wise's $W$cycles conjecture: Consider a compact graph
$\Gamma'$ immersing into another graph $\Gamma$. For any immersed
cycle $\Lambda:S^1\to \Gamma$, we consider the map $\Lambda'$
from
the circular components $\mathbb{S}$ of the pullback to $\Gamma'$.
Unless
$\Lambda'$ is reducible, the degree of the covering map $\mathbb{S}\to
S^1$ is bounded above by minus the Euler characteristic of
$\Gamma'$. As a corollary, any finitely generated subgroup
of a
onerelator group has finitely generated Schur multiplier.
Keywords:free groups, onerelator groups, rightorderability Category:20F65 

9. CMB 2017 (vol 60 pp. 830)
 Motegi, Kimihiko; Teragaito, Masakazu

Generalized Torsion Elements and Biorderability of 3manifold Groups
It is known that a biorderable group has no generalized torsion
element,
but the converse does not hold in general.
We conjecture that the converse holds for the fundamental groups
of $3$manifolds,
and verify the conjecture for nonhyperbolic, geometric $3$manifolds.
We also confirm the conjecture for some infinite families of
closed hyperbolic $3$manifolds.
In the course of the proof,
we prove that each standard generator of the Fibonacci group
$F(2, m)$ ($m \gt 2$) is a generalized torsion element.
Keywords:generalized torsion element, biordering, 3manifold group Categories:57M25, 57M05, 06F15, 20F05 

10. CMB 2016 (vol 60 pp. 54)
 Button, Jack

Tubular Free by Cyclic Groups Act Freely on CAT(0) Cube Complexes
We identify when a tubular group (the fundamental group of a
finite
graph of groups with $\mathbb{Z}^2$ vertex and $\mathbb{Z}$ edge groups) is free
by
cyclic and show, using Wise's equitable sets criterion, that
every
tubular free by
cyclic group acts freely on a CAT(0) cube complex.
Keywords:CAT(0), tubular group Categories:20F65, 20F67, 20E08 

11. CMB 2016 (vol 60 pp. 762)
 Jantzen, Jens Carsten

Maximal Weight Composition Factors for Weyl Modules
Fix an irreducible (finite) root system $R$ and a choice
of positive roots. For any algebraically closed field $k$ consider the almost simple, simply connected algebraic group $G_k$ over $k$ with root system $k$. One associates to any dominant weight $\lambda$ for $R$ two $G_k$modules with highest weight $\lambda$, the
Weyl module $V (\lambda)_k$ and its simple quotient $L (\lambda)_k$.
Let $\lambda$ and $\mu$ be dominant weights with $\mu \lt \lambda$ such
that
$\mu$ is maximal with this property. Garibaldi, Guralnick, and
Nakano
have asked under which condition there exists $k$ such that $L
(\mu)_k$
is a composition factor of $V (\lambda)_k$, and they exhibit an
example
in type $E_8$ where this is not the case. The purpose of this
paper
is to to show that their example is the only one. It contains
two proofs
for this fact, one that uses a classification of the possible
pairs $(\lambda, \mu)$,
and another one that relies only on the classification
of root systems.
Keywords:algebraic groups, represention theory Categories:20G05, 20C20 

12. CMB 2016 (vol 60 pp. 12)
 Akbari, Saieed; Miraftab, Babak; Nikandish, Reza

Comaximal Graphs of Subgroups of Groups
Let $H$ be a group. The comaximal graph of subgroups
of $H$, denoted by $\Gamma(H)$, is a
graph whose vertices are nontrivial and proper subgroups of
$H$ and two distinct vertices $L$
and $K$ are adjacent in $\Gamma(H)$ if and only if $H=LK$. In
this paper, we study the connectivity, diameter, clique number
and vertex
chromatic number of $\Gamma(H)$. For instance, we show that
if $\Gamma(H)$ has no isolated vertex, then $\Gamma(H)$
is connected with diameter at most $3$. Also, we characterize
all finite groups whose comaximal graphs are connected.
Among other results, we show that if $H$ is a finitely generated
solvable group and $\Gamma(H)$ is connected and moreover the
degree of a maximal subgroup is finite, then $H$ is finite.
Furthermore, we show that the degree of each vertex in the
comaximal graph of a general linear group over an algebraically
closed field is zero or infinite.
Keywords:comaximal graphs of subgroups of groups, diameter, nilpotent group, solvable group Categories:05C25, 05E15, 20D10, 20D15 

13. CMB 2016 (vol 60 pp. 154)
 Liu, Ye

On Chromatic Functors and Stable Partitions of Graphs
The chromatic functor of a simple graph is a functorization of
the chromatic polynomial. M. Yoshinaga showed
that two finite graphs have isomorphic chromatic functors if
and only if they have the same chromatic polynomial. The key
ingredient in the proof is the use of stable partitions of graphs.
The latter is shown to be closely related to chromatic functors.
In this note, we further investigate some interesting properties
of chromatic functors associated to simple graphs using stable
partitions. Our first result is the determination of the group
of natural automorphisms of the chromatic functor, which is in
general a larger group than the automorphism group of the graph.
The second result is that the composition of the chromatic functor
associated to a finite graph restricted to the category $\mathrm{FI}$
of finite sets and injections with the free functor into the
category of complex vector spaces yields a consistent sequence
of representations of symmetric groups which is representation
stable in the sense of ChurchFarb.
Keywords:chromatic functor, stable partition, representation stability Categories:05C15, 20C30 

14. CMB 2016 (vol 60 pp. 77)
 Christ, Michael; Rieffel, Marc A.

Nilpotent Group C*algebras as Compact Quantum Metric Spaces
Let $\mathbb{L}$ be a length function on a group $G$, and let $M_\mathbb{L}$
denote the
operator of pointwise multiplication by $\mathbb{L}$ on $\lt(G)$.
Following Connes,
$M_\mathbb{L}$ can be used as a ``Dirac'' operator for the reduced
group C*algebra $C_r^*(G)$. It defines a
Lipschitz seminorm on $C_r^*(G)$, which defines a metric on the
state space of
$C_r^*(G)$. We show that
for any length function satisfying a strong form of polynomial
growth on a discrete group,
the topology from this metric
coincides with the
weak$*$ topology (a key property for the
definition of a ``compact quantum metric
space''). In particular, this holds for all wordlength functions
on finitely generated nilpotentbyfinite groups.
Keywords:group C*algebra, Dirac operator, quantum metric space, discrete nilpotent group, polynomial growth Categories:46L87, 20F65, 22D15, 53C23, 58B34 

15. CMB 2016 (vol 59 pp. 682)
 Carlson, Jon F.; Chebolu, Sunil K.; Mináč, Ján

Ghosts and Strong Ghosts in the Stable Category
Suppose that $G$ is a finite group and $k$ is a field of characteristic
$p\gt 0$. A ghost map is a map in the stable category of
finitely generated $kG$modules which induces the zero map
in Tate cohomology in all degrees. In an earlier paper we showed
that the
thick subcategory generated by the trivial module
has no nonzero ghost maps if and only if
the Sylow $p$subgroup of $G$ is cyclic of order 2 or 3.
In this paper we introduce and study variations of ghost
maps.
In particular, we consider the behavior of ghost maps under
restriction
and induction functors. We find all groups satisfying a strong
form
of Freyd's generating hypothesis and show that ghosts can
be detected on a finite range of degrees of Tate cohomology.
We also
consider maps which mimic ghosts in high degrees.
Keywords:Tate cohomology, ghost maps, stable module category, almost split sequence, periodic cohomology Categories:20C20, 20J06, 55P42 

16. CMB 2016 (vol 60 pp. 111)
 Ghaani Farashahi, Arash

Abstract Plancherel (Trace) Formulas over Homogeneous Spaces of Compact Groups
This paper introduces a unified operator theory approach to the
abstract Plancherel (trace) formulas over
homogeneous spaces of compact groups. Let $G$ be a compact group
and $H$ be a closed subgroup of $G$.
Let $G/H$ be the left coset space of $H$ in $G$ and $\mu$ be
the normalized $G$invariant measure on $G/H$ associated to the
Weil's formula.
Then, we present a generalized abstract notion of Plancherel
(trace) formula for the Hilbert space $L^2(G/H,\mu)$.
Keywords:compact group, homogeneous space, dual space, Plancherel (trace) formula Categories:20G05, 43A85, 43A32, 43A40 

17. CMB 2016 (vol 59 pp. 617)
 Nakashima, Norihiro; Terao, Hiroaki; Tsujie, Shuhei

Canonical Systems of Basic Invariants for Unitary Reflection Groups
It has been known that there exists a canonical system for every
finite real reflection group. The first and the third authors
obtained
an explicit formula for a canonical system in the previous paper.
In this article, we first define canonical systems for the finite
unitary reflection groups, and then prove their existence.
Our proof does not depend on the classification of unitary reflection
groups.
Furthermore, we give an explicit formula for a canonical system
for every unitary reflection group.
Keywords:basic invariant, invariant theory, finite unitary reflection group Categories:13A50, 20F55 

18. CMB 2016 (vol 59 pp. 824)
 Karpenko, Nikita A.

Incompressibility of Products of Pseudohomogeneous Varieties
We show that the conjectural criterion of $p$incompressibility
for products of projective homogeneous varieties in terms of
the factors, previously known in a few special cases only, holds
in general.
Actually, the proof goes through for a wider class of varieties
which includes the norm varieties associated to symbols in Galois
cohomology of arbitrary degree.
Keywords:algebraic groups, projective homogeneous varieties, Chow groups and motives, canonical dimension and incompressibility Categories:20G15, 14C25 

19. CMB 2016 (vol 59 pp. 234)
 Beardon, Alan F.

Nondiscrete Frieze Groups
The classification of Euclidean frieze groups into seven conjugacy
classes is well known, and many articles on recreational mathematics
contain frieze patterns that illustrate these classes. However,
it is
only possible to draw these patterns because the subgroup of
translations that leave the pattern invariant is (by definition)
cyclic, and hence discrete. In this paper we classify the conjugacy
classes of frieze groups that contain a nondiscrete subgroup of
translations, and clearly these groups cannot be represented
pictorially in any practical way. In addition, this discussion
sheds
light on why there are only seven conjugacy classes in the classical
case.
Keywords:frieze groups, isometry groups Categories:51M04, 51N30, 20E45 

20. CMB 2016 (vol 59 pp. 244)
 Cao, Wensheng; Huang, Xiaolin

A Note on Quaternionic Hyperbolic Ideal Triangle Groups
In this paper, the quaternionic hyperbolic
ideal triangle groups are parameterized by a real oneparameter
family $\{\phi_s: s\in \mathbb{R}\}$. The indexing parameter $s$ is
the tangent of the quaternionic angular invariant of a triple
of points in $\partial \mathbf{H}_{\mathbb{h}}^2 $ forming this ideal
triangle. We show that if $s \gt \sqrt{125/3}$ then $\phi_s$ is
not a discrete embedding, and if $s \leq \sqrt{35}$
then $\phi_s$ is a discrete embedding.
Keywords:quaternionic inversion, ideal triangle group, quaternionic Cartan angular invariant Categories:20F67, 22E40, 30F40 

21. CMB 2016 (vol 59 pp. 392)
22. CMB 2015 (vol 59 pp. 170)
 MartínezPedroza, Eduardo

A Note on Fine Graphs and Homological Isoperimetric Inequalities
In the framework of homological characterizations of relative
hyperbolicity, Groves and Manning posed the question of whether
a simply connected $2$complex $X$ with a linear homological
isoperimetric inequality, a bound on the length of attaching
maps of $2$cells and finitely many $2$cells adjacent to any
edge must have a fine $1$skeleton. We provide a positive answer
to this question. We revisit a homological characterization
of relative hyperbolicity, and show that a group $G$ is hyperbolic
relative to a collection of subgroups $\mathcal P$ if and only if
$G$ acts cocompactly with finite edge stabilizers on an connected
$2$dimensional cell complex with a linear homological isoperimetric
inequality and $\mathcal P$ is a collection of representatives of
conjugacy classes of vertex stabilizers.
Keywords:isoperimetric functions, Dehn functions, hyperbolic groups Categories:20F67, 05C10, 20J05, 57M60 

23. CMB 2015 (vol 59 pp. 123)
 Jensen, Gerd; Pommerenke, Christian

Discrete Spacetime and Lorentz Transformations
Alfred Schild has established conditions
that Lorentz transformations map worldvectors $(ct,x,y,z)$ with
integer coordinates onto vectors of the same kind. The problem
was dealt with in the context of tensor and spinor calculus.
Due to Schild's numbertheoretic arguments, the subject is also
interesting when isolated from its physical background.
The paper of Schild is not easy to understand. Therefore we first
present a streamlined version of his proof which is based on
the use of null vectors. Then we present a purely algebraic proof
that is somewhat shorter. Both proofs rely on the properties
of Gaussian integers.
Keywords:Lorentz transformation, integer lattice, Gaussian integers Categories:22E43, 20H99, 83A05 

24. CMB 2015 (vol 58 pp. 799)
 Kong, Qingjun; Guo, Xiuyun

On $s$semipermutable or $s$quasinormally Embedded Subgroups of Finite Groups
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 noncyclic 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.
Keywords:$s$semipermutable subgroup, $s$quasinormally embedded subgroup, saturated formation. Categories:20D10, 20D20 

25. CMB 2015 (vol 59 pp. 36)
 Donovan, Diane M.; Griggs, Terry S.; McCourt, Thomas A.; Opršal, Jakub; Stanovský, David

Distributive and Antidistributive Mendelsohn Triple Systems
We prove that the existence spectrum of Mendelsohn triple systems
whose associated quasigroups satisfy distributivity corresponds
to the Loeschian numbers, and provide some enumeration results.
We do this by considering a description of the quasigroups in
terms of commutative Moufang loops.
In addition we provide constructions of Mendelsohn quasigroups
that fail distributivity for as many combinations of elements
as possible.
These systems are analogues of Hall triple systems and antimitre
Steiner triple systems respectively.
Keywords:Mendelsohn triple system, quasigroup, distributive, Moufang loop, Loeschian numbers Categories:20N05, 05B07 
