arxiv: 2604.08274 · v1 · submitted 2026-04-09 · 🧮 math.OA · math-ph· math.MP· math.QA

Recognition: 2 theorem links

· Lean Theorem

Kohn--Nirenberg quantization of the affine group and related examples

Lars Tuset, Pierre Bieliavsky, Sergey Neshveyev, Victor Gayral

Pith reviewed 2026-05-10 17:43 UTC · model grok-4.3

classification 🧮 math.OA math-phmath.MPmath.QA

keywords unitary dual 2-cocyclesKohn-Nirenberg quantizationsemidirect productsdouble crossed productsaffine groupFrobenius seaweedsdressing transformationssquare-integrable representations

0 comments

The pith

A class of semidirect products similar to the affine group admits unitary dual 2-cocycles via Kohn-Nirenberg quantization.

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

The paper constructs unitary dual 2-cocycles on semidirect products G = H ⋉ V that resemble the affine group Aff(V). It does so by rewriting G as a double crossed product G = P ⋈ N and applying a quantization procedure of Kohn-Nirenberg type. The procedure uses a scalar Fourier transform from L²(N) to L²(P) that intertwines the left regular representations of the factors through dressing transformations. A sympathetic reader cares because this supplies explicit cocycles for groups whose Lie algebras are Frobenius seaweeds, extending known quantization techniques to new families of groups.

Core claim

We show that any semidirect product G = H ⋉ V in the class can be presented as a double crossed product G = P ⋈ N with respect to which the unique square-integrable irreducible representation of G takes a particularly nice form. The associated Kohn-Nirenberg quantization is built from a scalar Fourier transform CF : L²(N) → L²(P) that intertwines the left regular representations of P and N with representations defined by the dressing transformations, thereby producing unitary dual 2-cocycles.

What carries the argument

The double crossed product presentation G = P ⋈ N together with the scalar Fourier transform from L²(N) to L²(P) that intertwines representations via dressing transformations.

If this is right

Explicit unitary dual 2-cocycles exist for all such semidirect products.
The quantization is directly determined by the Fourier transform on the factors of the double crossed product.
The construction applies in particular to Lie groups whose Lie algebras are Frobenius seaweeds.
The unique square-integrable irreducible representation acquires a form that supports the intertwining needed for the cocycle.

Where Pith is reading between the lines

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

One could test whether the same double crossed product technique produces cocycles when the group is not known to belong to the class.
The resulting cocycles might be used to deform the multiplication on functions or operators on these groups in a controlled way.
Similar Fourier-transform-based quantizations could be examined for other groups possessing a unique square-integrable irreducible representation.

Load-bearing premise

Every semidirect product in the class admits a double crossed product presentation in which the square-integrable irreducible representation allows the scalar Fourier transform to intertwine the actions of the two factors through dressing transformations.

What would settle it

A concrete group in the class for which no double crossed product presentation exists that lets the Fourier transform intertwine the representations via dressing transformations, or for which the resulting 2-cocycle fails to be unitary, would show the construction does not work.

read the original abstract

We show how to construct unitary dual $2$-cocycles for a class of semidirect products that exhibit many similarities with the affine group ${\rm Aff}(V)=\GL(V)\ltimes V$ of a finite dimensional vector space over a local skew field. The primary source of examples comes from Lie groups whose Lie algebras are Frobenius seaweeds. The construction builds on our earlier results and relies heavily on representation theory and an associated quantization procedure of Kohn--Nirenberg type. On the technical side, the key point is the observation that any semidirect product $G=H\ltimes V$ in our class can be presented as a double crossed product $G=P\bowtie N$ with respect to which the unique square-integrable irreducible representation of $G$ takes a particularly nice form. The Kohn--Nirenberg quantization that we construct is intimately related to a scalar Fourier transform $\CF\colon L^2(N)\to L^2(P)$ intertwining the left regular representations of $P$ and $N$ with representations defined by the dressing transformations.

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.

Desk Editor's Note private letter to a colleague

The paper gives a concrete construction of unitary dual 2-cocycles for semidirect products from Frobenius seaweed Lie algebras by recasting them as double crossed products and using a scalar Fourier transform to handle the intertwining in their Kohn-Nirenberg setup.

read the letter

