Abstract

We begin by recalling a group which is an enlargement of the diffeomorphisms on an ordinary manifold. We used this larger group to unify the gravitational and electroweak fields, which are mediated by bosons. Unfortunately, we could not include the neutrinos, because geometrical theories based on an ordinary manifold generally cannot include fermions. Therefore, in this paper, we introduce an analogous group that contains the superdiffeomorphisms on a DeWitt supermanifold as a proper subgroup.

1. Introduction

Our group enlargement has been motivated by a prediction of Dirac's [1], a subsequent more specific suggestion of Einstein’s [2], a requirement by Pauli [3], and by remarks by DeWitt [4, 5].

In the preface to the first edition of his famous book Quantum Mechanics, Dirac made the prophetic statement: “The growth of the use of transformation theory, as applied first to relativity and later to the quantum theory, is the essence of the new method in theoretical physics. Further progress lies in the direction of making our equations invariant under wider and still wider transformations.”

In his Autobiographical Notes, Einstein made the following statement which is consistent with that of Dirac, but which is more specific: “Our problem is that of finding the field equations for the total field. The desired structure must be a generalization of the symmetric tensor. The group must not be any narrower than that of the continuous transformations of co-ordinates. If one introduces a richer structure, then the group will no longer determine the equations as strongly as in the case of the symmetric tensor as structure. Therefore it would be most beautiful, if one were to succeed in expanding the group once more, analogous to the step which led from special relativity to general relativity.”

The group that Einstein called “the continuous transformations of co-ordinates” is presently called the group of diffeomorphisms and is defined by (1). Now, the diffeomorphisms (which led to general relativity) contains the Lorentz group (which led to special relativity) as a proper subgroup. Thus, Einstein's suggestion is that we seek a group which contains the diffeomorphisms as a proper subgroup, but does not suggest how such a group should be found.

Pauli noted that “it is absolutely essential that such a fundamental theorem as the covariance law be derivable from the simplest possible basis assumptions.” In Section 2.2, we obtain a covariance group which satisfies Pauli's requirement, by assuming that all observers will agree whether or not any given vector quantity is conserved. The new covariance group is defined by (2) and is called the “conservation group.” In previous physics papers [613] we used the conservation group in an attempt to unify the gravitational and electroweak interactions.

Our attempt was only partially successful because it does not include fermions. This is a common defect in geometrical theories defined on an ordinary manifold. However, as DeWitt [4] notes, the discovery of Bose-Fermi supersymmetry suggests that we should pass from an ordinary manifold to a supermanifold. DeWitt [5] also states that, in a supermanifold, the proper setting “will be a suitable elaboration of the geometrical ideas upon which Einstein based general relativity.”

For the reasons discussed above, in Section 3 of this paper, we introduce a super conservation group which contains the superdiffeomorphisms as a proper subgroup.

2. Group Which Contains the Diffeomorphisms as a Proper Subgroup

In previous physics papers [613], we presented a group which contains the diffeomorphisms as a proper subgroup. We include a discussion of that group in this section, because its inclusion will optimize the clarity of our new group's introduction in Section 3.

2.1. The Diffeomorphism Group

For a diffeomorphism, infinitesimal changes of the coordinates are related by , where the summation convention has been adopted. The matrix of the transformation coefficients must be nonsingular, and the integrability condition must be satisfied. Partial differentiation is denoted by a comma.

2.2. The Conservation Group

In [613], we replaced (1) by the requirement that the transformation coefficients will satisfy the weaker condition Transformations which satisfy (2) are called conservative, for a reason that will become clear in Section 2.2.1. Proof that (2) defines a group which contains the diffeomorphisms as a proper subgroup will be recalled in Section 2.2.2.

2.2.1. Transformation of a Conservation Law

A conservation law is an expression of the form where is a vector density of weight . It is surprising and very important that (3) is invariant, not only under the diffeomorphisms, but also under the more general transformations defined by (2). This may be seen in the following way.

The transformation law for a vector density of weight is where is the Jacobian determinant of . If we differentiate (4) with respect to , a short calculation gives Equation (5) shows that (3) is invariant, not only under the diffeomophisms, but also under the larger group defined by (2). This is clear because is arbitrary and . Thus it follows from (5) that we have both and (i.e., a conservation law is an invariant statement) if and only if the transformation coefficients satisfy (2). We therefore call transformations that satisfy (2) “conservative.”

2.2.2. Proof That the Conservative Transformations Form a Group Which Contains the Diffeomorphisms as a Proper Subgroup

First, we note that the identity transformation is a conservative transformation. Next, we consider the result of following a transformation from to by a transformation from to . Upon differentiating with respect to , subtracting the corresponding expression with and interchanged, and multiplying by , we obtain We see from (6) that if the quantities and both vanish, then the quantity vanishes. Thus, if the transformations from to and from to are conservative, then the product transformation from to is conservative. If we let , we see from (6) that the inverse of a conservative transformation is conservative. From , we see that the product of matrices and (which represent the transformations from to and from to , resp.) equals the matrix (which represents the product transformation from to ). It is obvious, and well known, that if products admit a matrix representation in this sense, then the associative law is satisfied. This completes the proof that the conservative transformations form a group.

