pith. sign in

arxiv: 2308.16366 · v2 · submitted 2023-08-30 · 🧮 math.RT

The double dihedral Dunkl total angular momentum algebra

Marcelo De Martino , Alexis Langlois-R\'emillard , Roy Oste This is my paper

Pith reviewed 2026-05-24 06:52 UTC · model grok-4.3

classification 🧮 math.RT
keywords Dunkl operatorstotal angular momentum algebradihedral groupstriangular decompositionfinite-dimensional representationsweight vectorsDunkl-Dirac operator
0
0 comments X

The pith

The double dihedral Dunkl total angular momentum algebra contains a subalgebra with a triangular decomposition that determines necessary weight conditions for its finite-dimensional irreducible representations.

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

The paper examines the Dunkl total angular momentum algebra when the underlying reflection group is a product of two dihedral groups in four dimensions. It establishes that a certain subalgebra admits a triangular decomposition analogous to that in semisimple Lie algebras. This decomposition is then used to derive precise conditions on the weights that any finite-dimensional irreducible representation must satisfy. In specific cases, including unitary representations, explicit bases of weight vectors are constructed with formulas for the action of all algebra elements. Such modules appear in the kernel of the Dunkl-Dirac operator as part of deformed Howe dual pairs.

Core claim

When the reflection group is the product of two dihedral groups acting on four-dimensional Euclidean space, a subalgebra of the total angular momentum algebra admits a triangular decomposition. This structure yields necessary conditions on the weights of finite-dimensional irreducible representations, and in particular cases including unitary representations it allows construction of a basis of weight vectors together with explicit formulas for the action of every element of the algebra.

What carries the argument

A subalgebra of the total angular momentum algebra that admits a triangular decomposition, which enables weight space analysis similar to semisimple Lie algebra theory.

If this is right

  • Finite-dimensional irreducible representations must obey specific necessary conditions in terms of their weights.
  • In unitary representations and other specific cases, there exist bases of weight vectors with explicit actions of all TAMA elements.
  • Examples of these modules arise in the kernel of the Dunkl-Dirac operator within deformations of Howe dual pairs.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This approach may generalize to other reflection groups where similar decompositions can be identified.
  • The explicit bases could facilitate computations of invariants or characters in related algebraic structures.
  • Connections to integrable systems or quantum mechanics models involving Dunkl operators might be explored through these representations.

Load-bearing premise

The reflection group for the Dunkl operators must be exactly the product of two dihedral groups on four-dimensional space to enable the triangular decomposition and weight analysis.

What would settle it

Finding a finite-dimensional irreducible representation whose weights violate the necessary conditions derived from the triangular subalgebra, or showing that no such subalgebra with triangular decomposition exists in this setting.

Figures

Figures reproduced from arXiv: 2308.16366 by Alexis Langlois-R\'emillard, Marcelo De Martino, Roy Oste.

Figure 1
Figure 1. Figure 1: Depiction of the h-weights in the Oκ-module given by the polynomial Dunkl monogenics of degree 1 associated with the group W = D6 ×D6 . On the left is the case where κ1 = 1/4,κ3 = −3/4, and on the right is how they are placed at κ = 0. In order for the vector v on the left to reduce to the one on the right, we define the order on t0-weights at κ = 0. Each cluster of three connected nodes represents a T￾sub… view at source ↗
Figure 2
Figure 2. Figure 2: Four chains of vectors from Theorem 5.6 in any finite-dimensional Oκ￾representation. Diagonal North-West links mean moving with L −+ 12; diagonal South￾West links mean moving with L −− 12; horizontal West with L − 1 , and vertical South with L − 2 . The integers N −+ 12, N −− 12, N − 1 and N − 2 are associated with their respective root. Proposition 5.8. Let M be a finite-dimensional Oκ-module and let µ ∈ … view at source ↗
Figure 3
Figure 3. Figure 3: An example of a triangle-representation basis with N = 2 reconstructed in Proposition 5.19. The horizontal teal lines are applications of L − 1 , and the vertical orange lines, of L + 2 , with the appropriate reflections. A node at (i, j) is the weight space of h-weight ( 1 2 + i + Q1(ℓ1 + 1 − 2N), 1 2 + j + Q2(ℓ2 + 1)). Acknowledgements Part of the results of this paper appeared in the doctoral thesis of … view at source ↗
read the original abstract

