1. CJM Online first
 Geroldinger, Alfred; Zhong, Qinghai

Long sets of lengths with maximal elasticity
We introduce a new invariant describing the structure of sets of lengths in atomic monoids and domains. For an atomic monoid $H$, let $\Delta_{\rho} (H)$ be the set of all positive integers $d$ which occur as differences of arbitrarily long arithmetical progressions contained in sets of lengths having maximal elasticity $\rho (H)$. We study $\Delta_{\rho} (H)$ for transfer Krull monoids of finite type (including commutative Krull domains with finite class group) with methods from additive combinatorics, and also for a class of weakly Krull domains (including orders in algebraic number fields) for which we use ideal theoretic methods.
Keywords:transfer Krull monoid, weakly Krull monoid, set of length, elasticity Categories:13A05, 13F05, 16H10, 16U30, 20M13 

2. CJM Online first
 Elduque, Alberto

Order $3$ elements in $G_2$ and idempotents in symmetric composition algebras
Order three elements in the exceptional groups of type $G_2$
are classified up to conjugation over arbitrary fields. Their
centralizers are computed, and the associated classification
of idempotents in symmetric composition algebras is obtained.
Idempotents have played a key role in the study and classification
of these algebras.
Over an algebraically closed field, there are two conjugacy classes
of order three elements in $G_2$ in characteristic not $3$ and
four of them in characteristic $3$. The centralizers in characteristic
$3$ fail to be smooth for one of these classes.
Keywords:symmetric composition algebra, Okubo algebra, automorphism group, centralizer, idempotent Categories:17A75, 14L15, 17B25, 20G15 

3. CJM Online first
 Cohen, David Bruce

Lipschitz 1connectedness for some solvable Lie groups
A space X is said to be Lipschitz 1connected if every LLipschitz loop in X bounds a O(L)Lipschitz disk. A Lipschitz 1connected space admits a quadratic isoperimetric inequality, but it is unknown whether the converse is true. Cornulier and Tessera showed that certain solvable Lie groups have quadratic isoperimetric inequalities, and we extend their result to show that these groups are Lipschitz 1connected.
Keywords:Dehn function, solvable group, lipschitz $1$connectedness Categories:20F65, 22E25 

4. CJM Online first
 Galetto, Federico; Geramita, Anthony Vito; Wehlau, David Louis

Degrees of regular sequences with a symmetric group action
We consider ideals in a polynomial ring that are generated by regular sequences of homogeneous polynomials and are stable under the action of the symmetric group permuting the variables. In previous work, we determined the possible isomorphism types for these ideals. Following up on that work, we now analyze the possible degrees of the elements in such regular sequences. For each case of our classification, we provide some criteria guaranteeing the existence of regular sequences in certain degrees.
Keywords:Complete intersection, symmetric group, regular sequences Categories:13A02, 13A50, 20C30 

5. CJM Online first
 Du, Jie; Zhao, Zhonghua

Multiplication formulas and canonical bases for quantum affine gln
We will give a representationtheoretic proof for the multiplication
formula
in the RingelHall algebra
$\mathfrak{H}_\Delta(n)$ of a cyclic quiver $\Delta(n)$. As a first
application, we see immediately the existence of Hall polynomials
for cyclic quivers, a fact established
by J. Y. Guo and C. M. Ringel,
and derive a recursive formula
to compute them.
We will further use the formula and the construction of a certain
monomial base for $\mathfrak{H}_\Delta(n)$ given
by Deng, Du, and Xiao
together with the double RingelHall algebra realisation of
the quantum loop algebra $\mathbf{U}_v(\widehat{\mathfrak{g}\mathfrak{l}}_n)$
given by
Deng, Du, and Fu
to develop some algorithms and to compute the canonical basis
for $\mathbf{U}_v^+(\widehat{\mathfrak{g}\mathfrak{l}}_n)$. As examples,
we will show explicitly the part of the canonical basis
associated with modules of Lowey length at most $2$ for the quantum
group $\mathbf{U}_v(\widehat{\mathfrak{g}\mathfrak{l}}_2)$.
Keywords:RingelHall algebra, quantum group, cyclic quiver, monomial basis, canonical basis Categories:16G20, 20G42 

6. CJM 2017 (vol 69 pp. 992)
 Bremner, Murray; Dotsenko, Vladimir

