<p>We construct Zariski-dense surface subgroups in infinitely many commensurability classes of uniform lattices of the split real Lie groups <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3166_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {SL}(n,\mathbb {R})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>SL</mtext> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3166_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {Sp}(2n,\mathbb {R})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Sp</mtext> <mo stretchy="false">(</mo> <mn>2</mn> <mi>n</mi> <mo>,</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3166_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {SO}(k+1,k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>SO</mtext> <mo stretchy="false">(</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3166_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {G}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>G</mtext> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>. These subgroups are images of Hitchin representations. In particular, we show that every uniform lattice of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3166_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {Sp}(2n,\mathbb {R})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Sp</mtext> <mo stretchy="false">(</mo> <mn>2</mn> <mi>n</mi> <mo>,</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3166_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {SO}(k+1,k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>SO</mtext> <mo stretchy="false">(</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3166_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\equiv 1,2[4]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≡</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo stretchy="false">[</mo> <mn>4</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> and of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3166_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {G}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>G</mtext> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> contains infinitely many mapping class group orbits of Zariski-dense Hitchin representations of fixed genus. Together with Long and Thistlethwaite (Exp. Math. 27(1):82–92 2018) and Audibert (2022) it implies that all lattices of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3166_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {Sp}(4,\mathbb {R})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Sp</mtext> <mo stretchy="false">(</mo> <mn>4</mn> <mo>,</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> contain a Zariski-dense surface subgroup. This paper follows Audibert (2022), where we constructed Zariski-dense Hitchin representations in non-uniform lattices.</p>

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

Zariski-dense Hitchin representations in uniform lattices

  • Jacques Audibert

摘要

We construct Zariski-dense surface subgroups in infinitely many commensurability classes of uniform lattices of the split real Lie groups \(\text {SL}(n,\mathbb {R})\) SL ( n , R ) , \(\text {Sp}(2n,\mathbb {R})\) Sp ( 2 n , R ) , \(\text {SO}(k+1,k)\) SO ( k + 1 , k ) , and \(\text {G}_2\) G 2 . These subgroups are images of Hitchin representations. In particular, we show that every uniform lattice of \(\text {Sp}(2n,\mathbb {R})\) Sp ( 2 n , R ) , of \(\text {SO}(k+1,k)\) SO ( k + 1 , k ) with \(k\equiv 1,2[4]\) k 1 , 2 [ 4 ] and of \(\text {G}_2\) G 2 contains infinitely many mapping class group orbits of Zariski-dense Hitchin representations of fixed genus. Together with Long and Thistlethwaite (Exp. Math. 27(1):82–92 2018) and Audibert (2022) it implies that all lattices of \(\text {Sp}(4,\mathbb {R})\) Sp ( 4 , R ) contain a Zariski-dense surface subgroup. This paper follows Audibert (2022), where we constructed Zariski-dense Hitchin representations in non-uniform lattices.