A groupoidal description of elementary particles

Alberto Ibort; Arnau Mas; Giuseppe Marmo; Luca Schiavone

arxiv: 2506.14296 · v3 · submitted 2025-06-17 · 🧮 math-ph · math.DG· math.MP

A groupoidal description of elementary particles

Alberto Ibort , Giuseppe Marmo , Arnau Mas , Luca Schiavone This is my paper

Pith reviewed 2026-05-19 09:47 UTC · model grok-4.3

classification 🧮 math-ph math.DGmath.MP

keywords kinematical groupoidsWigner groupoidelementary particlesprojective representationsMackey theoryspace-time symmetriescurved space-timesWigner classification

0 comments

The pith

Elementary particles are classified as irreducible projective representations of the Wigner groupoid on any space-time.

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

The paper sets out to extend Wigner's classification of elementary particles from flat Minkowski space-time to general curved space-times. It replaces the Poincaré group with a kinematical groupoid, specifically the Wigner groupoid, and defines elementary particles through the irreducible projective representations of this groupoid. An extension of Mackey's theory is developed to show that these representations correspond directly to projective representations of the isotropy groups at each point. The resulting classification recovers the familiar mass and spin quantum numbers on flat space while adding a new family of massless representations that appear only when a magnetic-like background is present. A reader would care because the approach supplies a symmetry-based language for particles that does not require the space-time to admit a large isometry group.

Core claim

By choosing a natural kinematical groupoid associated with any space-time, called the Wigner groupoid, the authors demonstrate that irreducible projective representations are characterized by quantum numbers similar to those of the Poincaré group. The classification largely reproduces Wigner's standard list on Minkowski space-time, while a new family of representations emerges that corresponds to massless particles in the presence of a magnetic-like background field.

What carries the argument

The Wigner groupoid, a transitive Lie groupoid with connected isotropy groups, together with the extended Mackey correspondence that places its projective representations in one-to-one correspondence with those of the isotropy groups.

If this is right

On Minkowski space-time the construction recovers the standard massive and massless particles together with their spin and helicity quantum numbers.
A new family of representations appears that describes massless particles coupled to a magnetic-like background field.
The same quantum-number classification applies to any space-time for which the Wigner groupoid is well-defined.
Projective representations of the groupoid are completely determined by ordinary projective representations of its isotropy groups.

Where Pith is reading between the lines

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

The framework opens the possibility of labeling particle states directly on metrics that lack global Killing vectors.
It may supply a route to consistent single-particle descriptions in backgrounds where standard Poincaré symmetry is broken but local isotropy groups remain well-behaved.
One could test the new massless representations by examining wave equations on space-times with prescribed magnetic-like fields and checking whether additional degrees of freedom appear at zero mass.

Load-bearing premise

The Wigner groupoid is the correct kinematical groupoid for an arbitrary space-time and its transitive Lie groupoid structure with connected isotropy groups permits direct application of the extended Mackey correspondence.

What would settle it

A concrete counter-example would be an explicit curved space-time with a magnetic-like background in which the irreducible projective representations of the Wigner groupoid fail to produce the predicted new family of massless states or deviate from the expected quantum-number labels.

read the original abstract

In this work, we show that extending the standard description of space-time symmetries from groups of isometries to the more flexible framework of kinematical groupoids allows for the extension of Wigner's program to curved space-times. We propose a new definition of elementary particles as irreducible projective representations of the kinematical groupoids supporting the theory. By choosing a natural kinematical groupoid associated with any space-time, called the \textit{Wigner groupoid}, we demonstrate that such irreducible projective representations are characterized by quantum numbers similar to those characterizing the irreducible projective representations of the Poincar\'e group. Describing the irreducible projective representations of groupoids poses its own difficulties. To address this, we develop a suitable extension of Mackey's theory of induced representations of groups, proving that projective representations of transitive Lie groupoids with connected isotropy groups are in one-to-one correspondence with the projective representations of their isotropy groups. The application of these results provides a classification of elementary particles valid for a large class of space-times. This classification largely reproduces Wigner's standard classification on Minkowski space-time, while a new family of representations emerges, corresponding to massless particles in the presence of a magnetic-like background field.

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 extends Mackey's induced-representation theorem to transitive Lie groupoids with connected isotropy and uses it to classify particles via a Wigner groupoid, recovering standard labels on Minkowski space while adding a new massless family in magnetic-like backgrounds.

read the letter

The core move is replacing the Poincaré group with a kinematical groupoid built from the spacetime and then classifying elementary particles as its irreducible projective representations. They prove that, for transitive Lie groupoids whose isotropy groups are connected, these representations correspond one-to-one with projective representations of the isotropy groups themselves. That correspondence is applied to the Wigner groupoid to read off mass, spin, and other quantum numbers exactly as in the flat-space case, plus a new family of massless states that appears when a background magnetic-like field is present through the groupoid structure.

Referee Report

2 major / 2 minor

Summary. The manuscript extends Wigner's classification of elementary particles from the Poincaré group to general space-times by introducing the Wigner groupoid as a kinematical groupoid. It proves an extension of Mackey's theory showing that irreducible projective representations of transitive Lie groupoids with connected isotropy groups are in bijection with those of the isotropy groups, and applies this to classify representations by quantum numbers analogous to mass and spin, reproducing the Minkowski case while identifying a new family of massless representations in a magnetic-like background.

