Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: MSC category 20 ( Group theory and generalizations )

  Expand all        Collapse all Results 1 - 25 of 89

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 1-connectedness for some solvable Lie groups
A space X is said to be Lipschitz 1-connected if every L-Lipschitz loop in X bounds a O(L)-Lipschitz disk. A Lipschitz 1-connected 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 1-connected.

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 representation-theoretic proof for the multiplication formula in the Ringel-Hall 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 Ringel--Hall 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:Ringel-Hall 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 One-relation Operads
Jean-Louis Loday introduced a class of symmetric operads generated by one bilinear operation subject to one relation making each left-normed product of three elements equal to a linear combination of right-normed 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 one-relation 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 one-relation operads. In fact, we prove that each such operad is isomorphic to one of the following five operads: the left-nilpotent 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 one-relation algebra, algebraic operad, Koszul duality, representation theory of the symmetric group, determinantal ideal, Gröbner basis
Categories:18D50, 13B25, 13P10, 13P15, 15A54, 17-04, , , , , 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 Jacquet-Langlands 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 Iwahori-biinvariant 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

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, Shu-Yen
$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/Harris-Kudla-Sweet 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 non-zero 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, Segal-Sugawara operators, Chervov-Molev operators, critical level, smooth representations, affine Kac-Moody 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 positive-definite functions over locally compact quantum groups was recently introduced and studied by Daws and Salmi. Based on this work, we generalize various well-known results about positive-definite functions over groups to the quantum framework. Among these are theorems on "square roots" of positive-definite functions, comparison of various topologies, positive-definite measures and characterizations of amenability, and the separation property with respect to compact quantum subgroups.

Keywords:bicrossed product, locally compact quantum group, non-commutative $L^p$-space, positive-definite function, positive-definite 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 Borel-Cantelli 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, Leopoldt-Jaulent 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 Calabi-Yau threefold examples studied by Doran and Morgan, the authors investigate a sequence of (non-hypergeometric) examples in dimensions $1\leq d\leq6$ arising from Katz's theory of the middle convolution. A crucial role is played by the Mumford-Tate group (which is $G_{2}$) of the family of 6-folds, and the theory of boundary components of Mumford-Tate domains.

Keywords:variation of Hodge structure, limiting mixed Hodge structure, Calabi-Yau variety, middle convolution, Mumford-Tate 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, Stone-Cech 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
Non-stable $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 two-dimensional split torus $\mathbf{G}_m^2$. We show that the natural map of non-stable $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 Yoshii-Neher) and the subgroup generated by exponential automorphisms.

Keywords:loop reductive group, non-stable $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

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 quasi-semisimplicity 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 fixed-point 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, Chinburg-Hamilton-Long-Reid, Prasad-Rapinchuk, 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

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, non-compact symmetry groups, singular reduction
Categories:37J15, 70H33, 70F99, 37C80, 34C14, , 20G20

24. CJM 2013 (vol 66 pp. 323)

Hohlweg, Christophe; Labbé, Jean-Philippe; 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
3-torsion 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{n-4}{3} \le d \le \frac{n-6}{2}$. This paper establishes similar bounds for $\delta \ge 2$. Specifically, there is $3$-torsion in degree $d$ whenever $\frac{(3\delta-1)n-8}{6} \le d \le \frac{\delta (n-1) - 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 non-boundary element in the chain complex of a certain matching complex, we obtain that $z$ itself is a non-boundary. In particular, the homology class of $z$ has order $3$.

Keywords:simplicial complex, simplicial homology, torsion group, vertex degree
Categories:05E45, 55U10, 05C07, 20K10
   1 2 3 4    

© Canadian Mathematical Society, 2017 :