Pith. sign in

REVIEW 4 major objections 4 minor 28 references

Moyal Star-Product and Unitary Representations of the Euclidean Motion Group

T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper claims that the Moyal star-product on the cotangent bundle of a sphere reproduces the unitary irreducible representations of the Euclidean motion group M(3).

desk verdict A competent local star-product computation undermined by a false identification of rotations with translations at the load-bearing step. read the letter →

arxiv 1908.09044 v1 pith:BALODC63 submitted 2019-08-23 math-ph math.MPmath.RT

Alexander J. Balsomo , Job A. Nable This is my paper · ORCID
classification math-phmath.MPmath.RT MSC 22D1022E4553D55
keywords Moyalstar-productEuclideanmotiongroupunitaryirreduciblerepresentationscoadjointorbitscotangentbundleofthe2-spheredeformationquantizationstar-polarizationleftoperators
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper sets out to show that the Moyal star-product, a deformation of the pointwise product of functions on a symplectic manifold, can serve as a construction machine for the unitary irreducible representations of the Euclidean motion group $M(3)$, the group of rotations and translations of three-dimensional space. The computation takes place on the four-dimensional coadjoint orbit $T^*S^2_{\|\alpha\|}$, the cotangent bundle of a sphere, in a flat local chart where the relevant functions become linear. Left star-product operators and a partial Fourier transform produce the infinitesimal operators $\hat{l}_{E_i}=i\lambda s_i$ and $\hat{l}_{X_j}=-\partial/\partial s_j$ with $\lambda=\|\alpha\|$, matching the textbook infinitesimal representation. Exponentiating these operators is claimed to recover $U^\lambda_g f(s)=e^{i\lambda r\cdot s}f(R^{-1}s)$, the known complete family of unitary irreducible representations of $M(3)$.

What carries the argument

The engine is the covariant Moyal star-product $f\star g = fg + \sum_{r\ge1}\frac{1}{r!}\nu^rP^r(f,g)$, together with the covariance condition $[\tilde U,\tilde T]_\nu = \widetilde{[U,T]}$, which is what turns a star-product into a representation. Because the chosen flat coordinates make every $\tilde U$ linear, $P^r(\tilde U,\tilde T)=0$ for $r>1$, so covariance holds on the local chart. The left star-product operators $l_U(f)=\frac{1}{2\nu}\tilde U\star f$ carry the Lie algebra $m(3)$; a partial Fourier transform in the momentum variables turns them into the explicit differential operators of equation (45), locally of the form $\hat{l}_{E_i}=i\lambda s_i$ and $\hat{l}_{X_j}=-\partial/\partial s_j$. Exponentiating these operators is the step that is supposed to produce the unitary operators in equation (53), and star-polarization is the device used to cut the representation space down to $L^2(S^2)$.

What would settle it

A direct check of equation (49): take $j=3$, $f(s)=s_3$, and $s=(0,0,1)$ on the unit sphere. The definition (48) gives $(U^\lambda_{\exp x_3 X_3} f)(s)=\cos x_3$, while the translation formula gives $e^{-x_3\partial/\partial s_3}s_3 = 1 - x_3$ at $s_3=1$. The two differ at every nonzero $x_3$, so the claimed equivalence can be tested by this calculation.

Watch

Extended reading notes

Core claim

The central claim is that Moyal quantization on the coadjoint orbit reproduces the representation theory of $M(3)$ without invoking induced representations. In coordinates adapted to a flat neighborhood of a point of $T^*S^2_{\|\alpha\|}$, the covariant Moyal product makes the energy functions $\tilde U$ linear, so all higher bidifferential terms $P^r$ with $r>1$ vanish and the star-commutator equals the Poisson bracket. The left star-product operators $l_U(f)=\frac{1}{2\nu}\tilde U\star f$ then form a Lie algebra representation of $m(3)$; after the partial Fourier transform they become the explicit first-order operators displayed in equation (45), locally of the form $\hat{l}_{E_i}=i\lambda s_i$ and $\hat{l}_{X_j}=-\partial/\partial s_j$. Together with star-polarization, this is claimed to give exactly $U^\lambda_g f(s)=e^{i\lambda r\cdot s}f(R^{-1}s)$ with $\lambda=\|\alpha\|$, recovered by exponentiating $\hat{l}$ and using the Baker-Campbell-Hausdorff formula.

Load-bearing premise

