Strongly continuous representations in the Hilbert space: a far-reaching concept

We revisit the fundamental notion of continuity in representation theory, with special attention to the study of quantum physics. After studying the main theorem in the context of representation theory, we draw attention to the significant aspect of continuity in the analytic foundations of Wigner work. We conclude the paper by reviewing the connection between continuity, the possibility of defining certain local groups, and their relation to projective representations.


I. INTRODUCTION
Since the bygone days of the 1930s, Wigner has collected strong mathematical results on mappings of continuous groups on a given Hilbert space [1]. From this time comes the famous theorem that ensures that any symmetry operation (any operation preserving probabilities) can be represented by either a linear and unitary or antilinear and antiunitary operator (see Appendix). The pursuit of Poincarè group representations on Hilbert spaces, a program supported by Weyl [2], culminates in the profound and robust work celebrated here [3].
It is a complicated, if not impossible, task to pick out the most effective results from the wealth of excellent ones shown in [3]. Wigner introduced in this work the very precise notion of particle, to mention only one of the main achievements. However, the mathematical partial results collected on the way to such relevant insights are also important. We would like to revisit one of these cornerstone results in the existence of so-called admissible representatives, presenting its meaning based on continuous projective representations. Let us introduce some standard notions.
The first idea to remember is the quantum mechanical ray representation of states, which arises from the freedom that a complex field gives to states in the Hilbert space inner product. The transition probability for a quantum state ψ to turn into φ is expressed by P = |(φ, ψ)| 2 . This probability remains the same if we replace the states by rays, Ψ. Each ray comprises an equivalence class of states containing all elements {αψ} (where α is a unimodular complex phase), of which a given element αψ ∈ Ψ, where ψ is fixed, is a representative. The inner product between two rays is defined as Φ · Ψ = |(φ, ψ)|, where φ ∈ Φ and ψ ∈ Ψ. In a manner akin to vector rays, Bargmann introduced the concept of operator rays [4] U as the set comprising all elements αU with fixed U and a unimodular complex α.
In the case where the symmetries of a physical system are described by a given continuous group H, there exists an isomorphism between each element h ∈ H and an operator ray U h such that for h 1 , h 2 ∈ H, the usual representation relation (although related to operator rays) holds, i. e. U h1 U h2 = U h12 . These are the projective representations whose continuity will be studied here. In physics, of course, continuous representations are of great importance. In a prosaic context, for example, the regular textbooks of Quantum Mechanics and Quantum Field Theory introduce the possibility of acting on quantum states (e.g., with differential operators) without regard to possible mathematical subtleties. This and many others aspects are automatically taken as well-posed mathematically in a standard exposition of quantum physics. Thanks to the work of Wigner, in particular the aforementioned theorem, the approach presented in these textbooks is not wrong.
To justify our choice from a different framework, as as Wigner himself recognized [3], part of the generality and novelty of his approach came from mathematical rigor, in particular concerning continuity. Majorana [5] and Dirac [6] dopted continuity in several aspects of their analysis (an approach which is certainly justifiable and entirely correct, after all) but whose dubiety was completely removed by Wigner. Now back to the (projective) representations frame: from a mathematical point of view, phases in representations of continuous groups have become quite a sophisticated tool with the aid of algebraic topology [7] since the early presentation due to Bargmann. More or less recently, the original line of research gained additional interest by generalizations of the phase exponents (which enter the projective representations) involving the time (or the spacetime) parameter(s) [8,9]. In this generalization of Bargmann's theory, the selection of admissible representatives is also an important issue. This review is devoted to an appreciation of conditions related to the existing argument of regular representatives, whose steps are also revisited. We begin in Section II with a recapitulation of the theorem that ensures the selection of a strongly continuous set of ray operators representatives in the Hilbert space, and discuss its standard proof (Wigner-Bargmann) step by step, discussing various aspects of it. Important enough, the existence of such representatives is at the very heart of our understanding of the quantum process, from spacetime evolution to probability transitions. In Section III we call special attention to some relevant consequences of continuity. Of course, we would not be so far saying, somewhat frivolously, that everything comes from continuity. There are, nevertheless, profound concepts linked to continuity that can be brought up in the analysis and whose full appreciation is usually bypassed. In Section III.A we define and investigate the continuity of local factors and study its implications to representation theory. Besides, in this section, we also place a theorem related to one-parametric group representation quite relevant in the Wigner approach. In Section III.B we explore how continuity also helps in the understanding of whether a given representation is projective or genuine. In the final section, we conclude. To guarantee a sequential reading of the paper we leave for the Appendix a step by step proof of Wigner's famous theorem about symmetric representations in the Hilbert space, as well as another result, relevant for the action upon connected (sub)groups.
This work is a modest contribution to the subject. We do not present new results, but give a technical appreciation to the foundations of representation theory, explicitly presenting all the proof steps and highlighting the physical interest of the results when the situation appears. Whenever possible we follow Bargmann's exposition [4] by its didactic and far-reaching results connecting continuity to physical aspects. Throughout the paper, operators will be taken as unitary (see Proposition 5 in the Appendix) and vector states are normalized to unity.
Definition 1: A given ray representation of a (Lie) group H is said to be continuous if for any element h ∈ H, any Ψ ∈ H, and any ǫ > 0, there exists a neighborhood As an aside remark, we note that it suffices to consider the above definition for the identity element. Moreover, in a complete (metric) space, A is said to be continuous with respect to B if the set of nonzero values of A is bounded by B. In this sense, we can say that the inner product in both terms is continuous with respect to the distance d(Ψ, Ψ ′′ ). Here is the proof: suppose four rays Ψ 1 , Ψ 2 , Φ 1 and Φ 2 belong to H. Then and therefore (since the inequality always holds) we have Now we will state and discuss in detail the theorem asserting the selection possibility of admissible representatives.
Theorem 1: Let U r be a continuous ray representation of a group G. For all r in a suitably chosen neighborhood N 0 of the unit element e of G, one can select a strongly continuous set of representatives U r ∈ U r (i.e., for any vector ψ, any r ∈ N 0 and any positive ǫ, there exists a neighborhood N of r such that ||U s ψ − U r ψ|| < ǫ if s ∈ N).
The set of representatives {U r } satisfying these conditions is called an admissible set of representatives. From the concept of an admissible set of representatives derives a wealth of important results in representation theory in physics (ultimately including the particle concept itself). This set is indeed strongly continuous and probability transitions taken from its representatives vary continuously with the group element s, in complete agreement with the previous definition. We will discuss in detail the proof of Bargmann, who in turn followed the Wigner steps.
Proof of Theorem 1: Let Ψ be a fixed ray in H and ψ a given representative. Define g r = Ψ · U r Ψ for r ∈ H. since the inner product is continuous, g r is a continuous function of r. Therefore, it is possible to choose a suitable neighborhood N ⊃ r such that α < g r ≤ 1 with α ∈ (0, 1). Moreover, as a strategy for the proof, a certain representative U r ∈ U r is chosen such that Note the absence of modulus 1 in (7), which is contrary to the definition of the inner product of vector rays. We will address this point after completing the standard proof. Until then, we'll only emphasize that e ∈ N, just as it is contained in the statement. Let ψ ∈ Ψ, r, s ∈ N and define the quantities (partially preserving the Bargmann notation) These quantities will help the proof process. Note that Z r,s (ψ) is orthogonal to U r ψ, as can be easily seen from which vanishes by means of (9). From this, one can see that and therefore (again using (9)) ||Z r,s (ψ)|| 2 = 1 − |σ r,s (ψ)| 2 .
It follows straightforwardly from Eq. (1) that 1 − |(ψ, φ)| 2 ≤ d 2 , leading to Now, taking ψ = φ and calculating (φ, Z r,s (φ)), we have and by (15) we find Since g r > α, it is possible to rewrite the above equation as As defined before, the functions g r give |g r −g s | = |(φ, U r φ)−(φ, U s φ)| = |(φ, U r φ−U s φ)| ≤ ||U r φ−U s φ||. Therefore, |g r − g s | is less than (or equal to) any value of ||U r φ − U s φ||; in particular the inequality holds for the minimum value of ||U r φ − U s φ|| min = d r,s (φ). Therefore |g r − g s | ≤ d r,s (φ). Moreover, |(φ, Z r,s (φ))| ≤ ||Z r,s (φ)|| and using (14) we have |(φ, Z r,s (φ))| ≤ d r,s (φ). Collecting all these results, we finally get which ensures continuity for U r φ in the sense of the highlighted definition before the theorem. The next step is to ensure continuity for a vector χ given by χ = (φ + ϕ)/ √ 2, where the normalized vector ϕ is assumed to be orthogonal 3 to φ. Note that now adding and subtracting (U s h, U s k) to (20), the result may be recast as In turn, Now we can apply Eq. (22) to (16) (suitable adequate to χ) and arrive at Both terms of the right-hand side of Eq. (23) are bounded from above by Schwarz inequality. Then, using Eq. (14) in the first term, we have and the continuity of U r φ implies the continuity of U r χ (and of course of U r ϕ). Finally, if ψ is a linear combination written in terms of φ and ϕ, as defined earlier, then U r ψ is clearly continuous.
As a final remark before going further, note that the first steps of the proof could be repeated around any group element k ∈ H by simply adapting the neighborhood to include k and starting with the definition of g r functions as

