Smith forms of matrices in Companion Rings, with group theoretic and topological applications

TL;DR

This paper develops new methods for computing Smith forms of matrices in Companion Rings over certain rings, with applications to group theory and topology, including calculating abelianizations and manifold homologies.

Contribution

It introduces novel formulas and theorems for Smith forms of Companion Ring matrices, extending to cases over elementary divisor domains and principal ideal domains.

Findings

Formulas for the second last non-zero determinantal divisor

An $f(C_g) ightarrow g(C_f)$ swap theorem

Applications to group abelianizations and 3-manifold homology

Abstract

Let $R$ be a commutative ring and $g(t) \in R[t]$ a monic polynomial. The commutative ring of polynomials $f(C_g)$ in the companion matrix $C_g$ of $g(t)$, where $f(t)\in R[t]$, is called the Companion Ring of $g(t)$. Special instances include the rings of circulant matrices, skew-circulant matrices, pseudo-circulant matrices, or lower triangular Toeplitz matrices. When $R$ is an Elementary Divisor Domain, we develop new tools for computing the Smith forms of matrices in Companion Rings. In particular, we obtain a formula for the second last non-zero determinantal divisor, we provide an $f(C_g) \leftrightarrow g(C_f)$ swap theorem, and a composition theorem. When $R$ is a principal ideal domain we also obtain a formula for the number of non-unit invariant factors. By applying these to families of circulant matrices that arise as relation matrices of cyclically presented groups, in many cases we compute the groups' abelianizations. When the group is the fundamental group of a three dimensional manifold, this provides the homology of the manifold. In other cases we obtain lower bounds for the rank of the abelianisation and record consequences for finiteness or solvability of the group, or for the Heegaard genus of a corresponding manifold.