The load-bearing premise is equation (49), which treats the rotation $\exp(-x_j X_j)$ acting on a point of the sphere as a coordinate translation by $-x_j$ units and therefore replaces the action by the Taylor exponential $e^{-x_j\partial/\partial s_j}$; rotations of a sphere are not translations, and $\partial/\partial s_j$ is not a globally defined vector field on $S^2$, so this identification carries the whole exponentiation step.

Editorial extensions

If this is right

  • If the construction is correct, the complete family $\{U^\lambda:\lambda>0\}$ of irreducible unitary representations of $M(3)$ is recovered from Moyal multiplication, with the radius $\lambda=\|\alpha\|$ of the coadjoint orbit playing the role of the representation parameter.
  • The same local-chart calculation supplies explicit first-order differential operators for the Lie algebra $m(3)$, making the infinitesimal representation concrete in coordinates rather than abstract.
  • Star-polarization reduces the representation space from $L^2(T^*S^2)$ to $L^2(S^2)$, matching the known representation space of $U^\lambda$ and giving a route to irreducibility.
  • The paper's concluding hint is that the method may work for semidirect products of a compact Lie group with a vector space, although the paper states that this generalization still needs to be formalized.
  • A byproduct of the construction is an explicit quantum algebra of functions on the tangent bundle of spheres, produced by the covariant star-product.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A repaired proof would need to replace the translation formula for rotations by a genuine differential operator on $S^2$; the paper's Cauchy-problem argument, as written, depends on that replacement, so the local star-product calculation and the recovery of $U^\lambda$ are not yet connected without it.
  • The covariance mechanism is tied to the chosen flat chart: on a chart where the energy functions are not linear, the higher bidifferential terms do not vanish, so whether a covariant Moyal product exists globally on $T^*S^2$ is an open, testable question raised by the paper's own coordinate-dependence caveat.
  • The star-polarization ansatz $f\star a=\chi(a)f$ could be applied systematically to other semidirect products $K\ltimes V$ to select the irreducible subspace on the homogeneous space $G/K$, giving an alternative to induced-representation constructions; the paper only hints at this generalization.
  • Since the same recipe was already run for $M(2)$, the next concrete test of the claimed program is the case of $M(4)$ on $T^*S^3$, where the paper's explicit formulas should be reproducible by the same flat-chart calculation.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. This paper proposes a deformation-quantization construction of the unitary irreducible representations of the three-dimensional Euclidean motion group M(3). Working on a coadjoint orbit identified with T*S^2_{||α||}, the authors introduce a local coordinate chart, define a Moyal star-product that they claim is covariant on the Lie algebra of energy functions of m(3), form left star-product operators, and conjugate by a partial Fourier transform to obtain Lie algebra operators. They then assert that exponentiating these operators, after using the Monodromy Theorem to globalize them, reproduces the standard unitary representation U^λ with λ=||α||, and that a star-polarization step reduces the representation space to L^2(S^2) and accounts for irreducibility. The central claim is that Moyal star-product quantization yields the unitary irreducible representations of M(3).

Significance. If the construction were valid, it would give an explicit orbit-method-style derivation of the well-known unitary representations of M(3) by deformation quantization, a class of groups not covered by the general Arnal-Cortet framework. The covariance computation in the local coordinates is explicit and elementary, and the paper is readable despite several notation issues. The authors also honestly state in the conclusion that the general validity of the procedure is only a hint and needs formalization. However, the route from the star-product algebra to the unitary operators contains load-bearing gaps: the local chart is not actually a chart of the sphere, equation (49) misidentifies rotations with translations, the globalization step is unjustified, and the star-polarization equations are internally inconsistent. These are not presentation issues but invalidate the claimed construction, so the paper does not currently support its advertised conclusion.