A. Additional Discussion
Apart from the comments on the proof inserted here and there, let us concentrate on the determination of the g r functions. First, a fact: there is no loss of generality in choosing a neighborhood of e ∈ H such that g r > α for α ∈ (0, 1) or even in setting the operator such that g r = (ψ, U r ψ) instead of |(ψ, U r ψ)|. The continuity of the inner product with respect to the distance ensures this last procedure. However, it is instructive, to see the effect of such a device within the proof scheme when the necessity emerges, as it were, rather than a priori.
Let us begin with functionsg r = Ψ · U r Ψ = |(ψ, U r ψ)| for which the group separability conditiong r > α for r ∈ N ⊂ H holds. Given this definition, part of the procedure used in the previous proof is unhelpful. We first note that with Z r,s (φ), as defined in (10), using the standard triangle inequality for complex numbers. In a more compact form From (26), we read Again, both terms in the right-hand side of (27) are bounded from above by the distance in the Hilbert space. In the second term, Eq. (14) will be used again, while for the first term we have and the discussion around (18) holds. Hence Now recall that a direct computation leads to Eq. (16), i.e.
However, when |1 − σ r,s (φ)| = |1 − |σ r,s (φ)||, one can indeed claim continuity for U r φ as can be easily seen. This condition (leading to the proof) is mathematically satisfied whenever Re(σ r,s (φ)) ≥ 0 and Im(σ r,s (φ)) vanishes. But these conditions are precisely the conditions studied when setting g r functions (without tilde). Indeed is nothing but a g m function for m = r −1 s ∈ N. Therefore, given the conditions Re(g m (φ)) ≥ 0 and Im(g m (φ)) = 0 we have g m =g m leading to 4 ||U s φ − U r φ|| 2 ≤ (4/α)d r,s (φ). Going further, by calling U m = τ U 0 m , φ = δφ 0 for fixed U 0 m and φ 0 and denoting (φ 0 , U 0 m φ 0 ) = X + iY and τ = τ 1 + iτ 2 (X, Y, τ 1 , τ 2 ∈ R), the conditions give It is not difficult to satisfy Eqs. (32) without any operator particularization. The last additional remark is that in the absence of a phase in the representation, i.e. for genuine (not projective) representations, continuity for the representatives is ultimately attainable by continuity of the inner product.

