2025-11-18T08:16:13.178067

Strongly Doubly Reversibile Pairs in Quaternionic Unitary Group of Signature $(n,1)$

Gongopadhyay, Kalane
Let $\PSp(n,1)$ denote the isometry group of quaternionic hyperbolic space $\h^n$. A pair of elements $(g_1,g_2)$ in $\PSp(n,1)$ is said to be \emph{strongly doubly reversible} if $(g_1,g_2)$ and $(g_1^{-1},g_2^{-1})$ belong to the same simultaneous conjugation orbit of $\PSp(n,1)$, and a conjugating element can be chosen to have order two. Equivalently, there exist involutions $i_1,i_2,i_3 \in \PSp(n,1)$ such that $g_1 = i_1 i_2,~ g_2 = i_1 i_3$. We prove that the set of such pairs has Haar measure zero in $\PSp(n,1) \times \PSp(n,1)$. The same result also holds for $\PSp(n) \times \PSp(n)$ for $n\geq 2$. In the special case $n=1$, we show that every pair of elements in $\PSp(1)$ is strongly doubly reversible. Using elementary quaternionic analysis for $\Sp(1)$, we also provide a very short proof of a theorem of Basmajian and Maskit, in Trans. Amer. Math. Soc. 364 (2012), no. 9, 5015--5033, which states that every pair of elements in ${\rm SO}(4)$ is strongly doubly reversible. Furthermore, we derive necessary conditions under which a pair of hyperbolic elements is strongly doubly reversible in $\PSp(1,1)$.
academic

চতুর্ভুজীয় একক গ্রুপে দৃঢ়ভাবে দ্বিগুণ বিপরীতযোগ্য জোড়া, স্বাক্ষর (n,1)(n,1)

মৌলিক তথ্য

  • পেপার আইডি: 2510.14735
  • শিরোনাম: চতুর্ভুজীয় একক গ্রুপে দৃঢ়ভাবে দ্বিগুণ বিপরীতযোগ্য জোড়া, স্বাক্ষর (n,1)(n,1)
  • লেখক: কৃষ্ণেন্দু গোঙ্গোপাধ্যায়, সাগর বি. কালানে
  • শ্রেণীবিভাগ: math.GR (গ্রুপ তত্ত্ব), math.GT (জ্যামিতিক টপোলজি)
  • জমা দেওয়ার সময়: ২০২৫ সালের ১৬ অক্টোবর
  • পেপার লিঙ্ক: https://arxiv.org/abs/2510.14735

সারসংক্ষেপ

এই পেপারটি চতুর্ভুজীয় অধিবৃত্তীয় স্থান Hn\mathbb{H}^n এর সমদূরবর্তী গ্রুপ PSp(n,1)PSp(n,1) এ দৃঢ়ভাবে দ্বিগুণ বিপরীতযোগ্য জোড়া অধ্যয়ন করে। যদি উপাদান জোড়া (g1,g2)(g_1,g_2) এবং (g1−1,g2−1)(g_1^{-1},g_2^{-1}) একই সমসংযুক্ত কক্ষপথে থাকে এবং সংযুক্ত উপাদানটি দ্বিতীয় ক্রমের উপাদান হিসাবে নির্বাচন করা যায়, তবে সেই জোড়াটিকে দৃঢ়ভাবে দ্বিগুণ বিপরীতযোগ্য বলা হয়। লেখকরা প্রমাণ করেছেন যে n≥2n \geq 2 এর জন্য, এই ধরনের জোড়াগুলি PSp(n,1)×PSp(n,1)PSp(n,1) \times PSp(n,1) এ হার পরিমাপ শূন্য সেট গঠন করে। বিশেষত, n=1n=1 হলে, PSp(1)PSp(1) এ প্রতিটি উপাদান জোড়া দৃঢ়ভাবে দ্বিগুণ বিপরীতযোগ্য, এবং এই ফলাফল ব্যবহার করে বাসমাজিয়ান-মাস্কিট উপপাদ্যের একটি সংক্ষিপ্ত প্রমাণ প্রদান করা হয়।