The main point is that the authors show how to build unitary dual 2-cocycles for semidirect products from Frobenius seaweed Lie algebras by writing them as double crossed products and using a scalar Fourier transform in a Kohn-Nirenberg quantization. They do this by observing that any such G = H ⋉ V can be presented as G = P ⋈ N, making the unique square-integrable irrep take a form where the Fourier transform CF from L2(N) to L2(P) intertwines the left regular representations via dressing transformations. This seems like a useful structural device that lets them apply their earlier quantization results to get the cocycles. The paper stays focused on concrete examples in this family, which is a strength for readers looking for explicit constructions. The limitations are that the work is quite specialized and depends on the authors' previous papers for the core quantization procedure. The novelty comes mostly from the double crossed product reduction and the intertwining property rather than a broad new theory. Without the full details, it's unclear how complicated the resulting cocycle formulas are, but the abstract suggests they are manageable. No obvious problems with the logic or assumptions stand out. This paper is for people in operator algebras or noncommutative geometry who work with cocycles and quantizations of Lie groups. A reader already familiar with the affine group or similar semidirect products would see the value in these related examples. I would send it to peer review. The ideas are technically grounded and provide new concrete tools in a niche but active area.

Referee Report

0 major / 3 minor

Summary. The manuscript constructs unitary dual 2-cocycles for a class of semidirect products G = H ⋉ V that share structural features with the affine group Aff(V) = GL(V) ⋉ V over local skew fields, with primary examples drawn from Lie groups whose Lie algebras are Frobenius seaweeds. The central technical step is to realize any such G as a double crossed product G = P ⋈ N so that the unique square-integrable irreducible representation of G admits a form in which a scalar Fourier transform CF : L²(N) → L²(P) intertwines the left regular representations of P and N via dressing transformations; a Kohn–Nirenberg quantization is then built directly from this intertwining.

Significance. If the construction is correct, the paper supplies a concrete, representation-theoretic route to new families of unitary dual 2-cocycles and extends Kohn–Nirenberg quantization beyond the classical affine case. The explicit double-crossed-product presentation and the resulting intertwining property of the scalar Fourier transform constitute a reusable structural observation that strengthens the link between representation theory and quantization for these groups. The work appropriately acknowledges its dependence on the authors’ prior results while isolating the new ingredient.

minor comments (3)

[Section introducing double crossed product] §2 (or the section introducing the double crossed product): the precise definition of the dressing transformations and the verification that CF indeed intertwines the two regular representations should be stated as a numbered proposition or lemma with a self-contained proof sketch, rather than being left implicit in the narrative.
[Representation-theory preliminaries] The statement that G admits a “unique square-integrable irreducible representation” is used repeatedly; a brief reference to the theorem (or a short argument) establishing uniqueness for the Frobenius-seaweed examples would make the claim easier to check.
[Throughout] Notation for the cocycle σ and the quantization map should be introduced once, early, and used consistently; at present the same symbol appears with slightly different meanings in the abstract, the technical observation, and the final construction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the recognition of its structural contributions via double crossed products and the intertwining scalar Fourier transform, and the recommendation for minor revision. We are pleased that the work is viewed as extending Kohn–Nirenberg quantization in a reusable, representation-theoretic manner while appropriately building on prior results.

Circularity Check

1 steps flagged

Self-citation of prior quantization results with independent new structural presentation

specific steps

self citation load bearing [Abstract]
"The construction builds on our earlier results and relies heavily on representation theory and an associated quantization procedure of Kohn--Nirenberg type."

The Kohn-Nirenberg quantization step, which is central to producing the unitary dual 2-cocycles, is imported directly from the authors' prior publications rather than re-derived or independently justified here, creating a load-bearing dependency on self-cited material even though the double crossed product reformulation is presented as a new observation.

full rationale

The paper's core construction of unitary dual 2-cocycles relies on a Kohn-Nirenberg quantization procedure drawn from the authors' earlier work, as explicitly stated. However, the key technical step—reformulating the semidirect product as a double crossed product G=P⋈N to obtain a nice form for the square-integrable irrep and an intertwining scalar Fourier transform via dressing transformations—supplies fresh structural content not reducible to the prior results. No self-definitional equations, fitted predictions, or uniqueness theorems imported from self-citations appear in the provided text. This yields moderate self-citation dependence without the derivation collapsing by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on standard facts from representation theory of semidirect products and Lie groups; no free parameters or new invented entities are visible from the abstract.

axioms (2)

domain assumption Existence and uniqueness of a square-integrable irreducible representation for groups in the considered class
Invoked to guarantee the nice form under the double crossed product presentation.
standard math Standard properties of Kohn-Nirenberg quantization and dual 2-cocycles from prior literature
Used as the foundation for the new construction.

