arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1802.07049math.GRmath.GTmath.RA
收藏

基于Newton多面体的Bieri-Neumann-Strebel不变量

The Bieri-Neumann-Strebel invariants via Newton polytopes

Dawid Kielak

摘要:

研究了扭Laurent多项式环上方阵行列式的Newton多面体。我们证明了这样的牛顿多面体是单多面体(而不是两个多面体的形式差异);这个结果可以被看作是类似的事实,矩阵的行列式交换洛朗多项式环本身是多项式,而不是有理函数。我们还展示了之间的关系的牛顿多面体和可逆性的矩阵诺维科夫环,从而建立了一个连接的不变量的Bieri-Neumann-Strebel(BNS)通过西科拉夫定理。我们提供多种应用:我们重新证明了Thurston关于控制$3$ -流形群的BNS不变量的多面体的存在性定理;我们将这个结果推广到自由循环群,以及自由群的更一般的下降HNN扩展。我们还证明了在维数为$3$的$\mathtt{F}$型Poincaré对偶群和亏1群的BNS不变量是由一个多面体决定的,当这些群是农业群时,即它们的整群环嵌入斜域中.后一个结果部分证实了弗里德尔的一个猜想。我们还推导出消失的牛顿多面体与元素的Whitehead群的许多群体满足Atiyah猜想。我们利用这一点证明了Friedl-Lück的$L^2$ -挠多面体在同伦下是不变的。我们证明了在顺从性的存在下这个多面体的消失,从而证明了Friedl-Lück-Tillmann的一个猜想。

英文摘要:

We study the Newton polytopes of determinants of square matrices defined over rings of twisted Laurent polynomials. We prove that such Newton polytopes are single polytopes (rather than formal differences of two polytopes); this result can be seen as analogous to the fact that determinants of matrices over commutative Laurent polynomial rings are themselves polynomials, rather than rational functions. We also exhibit a relationship between the Newton polytopes and invertibility of the matrices over Novikov rings, thus establishing a connection with the invariants of Bieri-Neumann-Strebel (BNS) via a theorem of Sikorav. We offer several applications: we reprove Thurston's theorem on the existence of a polytope controlling the BNS invariants of a $3$-manifold group; we extend this result to free-by-cyclic groups, and the more general descending HNN extensions of free groups. We also show that the BNS invariants of Poincaré duality groups of type $\mathtt{F}$ in dimension $3$ and groups of deficiency one are determined by a polytope, when the groups are assumed to be agrarian, that is their integral group rings embed in skew-fields. The latter result partially confirms a conjecture of Friedl. We also deduce the vanishing of the Newton polytopes associated to elements of the Whitehead groups of many groups satisfying the Atiyah conjecture. We use this to show that the $L^2$-torsion polytope of Friedl-Lück is invariant under homotopy. We prove the vanishing of this polytope in the presence of amenability, thus proving a conjecture of Friedl-Lück-Tillmann.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