III. CONSEQUENCES OF CONTINUITY
We will here point out some direct consequences of continuity, relevant to the mathematical structure underlining the understanding of quantum physics, firstly examining local factors and then investigating some consequences of the selection of continuous representatives together with freedom in the selection procedure.

A. Continuous local factors
Let us assume implicitly in what follows that all group elements to be worked out in this section belong to the same neighborhood N (or to suitable intersections of neighborhoods), so that the group operations are locally well-defined. This requires e ∈ H to be an element of the neighborhood. An admissible set of representatives engenders a continuous ray representation in N and since U r U s and U rs belongs to the same ray, we have where |ω(r, s)| = 1 and clearly ω(r, e) = ω(e, s) = ω(e, e) = 1, since U e = 1. Note that the associative law of the group representation implies ω(r, s)ω(rs, m) = ω(s, m)ω(r, sm).
The functions ω(r, s) are the so-called local factors of a given ray representation and the continuity of admissible representatives leads to the continuity of them. Let us demonstrate this fact.
Lemma 1: For an admissible set of representatives the local factors are continuous.
Proof of Lemma 1: We start with a simple truism. Let ψ ∈ H, then obviously Now adding and subtracting the terms U r ′ U s ψ and U r U s ψ we obtain, using (33), Thus we arrive at The left-hand side of (37) simplifies 5 to |ω(r ′ , s ′ ) − ω(r, s)|. Moreover, since |ω(r, s)| = 1 and U r is unitary, the terms of the right-hand side are easy to handle. Thus, calling from which the local factors for admissible representatives are indeed continuous.
Continuity of phase factors can also be used to treat differentiability precisely [4]. We will just note here that a multidimensional Lie group H has elements in bijective correspondence with open balls containing N in an Euclidean space of same dimensionality [10]. To fix ideas, let us consider a fixed element s and think of r = r(r 1 , r 2 , . . . , r n ), where n = dim(H) and r i (i = 1, . . . , n), as the coordinates of r. The unity for the local factor may be written as 1 = ω(e, s) and the unity element e ∈ H has coordinates given by (0, 0, . . . , 0). It follows that For the argument, if we take s ′ = e = r ′ in (38) and denote ||(1 − U m )ψ|| ≤ κd 1/2 e,m where κ stands for a constant (a form certainly valid for admissible representatives), then (38) reads and the continuity of admissible representatives naturally bounds the local factor from above, in the sense just described.
So far we have said that the local factors are group elements dependent. It is easy to see that there is no dependence of local factors with respect to the state on which the group elements are represented [12]. Let ψ i (i = 1, 2) be two linearly independent vectors in H and assume a dependence of the local phases on the states. Also assume ψ 3 = ψ 1 +ψ 2 . It follows that U r U s ψ 3 = ω 3 (r, s)U rs ψ 3 . However (recall that the operators acting in H are unitary and linear) and acting from the left in (41) with U s −1 r −1 we have ω 3 (r, s) = ω 1 (r, s) = ω 2 (r, s), so no state dependence at all. Before further studying the local factors and their continuity, we make a parenthetical but important remark about continuity in irreductible representations and one-parametric Lie subgroups. A local one-parameter Lie subgroup is a continuous curve g = g(λ) in N (λ takes values in an open real interval) with g(λ 1 )g(λ 2 ) = g(λ 1 +λ 2 ) for λ 1 , λ 2 , λ 1 +λ 2 defined in the same open interval in R. In view of this remark we can state the following theorem [3]. Theorem 2: Let U g(λ) be an infinitesimal operator of a continuous one-parametric subgroup. If there exists a physical state, say Ψ, on which the application of U g(λ) is well defined, then there exists an everywhere dense set of such states for irreducible representations.