Classification of Regular Parametrized Onerelation Operads
JeanLouis Loday introduced a class of symmetric operads generated
by one bilinear operation subject to one
relation making each leftnormed product of three elements equal
to a linear combination
of rightnormed products:
\[
(a_1a_2)a_3=\sum_{\sigma\in S_3}x_\sigma\, a_{\sigma(1)}(a_{\sigma(2)}a_{\sigma(3)})\
;
\]
such an operad is called a parametrized onerelation operad.
For a particular choice of parameters $\{x_\sigma\}$,
this operad is said to be regular if each of its components is
the regular representation of the symmetric group; equivalently, the corresponding free algebra on a vector space $V$ is, as a
graded vector space, isomorphic to the tensor
algebra of $V$. We classify, over an algebraically closed field
of characteristic zero, all regular parametrized onerelation
operads.
In fact, we prove that each such operad is isomorphic to one
of the following five operads: the leftnilpotent operad
defined by the relation $((a_1a_2)a_3)=0$, the associative operad,
the Leibniz operad, the dual Leibniz (Zinbiel) operad, and the
Poisson operad.
Our computational methods combine linear algebra over polynomial
rings, representation theory of the symmetric group, and
GrÃ¶bner bases for determinantal ideals and their radicals.
Keywords:parametrized onerelation algebra, algebraic operad, Koszul duality, representation theory of the symmetric group, determinantal ideal, GrÃ¶bner basis Categories:18D50, 13B25, 13P10, 13P15, 15A54, 1704, , , , , 17A30, 17A50, 20C30, 68W30 

7. CJM Online first
 Cohen, Jonathan

Transfer of Representations and Orbital Integrals for Inner Forms of $GL_n$
We characterize the Local Langlands Correspondence (LLC) for
inner forms of $\operatorname{GL}_n$ via the JacquetLanglands Correspondence
(JLC) and compatibility with the Langlands Classification. We
show that LLC satisfies a natural compatibility with parabolic
induction and characterize LLC for inner forms as a unique family
of bijections $\Pi(\operatorname{GL}_r(D)) \to \Phi(\operatorname{GL}_r(D))$ for each $r$,
(for a fixed $D$) satisfying certain properties. We construct
a surjective map of Bernstein centers $\mathfrak{Z}(\operatorname{GL}_n(F))\to
\mathfrak{Z}(\operatorname{GL}_r(D))$
and show this produces pairs of matching distributions in the
sense of Haines. Finally, we construct explicit Iwahoribiinvariant
matching functions for unit elements in the parahoric Hecke
algebras
of $\operatorname{GL}_r(D)$, and thereby produce many explicit pairs of matching
functions.
Keywords:Langlands correspondence, inner form Category:20G05 

8. CJM Online first
 Ghaani Farashahi, Arash

A Class of Abstract Linear Representations for Convolution Function Algebras over Homogeneous Spaces of Compact Groups
This paper introduces a class of abstract linear representations
on
Banach convolution function algebras over
homogeneous spaces of compact groups. Let $G$ be a compact group
and $H$ be a closed subgroup of $G$.
Let $\mu$ be the normalized $G$invariant measure over the compact
homogeneous space $G/H$ associated to the
Weil's formula and $1\le p\lt \infty$.
We then present a structured class of abstract linear representations
of the
Banach convolution function algebras $L^p(G/H,\mu)$.
Keywords:homogeneous space, linear representation, continuous unitary representation, convolution function algebra, compact group, convolution, involution Categories:43A85, 47A67, 20G05 

9. CJM 2016 (vol 69 pp. 186)
 Pan, ShuYen

$L$Functoriality for Local Theta Correspondence of Supercuspidal Representations with Unipotent Reduction
The preservation principle of local theta correspondences of reductive dual pairs over
a $p$adic field predicts the existence of a sequence of irreducible supercuspidal
representations of classical groups.
Adams/HarrisKudlaSweet
have a conjecture
about the Langlands parameters for the sequence of supercuspidal representations.
In this paper we prove modified versions of their conjectures for the case of
supercuspidal representations with unipotent reduction.
Keywords:local theta correspondence, supercuspidal representation, preservation principle, Langlands functoriality Categories:22E50, 11F27, 20C33 

10. CJM 2016 (vol 69 pp. 687)
 Ovchinnikov, Alexey; Wibmer, Michael

