An Introduction to κ -Deformed Symmetries, Phase Spaces and Field Theory

: In this review, we give a basic introduction to the κ -deformed relativistic phase space and free quantum ﬁelds. After a review of the κ -Poincaré algebra, we illustrate the construction of the κ -deformed phase space of a classical relativistic particle using the tools of Lie bi-algebras and Poisson–Lie groups. We then discuss how to construct a free scalar ﬁeld theory on the noncommutative κ -Minkowski space associated to the κ -Poincaré and illustrate how the group valued nature of momenta affects the ﬁeld propagation.


Introduction
Quantum group deformations of relativistic spacetime symmetries became a popular topic in the quantum gravity research community in the early 2000s mainly thanks to the development of the ideas of doubly special relativity (DSR), proposed by Amelino-Camelia in two papers [1,2]. These papers pose the question of whether it is possible to reconcile Lorentz invariance with the presence of a minimal length that all inertial observers agree on. Indeed, as it turns out, the existence of a minimal length is a common feature of most, if not all, quantum gravity models (see [3] for review). However, if Lorentz symmetry is to hold, how is it possible that this length scale does not depend on the observer measuring it? As an example, let us consider one of the major results of loop quantum gravity: the discreteness of the spectrum of area and volume operators, with their spectra bounded from below, by, roughly, 2 and 3 , where is the Planck length. Both areas and volumes, however, are not invariant under Lorentz transformations, so the question arises of which observer should be singled out to measures the minimal length. If such length is indeed minimal, does it mean that its existence implies a violation of Lorentz invariance, under the form of a privileged coordinate system, in which such length takes its minimal value? However, if this is the case, how is this possible in a theory which is built on the very notion of local Lorentz invariance?
The answer that DSR provides to this conundrum is by making the Planck length play the same role as the speed of light plays in special relativity, namely that of an observerindependent scale. The transition from special relativity to DSR is analogous to the route that Einstein chose to take in his way from Galilean relativity to special relativity. As is well known, the presence of an observer-independent scale of speed is not compatible with Galilean relativity. In the transition from non-relativistic to relativistic physics, Einstein did not want to abandon the principle of relativity (of inertial observers); instead, he modified the transformation rules, replacing Galilean transformations by Lorentz ones, in which the speed of light is an observer-independent scale, guaranteed to be the same for all inertial give a pedagogical introduction to the κ-Poincaré algebra and discuss in some detail its Hopf algebraic structure and geometric aspects. Section 3 is devoted to the description of κ-deformed phase space using first algebraic tools and then a model of κ-deformed relativistic particle action. Finally, Section 4 describes some elements of the construction of a κ-deformed field theory and deformed field propagation. We conclude this review with a brief outlook of the open challenges in the field.