Proof of Theorem 2:
If there exists such a Ψ state, then the limit lim λ→0 λ −1 (U g(λ) − 1)Ψ is clearly well-defined. Now let S be a given operator of the representation. The one-parametric property U g(λ1) U g(λ2) = U g(λ1+λ2) also holds for S −1 U g(λ) S and therefore the limit is also well-defined. Taking 1 = S −1 S in the above expression, we see that the following limit is also well-defined This means that as far as the infinitesimal operator can be applied to Ψ, it can also be applied to SΨ. Thus, for irreductible representations, the existence of Ψ ∈ H, which implies (43), means that for every state on which infinitesimal U g(λ) can act, every V ⊂ H contains at least one SΨ that has exactly this property, giving rise to an everywhere dense set of such states in H.
Just as an additional remark about the theorem just proved, if ψ does not belong to an irreducible representation then one cannot claim the existence of such an everywhere dense set (see [3] for further discussion). Finally, this theorem states that infinitesimal operators in the Hilbert space can be treated in a somewhat ordinary way.

B. Exploring the continuity of representatives
The continuity of representatives and local factors proved so far can be summarized in the expressions (24) and (38). It is now important to consider this strong continuity property together with the dependence of local factors on the choice of representatives. To begin with, consider |φ(r)| = 1 and select representatives in the same ray such that U ′ (r) = φ(r)U r , ∀r ∈ N ⊂ H. Of course, U ′ (r)U ′ (s) = ω ′ (r, s)U ′ (rs), which shows that the ω(r, s) function depends on the selection of representatives, given that This freedom in the representative selection is obviously inherited from the ray representation and its systematic study is very informative as it reveals the deep relationship between the representation itself and the group being represented. Before we begin to explore this freedom, however, let us specify the analysis to the case of interest. Let {U ′ r = φ(r)U r } be an admissible set of representatives defined in a suitable neighborhood of e. The strong continuity of U ′ r and U r naturally implies that φ(r) is a continuous complex unimodular function. On the other hand, starting from φ(r) continuous and U r strongly continuous, one arrives at U ′ r strongly continuous 6 . Proposition 1: Let ω be a local factor defined in a given neighborhood N of e and let φ(r) be a continuous unimodular complex function such that φ(e) = 1 and the function ω ′ is given as in (44). Then the function ω ′ is also a local factor.
Proof of Proposition 1: As noted earlier, 1) the strong continuity of admissible representatives implies that φ(r) is a continuous function. Therefore, ω ′ also satisfies (38) for admissible U ′ r . Moreover, 2) ω ′ (r, e) = ω ′ (e, s) = 1 = ω ′ (e, e) as can be easily seen. Finally, 3) using (44), it is possible to write 6 Technically additional care should be take in the neighborhood's definition. In fact, being N and N ′ the neighborhoods of e where U ′ r and Ur are, respectively, defined, then the relation U ′ r = φ(r)Ur takes place in a neighborhood K of e such that K ⊂ (N ∩ N ′ ). Besides, for admissible representative sets, Eq. (44) is valid for φ(r) defined in K also encompassing products as rs. and using (34) we have Multiplying the right-hand side of (46) by 1 = φ(sm)/φ(sm) and rearranging the terms, we obtain showing that (34) then holds also for ω ′ , leading to a local factor.
We will henceforth study the freedom in selecting admissible representatives on a more comprehensive basis. To do so, it may be a good time to introduce a notation with which the reader is probably more familiar. Let δ(r, s) be a strongly continuous real function defined for every group element in a suitable chosen neighborhood, satisfying the condition δ(e, e) = 0 and δ(r, s) + δ(rs, m) = δ(s, m) + δ(r, sm).
Then it is possible to replace the local factors by the so-called local exponents by ω(r, s) = e iδ(r,s) (note that (48) is the counterpart of the group associative law to the local exponents).
Proof of Proposition 2: For 1) just take s = m = e (r = s = e) in (48) and recall that δ(e, e) = 0 to get δ(r, e) = 0 (δ(e, s) = 0). For 2) take s = r −1 in (48) and obtain δ(r, r −1 ) + δ(rr −1 , m) = δ(r −1 , m) + δ(r, r −1 m) and then take m = r to obtain δ(r, r −1 ) = δ(r −1 , r). When studying of physical representations, it is relevant to understand when (and how) projective representations may be discarded and one can work directly with genuine representations. This is a subtle aspect, whose answer may go beyond non-trivial points of mathematical theory. We will here appreciate only some of the aspects that are somehow directly related to continuity. In any case, the following definition is crucial for a proper exposition of this topic.
Definition 2: Let x(r) be a continuous real function defined in a neighborhood K that includes products of group elements and let δ and δ ′ be local exponents defined in N and N ′ , respectively. Let it be assumed that K ⊂ (N ∩ N ′ ). The local exponents δ and δ ′ will be called equivalent if the relation with holds in K.
From Definition 2 above, it is easy to see that x(e) = 0 insofar as δ ′ (e, e) = δ(e, e). The functional form of ∆ r,s [x] may be, perhaps, better justified by noting from (44) that two equivalent local exponents uniquely define two equivalent local factors with φ(r) = e ix(r) . By slightly changing the order of exposition, it is possible to enunciate the following proposition.

