[논문 리뷰] On a Poisson space of bilinear forms with a Poisson Lie action

Leonid Chekhov, Marta Mazzocco|arXiv (Cornell University)|2014. 04. 03.

Advanced Algebra and Geometry참고 문헌 15인용 수 3

한 줄 요약

이 논문은 $GL_N \times \mathcal{A}$ 위의 모든 이차 파울슨 구조를 분류하며, 여기서 $\mathcal{A}$는 $\mathbb{C}^N$ 위의 이차형식의 공간이며, 자연스러운 $GL_N$-작용 $\mathbb{A} \mapsto B\mathbb{A}B^T$가 파울슨 작용이 되도록 한다. 이는 세 가지의 구조를 특정한다—서로 쌍대인 두 개와 한 개의 곱 구조이며, 둘 다 블록 상삼각행렬로의 딜라크 축소를 허용하는 것은 오직 쌍대 구조들 뿐이며, 이 구조를 $GL_N \times GL_N \times \mathcal{A}$를 통해 파울슨 대칭공간으로 일반화한다. 여기서 작용은 $\mathbb{A} \mapsto B\mathbb{A}C^T$이다. 주요 기여는 이러한 작용에 대해 호환 가능한 파울슨 구조의 체계적 분류이며, 파울슨 군oids와 양자 대수학에 대한 함의를 지닌다.

ABSTRACT

We consider the space of bilinear forms on a complex N-dimensional vector space endowed with the quadratic Poisson bracket studied in our previous paper arXiv:1012.5251. We classify all possible quadratic brackets on the set of pairs of matrices A and B with the property that the natural action of B on the defining matrix A of a bilinear form is a Poisson action of a Poisson-Lie group, thus endowing this space of bilinear forms with the structure of Poisson homogeneous space. Beside the product Poisson structure we find two more (dual to each other) structures for which (in contrast to the product Poisson structure) we can implement the reduction to the space of bilinear forms with block upper triangular defining matrices by Dirac procedure. We consider the generalisation of the above construction to triples and show that the space of bilinear forms then acquires the structure of Poisson symmetric space. We study also the generalisation to chains of transformations and to the quantum and quantum affine algebras and the relation between the construction of Poisson symmetric spaces and that of the Poisson groupoid.

연구 동기 및 목표

• 모든 이차 파울슨 브라켓을 $GL_N \times \mathcal{A}$ 위에서 분류하여, $GL_N$-작용 $\mathbb{A} \mapsto B\mathbb{A}B^T$가 파울슨 작용이 되도록 하는 조건을 만족시키는지 확인한다.
• 이러한 구조들 중에서 어떤 것이 차단 상삼각행렬 부분공간에 대한 딜라크 축소를 허용하는지 결정한다.
• 작용 $\mathbb{A} \mapsto B\mathbb{A}C^T$를 갖는 삼중체 $(B, C, \mathbb{A}) \in GL_N \times GL_N \times \mathcal{A}$로의 일반화를 시도하며, $\mathcal{A}$가 파울슨 대칭공간이 되는지 보여준다.
• 파울슨 군oids, 양자 대수학, 양자 아핀 대수학과의 연관성을 탐색하며, 특히 $r$-행렬 형식과 $GL_N$-파울슨-라이 군의 구조적 맥락에서 고려한다.

제안 방법

