<p>Let <i>G</i> be a countable group that is the fundamental group of a graph of groups with finite edge groups and vertex groups satisfying the strong Atiyah conjecture over <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_710_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">$K \subseteq \mathbb{C}$</EquationSource> </InlineEquation> a field closed under complex conjugation. Assume that the orders of finite subgroups of <i>G</i> are bounded above. We show that <i>G</i> satisfies the strong Atiyah conjecture over <i>K</i>. In particular, this implies that the strong Atiyah conjecture is closed under free products. Moreover, we prove that the ∗-regular closure of <i>K</i>[<i>G</i>] in <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_710_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">$\mathcal{U}(G)$</EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_710_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">$\mathcal{R}_{K[G]}$</EquationSource> </InlineEquation>, is a universal localization of the graph of rings associated to the graph of groups, where the rings are the corresponding ∗-regular closures. As a result, we obtain that the algebraic and center-valued Atiyah conjecture over <i>K</i> are also closed under the graph of groups construction as long as the edge groups are finite. We also infer some consequences on the structure of the <i>K</i><sub>0</sub> and <i>K</i><sub>1</sub>-groups of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_710_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">$\mathcal{R}_{K[G]}$</EquationSource> </InlineEquation>. The techniques developed enable us to prove that <i>K</i>[<i>G</i>] fulfills the strong, algebraic and center-valued Atiyah conjectures, and that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_710_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">$\mathcal{R}_{K[G]}$</EquationSource> </InlineEquation> is the universal localization of <i>K</i>[<i>G</i>] over the set of all matrices that become invertible in <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_710_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">$\mathcal{U}(G)$</EquationSource> </InlineEquation>, provided that <i>G</i> belongs to a certain class of groups <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_710_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">$\mathcal{T}_{\mathcal{VLI}}$</EquationSource> </InlineEquation>, which contains in particular virtually-{locally indicable} groups that are the fundamental group of a graph of virtually free groups.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Universal Localizations, Atiyah Conjectures and Graphs of Groups

  • Pablo Sánchez-Peralta

摘要

Let G be a countable group that is the fundamental group of a graph of groups with finite edge groups and vertex groups satisfying 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 ∗-regular closure of K[G] in $\mathcal{U}(G)$ , $\mathcal{R}_{K[G]}$ , is a universal localization of the graph of rings associated to the graph of groups, where the rings are the corresponding ∗-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 as long as the edge groups are finite. We also infer some consequences on the structure of the K0 and K1-groups of $\mathcal{R}_{K[G]}$ . The techniques developed enable us to prove that K[G] fulfills the strong, algebraic and center-valued Atiyah conjectures, and that $\mathcal{R}_{K[G]}$ is the universal localization of K[G] over the set of all matrices that become invertible in $\mathcal{U}(G)$ , provided that G belongs to a certain class of groups $\mathcal{T}_{\mathcal{VLI}}$ , which contains in particular virtually-{locally indicable} groups that are the fundamental group of a graph of virtually free groups.