গবেষণা পটভূমি এবং প্রেরণা

সমস্যার পটভূমি

দৃঢ় বিপরীতযোগ্য উপাদান (যা দুটি অন্বলনের গুণফল হিসাবে প্রকাশ করা যায়) গ্রুপ তত্ত্ব এবং জ্যামিতিতে গুরুত্বপূর্ণ তাৎপর্য রাখে। অধিবৃত্তীয় জ্যামিতিতে, শাস্ত্রীয় ফলাফল দেখায় যে PSL(2,C)PSL(2,\mathbb{C}) এ যেকোনো দুটি উপাদান যা অ-মৌলিক উপগ্রুপ তৈরি করে তা ভাগ করা সাধারণ কারণের অন্বলনের গুণফল হিসাবে প্রকাশ করা যায়, অর্থাৎ অন্বলন i1,i2,i3i_1, i_2, i_3 বিদ্যমান যেমন A=i1i2A = i_1i_2, B=i1i3B = i_1i_3।

গবেষণা প্রেরণা

১. তাত্ত্বিক সম্প্রসারণ: শাস্ত্রীয় PSL(2,C)PSL(2,\mathbb{C}) ফলাফলকে চতুর্ভুজীয় অধিবৃত্তীয় সমদূরবর্তী গ্রুপে সম্প্রসারিত করা ২. জ্যামিতিক বোঝাপড়া: চতুর্ভুজীয় অধিবৃত্তীয় স্থানে সমদূরবর্তী রূপান্তরের অন্তর্নিহিত কাঠামো অন্বেষণ করা ३. পরিমাপ তত্ত্ব: গ্রুপে দৃঢ় দ্বিগুণ বিপরীতযোগ্য জোড়াগুলির বিতরণ বৈশিষ্ট্য অধ্যয়ন করা ४. শ্রেণীবিভাগ সমস্যা: অধিবৃত্তীয় উপাদানগুলির দৃঢ় দ্বিগুণ বিপরীতযোগ্যতার জন্য বিচার মানদণ্ড প্রদান করা

বিদ্যমান গবেষণার সীমাবদ্ধতা

  • বাসমাজিয়ান এবং মাস্কিট প্রমাণ করেছেন যে উচ্চ-মাত্রিক ক্ষেত্রে বেশিরভাগ জোড়া দৃঢ়ভাবে দ্বিগুণ বিপরীতযোগ্য নয়
  • চতুর্ভুজীয়ের অ-বিনিময়যোগ্যতা জটিল অধিবৃত্তীয় জ্যামিতির অনেক সরঞ্জাম সরাসরি প্রয়োগ করা অসম্ভব করে তোলে
  • ভালো ট্রেস ফাংশন বা সম্পূর্ণ সংযুক্ত অপরিবর্তনীয়ের অভাব

মূল অবদান

१. প্রধান উপপাদ্য: প্রমাণ করেছেন যে PSp(n,1)PSp(n,1) এ দৃঢ় দ্বিগুণ বিপরীতযোগ্য জোড়া হার পরিমাপ শূন্য সেট গঠন করে (n≥2n \geq 2) २. বিশেষ ক্ষেত্র: PSp(1)PSp(1) এ সমস্ত জোড়া দৃঢ়ভাবে দ্বিগুণ বিপরীতযোগ্য তা সম্পূর্ণভাবে চিহ্নিত করেছেন ३. প্রয়োগ ফলাফল: SO(4) এ প্রতিটি জোড়া দৃঢ়ভাবে দ্বিগুণ বিপরীতযোগ্যের একটি সংক্ষিপ্ত প্রমাণ প্রদান করেছেন ४. অধিবৃত্তীয় উপাদান বিশ্লেষণ: প্রমাণ করেছেন যে অধিবৃত্তীয় উপাদানের দ্বিগুণ বিপরীতযোগ্যতা দৃঢ় দ্বিগুণ বিপরীতযোগ্যতার সমতুল্য ५. প্রয়োজনীয় শর্ত: PSp(1,1)PSp(1,1) এ অধিবৃত্তীয় জোড়া দৃঢ়ভাবে দ্বিগুণ বিপরীতযোগ্য হওয়ার জন্য কার্তান কোণ অপরিবর্তনীয় শর্ত প্রদান করেছেন