• 표준적인 리-파울슨 브라켓을 고전적 삼각함수형 $r$-행렬 $r_{12} = 2\sum_{i>j} E_{ij} \otimes E_{ji} + \sum_i E_{ii} \otimes E_{ii}$ 를 통해 $GL_N$ 위에 가정한다.
• 필요한 교차브라켓 $\{B \otimes \mathbb{A}\}$를 $B Q_{12} \mathbb{A} + B \mathbb{A} Q_{12}^{t_2}$ 로 유도하며, 여기서 $Q_{12}$ 는 세 가지 특정 선택에 제약을 받는다: $0$, $-r_{12}^{t_2}$, 또는 $r_{12}^{t_1}$.
• 오직 두 개의 비곱 구조 ($Q_{12} = \pm r_{12}^{t_2}$)만이 상호 쌍대이며, 블록 상삼각행렬 부분공간 $\mathcal{A}_{n,m}$ 로의 딜라크 축소를 허용함을 증명한다.
• $r$-행렬 형식을 사용하여 $\mathcal{A}$ 위의 파울슨 브라켓을 $\{\mathbb{A}_1, \mathbb{A}_2\} = r_{12}(\mathbb{A}_1 \otimes \mathbb{A}_2) - (\mathbb{A}_1 \otimes \mathbb{A}_2)r_{12} + \mathbb{A}_1 r_{12}^{t_1} \mathbb{A}_2 - \mathbb{A}_2 r_{12}^{t_1} \mathbb{A}_1$ 로 표현하며, 고전적 양-버터스 방정식을 통해 자코비 항등식을 보장한다.
• 딜라크 절차를 적용하여 전체 공간을 블록 상삼각행렬을 갖는 부분공간으로 축소하며, 오직 쌍대 구조들만이 이러한 제약 조건 하에서 파울슨 구조를 유지함을 보여준다.
• 프레임워크를 변환의 사슬으로 일반화하고, 파울슨 군oids와 양자 대수학 간의 관계를 논의하며, 특히 심플렉틱 군oids 구성과 본달의 심플렉틱 형식 맥락에서 고려한다.

실험 결과

연구 질문

• RQ1 어떤 $GL_N \times \mathcal{A}$ 위의 파울슨 구조에서 $GL_N$-작용 $\mathbb{A} \mapsto B\mathbb{A}B^T$ 가 파울슨 작용이 되는가?
• RQ2 블록 상삼각행렬 부분공간 $\mathbb{A}$ 로의 딜라크 축소를 어떻게 시행할 수 있으며, 어떤 파울슨 구조에서 가능한가?
• RQ3 교차브라켓 $\{B \otimes \mathbb{A}\}$ 의 세 가지 가능한 선택 $Q_{12} = 0$, $-r_{12}^{t_2}$, 또는 $r_{12}^{t_1}$ 은 상호 어떻게 관련되어 있으며, 어떤 것이 일관된 축소를 허용하는가?
• RQ4 $GL_N \times GL_N \times \mathcal{A}$ 위의 작용 $\mathbb{A} \mapsto B\mathbb{A}C^T$ 로의 일반화는 무엇이며, 이 경우 $\mathcal{A}$ 는 파울슨 대칭공간이 되는가?
• RQ5 이 프레임워크는 파울슨 군oids, 심플렉틱 군oids, 양자 대수학과 어떻게 관련되어 있으며, 특히 본달의 심플렉틱 구조를 고려할 때 어떤 함의를 지닌다?

주요 결과

• 이 논문은 $GL_N \times \mathcal{A}$ 위에서 $GL_N$-작용 $\mathbb{A} \mapsto B\mathbb{A}B^T$ 가 파울슨 작용이 되는 세 가지 가능한 파울슨 구조를 정확히 분류한다. 이는 $Q_{12} = 0$, $-r_{12}^{t_2}$, 및 $r_{12}^{t_1}$ 에 해당한다.
• 곱 구조 ($Q_{12} = 0$) 는 블록 상삼각행렬 부분공간 $\mathcal{A}_{n,m}$ 로의 딜라크 축소를 허용하지 않지만, 두 개의 쌍대 구조 ($Q_{12} = \pm r_{12}^{t_2}$) 는 그러한 축소를 허용한다.
• 두 쌍대 구조는 표준적인 쌍대 변환에 의해 관련되어 있으며, 양쪽 모두 차단 상삼각행렬 행렬의 제약 표면에서 파울슨 구조를 유지한다.
• $GL_N \times GL_N \times \mathcal{A}$ 와 작용 $\mathbb{A} \mapsto B\mathbb{A}C^T$ 로의 일반화는 $\mathcal{A}$ 에 파울슨 대칭공간의 구조를 제공한다.
• 이 구조는 고전적 $r$-행렬 형식과 호환되며, 고전적 양-버터스 방정식을 만족하여 파울슨 브라켓의 자코비 항등식을 보장한다.
• 논문은 $({\mathbb{F}}, B)$ 위의 심플렉틱 구조가 상삼각행렬 경우의 본달의 심플렉틱 형식을 일반화한다고 추측하지만, 심플렉틱 군oids 접근에서 변수 분리로 인해 동역학이 비어나게 된다.