Abstract:In this notes we describe the center and derivations of the Infinitesimal
Hecke algebra of $sl_2$ by means of elementary computations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine the central structure of the infinitesimal Hecke algebra \(H_z\) and its derivations. Specifically, the author focuses on the infinitesimal Hecke algebra \(H_z\) related to the Lie algebra \(\mathfrak{sl}_2\) and explores the properties of its center and derivations.
### Main problems of the paper:
1. **Central structure**:
- The author aims to prove that the center of \(H_z\) is a univariate polynomial algebra and find the specific elements that generate the center. According to Theorem 0.1, the center is generated by a central element with a filtration degree of 2.
- Specifically, the central element \(t_z = ey^2+hxy - fx^2-\frac{1}{2}hz-\omega_z\), where \(\omega_z\) is a polynomial depending on \(z\) and satisfies specific commutation relations.
2. **Derivation structure**:
- The author also studies the derivations of \(H_z\), especially the existence of outer derivations. According to Theorem 0.2, when \(z\neq0\), \(H_z\) has no outer derivations, and \(H^1(H, H)\) is a free module of rank 1, whose basis is generated by the central element.
- The author proves these conclusions by analyzing the behavior of maximal vectors and derivations.
### Formula summary:
- Central element formula:
\[
t_z = ey^2+hxy - fx^2-\frac{1}{2}hz-\omega_z
\]
where,
\[
\omega_z=-F^{-1}(z)+\frac{1}{2}z+\frac{1}{2}F^{-1}(G(z))
\]
- Derivation - related formula:
\[
[\alpha, x]y - [\alpha, y]x = 2F(\alpha)(t_z+\omega_z)+G(\alpha)z
\]
### Conclusion:
Through detailed calculations and analysis of the algebraic structure, the author successfully describes the central structure of the infinitesimal Hecke algebra \(H_z\) and proves that when \(z\neq0\), this algebra has no outer derivations. This result is of great significance for understanding the representation theory and structure of this type of algebras.