পদ্ধতির বিস্তারিত বর্ণনা

কাজের সংজ্ঞা

গ্রুপ GG এ দৃঢ় দ্বিগুণ বিপরীতযোগ্য জোড়া অধ্যয়ন: (g1,g2)∈G×G(g_1, g_2) \in G \times G এর জন্য, যদি অন্বলন h∈Gh \in G (অর্থাৎ h2=1h^2 = 1) বিদ্যমান থাকে যেমন h(g1,g2)h−1=(g1−1,g2−1)h(g_1, g_2)h^{-1} = (g_1^{-1}, g_2^{-1}) তবে (g1,g2)(g_1, g_2) কে দৃঢ় দ্বিগুণ বিপরীতযোগ্য জোড়া বলা হয়।

মূল পদ্ধতি

१. মাত্রা গণনা পদ্ধতি

G=PSp(n,1)G = PSp(n,1) এবং তির্যক অন্বলন ss এর জন্য (s2=−Is^2 = -I সন্তুষ্ট করে), সহায়ক ক্রিয়া বিয়োজন ব্যবহার করে: g=g+1(s)⊕g−1(s)\mathfrak{g} = \mathfrak{g}_{+1}(s) \oplus \mathfrak{g}_{-1}(s)

যেখানে:

  • dim⁡Rg+1(s)=(n+1)2\dim_{\mathbb{R}} \mathfrak{g}_{+1}(s) = (n+1)^2 (কেন্দ্রীকারীর মাত্রা)
  • dim⁡Rg−1(s)=(n+1)(n+2)<dim⁡G\dim_{\mathbb{R}} \mathfrak{g}_{-1}(s) = (n+1)(n+2) < \dim G

२. চতুর্ভুজীয় বিশ্লেষণ পদ্ধতি

PSp(1)≅SO(3)PSp(1) \cong SO(3) এর জন্য, চতুর্ভুজীয়ের বিশেষ বৈশিষ্ট্য ব্যবহার করে:

  • প্রতিটি একক চতুর্ভুজ q=c1+c2jq = c_1 + c_2j অন্বলনের গুণফল হিসাবে লেখা যায়
  • সমীকরণ Re(c2e−iθ1)=0\text{Re}(c_2e^{-i\theta_1}) = 0 সমাধান করে সংযুক্ত উপাদান নির্মাণ করে

३. বৈশিষ্ট্যমূল্য বিশ্লেষণ

অধিবৃত্তীয় উপাদানের জন্য, তাদের কর্ণীয় রূপ ব্যবহার করে: A=CAEACA−1,EA=diag(reiθ,eiϕ1,…,eiϕn−1,r−1eiθ)A = C_A E_A C_A^{-1}, \quad E_A = \text{diag}(re^{i\theta}, e^{i\phi_1}, \ldots, e^{i\phi_{n-1}}, r^{-1}e^{i\theta})

প্রযুক্তিগত উদ্ভাবন বিন্দু

१. তির্যক অন্বলন কৌশল: s2=−Is^2 = -I এর তির্যক অন্বলন প্রক্ষেপণ গ্রুপে প্রকৃত অন্বলন হওয়ার বৈশিষ্ট্য ব্যবহার করে २. কার্তান কোণ অপরিবর্তনীয়: চতুর্ভুজীয় অধিবৃত্তীয় জ্যামিতিতে কোণ অপরিবর্তনীয় প্রবর্তন করে বিচার সরঞ্জাম হিসাবে ३. ব্লক বিশ্লেষণ: অধিবৃত্তীয় উপাদানের বৈশিষ্ট্যমূল্য কাঠামোর ব্লক প্রক্রিয়াকরণ

পরীক্ষামূলক সেটআপ

এই পেপারটি বিশুদ্ধ গণিত তাত্ত্বিক গবেষণা, প্রধানত কঠোর গাণিতিক প্রমাণের মাধ্যমে তাত্ত্বিক ফলাফল যাচাই করে, সংখ্যাগত পরীক্ষা জড়িত নয়।