We note that if (1) is satisfied, then (2) is satisfied; that is, the conservation group contains the diffeomorphisms as a subgroup. Thus, to show that it contains the diffeomorphisms as a proper subgroup, we need only to exhibit transformation coefficients which satisfy (2), but do not satisfy (1). Such transformation coefficients are where is the usual Kronecker delta. If we take the partial derivative of with respect to and subtract from the result the corresponding expression with and interchanged, we get If, in (8), we choose ,, and , we get , so the transformation coefficients in (7) do not satisfy (1). However, upon multiplying (8) by , we find that the transformation coefficients in (7) do satisfy (2). q.e.d.

3. Group Which Contains the Superdiffeomorphisms as a Proper Subgroup

In [613] we used the conservation group as the covariance group for a geometrical theory which unifies the gravitational and electroweak fields, which are mediated by bosons. This theory, however, fails to completely unify the gravitational and electroweak interactions, because it does not include the neutrinos, which are fermions. Geometrical theories based on an ordinary manifold generally cannot include fermions. However both bosons and fermions are included in theories based on a supermanifold. We therefore investigate a generalization of the conservation group to a setting which is a supermanifold.

3.1. Supermanifolds

As Rogers [14] has stated, “a supermanifold is a set, more specifically it is a manifold modelled on some flat ‘superspace’ so that it has local coordinates some of which take values in the even and some in the odd part of a Grassmann algebra.” “Even” quantities commute with all quantities, while “odd” quantities anticommute among themselves.

We adopt the standard notation of DeWitt [15, pages 2 and 3 and Section  2], in which the rules for commutation relations and for shifting tensor indices are accommodated by using coefficients that are powers of . When the first edition of DeWitt's book was published in 1984, the journal Nature stated “Supermanifolds is destined to become the standard work for all serious study of super-symmetric theories of physics.” We assume that a reader interested in this section is somewhat familiar with DeWitt's notation. However, since we wish to optimize readability, we shall give more details than what is customary in the remainder of this paper.

3.2. The Superdiffeomorphism Group

For a superdiffeomorphism, the transformation coefficients in the relation must be nonsingular and must satisfy the condition If (9) is replaced by the weaker condition the transformation will be called superconservative, for a reason which will become clear in Section 3.2.1. Proof that (10) defines a group which contains the super-diffeomorphisms as a proper subgroup will be given in Section 3.2.2.

3.2.1. Transformation of a Superconservation Law

A discussion by DeWitt [15, page 113] shows that a super-conservation law is an expression of the form where is a supervector density of weight , and that the transformation law for a super vector density is where is the Jacobian superdeterminant of . (note: DeWitt uses the symbol instead of our , and the symbol instead of our .).

If we differentiate (12) with respect to and multiply by , we get where we have used, which corresponds to DeWitt's equation (1.7.25). Continuing, we have and since , we get Thus, we have We see from (16) that we have both and (i.e., a super-conservation law is an invariant statement) if and only if . Since is arbitrary and , we must have . The index is not summed, so we divide by to obtain (10). We therefore call transformations that satisfy (10) “super-conservative.”

3.2.2. Proof That the Super-Conservative Transformations Form a Group Which Contains the Superdiffeomorphisms as a Proper Subgroup

We begin by noting that the identity transformation is a super-conservative transformation that is, it satisfies (10). Next, we consider the result of following a transformation from to by a transformation from to . Upon differentiating with respect to , we get and we multiply by to get Thus,

We interchange and in the middle line of (17) to obtain and we multiply by to get so Upon subtracting (22) from (19), we obtain Equation (23) shows that if the quantities and both vanish, then it follows that the quantity vanishes. Thus, if the transformations from to and from to are super-conservative, then the product transformation from to is super-conservative. If we let , we see from (23) that the inverse of a super-conservative transformation is super-conservative. As in Section 2.2.2, the relation guarantees that the associative law is satisfied. This completes the proof that the super-conservative transformations form a group.

We note that if (9) is satisfied, then (10) is satisfied; that is, the super-conservation group contains the super-diffeomorphisms as a subgroup. Thus, to show that it contains the super-diffeomorphisms as a proper subgroup, we need only to exhibit transformation coefficients which satisfy (10), but do not satisfy (9). Such transformation coefficients are the same as those in (7). This is clear, because the quantities in (7) are all ordinary numbers. Therefore, as DeWitt notes, they are in the even part of our supermanifold. Hence, in this case, the exponents and in (9) and (10) are even numbers. Thus, for the transformation coefficients in (7), (9), and (10) reduce to (1) and (2). We have shown previously in Section 2.2.2 that the transformation coefficients in (7) do not satisfy (1), but satisfy (2). q.e.d.