Abstract:Associated varieties are geometric objects appearing in infinite-dimensional representations of semisimple Lie algebras (groups). By applying Fourier transformations to the natural orthogonal oscillator representations of special linear Lie algebras, Luo and the second author (2013) obtained a big family of infinite-dimensional irreducible representations of the algebras on certain spaces of homogeneous solutions of the Laplace equation. In this paper, we prove that the associated varieties of these irreducible representations are the intersections of explicitly given determinantal varieties. This provides an explicit connection among representation theory, partial differential equations and algebraic geometry.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to explicitly connect the relationships among representation theory, partial differential equations, and algebraic geometry. Specifically, by studying the natural orthogonal oscillation representation of the special linear Lie algebra $\text{sl}(n)$ and applying the Fourier transform, the author obtained a series of infinite - dimensional irreducible representations. These representations act on certain homogeneous solution spaces of the Laplace equation. Further, the author proved that the associated varieties of these irreducible representations are the intersections of explicitly given determinantal varieties.
### Specific problem description
1. **Combination of representation theory and partial differential equations**:
- Through the Fourier transform, the author applied the natural orthogonal oscillation representation of the special linear Lie algebra $\text{sl}(n)$ to the homogeneous solution space of the Laplace equation and obtained a series of infinite - dimensional irreducible representations.
- The specific forms of these representations are:
\[
\pi(E_{i,j}) = x_i \frac{\partial}{\partial x_j} - y_j \frac{\partial}{\partial y_i} \quad \text{for} \quad i, j \in \{1, n\}
\]
and the Laplace operator is:
\[
\Delta = \sum_{i = 1}^n \frac{\partial^2}{\partial x_i \partial y_i}
\]
2. **Determination of associated varieties**:
- The author proved that the associated varieties of these irreducible representations are the intersections of explicitly given determinantal varieties. Specifically, for integers $n_1\leq n_2$ and non - negative integers $\ell_1, \ell_2$, the associated variety $V(H^{\langle \ell_1, \ell_2 \rangle})$ can be expressed as:
\[
V(H^{\langle \ell_1, \ell_2 \rangle})\cong V_3(J_2\cup J_3, J_1\cup J_2)\cap V_2(J_2, J_1)\cap V_2(J_3, J_2)\cap V_1(J_2, J_2)
\]
where $J_1 = \{1, n_1\}, J_2 = \{n_1 + 1, n_2\}, J_3 = \{n_2 + 1, n\}$.
3. **Application of algebraic geometry**:
- Determinantal varieties are of great significance in algebraic geometry, such as the coordinate ring of the Veronese variety, symmetric determinantal varieties, etc.
- By connecting the associated varieties of these representations with determinantal varieties, the author provided a framework that combines representation theory, partial differential equations, and algebraic geometry.
### Main contributions
- **Explicit connection**: Through specific construction and proof, this paper clarifies the relationships among irreducible representations in representation theory, the solution space of the Laplace equation in partial differential equations, and determinantal varieties in algebraic geometry.
- **New mathematical tools**: The concepts of the Fourier transform and determinantal varieties are introduced, providing new mathematical tools and methods for studying these problems.
In summary, this paper aims to build a bridge between representation theory, partial differential equations, and algebraic geometry through specific construction and proof, thus providing a new perspective and method for further research.