Spaces of Generators for the $2 \times 2$ Matrix Algebra

W. S. Gant,Ben Williams

2024-01-03

Abstract:This paper studies $B(r)$, the space of $r$-tuples of $2 \times 2$ complex matrices that generate $\operatorname{Mat}_{2 \times 2}(\mathbf C)$ as an algebra, considered up to change-of-basis. We show that $B(2)$ is homotopy equivalent to $S^1 \times^{\mathbf Z/2\mathbf Z} S^2$. For $r>2$, we determine the rational cohomology of $B(r)$ for degrees less than $4r-6$. As an application, we use the machinery of <a class="link-https" data-arxiv-id="2012.07900" href="https://arxiv.org/abs/2012.07900">arXiv:2012.07900</a> to prove that for all natural numbers $d$, there exists a ring $R$ of Krull dimension $d$ and a degree-$2$ Azumaya algebra $A$ over $R$ that cannot be generated by fewer than $2\lfloor d/4 \rfloor + 2$ elements.

Rings and Algebras

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on understanding the topological properties of the generator space of the 2×2 complex matrix algebra and its relationship with the generation problem of Azumaya algebras. Specifically:

1. **Study the spatial structure of B(r)**: The paper mainly studies \(B(r)\), that is, the tuple space consisting of \(r\) 2×2 complex matrices. These matrices generate \(Mat_{2\times 2}(\mathbb{C})\) as an algebra, and the equivalence classes under basis transformation are considered. In particular, the paper shows that \(B(2)\) is homotopy - equivalent to \(S^1\times_{\mathbb{Z}/2\mathbb{Z}}S^2\), and for \(r > 2\), the rational cohomology of \(B(r)\) in the range less than \(4r - 6\) is determined.

Formula representation:
\[
B(2)\simeq S^1\times_{\mathbb{Z}/2\mathbb{Z}}S^2
\]

2. **Application to the generation problem of Azumaya algebras**: Through the above research, the paper solves a problem left in [FRW22], and proves that for any natural number \(d\), there exists a ring \(R\) with Krull dimension \(d\) and an Azumaya algebra \(A\) of degree 2 over \(R\), which cannot be generated by fewer than \(2\left\lfloor\frac{d}{4}\right\rfloor + 2\) elements.

Formula representation:
\[
A\text{ cannot be generated by fewer than }2\left\lfloor\frac{d}{4}\right\rfloor + 2\text{ elements}
\]

In summary, this paper further promotes the understanding of the generation problem of Azumaya algebras by studying the topological properties of the generator space of the 2×2 complex matrix algebra. In particular, it provides new insights into the minimum number of generators of Azumaya algebras of degree 2 over rings with different Krull dimensions.