[논문 리뷰] Calogero-Moser operators in infinite dimension

A. N. Sergeev, А. П. Веселов|ArXiv.org|2009. 10. 11.

Algebraic structures and combinatorial models참고 문헌 15인용 수 9

한 줄 요약

이 논문은 추가 매개변수 $ p_0 $ 를 포함하는 비안정성 리프팅 방법을 사용하여 무한차원 Calogero-Moser 연산자를 도입함으로써, Jack–Laurent 대칭 함수를 정의한다. 주요 기여는 $ k = -1 $ 극한이 $ p_0 $ 에 독립적인 Jacobi–Trudy 유형의 행렬식 공식을 제공하며, 이는 $ \mathfrak{gl}(m,n) $ 의 기약 표현의 특성과 연결되며, 슈퍼특성 이론에 대한 함의를 지닌다.

ABSTRACT

Various infinite-dimensional versions of the Calogero-Moser operator are discussed. The related class of Jack-Laurent symmetric functions is studied. In the special case when parameter k=-1 the analogue of Jacobi-Trudy formula is given and the relation with representation theory of Lie superlagebra gl(m,n) is discussed.

연구 동기 및 목표

• 유한차원 연산자의 안정성에 의존하지 않는 무한차원 Calogero–Moser 연산자의 구축을 목적으로 하며, 추가 매개변수 $ p_0 $ 를 사용한다.
• Jack–Laurent 대칭 함수 $ P_{\lambda,\mu}(k,p_0) $ 를 정의하고 연구함으로써, 라우렌트 대칭 함수로 일반화된 잭 다항식을 확장한다.
• 특수한 경우인 $ k = -1 $ 에서는 Jack–Laurent 함수의 극한이 $ p_0 $ 에 독립적이며, 이 극한에 대한 Jacobi–Trudy 유형의 공식을 수립한다.
• 결과로 얻어진 대칭 함수가 $ \mathfrak{gl}(m,n) $ 의 리 초대수의 표현 이론, 특히 특성과 슈퍼특성과 어떻게 연결되는지 탐구한다.
• 표준 표현 이론 조건이 실패하는 경우 $ m = n $ 에서 오일러 슈퍼특성의 역할을 탐색한다.

제안 방법

• 파워 합 생성자 $ p_a $ 를 사용하여 유한차원 Calogero–Moser 연산자를 무한차원으로 리프팅함으로써, $ p_a $ 와 $ \partial_a = a \partial / \partial p_a $ 에 대한 미분 연산자 표현식을 통해 $ \tilde{\mathcal{L}}_k^{(\infty)} $ 를 정의한다.
• 비안정성 리프팅을 도입하여 $ p_0 $ 를 매개변수로 포함함으로써, 라우렌트 대칭 함수의 대수 $ \Lambda^\pm $ 에서 작용하는 $ \hat{\mathcal{L}}_{k,p_0}^{(\pm\infty)} $ 를 구성한다.
• 무한차원 연산자의 고유함수로서 Jack–Laurent 대칭 함수 $ P_{\lambda,\mu}(k,p_0) $ 를 정의하며, 고유값은 $ k $, $ p_0 $, 및 분할 무게에 따라 달라진다.
• $ \Lambda^\pm $ 에서의 $ * $-대칭을 사용하여 $ h_i^* $ 를 정의하고, $ k \to -1 $ 극한에 대한 $ P_{\lambda,\mu} $ 의 $ (r+s) \times (r+s) $ 행렬식 공식을 구성한다.
• $ \varphi_{m,n} $ 를 적용하여 $ p_i \mapsto p_i(x,y) = \sum x_j^i - \sum y_k^i $ 로 특수화함으로써, 함수들을 $ \mathfrak{gl}(m,n) $ 의 그로텐디에크 링으로 매핑한다.
• 오일러 슈퍼특성을 모델링하기 위해 $ w $ 가 Berezinian $ \Delta $ 로 매핑되는 확장된 대수 $ \Lambda^\pm[w] $ 를 도입한다. 이는 $ m = n $ 인 경우에 해당한다.

실험 결과

연구 질문

• RQ1 유한차원 연산자의 안정성에 의존하지 않고, Calogero–Moser 연산자를 일관되게 무한차원으로 리프팅하는 방법은 무엇인가?
• RQ2 Jack–Laurent 대칭 함수 $ P_{\lambda,\mu}(k,p_0) $ 의 구조와 행동, 특히 $ k \to -1 $ 근처의 행동은 어떻게 되는가?
• RQ3 $ k = -1 $ 극한에서 Jack–Laurent 함수의 극한이 매개변수 $ p_0 $ 에 의존하는가? 만약 그렇지 않다면, 그 대수적 형태는 무엇인가?
• RQ4 이 함수들은 리 초대수 $ \mathfrak{gl}(m,n) $ 의 기약 표현의 특성과 어떻게 관련되어 있는가?
• RQ5 표준 특성 공식이 실패하는 경우 $ m = n $ 에서 오일러 슈퍼특성은 어떤 역할을 하는가?

주요 결과

• 무한차원 Calogero–Moser 연산자 $ \tilde{\mathcal{L}}_k^{(\infty)} $ 는 파워 합 변수에서의 두 번째 미분 연산자로 정의되며, 명시적 형태는 $ \sum_{a,b>0} p_{a+b} \partial_a \partial_b - k \sum_{a,b>0} p_a p_b \partial_{a+b} + \sum_{a>0} (a + a k - k) p_a \partial_a $ 이다.
• $ k = -1 $ 에서 $ P_{\lambda,\mu}(k,p_0) $ 의 극한은 $ p_0 $ 에 독립적이며, 정리 7.1 에서 서술된 바와 같이 $ h_i^* $ 와 $ h_i $ 를 포함하는 $ (r+s) \times (r+s) $ 행렬식으로 주어진다.
• 식 (30) 의 행렬식 공식은 Moens 와 Van der Jeugt 의 $ s_{\bar{\mu},\lambda}(x/y) $ 에 대한 슈퍼특성 공식과 일치하며, $ \mathfrak{gl}(m,n) $ 표현 이론과의 직접적인 연결 고리를 확립한다.
• $ \varphi_{m,n} $ 에서 $ P_{\lambda,\mu}(-1) $ 의 상은 $ s_{\bar{\mu},\lambda}(x/y) $ 와 일치하며, 이는 $ \lambda, \mu $ 에 대한 일정한 조건 하에서 $ \mathfrak{gl}(m,n) $-모듈러스의 특성이다.
• $ m = n $ 인 경우 표준 특성 공식이 실패하므로, 오일러 슈퍼특성을 모델링하기 위해 $ \Lambda^\pm $ 에 $ w $ 를 추가하고 $ \varphi_{m,n}(w) = \Delta $ 로 매핑한다. 이때 함수 $ E_{1,1} = p_1 p_{-1} - 1 + w $ 는 $ (1,1) $ 경우에 정확한 슈퍼특성을 제공한다.
• 무한차원 연산자 $ \hat{\mathcal{L}}_{k,p_0}^{(\pm\infty)} $ 가 $ P_{\lambda,\mu,l} $ 에서의 고유값은 $ E_{\lambda,\mu,l} = E_{\lambda,\mu} + p_0 l^2 + 2l(|\lambda| - |\mu|) $ 이며, $ E_{\lambda,\mu} $ 는 식 (20) 에서 정의된다.