Quantization of locally compact groups associated with essentially bijective $1$-cocycles

"Essentially Bijective 1-Cocycles से संबद्ध Locally Compact Groups के Quantization" का तकनीकी सारांश

समस्या विवरण (Problem Statement)
यह शोध पत्र एक locally compact group $G$ के dual के deformation के माध्यम से locally compact quantum groups के निर्माण को संबोधित करता है। विशेष रूप से, एक locally compact groups के extension $0 \to V \to G \to Q \to 1$ को देखते हुए, जहाँ $V$ abelian है, लेखक $G$ पर एक unitary dual 2-cocycle $\Omega$ का निर्माण करना चाहते हैं। ऐसा cocycle पहचान $(\Omega \otimes 1)(\hat{\Delta} \otimes \iota)(\Omega) = (1 \otimes \Omega)(\iota \otimes \hat{\Delta})(\Omega)$ को संतुष्ट करता है और एक नया coproduct $\hat{\Delta}_\Omega = \Omega \hat{\Delta}(\cdot) \Omega^*$ परिभाषित करता है, जो एक locally compact quantum group $\hat{G}_\Omega$ प्रदान करता है।

यह कार्य पिछले सेटिंग्स का सामान्यीकरण करता है:

1. लेखकों के पूर्व कार्य [6, 8] में प्रस्तुत "dual orbit condition", जो विशिष्ट Lie groups पर लागू होता है और $Q$ तथा $\hat{V}$ के एक orbit के बीच measure class isomorphism की आवश्यकता रखता है।
2. Etingof और Gelaki [9] तथा Ben David और Ginosar [5] द्वारा bijective 1-cocycles का उपयोग करने वाले finite group constructions।

केंद्रीय चुनौती bijective 1-cocycles के finite group framework को locally compact groups के analytical setting में विस्तारित करना है, जहाँ bijectivity को "essential bijectivity" (measure class isomorphism) द्वारा प्रतिस्थापित किया जाता है, और सामान्य extensions (केवल semidirect products नहीं) को संभालना है जो $\beta \in Z^2(Q; V)$ द्वारा परिभाषित होते हैं।

कार्यप्रणाली (Methodology)
लेखक एक विशिष्ट irreducible projective representation और एक संगत quantization map के निर्माण पर आधारित एक रणनीति अपनाते हैं, जो infinite groups के लिए De Commer [7] के दृष्टिकोण का अनुसरण करती है।

1. सेटअप और अनुकूलता (Setup and Compatibility):

   • $\eta: Q \to \hat{V}$ एक continuous 1-cocycle है। इसे essentially bijective कहा जाता है यदि यह एक measure class isomorphism है।
   • $\beta \in Z^2(Q; V)$ extension $G$ को परिभाषित करता है।
   • एक compatibility condition आरोपित की जाती है: 3-cocycle $\psi \in Z^3(Q; \mathbb{T})$, जो $\psi(q_1, q_2, q_3) = e^{i\langle \eta(q_1^{-1}), \beta(q_2, q_3) \rangle}$ द्वारा परिभाषित है, cohomology में trivial ($[\psi] = [1]$) होना चाहिए। यह एक 2-cochain $b$ के अस्तित्व को सुनिश्चित करता है ताकि $\psi = \partial b$ हो।

2. Projective Representation:

   • $\eta$, $\beta$, और $b$ का उपयोग करके $G$ पर एक 2-cocycle $\omega$ का निर्माण किया जाता है।
   • एक irreducible, square-integrable projective unitary representation $\pi: G \to PU(L^2(Q))$ को स्पष्ट रूप से परिभाषित किया गया है। इस action में character $\eta$, cochain $b$, और $Q$ का modular function शामिल है।
   • यह सिद्ध किया गया है कि युग्म $(B(L^2(Q)), \text{Ad } \pi)$ एक $G$-Galois object है। यह action की ergodicity और integrability को सिद्ध करने और संबंधित Galois map की unitarity को स्थापित करने पर निर्भर करता है।

3. Quantization Map:

   • एक unitary operator $\text{Op}: L^2(G) \to \text{HS}(L^2(Q))$ का निर्माण किया जाता है। यह map $G$ के left regular representation को $\text{Ad } \pi$ के adjoint action के साथ intertwine करता है।
   • यह construction Kohn–Nirenberg प्रकार का है, जो abelian subgroup $V$ पर एक partial Fourier transform और essentially bijective cocycle $\eta$ द्वारा प्रेरित unitary isomorphism का उपयोग करता है।

