|
Сообщения Московского математического общества
Корни характеристического уравнения для симплектического группоида
Л. О. Чеховabc, М. З. Шапироcb, Х. Шибоd a Математический институт им. В. А. Стеклова Российской академии наук
b Национальный исследовательский университет "Высшая школа экономики"
c Michigan State University, East Lansing, USA
d Xi'an Jiaotong University, Xi'an, Shaanxi, P.R. China
Поступила в редакцию: 17.03.2022
Морфизмы на множестве $\mathcal A_n\subseteq \operatorname{gl}_n$ унипотентных верхнетреугольных $(n\times n)$-матриц задаются преобразованиями $\mathbb A\mapsto B\mathbb AB^\top\in \mathcal A_n$, линеаризация $\delta_\varepsilon \mathbb A=g\mathbb A+\mathbb Ag^\top$ которых для $B=e^{\varepsilon g}$ аналогична преобразованиям Кричевера–Новикова [4]. Квантование пуассоновой структуры на $\mathcal A_n$, полученной А. И. Бондалом [1] в рамках конструкции симплектического группоида, задается уравнением отражения с тригонометрической $R$-матрицей:
$$
\begin{equation}
{\mathcal R}_{n}(q)\overset{1}{\mathbb A} {\mathcal R}_{n}^{t_1}(q)\overset{2}{\mathbb A}= \overset{2}{\mathbb A}{\mathcal R}_{n}^{t_1}(q) \overset{1}{\mathbb A}{\mathcal R}_{n}(q),
\end{equation}
\tag{1}
$$
где $\mathbb A$ – верхнетреугольная матрица с $q^{-1/2}$ на диагонали и с самосопряженными операторнозначными элементами $a_{i,j}$ при $i<j$. Комбинация $\mathbb A\mathbb A^{-\unicode{8224}}:=\mathbb A[\mathbb A^{\unicode{8224}}]^{-1}$ испытывает преобразования сопряжения, $\mathbb A\mathbb A^{-\unicode{8224}}\mapsto B \mathbb A\mathbb A^{-\unicode{8224}} B^{-1}$, и задача состоит в нахождении ее собственных значений $\lambda_i\in\mathbb C$, задающих $[n/2]$ независимых элементов Казимира [1]. Элементы матрицы $\mathbb A$ выражаются через переменные Фока–Гончарова $Z_\alpha=Z_{(i,j,k)}$ в барицентрической параметризации ($i+j+k=n$) вершин $b_n$-колчана [3] (рис. 1 слева): сплошная стрелка из $\alpha$ в $\beta$ отвечает соотношениям $Z_{\beta}Z_{\alpha}=q^{-2} Z_{\alpha}Z_{\beta}$, а пунктирная стрелка – соотношениям $Z_{\beta}Z_{\alpha}=q^{-1} Z_{\alpha}Z_{\beta}$. Направленная сеть $N$, дуальная $b_n$-колчану, задается графом двойных стрелок на рис. 1. В произвольной планарной направленной сети $\mathcal N$ пути $P\colon j \rightsquigarrow i$ ставится в соответствие квантовый вес $w(P)$ – упорядоченное по Вейлю (обозначаемое символом ) [2] произведение переменных $Z_\alpha$ на всех гранях сети $\mathcal N$, лежащих справа от пути. В случае $b_n$-колчана определим три квантовые $(n\times n)$-матрицы переноса
$$
\begin{equation*}
\begin{gathered} \, (\mathcal M_1)_{i,j}= \sum_{\substack{P\colon j\rightsquigarrow i'}} w(P),\quad (\mathcal M_2)_{i,j}= \sum_{\substack{P\colon j\rightsquigarrow i'' }} w(P), \quad (\mathcal M_3)_{i,j}= \sum_{\substack{P\colon j' \rightsquigarrow i'' }} w(P), \end{gathered}
\end{equation*}
\notag
$$
где пути, дающие вклад в $\mathcal M_3$, получаются обращением всех горизонтальных двойных стрелок в сети $N$. Матрицы ${\mathcal M}_1$ и $\mathcal M_3$ нижнетреугольные, а матрица ${\mathcal M}_2$ верхнетреугольная. Введем антидиагональную матрицу $S=\sum_{i=1}^n (-1)^{i+1}q^{-i+1/2}e_{i,n+1-i}$ и обозначим через произведения переменных Фока–Гончарова вдоль SE-диагоналей $b_n$-колчана.
Имеет место условие группоида [2] ${\mathcal M}_3 S {\mathcal M}_1= {\mathcal M}_2$, и теорема 4.1 работы [2] утверждает, что комбинация $\mathbb A:=\mathcal M_1^\top\mathcal M_3 S \mathcal M_1$ удовлетворяет уравнению (1). Попарная амальгамация переменных $Z_{(i,0,n-i)}$ и $Z_{(0,n-i,i)}$ при этом порождает новые казимиры , позволяющие исключить переменные $Z_{(l,n-l,0)}$ и получить в итоге $\mathcal A_n$-колчан (рис. 1 справа), $[n/2]$ элементов Казимира которого равны для $1\leqslant i<n/2\,$ и $C_{n/2}=T_{n/2}$ при целых $n/2$.
Теорема. Собственные значения $\lambda_i\in \mathbb C$, $1\leqslant i\leqslant n$, оператора $\mathbb A\mathbb A^{-\unicode{8224}}$ суть
$$
\begin{equation*}
\lambda_i=(-1)^{n-1} q^{-n}\times \begin{cases} \prod_{k=i}^{[n/2]} C_k&\textit{для}\ 1\leqslant i\leqslant [n/2]; \\ 1 &\textit{для } i=(n+1)/2 \textit{ при нечетных } n; \\ \prod_{k=n+1-i}^{[n/2]}C_k^{-1}&\textit{для}\ n-[n/2]+1\leqslant i \leqslant n. \end{cases}
\end{equation*}
\notag
$$
Доказательство. Для $\mathbb A=\mathcal M_1^\top\!\mathcal M_3 S \mathcal M_1$ имеем $\mathcal M_i^\unicode{8224}=\mathcal M_i^\top$ и $\mathbb A^{\unicode{8224}}\!= \mathcal M_1^\top S^+\! \mathcal M_3^\top \mathcal M_1$, так что $\mathbb A-\lambda \mathbb A^{\unicode{8224}}= \mathcal M_1^\top\bigl(\mathcal M_3S- \lambda S^+ \mathcal M_3^\top\bigr)\mathcal M_1$, и условие сингулярности принимает вид $\bigl(\mathcal M_3S- \lambda S^+ \mathcal M_3^\top\bigr)\psi=0$. Матрица $\mathcal M_3$ нижнетреугольная с членами $m_1=Z_{(n,0,0)}$ и , $2\leqslant i \leqslant n$, на диагонали, и главное наблюдение состоит в том, что обе матрицы $\mathcal M_3S$ и $S^+\mathcal M_3^\top$ имеют верхнеантитреугольный вид. Антидиагональные составляющие этих матриц соответственно равны
$$
\begin{equation*}
\sum_{i=1}^n (-1)^{i+1}q^{i-1/2} m_i e_{n+1-i,i}\quad \text{и}\quad \sum_{i=1}^n (-1)^{n-i}q^{-n+i-1/2} m_{n+1-i} e_{n+1-i,i},
\end{equation*}
\notag
$$
и условие сингулярности имеет нетривиальное решение, если их комбинация содержит нулевой элемент, так что допустимые значения суть $\lambda_i=(-1)^{n-1}q^{-n} m_{n+1-i}/m_i$, где отношения переменных отвечают различным случаям в теореме. Теорема доказана.
|
|
|
Список литературы
|
|
|
1. |
А. И. Бондал, Изв. РАН. Сер. матем., 68:4 (2004), 19–74 |
2. |
L. O. Chekhov, M. Shapiro, “Log-canonical coordinates for symplectic groupoid and cluster algebras”, IMRN (to appear) , https://doi.org/10.1093/imrn/rnac101 |
3. |
V. Fock, A. Goncharov, Publ. Math. Inst. Hautes Études Sci., 103 (2006), 1–211 |
4. |
И. М. Кричевер, С. П. Новиков, УМН, 54:6(330) (1999), 149–150 |
Образец цитирования:
Л. О. Чехов, М. З. Шапиро, Х. Шибо, “Корни характеристического уравнения для симплектического группоида”, УМН, 77:3(465) (2022), 177–178; Russian Math. Surveys, 77:3 (2022), 552–554
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/rm9999https://doi.org/10.4213/rm9999 https://www.mathnet.ru/rus/rm/v77/i3/p177
|
Статистика просмотров: |
Страница аннотации: | 329 | PDF русской версии: | 35 | PDF английской версии: | 46 | HTML русской версии: | 138 | HTML английской версии: | 107 | Список литературы: | 57 | Первая страница: | 14 |
|