The κ-Poincaré Hopf Algebra
The symmetries of ordinary relativistic kinematics are described by the group of isometries of Minkowski spacetime: the Poincaré group. This group is given by the semidirect product of the abelian group of four-dimensional translations R 3,1 and the non-compact group of Lorentz transformations SO (3,1) ISO(3, 1) ≡ SO(3, 1) R 3,1 . (1) A Poincaré transformation by an element (Λ, b) ∈ ISO(3, 1) on a four vector x µ in Minkowski spacetime is given by or in terms of the action of a 5 × 5 matrix on a five-vector Being ISO(3, 1) a semidirect product group, the group multiplication law is given by with inverse (Λ, b) −1 = (Λ −1 , −Λ −1 b) .
The Lie algebra of ISO(3, 1) can be easily obtained [30] by writing a Poincaré transformation as a unitary operator U(Λ, b) and considering its infinitesimal version in terms of the generators of the Lorentz group J µν and of spacetime translations P µ : with ω µν and µ infinitesimal parameters. To derive the commutators of the Poincaré-Lie algebra, one can write the action by conjugation of a generic element of ISO(3, 1) on the infinitesimal element (6) and equate it to giving the following expressions for the adjoint action of the group ISO(3, 1) on its generators: Specializing (9) and (10) to the case of infinitesimal transformations, one obtains from (9) that [P µ , P ν ] = 0 (11) and [P µ , J ρσ ] = i (η µσ P ρ − η µρ P σ ) , (12) while, from (10), one gets The Lie brackets (11)-(13) define the Poincaré-Lie algebra iso (3,1), which can be written explicitly in terms of the generators of rotations and boosts (no summation over repeated indices in the first definition) as (15) [J i , K j ] = i ijk K k (16) [K i , K j ] = −i ijk J k (17) [J i , P j ] = i ijk P k [J i , P 0 ] = 0 (18) [K i , P j ] = iδ ij P 0 , As mentioned in the Introduction, the characterizing feature of deformed symmetries is the Lie group manifold structure of four-momentum space with curvature determined by the deformation parameter. Let us be more specific. The configuration space of a spinless relativistic particle in Minkowski spacetime can be identified with the abelian group of translations T R 3,1 . The four-momentum space is given by the cotangent space T * x R 3,1 = R 3,1 * at any of the configuration space x ∈ T , where R 3,1 * stands for the dual, as a vector space, to R 3,1 [31]. The phase space of the particle is thus described by the cotangent bundle Γ = T × T * R 3,1 × R 3,1 * . (20) Let us denote the Lie algebras associated to each component of Γ as t and t * for T and T * , respectively, and the coordinates for T as x µ and p µ for T * , with µ = 0, . . . , 3. For Lie algebra t, we denote the basis elements as {P µ }, whereas, for t * , we use {X µ }. The trivial Lie brackets on the Lie algebras t and t * are [P µ , P ν ] = 0 and [X µ , X ν ] = 0, ∀ µ, ν .
The basic feature of κ-deformation is that the four-momentum space is no longer a vector space but it becomes a non-abelian Lie group. Such group is the four-dimensional abelian nilpotent group AN(3) which, as a manifold, is half of de Sitter space whose cosmological constant determines the deformation parameter κ. We should remark that, in order for this group manifold to be a good candidate for a relativistic four-momentum space, it should admit an action of the Lorentz group SO(3, 1) on its elements. This is ensured by the fact that both AN(3) and SO(3, 1) are subgroups of the de Sitter group SO(4, 1). This feature is evident from the factorization of the group SO(4, 1) known as Iwasawa decomposition [32]. Such decomposition can be described starting from the vector space of the Lie algebra so(1, 4) written as a direct sum of vector spaces of its subalgebras so(1, 4) =k ⊕n ⊕â (22) where algebrak is the so(1, 3) algebra,â is the one dimensional algebra described by the matrix andn is the algebra spanned by the elements where i are unit vectors in ith direction ( 1 = (1, 0, 0) T , etc.), and T denotes transposition. Every element of the algebran is a negative root of the element H, i.e., We can rescale the elements of the Lie algebrasâ andn using the dimensionful deformation parameter κ in order to have new generators with dimensions of length X 0 = − i κ H and X i = i κ n i which we can see as coordinates on a non-commutative spacetime known as the κ-Minkowski spacetime. This commutator replaces the trivial one (21) characterizing an ordinary relativistic particle. From the decomposition (22), it follows that every element g of the group SO(1, 4) can be written as where k ∈ SO(1, 3), the element a belongs to group A generated by H 27) and the element n belongs to group N generated by algebran = p i n i and ϑ=diag(−1, 1, 1, 1, −1). The group AN(3) can be characterized by the factorization in which its elements can be seen as plane waves on κ-Minkowski spacetime with the time component ordered to the right Notice that, while the κ-Minkowski coordinates X µ are the generators of the nonabelian Lie algebra t * = an 3 characterized by the commutator (26), the Lie algebra of translation generators remains abelian as for an ordinary relativistic particle (21). The elements p µ appearing in (30) are coordinate functions on the group AN(3) and are known as bicrossporduct coordinates. The quotient group structure of AN(3) SO(1, 4)/SO(1, 3), which can be derived from the Iwasawa decomposition of its Lie algebra (22), allows us to obtain another system of coordinates widely used in the literature. Indeed, the quotient of Lie groups SO(1, 4)/SO(1, 3) is de Sitter space, a symmetric space with a transitive action of SO(1, 4) [32]. Acting with the an element of the AN(3) group written as product of matrices NA on the point O we obtain the coordinates These coordinates satisfy the constraint −P 2 0 + P 2 i + P 2 4 = κ 2 , defining de Sitter space as a submanifold of a five-dimensional Minkowski space. It should be noted that the coordinates p 0 , p i describe only half of de Sitter space and therefore the group KNA is not the whole group SO (1,4). However, if we consider the combinations we cover the whole SO(1, 4) group which can thus be written in the form We now describe a crucial feature of κ-deformation. Let us start by noticing that the coordinates p µ are just specific functions on the AN(3) part of SO(4, 1) Looking at the group element (30) written as a plane wave and using the Baker-Campbell-Hausdorff formula which in the particular case of [X, Y] = sY takes the form it is easy to see that Using this property for the product of two group elements, we get In other words, the four-momentum of a plane wave obtained by multiplying two plane-waves labeled by four-momenta p (1) µ and p (2) µ is given by the non-abelian sum Such non-abelian composition law for momenta is the distincitve feature of Hopf algebra deformations of relativistic symmetries. Indeed, if one thinks of plane waves as irreducible representations of the undeformed algebra of translation generators (31), taking the kets |p (1) and |p (2) as representatives of the two plane waves above, the nonabelian composition law above can be interpreted as a non-trivial action of the translation generators on the tensor product state |p (1) ⊗ |p (2) . (42) To see this, let us remember that the ordinary composition law for four-momenta can be derived from the fact that the kets |p (1) and |p (2) are eigenstates of the translation generators and the fact that the latter act following the Leibniz rule on tensor product states P µ (|p (1) ⊗ |p (2) ) = (P µ ⊗ 1 + 1 ⊗ P µ ) (|p (1) ⊗ |p (2) ) (43) so that P µ (|p (1) ⊗ |p (2) (1) ⊗ |p (2) ) .
It turns out that, roughly speaking, spelling out a Leibniz rule for the generators of a Lie algebra, i.e., giving a prescription on how their action is "shared out" on tensor products of their representations amounts to endowing the Lie algebra with a bi-algebra algebra structure (strictly speaking one should also specify a so-called co-unit in order to have a bi-algebra structure; for detail, see, e.g., [33,34]). The operation of sharing out the generators on tensor product representations is called coproduct and is denoted by where 1l is the identity operator. When the coproduct is invariant under flipping of the factors in its products, it is called co-commutative. Returning to the κ-deformed setting, after these considerations, we can conclude that the non-abelian structure of momentum space induces a non-co-commutative coproduct on the algebra of translation generators; specifically, it is easy to see that the composition law (41) can be interpreted in terms of the following non-co-commutative coproduct If we now look at the inverse non-commutative plane wave (Π(p)) −1 , i.e., the one such that (Π(p)) −1 (Π(p)) = 1 (47) it is easy to see that the non-abelian composition law (41) implies that It can be shown that such such non-trivial inverse is connected with an operation which defines the action of translation generators on dual representations, called antipode given by S(P 0 ) = −P 0 , S(P i ) = −P i e P 0 /κ .
Equipped with a non co-commutative coproduct and with such non-trivial antipode the algebra of translations becomes a non-trivial Hopf algebra. Such non-trivial structures describe the deformed translation sector of the κ-Poincaré algebra.
We now move on to the description of the Lorentz sector of such algebra. From the Iwasawa decomposition described above, it turns out that we can write an element of the group SO(1, 4) in two equivalent ways Once the left hand of such equality side is known, all three elements on the right hand side are uniquely defined. We can define an action of the Lorentz group SO(1, 3) on group valued momenta by writing (50) as where K 1 , K 2 ∈ SO(1, 3), which in terms of non-commutative plane-waves reads To derive an explicit form of the action of generators of Lorentz transformations on momenta, let us assume that K 2 depends on p i , p 0 and K 1 . We consider infinitesimal transformations, so that K 1 − 1 = K 1 and K 2 − 1 = K 2 are linear in the infinitesimal (boost) parameters ξ i . We then use (52) to write an equation for the variation of the group element under a Lorentz transformation where If we write K 1 = 1 + iξ i N i , where ξ i are components of an infinitesimal boost parameter, we get and From the formulas, we can write Equation (53) in the following form which holds only up to first order in ξ. Writing the leading order expansion in ξ of p i , p 0 as we find that the action of generators of Lorentz boosts on momenta are given by These commutators describe the deformed action of boosts on group valued momenta for the particular choice of bicrossproduct coordinates (p 0 , p i ) on the AN(3) momentum space. One of the characterizing features of these momentum variables is that the energy momentum dispersion relation is non-linearly modified. This is of course strictly related to the non-linear character of the boosts. The ordinary relativistic energy-momentum dispersion relation is in fact a sub-manifold, the mass-shell, of the R 3,1 four-momentum space. In the κ-deformed context, the sub-manifolds of the AN(3) group, which is left invariant by the action of the Lorentz group described above, are the intersections of the P 4 = const hyperplanes with the de Sitter hyperboloid. Such deformed mass-shells are given by When expanded in powers of 1/κ, this modified dispersion relation provides an example of Planck scale deformation of the mass-shell which have been widely studied as candidate quantum gravity effects on particle kinematics (see, e.g., [3,35] and references therein).
Let us now look at the coproducts and antipodes of the deformed boost generators of the κ-Poincaré algebra. Using the notation introduced above, we can write the infinitesimal action of the boost on functions on the group g ∈ AN(3) as where dot means action by commutator. The antipode S(N i ) can be defined from the action of infinitesimal Lorentz boosts on inverse elements as follows Recalling the expression (48), we see that, to find the antipode, we need to use (54), where instead of p µ we insert S(p µ ) and then change the overall sign. The explicit form of the antipode S(N i ) is then given by Deriving the coproduct is slightly more involved. We start by rewriting the definition of coproduct in a more convenient form where We now look at the action of N i on products of elements of the group AN(3). We can either act on the product of two group elements or first on the individual elements and then take their product. We have with K = 1 + iξ i N i . We can again use (54) to find an expression for h and then for K 2 and to finally obtain the following coproduct One can proceed in a similar way for the generators of rotations M i and discover that both at algebra and co-algebra level they exhibit undeformed commutators and have trivial co-algebra maps. Summarizing the κ-Poincaré algebra is characterized by the following commutators and the coproducts and commutators These relations characterize the κ-Poincaré algebra in the so-called bicrossproduct basis. Other coordinate systems on the AN(3) group manifold will exhibit different algebra and co-algebra relations. In particular, as we see below, embedding coordinates are associated to a variant of the κ-Poincaré algebra in which the algebra sector is undeformed and all the non-trivial structures appear only in the co-algebra sector.
Using the coproduct for momenta derived above, we now show how it possible to construct a non-commutative spacetime covariant under the action of the κ-Poincaré algebra, which turns out to be nothing but the κ-Minkowski spacetime (26). Similar to the standard Poincaré case, we define spacetime as the dual space to the momentum sector of the algebra. As a first step, we introduce the position variables X µ and the standard action of momenta and Lorentz generators on them As a next step, we define the action of momenta on polynomials built from X. This is where the coproduct enters the game; indeed, we have From (78), we compute We see therefore that and therefore we conclude that positions do not commute with time One can check that all other commutators of among positions vanish so that we recover the relations defining the an(3) Lie algebra. It should be noticed that, since momenta commute, repeating the same argument for polynomials of momenta forces us to conclude that the coproduct of spacetime coordinates is undeformed: Let us notice how at first glance the κ-Minkowski spacetime (79) does not look Lorentz covariant, but in fact it is, as a result of a non-trivial coproduct for the generators of boosts. Indeed, using the coproduct of boosts (74), it is easily checked that An important feature of the κ-Poincaré algebra is that different coordinates systems on the AN(3) group manifold will be associated to different choices of translation generators, which are associated to different bases of such Hopf algebra. To see this, let us look at the embedding coordinates (33) As shown above, the p µ coordinates, corresponding to horospherical coordinates on de Sitter space [36], are associated to the bicrossproduct basis of the κ-Poincaré algebra. Such coordinates cover the portion P 0 + P 4 > 0 of de Sitter space One can easily see that, upon a non-linear redefinition of the translation generators according to (81), the coproducts and antipodes of the κ-Poincaré algebra change to where P + ≡ P 0 +P 4 κ . The corresponding coproducts and antipodes for rotations and boosts are now given by These generators are known in the literature as the "classical" basis [37,38] of the κ-Poincaré algebra, since, unlike the bicrossproduct basis reviewed above, their commutators are just the ones of the ordinary Poincaré algebra This also implies that the mass Casimir invariant naturally associated to the generators P µ is just the ordinary one: In other words, in the classical basis departures from ordinary structures of relativistic symmetries are present only in the co-algebra sector. Owing to this feature, such classical basis is often preferred when exploring the consequences of symmetry deformation, for example in the context of quantum field theory, as we show below. Before discussing the basics of κ-deformed field theory, we first give a detailed construction of the phase space of a classical relativistic particle. This topic has in fact played an important role in the so-called "relative locality" approach to symmetry deformation [39], which, over the years, has become widely studied in the community involved in the search of possible experimental signatures of Planck-scale physics.

