Симплектические группы над кольцами лорановских многочленов и диаграммы склейки

В работе показано, что если $A$ — область главных идеалов, для которой $\operatorname{K}_1\operatorname{Sp}(A)=0$, то при $r\geq2$ группа $\operatorname{Sp}_{2r}(A[X_1^{\pm1},\ldots,X_n^{\pm1},Y_1,\ldots,Y_m])$ порождается элементарными симплектическими матрицами.