# About Chirality in Minkowski Spacetime

Michel Petitjean

► To cite this version:

Michel Petitjean. About Chirality in Minkowski Spacetime. Symmetry, 2019, 11 (10), pp.1320. 10.3390/sym11101320. [https://arxiv.org/abs/1810.03248]

HAL Id: hal-02324828

https://hal.science/hal-02324828

Submitted on 13 Nov 2020

HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.

L'archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d'enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.

<figure><img src="image_1.png" /></figure>

Distributed under a Creative Commons Attribution 4.0 International License
Concept Paper

# About Chirality in Minkowski Spacetime

Michel Petitjean<fnref n="1" />,<fnref n="2" />✉

Received: 2 October 2019; Accepted: 18 October 2019; Published: 21 October 2019

<figure><img src="image_2.png" /></figure>

check for
updates

**Abstract:** In this paper, we show that Lorentz boosts are direct isometries according to the recent mathematical definitions of direct and indirect isometries and of chirality, working for any metric space. Here, these definitions are extended to the Minkowski spacetime. We also show that the composition of parity inversion and time reversal is an indirect isometry, which is the opposite of what could be expected in Euclidean spaces. It is expected that the extended mathematical definition of chirality presented here can contribute to the unification of several definitions of chirality in space and in spacetime, and that it helps clarify the ubiquitous concept of chirality.

**Keywords:** chirality definition; symmetry; Minkowski spacetime; isometries

**PACS:** 03.30.+p; 02.20.-a

**MSC:** 14J33; 58D19

## 1. Introduction

The issue of chirality is of great importance in many fields of science, including real-life applications and the arts [1-8]. The term, "chirality" was introduced in 1894 by Lord Kelvin [9]: "I call any geometrical figure, or group of points, chiral, and say that it has chirality if its image in a plane mirror, ideally realized, cannot be brought to coincide with itself". Although it is still useful and it is the main one used in chemistry [10], this definition is physical (if not intuitive), rather than mathematical, and it implicitly assumes the existence of an Euclidean space. There were attempts to enhance it [11] and extend it to the classical spacetime [12,13]. Alas, none of these definitions are mathematical, and the one of Barron was severely criticized [14]. It was noticed that, in chemistry, the use of the term "chirality" often engenders confusion and ambiguity [15]. Even worse, in the proceedings of a four-week-long school organized in 2000 by the Clay Mathematics Institute, two distinct approaches were found to understand mirror symmetry, without a clear connection between physical and mathematical methods of proof [16], and even the notion of what one means by "proof" of mirror symmetry differs between the two fields.

A definition of chirality should rely first on a definition of symmetry. However, there are several mathematical definitions of symmetry in the literature, depending on which field it applies, such as geometry, the probability theory, functional analysis, and graph theory. Then, a unifying one was published in 2007 [17], giving rise to a mathematical definition of chirality, which recovers the one of Lord Kelvin and extends it for any metric space [18] (a preliminary version was published in [19]).

We further show that these two definitions (symmetry and chirality) work in the Minkowski spacetime, despite the fact that the Minkowski metric used in special relativity is not a true metric, because it is not positive definite.

<footnote n="1">¹ Université de Paris, BFA, CNRS UMR 8251, INSERM ERL U1133, 75013 Paris, France; petitjean.chiral@gmail.com or michel.petitjean@univ-paris-diderot.fr</footnote>

<footnote n="2">² E-pôle de Génoinformatique, CNRS UMR 7592, Institut Jacques Monod, 75013 Paris, France</footnote>
## 2. Results

For clarity, we summarize the symmetry definition given in [17] as follows. An object is a function having its input argument in a metric space, E equipped with a distance function δ, and an isometry is an element of the group of all bijections of E onto E preserving δ (at least, the identity is so). An object is symmetric when it is invariant upon an isometry which is not the identity.

**Proposition 1.** *The symmetry definition in [17], summarized above, is extended to the Minkowski space.*

The chirality definition given in [18] (and based on [17]), is summarized as follows. An isometry is direct when it can be written as the composition of squared isometries (at least the identity is so); if not, it is an indirect isometry. An object is *chiral* when it has no symmetry due to an indirect isometry.

**Proposition 2.** *The chirality definition in [18], summarized above, is extended to the Minkowski space.*

Proposition 1 is valid because none of the properties of δ were used in [17] and because the isometries of Minkowski spacetime are known to be a group acting on this spacetime: it is the Poincaré group. These isometries preserve inter-event intervals. Proposition 2 is valid because Proposition 1 is valid, and under the condition that all its isometries of the Minkowski space can be classified as being direct or indirect. We perform here this classification.

The Poincaré group is the semi-direct product of the Lorentz group and the translation group in space and time [20,21]. The translation group is an abelian Lie group, and it is a normal subgroup of the Poincaré group. The Poincaré group has four components [21], and the Lorentz group also has four components [20]. Lorentz transformations are linear isometries, leaving the origin fixed. The Lorentz group contains the spatial orthogonal transformations (i.e., the rotations and their compositions with the spatial parity inversion), time reversal, and the boosts, which connects two uniformly moving bodies. Translations and rotations are direct isometries. Time reversal and compositions of spatial rotations with the parity inversion are indirect isometries. Hereafter, we show that boosts are direct isometries and that the composition of spatial indirect isometries with time reversal is an indirect isometry. Then, we complete the classification of all Minkowski isometries as being either direct or indirect—an object in the Minkowski space is chiral if no indirect isometry leaves it invariant.

## 3. Methods

Conventionally, we retain the signature (+,+,+,−) for the Minkowski metric. Vectors in $\mathbb{R}^3$ are column vectors. A point in the spacetime is a 4-vector. Its spatial component $x$ is a vector of $\mathbb{R}^3$, and its fourth component is the time, denoted $ct$, where $c$ is the light speed. A single quote at the right of a vector or a matrix indicates a transposition. The identity matrix operating on spatial vectors is $I$, and the identity matrix acting on 4-vectors is $I_4$. We denote by $v$ the module of the velocity of a frame moving in the direction of the unit vector $u$ (so, $u'u = 1$). We set $\beta = v/c$ and $\gamma = (1 - \beta^2)^{-1/2}$. Because $v \in [0; c[$, we have $\beta \in [0; 1[$ and $\gamma > 1$.

The matrix $B$, associated to a Lorentz boost in the direction $u$, can be written as below (this is immediately deduced from Equation (5) in [22], or from Equation (1) in [23]):

$$B = \begin{pmatrix} I + (\gamma - 1)uu' & -\gamma\beta u \\ -\gamma\beta u' & \gamma \end{pmatrix} \qquad (1)$$

Let $w$ be any fixed unit vector of $\mathbb{R}^3$ orthogonal to $u$, and $u \times w$ the cross product of $u$ and $w$. We define the rotation matrix $R_u$, which depends only on $u$:

$$R_u = \begin{pmatrix} u/\sqrt{2} & w & u \times w & u/\sqrt{2} \\ -1/\sqrt{2} & 0 & 0 & 1/\sqrt{2} \end{pmatrix} \qquad (2)$$
We establish first the following Lemma:

**Lemma 1.** *R*<sub>*u*</sub> contains the eigenvectors of B, with the respective eigenvalues <sup>1+β</sup>&frasl;<sub>1−β</sub>, 1, 1 and <sup>1−β</sup>&frasl;<sub>1+β</sub>; B = R<sub>*u*</sub>DR'<sub>*u*</sub>, D being the diagonal matrix which contains the respective eigenvalues of B; det(B) = 1.

**Proof.** Remember that $\gamma = (1 - \beta^2)^{-1/2}$ and check that $BR_u = R_u D$. $\square$

Now comes the following theorem:

**Theorem 1.** Any Lorentz boost with parameter $\beta$ in a given direction $u$ is the square of two boosts in the direction $u$, each one of parameter $\lambda = (1 - \sqrt{1 - \beta^2}) / \beta$. It is so that $\lambda \in [0; \beta[$.

**Proof.** From Lemma 1, $B = R_u DR'_u$, where the rotation $R_u$ depends only on $u$, not on $\beta$. Thus, any boost in the direction $u$ with relative velocity $\lambda$ can be factorized as $R_u \Delta R'_u$, where the respective diagonal elements of $\Delta$ are written $\frac{1+\lambda}{1-\lambda}$, 1, 1, and $\frac{1-\lambda}{1+\lambda}$. We look for a boost $B_\lambda$, such that $B = B_\lambda^2$. So, $B = R_u \Delta R'_u R_u \Delta R'_u$, that is, $B = R_u \Delta^2 R'_u$. Equating the two expressions of $B$, we get $\Delta^2 = D$. The unique solution is such that $(\frac{1+\lambda}{1-\lambda})^2 = \frac{1+\beta}{1-\beta}$, from which $\lambda^2 - \frac{2}{\beta} + 1 = 0$. Only one solution $\lambda$ does not exceed 1: it is $\lambda = (1 - \sqrt{1 - \beta^2}) / \beta$. It can be easily checked that $\lambda \in [0; \beta[$. $\square$

**Corollary 1.** A boost is a direct symmetry of the Lorentz group.

**Proof.** Apply Theorem 1: this matches the definition of direct isometries given in [18]. $\square$

Now we look at the composition of spatial indirect isometries with time reversal, and we prove
the following Theorem:

**Theorem 2.** *The composition of any spatial indirect isometry with time reversal is an indirect isometry of the Lorentz group.*

**Proof.** We consider an indirect spatial isometry $P_Q = \begin{pmatrix} Q & 0 \\ 0 & 1 \end{pmatrix}$, where the orthonormal matrix $Q$ is such that $Q'Q = I$ and $\det(Q) = -1$. The time reversal is $T = \begin{pmatrix} I & 0 \\ 0 & -1 \end{pmatrix}$. The operators $P_Q$ and $T$ commute, and $P_Q \circ T = \begin{pmatrix} Q & 0 \\ 0 & -1 \end{pmatrix}$, with $\det(P_Q \circ T) = +1$. Let us focus on its lower right diagonal element, $-1$, and assume that $P_Q \circ T$ is a direct isometry of the Lorentz group. If so, it is a product of squared elements of the group. We require that this product has its lower right diagonal element equal to $-1$. If $T$ is not part of the product, this latter one would contain only boosts and spatial isometries. Without the presence of $T$, all group elements in the product have their lower right diagonal element greater or equal to $+1$, and the product cannot get a negative sign at this place (even the product of two boosts cannot do that, because it is the product of one boost by a spatial rotation [22]). An odd number of $T$ is needed in the product to generate this negative sign. Notice that the number of indirect spatial isometries is even in the product, because each square necessarily contains an even number of them, and we would get a negative determinant for the product, a contradiction. Thus, $P_Q \circ T$ is an indirect isometry of the Lorentz group. $\square$

The commutative composition of parity reversal with time reversal is $P_{-I} \circ T = \begin{pmatrix} -I & 0 \\ 0 & -1 \end{pmatrix}$.
For clarity, $P_{-I}$ is denoted $P$, and $P_{-I} \circ T$ is denoted $PT$.

**Corollary 2.** Each of the operators *T*, *P*, and *PT* is a mirror in the Minkowski space. The subgroup of the Lorentz group generated by the operators $I_4$, *T*, *P*, and *PT* is isomorphic to the Klein four-group.
**Proof.** Apply Theorem 2. The fact that $T$, $P$, and $PT$ are mirrors is an immediate consequence of Definition 3 in [18]. The composition of these mirrors are: $P \circ T = T \circ P = PT$, $PT \circ P = P \circ PT = T$, and $PT \circ T = T \circ PT = P$: this matches the definition of the abelian Klein four-group [24]. $\square$

Thus, the improper antichronous Lorentz transformation $PT$ is a mirror in Minkowski spacetime. This result may be thought of as being counterintuitive because $det(PT) = +1$, but we recall that we work in $\mathbb{R}^4$ equipped with the Minkowski metric, not with the Euclidean metric.

**4. Discussion and Conclusions**

We remember that: (i) an isometry is a direct one if it can be written as the composition of squared isometries (thus the composition of direct isometries is a direct isometry), and (ii) any composition of isometries involving one indirect isometry is an indirect isometry. So far, in the Lorentz group, we have identified:

* Direct isometries: spatial rotations and boosts.

* Mirrors ( involutions): parity inversion $P$, time reversal $T$, and their commutative composition, $PT$.

The compositions of the symmetry operators above generate the full Lorentz group. The spatial translations and the time translations being direct isometries of the Poincaré group, we are now able to classify any isometry of the Poincaré group as being direct or indirect. Thus, we have defined chirality in the Minkowski spacetime—an object is chiral if no indirect symmetry leaves it invariant. If it is not chiral, it is achiral.

We outline that our point is not to redefine symmetries: they are well-known, and the definition we used corresponds to what is usually encountered in physics. The situation is different for chirality. The word *chirality*, (together with *chiral* and *achiral*), has different definitions, depending on the context in which it was used. When time is discarded, the definitions are mainly based on Lord Kelvin's one, and applied both to rigid objects and to flexible objects, such as molecules conformers (it is a complex topic, far outside the scope of this paper). In spacetime, Lord Kelvin's definition no longer works. In particle physics, *chirality* is related to *helicity*, that is, it depends on the sign of the projection of the spin vector onto the momentum vector, but there are other uses, such as chiral superfields [25], *chiral algebra*, and *chiral homology*. We do not aim to unify all these terminologies. However, to get some compatibility between concepts of chirality in space and in spacetime, in our opinion, the very first step was to extend our definition of chirality to the spacetime of Minkowski, as we did here. This is mainly because there is a consensus about the validity of special relativity. Extensions to these other fields are outside the scope of this paper, and are to be considered further. Another extension is quantitative chirality, that is, measuring how less or more chiral objects are by themselves, not by their interactions [26]. They were considered only in the Euclidean case [27] (see also [28] and Section 2.9 in [26]), and the underlying mathematical model was extended to a theory of docking [29]. However, extending this quantitative chirality theory to objects in spacetime is difficult.

**Funding:** This research received no external funding.

**Acknowledgments:** I am very grateful to Tidjani Negadi for useful discussions and for having provided me several helpful documents.

**Conflicts of Interest:** The authors declare no conflict of interest.

**References**

1. Ecker, G. Chiral Perturbation Theory. Prog. Part. Nucl. Phys. **1995**, *35*, 1–80. [CrossRef]

2. Mezey, P.G. (Ed.) *New Developments in Molecular Chirality*; Springer: Dordrecht, The Netherlands, 1991.

3. Francotte, E.; Lindner, W. (Eds.) *Chirality in Drug Research*; Wiley: Weinheim, Germany, 2006.

4. Brown, C. (Ed.) *Chirality in Drug Design and Synthesis*; Academic Press: London, UK, 1990.

5. Wagnière, G.H. *On Chirality and the Universal Asymmetry*; Wiley: Weinheim, Germany, 2007.

6. Cintas, P. (Ed.) *Biochirality, Origins, Evolution and Molecular Recognition*; Springer: Heidelberg, Germany, 2013.
7. Pályi, G.; Zucchi, C.; Caglioti, L. (Eds.) *Progress in Biological Chirality*; Elsevier: Amsterdam, The Netherlands, 2004.

8. Bouissou, C.; Petitjean, M. Asymmetric Exchanges. *J. Interdisc. Methodol. Iss. Sci.* **2018**, *4*, 1–18. Available online: https://hal.archives-ouvertes.fr/hal-01782438 (accessed on 17 October 2019).

9. Lord Kelvin *The Molecular Tactics of a Crystal*; Clarendon Press: Oxford, UK, 1894; section 22, footnote p. 27.

10. Prelog, V. Chirality in chemistry. *Nobel Lect. 1975*. Available online: https://www.nobelprize.org/uploads/2018/06/prelog-lecture.pdf (accessed on 17 October 2019).

11. Whyte, L.L. Chirality. *Nature* **1958**, *182*, 198. [CrossRef]

12. Barron, L.D. True and false chirality and parity violation. *Chem. Phys. Lett.* **1986**, *123*, 423–427. [CrossRef]

13. Barron, L.D. True and false chirality and absolute enantioselection. *Rend. Fis. Acc. Lincei* **2013**, *24*, 179–189. [CrossRef]

14. Mislow, K. Molecular chirality. *Top. Stereochem.* **1999**, *22*, 1–82.

15. Cintas, P. Chirality and chemical processes: A few afterthoughts. *Chirality* **2008**, *20*, 2–4

16. Hori, K.; Katz, S.; Klemm, A.; Pandharipande, R.; Thomas, R.; Vafa, C.; Vakil, R.; Zaslow, E. Introduction. In *Mirror Symmetry*; Clay Mathematics Monographs; American Mathematical Society: Cambridge, MA, USA, 2003; Volume 1, p. xvi.

17. Petitjean, M. A definition of symmetry. *Symmetry Cult. Sci.* **2007**, *18*, 99–119. Available online: https://hal.archives-ouvertes.fr/hal-01552499 (accessed on 17 October 2019).

18. Petitjean, M. Chirality in metric spaces. In memoriam Michel Deza. *Optim. Lett.* **2017**, *1–10*, doi:10.1007/s11590-017-1189-7. [CrossRef]

19. Petitjean, M. Chirality in metric spaces. *Symmetry Cult. Sci.* **2010**, *21*, 27–36. [CrossRef]

20. Moshe, C. *General Relativity. Representations of the Lorentz Group and Their Applications to the Gravitational Field*; Imperial College Press: Singapore, 2000; Chapter 2, Section 2.1, pp. 20–22.

21. Müller-Kirsten, H.J.W.; Wiedemann, A. *Introduction to Supersymmetry*, 2nd ed.; Lecture Notes in Physics; World Scientific: Singapore, 2010; Volume 80, Chapter 1, p. 22.

22. Ungar, A.A. Thomas rotation and the parametrization of the Lorentz transformation group. *Found. Phys. Lett.* **1988**, *1*, 57–89. [CrossRef]

23. Kennedy, W.L. Thomas rotation: a Lorentz matrix approach. *Eur. J. Phys.* **2002**, *23*, 235–247. [CrossRef]

24. Whitelaw, T.A. *Introduction to Abstract Algebra*; Chapman & Hall/CRC: Boca Raton, FL, USA, 1995; Section 44.5, p. 99.

25. Hübsch, T. Linear and chiral superfields are usefully inequivalent. *Class. Quantum Grav.* **1999**, *16*, L51–L54. [CrossRef]

26. Petitjean, M. Chirality and symmetry measures: A transdisciplinary review. *Entropy* **2003**, *5*, 271–312. [CrossRef]

27. Petitjean, M. Chiral mixtures. *J. Math. Phys.* **2002**, *43*, 4147–4157. [CrossRef]

28. Petitjean, M. On the root mean square quantitative chirality and quantitative symmetry measures. *J. Math. Phys.* **1999**, *40*, 4587–4595. [CrossRef]

29. Petitjean, M. From shape similarity to shape somplementarity: Toward a docking theory. *J. Math. Chem.* **2004**, *35*, 147–158. [CrossRef]

<figure><img src="image_3.png" /></figure>

© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).