Tannakian Categories with Semigroup Actions
Ostrowski's theorem implies that $\log(x),\log(x+1),\dots$ are
algebraically independent over $\mathbb{C}(x)$. More generally, for
a linear differential or difference equation, it is an important
problem to find all algebraic dependencies among a nonzero solution
$y$ and particular transformations of $y$, such as derivatives
of $y$ with respect to parameters, shifts of the arguments, rescaling,
etc. In the present paper, we develop a theory of Tannakian categories
with semigroup actions, which will be used to attack such questions
in full generality, as each linear differential equation gives
rise to a Tannakian category.
Deligne studied actions of braid groups on categories and obtained
a finite collection of axioms that characterizes such actions
to apply it to various geometric constructions. In this paper,
we find a finite set of axioms that characterizes actions of
semigroups that are finite free products of semigroups of the
form $\mathbb{N}^n\times
\mathbb{Z}/{n_1}\mathbb{Z}\times\cdots\times\mathbb{Z}/{n_r}\mathbb{Z}$
on Tannakian categories. This is the class of semigroups that
appear in many applications.
Keywords:semigroup actions on categories, Tannakian categories, difference algebraic groups, differential and difference equations with parameters Categories:18D10, 12H10, 20G05, 33C05, 33C80, 34K06 

11. CJM 2016 (vol 69 pp. 107)
 Kamgarpour, Masoud

On the Notion of Conductor in the Local Geometric Langlands Correspondence
Under the local Langlands correspondence, the conductor of an
irreducible representation of $\operatorname{Gl}_n(F)$ is greater than the
Swan conductor of the corresponding Galois representation. In
this paper, we establish the geometric analogue of this statement
by showing that the conductor of a categorical representation
of the loop group is greater than the irregularity of the corresponding
meromorphic connection.
Keywords:local geometric Langlands, connections, cyclic vectors, opers, conductors, SegalSugawara operators, ChervovMolev operators, critical level, smooth representations, affine KacMoody algebra, categorical representations Categories:17B67, 17B69, 22E50, 20G25 

12. CJM 2016 (vol 68 pp. 1067)
 Runde, Volker; Viselter, Ami

On Positive Definiteness over Locally Compact Quantum Groups
The notion of positivedefinite functions over locally compact
quantum
groups was recently introduced and studied by Daws and Salmi.
Based
on this work, we generalize various wellknown results about
positivedefinite
functions over groups to the quantum framework. Among these are
theorems
on "square roots" of positivedefinite functions, comparison
of
various topologies, positivedefinite measures and characterizations
of amenability, and the separation property with respect to compact
quantum subgroups.
Keywords:bicrossed product, locally compact quantum group, noncommutative $L^p$space, positivedefinite function, positivedefinite measure, separation property Categories:20G42, 22D25, 43A35, 46L51, 46L52, 46L89 

13. CJM 2016 (vol 68 pp. 571)
 Gras, Georges

Les $\theta$rÃ©gulateurs locaux d'un nombre algÃ©brique : Conjectures $p$adiques
Let $K/\mathbb{Q}$ be Galois and let $\eta\in K^\times$ be such that
$\operatorname{Reg}_\infty (\eta) \ne 0$.
We define the local $\theta$regulators $\Delta_p^\theta(\eta)
\in \mathbb{F}_p$
for the $\mathbb{Q}_p\,$irreducible characters $\theta$ of
$G=\operatorname{Gal}(K/\mathbb{Q})$. A linear representation ${\mathcal L}^\theta\simeq \delta \,
V_\theta$ is associated with
$\Delta_p^\theta (\eta)$ whose nullity is equivalent to $\delta
\geq 1$.
Each $\Delta_p^\theta (\eta)$ yields $\operatorname{Reg}_p^\theta (\eta)$
modulo $p$ in the factorization
$\prod_{\theta}(\operatorname{Reg}_p^\theta (\eta))^{\varphi(1)}$ of
$\operatorname{Reg}_p^G (\eta) := \frac{ \operatorname{Reg}_p(\eta)}{p^{[K : \mathbb{Q}\,]}
}$ (normalized $p$adic regulator).
From $\operatorname{Prob}\big (\Delta_p^\theta(\eta) = 0 \ \& \ {\mathcal
L}^\theta \simeq \delta \, V_\theta\big )
\leq p^{ f \delta^2}$ ($f \geq 1$ is a residue degree) and the
BorelCantelli heuristic,
we conjecture that, for $p$ large enough, $\operatorname{Reg}_p^G (\eta)$
is a $p$adic unit or that
$p^{\varphi(1)} \parallel \operatorname{Reg}_p^G (\eta)$ (a single $\theta$
with $f=\delta=1$); this obstruction may be lifted assuming the
existence of a binomial probability law
confirmed through numerical studies
(groups $C_3$, $C_5$, $D_6$).
This conjecture would imply that, for all $p$ large enough,
Fermat quotients, normalized $p$adic
regulators are $p$adic units and that
number fields are $p$rational.
We recall some deep cohomological results that
may strengthen such conjectures.
Keywords:$p$adic regulators, LeopoldtJaulent conjecture, Frobenius group determinants, characters, Fermat quotient, Abelian $p$ramification, probabilistic number theory Categories:11F85, 11R04, 20C15, 11C20, 11R37, 11R27, 11Y40 