The Dunkl total angular momentum algebra (TAMA) is realised as the dual partner of the orthosymplectic Lie superalgebra containing the Dunkl deformation of the Dirac operator. In this paper, we consider the case when the reflection group associated with the Dunkl operators is a product of two dihedral groups acting on a four-dimensional Euclidean space. We show that in this case there is a subalgebra of the total angular momentum algebra that admits a triangular decomposition. In analogy to the celebrated theory of semisimple Lie algebras, we use this triangular subalgebra to give precise necessary conditions that a finite-dimensional irreducible representation must obey, in terms of weights. In specific cases, which includes unitary representations, we construct a basis of weight vectors with explicit actions of all TAMA elements. Examples of these modules occur in the kernel of the Dunkl--Dirac operator in the context of deformations of Howe dual pairs.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper studies the Dunkl total angular momentum algebra (TAMA) as the dual partner of an orthosymplectic Lie superalgebra containing the Dunkl-deformed Dirac operator. For the specific case in which the underlying reflection group is the product of two dihedral groups acting on four-dimensional Euclidean space, the manuscript asserts the existence of a subalgebra admitting a triangular decomposition. This subalgebra is then used, in direct analogy with the theory of semisimple Lie algebras, to derive necessary weight conditions on finite-dimensional irreducible representations; in selected cases (including unitary representations) explicit bases of weight vectors and actions of all TAMA generators are constructed. Examples are indicated to arise inside the kernel of the Dunkl–Dirac operator in the setting of deformed Howe dual pairs.

Significance. If the asserted triangular decomposition and the ensuing weight analysis hold, the work supplies a concrete representation-theoretic tool for a previously unexamined family of Dunkl operators. The explicit construction of bases in the unitary case would constitute a verifiable strengthening of the analogy with classical Lie-algebra theory and could be directly applicable to the study of kernels of Dunkl–Dirac operators.

minor comments (1)
  1. Only the abstract is supplied; consequently no derivations, explicit generators of the triangular subalgebra, or verification of the weight-space actions can be examined.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for noting the potential significance of the triangular decomposition and weight analysis for the double dihedral Dunkl TAMA. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No circularity detected; derivation self-contained in abstract

full rationale

Only the abstract is available, which describes a direct algebraic construction: realizing the TAMA as dual to an orthosymplectic superalgebra, then for the product of two dihedral groups showing a subalgebra with triangular decomposition and deriving weight conditions for finite-dimensional irreps by analogy with semisimple Lie algebras, plus explicit bases in specific cases. No equations, parameters, self-citations, or definitions are provided that reduce any claimed result to its inputs by construction. The central claim is a mathematical existence and classification result for a fixed group action, with no fitted inputs renamed as predictions or uniqueness theorems imported from prior self-work. This matches the default expectation of no significant circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the central claims rest on the choice of reflection group and the applicability of the triangular decomposition analogy.