Proposition 3:
If δ is a local exponent defined in a given neighborhood, and x(r) a continuous real function such that x(e) = 0 defined in a suitable neighborhood (see Definition 2), then δ ′ (r, s) as defined by (50) Finally note that the sum of ∆'s vanishes identically.
The observation of the last paragraph can be complemented by the following remark: if δ 1 and δ 2 are local exponents in N 1 and N 2 respectively, then every linear combination κ 1 δ 1 (r, s) + κ 2 δ 2 (r, s) with κ i ∈ R (i = 1, 2) is also a local exponent in N ⊂ (N 1 ∩ N 2 ). Summarizing these observations, we can claim that the equivalence class of a linear combination depends only on the equivalence classes of local exponents entering in the linear combination. This is a good point to appreciate an important theorem due to Weyl [2].
Theorem 3: For a finite dimensional continuous ray representation U r of a group H, every local factor is equivalent to 1.
Proof of Theorem 3: Starting from U r U s = ω(r, s)U rs = e iδ(r,s) U rs , assuming that n is the dimension of the representation space, and taking the determinant of the above expression, we are left with det U r det U s = e inδ(r,s) det U rs . (55) Now, since U r is strongly continuous, it follows that det U r is a continuous function of r. Also, | det U r | = 1 = det U e . Thus in a suitable neighborhood, it is possible to write det U r ≡ e iΣ(r) with continuous real functions such that Σ(e) = 0. In this vein, we have from (55), and since we recognize x(r) = −Σ(r)/n we have δ(r, s) This is a remarkable result, which makes it clear that continuity of representatives acting in Hilbert spaces is not only a pleasant and desirable property but can also constrain important aspects of the representation that would otherwise be unspecified. However, two crucial limitations of the previous result should be noted: first, it is a local achievement, which for this reason is valid in a given neighborhood N of e. To extend such claim to all group manifold, we should be able to demonstrate it for N = H. Notably, this is only possible if the zeroth and first homotopy groups of the manifold associated to H, π 0 (H) and π 1 (H), are both trivial 7 [13]. When these requirements are not satisfied, some additional subtitles may appear, such as in the case of representations up to a sign for SO(3) = SU (2)/Z 2 rotations, which are of great impact in spinorial representations. The second point to emphasize is that the last theorem deals with finite-dimensional representations. We will continue the analysis by lifting this restriction and further investigating continuous representations on general basis.
As a typical representation, the operators of continuous operator rays form a group under multiplication. This concept can be systematized by introducting of the so-called local group L, which entails the freedom in selecting a given operator within a ray and formalizes, so to speak, the observation with which we started this section. To introduce this group, note that an operator belonging to an admissible set of representatives defined in a suitable neighborhood is given by e iσ U r , where the representation continuity fixes the range of σ as the real numbers. Hence or, in terms of local exponents, We call N 2 the neighborhood comprising the products of any two group elements belonging to N, and require that N 2 is a neighborhood of e, and define L to be the set of elements of the form [σ, r] with σ ∈ R and r ∈ N. Now define a product ⋄ : L × L → L such that where δ(r, s) is a local exponent, in full agreement with (58) but bypassing any allusion to a given representative (provided it is admissible).
Proposition 4: L is a group under ⋄.
Proof of Proposition 4: 1) As it can be readily seen, the unity element is simply given by [0, e]; 2) Note that Thus, the associative aspect of the representation inherited by local factors (48) yields an associative product. 3) For every element of L, the unity element is reachable by a composition with [σ, r] −1 ≡ [−(σ + δ(r, r −1 )), This concludes the proof.
Then, the group L has R × N 2 as associated manifold and it is often said that L is the local group constructed for the local exponent δ. Despite the apparent simplicity of the local group, its structure is relevant enough to be analyzed further. Take elements of the form [σ, e] of L. Of course, these elements form an one-parameter subgroup, say C, of L. Let us present some properties of C that can be easily checked. The central group investigation is important to understand a relevant aspect between the center of algebras and the local existence of projective representations. In fact, by inspecting elements of C one sees that it comprises all the information about the freedom in a ray selection. To see that the inspection of L (and therefore C) is indeed informative about representations of H, let us show some relevant isomorphisms. . = e = ϕ(e). Now note that where we have used e −1 = e. Since δ(e, r) = 0, ∀r locally, we have Finally, since ϕ([0, r] ⋄ [σ, e]) = r, we arrive at ϕ(g −1 ) = ϕ −1 (g) ∀g ∈ L/C.
. = r i (i = 1, 2) and then ϕ(g 1 g 2 ) = ϕ(g 1 )ϕ(g 2 ), ∀g 1 , g 2 , g 1 g 2 ∈ L/C. Besides the important result just described in Lemma 2, it is also possible to locally connect local groups with equivalent exponents. This is the content of the next lemma.
Lemma 3: Let δ andδ be two equivalent local exponents in a given neighborhood, that isδ(r, s) = δ(r, s) + ∆ rs [x]. Then the corresponding local groups L andL are locally isomorphic.
Proof of Lemma 3: Consider the mapping ϕ : L →L such that ϕ([σ, r]) = [σ − x(r),r = r]. It is clear that On the other hand, it can be readily verified that Thus, the equality of (66) and (67) follows directly from the equivalence of the local exponents.
For completeness, we mention another general result concerning local isomorphisms. If z is a real nonzero constant and the local groups L and L ′ are constructed for δ and δ ′ = zδ, respectively, then the mapping f : L → L ′ such that f ([σ, r]) = [σ ′ = zσ, r ′ = r] defines an isomorphism between L and L ′ . In fact, f ([σ 1 , r 2 )), r 1 r 2 ] and, since δ ′ = zδ, L ≃ L ′ locally. Now we can resume the discussion around Eq. (62). As Lemma 3 asserts, studying isomorphism between local groups is a way to study local exponents. Moreover, Lemma 2 ensures that locally L/C ≃ H, that is L is the extension of H by C. Taken together, these two results point to the center of L, the C group, as the really relevant group to consider for the study of local exponents per se. The Lie algebra of the group L is at the heart of the question of whether a given representation is projective or genuine [14]. With effect, local exponents are (locally) equivalent to zero provided that a rearrangement of algebra generators removes their central counterpart. The study of continuity allows us to consider this result here from the group perspective: it is clear from the formulation that removing local exponents is possible if the group C whose elements are given by [σ, e] can be ruled out from the analysis. This observation ultimately leads to the famous Bargmann's theorem, which states that central charges of semi-simple Lie algebras can always be excluded by redefining the algebra generators [4].