14. CJM 2016 (vol 68 pp. 395)
 Garibaldi, Skip; Nakano, Daniel K.

Bilinear and Quadratic Forms on Rational Modules of Split Reductive Groups
The representation theory of semisimple algebraic groups over
the complex numbers (equivalently, semisimple complex Lie algebras
or Lie groups, or real compact Lie groups) and the question of
whether a
given complex representation is symplectic or orthogonal has
been solved since at least the 1950s. Similar results for Weyl
modules of split reductive groups over fields of characteristic
different from 2 hold by
using similar proofs. This paper considers analogues of these
results for simple, induced and tilting modules of split reductive
groups over fields of prime characteristic as well as a complete
answer for Weyl modules over fields of characteristic 2.
Keywords:orthogonal representations, symmetric tensors, alternating forms, characteristic 2, split reductive groups Categories:20G05, 11E39, 11E88, 15A63, 20G15 

15. CJM 2016 (vol 68 pp. 280)
 da Silva, Genival; Kerr, Matt; Pearlstein, Gregory

Arithmetic of Degenerating Principal Variations of Hodge Structure: Examples Arising from Mirror Symmetry and Middle Convolution
We collect evidence in support of a conjecture of Griffiths,
Green
and Kerr
on the arithmetic of extension classes of
limiting
mixed Hodge structures arising from semistable degenerations
over
a number field. After briefly summarizing how a result of Iritani
implies this conjecture for a collection of hypergeometric
CalabiYau threefold examples studied by Doran and Morgan,
the authors investigate a sequence of (nonhypergeometric) examples
in dimensions $1\leq d\leq6$ arising from Katz's theory of the
middle
convolution.
A crucial role is played by the MumfordTate
group (which is $G_{2}$) of the family of 6folds, and the theory
of boundary components of MumfordTate domains.
Keywords:variation of Hodge structure, limiting mixed Hodge structure, CalabiYau variety, middle convolution, MumfordTate group Categories:14D07, 14M17, 17B45, 20G99, 32M10, 32G20 

16. CJM 2016 (vol 68 pp. 309)
 Daws, Matthew

Categorical Aspects of Quantum Groups: Multipliers and Intrinsic Groups
We show that the assignment of the (left) completely bounded
multiplier algebra
$M_{cb}^l(L^1(\mathbb G))$ to a locally compact quantum group
$\mathbb G$, and
the assignment of the intrinsic group, form functors between
appropriate
categories. Morphisms of locally compact quantum
groups can be described by Hopf $*$homomorphisms between universal
$C^*$algebras, by bicharacters, or by special sorts of coactions.
We show that the whole
theory of completely bounded multipliers can be lifted to the
universal
$C^*$algebra level, and that then the different pictures of
both multipliers
(reduced, universal, and as centralisers)
and morphisms interact in extremely natural ways. The intrinsic
group of a
quantum group can be realised as a class of multipliers, and
so our techniques
immediately apply. We also show how to think of the intrinsic
group using
the universal $C^*$algebra picture, and then, again, show how
the differing
views on the intrinsic group interact naturally with morphisms.
We show that
the intrinsic group is the ``maximal classical'' quantum subgroup
of a locally
compact quantum group, show that it is even closed in the strong
Vaes sense,
and that the intrinsic group functor is an adjoint to the inclusion
functor
from locally compact groups to quantum groups.
Keywords:locally compact quantum group, morphism, intrinsic group, multiplier, centraliser Categories:20G42, 22D25, 43A22, 43A35, 43A95, 46L52, 46L89, 47L25 