4. Dual Cocycle और Multiplicative Unitary:

   • Galois object और quantization map का उपयोग करके, एक explicit formula के माध्यम से dual unitary 2-cocycle $\Omega$ प्राप्त किया जाता है।
   • Deformed quantum group का multiplicative unitary $\hat{W}_\Omega$ कंप्यूट किया गया है। इसे $(Q \times \hat{V}) \times (Q \times \hat{V})$ पर एक pentagonal transformation $v$ और एक pentagonal 2-cocycle $\Theta$ के संयोजन के रूप में व्यक्त किया गया है।

मुख्य परिणाम (Key Results)

1. Quantum Group की पहचान: Deformed quantum group $\hat{G}_\Omega$ को एक cocycle bicrossed product के रूप में पहचाना गया है। विशेष रूप से, यह semidirect product $Q \rtimes \hat{V}$ के भीतर subgroups के matched pair $(Q, Q_\eta)$ द्वारा परिभाषित quantum group के isomorphic है, जहाँ $Q_\eta = \{(q, \eta(q)) \mid q \in Q\}$।

   • यह locally compact quantum groups का एक short exact sequence प्रदान करता है: $1 \to \hat{Q} \to \hat{G}_\Omega \to Q_\eta \to 1$।

2. Explicit Formulas: यह शोध पत्र निम्नलिखित के लिए explicit formulas प्रदान करता है:

   • Fourier transform के संदर्भ में dual 2-cocycle $\Omega$।
   • $v$ और cocycle $\Theta$ के संदर्भ में multiplicative unitary $\hat{W}_\Omega$।
   • $v$ और $\Theta$ को $\eta$, cochain $b$, और 3-cocycle $\psi$ का उपयोग करके परिभाषित किया गया है।

3. Kac Cohomology के माध्यम से वर्गीकरण (Classification via Kac Cohomology):

   • यह construction $H^2(Q; \mathbb{T})$ cohomology group द्वारा parameterized dual cocycles का एक परिवार प्रदान करता है।
   • लेखक $H^2(Q; \mathbb{T}) \to H^2_{\text{pent}}(v; \mathbb{T})$ (जहाँ target matched pair की pentagonal cohomology है) के map का विश्लेषण करते हैं।
   • Injectivity Result: यदि $\eta$ एक coboundary है (अर्थात, $\eta(q) = q \cdot \xi_0 - \xi_0$), तो $H^2(Q; \mathbb{T})$ से pentagonal cohomology में जाने वाला map injective है। यह लेखकों के पिछले कार्य [8] में छोड़े गए एक प्रश्न का उत्तर देता है।
   • यदि $\eta$ एक coboundary नहीं है, तो map आवश्यक रूप से injective नहीं है; इसका kernel $Q \rtimes \hat{V}$ के cocycles के $Q$ पर restriction से संबंधित है।

महत्व और विस्तार (Significance and Scope)
यह शोध पत्र दावा करता है कि यह dual orbit condition और finite groups से परे ऐसे groups के class को महत्वपूर्ण रूप से विस्तारित करता है जिनमें ऐसे quantizations संभव हैं।

• सामान्यीकरण (Generalization): यह essentially bijective 1-cocycles और compatible extensions के framework के तहत finite group case (Etingof-Gelaki, Ben David-Ginosar) और Lie group case (dual orbit condition) को एकीकृत करता है।
• नए Structures: यह construction प्रत्येक involutive nondegenerate set-theoretical solution of the Yang–Baxter equation और अधिक व्यापक रूप से, प्रत्येक brace structure (Example 1.6 के माध्यम से) से locally compact quantum groups उत्पन्न करता है।
• तकनीकी योगदान (Technical Contribution): यह paper Galois property का एक streamlined verification प्रदान करता है जो function algebras के deformations पर निर्भर करने के बजाय, projective representation और quantization map के explicit construction का उपयोग करता है।
• ज्यामितीय व्याख्या (Geometric Interpretation): Lie groups के लिए, essential bijectivity $Q$ पर एक $Q$-invariant affine structure के अस्तित्व के संगत है।

यह कार्य नए प्रायोगिक अनुप्रयोगों का प्रस्ताव नहीं करता है, बल्कि विशिष्ट classes के locally compact quantum groups के निर्माण के लिए एक rigourous analytical framework स्थापित करता है, जो इन deformations के parameterization के संबंध में group cohomology के माध्यम से खुले प्रश्नों को हल करता है।