κ-Deformed Phase Space
We begin by a general discussion on how one can endow general non-abelian Lie groups with the structure of a phase space and then apply the tools we review to the case of a ordinary relativistic particle in Minkowski spacetime and to the a κ-deformed phase space where momenta belong to the AN(3) Lie group. Our presentation of general theory of Poisson-Lie groups is very brief here (see, e.g., [33] for details). Some detailed computations that we review here are presented in [40].

Lie Groups as Phase Spaces
Let us consider a phase space Γ = T × G where both the configuration space T and momentum space G are four-dimensional Lie groups. We first focus on the Lie algebras associated to these Lie groups, t for T and g for G. We denote the generators of t and g with {P µ } and {X µ }, respectively, µ = 0, . . . , 3, the Lie brackets are where d σ µν and c µν σ are the structure constants of the Lie algebras. We identify T and G with the positions and momenta of a classical system and to this extent it is useful to consider t and g as dual vector spaces with pairing between the basis elements given by Let us now define the maps δ t : t → t ⊗ t and δ g : Through the dual pairing (92), the maps δ t and δ g determine the Lie brackets of g and t, respectively, via the relations which is why in the literature such functions are called co-commutators.
The duality relation between δ t and δ g allows us to introduce Poisson brackets. Let us consider an element Y ∈ t. Being t a vector space, the tangent space A Poisson bracket on the space of functions C ∞ (t) can then be defined in terms of the commutators of g as Similarly, the Lie brackets on t determine Poisson brackets on C ∞ (g). Indeed, if we consider coordinate functions f = x µ and g = x ν such that dx µ , dx ν ∈ g, the Lie algebra structure of g induces the following Poisson brackets and the Lie algebra structure on t defines a Poisson structure on C ∞ (g) with p µ coordinate functions on g whose differentials can be identified with the generators X µ . The Poisson brackets described above are known in the literature as Kirillov-Kostant brackets, and, being isomorphic to Lie brackets, they automatically satisfy all the properties for being a Poisson bracket, i.e., skew symmetry and Jacobi identity.