17. CJM 2015 (vol 68 pp. 44)
 Fernández Bretón, David J.

Strongly Summable Ultrafilters, Union Ultrafilters, and the Trivial Sums Property
We answer two questions of Hindman, SteprÄns and Strauss,
namely we prove that every
strongly summable
ultrafilter on an abelian group is sparse and has the trivial
sums property. Moreover we
show that in most
cases the sparseness of the given ultrafilter is a
consequence of its being isomorphic to a union ultrafilter. However,
this does not happen
in all cases:
we also construct (assuming Martin's Axiom for countable partial
orders, i.e.
$\operatorname{cov}(\mathcal{M})=\mathfrak c$), on the
Boolean group, a strongly summable ultrafilter that
is not additively isomorphic to any union ultrafilter.
Keywords:ultrafilter, StoneCech compactification, sparse ultrafilter, strongly summable ultrafilter, union ultrafilter, finite sum, additive isomorphism, trivial sums property, Boolean group, abelian group Categories:03E75, 54D35, 54D80, 05D10, 05A18, 20K99 

18. CJM 2015 (vol 68 pp. 150)
 Stavrova, Anastasia

Nonstable $K_1$functors of Multiloop Groups
Let $k$ be a field of characteristic 0. Let $G$ be a reductive
group over the ring of Laurent polynomials
$R=k[x_1^{\pm 1},...,x_n^{\pm 1}]$. Assume that $G$ contains
a maximal $R$torus, and
that every semisimple normal subgroup of $G$ contains a twodimensional
split torus $\mathbf{G}_m^2$.
We show that the natural map of nonstable $K_1$functors, also
called Whitehead groups,
$K_1^G(R)\to K_1^G\bigl( k((x_1))...((x_n)) \bigr)$ is injective,
and an isomorphism if $G$ is semisimple.
As an application, we provide a way to compute the difference
between the
full automorphism group of a Lie torus (in the sense of YoshiiNeher)
and the subgroup generated by
exponential automorphisms.
Keywords:loop reductive group, nonstable $K_1$functor, Whitehead group, Laurent polynomials, Lie torus Categories:20G35, 19B99, 17B67 

19. CJM 2014 (vol 67 pp. 1024)
 Ashraf, Samia; Azam, Haniya; Berceanu, Barbu

Representation Stability of Power Sets and Square Free Polynomials
The symmetric group $\mathcal{S}_n$ acts on the power
set $\mathcal{P}(n)$ and also on the set of
square free polynomials in $n$ variables. These
two related representations are analyzed from the stability point
of view. An application is given for the action of the symmetric
group on the cohomology of the pure braid group.
Keywords:symmetric group modules, square free polynomials, representation stability, Arnold algebra Categories:20C30, 13A50, 20F36, 55R80 

20. CJM 2014 (vol 67 pp. 369)
 Graham, Robert; Pichot, Mikael

A Free Product Formula for the Sofic Dimension
It is proved that if $G=G_1*_{G_3}G_2$ is free product of probability
measure preserving $s$regular ergodic discrete groupoids amalgamated
over an amenable subgroupoid $G_3$, then the sofic dimension $s(G)$
satisfies the equality
\[
s(G)=\mathfrak{h}(G_1^0)s(G_1)+\mathfrak{h}(G_2^0)s(G_2)\mathfrak{h}(G_3^0)s(G_3)
\]
where $\mathfrak{h}$ is the normalized Haar measure on $G$.
Keywords:sofic groups, dynamical systems, orbit equivalence, free entropy Category:20E06 

21. CJM 2014 (vol 66 pp. 1201)
 Adler, Jeffrey D.; Lansky, Joshua M.

Lifting Representations of Finite Reductive Groups I: Semisimple Conjugacy Classes
Suppose that $\tilde{G}$ is a connected reductive group
defined over a field $k$, and
$\Gamma$ is a finite group acting via $k$automorphisms
of $\tilde{G}$ satisfying a certain quasisemisimplicity condition.
Then the identity component of the group of $\Gamma$fixed points
in $\tilde{G}$ is reductive.
We axiomatize the main features of the relationship between this
fixedpoint group and the pair $(\tilde{G},\Gamma)$,
and consider any group $G$ satisfying the axioms.
If both $\tilde{G}$ and $G$ are $k$quasisplit, then we
can consider their duals $\tilde{G}^*$ and $G^*$.
We show the existence of and give an explicit formula for a natural
map from the set of semisimple stable conjugacy classes in $G^*(k)$
to the analogous set for $\tilde{G}^*(k)$.
If $k$ is finite, then our groups are automatically quasisplit,
and our result specializes to give a map
of semisimple conjugacy classes.
Since such classes parametrize packets of irreducible representations
of $G(k)$ and $\tilde{G}(k)$, one obtains a mapping of such packets.
Keywords:reductive group, lifting, conjugacy class, representation, Lusztig series Categories:20G15, 20G40, 20C33, 22E35 

