Abstract:This article presents a differential groupoid with ``coaction'' of the groupoid underlying the
Quantum Euclidean Group (i.e. its $C^*$-algebra is the $C^*$-algebra of this quantum group).
The dual of the Lie algebroid is a Poisson manifold that can be identified with the space of oriented
lines in Euclidean space equipped with a Poisson action of the Poisson-Lie Euclidean group.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper aims to construct a differential groupoid related to the Quantum Euclidean Group and study the "coaction" on it. Specifically, the author attempts to define a differential groupoid \(Z\), whose structure can reflect the properties of the Quantum Euclidean Group, and understand the space of oriented lines in Euclidean space through this structure.
#### Main problems:
1. **Constructing the differential groupoid**: The main objective of the paper is to construct a differential groupoid \(Z\) such that it has the "coaction" of the Quantum Euclidean Group \(QE(n + 1)\). The base space of this groupoid can be identified as the space of oriented lines in Euclidean space.
2. **Duality of Poisson manifolds**: Through the above construction, the paper further explores the dual space of the Lie groupoid (i.e., the Poisson manifold) and proves that it can be identified as the space of oriented lines equipped with the Poisson - Lie Euclidean group action.
3. **Verification of the classical limit**: The paper also provides a partial verification of the classical limit of the constructed quantum space to ensure its rationality.
#### Specific technical problems:
- **Iwasawa decomposition**: The paper uses the Iwasawa decomposition of \(SO_0(1, n + 1)\) to define the Quantum Euclidean Group \(QE(n + 1)\). This involves the selection of subgroups \(B\) and \(C\) and their roles in the group \(G\).
- **Construction of the quotient groupoid**: In order to obtain the required differential groupoid \(Z\), the paper quotients \(GB\) by a subgroup \(B_0\) through right action, thus obtaining \(Z=GB / B_0\). Here, \(B_0\) is an embedded form of \(SO(n)\).
- **Specific description of the groupoid structure**: The paper describes in detail the groupoid structure on \(Z\), including the identity element, the inverse element, and the multiplication relationship, and shows how these structures reflect the geometric characteristics of the oriented lines in Euclidean space.
#### Application background:
- **Timelike oriented lines in Minkowski space**: The paper is inspired by previous research on timelike oriented lines in Minkowski space. These studies revealed a similar Poisson structure, suggesting that similar results can be sought in Euclidean space.
- **Quantum homogeneous spaces**: Ultimately, the paper hopes to show that the constructed space can be regarded as a quantum homogeneous space of the Quantum Euclidean Group, similar to the work on the κ - Poincaré group before.
In summary, this paper attempts to understand the space of oriented lines in Euclidean space and provide a quantization framework for it by constructing a specific differential groupoid \(Z\) combined with the structure of the Quantum Euclidean Group.