Poisson Structures on Lie Groups
Let us now consider a Poisson structure on a Lie group G. We write the associated Poisson bracket in terms of a Poisson bivector w g defined as follows where f 1 , f 2 ∈ C ∞ (G) and w g ∈ T g G ⊗ T g G with T g G the tangent space to G in g. To make contact with the notion of co-commutator introduced above, let us consider the right translate of the Poisson bivector w to the identity element of G, denoted by w R : G → g × g, with g = T e G the Lie algebra of G. We have that hence we have for the Poisson bivector We now define the co-commutator as Denoting ξ i = d f i | e , one can derive [40] the following relation between the cocommutator and the Poisson bracket on the group: The co-commutator is usually defined in terms of an element r ∈ g ⊗ g called the r-matrix. In order for δ to be a co-commutator, the r-matrix must satisfy the following conditions: The "Schouten bracket": [r, r] = [r 12 , [r 13 , The first condition ensures the skew-symmetry of the Poisson bracket and Lie brackets defined by δ. The second condition is related to the fact that such brackets satisfy the Jacobi identity. It is easily seen that the simplest way to satisfy the second condition is to require that [r, r] = 0. This equation is know as the classical Yang-Baxter equation (CYBE) and its solution is called the classical r-matrix. The requirement of ad-invariance of [r, r] where is known as the modified classical Yang-Baxter equation (mCYBE).
To define a Poisson structure on the Lie group phase space Γ = T × G, we look for an "exponentiated" version of the co-commutators defined on the Lie (bi-)algebra t ⊕ g. To do so, we start by defining a Lie algebra structure on the vector space t ⊕ g compatible with the duality relation (92) between t and g. Such relation can be derived from the natural inner product on t ⊕ g given by We introduce on t ⊕ g a Lie bracket such that the inner product (108) is invariant under the adjoint action of the elements of t ⊕ g where As can be easily checked, the Lie brackets comply with this requirement. To show that these brackets turn t ⊕ g into a Lie algebra, we must ensure that they satisfy the Jacobi identity. It can be shown that the brackets (110) on t ⊕ g satisfy the Jacobi identity if and only if for the co-commutator δ t on the Lie algebra t the following condition holds: where we use the notation The condition (111) is known in the literature as the co-cycle condition [40]. We now want to define a co-commutator δ D on the whole of the direct sum D = t ⊕ g in a way that δ D reduces to δ t and δ g , as given in Equation (93), when restricted to t and g. It turns out that there is a canonical way of defining such co-commutator in terms of the following r-matrix It is easily checked that such co-commutator reduces to (93), when Z A = X µ or Z A = P µ . It can be also proved that (114) defines a Lie bi-algebra structure on D, i.e., that δ D (Z A ) complies with the properties listed above.
We can now use the r-matrix (113) to define a Poisson structure following the lines illustrated in the previous section. It turns out that, given an appropriate r-matrix, there are two possible ways for introducing a Poisson structures on Γ = T × G (see [40] for details). Let us consider two functions f 1 , f 2 ∈ C ∞ (T × G). We can define the following Poisson brackets where Z L A = L g * Z A and Z R B = R g * Z B are the left and right translates of Z A , Z B ∈ t ⊕ g. More explicitly, if Γ is a matrix group, as it is in the case we consider in this review, then (115) can be written as where γ ∈ Γ and γ ij are its components which can be understood as coordinate functions on the group: Z L A (γ ij ) = (γZ A ) ij , Z R A (γ ij ) = (Z A γ) ij and r iakb ≡ (r AB Z A ⊗ Z B ) iakb . In more compact notation, with the plus denoting the anti-commutator and the minus for the commutator. The bracket given by the commutator endows D with the structure of Drinfeld double and the one with the anticommutator with that of the Heisenberg double. The Drinfeld double structure satisfies a compatibility condition with the group multiplication and turns Γ into a Poisson-Lie group. Such Poisson structure, however, is always degenerate at the identity element e ∈ G, and thus it is not symplectic. On the other hand, picking the Heisenberg double, one renounces to the requirement of compatibility between the group multiplication and the Poisson structure in order to have of a global symplectic structure which can be used to give Γ consistent phase space structure. Below, we use these tools to describe the ordinary phase space of a relativistic particle and the κ-deformed phase space built from the AN(3) momentum space.

Relativistic Spinless Particle: Flat Momentum Space
As recalled above, the configuration space of a spinless relativistic particle in 3 + 1dimensional Minkowski space time can be identified with the abelian group of translations, T R 3,1 , while, for any point of the configuration space x ∈ T , four-momenta can be identified with the elements of the cotangent space being T * x R 3,1 = R 3,1 * . Following a "geometric" approach, one would now introduce a symplectic structure and with it a Poisson bracket on the space of functions on the cotangent bundle T * T . Here, we adopt an "algebraic approach" using the tools described above which can be more directly generalized to the case of group-valued momenta. Let us consider the phase space manifold Γ As done above, we denote basis elements of the Lie algebra t with {P µ }, whereas, for t * , we use {X µ } with trivial Lie brackets for all µ, ν. The Lie algebra basis elements can be expressed as derivatives with respect to coordinates x µ and p µ where X µ = η µν X ν , η µν = diag(+, −, −, −). From the duality of t and t * as vector spaces, we have a natural pairing of their basis elements P µ , X ν = δ ν µ from which we can define an inner product for the direct sum vector spaces t ⊕ t * as follows: We can turn the direct sum vector space t ⊕ t * into a Lie algebra by defining a Lie bracket requiring that the inner product of the direct sum is ad-invariant. In the case of two abelian Lie algebras, we see that (110) leads to the following trivial commutators As a consequence, for t and t * , we have trivial co-commutators At this point, we only have a Lie algebra structure on the direct sum of vector spaces t ⊕ t * . We would like to introduce a co-commutator on t ⊕ t * in order to obtain the double of the Lie algebra of translations, which we denote with D(t). As discussed above, a cocommutator for the double D(t) can be defined from (114) by choosing an r-matrix, which fulfills the conditions of ad-invariance of its symmetric part and satisfies the (modified) Yang-Baxter equation. The canonical Poisson bracket can be determined from the following anti-symmetric r-matrix Grouping the set of generators of t and t * as Z A = (P µ , X µ ), we can see that for all Z A ∈ t ⊕ t * , and thus the co-cycle condition is satisfied. We can now derive the Poisson bracket for the Poisson-Lie group associated to the Lie algebra t ⊕ t * with the trivial commutators (122). From the canonical r-matrix (124), choosing the plus sign in (115), we see that Using the coordinate basis (120), we obtain and thus the Poisson brackets for the coordinate functions on the phase space are given by where a, b = 1, . . . , 3. We show above that the Heisenberg double structure, for ordinary flat momentum space, can be used to define the canonical Poisson brackets of standard textbook classical mechanics for a relativistic point particle. Notice that had we chosen the minus sign in (115), thus introducing a Drinfeld double structure, we would have obtained a trivial Poisson structure on the phase space.

Deforming Momentum Space to the AN(3) Group
In this section, we show how, starting from minimal ingredients, namely the structure constants of the Lie algebra an(3), we can introduce Poisson brackets which on the manifold Γ = T × AN (3). This turns such a manifold into the phase space describing the kinematics of a classical κ-deformed relativistic particle.
Let us start from the Lie algebras of the two components of the Cartesian product group Γ. Denoting with {P µ } the basis of t and with {X µ } the basis of an(3), we have where we write the κ-Minkowski brackets in a covariant way. The two vector spaces t and an(3) are dual with respect to the inner product P µ ,X ν = δ ν µ . The essential ingredient which distinguishes the case of the ordinary relativistic particle from the κ-deformed particle is that the non-abelian Lie algebra structure of an(3) reflects on a non-trivial co-commutator for t while, for an(3), we have δ an (X µ ) = 0.
Such product can be used to derive commutators defining a Lie algebra structure on t ⊕ an(3); these are given by (129) together with which, when written explicitly, read As shown above, to introduce a Poisson structure on Γ, we need an r-matrix. A candidate r-matrix can be obtained from (124) by simply replacing X µ with the generatorsX µ : It can be easily checked that such skew-symmetric r-matrix satisfies the condition that r + = 0 is trivially ad-invariant. Moreover, a direct calculation shows that the Schouten bracket satisfies the modified classical Yang-Baxter equation The co-commutator on t ⊕ an (3) is defined by (114) and on the generators of t and an(3) reduces to It can be verified that the co-commutator satisfies the cocycle condition and thus the Lie bi-algebra t ⊕ an(3) can be seen as a classical doubleD(t) ≡ t ⊕ an(3).
We can now use the structures introduced above to construct a Poisson structure on the manifold Γ = T × AN(3). To do so, we make use of a matrix representation of the Lie algebra an(3) and we extend it to include in the representation the Lie algebra t. As shown above, one can describe the AN(3) group using embedding coordinates in fivedimensional Minkowski space. To include translations and obtain a matrix representation for the Lie algebra t ⊕ an (3), it ise necessary to adopt a different representation. We introduce the adjoint representation R for an(3) defined by R : an(3) → gl(an(3)),X → adX. The generators of the adjoint representation are determined by structure constants of the Lie algebra, [X µ ,X ν ] = c µν αX α , and thus the matrices of the representation are given by [R(X µ )] β α = c µβ α . It is possible to construct another representation from R via the matrices R * (X µ ) = −(R(X µ )) T , where the superscript T stands for the transpose of the matrix. We call this matrix representation the co-adjoint representation R * of an(3), and, in what follows, we work in such representation. Let us first write the matrices corresponding to t where 0 (3+1) is a (3 + 1)-component zero vector and u µ = (0, . . . , 1, . . . , 0) T is a (3 + 1)component vector with 1 in the µth entry for µ = 0, . . . , 3. The matrices representing an(3) are given bỹ where e a = (0, . . . , 1, . . . , 0) is a 3-component vector with 1 in the ath entry for a = 1, . . . , 3. A group element d ∈ T × AN(3) can be expressed as d = t g where t is a pure translation and g is a AN(3) element. The explicit matrix form of such group element is given by whereg ∈ AN(3) is a (3 + 1) × (3 + 1) matrix and x 3+1 = (x 0 , x a ) is a (3 + 1)-component vector with real entries x µ ∈ R which parameterize the group elements of T ∼ R 3,1 , namely t = e x µ P µ . The group AN(3) can be parameterized in different ways using real coordinates {p 0 , . . . , p 3 } so the matrix group entries areg ij (p). Before discussing the Poisson brackets for particular parameterizations of the group , we write down the results in a general, coordinate independent, form. Given the matrix representation of D(t), the Poisson brackets for the Heisenberg double are determined by with the r-matrix given by (135). To see how the Poisson brackets can be obtained from the expression above, one should recall that, in the simplified case in which d is a 2 × 2-matrix, the left hand side of (143) would be given by while the components on the right hand side of (143) are simply those of the product of the matrices −(r(d ⊗ d) − (d ⊗ d)r). An explicit calculation of (143) leads to the following Poisson brackets and where g ij (p) are the entries of the matrix representing a AN(3) element in T × AN(3). The last bracket can be written explicitly in terms of the coordinates x µ and the entries of g From (146), we see that, for any coordinate system on the momentum group manifold, the Poisson brackets are given by It is useful to we write down the explicit form of the Poisson brackets above for some specific parameterizations used in the literature. We write a general AN(3) group element g as where the values for 0 ≤ β ≤ 1 describe the different coordinates systems. The choice β = 0 corresponds to the "time-to-the-right" parameterization and, in this case, {p µ } are just the bicrossproduct coordinates we show in the previous section; β = 1 corresponds to the time-to-the-left parameterization; and β = 1 2 corresponds to the so-called time-symmetric parameterization. The group element (150) is related to the following general element where p 3 = (p 1 , . . . , p 3 ) and x (3+1) = (x 0 , x 1 , . . . , x 3 ). Notice that the AN(3) part is an upper-triangular matrix and this is a consequence of choosing the co-adjoint representation for its Lie algebra. From (147), using the relation {x µ , f (p)} = {x µ , p ν } ∂ f (p) ∂p ν , one finds that the Poisson brackets for the different coordinates systems labeled by β are We see that, in the particular case of bicrossproduct coordinatesm, we have the following deformed brackets We thus determined a symplectic Poisson structure on the phase space group manifold Γ = T × AN(3) using the Heisenberg double structure. In the next section, we show an alternative approach in which the same brackets can be obtained by defining an appropriate κ-deformed particle action.

Hamiltonian Analysis
Let us now illustrate this abstract considerations constructing explicitly a free particle model with AN(3) momentum space. To do that, we recall that there exists a canonical form of the kinetic term provided by the Kirillov symplectic form [41]. It can be constructed as follows. Since the positions belong to the cotangent space of the momentum space, they can be naturally associated with elements of a dual to the Lie algebra an(3) with Hermitian generators X µ , µ = 0, . . . , 3 The dual space is a linear space spanned by the basis σ µ with the pairing To obtain the kinetic term of the particle with AN(3) momentum space, we consider a generic group element written in the form Π(p) = e ip a X a e ip 0 X 0 .
and, to introduce the dynamics, we assume that coordinates on momentum space p i and p 0 interpreted as components of momentum of the particle are functions of time. Then, we can construct two an(3) Lie algebra valued expressions (Maurier-Cartan forms) Π −1Π anḋ ΠΠ −1 , where by dot we denote the time derivative, and the kinetic term of the action can be defined the pairing of one of these elements with the position variables x a σ a , belonging to the dual of the AN(3) algebra. Using (156) with the help of Baker-Campbell-Hausdorff formula, we find We postulate that the kinetic term of the action has the form in the first case (157) and in the second case (158). It should be noted that the action (160) can be obtained from (159) by the change of spacial momenta p a → e −p 0 /κ p a , and therefore it is sufficient to analyze only the first. Let us note in passing that the kinetic term (159) coincides with the kinetic term of the generic geometric action of a single particle with curved momentum space, which reads where E α µ (p) is the momentum space tetrad. Comparing this with (159), we can immediately read off the components of the momentum space tetrad and the line element takes the form ds 2 = −dp 2 0 + e 2p 0 /κ dp 2 , where dp 2 ≡ dp a dp a , or which is nothing but the metric of de Sitter space in 'flat cosmological' coordinates. It should be noticed that the metric (164) can be obtained as an induced metric from the five-dimensional Minkowski line element ds 2 = −dP 2 0 + dP 2 + dP 2 4 when (33) is used. It is natural to express the mass-shell condition of the κ-deformed particle in terms of the Casimir invariant of the κ-Poincaré algebra (59) Using (159) and (165), we construct the free particle action and we see that the action S κP f ree reduces to the standard relativistic particle action in the limit κ → ∞. It is worth noticing that the action (166) leads to a nontrivial Poisson brackets algebra, with p α having vanishing Poisson brackets. In the case of the action (160), the Poisson bracket algebra takes the form Let us now turn to the symmetries of the action (166). It turns out the κ-Poincaré particle possesses, similar to an ordinary relativistic particle, a ten-dimensional group of relativistic symmetries, however now the symmetries are deformed.
Let us start with translations. The explicit form of these transformations that leave the action (166) invariant reads It can be checked that the conserved Noether charges associated with the translational symmetry are the components of the momentum, as usual.
Let us now turn to Lorentz symmetry. The most straightforward way to derive its action is to use five-dimensional Minkowski coordinates (33), of which P 0 , P i transform under boosts as components of a Lorentz (four-)vector, while P 4 remains invariant, to wit δ λ P 0 = λ a P a , δ λ P a = λ a P 0 , δ λ P 4 = 0 , and derive from these equations the formulas for δ λ p 0 and δ λ p i . Taking variation of the first and last expressions in (33), using (170), and then adding the resulting equations, we find that Then, from the middle equation in (33), we get The transformations (171) and (172) leave the mass-shell constraint invariant by construction. We still have to accompany them with the transformations rules for positions, so as to make the action (166) invariant. The variation of the Lagrangian in (166) is 0 + x 0 δ λṗ0 + δ λ x a e p 0 /κṗ a + x a δ λ e p 0 /κṗ a = 0 .
Sinceṗ 0 andṗ a are independent, the expressions multiplying them must vanish independently. Collecting first the terms withṗ 0 factor, we get δx 0 = −λ a x a e −p 0 /κ .
Then, vanishing of the terms with theṗ a factor leads to This completes our description of properties of the free single κ-deformed particle.

κ-Deformed Quantum Fields
We now move to the description of the basic features of the non-commutative field theory associated to the κ-Poincaré algebra and κ-Minkowski spacetime. This gives us the opportunity to introduce the essential tools for dealing with non-commutative fields and their actions which we describe below. Once we gather the essentials, we move the first steps in the description of quantum fields by analyzing the behavior of the propagator of a free scalar field. This gives us a concrete picture of how non-commutativity and the non-trivial structure of momentum space affect the physics of quantum fields. The results reviewed in this section have been developed mainly in the works [42][43][44][45][46][47]. As in these papers, we use the level of mathematical rigor analogous to that employed in the standard, undeformed quantum field theory [30]. In particular, we assume that there exists a class of functions on κ-Minkowski space that can be expressed as Fourier transforms with the help of 'non-commutative' plane waves [48] and that the formal operations that we make use of (e.g., Weyl map and its inverse) can be precisely and unambiguously defined in this class. We take it without a proof that this class of functions is sufficiently rich to describe the quantum fields of physical interest. The reason to believe this is that we know that, in the limit κ → ∞, such class of functions exists and that the class of functions and operators we are employing become that of the standard quantum field theory.

Non-Commutative Calculus
It is natural to wonder whether the Casimir invariant (90) admits a "coordinate space" representation in terms of a non-commutative wave operator. In this section, we introduce the differential calculus needed to define such operator.
As it turns out [49], it is impossible to construct a four-dimensional set of noncommutative differentials associated to κ-Minkowski spacetime which are also covariant under the action of κ-Poincaré. Rather, one has to resort to a set of five-dimensional non-commutative differentials dX A = {dX 0 , dX 1 , dX 2 , dX 3 , dX 4 } having the following commutation relations with the κ-Minkowski coordinates, (i = 1, 2, 3) By taking the differential of both sides of the commutator (26), it can be easily seen that all Jacobi identities involving differentials and non-commuting coordinates are satisfied. The Lorentz covariance of (175) can be verified using the relations and extending the action to the algebra of differentials in a natural way as (we also assume that the differential dx 4 is κ-Poincaré invariant P κ dx 4 = 0, where P κ is a generic element of the κ-Poincaré algebra) where we use Sweedler notation ∆(N) = N (1) ⊗ N (2) = ∑ a N (1)a ⊗ N (2)a for the coproduct in (87). We define a differential on functions on κ-Minkowski spacetime as where the derivatives∂ A are such that the differential satisfies the Leibniz rule, as we now show. Working in the bicrossproduct basis, the explicit form of the∂ A can be obtained by first noting that, from the commutator [X µ , dX A ] = (X µ ) B A dX B , the identity follows: where G A B is the matrix representation of the right-ordered plane wave Π(k) = e ik ix i e ik 0x 0 , which for convenience we denote witĥ e k . Imposing the Leibniz rule for the differential d acting on the product of plane waveŝ e kêq , we get where in in the second term of the third equality we insertê kêk = 1 and in the last equality we use the relation (179). Now, looking at the first and the last terms of (181), we find that, for the differential d = idX A∂ A to satisfy the Leibniz rule, the derivatives must have coproducts These coproducts reproduce the ones for the classical basis generators P A in (85), with the coproduct of the operator∂ 4 corresponding to the coproduct of (κ − P 4 ). We can thus identify the non-commutative derivatives associated with the five-dimensional differential calculus with the generators of translations in the classical basis. The action of the derivatives on right-ordered plane waves is thus given bŷ where P A (k) denotes the classical basis momenta as functions of the bicrossproduct momenta given in (33). One can define Hermitian adjoint operators∂ † µ whose action on plane waves is given by (here, we use the fact that the Hermitian conjugate of a plane wave involves the antipode S(p) of its momentumê † k =ê S(k) ≡ê k ) reflecting the fact that P S(k) A = S P(k) A . From the action of derivatives on plane waves, one can easily obtain the action of the operators∂ A on a generic function of non-commuting coordinatesf (X). This can be done by resorting to the following Fourier map [44,[50][51][52] defined in terms of right-ordered non-commutative plane wavesê k : where the integration measure dµ(k) is the Haar measure (this is a left-invariant measure dµ(pk) = dµ(k), and, in horospherical coordinates, it is just the diffeomorphism invariant measure on dS 4 corresponding to the cosmological metric −dk 2 0 + e 2k 0 /κ dk 2 i ) on AN(3) Such measure can be written in terms of the ordinary Lebesgue measure on the five-dimensional embedding space d 5 P as and the subscript off r (k) denotes that the Fourier transform is defined in terms of rightordered non-commutative plane waves.

Weyl Maps and -Product
The Weyl map is a useful tool which was originally introduced in quantum mechanics to map classical observables, i.e., commuting functions on phase space, to quantum observables given by functions of non-commuting operators [53,54]. Due to obvious ordering ambiguities on the non-commutative side, Weyl maps are not unique. In our context, a Weyl map relates a function on commutative Minkowski spacetime to a suitably ordered function on the non-commutative κ-Minkowski spacetime.
In our context, the ordering ambiguity is strictly related to the possible different choices of bases for the translation generators of the κ-Poincaré algebra, as we show below. We define the "right-ordered" Weyl map Ω r as i.e., an ordinary plane wave is mapped to the right ordered AN(3) group elementê p . We can associate a commutative function f r (x) tof (X) via this Weyl map using the Fourier expansion (185) Among the possible Weyl maps, a preferred choice, which we denote Ω c , is given by the map leading to non-commutative plane waves on which the derivatives∂ µ have a standard action, i.e.,∂ The Weyl map Ω c is related to the classical basis coordinates P a , and, as can be easily checked looking at the actions (183) and (190), it has the following action on plane waves: that is, Ω c maps a commutative plane wave labeled by P to a right-ordered non-commutative plane wave with four-momentum k µ (P), where k(P) is the inverse of (33). Following (185), we have that a generic non-commutative functionf (X) can be written aŝ wheref c (P) =f r (k(P)), and the commutative function f c (x) associated tof (X) through the inverse classical basis Weyl map is given by The inverse Weyl map Ω −1 c allows us to introduce a suitable notion of integration on κ-Minkowski spacetime We can turn the algebra of functions on ordinary Minkowski spacetime into a noncommutative algebra via the introduction of a non-abelian -product. In particular, we can associate a -product to the Weyl map Ω c througĥ One can show [50] that the explicit formula for products of the form f † c g c = Ω −1 c f †ĝ has, up to the total derivative terms that do not influence the field equations, the rather simple expression where with f † c we denote the deformed Hermitian conjugation involving the antipode, e.g., e iPx † = e iS(P)x , while f * c is the standard complex conjugation. The -product (196) can be used to rewrite the Fourier transform as which, taking into account the explicit form of the integration measure and the -product, leads to the two fundamental relations and where P 4 = ± √ κ 2 − P 2 and P 2 = −P 2 0 + P 2 . Let us notice that the operator √ 1 + /κ 2 , due to the -product, in momentum space is given by |P 4 |/κ, i.e., it coincides with the term appearing in the denominator of the integration measure; this leads to crucial simplifications in what follows.
Let us close this section with some comments on Lorentz invariance. As discussed in [44,45], when acting on the AN(3) momentum space with Lorentz boosts one encounters a subtle form of Lorentz symmetry breaking. Indeed, for negative energy modes, the range of allowed boost parameters is bounded from above. As shown in the previous sections, the bicrossproduct coordinates cover only half of de Sitter space κP + (k) ≡ P 0 (k) + P 4 (k) > 0, so that the four-momentum space is not the whole de Sitter manifold. In the classical basis, this restriction breaks Lorentz invariance since it is not preserved by boosts (recall that P 0 transform as the 0th component of a Lorentz vector, while P 4 is a Lorentz scalar). Indeed, with a boost of finite rapidity, one can bring a point out of the the region P 0 + P 4 > 0.
A way to circumvent this issue is to take as four-momentum space the full de Sitter space quotiented by reflections P → −P. In fact, through these reflections, the sector P 0 + P 4 > 0 is sent to its complement. Such space is called the elliptic de Sitter space dS 4 /Z 2 . Accordingly, one can change the defining condition from P 0 + P 4 > 0 to the Lorentz invariant one P 4 > 0 by considering, instead of the sector identified by the requirement one can obtain the Feynman using appropriate combinations of functional derivatives. Since functions of deformed momenta are just ordinary commuting functions, we rewrite Z[J, J † ] in momentum space in order to be able to use a non-ambiguous notion of functional calculus. Making use of (201), (204), and (205), one obtains from (206) The functional integration can now be carried out as an ordinary Gaussian integral to obtain where we adopt the usual iε prescription in order to make sense of the integral.
To obtain the Feynman propagator from the partition function above, we need a generalization of the notion functional derivatives which takes into account the non-trivial coproduct of momenta. Indeed, these lead to the following non-abelian composition laws for energies and linear momenta: This issue was originally addressed by [42] who did not consider the explicit form of the momentum space integration measure. Such measure is important however in order to manipulate delta functions. A delta function compatible with the non-trivial momentum space measure dμ(p), i.e., such that is given by [56,57] We see that the deformed delta function is proportional to an ordinary delta function δ(p − q) and thus it is symmetric under the exchange of momenta in the argument δ ( p) ⊕ q = δ ( q) ⊕ p .
Equipped with the definition of delta function (213), we can now define the κdeformed functional derivatives as [42] δZ[J, These reproduce the the ordinary definitions functional derivatives in the limit κ → ∞ since p → −p and p ⊕ q → p + q.

The Feynman Propagator
In analogy with undeformed quantum field theory the κ-deformed Feynman propagator can be defined in terms of functional derivative of the partition function (209) with respect to incoming and outgoing source functions as From the definitions (214), it is easily found that the momentum space propagator is given by where in the last equality we expand the delta function as in (213). One can use the inverse Fourier transform (201) to derive the Feynman propagator on κ-Minkowski spacetime Notice how i∆ κ F (x,ŷ) is non-symmetric under exchange of its arguments. This is due to the fact that the Hermitian conjugate of a plane wave is defined in terms of the antipode S(p) of its momentum. Such feature, as we show below, is not related to an actual physical asymmetry of the κ-deformed field propagation. As a matter of fact, the combination of non-commutative plane waves responsible for this asymmetry ensures that the Feynman propagator is a Green's function of the deformed Klein-Gordon Equation (203). To see this, let us define the non-commutative delta functionδ(x,ŷ) via the κ-Minkowski Fourier transform and anti-transform (197) and (201) Imposing the conditionf we are led to the following definition of the non-commutative δ-function Acting with the κ-Klein-Gordon operator on the Feynman propagator (217), and taking into account the expression of the delta function (220), we obtain which shows that∆ κ F (x,ŷ) is a (non-commutative) Green's function for this operator. To address the issue of the asymmetry of the κ-deformed propagator, we now analyze how∆ κ F (x,ŷ) propagates the field when a perturbation generated by an external sourcê J(x) is present. This gives us a physical characterization of the properties of the κ-deformed Feynman propagator. Let us consider the κ-Klein-Gordon equation in the presence of a source Using Equations (219) and (221), we can write down the following solution Notice how, contrary to the ordinary case, the non-commutative integral (223) involves the product of two non-commutative functions and requires some care. As shown above, such integral can be defined via an ordinary integral introducing a non-commutaiveproduct between the fields. Writing the sourceĴ(ŷ) using the Fourier transform we see that (223) involves an integral of the form which corresponds to the integral in (204). Using the inverse Weyl map Ω −1 c and the -product, we can write such integral as ŷ Ω c (e ipy ) † Ω c (e iqy ) = d 4 y e iS(p) µ y µ e iq µ y µ = d 4 y e −ip µ y µ 1 + /κ 2 e iq µ y µ . (226) We thus can write the propagation law (223) in terms of commutative fields as where we define the κ-deformed Feynman propagator on commutative Minkowski space It is clear from (227) that the the asymmetry of the κ-deformed Feynman propagator (217) does not affect the propagation of the field. In fact, such asymmetry is canceled by the star-product of (226), leading to a field propagation governed by the κ-deformed Feynman propagator (228), which is symmetric under the exchange of its spacetime arguments.
An important point to stress is that, in the propagation law (227), the operator obtained from the star product √ 1 + /κ 2 can be seen as acting either on the source J(y) or, equivalently (given the propagation law φ(x) = − d 4 y ∆ κ F (x − y) √ 1 + /κ 2 J(y) we can take the expansion in powers of the d'Alembertian for the star product term φ(x) = − d 4 y ∑ ∞ n=0 a n ∆ κ F (x − y) n J(y) which, after integrating by parts becomes φ(x) = − d 4 y ∑ ∞ n=0 a n n ∆ κ F (x − y) J(y)), on the κ-deformed propagator ∆ κ F (x − y). Acting on the source J(y) and noticing that in momentum space, the term √ 1 + /κ 2 is equal to |p 4 |/κ, and thus it cancels the same factor in the non-trivial integration measure dμ(p), obtaining where J cl (y) is a classical source i.e., just an ordinary commutative function which in principle could describe a sharply localized source (e.g., a Dirac delta function). If instead we consider √ 1 + /κ 2 in (227) acting on the deformed propagator ∆ κ F (x − y), we obtain where i∆ F (x − y) is the undeformed Feynman propagator and where, in this case, the source J(y) cannot describe a point-like source due to the κ-deformed integration measure dμ(p) = d 4 p θ(κ 2 − p 2 )κ/|p 4 | appearing in its Fourier expansion (224). It turns out that the source function J(y) can be seen as a smeared version of the classical source (230). Let us consider for example a classical source sharply localized in space J cl (y) = δ(y), for whichJ(p) = 2πδ(p 0 ), the source function, takes the form J(y) = 2 κ 0 dp p (2π) 2 1 − p 2 /κ 2 sin(p|y|) |y| = κ 2 4π where J 1 is a Bessel function of the first kind. We thus have the following two alternative interpretations for the propagation of κ-deformed field:

1.
Given a perturbation generated by a classical, and possibly sharply localized source J cl (y), the field responds by propagating via the κ-deformed Feynman propagator i∆ κ F (x − y).

2.
Given a perturbation originating from a κ-deformed source J(y), the field responds by propagating via the standard Feynman propagator i∆ F (x − y).
As shown in the figure, contrary to the undeformed Newtonian case, the κ-deformed potential does not diverge in the short-distance limit. In the zero distance limit, the potential is finite and approaches the Planckian value of V(0) = − q 1 q 2 κ 8π . This feature could be interpreted in terms of point-like sources being effectively smoothed out by the UV effects encoded in the κ-deformation. This is exactly what is realized in the propagation picture (231) outlined above, and it could be interpreted as the manifestation of the long time evoked property of quantum gravity to provide a universal UV regulator in quantum field theory.
Another way of interpreting the short distance behavior of the κ-deformed potential (234) is to regard it as an indication of an effective dimensional reduction in the UV. In D spacetime dimension, the static potential scales as V D (r) ∼ 1/r D−3 and thus the finite value of the potential in the UV can be seen as a reduction of the dimension of spacetime down to D = 3 at short scales. It is interesting to notice that such value agrees with the UV behavior of the spectral dimension studied in [58] for the particular choice of momentum space Laplacian corresponding to the Wick-rotated Casimir C(p) = 4κ 2 sinh 2 (p 0 /2κ) + e p 0 /κ p 2 .
This concludes our brief overview of the basic feature of κ-deformed field theory.

Outlook
Let us close this review by mentioning some of the open problems that the theory of κ-deformation still faces. On the mathematical side, the major problem is to find out if the quantum R-matrix associated with the κ-Poincaré algebra exists and, if it does, compute it. Solving this problem is of fundamental relevance for description of the Fock space of κ-deformed quantum fields and will provide a constructive way to derive the form of multi-particle states and their properties [59,60]. Moreover, the solution of this problem will complete the construction of the relevant quantum group structure of κ-Poincaré. The problem has been approached, unsuccessfully, in a number of works (see, e.g., [61,62] for a relatively recent attempt).
From the perspective of the physical applications of κ-deformation, the most urgent question is to firmly establish a link between quantum gravity and the κ-Poincaré algebra in four physical spacetime dimensions. The first question one should answer is: What is going to be the possible role of the κ-Poincaré algebra in quantum gravity? One of the possible answers is provided by dimensional analysis. Quantum gravity is characterized by two scales of mass (Planck mass) and length (Planck length), while only one scale is present in κ-Poincaré. Therefore, one can speculate [39] that the κ-deformation becomes relevant in the limit of quantum gravity, in which the Planck length is negligible while Planck mass remains finite. In physical terms, this means that the κ-deformation could describe physical systems whose characteristic size (e.g., impact parameter in the case of scattering) is much larger than the Planck length, while the characteristic energy is still in the order of Planck energy. There is a qualitative argument [19] that such systems can be effectively described by three-dimensional gravity, in which case we know that the deformation is going to emerge. Similarly, one could argue that the vacuum of quantum gravity theory is described by a four-dimensional topological theory [63], which results in effective deformation of spacetime symmetries in a way similar to what happens in the case of three-dimensional gravity [20].
Finally, the κ-Poincaré algebra serves as one of the most prominent models in the field of quantum gravity phenomenology, and there are various observations which can be used to test the prediction of this model (see the upcoming paper [64] for a comprehensive review).
Author Contributions: All authors contributed equally. All authors have read and agreed to the published version of the manuscript.