[논문 리뷰] Duality for metaplectic ice

Ben Brubaker, Valentin Buciumas외 2명|arXiv (Cornell University)|2017. 09. 19.

Advanced Algebra and Geometry참고 문헌 21인용 수 7

한 줄 요약

이 논문은 비아르키메데스 현지체 $\mathrm{GL}(r,F)$의 $n$중 메타플레크틱 커버에서 메타플레크틱 월리스 함수를 위한 두 해석 가능한 격자 모델—감마 얼음과 델타 얼음—사이의 이중성을 확립한다. 양-바크스 방정식과 전이 행렬의 교환 법칙을 사용하여, 월리스 함수에 대한 사전 지식 없이도 이러한 모델의 분할 함수가 동일하다는 것을 증명함으로써, 웨일 군 작용 하에서의 함수 방정식에 대한 직접적인 대수적 증명을 제공하고, 고전 결과를 메타플레크틱 설정으로 확장한다.

ABSTRACT

We interpret values of spherical Whittaker functions on metaplectic covers of the general linear group over a nonarchimedean local field as partition functions of two different solvable lattice models. We prove the equality of these two partition functions by showing the commutativity of transfer matrices associated to different models via the Yang-Baxter equation.

연구 동기 및 목표

• 메타플레크틱 월리스 함수를 나타내는 두 분할 함수—감마 얼음과 델타 얼음—의 동일성을 증명한다.
• 랭글랜즈 매개변수 $\mathbf{z}$ 에 대한 웨일 군 작용 하에서 이러한 분할 함수에 대한 함수 방정식을 수립한다.
• 월리스 함수 항등식에 대한 중간 단계를 피하는, 직접적인 조합적 증명을 제공한다. 이 증명은 양-바크스 방정식을 기반으로 하며, 두 모델 간의 동일성을 증명한다.
• 두 모델의 $R$-행렬로부터 매개변수화된 양-바크스 체계를 구성함으로써, 이중대칭 구조를 수립하고, 이로부터 이중대칭 대수적 구조를 유도한다.

제안 방법

• 빙하형 정점에 정의된 보르츠만 가중치를 갖는 해석 가능한 격자 모델을 사용하며, 여기서 상태들은 크리스탈 $\mathcal{B}_{\lambda+\rho}$ 의 원소에 대응한다.
• 양-바크스 방정식을 적용하여, 서로 다른 격자 모델과 관련된 전이 행렬의 교환 법칙을 증명한다.
• 기울인 $R$-정점들을 격자 안에서 이동시키는 '기차 추론'(train argument)을 사용하여, 정점 재배열 하에서도 분할 함수가 유지됨을 보장한다.
• $R$-행렬 $R^{\Gamma\Gamma}, R^{\Delta\Gamma}, R^{\Gamma\Delta}, R^{\Delta\Delta}$ 을 사용하여 특정 교환 관계를 갖는 매개변수화된 양-바크스 체계를 정의한다.
• 양-바크스 체계의 유도에 있어 양-유한 $\mathfrak{gl}(n|1)$ 의 $R$-행렬에 의존하며, 특히 $\llbracket R^{\Gamma\Gamma}, R^{\Gamma\Gamma}, R^{\Gamma\Gamma} \rrbracket = 0$ 와 같은 항등식을 유도한다.
• 연속성 추론을 적용하여, $z_2^n - v^n z_1^n = 0$ 인 경우에도 항등식이 성립함을 보장함으로써, 모든 스펙트럼 매개변수에 대해 유효함을 보장한다.

실험 결과

연구 질문

• RQ1 감마 얼음과 델타 얼음 모델의 분할 함수는 $\mathrm{GL}(r,F)$ 의 $n$중 커버에서 동일한가?
• RQ2 양-바크스 방정식을 사용하여 웨일 군 작용 하에서 이러한 분할 함수에 대한 함수 방정식을 유도할 수 있는가?
• RQ3 두 모델의 $R$-행렬은 일관된 양-바크스 체계를 형성하는가?
• RQ4 심지어 신틴아니-카셀만-샬리카 공식이나 월리스 함수 항등식에 의존하지 않는 직접적인 대수적 증명이 가능한가?

주요 결과

• 모든 주어진 무게 $\lambda$ 와 $n \geq 1$ 에 대해, 양-바크스 교환 법칙을 통한 증명으로 감마 얼음과 델타 얼음의 분할 함수가 동일하다.
• 신틴아니-카셀만-샬리카 공식을 사용하지 않아도 동일성이 성립하므로, 이는 항등식에 대한 새로운 직접적 증명을 제공한다.
• $R$-행렬 $R^{\Gamma\Gamma}, (R^{\Delta\Gamma})^{-1}, R^{\Gamma\Delta}, (R^{\Delta\Delta})^{\ddagger}$ 는 매개변수화된 양-바크스 체계를 형성하며, $(R^{\Gamma\Delta})^{\ddagger}$ 는 $(R^{\Delta\Gamma})^{-1}$ 에 비례한다.
• 양-바크스 방정식을 통해 '기차 추론'이 가능해져 정점들을 격자 안에서 이동시키며 분할 함수를 유지함으로써, 두 모델 간의 동일성을 증명한다.
• 웨일 군 작용 하에서 분할 함수에 대한 함수 방정식이 도출되었으며, 이는 $n=1$ 인 경우의 슈어 다항식 대칭성을 일반화한 것이다.
• 연속성 추론을 통해 $z_i$ 가 $z_2^n - v^n z_1^n = 0$ 인 경우에도 증명이 유효하며, 이는 해석적 계속성을 보장한다.