[논문 리뷰] Yang-Baxter basis of Hecke algebra and Casselman's problem (extended abstract)

Maki Nakasuji, Hiroshi Naruse|arXiv (Cornell University)|2015. 12. 14.

Advanced Algebra and Geometry참고 문헌 2인용 수 4

한 줄 요약

이 논문은 p-진군의 주요 계열 표현에서 Iwahori 고정 벡터에 대한 Casselman의 문제를 해결하기 위해, 유형 A 히크 대수의 Yang-Baxter 기저를 모든 리 유형으로 일반화하고, 이를 통해 이중성을 확립한다. 핵심 기여는 Yang-Baxter 기저와 표준 기저 사이의 전이 계수에 대한 폐쇄형 공식을 제공함으로써, 윌리엄슨 함수의 명시적 계산과 Bump-Nakasuji 프레임워크에서의 전이 계수에 대한 추측을 해결하는 것이다.

ABSTRACT

We generalize the definition of Yang-Baxter basis of type $A$ Hecke algebra introduced by A.Lascoux, B.Leclerc and J.Y.Thibon (Letters in Math. Phys., 40 (1997), 75--90) to all the Lie types and prove their duality. As an application we give a solution to Casselman's problem on Iwahori fixed vectors of principal series representation of $p$-adic groups.

연구 동기 및 목표

• 유형 A에서의 Yang-Baxter 기저 구성법을 리 계수계와 웨일 군 자료를 사용하여 모든 리 유형으로 확장한다.
• 일반 히크 대수에서 표준 기저에 대한 Yang-Baxter 기저의 이중성을 증명한다.
• p-진군의 주요 계열 표현에서 Iwahori 고정 벡터의 기저에 대한 Casselman의 문제를 해결한다.
• Yang-Baxter 기저와 표준 기저 사이의 전이 계수에 대한 명시적 공식을 리 계수계 자료로 표현한다.
• Bump-Nakasuji(2011)의 추측 1.2 및 1.3번, 즉 단순 연결된 리 계수계에서 전이 계수의 인수분해에 대한 추측을 해결한다.

제안 방법

• 루트 체계 $ \frak{R} = (\frak{R}, \frak{R}^*, \frak{R}, \frak{R}^*) $ 를 사용하여, 유형 A에서의 Yang-Baxter 기저 구성법을 일반 리 유형으로 일반화한다. 여기서 $ \frak{R} $ 은 무게 격자, $ \frak{R}^* $ 은 코루트, $ W $ 는 웨일 군이다.
• 감소 표현에 대한 독립성을 확보하기 위해, $ w = w's_i > w' $ 일 때 $ Y_w = Y_{w'}(h_i + \frac{t_1 + t_2}{w'E(\beta)}) $ 를 이용해 $ Y_w $ 를 재귀적으로 정의한다. 여기서 $ \beta = s_{i_1}\rho\to s_{i_{j-1}}(\rho_{i_j}) $ 이다.
• Yang-Baxter 기저 $ Y_v $ 와 표준 기저 $ h_w $ 사이의 전이 계수 $ p(w,v) $ 와 $ \tilde{p}(w,v) $ 를 도입한다. 이는 $ Y_v = \bigsum_{w \neq v} p(w,v) h_w $ 와 $ h_v = \bigsum_{w \neq v} \tilde{p}(w,v) Y_w $ 를 만족한다.
• Whittaker 함수와 Iwahori 고정 벡터와의 관련성을 위해 매개수를 $ t_1 = -q^{-1}, t_2 = 1 $ 으로 특수화하고, Demazure-Lusztig 유형 연산자를 사용한다.
• 재귀 관계와 초기 조건을 사용하여 $ b_{w,v}(\tau) = p(w,v)(\tau)|_{t_1=-q^{-1}, t_2=1} $ 이 되며, Reeder(2012)의 알려진 공식과 일치함을 증명한다.
• 이중성과 항등식 $ \tilde{m}(w,v) = (-1)^{\text{length}} m(vw_0, w w_0) $ 를 이용하여 Bump-Nakasuji의 추측 1.2 및 1.3의 동치성을 확립한다. 루트 집합 $ S'(w,v) = S(vw_0, w w_0) $ 를 사용한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 유형 A 히크 대수의 Yang-Baxter 기저를 모든 리 유형으로 일반화할 수 있는가?
• RQ2 일반 히크 대수에서 임의의 루트 체계에 대해 Yang-Baxter 기저와 표준 기저 사이의 이중성은 어떻게 구성되는가?
• RQ3 Yang-Baxter 기저를 사용하여 p-진군의 주요 계열 표현에서 Iwahori 고정 벡터의 기저에 대한 Casselman의 문제를 해결할 수 있는가?
• RQ4 루트 체계 자료로 표현할 때 전이 계수 $ p(w,v) $ 와 $ \tilde{p}(w,v) $ 의 명시적 공식은 무엇인가?
• RQ5 Bump-Nakasuji의 추측, 즉 단순 연결된 루트 체계에서 전이 계수의 인수분해에 대한 추측은 참인가? 만약 그렇다면 어떤 조건에서 성립하는가?

주요 결과

• 모든 웨일 군 원소 $ w $ 에 대해 Yang-Baxter 기저 $ Y_w $ 는 감소 표현에 관계없이 잘 정의되며, 주항목이 $ h_w $ 인 $ Q_{t_1,t_2}(\frak{R}) $-기저를 이룬다.
• 전이 계수 $ b_{w,v}(\tau) $ 는 $ b_{w,v}(\tau) = p(w,v)(\tau)|_{t_1=-q^{-1}, t_2=1} $ 를 만족하며, Reeder(2012)의 재귀관계와 초기 조건과 일치하여 윌리엄슨 함수의 공식을 증명한다.
• 전체합에 대한 폐쇄형 공식으로 $ \bigsum_{w \neq v} b_{w,v} = \bigprod_{\beta \neq R(v)} \frac{1 - q^{-1}e^{\beta}}{1 - e^{\beta}} $ 이며, $ \bigsum_{w \neq v} b_{w,v}(-q^{-1})^{\text{length}(w)} = \bigprod_{\beta \neq R(v)} \frac{1 - q^{-1}}{1 - e^{\beta}} $ 로 주어진다.
• Bump-Nakasuji의 추측(1.2 및 1.3)은 이중성에 의해 동치임을 증명하였으며, $ \tilde{m}(w,v) = (-1)^{\text{length}(v)-\text{length}(w)} m(vw_0, w w_0) $ 이고, $ |S(w,v)| = \text{length}(v) - \text{length}(w) $ 일 때 인수분해가 성립한다.
• 논문은 [BN]에서의 공식 $ \bigsum_{w \neq v} b_{w,v} = m(e, v^{-1}) $ 를 복원하였으며, [BN]의 정리 1.4에 대한 새로운 증명을 제공한다.
• 이 논문은 Yang-Baxter 관계와 Demazure-Lusztig 연산자를 사용하여, 루트 체계 자료와 매개수 $ t_1, t_2 $ 로 표현되는 Iwahori 고정 벡터와 윌리엄슨 함수를 명시적으로 계산할 수 있는 통일된 프레임워크를 제공한다.