Abstract:We study $2\times 2$ matrices over noncommutative rings with anti-involution, with a special focus on the symplectic group $\mathrm{Sp}_2(\mathcal{A},\sigma)$. We define traces and determinants of such matrices and use them to prove a Cayley Hamilton identity and trace relations which generalize well known relations for elements of $\mathrm{SL}_2(R)$ over a commutative ring. We compare the structure of elements of $\mathrm{Sp}_2(\mathcal{A},\sigma)$ with Manin matrices over general noncommutative rings; this naturally leads to a quantization $\mathrm{Sp}_2(\mathcal{A},\sigma)_q$. In contrast to the usual definition of the quantum group as a deformation of the ring of matrix functions on $\mathrm{SL}_2(R)$, this quantization produces a group of matrices over a new noncommutative ring with involution. We finish the comparison by constructing a generalization of a Hopf algebra structure on the noncommutative ring of matrix functions of our quantum group. Finally, we use the noncommutative surface-type cluster algebras of Berenstein and Retakh to give a geometric interpretation of our Hopf algebra structure and to produce noncommutative generalizations of Markov numbers over many rings with involution including the complex numbers, dual numbers, matrix rings, and group rings.

Matrices over polynomial rings approached by commutative algebra

Similarity of Matrices over Dedekind Rings

Similarity and commutators of matrices over principal ideal rings

Matrix Approaches to Rough Sets Through Vector Matroids over Fields.

Commuting matrices, and modules over Artinian local rings

Archimedean Representation Theorem for modules over a commutative ring

Some Algebraic Aspects of combined matrices

Matrix evaluations of noncommutative rational functions and Waring problems

Intersection theory of matroids: variations on a theme

Commutative algebra: Constructive methods. Finite projective modules

A General Approach to Sylvester-Polynomial-Conjugate Matrix Equations

On approximate commutativity of spaces of matrices

On the uniqueness and computation of commuting extensions

Veronese sections and interlacing matrices of polynomials and formal power series

$\mathrm{SL}_2$-like Properties of Matrices Over Noncommutative Rings and Generalizations of Markov Numbers

Commuting matrices via commuting endomorphisms

Non-commutative factorizations and finite-dimensional representations of free algebras

On properties of composites and monoid domains

Algèbre commutative Méthodes constructives

A note on the image of polynomials on upper triangular matrix algebras

Lectures on Linear Algebra over Division Ring