Significance. If the central results hold, the work supplies a groupoid-based generalization of particle classification to curved space-times, with the extended Mackey correspondence providing a technical foundation for reading off quantum numbers from isotropy representations. The identification of a new massless family offers a concrete, potentially falsifiable prediction for backgrounds with magnetic-like fields.

major comments (2)

[Section describing the extension of Mackey's theory and the Wigner groupoid construction] The section proving the extension of Mackey's theory states that the bijection holds for transitive Lie groupoids with connected isotropy groups, but the subsequent application to the Wigner groupoid asserts (without a detailed case-by-case verification) that the isotropy groups remain connected for a large class of space-times. If connectedness fails in geometries with non-trivial fundamental group or discrete stabilizers, extra discrete labels appear and both the reproduction of Wigner's classification and the new massless family become incomplete.
[Application of the results to the Wigner groupoid] In the application section, the claim that the classification 'largely reproduces' Wigner's standard classification on Minkowski space-time requires an explicit comparison table or list of which quantum numbers match exactly and which are modified by the groupoid structure, especially for the new massless family.

minor comments (2)

[Introduction and definitions] Notation for the Wigner groupoid and its isotropy groups should be introduced with a clear diagram or commutative diagram showing the transitive action and isotropy subgroups.
[Abstract and concluding remarks] The abstract refers to 'a large class of space-times'; the main text should state the precise topological or smoothness conditions that define this class.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough and constructive report. The comments raise valid points about the assumptions underlying our extension of Mackey's theory and the need for greater explicitness in comparing our classification with Wigner's original results. We address each major comment below and outline the revisions we will implement.

read point-by-point responses

Referee: The section proving the extension of Mackey's theory states that the bijection holds for transitive Lie groupoids with connected isotropy groups, but the subsequent application to the Wigner groupoid asserts (without a detailed case-by-case verification) that the isotropy groups remain connected for a large class of space-times. If connectedness fails in geometries with non-trivial fundamental group or discrete stabilizers, extra discrete labels appear and both the reproduction of Wigner's classification and the new massless family become incomplete.

Authors: The referee correctly identifies that the bijection in our extension of Mackey's theory requires connected isotropy groups. The manuscript restricts attention to a large class of space-times (including Minkowski and certain curved backgrounds with magnetic-like fields) for which the isotropy groups of the Wigner groupoid are connected, as is standard in the Lorentzian setting where the connected component of the identity is used for projective representations. We agree that an explicit statement of this restriction and a brief justification for the relevant geometries would strengthen the presentation. In the revision we will add a clarifying paragraph in the application section noting the connectedness assumption and remarking that disconnected cases would introduce additional discrete labels, which lie outside the present scope. revision: yes
Referee: In the application section, the claim that the classification 'largely reproduces' Wigner's standard classification on Minkowski space-time requires an explicit comparison table or list of which quantum numbers match exactly and which are modified by the groupoid structure, especially for the new massless family.

Authors: We accept that the phrase 'largely reproduces' would benefit from a concrete side-by-side comparison. We will insert a new table (or enumerated list) in the revised manuscript that explicitly matches the quantum numbers obtained from the Wigner groupoid on Minkowski space-time with those of the classical Poincaré classification (mass, spin, helicity, etc.). The table will also highlight the new massless representations that appear only in the presence of the magnetic-like background, indicating precisely which features are inherited from the isotropy representation and which arise from the groupoid structure. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation proceeds from independent groupoid theorem to classification

full rationale

The paper defines the Wigner groupoid as the natural kinematical groupoid associated to a space-time and proves an extension of Mackey's theory establishing a bijection between projective representations of transitive Lie groupoids with connected isotropy groups and the projective representations of those isotropy groups. This bijection is applied to read off quantum numbers (mass, spin, etc.) from the isotropy representations, reproducing Wigner's Poincaré classification on Minkowski space-time as a consistency check and identifying an additional family for massless particles with magnetic background. The central result is a stated mathematical proof rather than a self-referential definition, fitted parameter, or load-bearing self-citation; the target classification is derived from the groupoid structure and the new theorem, not presupposed by it.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper relies on standard differential geometry of Lie groupoids and the existence of a natural Wigner groupoid for any space-time; no free parameters are introduced and no new physical entities beyond the groupoid structure itself are postulated.

axioms (1)

standard math Lie groupoids and their projective representations are well-defined objects in differential geometry and representation theory.
Invoked when extending Mackey's theory to transitive Lie groupoids with connected isotropy groups.

invented entities (1)

Wigner groupoid no independent evidence
purpose: Natural kinematical groupoid associated with any space-time that encodes its symmetries for the purpose of defining particle representations.
Introduced as the central object replacing the Poincaré group; no independent physical evidence or falsifiable prediction outside the mathematical construction is provided.

pith-pipeline@v0.9.0 · 5746 in / 1522 out tokens · 44177 ms · 2026-05-19T09:47:54.333025+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/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

proving that projective representations of transitive Lie groupoids with connected isotropy groups are in one-to-one correspondence with the projective representations of their isotropy groups
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

unitary irreducible representations of W(M,η) are classified by its orbits ... parametrized by the square norm of the covector p

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.