Extensions of the constant family of Harish-Chandra pairs of $SL_2(\mathbb{R})$

Eyal Subag
2024-11-01
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})$.
Representation Theory,Algebraic Geometry,Rings and Algebras
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.