<p>Let <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>p</mi> <mo>≥</mo> <mn>2</mn> </math></EquationSource> <EquationSource Format="TEX">$p\geq 2$</EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>q</mi> <mo>≥</mo> <mn>1</mn> </math></EquationSource> <EquationSource Format="TEX">$q\geq 1$</EquationSource> </InlineEquation> be any integers, and let <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">H</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msup> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{H}^{p,q}$</EquationSource> </InlineEquation> be the pseudo-Riemannian hyperbolic space of signature <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">(</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$(p,q)$</EquationSource> </InlineEquation>. We prove that if <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> <EquationSource Format="TEX">$\Gamma $</EquationSource> </InlineEquation> is the fundamental group of a closed aspherical <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq7.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>p</mi> </math></EquationSource> <EquationSource Format="TEX">$p$</EquationSource> </InlineEquation>-manifold, then the set of representations of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> <EquationSource Format="TEX">$\Gamma $</EquationSource> </InlineEquation> to <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">PO</mi> <mo stretchy="false">(</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">${\mathrm{PO}}(p,q+1)$</EquationSource> </InlineEquation> which are convex cocompact in <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">H</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msup> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{H}^{p,q}$</EquationSource> </InlineEquation> is a union of connected components of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="152" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Hom</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo>,</mo> <mi mathvariant="normal">PO</mi> <mo stretchy="false">(</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">${\mathrm{Hom}}(\Gamma ,{\mathrm{PO}}(p,q+1))$</EquationSource> </InlineEquation>. More generally, we show that if <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> <EquationSource Format="TEX">$\Gamma $</EquationSource> </InlineEquation> is any finitely generated group with no infinite nilpotent normal subgroups and with virtual cohomological dimension&#xa0;<InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq7.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>p</mi> </math></EquationSource> <EquationSource Format="TEX">$p$</EquationSource> </InlineEquation>, then the set of injective and discrete representations of <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> <EquationSource Format="TEX">$\Gamma $</EquationSource> </InlineEquation> to <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">PO</mi> <mo stretchy="false">(</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">${\mathrm{PO}}(p,q+1)$</EquationSource> </InlineEquation> preserving a non-degenerate non-positive <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">(</mo> <mi>p</mi> <mo>−</mo> <mn>1</mn> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$(p-1)$</EquationSource> </InlineEquation>-sphere in the boundary of <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">H</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msup> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{H}^{p,q}$</EquationSource> </InlineEquation> is a union of connected components of <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_719_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="152" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Hom</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo>,</mo> <mi mathvariant="normal">PO</mi> <mo stretchy="false">(</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">${\mathrm{Hom}}(\Gamma ,{\mathrm{PO}}(p,q+1))$</EquationSource> </InlineEquation>. This gives new examples of higher-dimensional higher-rank Teichmüller spaces.</p>

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

\(\mathbb{H}^{p,q}\)-Convex Cocompactness and Higher Higher Teichmüller Spaces

  • Jonas Beyrer,
  • Fanny Kassel

摘要

Let p 2 $p\geq 2$ and q 1 $q\geq 1$ be any integers, and let H p , q $\mathbb{H}^{p,q}$ be the pseudo-Riemannian hyperbolic space of signature ( p , q ) $(p,q)$ . We prove that if Γ $\Gamma $ is the fundamental group of a closed aspherical p $p$ -manifold, then the set of representations of Γ $\Gamma $ to PO ( p , q + 1 ) ${\mathrm{PO}}(p,q+1)$ which are convex cocompact in H p , q $\mathbb{H}^{p,q}$ is a union of connected components of Hom ( Γ , PO ( p , q + 1 ) ) ${\mathrm{Hom}}(\Gamma ,{\mathrm{PO}}(p,q+1))$ . More generally, we show that if Γ $\Gamma $ is any finitely generated group with no infinite nilpotent normal subgroups and with virtual cohomological dimension  p $p$ , then the set of injective and discrete representations of Γ $\Gamma $ to PO ( p , q + 1 ) ${\mathrm{PO}}(p,q+1)$ preserving a non-degenerate non-positive ( p 1 ) $(p-1)$ -sphere in the boundary of H p , q $\mathbb{H}^{p,q}$ is a union of connected components of Hom ( Γ , PO ( p , q + 1 ) ) ${\mathrm{Hom}}(\Gamma ,{\mathrm{PO}}(p,q+1))$ . This gives new examples of higher-dimensional higher-rank Teichmüller spaces.