Let Moldn,d be the moduli of rank d subalgebras of Mn over Z. For x ∈ Moldn,d, let A(x) ⊆ Mn(k(x)) be the subalgebra of Mn corresponding to x, where k(x) is the residue field of x. In this article, we apply Hochschild cohomology to Moldn,d. The dimension of the tangent space TMoldn,d/Z,x of Moldn,d over Z at x can be calculated by the Hochschild cohomology H1(A(x), Mn(k(x))/A(x)). We show that H2(A(x), Mn(k(x))/A(x)) = 0 is a sufficient condition for the canonical morphism Moldn,d → Z being smooth at x. We also calculate Hi(A, Mn(k)/A) for several R-subalgebras A of Mn(R) over a commutative ring R. In particular, we summarize the results on Hi(A, Mn(k)/A) for all k-subalgebras A of Mn(k) over an algebraically closed field k in the case n = 2, 3.
MSC Codes 16E40 (Primary) 14D22, 16S50, 16S80 (Secondary)
|Publication status||Published - Jun 14 2020|
- And phrases. Hochschild cohomology
- Matrix ring
- Moduli of molds
ASJC Scopus subject areas