major comments (4)
  1. [§4.1, Eq. (27)] The local chart ψ1(t1,t2)=(||α||, ||α||^2 t1, ||α||^2 t2) does not map into the sphere S^2_{||α||}: its squared norm is ||α||^2 + ||α||^4(t1^2+t2^2), not ||α||^2. The geodesic computation (26) is effectively replaced by a first-order approximation through the statements 'we set ||v||=1, and sine and cosine expressions be equal to 1', so this is a tangent-plane parametrization rather than a chart of the sphere. Since the energy functions (31), the Hamiltonian vector field (32), the symplectic form (33), and the covariance computation (35) are all computed in this coordinate model, the local geometric setup on which the construction rests is not established.
  2. [§4.3, Eq. (49)] Equation (49) is false: it identifies the rotation exp(-x_j X_j) acting on s∈S^2 with a translation of the ambient coordinate s_j by -x_j. For example, with j=3 and s=(||α||,0,0), the point is fixed by exp(x_3 X_3), so the left-hand side of (49) equals f(s) for all x_3; with f(s)=s_3, the right-hand side e^{-x_3 ∂/∂s_3} f(s) equals -x_3 at s=(||α||,0,0). In fact ∂/∂s_j is not a tangent vector field on S^2, and rotations act by the vector fields generated by X_j, not by coordinate translations. Since the Cauchy-problem argument (50)-(52) and the reconstruction (53) use (49) as the bridge from the star-product operators to the unitary operators, the central claim that exponentiation of the \ hat l operators yields U^λ is unsupported.
  3. [§4.3, Eq. (46)] The passage from the local operator (45) to the 'categorical' operators (46) on all of L^2(S^2_{||α||}) is not justified. The multiplication operators i||α|| s_i are globally defined, but -∂/∂s_j is not a differential operator on S^2: the ambient coordinates s_j are not local coordinates near points where the tangent plane is spanned by other directions, and no transition functions between charts are given. The Monodromy Theorem is invoked without a precise statement or a verification that the locally defined operators agree on overlaps of a covering; simple-connectedness of S^2 alone does not convert a formula written in one tangent-plane chart into a global operator.
  4. [§4.4, Eqs. (55)-(57)] The star-polarization computation is internally inconsistent. From (31), the energy functions for E_i are ~E_1=||α||e_1, ~E_2=||α||^2 e_2 t_1, and ~E_3=||α||^2 e_3 t_2, not the uniform expression ||α||^2 e_i t_i used for all i. Equation (56) mixes indices: the left side contains ∂/∂s_j while the right side is (t_i-χ_i) and is asserted for i=1,2,3, although the chart has only t_1,t_2 and s_1,s_2, and ~E_1 contains no t_1. The proposed solution (57) has exponent proportional to s_2(t_1-χ_1)+s_1(t_2-χ_2), so its s_1- and s_2-derivatives are proportional to t_2-χ_2 and t_1-χ_1 respectively, which are interchanged relative to (56). Consequently (57) does not solve (56), and the claim that star-polarization reduces the representation space to L^2(S^2) is unsupported.
minor comments (4)
  1. [§2, Eq. (9)] The second and third exponentials in the displayed formula both contain θ1; they should presumably be θ2 and θ3, matching the parametrization in (4) and the reconstruction in (53).
  2. [§2, around Eqs. (7)-(8)] The sentence after (9) appears to reverse the roles of the two factors: in (5) the parameter r appears in the phase e^{iλ r·s}, corresponding to multiplication by iλQ, while the rotation R acts on the argument of f. The text says the exponential of the momentum operator iP gives translations and that of iλQ gives rotations; this should be clarified.
  3. [§4.1] The phrase 'since a 2-sphere is symplectic' is confusing: S^2 is symplectic for its area form, but the relevant symplectic manifold in this section is T*S^2, and the wording should be corrected.
  4. [Throughout] There are numerous typographical errors, including 'infinitisimal', 'Eucliden', 'bidiffrential', and the repeated θ1 in (9); a careful copyedit is needed.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the star-product operators are computed independently, and the known representation is used only as a final consistency check.

full rationale

The central derivation is self-contained up to the point where the left-star operators are computed: Section 4.3 obtains the operator lhat_U in (44)-(45) directly from the Moyal star-product on the local chart of T*S^2, after checking the covariance condition (19) in (35)-(36). The resulting local operators (46) are not defined in terms of the target unitary representation. The later use of the known U^lambda in (5), (47)-(53) is a verification step: the paper checks that the known representation satisfies the same Cauchy problem (52) generated by the star-product operators and invokes uniqueness of solutions. This is a consistency check rather than a circular derivation, even though the proof has serious mathematical gaps, e.g., equation (49) treats rotations on S^2 as translations in ambient coordinates; that is a correctness issue, not a circularity issue. The self-citations [18] and [21] are used only as a methodological outline and for the alpha=0 side case, respectively, and neither is load-bearing. No fitted parameter is renamed as a prediction, and no uniqueness theorem is imported from the authors' prior work. Accordingly, no circular step can be exhibited from the paper's own equations.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central derivation rests on standard symplectic geometry (Darboux, coadjoint orbits), a domain assumption about the coadjoint orbit structure of M(3), and several ad hoc assumptions specific to this paper, most critically the false identification of rotations with translations and the unproved globalization via Monodromy. No genuinely new physical entities are introduced.

