<p>Understanding the transition between the projective disk and Poincaré disk models is vital in various contexts, we propose analogous conversion from the Poincaré disk model to the projective disk model using a distinct approach. Within the framework of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2417_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {SL}(3,{\mathbb {R}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>SL</mtext> <mo stretchy="false">(</mo> <mn>3</mn> <mo>,</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> action from an Erlangen perspective, this paper explores the correspondence mapping between the Poincaré disk and the projective unit disk. We investigate the fixed subgroup of the projective unit circle in <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2417_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{R}\mathbb{P}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">R</mi> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> and under specific conditions, an isomorphism between the isotropy subgroup of the projective unit circle and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2417_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {PSL}(2,{\mathbb {R}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>PSL</mtext> <mo stretchy="false">(</mo> <mn>2</mn> <mo>,</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is established by using the Iwasawa decomposition of the Lie group <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2417_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {SL}(2,{\mathbb {R}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>SL</mtext> <mo stretchy="false">(</mo> <mn>2</mn> <mo>,</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. This results in mappings from the projective plane to the upper half planes of elliptic, parabolic, and hyperbolic types, each corresponding to the actions of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2417_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {SL}(2,{\mathbb {R}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>SL</mtext> <mo stretchy="false">(</mo> <mn>2</mn> <mo>,</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> geometry. Additionally, we derive a mapping from the projective disk to the conformal disk within the complex plane, which in turn provides a geometric interpretation of the resulting mapping. We anticipate that this conversion possesses the potential to reveal valuable insights, encouraging exploration of the multidimensional case as well.</p>

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

Projective Disk and Poincaré Disk: Exploring \(\text {SL}(3,{\mathbb {R}})\) Action from an Erlangen Perspective

  • Debapriya Biswas,
  • Ipsita Rajwar

摘要

Understanding the transition between the projective disk and Poincaré disk models is vital in various contexts, we propose analogous conversion from the Poincaré disk model to the projective disk model using a distinct approach. Within the framework of \(\text {SL}(3,{\mathbb {R}})\) SL ( 3 , R ) action from an Erlangen perspective, this paper explores the correspondence mapping between the Poincaré disk and the projective unit disk. We investigate the fixed subgroup of the projective unit circle in \(\mathbb{R}\mathbb{P}^2\) R P 2 and under specific conditions, an isomorphism between the isotropy subgroup of the projective unit circle and \(\text {PSL}(2,{\mathbb {R}})\) PSL ( 2 , R ) is established by using the Iwasawa decomposition of the Lie group \(\text {SL}(2,{\mathbb {R}})\) SL ( 2 , R ) . This results in mappings from the projective plane to the upper half planes of elliptic, parabolic, and hyperbolic types, each corresponding to the actions of \(\text {SL}(2,{\mathbb {R}})\) SL ( 2 , R ) geometry. Additionally, we derive a mapping from the projective disk to the conformal disk within the complex plane, which in turn provides a geometric interpretation of the resulting mapping. We anticipate that this conversion possesses the potential to reveal valuable insights, encouraging exploration of the multidimensional case as well.