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)$.
- पेपर ID: 2510.14735
- शीर्षक: चतुर्भुजीय एकात्मक समूह में दृढ़ता से द्विगुणतः प्रतिवर्ती युग्म, हस्ताक्षर (n,1)
- लेखक: कृष्णेंदु गोंगोपाध्याय, सागर बी. कलाने
- वर्गीकरण: math.GR (समूह सिद्धांत), math.GT (ज्यामितीय सांस्थिति)
- प्रस्तुति समय: 16 अक्टूबर 2025
- पेपर लिंक: https://arxiv.org/abs/2510.14735
यह पेपर चतुर्भुजीय अतिपरवलयिक समष्टि Hn के समदूरस्थ समूह PSp(n,1) में दृढ़ता से द्विगुणतः प्रतिवर्ती युग्मों का अध्ययन करता है। यदि तत्वों का युग्म (g1,g2) और (g1−1,g2−1) एक ही समकालीन संयुग्मन कक्षा में हैं, और संयुग्मन तत्व को द्वितीय क्रम के तत्व के रूप में चुना जा सकता है, तो इस युग्म को दृढ़ता से द्विगुणतः प्रतिवर्ती कहा जाता है। लेखकों ने सिद्ध किया कि n≥2 के लिए, ऐसे युग्म PSp(n,1)×PSp(n,1) में हार माप शून्य समुच्चय का निर्माण करते हैं। विशेष रूप से, जब n=1 हो, तो PSp(1) में प्रत्येक युग्म दृढ़ता से द्विगुणतः प्रतिवर्ती होता है, और इस परिणाम का उपयोग करके बास्मजियन-मास्किट प्रमेय का एक संक्षिप्त प्रमाण दिया जाता है।
दृढ़ता से प्रतिवर्ती तत्व (जो दो आक्षेपों के गुणनफल के रूप में व्यक्त किए जा सकते हैं) समूह सिद्धांत और ज्यामिति में महत्वपूर्ण महत्व रखते हैं। द्विपरवलयिक ज्यामिति में, शास्त्रीय परिणाम बताते हैं कि PSL(2,C) में कोई भी दो तत्व जो गैर-मौलिक उपसमूह उत्पन्न करते हैं, साझा सामान्य कारक वाले आक्षेपों के गुणनफल के रूप में व्यक्त किए जा सकते हैं, अर्थात् आक्षेप i1,i2,i3 मौजूद हैं जैसे कि A=i1i2, B=i1i3।
- सैद्धांतिक सामान्यीकरण: शास्त्रीय PSL(2,C) परिणामों को चतुर्भुजीय अतिपरवलयिक समदूरस्थ समूह तक विस्तारित करना
- ज्यामितीय समझ: चतुर्भुजीय अतिपरवलयिक समष्टि में समदूरस्थ रूपांतरों की आंतरिक संरचना का अन्वेषण
- माप सिद्धांत: समूह में दृढ़ता से द्विगुणतः प्रतिवर्ती युग्मों के वितरण विशेषताओं का अध्ययन
- वर्गीकरण समस्या: अतिपरवलयिक तत्वों की दृढ़ता से द्विगुणतः प्रतिवर्ती प्रकृति के लिए विभेदन शर्तें प्रदान करना
- बास्मजियन और मास्किट ने सिद्ध किया कि उच्च आयामी स्थितियों में अधिकांश युग्म दृढ़ता से द्विगुणतः प्रतिवर्ती नहीं हैं
- चतुर्भुजीय की गैर-क्रमविनिमेय प्रकृति जटिल अतिपरवलयिक ज्यामिति के कई उपकरणों को सीधे लागू करने में बाधा डालती है
- अच्छे ट्रेस फलन या संपूर्ण संयुग्मन अपरिवर्तनीयों की कमी
- मुख्य प्रमेय: सिद्ध किया कि PSp(n,1) में दृढ़ता से द्विगुणतः प्रतिवर्ती युग्म हार माप शून्य समुच्चय का निर्माण करते हैं (n≥2)
- विशेष स्थिति: PSp(1) में सभी युग्मों की पूर्ण विशेषता दी गई है कि वे दृढ़ता से द्विगुणतः प्रतिवर्ती हैं
- अनुप्रयोग परिणाम: SO(4) में प्रत्येक युग्म के दृढ़ता से द्विगुणतः प्रतिवर्ती होने का संक्षिप्त प्रमाण प्रदान किया
- अतिपरवलयिक तत्व विश्लेषण: सिद्ध किया कि अतिपरवलयिक तत्वों की द्विगुणतः प्रतिवर्ती प्रकृति दृढ़ता से द्विगुणतः प्रतिवर्ती प्रकृति के समतुल्य है
- आवश्यक शर्तें: PSp(1,1) में अतिपरवलयिक युग्मों के दृढ़ता से द्विगुणतः प्रतिवर्ती होने के लिए कार्टन कोण अपरिवर्तनीय शर्तें दीं
समूह G में दृढ़ता से द्विगुणतः प्रतिवर्ती युग्मों का अध्ययन: (g1,g2)∈G×G के लिए, यदि कोई आक्षेप h∈G (अर्थात् h2=1) मौजूद है जैसे कि
h(g1,g2)h−1=(g1−1,g2−1)
तो (g1,g2) को दृढ़ता से द्विगुणतः प्रतिवर्ती युग्म कहा जाता है।
G=PSp(n,1) और तिरछे आक्षेप s के लिए (s2=−I को संतुष्ट करते हुए), सहायक क्रिया विघटन का उपयोग करते हुए:
g=g+1(s)⊕g−1(s)
जहां:
- dimRg+1(s)=(n+1)2 (केंद्रीकारक का आयाम)
- dimRg−1(s)=(n+1)(n+2)<dimG
PSp(1)≅SO(3) के लिए, चतुर्भुजीय की विशेष गुणों का उपयोग करते हुए:
- प्रत्येक इकाई चतुर्भुजीय q=c1+c2j को आक्षेप गुणनफल के रूप में लिखा जा सकता है
- समीकरण Re(c2e−iθ1)=0 को हल करके संयुग्मन तत्व का निर्माण
अतिपरवलयिक तत्वों के लिए, उनके विकर्णीकृत रूप का उपयोग करते हुए:
A=CAEACA−1,EA=diag(reiθ,eiϕ1,…,eiϕn−1,r−1eiθ)
- तिरछे आक्षेप तकनीक: s2=−I के तिरछे आक्षेप के गुण का उपयोग करते हुए जो प्रक्षेपी समूह में सच्चे आक्षेप बन जाते हैं
- कार्टन कोण अपरिवर्तनीय: चतुर्भुजीय अतिपरवलयिक ज्यामिति में कोण अपरिवर्तनीयों को विभेदन उपकरण के रूप में प्रस्तुत करना
- ब्लॉक विश्लेषण: अतिपरवलयिक तत्वों की अभिलक्षणिक मान संरचना का ब्लॉक प्रसंस्करण
यह पेपर शुद्ध गणितीय सैद्धांतिक अनुसंधान है, मुख्य रूप से कठोर गणितीय प्रमाणों के माध्यम से सैद्धांतिक परिणामों को सत्यापित करता है, संख्यात्मक प्रयोगों में शामिल नहीं है।
- रचनात्मक प्रमाण: PSp(1) स्थिति के लिए स्पष्ट निर्माण दिया गया है
- प्रतिउदाहरण विश्लेषण: ठोस उदाहरणों के माध्यम से आवश्यक शर्तों की पर्याप्तता का प्रदर्शन
- आयाम तर्क: बीजगणितीय ज्यामिति के आयाम सिद्धांत का उपयोग करके माप शून्य गुण का प्रमाण
PSp(n,1) में दृढ़ता से द्विगुणतः प्रतिवर्ती युग्मों का समुच्चय PSp(n,1)×PSp(n,1) में हार माप शून्य रखता है।
प्रमाण रणनीति:
- आक्षेप h को निश्चित करते हुए, समीकरण hgh−1=g−1 के समाधान समुच्चय का आयाम dimG से कम है
- सभी दृढ़ता से द्विगुणतः प्रतिवर्ती युग्म सच्चे बीजगणितीय उपसमुच्चय का निर्माण करते हैं, इसलिए माप शून्य है
PSp(1) में कोई भी दो तत्व दृढ़ता से द्विगुणतः प्रतिवर्ती होते हैं।
प्रमाण मुख्य बिंदु:
- चतुर्भुजीय प्रतिनिधित्व p2=c1+c2j का उपयोग करते हुए
- उपयुक्त θ1 चुनकर जैसे कि Re(c2e−iθ1)=0
- संयुग्मन तत्व q=eiθ1j का निर्माण
अतिपरवलयिक तत्वों A,B∈PSp(n,1) के लिए, (A,B) द्विगुणतः प्रतिवर्ती है यदि और केवल यदि यह दृढ़ता से द्विगुणतः प्रतिवर्ती है।
मान लीजिए A,B PSp(1,1) में कोई सामान्य अचल बिंदु न रखने वाले अतिपरवलयिक तत्व हैं, यदि
A(aA,rA,aB)=A(rA,aA,rB)
तो A और B दृढ़ता से द्विगुणतः प्रतिवर्ती नहीं हो सकते।
- PSL(2,C) स्थिति: गोल्डमैन, मास्किट आदि के शास्त्रीय परिणाम
- वास्तविक अतिपरवलयिक स्थिति: PSL(2,R) में समान गुण
- उच्च आयामी सामान्यीकरण: बास्मजियन-मास्किट द्वारा उच्च आयामी मोबियस समूहों पर अनुसंधान
- PU(2,1) में लॉक्सोड्रोमिक युग्मों का विल द्वारा वर्गीकरण
- R-विघटनीय युग्मों का पॉपर्ट-विल द्वारा संपूर्ण वर्गीकरण
- C-विघटनीय युग्मों का रेन आदि द्वारा विवरण
- Sp(n,1) में प्रत्येक तत्व को दो तिरछे आक्षेपों के गुणनफल के रूप में व्यक्त करने पर भूनिया-गोंगोपाध्याय का कार्य
- अतिपरवलयिक तत्वों की संयुग्मन पर चेन-ग्रीनबर्ग की लेम्मा
- माप सैद्धांतिक परिणाम: निम्न आयामी विशेष स्थितियों को छोड़कर, दृढ़ता से द्विगुणतः प्रतिवर्ती युग्म चतुर्भुजीय अतिपरवलयिक समदूरस्थ समूहों में दुर्लभ हैं
- संपूर्ण वर्गीकरण: PSp(1)≅SO(3) में संपूर्ण प्रतिवर्तीता SO(4) परिणामों के लिए नया प्रमाण प्रदान करती है
- ज्यामितीय विभेदन: कार्टन कोण अपरिवर्तनीय अतिपरवलयिक युग्मों की दृढ़ता से द्विगुणतः प्रतिवर्ती प्रकृति के लिए ज्यामितीय विभेदन प्रदान करते हैं
- पर्याप्तता की कमी: आवश्यक शर्तों का विपरीत हमेशा सत्य नहीं होता है
- वर्गीकरण कठिनाई: चतुर्भुजीय की गैर-क्रमविनिमेय प्रकृति संपूर्ण वर्गीकरण को कठिन बनाती है
- गणना जटिलता: किसी भी युग्म की दृढ़ता से द्विगुणतः प्रतिवर्ती प्रकृति के विभेदन के लिए प्रभावी एल्गोरिदम की कमी
- संपूर्ण वर्गीकरण: PSp(1,1) में दृढ़ता से द्विगुणतः प्रतिवर्ती युग्मों के आवश्यक और पर्याप्त शर्तें खोजना
- एल्गोरिदम विकास: प्रभावी विभेदन एल्गोरिदम विकसित करना
- सामान्यीकरण अनुसंधान: अधिक सामान्य चतुर्भुजीय हर्मिटियन रूपों तक विस्तार
- ज्यामितीय अनुप्रयोग: त्रिकोणीय समूहों और विविक्त समूह सिद्धांत में अनुप्रयोगों का अन्वेषण
- सैद्धांतिक गहराई: शास्त्रीय समूह सिद्धांत परिणामों को चतुर्भुजीय सेटिंग तक सफलतापूर्वक विस्तारित करना
- विधि नवाचार: लाई समूह सिद्धांत, चतुर्भुजीय विश्लेषण और बीजगणितीय ज्यामिति को कुशलतापूर्वक जोड़ना
- परिणाम पूर्णता: सामान्य सिद्धांत से ठोस विभेदन शर्तों तक संपूर्ण चित्र प्रदान करना
- अनुप्रयोग मूल्य: ज्ञात परिणामों के लिए नए संक्षिप्त प्रमाण प्रदान करना
- आयाम तर्क: लाई बीजगणित विघटन के आयाम गणना की मुख्य नवाचार है
- चतुर्भुजीय तकनीकें: चतुर्भुजीय संयुग्मन समीकरणों का कुशल प्रबंधन
- ज्यामितीय अंतर्दृष्टि: कार्टन कोण अपरिवर्तनीय का परिचय गहरी ज्यामितीय समझ को दर्शाता है
- शर्त पूर्णता: कुछ आवश्यक शर्तें पर्याप्तता की कमी रखती हैं
- गणना जटिलता: व्यावहारिक विभेदन अभी भी कठिन है
- सामान्यीकरण सीमाएं: विधि उच्च आयामी स्थितियों के लिए सीमित प्रयोज्यता रखती है
- सैद्धांतिक योगदान: चतुर्भुजीय अतिपरवलयिक ज्यामिति के सैद्धांतिक आधार को समृद्ध करना
- विधि मूल्य: प्रदान की गई तकनीकें संबंधित समस्याओं पर लागू हो सकती हैं
- अनुप्रयोग संभावनाएं: विविक्त समूह सिद्धांत और अतिपरवलयिक ज्यामिति में संभावित अनुप्रयोग
- सैद्धांतिक अनुसंधान: चतुर्भुजीय अतिपरवलयिक ज्यामिति और संबंधित लाई समूह सिद्धांत
- ज्यामितीय विश्लेषण: अतिपरवलयिक समष्टि के समदूरस्थ रूपांतरों का अनुसंधान
- बीजगणितीय ज्यामिति: वास्तविक बीजगणितीय विविधताओं का माप सैद्धांतिक विश्लेषण
पेपर 18 महत्वपूर्ण संदर्भों का हवाला देता है, जिनमें शामिल हैं:
- बास्मजियन-मास्किट का अग्रणी कार्य 2
- चतुर्भुजीय अतिपरवलयिक समदूरस्थों पर भूनिया-गोंगोपाध्याय के मौलिक परिणाम 3
- गोल्डमैन, मास्किट आदि द्वारा शास्त्रीय स्थिति पर महत्वपूर्ण कार्य 7,9
- जटिल अतिपरवलयिक ज्यामिति में संबंधित वर्गीकरण परिणाम 11,13,17
यह पेपर चतुर्भुजीय अतिपरवलयिक ज्यामिति के इस विशेष क्षेत्र में महत्वपूर्ण सैद्धांतिक योगदान देता है, विशेष रूप से दृढ़ता से द्विगुणतः प्रतिवर्ती युग्मों के माप सैद्धांतिक गुणों के संबंध में संपूर्ण चित्र प्रदान करता है। यद्यपि एल्गोरिदम और अनुप्रयोग पहलुओं में सुधार की गुंजाइश है, लेकिन इसकी सैद्धांतिक गहराई और विधि नवाचार इसे इस क्षेत्र में महत्वपूर्ण प्रगति बनाते हैं।