যাচাইকরণ পদ্ধতি

१. গঠনমূলক প্রমাণ: PSp(1)PSp(1) ক্ষেত্রে স্পষ্ট নির্মাণ প্রদান করে २. পাল্টা উদাহরণ বিশ্লেষণ: নির্দিষ্ট উদাহরণের মাধ্যমে প্রয়োজনীয় শর্তের যথেষ্টতা অস্পষ্টতা প্রদর্শন করে ३. মাত্রা যুক্তি: বীজগণিত জ্যামিতির মাত্রা তত্ত্ব ব্যবহার করে পরিমাপ শূন্যতা প্রমাণ করে

প্রধান ফলাফল

উপপাদ্য १.२ (পরিমাপ শূন্যতা)

PSp(n,1)PSp(n,1) এ দৃঢ় দ্বিগুণ বিপরীতযোগ্য জোড়ার সেট PSp(n,1)×PSp(n,1)PSp(n,1) \times PSp(n,1) এ হার পরিমাপ শূন্য রাখে।

প্রমাণ কৌশল:

  • অন্বলন hh স্থির করে, সমীকরণ hgh−1=g−1hgh^{-1} = g^{-1} এর সমাধান সেটের মাত্রা dim⁡G\dim G এর চেয়ে কম
  • সমস্ত দৃঢ় দ্বিগুণ বিপরীতযোগ্য জোড়া প্রকৃত বীজগণিত উপসেট গঠন করে, তাই পরিমাপ শূন্য

উপপাদ্য ३.२ (সম্পূর্ণ বিপরীতযোগ্যতা)

PSp(1)PSp(1) এ যেকোনো দুটি উপাদান দৃঢ়ভাবে দ্বিগুণ বিপরীতযোগ্য।

প্রমাণ মূল বিষয়:

  • চতুর্ভুজীয় প্রতিনিধিত্ব p2=c1+c2jp_2 = c_1 + c_2j ব্যবহার করে
  • উপযুক্ত θ1\theta_1 নির্বাচন করে Re(c2e−iθ1)=0\text{Re}(c_2e^{-i\theta_1}) = 0 সন্তুষ্ট করে
  • সংযুক্ত উপাদান q=eiθ1jq = e^{i\theta_1}j নির্মাণ করে

উপপাদ্য ५.२ (অধিবৃত্তীয় উপাদান বৈশিষ্ট্য)

অধিবৃত্তীয় উপাদান A,B∈PSp(n,1)A, B \in PSp(n,1) এর জন্য, (A,B)(A,B) দ্বিগুণ বিপরীতযোগ্য যদি এবং শুধুমাত্র যদি এটি দৃঢ়ভাবে দ্বিগুণ বিপরীতযোগ্য হয়।

উপপাদ্য १.६ (প্রয়োজনীয় শর্ত)

PSp(1,1)PSp(1,1) এ A,BA, B কে অধিবৃত্তীয় উপাদান যাদের কোনো সাধারণ অপরিবর্তনীয় বিন্দু নেই, যদি A(aA,rA,aB)≠A(rA,aA,rB)\mathcal{A}(a_A, r_A, a_B) \neq \mathcal{A}(r_A, a_A, r_B) তবে AA এবং BB দৃঢ়ভাবে দ্বিগুণ বিপরীতযোগ্য হতে পারে না।

সম্পর্কিত কাজ

শাস্ত্রীয় ফলাফল

  • PSL(2,C) ক্ষেত্র: গোল্ডম্যান, মাস্কিট এবং অন্যদের শাস্ত্রীয় ফলাফল
  • বাস্তব অধিবৃত্তীয় ক্ষেত্র: PSL(2,R) এ অনুরূপ বৈশিষ্ট্য
  • উচ্চ-মাত্রিক সম্প্রসারণ: বাসমাজিয়ান-মাস্কিট উচ্চ-মাত্রিক মোবিয়াস গ্রুপের গবেষণা