pith-pipeline@v0.9.0 · 5658 in / 1100 out tokens · 17120 ms · 2026-05-24T06:52:39.481007+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages · 2 internal anchors

  1. [1]

    Dirac operators for the Dun kl angular momentum algebra

    K. Calvert and M. De Martino. “Dirac operators for the Dun kl angular momentum algebra”. SIGMA. Symmetry, Integrability Geom. Methods Appl. 18 (2022), p. 040

    work page 2022

  2. [2]

    Calvert, M

    K. Calvert, M. De Martino, and R. Oste. The centre of the Dunkl total angular momentum algebra . 2022. arXiv: 2207.11185

    work page arXiv 2022

  3. [3]

    Representations of the rational Cheredni k algebras of dihedral type

    T. Chmutova. “Representations of the rational Cheredni k algebras of dihedral type”. J. Algebra 297.2 (2006), pp. 542–565. doi: 10.1016/j.jalgebra.2005.12.024

    work page doi:10.1016/j.jalgebra.2005.12.024 2006

  4. [4]

    Ciubotaru, H

    D. Ciubotaru, H. De Bie, M. De Martino, and R. Oste. Deformations of unitary Howe dual pairs . 2020. arXiv: 2009.05412

    work page arXiv 2020

  5. [5]

    The Dunkl-Cherednik def ormation of a Howe duality

    D. Ciubotaru and M. De Martino. “The Dunkl-Cherednik def ormation of a Howe duality”. J. Algebra 560 (2020), pp. 914–959. doi: 10.1016/j.jalgebra.2020.05.034

    work page doi:10.1016/j.jalgebra.2020.05.034 2020

  6. [6]

    A Dirac–Dunkl Equat ion on S2 and the Bannai–Ito Algebra

    H. De Bie, V. X. Genest, and L. Vinet. “A Dirac–Dunkl Equat ion on S2 and the Bannai–Ito Algebra”. Comm. Maths. Phys 344.2 (2016), pp. 447–464. doi: 10.1007/s00220-016-2648-1

    work page doi:10.1007/s00220-016-2648-1 2016

  7. [7]

    The Zn 2 Dirac–Dunkl operator and a higher rank Bannai–Ito algebra

    H. De Bie, V. X. Genest, and L. Vinet. “The Zn 2 Dirac–Dunkl operator and a higher rank Bannai–Ito algebra”. Adv. Math. 303 (2016), pp. 390–414. doi: 10.1016/j.aim.2016.08.007

    work page doi:10.1016/j.aim.2016.08.007 2016

  8. [8]

    Finite-dimensional representations of the symmetry algebra of the dihedral Dunkl–Dirac operator

    H. De Bie, A. Langlois-Rémillard, R. Oste, and J. Van der J eugt. “Finite-dimensional representations of the symmetry algebra of the dihedral Dunkl–Dirac operator” . J. Algebra 591 (2022), pp. 170–216. doi: 10.1016/j.jalgebra.2021.09.025

    work page doi:10.1016/j.jalgebra.2021.09.025 2022

  9. [9]

    Generalised symmetries and bases for Dunkl monogenics

    H. De Bie, A. Langlois-Rémillard, R. Oste, and J. Van der J eugt. “Generalised symmetries and bases for Dunkl monogenics”. Rocky Mountain J. Math. 53.2 (2023), pp. 397–415. doi: 10.1216/rmj.2023.53.397

    work page doi:10.1216/rmj.2023.53.397 2023

  10. [10]

    On the algebra of symmetries of Laplace and Dirac operators

    H. De Bie, R. Oste, and J. Van der Jeugt. “On the algebra of symmetries of Laplace and Dirac operators”. Lett. Math. Phys. 108.8 (2018), pp. 1905–1953. doi: 10.1007/s11005-018-1065-0

    work page doi:10.1007/s11005-018-1065-0 2018

  11. [11]

    The total angula r momentum algebra related to the S3 Dunkl Dirac equation

    H. De Bie, R. Oste, and J. Van der Jeugt. “The total angula r momentum algebra related to the S3 Dunkl Dirac equation”. Ann. Physics 389 (2018), pp. 192–218. doi: 10.1016/j.aop.2017.12.015

    work page doi:10.1016/j.aop.2017.12.015 2018

  12. [12]

    Di ff erential-Diff erence Operators Associated to Reflection Groups

    C. F . Dunkl. “Di ff erential-Diff erence Operators Associated to Reflection Groups”. Trans. Amer. Math. Soc. 311.1 (1989), pp. 167–183. doi: 10.2307/2001022

    work page doi:10.2307/2001022 1989

  13. [13]

    Symplectic reflection alge bras, Calogero-Moser space, and deformed Harish-Chandra homomorphism

    P . Etingof and V. Ginzburg. “Symplectic reflection alge bras, Calogero-Moser space, and deformed Harish-Chandra homomorphism”. Invent. Math. 147.2 (2002), pp. 243–348. doi: 10.1007/s002220100171

    work page doi:10.1007/s002220100171 2002

  14. [14]

    Unitary representations of r ational Cherednik algebras

    P . Etingof and E. Stoica. “Unitary representations of r ational Cherednik algebras”. Represent. Theory 13.16 (2009), pp. 349–370. doi: 10.1090/S1088-4165-09-00356-2

    work page doi:10.1090/s1088-4165-09-00356-2 2009

  15. [15]

    On Dunkl angular momenta alg ebra

    M. Feigin and T. Hakobyan. “On Dunkl angular momenta alg ebra”. J. High Energ. Phys. 2015.11 (2015), p. 107. doi: 10.1007/JHEP11(2015)107

    work page doi:10.1007/jhep11(2015)107 2015

  16. [16]

    Dictionary on Lie Superalgebras

    L. Frappat, A. Sciarrino, and P . Sorba. Dictionary on Lie Algebras and Superalgebras . San Diego: Aca- demic Press, 2000. arXiv: hep-th/9607161

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  17. [17]

    A Remark on the Dunkl Di ff erential–Diff erence Operators

    G. J. Heckman. “A Remark on the Dunkl Di ff erential–Diff erence Operators”. Harmonic Analysis on Reductive Groups . Ed. by W. H. Barker and P . J. Sally. Birkhäuser Boston, 1991, pp. 181–191. doi: 10.1007/978-1-4612-0455-8_8

    work page doi:10.1007/978-1-4612-0455-8_8 1991

  18. [18]

    The space of Dunkl monogenics associated with Z3 2

    H.-W. Huang. “The space of Dunkl monogenics associated with Z3 2”. Nuclear Physics B 980 (2022), p. 115766. doi: https://doi.org/10.1016/j.nuclphysb.2022.115766

    work page doi:10.1016/j.nuclphysb.2022.115766 2022

  19. [19]

    J. E. Humphreys. Reflection groups and Coxeter groups . Cambridge Studies in Advanced Mathematics

    work page

  20. [20]

    Cambridge University Press, 1990. 204 pp

    work page 1990

  21. [21]

    Hidden symmetry of the quantum Calogero-Moser system

    V. B. Kuznetsov. “Hidden symmetry of the quantum Caloge ro-Moser system”. Physics Letters A 218.3 (1996), pp. 212–222. doi: https://doi.org/10.1016/0375-9601(96)00421-5. arXiv: solv-int/9509001. REFERENCES 34

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0375-9601(96)00421-5 1996

  22. [22]

    Topics in the representation theory of the Dunkl total angular momentum algebra

    A. Langlois-Rémillard. “Topics in the representation theory of the Dunkl total angular momentum algebra”. http://hdl.handle.net/1854/LU-01GZ3TW6VKZ7N9RQECDX4XBXXZ. PhD thesis. Ghent Uni- versity, 2023

    work page 2023

  23. [23]

    An exceptional sym metry algebra for the 3D Dirac–Dunkl opera- tor

    A. Langlois-Rémillard and R. Oste. “An exceptional sym metry algebra for the 3D Dirac–Dunkl opera- tor”. Lie Theory and Its Applications in Physics: V arna, Bulgaria, June 2019. Springer, 2020, pp. 399–405. doi: 10.1007/978-981-15-7775-8_30

    work page doi:10.1007/978-981-15-7775-8_30 2019

  24. [24]

    Projective Representations of Reflectio n Groups

    A. O. Morris. “Projective Representations of Reflectio n Groups”. Proc. Lond. Math. Soc. s3-32.3 (1976), pp. 403–420. doi: 10.1112/plms/s3-32.3.403

    work page doi:10.1112/plms/s3-32.3.403 1976

  25. [25]

    Projective Representations of Reflectio n Groups II

    A. O. Morris. “Projective Representations of Reflectio n Groups II”. Proc. Lond. Math. Soc. s3-40.3 (1980), pp. 553–576. doi: 10.1112/plms/s3-40.3.553

    work page doi:10.1112/plms/s3-40.3.553 1980

  26. [26]

    The Howe Duality for the Dunkl V ersion of the Dirac Operator

    B. Ørsted, P . Somberg, and V. Sou ček. “The Howe Duality for the Dunkl V ersion of the Dirac Operator”. Adv. Appl. Clifford Algebr. 19.2 (2009), pp. 403–415. doi: 10.1007/s00006-009-0166-3

    work page doi:10.1007/s00006-009-0166-3 2009

  27. [27]

    R. Oste. Supercentralizers for deformations of the Pin osp dual pair . 2021. arXiv: 2110.15337

    work page arXiv 2021

  28. [28]

    Über die Darstellung der symmetrischen und d er alternierenden Gruppe durch gebrochene lineare Substitutionen

    J. Schur. “Über die Darstellung der symmetrischen und d er alternierenden Gruppe durch gebrochene lineare Substitutionen.” J. Reine Angew. Math. 139 (1911), pp. 155–250. (Marcelo De Martino) Clifford Research Group, Department of Electronics and Inf ormation Systems, Faculty of Engineering and Architecture, Ghent University, Krijgsla an 281–S8, 9000 Gent,...

    work page 1911