[论文解读] Gauss-Lusztig Decomposition for $GL_q^+(N,R)$ and Representation by q-Tori

Ivan Chi-Ho Ip|arXiv (Cornell University)|Nov 17, 2011

Algebraic structures and combinatorial models参考文献 16被引用 3

一句话总结

本文为正量子群 $GL_q^+(N,\mathbb{R})$ 及其模双 $GL_{q\tilde{q}}^+(N,\mathbb{R})$ 建立了高斯-吕斯蒂格分解，通过 $q$-环面上的正正规自伴算子显式构造了表示。关键贡献在于利用满足 $uv = q^2 vu$ 的簇变量与威尔对，对群进行量子参数化，从而在正主系列表示的直接积分中实现 $L^2$-空间与正则表示的分解。

ABSTRACT

We found an explicit construction of a representation of the positive quantum group $GL_q^+(N,\R)$ and its modular double $GL_{q il[q]}^+(N,\R)$ by positive essentially self-adjoint operators. Generalizing Lusztig's parametrization, we found a Gauss type decomposition for the totally positive quantum group $GL_q^+(N,\R)$ for $|q|=1$, parametrized by the standard decomposition of the longest element $w_0\in W=S_{N-1}$. Under this parametrization, we found explicitly the relations between the standard quantum variables, the relations between the quantum cluster variables, and realizing them using non-compact generators of the $q$-tori $uv=q^2 vu$ by positive essentially self-adjoint operators. The modular double arises naturally from the transcendental relations, and an $L^2(GL_{q il[q]}^+(N,\R))$ space in the von Neumann setting can also be defined.

研究动机与目标

• 通过 $q$-环面上的正正规自伴算子，显式构造正量子群 $GL_q^+(N,\mathbb{R})$ 及其模双的表示。
• 通过高斯-吕斯蒂格分解，将吕斯蒂格对完全正矩阵的参数化推广至量子设置。
• 利用满足 $uv = q^2 vu$ 的非紧致 $q$-环面生成元，实现量子簇变量与标准量子变量。
• 在冯诺依曼设置下，通过哈测型测度与快速衰减函数，定义 $L^2(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 空间。
• 猜想 $U_{q\tilde{q}}(\mathfrak{gl}(N,\mathbb{R}))$ 在 $L^2(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 上的正则表示可分解为正主系列表示的直接积分。

提出的方法

• 将吕斯蒂格利用最长威爾群元素 $w_0 \in S_{N-1}$ 的约化分解对 $G_{>0}$ 的参数化推广至量子设置。
• 通过用非交换量子关系表示的幂零参数 $a_i$，构造 $GL_q^+(N,\mathbb{R})$ 的高斯-吕斯蒂格分解。
• 通过满足 $uv = q^2 vu$ 的威尔对 $u, v$ 实现量子变量，其在 $L^2(\mathbb{R}^2)$ 上表示为正正规自伴算子。
• 通过超越关系 $q = e^{\pi i b^2}$ 与 $\tilde{q} = e^{\pi i b^{-2}}$（其中 $b \in \mathbb{R} \setminus \mathbb{Q}$，$0 < b < 1$）定义模双 $GL_{q\tilde{q}}^+(N,\mathbb{R})$。
• 构造 $C^*$-代数 $C_\infty(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 为包含 $X_{mn}^{ib^{-1}s_{mn}}$ 的积分算子的范数闭包，其中 $f(s_{ij})$ 为光滑且快速衰减的函数。
• 将 $L^2$-空间 $L^2(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 定义为满足范数 $\|F\|^2 = \int_{\mathbb{R}^{N^2}} \left|f(s_{ij} + (\delta_{i,N} - \delta_{j,N})^2 \frac{iQ}{2}) \right|^2 \prod ds_{ij}$ 的函数的 $L^2$-完备化。

实验结果

研究问题

• RQ1 如何通过威爾群参数化，将高斯-吕斯蒂格分解从 $GL_q(2)$ 推广至更高秩的 $GL_q^+(N,\mathbb{R})$？
• RQ2 $GL_q^+(N,\mathbb{R})$ 中的幂零参数 $a_i$ 与簇变量之间的量子关系为何？
• RQ3 如何通过超越关系与 $q$-环面算子实现模双 $GL_{q\tilde{q}}^+(N,\mathbb{R})$？
• RQ4 能否独立于嵌入选择，利用簇变量与哈测测度，为 $GL_{q\tilde{q}}^+(N,\mathbb{R})$ 定义 $L^2$-空间？
• RQ5 $U_{q\tilde{q}}(\mathfrak{gl}(N,\mathbb{R}))$ 在 $L^2(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 上的正则表示是否可分解为正主系列表示的直接积分？

主要发现

• 通过最长威爾群元素 $w_0$ 的约化分解，构造了 $GL_q^+(N,\mathbb{R})$ 的高斯-吕斯蒂格分解，将吕斯蒂格对完全正矩阵的参数化推广至量子设置。
• 量子变量通过满足 $uv = q^2 vu$ 的威爾对 $u, v$ 实现，其在 $L^2(\mathbb{R}^2)$ 上表示为正正规自伴算子 $u = e^{2\pi b x}, v = e^{2\pi b p}$。
• 模双 $GL_{q\tilde{q}}^+(N,\mathbb{R})$ 自然源于 $q$ 与 $\tilde{q} = e^{\pi i b^{-2}}$ 之间的超越关系，其中 $b \in \mathbb{R} \setminus \mathbb{Q}$，$0 < b < 1$，并通过 $b \to b^{-1}$ 实现。
• $L^2$-空间 $L^2(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 定义为满足范数 $\|F\|^2 = \int_{\mathbb{R}^{N^2}} \left|f(s_{ij} + (\delta_{i,N} - \delta_{j,N})^2 \frac{iQ}{2}) \right|^2 \prod ds_{ij}$ 的函数的 $L^2$-完备化，且独立于嵌入选择。
• $C^*$-代数 $C_\infty(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 定义为包含 $X_{mn}^{ib^{-1}s_{mn}}$ 的积分算子的范数闭包，其中 $f(s_{ij})$ 为光滑且快速衰减的函数，且在不同 $X_{mn}$ 的实现下同构。
• 本文猜想 $U_{q\tilde{q}}(\mathfrak{gl}(N,\mathbb{R}))$ 在 $L^2(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 上的正则表示可分解为正主系列表示的直接积分，推广了 $N=2$ 的情形。