জটিল অধিবৃত্তীয় জ্যামিতি

  • উইল PU(2,1) এ লক্সোড্রোমিক জোড়ার শ্রেণীবিভাগ
  • পপার্ট-উইল R-বিয়োজনযোগ্য জোড়ার সম্পূর্ণ শ্রেণীবিভাগ
  • রেন এবং অন্যরা C-বিয়োজনযোগ্য জোড়ার বর্ণনা

চতুর্ভুজীয় অধিবৃত্তীয় জ্যামিতি

  • ভুনিয়া-গোঙ্গোপাধ্যায় Sp(n,1) এ প্রতিটি উপাদান দুটি তির্যক অন্বলনের গুণফল হিসাবে প্রকাশযোগ্য সম্পর্কে ফলাফল
  • চেন-গ্রিনবার্গ অধিবৃত্তীয় উপাদান সংযুক্তি সম্পর্কে লেম্মা

উপসংহার এবং আলোচনা

প্রধান উপসংহার

१. পরিমাপ তাত্ত্বিক ফলাফল: নিম্ন-মাত্রিক বিশেষ ক্ষেত্র ছাড়া, দৃঢ় দ্বিগুণ বিপরীতযোগ্য জোড়া চতুর্ভুজীয় অধিবৃত্তীয় সমদূরবর্তী গ্রুপে বিরল २. সম্পূর্ণ শ্রেণীবিভাগ: PSp(1)≅SO(3)PSp(1) \cong SO(3) এ সম্পূর্ণ বিপরীতযোগ্যতা SO(4) ফলাফলের জন্য নতুন প্রমাণ প্রদান করে ३. জ্যামিতিক বিচার: কার্তান কোণ অপরিবর্তনীয় অধিবৃত্তীয় জোড়া দৃঢ় দ্বিগুণ বিপরীতযোগ্যতার জ্যামিতিক বিচার প্রদান করে

সীমাবদ্ধতা

१. যথেষ্টতার অভাব: প্রয়োজনীয় শর্তের বিপরীত সর্বদা সত্য নয় २. শ্রেণীবিভাগ কঠিনতা: চতুর্ভুজীয় অ-বিনিময়যোগ্যতা সম্পূর্ণ শ্রেণীবিভাগ কঠিন করে তোলে ३. গণনা জটিলতা: যেকোনো জোড়ার দৃঢ় দ্বিগুণ বিপরীতযোগ্যতা বিচারের জন্য কার্যকর অ্যালগরিদমের অভাব

ভবিষ্যত দিকনির্দেশনা

१. সম্পূর্ণ শ্রেণীবিভাগ: PSp(1,1)PSp(1,1) এ দৃঢ় দ্বিগুণ বিপরীতযোগ্য জোড়ার প্রয়োজনীয় এবং যথেষ্ট শর্ত খুঁজে বের করা २. অ্যালগরিদম উন্নয়ন: কার্যকর বিচার অ্যালগরিদম উন্নয়ন করা ३. সম্প্রসারণ গবেষণা: আরও সাধারণ চতুর্ভুজীয় হার্মিটিয়ান ফর্মে প্রসারিত করা ४. জ্যামিতিক প্রয়োগ: ত্রিভুজ গ্রুপ এবং বিচ্ছিন্ন গ্রুপ তত্ত্বে প্রয়োগ অন্বেষণ করা

গভীর মূল্যায়ন

সুবিধা

१. তাত্ত্বিক গভীরতা: শাস্ত্রীয় গ্রুপ তত্ত্ব ফলাফল সফলভাবে চতুর্ভুজীয় সেটিংয়ে সম্প্রসারিত করা २. পদ্ধতি উদ্ভাবন: লাই গ্রুপ তত্ত্ব, চতুর্ভুজীয় বিশ্লেষণ এবং বীজগণিত জ্যামিতি চতুরভাবে সংমিশ্রণ করা ३. ফলাফল সম্পূর্ণতা: সাধারণ তত্ত্ব থেকে নির্দিষ্ট বিচার শর্ত পর্যন্ত সম্পূর্ণ চিত্র প্রদান করা ४. প্রয়োগ মূল্য: পরিচিত ফলাফলের জন্য নতুন সংক্ষিপ্ত প্রমাণ প্রদান করা