IV. FINAL REMARKS
We have discussed some aspects of Wigner's approach to dealing with (irreducible) representations of the Poincaré group. All the perspectives presented here focused on the rigor that Wigner devoted to the concept of representation's continuity itself. Indeed, this formal aspect has of course profound implications for the foundations of representation theory and, as we tried to make clear in the manuscript, its consequences are also relevant to physics.
In revisiting the underlying concepts for constructing the representation, we made a special effort to evoke all the relevant steps along with the proofs, and to provide a path through the concepts whose fulcrum rested on the matter of continuity. In this way we were able to connect in advance (algebraic and topological) aspects of representation theory in physics, as well as some discussion about the projective or genuine representations issue, to the primitive idea of selecting admissible representatives.
At the risk of exaggerating somewhat, we would say that the formal consideration of some aspects of continuous representation in Hilbert spaces is perhaps one of the main ingredients of Wigner's success in finding a formal characterization of particles, along with other equally relevant aspects in the formulation, such as the exploration of induced representations [15,16] and finding of new representations.
The rigorous effort of Wigner's approach to formalize aspects previously bypassed by others is better explained by a well-known comment due to Wigner himself [17]: The mathematical formulation of the physicist's often crude experience leads in an uncanny number of cases to an amazingly accurate description of a large class of phenomena. This shows that the mathematical language has more to commend it than being the only language which we can speak; it shows that it is, in a very real sense, the correct language.
Just over 80 years have passed since the work celebrated here and, as befits of a well-made work that survives the scrutiny of time, its fundamental concepts and approaches are still precise, elegant, and revealing insightful perspectives.

