[논문 리뷰] The real loci of Calogero-Moser spaces, representations of rational Cherednik algebras and the Shapiro conjecture

Iain J. Gordon, Emil Horozov외 1명|ArXiv.org|2007. 11. 27.

Algebraic structures and combinatorial models참고 문헌 19인용 수 7

한 줄 요약

이 논문은 유리 Cherednik 대수 $ H_{0,1}(S_n) $의 기약 표현의 실수성에 대한 기준을 수립하며, 특정 부분공간에서 생성자 $ x_1 $과 $ y_1 $이 오직 실수 고유값을 가지면, 그 표현은 실수 표현의 복소화임을 보여준다. 이는 Calogero–Moser 공간의 실수 위치를 특성화하고, KP 계열과 이중스펙트럴 웨이브 함수와의 연결을 통해 그라스만이안에 대한 Shapiro 추측에 대한 새로운 증명을 제공한다.

ABSTRACT

We prove a criterion for the reality of irreducible representations of the rational Cherednik algebras H_{0,1}(S_n). This is shown to imply a criterion for the real loci of the Calogero-Moser spaces C_n in terms of the Etingof-Ginzburg finite maps Υ\colon C_n o C^n/S_n imes C^n/S_n, recovering a result of Mikhin, Tarasov, and Varchenko [MTV2]. As a consequence we obtain a criterion for the real locus of the Wilson's adelic Grassmannian of rank one bispectral solutions of the KP hierarchy. Using Wilson's first parametrisation of the adelic Grassmannian, we give a new proof of a result of [MTV2] on real bases of spaces of quasi polynomials. The Shapiro Conjecture for Grassmannians is equivalent to a special case of our result for Calogero-Moser spaces, namely for the fibres of Υover C^n/S_n imes 0.

연구 동기 및 목표

• 기본 생성자들의 고유값 조건에 기반하여, 유리 Cherednik 대수 $ H_{0,1}(S_n) $의 기약 표현이 언제 실수 표현의 복소화인지 여부를 판단하는 기준을 수립한다.
• Etingof–Ginzburg 유한 사상 $ \Upsilon: C_n \to \mathbb{C}^{(n)} \times \mathbb{C}^{(n)} $을 이용하여 Calogero–Moser 공간 $ C_n $의 실수 위치 $ RC_n $를 특성화한다.
• KP 계열과 타우 함수와의 연결을 통해, 그라스만이안에 대한 Shapiro 추측에 대한 새로운 증명을 제공한다.
• Wilson의 단일 랭크 이중스펙트럴 해의 아델릭 그라스만이안에서의 실수 위치에 대한 서로 다른 정의들 간의 동치성을 보여준다.
• Calogero–Moser 공간의 기하학과 KP 계열을 통한 준다항식 공간의 실수 기저에 대한 기준을 유도한다.

제안 방법

• 유리 Cherednik 대수 $ H_{0,1}(S_n) $의 표현 이론을 활용하여, $ x_1 $과 $ y_1 $이 $ n $차원 부분공간 $ \overline{e}V $ 위에서 작용하는 방식을 정의하고, 이를 통해 $ C_n $으로의 사상 정의.
• 생성자 $ x_i, y_i $와 $ S_n $에 의해 생성되는 실수 부분대수 $ H_{0,1}^\mathbb{R}(S_n) $를 정의하여 실수 표현의 연구를 가능하게 한다.
• Etingof–Ginzburg 유한 사상 $ \Upsilon: C_n \to \mathbb{C}^{(n)} \times \mathbb{C}^{(n)} $를 적용하며, 여기서 $ \mathbb{C}^{(n)} = \mathbb{C}^n / S_n $이다. 이는 고유값 조건과 실수 위치 사이의 관계를 규명하는 데 기여한다.
• Wilson의 아델릭 그라스만이안 $ \mathrm{Gr}^{\mathrm{ad}} $에 대한 $ \gamma $와 $ \beta $ 사상에 의한 매개변수화를 사용하여, Calogero–Moser 데이터와 KP 계열의 타우 함수를 연결한다.
• 지수함수의 와이언스키안 $ \mathrm{Wr}(e^{\mu_i x} V_i) $과 행렬 $ X $의 특성다항식 사이의 관계를 활용하여, $ \chi_X(-x) = \pm \mathrm{Wr}(e^{\mu_i x} V_i) $임을 보여준다.
• 주요 정리를 적용하여, 만약 와이언스키안에 오직 실수 근이 있고 $ \mu_i \in \mathbb{R} $이면, 부분공간 $ V_i $는 실수 계수 다항식 기저를 가짐을 증명한다. 이는 이 경우 Shapiro 추측을 증명한다.

실험 결과

연구 질문

• RQ1 유리 Cherednik 대수 $ H_{0,1}(S_n) $의 기약 표현이 언제 실수 표현의 복소화가 되는가?
• RQ2 생성자 $ X $와 $ Z $의 고유값 조건을 통해 Calogero–Moser 공간 $ C_n $의 실수 위치 $ RC_n $는 어떻게 특성화될 수 있는가?
• RQ3 와이언스키안 $ \mathrm{Wr}(e^{\mu_i x} V_i) $의 실수성과 부분공간 $ V_i \subset \mathbb{C}[x] $의 실수 기저 존재성 사이의 정확한 관계는 무엇인가?
• RQ4 Wilson의 아델릭 그라스만이안 $ \mathrm{Gr}^{\mathrm{ad}} $에서 실수 위치에 대한 서로 다른 정의들 — 실수 행렬, 실수 타우 함수, 실수 웨이브 함수 — 는 어떻게 동치가 되는가?
• RQ5 Shapiro 추측은 주요 정리의 특수한 경우인 $ \Upsilon^{-1}(\mathbb{R}^{(n)} \times 0) \subset RC_n $와 어떤 식으로 동치인가?

주요 결과

• 기약 표현 $ V $가 $ H_{0,1}(S_n) $에 속해 있을 때, $ x_1|_{\overline{e}V} $와 $ y_1|_{\overline{e}V} $의 제약이 오직 실수 고유값을 가지면, 그 표현은 실수 표현의 복소화임을 보장한다.
• 실수 위치 $ RC_n \subset C_n $는 $ \Upsilon^{-1}(\mathbb{R}^{(n)} \times \mathbb{R}^{(n)}) $의 전이를 포함하며, 이는 Mukhin, Tarasov, Varchenko의 결과를 복원한다.
• Wilson의 아델릭 그라스만이안 $ \mathrm{Gr}^{\mathrm{ad}} $의 실수 위치는 타우 함수 $ \tau_W(x,0,\ldots) $의 근과 그 이중스펙트럴 쌍대의 실수성에 의해 특성화된다.
• Shapiro 추측은 $ \Upsilon^{-1}(\mathbb{R}^{(n)} \times 0) \subset RC_n $라는 문장과 동치이며, 주요 정리를 통해 이는 증명된다.
• 만약 와이언스키안 $ \mathrm{Wr}(e^{\mu_1 x} V_1, \dots, e^{\mu_k x} V_k) $에 오직 실수 근이 있고 $ \mu_i $가 실수이면서 서로 다르면, 각 $ V_i $는 실수 계수 다항식 기저를 가진다.
• 슈어 함수에 대해, $ s_\lambda(x + c_1, \dots, c_N) $가 오직 실수 근을 가진다면, 모든 $ c_i \in \mathbb{R} $임을 보여주며, 이는 KP 계열의 다항식 타우 함수에 대한 실수 근 기준을 제공한다.