pith-pipeline@v0.9.0 · 5509 in / 1394 out tokens · 92695 ms · 2026-05-10T17:43:34.349066+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
any semidirect product G=H⋉V in our class can be presented as a double crossed product G=P⋈N ... scalar Fourier transform F:L²(N)→L²(P) intertwining ... dressing transformations
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Kohn–Nirenberg quantization ... unitary equivariant quantization map Op

Reference graph

Works this paper leans on

13 extracted references · 10 canonical work pages

[1]

P.Aniello,G.Cassinelli,E.DeVito,andA.Levrero,Square-integrability of induced representations of semidi- rect products, Rev. Math. Phys.10(1998), no. 3, 301-313,DOI:10.1142/S0129055X98000094. MR1626828

work page doi:10.1142/s0129055x98000094 1998
[2]

Bieliavsky, V

P. Bieliavsky, V. Gayral, S. Neshveyev, and L. Tuset,Quantization of subgroups of the affine group, J. Funct. Anal.280(2021), no. 4, Paper No. 108844, 52,DOI:10.1016/j.jfa.2020.108844. MR4179067

work page doi:10.1016/j.jfa.2020.108844 2021
[3]

,Quantization of locally compact groups associated with essentially bijective 1-cocycles, Internat. J. Math.35(2024), no. 8, Paper No. 2450027, 33,DOI:10.1142/S0129167X24500277. MR4762131

work page doi:10.1142/s0129167x24500277 2024
[4]

De Commer,Galois objects and cocycle twisting for locally compact quantum groups, J

K. De Commer,Galois objects and cocycle twisting for locally compact quantum groups, J. Operator Theory 66(2011), no. 1, 59–106. MR2806547

2011
[5]

Dergachev and A

V. Dergachev and A. Kirillov,Index of Lie algebras of seaweed type’, J. Lie Theory10(2000), no. 2, 331–343. MR1774864

2000
[6]

Duflo and C

M. Duflo and C. C. Moore,On the regular representation of a nonunimodular locally compact group, J. Funct. Anal.21(1976), no. 2, 209–243,DOI:10.1016/0022-1236(76)90079-3. MR0393335

work page doi:10.1016/0022-1236(76)90079-3 1976
[7]

Folland,A course in abstract harmonic analysis, Second, Textbooks in Mathematics, CRC Press, Boca Raton, FL, 2016

G. Folland,A course in abstract harmonic analysis, Second, Textbooks in Mathematics, CRC Press, Boca Raton, FL, 2016. MR3444405

2016
[8]

Gayral and V

V. Gayral and V. Marie,From projective representations to pentagonal cohomology via quantization, Lett. Math. Phys.114(2024), no. 1, Paper No. 11, 37,DOI:10.1007/s11005-023-01754-z. MR4685290

work page doi:10.1007/s11005-023-01754-z 2024
[9]

Kustermans and S Vaes,Locally compact quantum groups, Ann

J. Kustermans and S Vaes,Locally compact quantum groups, Ann. Sci. École Norm. Sup.33(2000), 837–934 33(2000), no. 6, 837–934,DOI:10.1016/S0012-9593(00)01055-7.1832993

work page doi:10.1016/s0012-9593(00)01055-7.1832993 2000
[10]

Scand.92(2003), 68–9292(2003), no

,Locally compact quantum groups in the von Neumann algebraic setting, Math. Scand.92(2003), 68–9292(2003), no. 1, 68–92,DOI:10.7146/math.scand.a-14394.1951446

work page doi:10.7146/math.scand.a-14394.1951446 2003
[11]

Medina,Structure of symplectic Lie groups and momentum map, Tohoku Math

A. Medina,Structure of symplectic Lie groups and momentum map, Tohoku Math. J. (2)67(2015), no. 3, 419–431,DOI:10.2748/tmj/1446818559. MR3420552

work page doi:10.2748/tmj/1446818559 2015
[12]

Journal1(2001), no

Panyushev,Inductive formulas for the index of seaweed Lie algebras, Moscow Math. Journal1(2001), no. 2, 221–241,DOI:10.17323/1609-4514-2001-1-2-221-241. MR1878277

work page doi:10.17323/1609-4514-2001-1-2-221-241 2001
[13]

Vaes and L

S. Vaes and L. Vainerman,Extensions of locally compact quantum groups and the bicrossed product construc- tion, Adv. Math.175(2003), no. 1, 1–101,DOI:10.1016/S0001-8708(02)00040-3. MR1970242 Email address:Pierre.Bieliavsky@uclouvain.be Institut de Recherche en Mathématique et Physique, Université Catholique de Louv ain, Chemin du Cyclotron, 2, 1348 Louv a...

work page doi:10.1016/s0001-8708(02)00040-3 2003