A. APPENDIX: SYMMETRY REPRESENTATIONS
For completeness, we present here a step-by-step proof of the famous Wigner theorem of 1931 on symmetry operations in Hilbert space [1]. More often than never, the proof of this theorem is revisited in several contexts and with different levels of sophistication (see [18] for a complete list of references and two quite interesting different proofs). Bargmann presented an elegant version of the proof [19], while a deep understanding of the Wigner viewpoints, together with some discussion about other proofs, is given in Ref. [20]. The presentation given here follows the steps performed by Weinberg [12] due to its completeness. After that, we also prove that for an identity component subgroup, every action is unitary. Let us start by contextualizing this rather important result.
We say that two descriptions of a given quantum mechanical system are isomorphic if there is a one-to-one correspondence, Ψ ↔ Ψ ′ , between the rays describing the physical system preserving probabilities, i.e., Φ · Ψ = Φ ′ · Ψ ′ . This is the desired situation for the description of the quantum system in two inertial reference frames connected by Lorentz transformations, for instance. Moreover, transformations that preserve the ray internal product (and hence the probabilities) are called symmetry transformations. As is well known, the Wigner theorem to be invoked here shows that every isomorphic ray correspondence engenders a (also one-to-one) vector correspondence in Hilbert space as ψ ′ = U ψ and the general properties of U are listed in the theorem statement.
Theorem 4: Every symmetry transformation in the Hilbert space of physical states can be represented by an operator that is either linear and unitary or anti-linear and anti-unitary.
Proof of Theorem 4: Let R 1 ⊃ ψ 1 and R 2 ⊃ ψ 2 be two rays in the Hilbert space H and, analogously, let R ′ 1 ⊃ ψ ′ 1 and R ′ 2 ⊃ ψ ′ 2 for transformed rays (and corresponding elements). Let ϕ ∈ End(H) transforming R into R ′ be a symmetry transformation such that |(ψ 1 , ψ 2 )| 2 = |(ψ ′ 1 , ψ ′ 2 )| 2 . In addition, we will also require the existence of ϕ −1 as a symmetry transformation. Denoting by {ψ k } ∈ R a complete orthonormal set of states, it is easy to see that orthonormality is inherited for {ψ ′ k } ∈ R ′ , obtained by means of ϕ. Indeed, since |(ψ m , ψ n )| 2 = δ mn , we have In this context, we note that although a notation tailored to the results for finite dimensional spaces has been used, the adaptation to general cases is straightforward. In accordance with more precise aspects (as completeness), the validation steps will be performed with no concern to a particularization for finite dimensions. Let us consider Eq. (68) for the m = n case. Let k be such that (ψ ′ m , ψ ′ m ) = k. As it is well known (a quantum mechanical postulate) 0 ≤ (ψ ′ m , ψ ′ m ) ∈ R (the equality holding for the null state). Therefore, Eq. (68) implies k 2 = 1, from which (ψ ′ m , ψ ′ m ) = 1 necessarily. Consider now the case m = n and take (ψ ′ m , ψ ′ n ) = a + ib, where a, b ∈ R. In this case Eq. (68) translates to a 2 + b 2 = 0, leading to a = 0 = b and hence (ψ ′ m , ψ ′ n ) = 0 for n = m. Therefore, (ψ ′ m , ψ ′ n ) = δ mn and the transformation ϕ does preserve orthonormality. In accounting for completeness, suppose {ψ ′ k } is not a complete set. Then, there must exist a given state, sayψ ′ which has not projection in the set (or a subset of) {ψ ′ k }, that is (ψ ′ , ψ ′ k ) = 0, ∀k. This fact would imply |(ψ ′ , ψ ′ k )| 2 = 0 and, via ϕ −1 , this would lead to |(ψ ′ , ψ ′ k )| 2 = |(ψ, ψ k )| = 0, a clear contradiction since {ψ k } is complete. Therefore the set {ψ ′ k } is also complete (and orthonormal) and a given basis of the original set is transformed into a basis in the arriving set.
Take now an element of the set {ψ k }, say ψk, and define φ k = 1 √ 2 (ψk + ψ k ) for k =k. The element φ k belongs to R. Notice, from the previous definition, that Besides, as we showed the transformation to preserve completeness, any vector belonging to R ′ may be written as from which we have For a symmetry transformation, Eqs. (69) and (71) should be equal, leading to |α kk | = 1 √ 2 . This reasoning may be repeated for |(ψ k , φ k )| 2 and |(ψ ′ k , φ ′ k )| 2 resulting in |α kk | = 1 √ 2 . Also, again repeating the same procedure, a bit of simple algebra shows that the coefficients α km all vanish for k =k and k = m (with m =k). The first part of the demonstration is completed by choosing 8 α kk = 1/ √ 2 = α kk and calling the transformation engendering it by U , in An important complement, due to Weinberg, to the original proof is the demonstration that the choice β ′ k /β ′ k = β k /βk or β ′ k /β ′ k = β * k /β * k must be made for all cases. To see this is indeed the case, suppose that for some k we have β ′ k /β ′ k = β k /βk, while for m = k we have instead β ′ * m /β ′ * k = β m /βk. Define now a normalized χ such that for which, of course, χ ′ = U χ. Repeating again the previous procedure being used so far, it is not difficult to see that while |(χ ′ , ψ ′ )| 2 = |β ′ k + β ′ k + β ′ m | 2 /3, leading to |βk + β k + β m | 2 = |β ′ k + β ′ k + β ′ m | 2 . Recalling that |β k | 2 = |β ′ k | 2 , ∀ k, we have Taking into account the supposition assumed within this paragraph, Eq. (83) may be recast in the form A bit of algebra shows that the constraint presented in Eq. (84) translates to or simply Finally, calling β k /βk ≡ u = u 1 + iu 2 and β m /βk ≡ v = v 1 + iv 2 , the above equation (Re(uv * ) = Re(uv)) can only be satisfied if u 2 v 2 = 0, that is a clear contradiction regarding a complex space of states. Therefore, one is left with either β ′ k /β ′ k = β k /βk or β ′ k /β ′ k = β * k /β * k . In the case β ′ k = β k , ∀ k, then It is important to have a clear-cut of what was demonstrated. Equations (88) and (89) show that a same choice must necessarily be made for element inside a given vector state. The theorem demonstration is finalized by showing that it is impossible for a given same transformation that a given vector state transform like (88) and others as (89) dictates. Taking advantage of the finite dimension spaces notation, let V ⊂ H be a Hilbert subspace spanned by {ψ k } and k = 1, . . . , l, . . . , dim V. Suppose the existence of ϕ for which ϕ ′ = k a k U ψ k and η such that η ′ = k b * k U ψ k for the same operator U . Within this context, a vector ρ = l−1 k=1 a k ψ k + dim V k=l b k ψ k would transform under U so as to violate the result encoded in (88) and (89). The finalization of the proof now follows straightforwardly. Let ψ 1 = k α k ψ k and ψ 2 = k β k ψ k . Assuming U acting according to (88), i.e. linearly, we have (U ψ 1 , U ψ 2 ) = m,n α * m β n (U ψ m , U ψ n ) = m,n α * m β n δ mn = (ψ 1 , ψ 2 ), asserting U as unitary. By instead demanding (89), its anti-linearity imply (U ψ 1 , U ψ 2 ) = m,n α m β * n (U ψ m , U ψ n ) = m,n α m β * n δ mn = (ψ 2 , ψ 1 ) = (ψ 1 , ψ 2 ) * , from which an anti-unitary action may be read.
We finalize this appendix by recalling that for the largest connected subgroup (the identity subgroup), the orthochronous proper Lorentz subgroup, for example, every operator ray is unitary.
Proposition 5: Let H be a connected group (or equivalently an identity 10 (sub)group). Then U r is unitary for all r ∈ H.
Proof of Proposition 5: In a suitable neighborhood N ∈ H containing e, every group element r can be written as r = s 2 (s being, of course, another group element). By the theorem just exposed, operators acting upon the Hilbert space H are either linear and unitary or anti-linear and anti-unitary, and hence an isomorphic ray correspondence defines ray operators endowed with the same properties. It turns out, however, that the square of a unitary or anti-unitary operator is unitary. To see that, recall that if U s is anti-linear, then U r = U 2 s and for any φ, ψ ∈ H it follows (U r φ, U r ψ) = (U s [U s φ], U s [U s ψ]) = (U s ψ, U s φ) = (φ, ψ).
In the case of U s the proof follows straightforwardly 11 . As H is connected, every element r ∈ H equals a given finite product, say r = n i=1 r i , of elements in N. Hence U r = n i=1 U ri . Now, for every U ri take a partition, as before, in such a way that Then, the ray operator U r is given by the a finite product of unitary (ray) operators, from which it is seen that U r is itself unitary.