assumptions (6)
  • standard math Darboux theorem guarantees a local flat coordinate system on the coadjoint orbit.
    Invoked in Section 3.2 to justify the existence of canonical coordinates (p,q) on a neighborhood of T*S^2.
  • domain assumption The coadjoint orbit for α≠0 is the cotangent bundle T*S^2_{‖α‖} and the base point F=‖α‖E*_1 is representative.
    Taken from reference [23, §19] in Section 3.1; no derivation is given within the paper.
  • domain assumption The Moyal star-product is covariant on the chosen chart, i.e., P^r(~U,~T)=0 for r>1 for the linear energy functions.
    This property, equation (19), is verified only locally in Section 4.2; the global extension is assumed via the Monodromy Theorem.
  • domain assumption Monodromy Theorem globalizes local operators to all of S^2.
    Asserted in Section 4.3 after equation (46) without a precise statement or proof; the local operators -∂/∂s_j are not globally defined vector fields.
  • ad hoc to paper Rotation on S^2 can be represented as a translation by -x_j units, giving e^{-x_j ∂/∂s_j}.
    This is the load-bearing error in equation (49). Rotations near a point on a sphere mix coordinates; they are not translations. This assumption is not justified and is in fact false.
  • domain assumption Star-polarization (54) yields irreducible subspaces and the solutions (57) have the stated form.
    The method is cited from [26], but the concrete solution (57) does not solve the equation (56) as written, due to index mismatches.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Moyal Star-Product and Unitary Representations of the Euclidean Motion Group." pith.science (2026). https://pith.science/paper/BALODC63

@misc{pith2026190809044,
  author       = {Pith},
  title        = {Pith review of: Moyal Star-Product and Unitary Representations of the Euclidean Motion Group},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BALODC63}},
  note         = {Machine review of arXiv:1908.09044}
}
read the original abstract

In this paper, the Moyal star-product quantization is used to construct the unitary irreducible representations of the Euclidean motion group on 3-dimensions. These unitary representations will come from the representation of its Lie algebra whose operators are defined by the left Moyal star-product multiplication. In fact, these representations of the Lie algebra is the infinitisimal representation. Hence, the exponentiation of these operators gives rise to unitary operators that defines the desired unitary representations.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

  1. [1]

    Miller, W. Jr. Lie Theory and Special Functions . New York: Academic Press, 1968. 14

    work page 1968

  2. [2]

    Special Functions and the Theory of Group Represen- tations

    Vilenkin, N.J. Special Functions and the Theory of Group Represen- tations. Providence, Rhode Island: American Mathematical Society , 1968

    work page 1968

  3. [3]

    Representations of Linear Groups

    Berndt, R. Representations of Linear Groups . Berlin: Friedr. Vieweg & Sohn Verlag, 2007

    work page 2007

  4. [4]

    Chirikjian, G. and A. Kyatkin. Engineering Applications of Noncom- mutative Harmonic Analysis . Boca Raton, Florida: CRC Press LLC, 2001

    work page 2001

  5. [5]

    Quantum Theory, Groups and Representations- An Introduc- tion

    Woit, P. Quantum Theory, Groups and Representations- An Introduc- tion. Cham, Switzerland: Springer, 2017

    work page 2017

  6. [6]

    On the principles of elementary quantum mechanics

    Groenewold, H. “On the principles of elementary quantum mechanics.” Physica 12 (1946), 405-460

    work page 1946

  7. [7]

    Deformation theory and quantization: I. Deformations of s ymplectic structures and II. Physical applications

    Bayen F., M. Flato, C. Fronsdal, A. Lichnerowicz and D. St ernheimer. “Deformation theory and quantization: I. Deformations of s ymplectic structures and II. Physical applications.” Ann. Phys. 111 (1978), 61- 110; 111-151

    work page 1978

  8. [8]

    Lectures on the Orbit Method

    Kirillov, A. Lectures on the Orbit Method . Providence, Rhode Island: American Mathematical Society, 2004

    work page 2004

