限制包络代数的Koszul对偶性与Frobenius结构

设$\mathfrak{g}$是代数闭域上特征足够大的连通、单连通半单代数群的李代数。我们研究先前论文中构造的$\mathfrak{g}$的限制包络代数$(U\mathfrak{g})_0$上的Koszul分次与$(U\mathfrak{g})_0$的Frobenius代数结构之间的相容性。这回答了W. Soergel向作者提出的一个问题。