О многообразиях представлений одного класса HNN расширений

В работе исследуются многообразия представлений $R_n(G(p,q))$ групп, имеющих следующее копредставление:
$$ G(p,q) = \langle a_1,\ldots,a_s,b_1,\ldots,b_k,x_1,\ldots,x_g,y_1,\ldots,y_g,t\mid a_1^{m_1}=\ldots=a_s^{m_s}=1,\ tU^pt^{-1}=U^q \rangle, $$
где $p$ и $q$ — целые числа, такие, что $p>|q|\geq1$, $m_i\ge 2$ для $i=1,\ldots,s$, $g\ge 2$, $U=[x_1,y_1]\ldots [x_g,y_g]W(a_1,\ldots,a_s,b_1,\ldots,b_k)$ и $W(a_1,\ldots,a_s,b_1,\ldots,b_k)$ — элемент в нормальной форме в свободном произведении циклических групп $H=\langle a_1\mid a_1^{m_1}\rangle\ast\ldots\ast$ $\ast\langle a_s\mid a_s^{m_s}\rangle\ast\langle b_1\rangle\ast\ldots\ast \langle b_k\rangle$. Найдены неприводимые компоненты $R_n(G(p,q))$, вычислены их размерности и доказано, что каждая неприводимая компонента $R_n(G(p,q))$ является рациональным многообразием.