<p>We prove that all lattices of <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_979_Article_IEq1.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>, except those commensurable with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_979_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {Sp}(4k+2,\mathbb {Z})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Sp</mtext> <mo stretchy="false">(</mo> <mn>4</mn> <mi>k</mi> <mo>+</mo> <mn>2</mn> <mo>,</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_979_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(n=2k+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>2</mn> <mi>k</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, contain the image of infinitely many mapping class group orbits of Zariski-dense maximal representation that are continuous deformations of <i>maximal diagonal representations</i>. In particular, we show that <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_979_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="67" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {Sp}(4k,\mathbb {Z})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Sp</mtext> <mo stretchy="false">(</mo> <mn>4</mn> <mi>k</mi> <mo>,</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> contain Zariski-dense surface subgroups for all <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_979_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Maximal representations in lattices of the symplectic group

  • Jacques Audibert

摘要

We prove that all lattices of \(\text {Sp}(2n,\mathbb {R})\) Sp ( 2 n , R ) , except those commensurable with \(\text {Sp}(4k+2,\mathbb {Z})\) Sp ( 4 k + 2 , Z ) when \(n=2k+1\) n = 2 k + 1 , contain the image of infinitely many mapping class group orbits of Zariski-dense maximal representation that are continuous deformations of maximal diagonal representations. In particular, we show that \(\text {Sp}(4k,\mathbb {Z})\) Sp ( 4 k , Z ) contain Zariski-dense surface subgroups for all \(k\ge 1\) k 1 .