<p>Given a number field <i>F</i> and a reductive group <i>G</i> over <i>F</i>,&#xa0; the unitary dual <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_IEq1.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widehat{G({\mathbb {A}}_F)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi>F</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="true">^</mo> </mover> </math></EquationSource> </InlineEquation> of the adelic group <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(G({\mathbb {A}}_F)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi>F</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and the Plancherel measure <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nu _{G({\mathbb {A}}_F)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ν</mi> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi>F</mi> </msub> <mo stretchy="false">)</mo> </mrow> </msub> </math></EquationSource> </InlineEquation> on it can be determined by the Plancherel measure of its local groups <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(G(F_v).\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <msub> <mi>F</mi> <mi>v</mi> </msub> <mo stretchy="false">)</mo> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Given a subset <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_IEq5.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\subset \widehat{G({\mathbb {A}}_F)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>⊂</mo> <mover accent="true"> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi>F</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="true">^</mo> </mover> </mrow> </math></EquationSource> </InlineEquation> of finite Plancherel measure, let <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_X\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mi>X</mi> </msub> </math></EquationSource> </InlineEquation> be the direct integral of the irreducible representations in <i>X</i>. Besides a <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(G({\mathbb {A}}_F)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi>F</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-module and a <i>G</i>(<i>F</i>)-module, <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_X\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mi>X</mi> </msub> </math></EquationSource> </InlineEquation> is also a module over the group von Neumann algebra <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {L}}(G(F)),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">L</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> hence there is a canonical dimension <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_IEq10.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="171" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dim _{{\mathcal {L}}(G(F))}H_X\in [0,\infty ).\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>dim</mo> <mrow> <mi mathvariant="script">L</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </msub> <msub> <mi>H</mi> <mi>X</mi> </msub> <mo>∈</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> It is proved that the Plancherel measure of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(G({\mathbb {A}}_F)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi>F</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> coincides with the dimension over the algebra <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {L}}(G(F))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">L</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>: <Equation ID="Equ13"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_Equ13.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="199" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \dim _{{\mathcal {L}}(G(F))}H_X=\nu _{G({\mathbb {A}}_F)}(X), \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mo>dim</mo> <mrow> <mi mathvariant="script">L</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </msub> <msub> <mi>H</mi> <mi>X</mi> </msub> <mo>=</mo> <msub> <mi>ν</mi> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi>F</mi> </msub> <mo stretchy="false">)</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>if <i>G</i> is semisimple, simply connected and <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3724_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(G({\mathbb {A}}_F)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi>F</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is equipped with the Tamagawa measure.</p>

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

Plancherel measures of reductive adelic groups and von Neumann dimensions

  • Jun Yang

摘要

Given a number field F and a reductive group G over F,  the unitary dual \(\widehat{G({\mathbb {A}}_F)}\) G ( A F ) ^ of the adelic group \(G({\mathbb {A}}_F)\) G ( A F ) and the Plancherel measure \(\nu _{G({\mathbb {A}}_F)}\) ν G ( A F ) on it can be determined by the Plancherel measure of its local groups \(G(F_v).\) G ( F v ) . Given a subset \(X\subset \widehat{G({\mathbb {A}}_F)}\) X G ( A F ) ^ of finite Plancherel measure, let \(H_X\) H X be the direct integral of the irreducible representations in X. Besides a \(G({\mathbb {A}}_F)\) G ( A F ) -module and a G(F)-module, \(H_X\) H X is also a module over the group von Neumann algebra \({\mathcal {L}}(G(F)),\) L ( G ( F ) ) , hence there is a canonical dimension \(\dim _{{\mathcal {L}}(G(F))}H_X\in [0,\infty ).\) dim L ( G ( F ) ) H X [ 0 , ) . It is proved that the Plancherel measure of \(G({\mathbb {A}}_F)\) G ( A F ) coincides with the dimension over the algebra \({\mathcal {L}}(G(F))\) L ( G ( F ) ) : \(\begin{aligned} \dim _{{\mathcal {L}}(G(F))}H_X=\nu _{G({\mathbb {A}}_F)}(X), \end{aligned}\) dim L ( G ( F ) ) H X = ν G ( A F ) ( X ) , if G is semisimple, simply connected and \(G({\mathbb {A}}_F)\) G ( A F ) is equipped with the Tamagawa measure.