Show all 28 references
  1. [9]

    ⋆ Products and Representations of Nilpotent Groups

    Arnal, D. “ ⋆ Products and Representations of Nilpotent Groups.” Pac. J. of Math. 114, no. 2 (1984), 285-308

    1984

  2. [10]

    ⋆-products in the method of orbits for nilpotent groups

    Arnal, D. and J.C. Cortet. “ ⋆-products in the method of orbits for nilpotent groups.” J. Geom. Phys. 2, no. 2 (1985), 83-116

    1985

  3. [11]

    Représentations ⋆ des groupes exponen- tiels

    Arnal, D. and J.C. Cortet. “Représentations ⋆ des groupes exponen- tiels.” J. Funct. Anal. 92, no. 1 (1990), 103-135

    1990

  4. [12]

    Weyl Transforms

    Wong, M.W. Weyl Transforms. New York: Springer-Verlag, Inc, 1998

    1998

  5. [13]

    Quantum mechanics as a statistical theory

    Moyal, J. “Quantum mechanics as a statistical theory.” Proc. Camb. Phil. Soc. 45 (1949), 99-124

    1949

  6. [14]

    Relativ istic quantum kinematics in the Moyal representation

    Cariñena J., Gracia-Bondía J. and J. Várilly. “Relativ istic quantum kinematics in the Moyal representation.” J. Phys. A: Math. Gen. 23, (1990) 901–933

    1990

  7. [15]

    The Moyal representa tion of spin

    Várilly J. and J. Gracia-Bondía. “The Moyal representa tion of spin.” Ann. Phys. 190 (1989), 107–148. 15

    1989

  8. [16]

    Fourier an alysis on the affine group, quantization and noncompact Connes geometries

    Gayral V., Gracia-Bondía J. and J. Várilly. “Fourier an alysis on the affine group, quantization and noncompact Connes geometries .” J. Noncommut. Geom. 2 (2008), 215–261

    2008

  9. [17]

    The Moyal r epresen- tation of quantum mechanics and special function theory

    Várilly J., Gracia-Bondía J. and W. Schempp. “The Moyal r epresen- tation of quantum mechanics and special function theory.” Acta Appl. Math. 11 (1990) 225–250

    1990

  10. [18]

    Deformation quantization in the teaching of Lie group representation

    Balsomo, A. and J. Nable. “Deformation quantization in the teaching of Lie group representation.” J. Geom. Symm. Phys. 49 (2018), 75-100

    2018

  11. [19]

    Wigner–Weyl correspondence and semiclass ical quantiza- tion in spherical coordinates

    Poirier, B. “Wigner–Weyl correspondence and semiclass ical quantiza- tion in spherical coordinates.” J. Math. Phys. 40 no. 12 (1999), 6302- 6318

    1999

  12. [20]

    Quantum half-planes v ia defor- mation quantization

    Do Ngoc Diep and Nguyen Viet Hai. “Quantum half-planes v ia defor- mation quantization.” Contributions to Algebra and Geometry 42, no. 2 (2001), 407-417

    2001

  13. [21]

    Deformation quantization and representati ons of the real rotation group

    Nable, J. “Deformation quantization and representati ons of the real rotation group.” Science Diliman 13, no. 1 (2001), 41-53

    2001

  14. [22]

    Quantum co-adjoint orbits of MD 4-groups

    Nguyen Viet Hai. “Quantum co-adjoint orbits of MD 4-groups.” Viet. J. Math 29, no. 2 (2001), 131-158

    2001

  15. [23]

    Guillemin, V. S. Sternberg. Symplectic Techniques in Physics . Cam- bridge: Cambridge University Press, 1984

    1984

  16. [24]

    Abraham, R. and J. Marsden. Foundations of Mechanics, 2nd ed . Redwood City, California: Addison-Wesley Publishing Comp any, Inc., 1978

    1978

  17. [25]

    Covari ance and geometrical invariance in quantization

    Arnal, D., J.C. Cortet, P. Molin and G. Pinczon. “Covari ance and geometrical invariance in quantization.” Lett. Math. Phys. 24, no. 2 (1983), 276-283

    1983

  18. [26]

    Some ideas about quantization

    Fronsdal, C. “Some ideas about quantization.” Rep. Math. Phys. 15, no. 1 (1978), 111-145

    1978

  19. [27]

    Quantization and Unitary Representation s

    Kostant, B. “Quantization and Unitary Representation s” in Lectures in Modern Analysis and Applications III , 170, 87-208 (1970). Springer- Verlag. 16

    1970

  20. [28]

    Star-polarization: a natural link betwee n phase space representation and operator representation of quantum mec hanics

    Huynh, T.V. “Star-polarization: a natural link betwee n phase space representation and operator representation of quantum mec hanics.” Lett. Math. Phys. 4 (1980), 201-208. Alexander J. Balsomo Department of Mathematics West Visayas State University Iloilo City, Philippines E-m...

    1980

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.