22. CJM 2014 (vol 67 pp. 184)
 McReynolds, D. B.

Geometric Spectra and Commensurability
The work of Reid, ChinburgHamiltonLongReid,
PrasadRapinchuk, and the author with Reid have demonstrated that
geodesics or totally geodesic submanifolds can sometimes be used to
determine the commensurability class of an arithmetic manifold. The
main results of this article show that generalizations of these
results to other arithmetic manifolds will require a wide range of
data. Specifically, we prove that certain incommensurable arithmetic
manifolds arising from the semisimple Lie groups of the form
$(\operatorname{SL}(d,\mathbf{R}))^r \times
(\operatorname{SL}(d,\mathbf{C}))^s$ have the same commensurability
classes of totally geodesic submanifolds coming from a fixed
field. This construction is algebraic and shows the failure of
determining, in general, a central simple algebra from subalgebras
over a fixed field. This, in turn, can be viewed in terms of forms of
$\operatorname{SL}_d$ and the failure of determining the form via certain classes of
algebraic subgroups.
Keywords:arithmetic groups, Brauer groups, arithmetic equivalence, locally symmetric manifolds Category:20G25 

23. CJM 2013 (vol 67 pp. 450)
 Santoprete, Manuele; Scheurle, Jürgen; Walcher, Sebastian

Motion in a Symmetric Potential on the Hyperbolic Plane
We study the motion of a particle in the hyperbolic plane (embedded in Minkowski space), under the action of a potential that depends only on one variable. This problem is the analogous to the spherical pendulum in a unidirectional force field. However, for the discussion of the hyperbolic plane one has to distinguish three inequivalent cases, depending on the direction of the force field. Symmetry reduction, with respect to groups that are not necessarily compact or even reductive, is carried out by way of Poisson varieties and Hilbert maps. For each case the dynamics is discussed, with special attention to linear potentials.
Keywords:Hamiltonian systems with symmetry, symmetries, noncompact symmetry groups, singular reduction Categories:37J15, 70H33, 70F99, 37C80, 34C14, , 20G20 

24. CJM 2013 (vol 66 pp. 323)
 Hohlweg, Christophe; Labbé, JeanPhilippe; Ripoll, Vivien

Asymptotical behaviour of roots of infinite Coxeter groups
Let $W$ be an infinite Coxeter group. We initiate the study of the set
$E$ of limit points of ``normalized'' roots (representing the
directions of the roots) of W. We show that $E$ is contained in the
isotropic cone $Q$ of the bilinear form $B$ associated to a geometric
representation, and illustrate this property with numerous examples
and pictures in rank $3$ and $4$. We also define a natural geometric
action of $W$ on $E$, and then we exhibit a countable subset of $E$,
formed by limit points for the dihedral reflection subgroups of
$W$. We explain how this subset is built from the intersection
with $Q$ of the lines passing through two positive roots, and finally we
establish that it is dense in $E$.
Keywords:Coxeter group, root system, roots, limit point, accumulation set Categories:17B22, 20F55 

25. CJM 2013 (vol 65 pp. 843)
 Jonsson, Jakob

3torsion in the Homology of Complexes of Graphs of Bounded Degree
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{n4}{3} \le d \le \frac{n6}{2}$.
This paper establishes similar bounds for $\delta \ge
2$. Specifically, there is $3$torsion in degree $d$ whenever
$\frac{(3\delta1)n8}{6} \le d \le \frac{\delta (n1) 
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 nonboundary element in the chain complex of a certain
matching complex, we obtain that $z$ itself is a nonboundary.
In particular, the homology class of $z$ has order $3$.
Keywords:simplicial complex, simplicial homology, torsion group, vertex degree Categories:05E45, 55U10, 05C07, 20K10 