প্রযুক্তিগত হাইলাইট

१. মাত্রা যুক্তি: লাই বীজগণিত বিয়োজনের মাত্রা গণনা মূল উদ্ভাবন २. চতুর্ভুজীয় কৌশল: চতুর্ভুজীয় সংযুক্ত সমীকরণের চতুর প্রক্রিয়াকরণ ३. জ্যামিতিক অন্তর্দৃষ্টি: কার্তান কোণ অপরিবর্তনীয়ের প্রবর্তন গভীর জ্যামিতিক বোঝাপড়া প্রতিফলিত করে

অপূর্ণতা

१. শর্ত সম্পূর্ণতা: কিছু প্রয়োজনীয় শর্ত যথেষ্টতার অভাব २. গণনা জটিলতা: বাস্তব বিচার এখনও কঠিন ३. সম্প্রসারণ সীমাবদ্ধতা: পদ্ধতি উচ্চতর মাত্রিক ক্ষেত্রে প্রয়োগযোগ্যতা সীমিত

প্রভাব মূল্যায়ন

१. তাত্ত্বিক অবদান: চতুর্ভুজীয় অধিবৃত্তীয় জ্যামিতির তাত্ত্বিক ভিত্তি সমৃদ্ধ করা २. পদ্ধতি মূল্য: প্রদত্ত প্রযুক্তি পদ্ধতি সম্পর্কিত সমস্যায় প্রয়োগযোগ্য হতে পারে ३. প্রয়োগ সম্ভাবনা: বিচ্ছিন্ন গ্রুপ তত্ত্ব এবং অধিবৃত্তীয় জ্যামিতিতে সম্ভাব্য প্রয়োগ

প্রযোজ্য পরিস্থিতি

१. তাত্ত্বিক গবেষণা: চতুর্ভুজীয় অধিবৃত্তীয় জ্যামিতি এবং সম্পর্কিত লাই গ্রুপ তত্ত্ব २. জ্যামিতিক বিশ্লেষণ: অধিবৃত্তীয় স্থানের সমদূরবর্তী রূপান্তর গবেষণা
३. বীজগণিত জ্যামিতি: বাস্তব বীজগণিত বৈচিত্র্যের পরিমাপ তত্ত্ব বিশ্লেষণ

তথ্যসূত্র

পেপারটি ১৮টি গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করে, যার মধ্যে রয়েছে:

  • বাসমাজিয়ান-মাস্কিটের যুগান্তকারী কাজ २
  • ভুনিয়া-গোঙ্গোপাধ্যায় চতুর্ভুজীয় অধিবৃত্তীয় সমদূরবর্তী সম্পর্কে মৌলিক ফলাফল ३
  • গোল্ডম্যান, মাস্কিট এবং অন্যদের শাস্ত্রীয় ক্ষেত্র সম্পর্কে গুরুত্বপূর্ণ কাজ ७,९
  • জটিল অধিবৃত্তীয় জ্যামিতিতে সম্পর্কিত শ্রেণীবিভাগ ফলাফল ११,१३,१७

এই পেপারটি চতুর্ভুজীয় অধিবৃত্তীয় জ্যামিতির এই বিশেষায়িত ক্ষেত্রে গুরুত্বপূর্ণ তাত্ত্বিক অবদান করেছে, বিশেষত দৃঢ় দ্বিগুণ বিপরীতযোগ্য জোড়ার পরিমাপ তাত্ত্বিক বৈশিষ্ট্য সম্পর্কে সম্পূর্ণ চিত্র প্রদান করেছে। যদিও অ্যালগরিদম এবং প্রয়োগ দিক থেকে উন্নতির অবকাশ রয়েছে, তবে এর তাত্ত্বিক গভীরতা এবং পদ্ধতি উদ্ভাবনী প্রকৃতি এটিকে এই ক্ষেত্রের একটি গুরুত্বপূর্ণ অগ্রগতি করে তোলে।