<p>We prove that for every <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1366_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>n</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </math></EquationSource> <EquationSource Format="TEX">$n\in \mathbb{N}$</EquationSource> </InlineEquation> such that <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1366_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </math></EquationSource> <EquationSource Format="TEX">$n\geq 2$</EquationSource> </InlineEquation>, the reduced group <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1366_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> <EquationSource Format="TEX">$C^{*}$</EquationSource> </InlineEquation>-algebras of the countable free groups <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1366_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msubsup> <mi>C</mi> <mi>r</mi> <mo>∗</mo> </msubsup> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$C^{*}_{r}(\mathbb{F}_{n})$</EquationSource> </InlineEquation> have strict comparison. Our method works in a general setting: for every finitely generated acylindrically hyperbolic group <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1366_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> <EquationSource Format="TEX">$G$</EquationSource> </InlineEquation> with trivial finite radical and the rapid decay property, we have <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1366_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msubsup> <mi>C</mi> <mi>r</mi> <mo>∗</mo> </msubsup> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$C^{*}_{r}(G)$</EquationSource> </InlineEquation> have strict comparison. This work also has several applications in the theory of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1366_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> <EquationSource Format="TEX">$C^{*}$</EquationSource> </InlineEquation>-algebras including: resolving Leonel Robert’s selflessness problem for <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1366_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msubsup> <mi>C</mi> <mi>r</mi> <mo>∗</mo> </msubsup> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$C^{*}_{r}(G)$</EquationSource> </InlineEquation>; uniqueness of embeddings of the Jiang-Su algebra <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1366_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Z</mi> </math></EquationSource> <EquationSource Format="TEX">$\mathcal{Z}$</EquationSource> </InlineEquation> up to approximate unitary equivalence into <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1366_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msubsup> <mi>C</mi> <mi>r</mi> <mo>∗</mo> </msubsup> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$C^{*}_{r}(G)$</EquationSource> </InlineEquation>; full computations of the Cuntz semigroup of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1366_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msubsup> <mi>C</mi> <mi>r</mi> <mo>∗</mo> </msubsup> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$C^{*}_{r}(G)$</EquationSource> </InlineEquation> and future directions in the <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1366_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> <EquationSource Format="TEX">$C^{*}$</EquationSource> </InlineEquation>-classification program.</p>

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

Strict comparison in reduced group \(C^{*}\)-algebras

  • Tattwamasi Amrutam,
  • David Gao,
  • Srivatsav Kunnawalkam Elayavalli,
  • Gregory Patchell

摘要

We prove that for every n N $n\in \mathbb{N}$ such that n 2 $n\geq 2$ , the reduced group C $C^{*}$ -algebras of the countable free groups C r ( F n ) $C^{*}_{r}(\mathbb{F}_{n})$ have strict comparison. Our method works in a general setting: for every finitely generated acylindrically hyperbolic group G $G$ with trivial finite radical and the rapid decay property, we have C r ( G ) $C^{*}_{r}(G)$ have strict comparison. This work also has several applications in the theory of C $C^{*}$ -algebras including: resolving Leonel Robert’s selflessness problem for C r ( G ) $C^{*}_{r}(G)$ ; uniqueness of embeddings of the Jiang-Su algebra Z $\mathcal{Z}$ up to approximate unitary equivalence into C r ( G ) $C^{*}_{r}(G)$ ; full computations of the Cuntz semigroup of C r ( G ) $C^{*}_{r}(G)$ and future directions in the C $C^{*}$ -classification program.