摘要 Abstract
设 $ G $ 是一个可数群,并且是具有有限边群和顶点群的图的群的基本群,这些顶点群在 $ K \subseteq \mathbb{C} $( $ K $ 是闭合于复共轭的域)上满足强Atiyah猜想。假设 $ G $ 的有限子群的阶数有界。我们证明 $ G $ 在 $ K $ 上满足强Atiyah猜想。特别地,这表明强Atiyah猜想在自由积下保持封闭。此外,我们证明了 $ K[G] $ 在 $ \mathcal{U}(G) $ 中的 $ \ast $-正则闭包 $ \mathcal{R}_{\small K[G]} $ 是与该图的群相对应的图的环的普遍局部化,其中环是相应的 $ \ast $-正则闭包。由此得出结论:如果边群为有限群,则在图的群构造下, $ K $ 上的代数和中心值Atiyah猜想也保持封闭。我们还推导出一些关于 $ \mathcal{R}_{\small K[G]} $ 的 $ K_0 $ 和 $ K_1 $-群结构的结论。所发展的技术允许我们证明,如果 $ G $ 属于某些特定类别的群 $ \mathcal{T}_{\small \mathcal{VLI}} $ (包含特别是具有局部指示性的拟自由群的基本群),则 $ K[G] $ 满足强、代数和中心值Atiyah猜想,并且 $ \mathcal{R}_{\small K[G]} $ 是 $ K[G] $ 在所有在 $ \mathcal{U}(G) $ 中变为可逆矩阵的集合上的普遍局部化。
Let $G$ be a countable group that is the fundamental group of a graph of groups with finite edge groups and vertex groups that satisfy the strong Atiyah conjecture over $K \subseteq \mathbb{C}$ a field closed under complex conjugation. Assume that the orders of finite subgroups of $G$ are bounded above. We show that $G$ satisfies the strong Atiyah conjecture over $K$. In particular, this implies that the strong Atiyah conjecture is closed under free products. Moreover, we prove that the $\ast$-regular closure of $K[G]$ in $\mathcal{U}(G)$, $\mathcal{R}_{\small K[G]}$, is a universal localization of the graph of rings associated to the graph of groups, where the rings are the corresponding $\ast$-regular closures. As a result, we obtain that the algebraic and center-valued Atiyah conjecture over $K$ are also closed under the graph of groups construction provided that the edge groups are finite. We also infer some consequences on the structure of the $K_0$ and $K_1$-groups of $\mathcal{R}_{\small K[G]}$. The techniques developed allow us to prove that $K[G]$ fulfills the strong, algebraic and center-valued Atiyah conjectures and that $\mathcal{R}_{\small K[G]}$ is the universal localization of $K[G]$ over the set of all matrices that become invertible in $\mathcal{U}(G)$ if $G$ lies in a certain class of groups $\mathcal{T}_{\small \mathcal{VLI}}$, which contains in particular virtually-{locally indicable} groups that are the fundamental group of a graph of virtually free groups.