[논문 리뷰] Geometric crystals and set-theoretical solutions to the quantum Yang-Baxter equation

Pavel Etingof|ArXiv.org|2001. 12. 26.

advanced mathematical theories인용 수 4

한 줄 요약

이 논문은 기하 체로부터 유도된 유리형 집합 이론적 R-행렬이 비퇴화되어 있으며 양자 양반-베이저 방정식과 비례 조건을 만족함을 증명한다. 이는 [1]의 정리 8.9에 대한 직접적 증명을 제공하며, $\mathrm{PGL}_n(\mathbb{C}(\lambda))$의 부분군으로서의 축약된 구조군을 계산하고, 이러한 해가 집합이 아니라 비유리형 사상이 있는 기하학적 기하학적 다양체의 범주에 속함을 보이며, 이는 [4]의 이론을 유리형 설정으로 일반화해야 한다는 것을 의미한다.

ABSTRACT

The notion of a geometric crystal was introduced by A.Berenstein and D.Kazhdan, motivated by the needs of representation theory of p-adic groups. It was shown by A.Braverman, A.Berenstein, and D.Kazhdan that some particular geometric crystals give rise to an interesting birational automorphism R of the Cartesian square of an n-dimensional torus, which satisfies the quantum Yang-Baxter equation and the unitarity condition. On the other hand, unitary set-theoretical solutions of the quantum Yang-Baxter equation were studied by Schedler, Soloviev, and the author. It was shown that the theory is especially nice if the solution satisfies an additional nondegeneracy condition. In particular, in this situation one can define the so called reduced structure group, whose complexity characterizes the complexity of the solution. In this note we show that the map R is nondegenerate, and give a new proof that it satisfies the quantum Yang-Baxter equation and the unitarity condition. Then we calculate the reduced structure group of R, and show that it is a subgroup of the "loop group" PGL(n,C(t))$. We also give a new, direct proof of a Theorem of Braverman and Kazhdan on the commutativity of two symmetric group actions on the space of matrices.

연구 동기 및 목표

• 기하 체로부터 유도된 R-행렬이 비퇴화되어 있으며 양자 양반-베이저 방정식과 비례 조건을 만족함을 증명하기 위해.
• 이전에 기하 체 이론에 의존했던 [1]의 정리 8.9에 대한 직접적 증명을 제공하기 위해.
• 기하 체로부터 유도된 유리형 집합 이론적 R-행렬 $(X,R)$의 축약된 구조군 $G_R^0$을 계산하기 위해.
• 이러한 해가 집합 이론적 해가 아니라 비유리형 사상이 있는 기하학적 기하학적 다양체의 범주에 속하므로, [4]의 이론을 유리형 설정으로 일반화해야 한다는 것을 보여주기 위해.
• $R$에 의해 정의된 $S_N$-작용이 비유리형 변환에 의해 표준 순열 작용과 공轭임을 확립하기 위해.

제안 방법

• 비유리형 동형사상 $R: X \times X \to X \times X$로 유리형 집합 이론적 R-행렬을 정의하며, $R(x,y) = (f_y(x), g_x(y))$로 표현되며, $f_z, g_z$는 유리형 사상임.
• 비퇴화 조건을 도입하여 모든 일반적인 $z \in X$에 대해 $f_z, g_z$가 비유리형 동형사상이 되도록 함.
• 관계식 $xy = y'x'$가 $R(x,y) = (x',y')$일 때 성립하도록 구조군 $G_R$를 정의하고, $\mathrm{Bir}(X)$에 대한 상으로서 축약된 구조군 $G_R^0$을 정의함.
• 기하 체 구조를 $\mathcal{T} = (\mathbb{C}^*)^n$에 적용하며, $\Delta_k(\mathbf{x},\mathbf{y})$와 $\eta(\mathbf{x},\mathbf{y})$를 포함하는 대칭 유리형 함수를 통해 $R$를 정의함.
• 변수 $X_i, Y_i, P_j, Q_j$와 보조 함수 $G_k, H_l$를 사용한 대칭 표현식을 직접 계산하여 비례성과 양자 양반-베이저 방정식을 증명함.
• 변수 재표기 $(P,Q,l,j,n,c,d,H) \to (X,Y,k,i,m,a,b,G)$에 따라 $\tau\sigma$의 복합 작용이 대칭 표현식을 만족함을 보여, $\tau\sigma$의 대칭성을 확립함.

실험 결과

연구 질문

• RQ1 기하 체로부터 유도된 유리형 집합 이론적 R-행렬은 비퇴화되는가?
• RQ2 이러한 R-행렬은 양자 양반-베이저 방정식과 비례 조건을 만족하는가?
• RQ3 이러한 R-행렬에 대한 축약된 구조군 $G_R^0$의 구조는 무엇인가?
• RQ4 $R$에 의해 정의된 $S_N$-작용은 표준 순열 작용과 어떻게 관련되어 있는가?
• RQ5 [4]의 비퇴화된 집합 이론적 해의 이론을 기하 체 해를 포함할 수 있도록 유리형 설정으로 일반화할 수 있는가?

주요 결과

• 기하 체로부터 유도된 R-행렬은 비퇴화되어 있으며, 모든 일반적인 $z$에 대해 $f_z$와 $g_z$가 비유리형 동형사상이기 때문이다.
• R-행렬은 양자 양반-베이저 방정식과 비례 조건 $R^{21}R = 1$을 만족한다.
• 축약된 구조군 $G_R^0$은 $\mathrm{PGL}_n(\mathbb{C}(\lambda))$의 부분군이다.
• 기하 체로 정의된 $R$에 의해 $\mathcal{T}^N$ 상의 $S_N$-작용은 비유리형 변환 $J_N$에 의해 표준 순열 작용과 공轭이다.
• 해 $(X,R)$는 표준적인 비퇴화된 집합 이론적 해로 간주될 수 없으며, 비유리형 사상이 있는 기하학적 기하학적 다양체의 범주에 속한다.
• 변수 재표기 하에서 $\tau\sigma$ 복합 작용의 대칭성은 R-행렬의 일관성을 확인하고 [1]의 정리 8.9에 대한 직접 증명의 타당성을 검증한다.