Abstract:We study and classify algebraic families of Harish-Chandra pairs over the complex affine line and over the complex projective line with generic fiber that is isomorphic to the Harish-Chandra pair of $SL_2(\mathbb{R})$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to classify and study all algebraic families of Harish - Chandra pairs on the complex affine line \(A^1_C\) and the complex projective line \(P^1_C\), and the restrictions of these families on \(C^\times\) are equivalent to the constant family \((\mathfrak{sl}_2(C), SO(2,C))/C^\times\) associated with \(SL_2(\mathbb{R})\). Such families of Harish - Chandra pairs are called extensions of the constant family \((\mathfrak{sl}_2(C), SO(2,C))/C^\times\).
### Specific Problem Description
1. **Definition and Background**:
- The Harish - Chandra pair is an important concept in Lie group and its representation theory, usually consisting of a Lie algebra and a compact subgroup of a Lie group.
- The paper mainly focuses on how to construct and classify these algebraic families of Harish - Chandra pairs and the properties of these families under certain conditions.
2. **Specific Goals**:
- **Classification**: Classify all algebraic families of Harish - Chandra pairs on \(A^1_C\) and \(P^1_C\), and the restrictions of these families on \(C^\times\) are equivalent to the constant family \((\mathfrak{sl}_2(C), SO(2,C))/C^\times\) associated with \(SL_2(\mathbb{R})\).
- **Study Properties**: Study the structure and properties of these families, especially their isomorphism classes, embedding relations and central elements.
### Main Results
1. **Classification Results**:
- The author proves that all extensions on \(A^1_C\) can be parameterized by natural numbers \(n\in\mathbb{N}_0\), and each \(n\) corresponds to a specific extension \((g(n), SO(2,C))\).
- For each \(n\), there exists a set of bases \(\{X_n, Y_n, H_n\}\) that satisfy the following commutation relations:
\[
[H_n, X_n]=2X_n, \quad [H_n, Y_n]= - 2Y_n, \quad [X_n, Y_n]=x^nH_n.
\]
2. **Universality Theorem**:
- The author proves that \((g(1), SO(2,C))\) is universal, that is, any extension can be regarded as the pullback of \((g(1), SO(2,C))\).
3. **Embedding and Realization**:
- The author shows that each extension can have a canonical realization in the constant family, especially in the case of even \(n\), this realization is more natural.
4. **Central Elements**:
- The author describes in detail the central elements of the universal enveloping algebra \(U(g(n))\) of each \(g(n)\), which has important applications in representation theory.
### Summary
The main contribution of this paper is to systematically classify and study the extended families of Harish - Chandra pairs of \(SL_2(\mathbb{R})\), reveal the structure and properties of these families, and provide specific construction methods and universality results. This provides a solid theoretical basis for subsequent research.