Marcel Grossmann and his contribution to the general theory of relativity - 71 minutes read
Tilman Sauer
Institute for Theoretical Physics
Albert Einstein Center for Fundamental Physics
University of Bern, CH-3012 Bern, Switzerland
and
Einstein Papers Project, California Institute of Technology MC20-7
1200 E California Blvd, Pasadena, CA 91125, USA
E-mail: tilman.edu
2 Marcel Grossmann (1878–1936)
Marcel Grossmann was born on 9 April 1878 in Budapest, Hungary.10, 11, 2, 12
The son of a large machine-shop owner, he was the descendant of an old Swiss family, originating from Höngg, near Zurich. He spent his childhood and attended primary school in Budapest. At the age of 15 he returned
with his parents to Switzerland and attended secondary school in Basel. Apparently, he was a model student. A report card from April 1894 gave him the best grade (1) for effort in all subjects, and the best grade for achievement in almost all subjects, except for technical drawing (2), freehand drawing (2), and physical exercise (3).
Figure 1: Marcel Grossmann (1878–1936). ©ETH Bibliothek Zürich, Bildarchiv.
After graduating from middle school, he entered the Swiss Polytechnic School in Zurich, now the Swiss Federal Institute of Technology (referred to as ETH in the following),
in its department VI, the School for
Mathematics and Science Teachers, in October 1896. The department was divided into two sections. Grossmann enrolled in section VI A, which was headed by Adolf Hurwitz (1859–1919) and specialized in mathematics, physics, and astronomy. The ETH counted a total of 841 students in 1896, but only 11 students enrolled in section VI A for the winter semester 1896/97. As is well-known, among Grossmann’s peers of section VI A were Albert Einstein (1879–1955) and Mileva Marić (1875–1948), the only woman in that class.
Two other students of Grossmann’s entry class, Jakob Ehrat (1876–1960) and Louis Kollros (1878–1959), remained in Grossmann’s cohort until the final examinations in 1900. Unlike in its five engineering school departments, in department VI there was no formal curriculum. Here the course of lectures to be taken by the students was determined on a more or less individual basis each year by the head of the department. Nevertheless, comparison of the students’ transcripts shows that required classes were very much the same for all students in section VI A in the first two years. They included courses on calculus, analytic geometry, descriptive geometry, mechanics, projective geometry, and determinants in the first year; in the second year Grossmann and his fellow students took classes on differential equations, infinitesimal geometry, projective geometry, number theory, geometry of numbers, mechanics, physics, theory of scientific reasoning, Kant’s critique of pure reason, geometric theory of invariants, complex analysis, potential theory, theory of definite integrals, and an introduction to celestial mechanics. In addition, the
students were free to take a choice of non-obligatory courses. The mandatory part of their schedule comprised some twenty hours a week. Not surprisingly, spending the better part of the week with a handful of peers in the same lecture room for two years, friendships were bound to build up. As is well-known, one such friendship soon developed between Grossmann and Einstein. They would hang out after school in Zurich’s Café Metropol and talk about “everything that could be of interest to young folks with open eyes” 13 147.
In the third and fourth year, the curriculum of the students in section VI A diversified somewhat. Einstein and Marić attended lectures in physics and spent more time in the laboratory, Grossmann, Ehrat, and Kollros continued their mathematical studies. Grossmann was a conscientious and industrious student. He took notes during the lectures and worked them out in bound booklets, carefully and
meticulously, in a clean and neat handwriting. Those notebooks, valuable witnesses of the mathematical knowledge and training of the day, were later given to the ETH archives and are accessible to the public. Einstein later recalled that Grossmann would lend him his Ausarbeitungen so that he could use them to prepare for his examinations.
Figure 2: A page from Grossmann’s notes of Carl Friedrich Geiser’s lectures on infinitesimal geometry, given in the summer term 1898 at the Swiss Polytechnic. This page shows a pencil comment probably made by Einstein. ETH archives, Hs 421:16, p. 105. Grossmann’s lecture notes are available online at the ETH’s e-manuscripta platform.
On 27 July 1900, final oral examinations took place for the section VI A class of 1896. The mathematicians Grossmann, Ehrat, and Kollros were examined in complex analysis, geometry, arithmetic and algebra, theoretical physics, and in astronomy. The physicists Einstein and Marić were examined in theoretical physics, experimental physics, complex analysis, and in astronomy. For the mathematicians, grades in the
mathematical subjects were doubled. In addition, the grade for a diploma thesis was quadrupled for evaluation of the final grade. Grossmann, who had written a diploma thesis on non-Euclidean geometry with Wilhelm Fiedler, scored an average of 5.23, second in his class after Louis Kollros who scored 5.45. Ehrat scored an average of 5.14, Einstein 4.91, only Marić failed the examination with a score of 4.0.
After obtaining his diploma, Grossmann obtained a position as Assistent to Otto Wilhelm Fiedler (1832–1912), full professor for descriptive geometry and projective geometry at the ETH since 1867. This was a typical career step in an academic vita. It allowed Grossmann to obtain his Ph.D., supervised by Fiedler, already in 1902 with a thesis “On the Metric Properties of Collinear Structures”15. The topic of the thesis was from the field of projective geometry, a field of expertise of Fiedler’s, and the aim of the thesis was to give a detailed discussion of the focal and metric properties of collinear planes and bundles with a special emphasis on the aspect of projective duality. It also extended the concept of the characteristic of plane centric collineations to arbitrary collineations and, given two collinear spaces, to put this characteristic into relation to the coordinates of the collinear planes and bundles. Results from his thesis were published in a brief paper, which, however, appeared only in 1905.16
On 31 August 1901, Grossmann was appointed to a position as an instructor at Thurgau Kantonsschule in Frauenfeld
12 316, note 2. During his tenure in Frauenfeld, he published a detailed account of what he called Fundamental Constructions of non-Euclidean Geometry17. An extract from that work appeared the same year also in Mathematische Annalen.18 With this work, which allegedly evoked praise by David Hilbert (1862–1943) 10 323, Grossmann established himself as an expert in non-Euclidean and projective geometry. The point of these investigations was to show that and how one can perform the elementary constructions of Euclidean geometry also for the case of non-Euclidean geometries, both hyperbolic and elliptic. Grossmann based his constructions on the concepts of Cayley-Klein geometry. In this framework,19 the set of improper, infinitely far away points of, say, two-dimensional hyperbolic geometry, is represented by a real, non-degenerate conic section ΩΩ\Omega in the (Euclidean) plane, the so-called absolute conic section. Given such an absolute conic section, the hyperbolic plane is then formed by all points within ΩΩ\Omega. If A𝐴A and B𝐵B are two such points, and U1subscript𝑈1U_{1} and U2subscript𝑈2U_{2} the points of intersection between ΩΩ\Omega and the straight line connecting A𝐴A and B𝐵B, then the distance r𝑟r between A𝐴A and B𝐵B is given by the logarithm of the cross ratio
r=kln(U1,U2,A,B),𝑟𝑘subscript𝑈1subscript𝑈2𝐴𝐵r=k\ln(U_{1},U_{2},A,B),
(1)
where k𝑘k is a real constant. This Cayley-Klein metric now allows the construction of all elementary geometric objects by elementary geometric means, and Grossmann proceeds to show how the fundamental construction tasks of Euclidean geometry can now be transferred to the non-Euclidean case, see Fig. 3 for an illustration of his method.
Figure 3: Grossmann was an expert in synthetic constructions of non-Euclidean geometry in the framework of Cayley-Klein geometry. This figure (17 22, 18 504) illustrates the construction of a triangle with given right angle (at point C𝐶C) and two arbitrary angles α𝛼\alpha and β𝛽\beta in a hyperbolic geometry represented by the conic section ΩΩ\Omega. The inside of the complex ΩΩ\Omega represents the hyperbolic plane, its border the improper points at infinity. Straight lines which have a given angle α𝛼\alpha with s1subscript𝑠1s_{1} or β𝛽\beta with s2subscript𝑠2s_{2} are tangents to the conic sections K(α)𝐾𝛼K(\alpha) or K(β)𝐾𝛽K(\beta), and the task is to find a common tangent to both K(α)𝐾𝛼K(\alpha) and K(β)𝐾𝛽K(\beta), which is shown to be a problem only of second rather than of fourth degree.
In 1905, Grossmann moved to Basel to teach at his own former school, the Oberrealschule. At that time, on the basis of his published research,
he also became Privatdozent at the University of Basel, an unpaid academic title with the privilege (and obligation) to lecture at the university that was needed in order to be considered for a
professorship at a German language university. In Basel, Grossmann published two geometry textbooks, one on
analytic geometry20 and one on descriptive geometry21. Generations of mathematics and engineering students, in Basel, at the ETH, and elsewhere, would learn geometry from these textbooks and its various later editions.
When his academic teacher Fiedler asked for a leave due to ill health in 1906, Grossmann was asked to step in for him and to teach the course on descriptive geometry at the ETH in the winter semester of 1906/07. Fiedler resigned for good
in June 1907 as of 1 October, his position was advertised, and Grossmann who was listed secundo loco was appointed his successor on 22 July 1907, after Martin Disteli (1862–1923) in Dresden had rejected a call. The initial appointment was for three years, but it was extended for another ten years in 1910, as was usual with such appointments.
If Grossmann’s career from an ambitious student to a professor at the ETH was rather direct and without setbacks, his friend Einstein’s career was less so. As is well-known,12 Einstein’s attempts to obtain an assistantship anywhere failed flatly despite various letters of application. To make matters more
difficult, Einstein and his fellow student Mileva Marić had fallen in love and, unfortunately, Marić had become pregnant in the spring of 1901, an unplanned circumstance that surely contributed to her failing the final examinations again at her second attempt in summer 1901.
Einstein had also applied in July 1901 for the position at the Thurgau Kantonsschule that Grossmann would obtain 12 Doc.122. But Grossmann’s father, Julius Grossmann (1843–1934), who was an old friend of Friedrich Haller (1844–1936), director of the Swiss Patent Office in Bern, recommended Einstein for a position at this office, and in June 1902 Einstein began to work there as a Technical Expert. Since Einstein now had a tenured job, he was able to marry Mileva Marić in January 1903. Coincidentally, the same year, Grossmann got married to Anna Keller (1882–1967). When Einstein obtained his Ph.D. in 1905, he dedicated his doctoral thesis to his friend Grossmann.23 A few years later, Einstein was considering his next career steps.
In 1908, he asked Grossmann for advice in applying for a teacher’s position at a technical school in Winterthur 24 Doc. 71. Nothing came of that, but shortly thereafter, he obtained his habilitation at the University of Bern, and, in 1909, he accepted an associate professorship at the University of Zurich. Although in close proximity again, little is known about Grossmann’s and Einstein’s interactions during the latter’s tenure at Zurich University.
Grossmann, in the meantime, engaged himself in all aspects of mathematics: research, teaching, and disciplinary organization. In 1909, he showed how projective constructions of hyperbolic geometry can also be done using only a ruler, if a fixed auxiliary circle is given.25 He lectured about projective geometry and projective constructions to Swiss teachers.26 In 1910, he confirmed a conjecture in the field of photogrammetry formulated by Sebastian Finsterwalder (1862–1951) in 1897. Photogrammetry, in some sense the inverse of projective geometry, is concerned with the problem of constructing original three-dimensional objects, if only two-dimensional photographs of those objects are given. In a report on the state of the field presented to the Deutsche Mathematiker-Vereinigung, Finsterwalder had claimed that given four photographs of an object, one can always construct the object uniquely up to a conformal scale factor but the explicit construction was practically unfeasible 27 14–15. In a lecture to the Zurich Naturforschende Gesellschaft, Grossmann confirmed the conjecture about the practical impossibility of the actual construction by showing “in a purely geometric way” that the relevant surfaces would be given as a section between a developable surface of nineteenth degree with another surface of fifth degree and that after subtracting improper solutions, there exist 56 of those surfaces.28
In the same year, he co-founded the Swiss Mathematical Society, whose presidency he held in the years 1916 and 1917. An important early activity of the Society was the inauguration of a long-term editorial project publishing the writings of Leonhard Euler (1707–1783).29 In 1911, Grossmann published a
detailed fifty-page report on mathematics instruction at the ETH, as part of a broad report on mathematics
education in Switzerland, requested by the Commmission internationale de l’Enseignement mathématique.30 Earlier, he had pushed for the establishment of holiday courses for mathematics teachers at Swiss gymnasia and middle schools.31 Similar courses had been established a few years earlier in Berlin and Göttingen and were intended to supplement
teachers’ knowledge in the mathematical sciences 32 146–147. When Einstein moved to Prague as a full professor in 1911, he was asked by Grossmann to lecture at one of those holiday courses, a request that Einstein felt unable to turn down 24 Doc. 266. In a lecture to the Zurich Naturforschende Gesellschaft on non-Euclidean geometry given of 29 January 1912, Grossmann also discussed the question of the geometric nature of real physical space.33
With Grossmann now an important player in ETH’s faculty, it is not surprising that he was also involved in bringing Einstein back to Zurich. In the winter term 1911/1912, Grossmann took over the chair of the department for mathematics and physics teachers, and one of the first things he must have done in this capacity is to write to Einstein informally to sound him out about his willingness to accept an offer to join the ETH faculty. Ever since Hermann Minkowski (1864–1909) had moved to Göttingen in 1902 the professorship for higher mathematics had been vacant, a situation that was lamented by Grossmann and his colleagues. When Einstein, in a letter of 18 November 1911 24 Doc. 307, indicated that he would consider coming back to his alma mater, the issue was discussed two weeks later at a meeting of the Swiss School Council and ETH’s president Robert Gnehm (1852–1926) was asked to enter into formal negotiations with Einstein. Even after Gnehm had initiated his negotiations and when Einstein was receiving competing offers from the Netherlands, Grossmann continued to assist informally with advice as to how to best accelerate the process 24 Docs. 319, 321. Grossmann must have been satisfied when, already on 30 January 1912, Einstein was appointed Professor of Theoretical Physics at the ETH effective 1 October 1912, despite some internal opposition from his colleagues 24 Doc. 291. He had succeeded in securing a first-rate scholar for the science education of the ETH students and he could be looking forward to having his good friend around as a colleague again.
During Einstein’s tenure at the ETH, he and Grossmann engaged in an intense and very successful collaboration, in which Einstein’s physics training and Grossmann’s mathematical background came together in a fruitful search for a relativistic theory of gravitation. The collaboration culminated in their joint publication of an “Outline (German: Entwurf) of a general theory of relativity and a theory of gravitation.” This period and the collaboration will be discussed in more detail below. Here we will first continue to give an account of Grossmann’s life and work.
Grossmann’s intellectual biography after the Entwurf episode continues to be dominated by his research, teaching, and administrative duties as professor of mathematics at the ETH. But during the war and for some time after the war years, Grossmann also engaged in patriotic activities. He wrote essays in the daily Neue Zürcher Zeitung, published pamphlets and gave lectures, in which he emphasized the need to strengthen the national unity of the different parts of Switzerland.34, 35, 36, 37, 38
Toward the end of the war and in the immediate postwar period, Grossmann engaged in the publication of a periodical. On 25 October 1918, an initiative committee issued an announcement, signed by Grossmann and two others, of the founding of a cooperative with the aim of publishing a new periodical called the Neue Schweizer Zeitung and an invitation to possible subscribers and donors. Members of the cooperative had to be Swiss nationals. The first issue of the Neue Schweizer Zeitung appeared on 20 December 1918, and it was then published twice weekly. The paper was intended to provide a forum for open debate of all issues concerning Swiss affairs, supporting the ideals of Swiss democracy, federalism, and national unity. As is clear from an invitation for subscribers, dated 27 December, Grossmann functioned as president of the board of management and as such was also a member of the editing committee. So was his brother Eugen Grossmann (1879–1963), a professor of economics at the University of Zurich. Both Marcel Grossmann and his brother regularly published contributions in the new paper. It continued to appear for three and a half years until 29 June 1922 when it stopped publication, and during this period Grossmann published some 40 contributions in the Neue Schweizer Zeitung. A note, dated 20 June 1922, announcing the end of the paper due to economic problems was still signed by Grossmann as president of the board of management.
Another of Grossmann’s activities in the immediate postwar years concerned an effort to reform the national Swiss regulations and requirements for obtaining a secondary-school diploma that would qualify for university studies, the so-called Maturitätszeugnis or, short, Matura.39 The educational system in Switzerland has strictly been under authority of the cantons, the only influence that the federal government could take on the requirements of secondary school diplomata was through regulations for admission in the medical professions and through entrance requirements to the Swiss Federal Polytechnic (ETH) school in Zurich. Since a variety of different secondary schools, gymnasia, middle schools, business, professional and vocational schools existed in the various cantons with widely different curricula, standards, and examination rules, a committee was installed with the task of formulating rules for standards that would be acceptable nationwide. The debate and discussion process continued for several years and touched on several hotly disputed issues. One point of contention was the issue whether knowledge in the old languages Latin and Greek as it was taught in the traditional gymnasia should be required as it had been the case traditionally for students of the medical sciences. This issue collided with the wish that so-called Realgymnasien, i.e., secondary schools which focussed on the sciences rather than on the languages, should be allowed to prepare for university studies on the basis of a science-centered curriculum. Also at stake were various different schooling traditions in the various cantons.
Mathematics was a core subject in all curricula and traditionally it was the ETH faculty themselves who decided on the admission of their students. 40
As a professor of mathematics at the ETH, Grossmann was a member of the committee who were put in charge of formulating a proposal for reform, and he worked in this capacity quite seriously and passionately. In a number of public statements made at various occasions,41, 42, 43, 44, 45, 46 he argued for a reform that was guided by a spirit of both liberality and high scientific standard. He argued against overloading the required curricula by demanding too much knowledge of details in favor of furthering skills of independent judgment and study. He also advocated a proposal according to which the Realgymnasien should be given the privilege of awarding a federally recognized Maturitätszeugnis without requiring the knowledge of old languages. Quite in the spirit of his patriotic activities during the war, he also emphasized the need of educating students in the spirit of becoming independent, democratic, and patriotic citizens. The debate sometimes degenerated into veritable polemics during which Grossmann at one point accused his own former school, the Realgymnasium in Basel, where he also had been on the faculty for two years, of an utter lack of scholarly standard.46 In a pointed polemic, Grossmann had said publicly that Basel had a very good Gymnasium but a very bad Realschule. His point was that the Realschule would not sufficiently weed out bad students, its gradings and examinations being too lax and friendly.The background for the polemic was that an alleged bad reputation of Basel’s Realgymnasium undermined Grossmann’s argument for a science-based Maturitätszeugnis. The final revision of the decree regulating a federal Maturitätsprüfung, which was passed on 20 January 1925 proved to be a defeat in some points for
Grossmann’s position. It introduced three types of Matura based on old languages (A), new languages (B), and on sciences (C), but did not put the Matura of type C on a par with the other two types,
because it required in addition extra Latin examinations for students who wished to enter medical school.
Grossmann’s devotion as a teacher and pedagogue and his passion for educational policy is reflected in an essay 47 he wrote a year after that “failed attempt” at a reform of the Swiss educational system. In that essay, he reflected on his experiences as a teacher and examinator, having examined “several thousands” of his own students as well as having participated in “several hundred” examinations by others all over the country. In that essay, he again expressed his conviction that not only teaching in general but also
instruction in specific disciplines should […] primarily develop competencies, should create a frame of mind that enables the young person at the end of his studies to swim about without a swimming coach and without swimming rings, even when the current would flow in unexpected directions.
Quite similarly he expressed himself in a contribution to the Festschrift for his colleague August Stodola (1859–1912),48 which is another passionate plea for the enlightening role of science and technology in society and for the need of a sound education in these fields.
As far as his own pedagogical efforts are concerned—beyond his teaching at the ETH with various new editions of his textbook on descriptive geometry—he alerted teachers to the significance of projective geometry and its concept of improper elements at the level of secondary school education.49 It should also be mentioned in this respect that he supervised four doctoral dissertations in the field of non-Euclidean geometry.11
In terms of his own mathematical research, Grossmann went back to his field of synthetic geometry.
In 1922, he presented a talk to the Swiss Mathematical Society on projective constructions of
elliptic geometries.50 In 1924, he discussed complete focal systems of plane algebraic curves, extending a definition of focal points for algebraic curves given first by Julius Plücker (1801–1868).51 A year later, he gave a detailed geometric discussion of the construction of the horopter, i.e. the set of points in space that, in geometrical vision, are imaged at corresponding points of the eye’s retina, geometrically a third-order curve generated by two congruent line bundles corresponding to the fixation lines of the visual rays.52 In 1927,
Grossmann obtained a patent for “improvements relating for the production of cams for looms.” The point of the patent was to define principles for a machine that
would allow a precise and accurate grinding of a specific part of mechanical looms. As he explained in a
companion publication,54 his invention arose from geometric insight.
He realized that the relative motion of certain cams for looms with rollers mounted on shafts adapted for angular movement would constitute an enveloping surface arising from a system of congruent surfaces, and pointed out that study of such enveloping surfaces has a long tradition in mathematics since Gaspard Monge (1746–1818).
In 1930,
he published another short note on constructions of circles and conic sections in projective and non-Euclidean geometry.55 In his last scientific publication, to be discussed
below, Grossmann took issue with Einstein’s teleparallel approach to a unified field theory of gravity and
electromagnetism.56
Grossmann’s work in the twenties was severely hampered by symptoms of an uncurable illness. We know some details about Grossmann’s condition from a letter that he wrote on 12 March 1927 to Einstein’s friend Heinrich Zangger (1874–1954), the director of the institute for forensic medicine at the University of Zurich (AEA 40-059). In this letter, Grossmann reports that he had always been healthy until the year 1915, when he first had a fit of dizziness during a mountain hike and noted that he lost security of grip in his right hand during mountain climbing. In the summer of 1917, he began to drag his right leg and had disturbances of speech. Since that time he had seen countless doctors for symptoms of impediments of motion, mainly on his right side. In his letter, Grossmann asked Zangger for an opinion that would corroborate his own conjecture that those symptoms were caused by intoxication due to unhealthy conditions in the lecture halls during the war years and that therefore he would be eligible for professional disability compensation. Grossmann’s condition, in any case, had gotten worse over the years. In the summer semester
1924, he had to take a leave from his teaching duties for health reasons. In the summer of 1925, Einstein visited Grossmann in Zürich and wrote to Zangger that he had a “peculiar nervous ailment with palsy” but found him better than he had expected. Another leave was granted for the winter term 1925/26. On 10 March 1926 he was granted a partial dispensation of his teaching duties for the summer term 1926 but a month later, he had to take a full leave for that semester, too; and he was also relieved from teaching duties in the winter term 1926/27. When he asked Zangger for his opinion, his retirement as a professor was imminent. Zangger wrote to Einstein that he did not believe in the causal nexus with the conditions during the war years but rather thought Grossmann was suffering from multiple sclerosis. Zangger’s diagnosis appears to have been accurate and, in any case, Grossmann asked for an early retirement, which was granted to him on 28 May 1927, effective 1 October 1927.
Marcel Grossmann passed on 7 September 1936, at the age of 58.
3 Grossmann’s Collaboration with Albert Einstein
Let us now go back to the time of the scientific collaboration between Grossmann and Einstein.
Einstein left Prague on 25 July 1912 and registered his change of residence to Zurich on 10 August. With a family of four, his sons being 8 and 2 years of age, it must have taken a few days to settle in. The Grossmann family may have been of help to the Einstein family but Marcel himself was busy preparing for a lecture at the 5th International Congress of Mathematicians which took place in Cambridge from 22–28 August 1912.58 Just a few days later, from 8 to 11 September, the Schweizerische Naturforschende Gesellschaft held their annual meeting in Altdorf, and Grossmann presented there a “projective proof of Lobatchevsky’s absolute parallel construction.”59
We know, however, that soon after arriving in Zurich, Einstein and Grossmann started a collaboration that would almost lead to the discovery of general relativity and that would, in any case, result in Grossmann’s most well-known scholarly achievement. As Louis Kollros recalled in 1956, Einstein approached Grossmann for help, saying:
Grossmann, you have to help me, or else I’ll go crazy!
And, famously, on 29 October Einstein reported to Arnold Sommerfeld (1868–1951):
I am now working exclusively on the gravitation problem and believe that I can overcome all difficulties with the help of a mathematician friend of mine here. But one thing is certain: never before in my life have I troubled myself over anything so much, and I have gained enormous respect for mathematics, whose more subtle parts I considered until now, in my ignorance, as pure luxury!
In order to properly assess Grossmann’s contribution to the genesis of general relativity, it is
crucial to identify as concretely as possible the starting point for his collaboration with Einstein. Unfortunately, we can only speculate about how exactly their joint work took off. Therefore, it will be necessary to recapitulate briefly Einstein’s efforts in generalizing special relativity up until his move to Zurich 1 Vol. 1, 81–113.
Einstein had made a first step of generalizing special relativity by formulating the equivalence hypothesis in 1907.61 In the following years, the problem had remained dormant with him until the summer of 1911 when he came back to the problem in Prague. At that time, he realized that one of the consequences of the heuristic assumption of a strict equivalence between constant linear acceleration and static homogeneous gravitation might actually be observable with the bending of star light grazing the limb of the sun during a solar eclipse.62 The crucial point was that the equivalence assumption implied that the velocity of light c𝑐c depend on the gravitational field, i.e. the constant c𝑐c became a spatially variable function c=c(x)𝑐𝑐𝑥c=c(x). Specifically, Einstein deduced that the velocity of light would depend on the gravitational potential Φ(x)Φ𝑥\Phi(x) as
c=c0(1+Φc2).𝑐subscript𝑐01Φsuperscript𝑐2c=c_{0}\left(1+\frac{\Phi}{c^{2}}\right).
(2)
In early 1912, Einstein was surprised by a paper by Max Abraham (1875–1922)63 who claimed that this relation follows readily from postulating a generalization of Poisson’s equation of the form
∂2Φ∂x2+∂2Φ∂y2+∂2Φ∂z2+∂2Φ∂u2=4πγνsuperscript2Φsuperscript𝑥2superscript2Φsuperscript𝑦2superscript2Φsuperscript𝑧2superscript2Φsuperscript𝑢24𝜋𝛾𝜈\frac{\partial^{2}\Phi}{\partial x^{2}}+\frac{\partial^{2}\Phi}{\partial y^{2}}+\frac{\partial^{2}\Phi}{\partial z^{2}}+\frac{\partial^{2}\Phi}{\partial u^{2}}=4\pi\gamma\nu
(3)
with an imaginary time u=ict𝑢𝑖𝑐𝑡u=ict, a gravitational constant γ𝛾\gamma and a mass density ν𝜈\nu, together with
equations of motion
x¨=−∂Φ∂x,y¨=−∂Φ∂y,z¨=−∂Φ∂z,u¨=−∂Φ∂u,formulae-sequence¨𝑥Φ𝑥formulae-sequence¨𝑦Φ𝑦formulae-sequence¨𝑧Φ𝑧¨𝑢Φ𝑢\ddot{x}=-\frac{\partial\Phi}{\partial x},\ddot{y}=-\frac{\partial\Phi}{\partial y},\ddot{z}=-\frac{\partial\Phi}{\partial z},\ddot{u}=-\frac{\partial\Phi}{\partial u},
(4)
where the dots indicate differentiation of the coordinates of a material “world point” with respect to its proper time. Further reflection and correspondence, however, made it clear that Abraham’s argument was not as straightforward as it may have seemed since his utilization of four-dimensional vector calculus became inconsistent with the assumption of a variable c𝑐c. Abraham conceded to Einstein’s criticism by restricting the light-cone relation to an infinitesimal line element64
ds2=dx2+dy2+dz2−c2dt2𝑑superscript𝑠2𝑑superscript𝑥2𝑑superscript𝑦2𝑑superscript𝑧2superscript𝑐2𝑑superscript𝑡2ds^{2}=dx^{2}+dy^{2}+dz^{2}-c^{2}dt^{2}
(5)
with variable c𝑐c.
Einstein, in any case, was pushed by this discussion to further consideration of the theory of static gravitation based on the equivalence hypothesis. In late February 1912, he published a paper65 on the topic, in which he also represented the propagation of light by means of an infinitesimal line element (5) and in which he suggested to generalize Poisson’s equation
with a differential equation of the static gravitational field that he gave as
Δc=kcρΔ𝑐𝑘𝑐𝜌\Delta c=kc\rho
(6)
with gravitational constant k𝑘k and matter density ρ𝜌\rho. Here ΔΔ\Delta denotes the spatial, three-dimensional Laplace operator.
He soon found fault with his differential equation (6). Just a few weeks later, in late March, he submitted a second paper66 with a modified differential equation, which he now gave as
Δc=k{cρ+12kgrad2cc}.Δ𝑐𝑘𝑐𝜌12𝑘superscriptgrad2𝑐𝑐\Delta c=k\biggl{\{}c\rho+\frac{1}{2k}\frac{\operatorname{grad}^{2}c}{c}\biggr{\}}.
(7)
He interpreted the second term in brackets as an energy density of the gravitational field.
So far, Einstein had made use of the heuristics of the equivalence hypothesis only by considering constant linear acceleration. But already these considerations had shown him that he had to work with infinitesimal
line elements. He also had learned that the problem would probably involve non-linear differential equations, which were needed in order to properly take into account the energy density of the gravitational field itself. Nevertheless, the theory was still a scalar theory for a single function c𝑐c representing both the speed of light and the gravitational potential.
The next step was to look at stationary rotating coordinates. Although much less explicitly documented,
it is clear that transforming the line-element (5) to rotating Cartesian coordinates will produce mixed terms with a coefficient that involves the rotation frequency ω𝜔\omega. Interpreting the rotation field, represented by ω𝜔\omega, as a gravitational field may have induced Einstein, at some point, to consider a general
line element
ds2=∑i,k=14gikdxidxk𝑑superscript𝑠2superscriptsubscript𝑖𝑘14subscript𝑔𝑖𝑘𝑑subscript𝑥𝑖𝑑subscript𝑥𝑘ds^{2}=\sum_{i,k=1}^{4}g_{ik}dx_{i}dx_{k}
(8)
as the representation of a general gravitational field, i.e., one in which the coefficients giksubscript𝑔𝑖𝑘g_{ik} were not necessarily produced by a coordinate transformation away from the Minkowski line element but rather would represent a generic, independently given gravitational field. Einstein, in any case, at some point
saw the analogy between infinitesimal line elements occurring in his theory with the two-dimensional
line element of a curved surface in Gaussian surface theory, about which he had learned in Geiser’s lectures at the ETH (see Fig. 2).
We don’t know whether Einstein made the transition from a scalar theory to a gravitation theory based on the general line element (8) before he came to Zurich and before he began to talk with Grossmann about his problem. In later recollections, he reconstructed the beginning of their collaboration by posing to Grossmann a rather specific mathematical question. In 1955, he wrote:
The problem of gravitation was thus reduced to a purely mathematical one. Do differential
equations exist for the giksubscript𝑔𝑖𝑘g_{ik}, which are invariant under non-linear coordinate
transformations? Differential equations of this kind and only of this kind were
to be considered as field equations of the gravitational field. The law of motion of
material points was then given by the equation of the geodesic line.
With this problem in mind I visited my old friend Grossmann who in the meantime had become professor
of mathematics at the Swiss polytechnic. He at once caught fire, although as a mathematician he had a somewhat skeptical stance towards physics.
This recollection may not have been entirely accurate or, at least, it was probably too brief. It completely neglects another important step: the question of the proper representation of the gravitating mass-energy density. The transition from a scalar theory to a theory based on a multi-component object also
implied a transition from a scalar mass-energy density to a multi-component mathematical complex that involved momentum flow and stresses. We are purposely avoiding the modern term “tensor” here because, as we will see, the introduction of the tensor concept, as we are used to it now in the context of general relativity, may have been the first of Grossmann’s contributions when he began his discussions with Einstein.
There are two key documents, which give us insight into Grossmann’s role in the collaboration with Einstein.3, 67, 1 The first document is Einstein’s so-called Zurich Notebook 5 Doc. 10, 1 Vols. 1–2. This is a bound notebook of some 85 written pages, 57 of which contain research notes, documenting the search for a relativistic theory of gravitation in the period between summer 1912 and spring 1913. All entries are in Einstein’s hand but Grossmann’s name appears twice in the notebook, at strategic places, as we will see below. The research documented in the Zurich Notebook leads directly up to the second document of relevance, a two-part paper published in the Zeitschrift für Mathematik und Physik entitled “Outline (Entwurf) of a Generalized Theory of Relativity and of a Theory of Gravitation.”68 The work was
completed by mid-May 1913 and offprints (with independent pagination) were available before 25 June 1913.
The paper was divided into two parts, a physical part, authored by Albert Einstein, and a
mathematical part, for which Grossmann signed responsible.
Taking clues from these two documents we can try to reconstruct Grossmann’s contribution to the emergence of general relativity at this point in their collaboration. Large parts of the Zurich Notebook
may be reconstructed as the search for a gravitational field equation of the form 68 p. 15, 1 Vol. 1-2, 113–312, 489–714
Γμν=κ⋅Θμν.subscriptΓ𝜇𝜈⋅𝜅subscriptΘ𝜇𝜈\Gamma_{\mu\nu}=\kappa\cdot\Theta_{\mu\nu}.
(9)
Here ΓμνsubscriptΓ𝜇𝜈\Gamma_{\mu\nu} stands for some operator acting on the metric coefficients gμνsubscript𝑔𝜇𝜈g_{\mu\nu} in a specific
way. Just what form ΓμνsubscriptΓ𝜇𝜈\Gamma_{\mu\nu} would have is the problem that Einstein and Grossmann were trying to solve. κ𝜅\kappa denotes a constant that will be proportional to the gravitational constant, the
proportionality being determined on inspection of a limiting case in which the Poisson equation is being recovered. ΘμνsubscriptΘ𝜇𝜈\Theta_{\mu\nu} denotes the (contravariant) stress-energy-momentum tensor of matter and fields. Two comments are in order. First, as it stands, i.e., as long as ΓμνsubscriptΓ𝜇𝜈\Gamma_{\mu\nu} is not yet specified, Eq. (9) is not a covariant equation, or rather, its covariance group is undetermined. Second,
although the equation was written with subscript indices, it was intended as a contravariant equation. The contravariant character of Eq. (9) was expressed by the fact that Greek letters were used for the quantities ΓΓ\Gamma and ΘΘ\Theta.
The notational peculiarities of the Entwurf raise an important point regarding Grossmann’s contribution to the emergence of the theory at this point. When Einstein approached Grossmann about the mathematics associated with the metric gμνsubscript𝑔𝜇𝜈g_{\mu\nu} it was not at all clear what status the object gμνsubscript𝑔𝜇𝜈g_{\mu\nu} actually had. In Gauss’s surface theory, the three independent metric components g11subscript𝑔11g_{11}, g12subscript𝑔12g_{12}, g22subscript𝑔22g_{22} of the two-dimensional line element were typically denoted by the letters E𝐸E, F𝐹F, G𝐺G. The fact that the metric components are components of a tensor is to be attributed to Grossmann. It was he who realized that a branch of mathematics had developed in which the Gaussian theory of surfaces featured only as a special example. Famously, Grossmann alerted Einstein to the existence of the so-called absolute differential calculus, which had been presented in a comprehensive joint paper by Gregorio Ricci-Curbastro (1853–1925) and Tullio Levi-Civita (1873–1941) in 1901.71, 72, 73
But Grossmann did more than simply find out about and exploit the absolute differential calculus for the purpose at hand. He realized very clearly that “the vector analysis of Euclidean space in arbitrary curvilinear coordinates is formally identical to the vector analysis of an arbitrary manifold given by its line element.”
Although in later recollections, Einstein credited Grossmann mainly for showing him the relevant literature, we must assume that Grossmann actually helped clarify the very mathematical status of the objects that
were entering the center stage of their theoretical efforts.
In any case, Grossmann gave a new and self-contained exposition of what he called “general vector calculus” (“allgemeine Vektoranalysis”). In doing so, Grossmann explicitly found it unnecessary to refer to any geometric concepts:
In doing this I deliberately did not draw on geometrical tools, as they contribute little to the illustration of the concepts of vector analysis.
In the Entwurf, Grossmann proceeds to give an exposition of tensor calculus. He introduced covariant, contravariant, and mixed tensors for spaces of arbitrary dimensions and of any rank. The use of the word
“tensor” in this context is a novelty. Ricci and Levi-Civita had called these objects systèmes covariants ou contrevariants, and they had never considered systèmes of mixed transformation behavior, i.e. with a mix of covariant and contravariant indices. They had used superscripts and subscripts to indicate contravariant and covariant transformation behavior, except for coordinate differentials, which always carried subscript indices. Grossmann introduced a notation where all indices were written as subscripts and the transformation character was indicated by writing the object itself with a Latin, Greek, or Gothic character for covariant, contravariant, or mixed tensors, respectively. In the Entwurf, Grossmann defined tensor operations of a sum, external product, inner product (contraction), of changing covariant to contravariant objects by contraction with the fundamental tensor and vice versa (what we now call raising and lowering indices), and he introduced what we now call the trace of a (second-rank) tensor. With explicit reference to Elwin Bruno Christoffel, (1829–1900),76 he also introduced covariant differentiation of a tensor, which he called “expansion” (“Erweiterung”). Next, he introduced a covariant concept of divergence by covariant differention of a tensor and contraction with the fundamental tensor, and he defined a generalized “Laplacian operation” as the combination of an expansion and a divergence.
He also paid some attention to the special case of antisymmetric tensors, a special case of which is the fully antisymmetric Levi-Civita tensor.
In the Zurich notebook, there is a page (05R) on which Einstein deduced an equation that we now recognize as the covariant divergence of the energy-momentum tensor. Einstein there proceeds by looking a the Euler-Lagrange equations for a Hamiltonian H=ds/dt𝐻𝑑𝑠𝑑𝑡H=ds/dt and identifying the change of energy-momentum and the ponderomotive force density for a “tensor of the motion of masses” given as
Θik=ρdxidsdxkds,subscriptΘ𝑖𝑘𝜌𝑑subscript𝑥𝑖𝑑𝑠𝑑subscript𝑥𝑘𝑑𝑠\Theta_{ik}=\rho\frac{dx_{i}}{ds}\frac{dx_{k}}{ds},
(10)
from which he obtained the energy-momentum balance equation
∑νn∂∂xn(−ggmνΘνn)−12∑μν−g∂gμν∂xmΘμν=0,subscript𝜈𝑛subscript𝑥𝑛𝑔subscript𝑔𝑚𝜈subscriptΘ𝜈𝑛12subscript𝜇𝜈𝑔subscript𝑔𝜇𝜈subscript𝑥𝑚subscriptΘ𝜇𝜈0\sum_{\nu n}\frac{\partial}{\partial x_{n}}\biggl{(}\sqrt{-g}\,g_{m\nu}\Theta_{\nu n}\biggr{)}-\frac{1}{2}\sum_{\mu\nu}\sqrt{-g}\,\frac{\partial g_{\mu\nu}}{\partial x_{m}}\Theta_{\mu\nu}=0,
(11)
a relation that we readily identify, in modern notation, as (−gTnm);n=0(\sqrt{-g}\,{T^{n}}_{m})_{;n}=0. In the Entwurf, Grossmann gives an explicit proof of the claim that the energy-momentum balance equation (11) is a generally covariant expression by showing that it is obtained as a covariant divergence of ΘμνsubscriptΘ𝜇𝜈\Theta_{\mu\nu}.
Grossmann’s insight that the energy-momentum balance equation is a perfectly valid, generally covariant relation should not be underestimated. It must have suggested that general covariance would be a viable goal if sophisticated concepts of advanced mathematics were made use of. It also showed that one half of the gravitation problem was already solved. Given a gμνsubscript𝑔𝜇𝜈g_{\mu\nu}-field, the movement of matter is determined by a generally covariant equation of motion.
Let us return now to the problem of finding a gravitational field equation. The schema of a field equation had to look like Eq. (9) above. The problem was to find candidates for the gravitation tensor ΓμνsubscriptΓ𝜇𝜈\Gamma_{\mu\nu}. There is a page in the Zurich Notebook where Grossmann’s name appears right next to
the Riemann-Christoffel tensor, see Fig. 4. Apparently, Grossmann had shown Einstein the relevant object that would
open a path towards fully covariant gravitational field equations. Next to a definition of the
Christoffel symbols of the first kind
[μνl]=12(∂gμl∂xν+∂glν∂xμ−∂gμν∂xl)matrix𝜇𝜈𝑙12subscript𝑔𝜇𝑙subscript𝑥𝜈subscript𝑔𝑙𝜈subscript𝑥𝜇subscript𝑔𝜇𝜈subscript𝑥𝑙\begin{bmatrix}\mu\nu\\
l\end{bmatrix}=\frac{1}{2}\biggl{(}\frac{\partial g_{\mu l}}{\partial x_{\nu}}+\frac{\partial g_{l\nu}}{\partial x_{\mu}}-\frac{\partial g_{\mu\nu}}{\partial x_{l}}\biggr{)}
(12)
we find on that page the Riemann-Christoffel tensor in fully covariant form,
Riklm=(ik,lm)subscript𝑅𝑖𝑘𝑙𝑚𝑖𝑘𝑙𝑚\displaystyle R_{iklm}=(ik,lm)
=(∂2gim∂xk∂xl+∂2gkl∂xi∂xm−∂2gil∂xk∂xm−∂2gkm∂xl∂xi)absentsuperscript2subscript𝑔𝑖𝑚subscript𝑥𝑘subscript𝑥𝑙superscript2subscript𝑔𝑘𝑙subscript𝑥𝑖subscript𝑥𝑚superscript2subscript𝑔𝑖𝑙subscript𝑥𝑘subscript𝑥𝑚superscript2subscript𝑔𝑘𝑚subscript𝑥𝑙subscript𝑥𝑖\displaystyle=\displaystyle\biggl{(}\frac{\partial^{2}g_{im}}{\partial x_{k}\partial x_{l}}+\frac{\partial^{2}g_{kl}}{\partial x_{i}\partial x_{m}}-\frac{\partial^{2}g_{il}}{\partial x_{k}\partial x_{m}}-\frac{\partial^{2}g_{km}}{\partial x_{l}\partial x_{i}}\biggr{)}
(13)
+∑ρσγρσ([imσ][klρ]−[ilσ][kmρ]),subscript𝜌𝜎subscript𝛾𝜌𝜎matrix𝑖𝑚𝜎matrix𝑘𝑙𝜌matrix𝑖𝑙𝜎matrix𝑘𝑚𝜌\displaystyle+\displaystyle\sum_{\rho\sigma}\gamma_{\rho\sigma}\biggl{(}\begin{bmatrix}im\\
\sigma\end{bmatrix}\begin{bmatrix}kl\\
\rho\end{bmatrix}-\begin{bmatrix}il\\
\sigma\end{bmatrix}\begin{bmatrix}km\\
\rho\end{bmatrix}\biggr{)},
next to the words: “Grossmann tensor of fourth manifold.”
Figure 4: Top portion of page 14L of Einstein’s “Zurich Notebook” (AEA 3-006). This notebook documents the search for a generalized theory of relativity and a theory of gravitation during the period of collaboration between Grossmann and Einstein. This page shows that Grossmann introduced Einstein to the Riemann tensor as a mathematical resource for the general theory of relativity. ©The Hebrew University of Jerusalem, Albert Einstein Archives.
Since an object was needed that had only two free indices, Grossmann contracted the
Riemann tensor once. This amounted to the following operation:
Gim=∑klγkl(ik,lm)=∑k(ik,km)subscript𝐺𝑖𝑚subscript𝑘𝑙subscript𝛾𝑘𝑙𝑖𝑘𝑙𝑚subscript𝑘𝑖𝑘𝑘𝑚G_{im}=\sum_{kl}\gamma_{kl}(ik,lm)=\sum_{k}(ik,km)
(14)
and gave an expression that we now call the Ricci tensor.
The problem now was that if you form the Ricci tensor like this and you look at the
second derivative terms, you find the following terms
Gim=∑k(∂2gim∂xk2+∂2gkk∂xi∂xm−∂2gik∂xk∂xm−∂2gkm∂xk∂xi)+…subscript𝐺𝑖𝑚subscript𝑘superscript2subscript𝑔𝑖𝑚superscriptsubscript𝑥𝑘2superscript2subscript𝑔𝑘𝑘subscript𝑥𝑖subscript𝑥𝑚superscript2subscript𝑔𝑖𝑘subscript𝑥𝑘subscript𝑥𝑚superscript2subscript𝑔𝑘𝑚subscript𝑥𝑘subscript𝑥𝑖…G_{im}=\sum_{k}\biggl{(}\frac{\partial^{2}g_{im}}{\partial x_{k}^{2}}+\frac{\partial^{2}g_{kk}}{\partial x_{i}\partial x_{m}}-\frac{\partial^{2}g_{ik}}{\partial x_{k}\partial x_{m}}-\frac{\partial^{2}g_{km}}{\partial x_{k}\partial x_{i}}\biggr{)}+\dots
(15)
In the limit that
gim=(100001000010000−c2)+him+𝒪(hij2,(∂hij)2)subscript𝑔𝑖𝑚matrix100001000010000superscript𝑐2subscriptℎ𝑖𝑚𝒪superscriptsubscriptℎ𝑖𝑗2superscriptsubscriptℎ𝑖𝑗2g_{im}=\begin{pmatrix}1&0&0&0\\
0&1&0&0\\
0&0&1&0\\
0&0&0&-c^{2}\end{pmatrix}+h_{im}+\mathcal{O}(h_{ij}^{2},(\partial h_{ij})^{2})
(16)
the first of the second derivative terms in (15) reduces to the d’Alembertian (x4=ictsubscript𝑥4𝑖𝑐𝑡x_{4}=ict)
□≡∑μ=14∂2∂xμ2□superscriptsubscript𝜇14superscript2superscriptsubscript𝑥𝜇2\Box\equiv\sum_{\mu=1}^{4}\frac{\partial^{2}}{\partial x_{\mu}^{2}}
(17)
but the other three second derivative terms do not vanish or take on simple forms which have
a reasonable physical interpretation. Einstein and Grossmann reasoned that these three terms
“should vanish”.
They also found a way to make these terms vanish. They imposed
a restrictive condition, let us call it the harmonic coordinate restriction, of the form
∑klγkl[kli]=∑klγkl(2∂gil∂xk−∂gkl∂xi)=0.subscript𝑘𝑙subscript𝛾𝑘𝑙matrix𝑘𝑙𝑖subscript𝑘𝑙subscript𝛾𝑘𝑙2subscript𝑔𝑖𝑙subscript𝑥𝑘subscript𝑔𝑘𝑙subscript𝑥𝑖0\sum_{kl}\gamma_{kl}\begin{bmatrix}kl\\
i\end{bmatrix}=\sum_{kl}\gamma_{kl}\biggl{(}2\frac{\partial g_{il}}{\partial x_{k}}-\frac{\partial g_{kl}}{\partial x_{i}}\biggr{)}=0.
(18)
On p. 19L of the Zurich Notebook, it is shown that with this restriction, the Ricci tensor
reduces to
2G~im=∑kl(γkl∂2gim∂xk∂xl\displaystyle 2\tilde{G}_{im}=\sum_{kl}\biggl{(}\gamma_{kl}\frac{\partial^{2}g_{im}}{\partial x_{k}\partial x_{l}}
−12∂γkl∂xm∂gkl∂xi+∂γkl∂xm∂gil∂xk+∂γkl∂xi∂gmk∂xl)\displaystyle-\frac{1}{2}\frac{\partial\gamma_{kl}}{\partial x_{m}}\frac{\partial g_{kl}}{\partial x_{i}}+\frac{\partial\gamma_{kl}}{\partial x_{m}}\frac{\partial g_{il}}{\partial x_{k}}+\frac{\partial\gamma_{kl}}{\partial x_{i}}\frac{\partial g_{mk}}{\partial x_{l}}\biggr{)}
−∑klρσ(γρσγkl∂giρ∂xl∂gmσ∂xk+γρσγkl∂gil∂xρ∂gmσ∂xk).subscript𝑘𝑙𝜌𝜎subscript𝛾𝜌𝜎subscript𝛾𝑘𝑙subscript𝑔𝑖𝜌subscript𝑥𝑙subscript𝑔𝑚𝜎subscript𝑥𝑘subscript𝛾𝜌𝜎subscript𝛾𝑘𝑙subscript𝑔𝑖𝑙subscript𝑥𝜌subscript𝑔𝑚𝜎subscript𝑥𝑘\displaystyle-\sum_{kl\rho\sigma}\biggl{(}\gamma_{\rho\sigma}\gamma_{kl}\frac{\partial g_{i\rho}}{\partial x_{l}}\frac{\partial g_{m\sigma}}{\partial x_{k}}+\gamma_{\rho\sigma}\gamma_{kl}\frac{\partial g_{il}}{\partial x_{\rho}}\frac{\partial g_{m\sigma}}{\partial x_{k}}\biggr{)}.
(19)
This expression is manifestly of the form that in the weak field limit (16)
it reduces to the d’Alembertian as
expected. In the Zurich Notebook, Einstein observed that this result was “secure; valid for
coordinates that satisfy the Eq. Δφ=0Δ𝜑0\Delta\varphi=0.”
The trouble with this reasoning was that Einstein and Grossmann at this point were still
looking for a representation of ΓμνsubscriptΓ𝜇𝜈\Gamma_{\mu\nu}. Since Gimsubscript𝐺𝑖𝑚G_{im} did not produce the correct limit
they were now considering G~imsubscript~𝐺𝑖𝑚\tilde{G}_{im} as a candidate for ΓμνsubscriptΓ𝜇𝜈\Gamma_{\mu\nu}. But the covariance group
of G~imsubscript~𝐺𝑖𝑚\tilde{G}_{im} was restricted by the validity of the harmonic coordinate restriction.
Einstein therefore had to find a physics justification for the harmonic coordinate restriction. This proved
to be a fatal stumbling block for the expression G~imsubscript~𝐺𝑖𝑚\tilde{G}_{im} as a candidate for ΓμνsubscriptΓ𝜇𝜈\Gamma_{\mu\nu}. He briefly conjectured that the harmonic restriction (18) would perhaps split
into the two conditions
∑klγkl∂gil∂xk=−∑klgil∂γkl∂xk=0subscript𝑘𝑙subscript𝛾𝑘𝑙subscript𝑔𝑖𝑙subscript𝑥𝑘subscript𝑘𝑙subscript𝑔𝑖𝑙subscript𝛾𝑘𝑙subscript𝑥𝑘0\sum_{kl}\gamma_{kl}\frac{\partial g_{il}}{\partial x_{k}}=-\sum_{kl}g_{il}\frac{\partial\gamma_{kl}}{\partial x_{k}}=0
(20)
and
∑klγkl∂gkl∂xi=0.subscript𝑘𝑙subscript𝛾𝑘𝑙subscript𝑔𝑘𝑙subscript𝑥𝑖0\sum_{kl}\gamma_{kl}\frac{\partial g_{kl}}{\partial x_{i}}=0.
(21)
Looking at the weak field limit of these two conditions they found that the second condition amounted to the postulate that the trace of the weak field metric be constant, a condition clearly violated by the
static field metric (5). In an ad hoc move to remedy these difficulties, Einstein added a trace term to the weak field limit of the field equation, thus effectively writing down the weak field form of the final field equations of general relativity. But, alas, again Einstein found a problem in the interpretation of these equations when he confronted them with his further heuristic requirements.78, 1
Yet, Grossmann showed Einstein a second way to get rid of the unwanted second derivative terms of Gimsubscript𝐺𝑖𝑚G_{im}.
Figure 5: Top portion of page 22R of the “Zurich Notebook” (AEA 3-006). Grossmann, at the time of their collaboration, also showed Einstein a way to extract a reduced quantity from the Riemann tensor that transforms as a tensor under unimodular coordinate transformations. Although given up at the time, this particular tensor reappeared three years later as a candidate gravitation tensor in the first of Einstein’s famous four memoirs of November 1915 which mark the breakthrough to the final theory of general relativity. ©The Hebrew University of Jerusalem, Albert Einstein Archives.
On p. 22R of the Zurich Notebook, we find Grossmann’s name again next to a candidate gravitation tensor 1 p. 451, see Fig. 5.
The strategy was the same. This time the restrictive condition to be imposed on the Ricci tensor was that the determinant of the metric
transforms as a scalar. In addition, a condition similar to (20) was assumed to hold.
Grossmann told Einstein to write the covariant Ricci tensor in the following form (see Fig. 5)
Gil=∑k∂{ikk}∂xl¯−∂{ilk}∂xk+∑kλ{ikλ}{λlk}−{ilλ}{λkk}¯,subscript𝐺𝑖𝑙subscript𝑘¯matrix𝑖𝑘𝑘subscript𝑥𝑙matrix𝑖𝑙𝑘subscript𝑥𝑘subscript𝑘𝜆matrix𝑖𝑘𝜆matrix𝜆𝑙𝑘¯matrix𝑖𝑙𝜆matrix𝜆𝑘𝑘G_{il}=\sum_{k}\underline{\frac{\partial\left\{\begin{matrix}ik\\
k\end{matrix}\right\}}{\partial x_{l}}}-\frac{\partial\left\{\begin{matrix}il\\
k\end{matrix}\right\}}{\partial x_{k}}+\sum_{k\lambda}\left\{\begin{matrix}ik\\
\lambda\end{matrix}\right\}\left\{\begin{matrix}\lambda l\\
k\end{matrix}\right\}-\underline{\left\{\begin{matrix}il\\
\lambda\end{matrix}\right\}\left\{\begin{matrix}\lambda k\\
k\end{matrix}\right\}},
(22)
where
{ikλ}=∑μγλμ[ikμ]matrix𝑖𝑘𝜆subscript𝜇subscript𝛾𝜆𝜇matrix𝑖𝑘𝜇\left\{\begin{matrix}ik\\
\lambda\end{matrix}\right\}=\sum_{\mu}\gamma_{\lambda\mu}\begin{bmatrix}ik\\
\mu\end{bmatrix}
(23)
are the Christoffel symbols of the second kind.
Since
Ti≡∑k{ikk}=1−g∂ln−g∂xisubscript𝑇𝑖subscript𝑘matrix𝑖𝑘𝑘1𝑔𝑔subscript𝑥𝑖T_{i}\equiv\sum_{k}\left\{\begin{matrix}ik\\
k\end{matrix}\right\}=\frac{1}{\sqrt{-g}}\frac{\partial\ln\sqrt{-g}}{\partial x_{i}}
(24)
Grossmann argued that if g𝑔g transforms as a scalar, then Tisubscript𝑇𝑖T_{i} transforms as a vector (a “tensor of
1strank”), and hence the underlined terms in (22) represent the covariant derivative of a
vector and therefore transform as a second-rank tensor under unimodular transformations. This means
that the remaining two terms in (22)
Gil∗≡−∑k∂∂xk{ilk}+∑kλ{ikλ}{λlk}superscriptsubscript𝐺𝑖𝑙∗subscript𝑘subscript𝑥𝑘matrix𝑖𝑙𝑘subscript𝑘𝜆matrix𝑖𝑘𝜆matrix𝜆𝑙𝑘G_{il}^{\ast}\equiv-\sum_{k}\frac{\partial}{\partial x_{k}}\left\{\begin{matrix}il\\
k\end{matrix}\right\}+\sum_{k\lambda}\left\{\begin{matrix}ik\\
\lambda\end{matrix}\right\}\left\{\begin{matrix}\lambda l\\
k\end{matrix}\right\}
(25)
also transform as a second-rank tensor under this restricted group of coordinate transformations.
Expanding the Christoffel symbols, we find that
Gil∗=∑κα12∂∂xκ(γκα(∂giα∂xl+∂glα∂xi−∂gil∂xα))+∑κλ{iκλ}{λlκ}.subscriptsuperscript𝐺∗𝑖𝑙subscript𝜅𝛼12subscript𝑥𝜅subscript𝛾𝜅𝛼subscript𝑔𝑖𝛼subscript𝑥𝑙subscript𝑔𝑙𝛼subscript𝑥𝑖subscript𝑔𝑖𝑙subscript𝑥𝛼subscript𝜅𝜆matrix𝑖𝜅𝜆matrix𝜆𝑙𝜅G^{\ast}_{il}=\sum_{\kappa\alpha}\frac{1}{2}\frac{\partial}{\partial x_{\kappa}}\left(\gamma_{\kappa\alpha}\left(\frac{\partial g_{i\alpha}}{\partial x_{l}}+\frac{\partial g_{l\alpha}}{\partial x_{i}}-\frac{\partial g_{il}}{\partial x_{\alpha}}\right)\right)+\sum_{\kappa\lambda}\left\{\begin{matrix}i\kappa\\
\lambda\end{matrix}\right\}\left\{\begin{matrix}\lambda l\\
\kappa\end{matrix}\right\}.
(26)
Assuming further that the condition
∑κ∂γκα∂xκ≡0subscript𝜅subscript𝛾𝜅𝛼subscript𝑥𝜅0\sum_{\kappa}\frac{\partial\gamma_{\kappa\alpha}}{\partial x_{\kappa}}\equiv 0
(27)
holds, and using
∑αγκα∂giα∂xl=−∑αgiα∂γκα∂xlsubscript𝛼subscript𝛾𝜅𝛼subscript𝑔𝑖𝛼subscript𝑥𝑙subscript𝛼subscript𝑔𝑖𝛼subscript𝛾𝜅𝛼subscript𝑥𝑙\sum_{\alpha}\gamma_{\kappa\alpha}\frac{\partial g_{i\alpha}}{\partial x_{l}}=-\sum_{\alpha}g_{i\alpha}\frac{\partial\gamma_{\kappa\alpha}}{\partial x_{l}}
(28)
the contravariant metric can be pulled outside the derivative and Gil∗subscriptsuperscript𝐺∗𝑖𝑙G^{\ast}_{il} turns
into
G~il∗=12∑κγκα∂2gil∂xκ∂xα+∑κλ{iκλ}{λlκ}.subscriptsuperscript~𝐺∗𝑖𝑙12subscript𝜅subscript𝛾𝜅𝛼superscript2subscript𝑔𝑖𝑙subscript𝑥𝜅subscript𝑥𝛼subscript𝜅𝜆matrix𝑖𝜅𝜆matrix𝜆𝑙𝜅\tilde{G}^{\ast}_{il}=\frac{1}{2}\sum_{\kappa}\gamma_{\kappa\alpha}\frac{\partial^{2}g_{il}}{\partial x_{\kappa}\partial x_{\alpha}}+\sum_{\kappa\lambda}\left\{\begin{matrix}i\kappa\\
\lambda\end{matrix}\right\}\left\{\begin{matrix}\lambda l\\
\kappa\end{matrix}\right\}.
(29)
This again was of the desired form of a single second derivative term which reduces to the
d’Alembertian for weak fields and to the Laplacian for weak static fields plus terms quadratic
in the derivatives of the metric which vanish in the weak field limit. But, again, the
derivation of this reduced “gravitation tensor” came at the cost of stipulating two additional
restrictive conditions, the unimodularity condition and condition (27). But, again,
the physical interpretation of these two restrictions proved impossible for Einstein and
Grossmann, and so they discarded this approach as well.
In the Zurich Notebook, the same strategy of deriving a gravitation tensor of the form
Γil=∑αβγκα∂2gil∂xα∂xβ+𝒪(∂g)2,subscriptΓ𝑖𝑙subscript𝛼𝛽subscript𝛾𝜅𝛼superscript2subscript𝑔𝑖𝑙subscript𝑥𝛼subscript𝑥𝛽𝒪superscript𝑔2\Gamma_{il}=\sum_{\alpha\beta}\gamma_{\kappa\alpha}\frac{\partial^{2}g_{il}}{\partial x_{\alpha}\partial x_{\beta}}+\mathcal{O}(\partial g)^{2},
(30)
was explored some more with yet different restrictive conditions but none of those attempts
proved feasible, and it is unclear whether Grossmann had his hand in any of the more outlandish
attempts along these lines that are recorded in the Zurich Notebook.
When the “mathematical” strategy of exploring the Riemann tensor as a resource for a derivation
of a suitable gravitation tensor ΓμνsubscriptΓ𝜇𝜈\Gamma_{\mu\nu} was exhausted, Einstein and Grossmann,
in a move of reflection, altered their strategy. All along, their first criterion in evaluating
the feasibility of candidate gravitation tensors was whether it was of the
form (30), where the
terms quadratic in the first derivatives were to be determined by suitably restricting the
Riemann tensor for their needs.
Another heuristic requirement for the desired field equations arose from the covariant divergence
equation for the stress-energy tensor (11). This relation implied a requirement on the field equations because together with a field equation of the form (9) it implied
(−gΓμν);ν=0,\left(\sqrt{-g}\,\Gamma^{\mu\nu}\right)_{;\nu}=0,
(31)
as indeed it does in the final theory where ΓμνsubscriptΓ𝜇𝜈\Gamma_{\mu\nu} is instantiated by the Einstein tensor.
Today the contracted Bianchi identity (31) gives
a direct hint as to what the gravitation tensor should be. But remember, the Ricci tensor Gilsubscript𝐺𝑖𝑙G_{il} and its various reductions G~ilsubscript~𝐺𝑖𝑙\tilde{G}_{il}, Gil∗subscriptsuperscript𝐺∗𝑖𝑙G^{\ast}_{il}, G~il∗subscriptsuperscript~𝐺∗𝑖𝑙\tilde{G}^{\ast}_{il} (cp. Eqs. (14), (19), (25), (29)), or
the Einstein tensor, for that matter, had already been excluded for reasons of violating the expected
behavior in the weak static limit. The energy-momentum conservation (11)
implied a heuristic requirement on the gravitational field equations because its individual terms were
interpreted realistically. Einstein argued that in the absence of any gravitational field, the
relation reduces to the divergence relation
Tμν;ν=0.{T^{\mu\nu}}_{;\nu}=0.
(32)
Consequently, the term
12∑−g∂gμν∂xσΘμν12𝑔subscript𝑔𝜇𝜈subscript𝑥𝜎subscriptΘ𝜇𝜈\frac{1}{2}\sum\sqrt{-g}\,\frac{\partial g_{\mu\nu}}{\partial x_{\sigma}}\,\Theta_{\mu\nu}
(33)
was interpreted as the gravitational force density exerted on the ponderable matter ΘμνsubscriptΘ𝜇𝜈\Theta_{\mu\nu} by the gravitational field
∂gμν/∂xσsubscript𝑔𝜇𝜈subscript𝑥𝜎{\partial g_{\mu\nu}}/{\partial x_{\sigma}} .
This implied that on using the field equation (9) the term
12∑−g∂gμν∂xσΓμν12𝑔subscript𝑔𝜇𝜈subscript𝑥𝜎subscriptΓ𝜇𝜈\frac{1}{2}\sum\sqrt{-g}\,\frac{\partial g_{\mu\nu}}{\partial x_{\sigma}}\Gamma_{\mu\nu}
(34)
had to be expressed as a coordinate divergence in order to guarantee that energy and momentum
conservation not be violated. The reasoning here was to some extent by analogy.
In electrostatics, Einstein argued, the momentum transferred onto ponderable matter of charge density ρ𝜌\rho by an electric field asscoiated with an electrostatic potential φ𝜑\varphi is expressed by
−∂φ/∂xν𝜑subscript𝑥𝜈-{\partial\varphi}/{\partial x_{\nu}}. The Poisson equation,
Δφ=ρ,Δ𝜑𝜌\Delta\varphi=\rho,
(35)
guarantees conservation of momentum by virtue of the identity
∂φ∂xν∑μ∂2φ∂xμ2=∑μ∂∂xμ(∂φ∂xν∂φ∂xμ)−∂∂xν(12∑μ(∂φ∂xμ)2).𝜑subscript𝑥𝜈subscript𝜇superscript2𝜑superscriptsubscript𝑥𝜇2subscript𝜇subscript𝑥𝜇𝜑subscript𝑥𝜈𝜑subscript𝑥𝜇subscript𝑥𝜈12subscript𝜇superscript𝜑subscript𝑥𝜇2\frac{\partial\varphi}{\partial x_{\nu}}\sum_{\mu}\frac{\partial^{2}\varphi}{\partial x_{\mu}^{2}}=\sum_{\mu}\frac{\partial}{\partial x_{\mu}}\left(\frac{\partial\varphi}{\partial x_{\nu}}\frac{\partial\varphi}{\partial x_{\mu}}\right)-\frac{\partial}{\partial x_{\nu}}\left(\frac{1}{2}\sum_{\mu}\left(\frac{\partial\varphi}{\partial x_{\mu}}\right)^{2}\right).
(36)
By analogy, Einstein and Grossmann now tried to construct the first derivative terms in such a way
that a relation of the form
Sum of
differential quotients
=\displaystyle=
12∑μν−g∂gμν∂xσ{∑αβ∂∂xα(γαβ∂γμν∂xβ)\displaystyle\frac{1}{2}\sum_{\mu\nu}\sqrt{-g}\,\frac{\partial g_{\mu\nu}}{\partial x_{\sigma}}\biggl{\{}\sum_{\alpha\beta}\frac{\partial}{\partial x_{\alpha}}\left(\gamma_{\alpha\beta}\frac{\partial\gamma_{\mu\nu}}{\partial x_{\beta}}\right)
+further terms which vanish with the first approximation}.\displaystyle+\text{further terms which vanish with the first approximation}\biggr{\}}.
(37)
While the heuristics of this reasoning was based on analogy, Grossmann provided Einstein with
a rigorous identity. He took the expression
U=∑αβμν∂gμν∂xσ∂∂xα(−gγαβ∂γμν∂xβ)𝑈subscript𝛼𝛽𝜇𝜈subscript𝑔𝜇𝜈subscript𝑥𝜎subscript𝑥𝛼𝑔subscript𝛾𝛼𝛽subscript𝛾𝜇𝜈subscript𝑥𝛽U=\sum_{\alpha\beta\mu\nu}\frac{\partial g_{\mu\nu}}{\partial x_{\sigma}}\frac{\partial}{\partial x_{\alpha}}\left(\sqrt{-g}\,\gamma_{\alpha\beta}\frac{\partial\gamma_{\mu\nu}}{\partial x_{\beta}}\right)
(38)
and transformed it, using partial integration and the relations
−g,σ=(1/2)−ggikgik,σ\sqrt{-g}_{,\sigma}=(1/2)\sqrt{-g}\,g^{ik}g_{ik,\sigma}
and
grs,l=−grρgsσgρσ,l{g^{rs}}_{,l}=-g^{r\rho}g^{s\sigma}g_{\rho\sigma,l},
to show that the following identity holds
∑αβτρsubscript𝛼𝛽𝜏𝜌\displaystyle\sum_{\alpha\beta\tau\rho}
∂∂xα(−gγαβ∂γτρ∂xβ∂gτρ∂xσ)−12∑αβτρ∂∂xσ(−gγαβ∂γτρ∂xα∂gτρ∂xβ)subscript𝑥𝛼𝑔subscript𝛾𝛼𝛽subscript𝛾𝜏𝜌subscript𝑥𝛽subscript𝑔𝜏𝜌subscript𝑥𝜎12subscript𝛼𝛽𝜏𝜌subscript𝑥𝜎𝑔subscript𝛾𝛼𝛽subscript𝛾𝜏𝜌subscript𝑥𝛼subscript𝑔𝜏𝜌subscript𝑥𝛽\displaystyle\frac{\partial}{\partial x_{\alpha}}\biggl{(}\sqrt{-g}\,\gamma_{\alpha\beta}\frac{\partial\gamma_{\tau\rho}}{\partial x_{\beta}}\frac{\partial g_{\tau\rho}}{\partial x_{\sigma}}\biggr{)}-\frac{1}{2}\sum_{\alpha\beta\tau\rho}\frac{\partial}{\partial x_{\sigma}}\biggl{(}\sqrt{-g}\,\gamma_{\alpha\beta}\frac{\partial\gamma_{\tau\rho}}{\partial x_{\alpha}}\frac{\partial g_{\tau\rho}}{\partial x_{\beta}}\biggr{)}
=\displaystyle=
∑μν−g∂gμν∂xσ{∑αβ1−g∂∂xα(γαβ−g∂γμν∂xβ)−∑αβτργαβgτρ∂γμτ∂xα∂γτρ∂xβ\displaystyle\sum_{\mu\nu}\sqrt{-g}\,\frac{\partial g_{\mu\nu}}{\partial x_{\sigma}}\biggl{\{}\sum_{\alpha\beta}\frac{1}{\sqrt{-g}}\frac{\partial}{\partial x_{\alpha}}\biggl{(}\gamma_{\alpha\beta}\sqrt{-g}\,\frac{\partial\gamma_{\mu\nu}}{\partial x_{\beta}}\biggr{)}-\sum_{\alpha\beta\tau\rho}\gamma_{\alpha\beta}g_{\tau\rho}\frac{\partial\gamma_{\mu\tau}}{\partial x_{\alpha}}\frac{\partial\gamma_{\tau\rho}}{\partial x_{\beta}}
+12∑αβτργαμγβν∂gτρ∂xα∂γτρ∂xβ−14∑αβτργμνγαβ∂gτρ∂xα∂γτρ∂xβ}.\displaystyle+\frac{1}{2}\sum_{\alpha\beta\tau\rho}\gamma_{\alpha\mu}\gamma_{\beta\nu}\frac{\partial g_{\tau\rho}}{\partial x_{\alpha}}\frac{\partial\gamma_{\tau\rho}}{\partial x_{\beta}}-\frac{1}{4}\sum_{\alpha\beta\tau\rho}\gamma_{\mu\nu}\gamma_{\alpha\beta}\frac{\partial g_{\tau\rho}}{\partial x_{\alpha}}\frac{\partial\gamma_{\tau\rho}}{\partial x_{\beta}}\biggr{\}}.
(39)
In order to interpret this identity, Einstein and Grossmann introduced a differential operator
Δμν(γ)=∑αβ1−g⋅∂∂xα(γαβ−g⋅∂γμν∂xβ)−∑αβτργαβgτρ∂γμτ∂xα∂γνρ∂xβsubscriptΔ𝜇𝜈𝛾subscript𝛼𝛽⋅1𝑔subscript𝑥𝛼⋅subscript𝛾𝛼𝛽𝑔subscript𝛾𝜇𝜈subscript𝑥𝛽subscript𝛼𝛽𝜏𝜌subscript𝛾𝛼𝛽subscript𝑔𝜏𝜌subscript𝛾𝜇𝜏subscript𝑥𝛼subscript𝛾𝜈𝜌subscript𝑥𝛽\Delta_{\mu\nu}(\gamma)=\sum_{\alpha\beta}\frac{1}{\sqrt{-g}}\cdot\frac{\partial}{\partial x_{\alpha}}\biggl{(}\gamma_{\alpha\beta}\sqrt{-g}\cdot\frac{\partial\gamma_{\mu\nu}}{\partial x_{\beta}}\biggr{)}-\sum_{\alpha\beta\tau\rho}\gamma_{\alpha\beta}g_{\tau\rho}\frac{\partial\gamma_{\mu\tau}}{\partial x_{\alpha}}\frac{\partial\gamma_{\nu\rho}}{\partial x_{\beta}}
(40)
and a gravitational stress-energy tensor
−2κ⋅ϑμν=∑αβτρ(γαμγβν∂gτρ∂xα∂γτρ∂xβ−12γμνγαβ∂gτρ∂xα∂γτρ∂xβ)⋅2𝜅subscriptitalic-ϑ𝜇𝜈subscript𝛼𝛽𝜏𝜌subscript𝛾𝛼𝜇subscript𝛾𝛽𝜈subscript𝑔𝜏𝜌subscript𝑥𝛼subscript𝛾𝜏𝜌subscript𝑥𝛽12subscript𝛾𝜇𝜈subscript𝛾𝛼𝛽subscript𝑔𝜏𝜌subscript𝑥𝛼subscript𝛾𝜏𝜌subscript𝑥𝛽-2\kappa\cdot\vartheta_{\mu\nu}=\sum_{\alpha\beta\tau\rho}\biggl{(}\gamma_{\alpha\mu}\gamma_{\beta\nu}\frac{\partial g_{\tau\rho}}{\partial x_{\alpha}}\frac{\partial\gamma_{\tau\rho}}{\partial x_{\beta}}-\frac{1}{2}\gamma_{\mu\nu}\gamma_{\alpha\beta}\frac{\partial g_{\tau\rho}}{\partial x_{\alpha}}\frac{\partial\gamma_{\tau\rho}}{\partial x_{\beta}}\biggr{)}
(41)
and rewrote Grossmann’s identity (39) in the form
∑μν∂∂xν(−ggσμϑμν)−12∑μν−g∂gμν∂xσϑμν=−12κ∑μν−g∂gμν∂xσΔμν(γ).subscript𝜇𝜈subscript𝑥𝜈𝑔subscript𝑔𝜎𝜇subscriptitalic-ϑ𝜇𝜈12subscript𝜇𝜈𝑔subscript𝑔𝜇𝜈subscript𝑥𝜎subscriptitalic-ϑ𝜇𝜈12𝜅subscript𝜇𝜈𝑔subscript𝑔𝜇𝜈subscript𝑥𝜎subscriptΔ𝜇𝜈𝛾\sum_{\mu\nu}\frac{\partial}{\partial x_{\nu}}\left(\sqrt{-g}\,g_{\sigma\mu}\vartheta_{\mu\nu}\right)-\frac{1}{2}\sum_{\mu\nu}\sqrt{-g}\,\frac{\partial g_{\mu\nu}}{\partial x_{\sigma}}\vartheta_{\mu\nu}=-\frac{1}{2\kappa}\sum_{\mu\nu}\sqrt{-g}\,\frac{\partial g_{\mu\nu}}{\partial x_{\sigma}}\Delta_{\mu\nu}(\gamma).
(42)
By comparison with the conservation equation for matter (11),
they concluded that the quantity
ϑμνsubscriptitalic-ϑ𝜇𝜈\vartheta_{\mu\nu} played the role of gravitational stress-energy, and by comparison of (42)
with their heuristic equation (37),
they concluded that the gravitation tensor ΓμνsubscriptΓ𝜇𝜈\Gamma_{\mu\nu}
entering the field equations (9)
reads
Γμν=Δμν(γ)−κ⋅ϑμν,subscriptΓ𝜇𝜈subscriptΔ𝜇𝜈𝛾⋅𝜅subscriptitalic-ϑ𝜇𝜈\Gamma_{\mu\nu}=\Delta_{\mu\nu}(\gamma)-\kappa\cdot\vartheta_{\mu\nu},
(43)
which renders the gravitational field equations in the form
Δγμ(γ)=κ(Θμν+ϑμν).subscriptΔ𝛾𝜇𝛾𝜅subscriptΘ𝜇𝜈subscriptitalic-ϑ𝜇𝜈\Delta_{\gamma\mu}(\gamma)=\kappa\left(\Theta_{\mu\nu}+\vartheta_{\mu\nu}\right).
(44)
Eqs. (40), (41), and (44) are the gravitational field equations of the Einstein-Grossmann theory in their contravariant form.
From (11) and (42) it also follows that
∑μν∂∂xν{−ggσμ(Θμν+ϑμν)}=0,subscript𝜇𝜈subscript𝑥𝜈𝑔subscript𝑔𝜎𝜇subscriptΘ𝜇𝜈subscriptitalic-ϑ𝜇𝜈0\sum_{\mu\nu}\frac{\partial}{\partial x_{\nu}}\left\{\sqrt{-g}\,g_{\sigma\mu}\left(\Theta_{\mu\nu}+\vartheta_{\mu\nu}\right)\right\}=0,
(45)
a relation expressing, according to Einstein, the validity of conservation laws for the union of
matter and gravitational field.
In a few months of their collaboration, Einstein and Grossmann had succeeded in formulating a relativistic theory of gravitation, which employed an adapted version of Ricci’s and Levi-Civita’s absolute differential calculus and which was generally covariant in all its parts, except
for the gravitational field equations. In the course of their joint work, they had been taking into consideration as candidate gravitation tensors the right mathematical objects and had even considered a linearized version of the final field equations of gravitation.
After their joint work of the Entwurf68 was available in offprint form (see Fig. 6), Einstein and Grossmann engaged in various
activities to advertise and promote their results.
Figure 6: Title page of the “Outline of a Generalized Theory of Relativity and of a Theory of Gravitation” published by Einstein and Grossmann in early summer 1913. This work, in which Einstein signed responsible for the ‘physical part’ and Grossmann for the ‘mathematical part,’ already contained all elements of the final theory of general relativity, except for the correct, generally covariant gravitational field equations. In particular, it contained an account of tensor calculus geared to the purposes of a relativistic theory of gravitation in Grossmann’s mathematical part. The Einstein-Grossmann theory of this “Outline” was only given up by Einstein in the fall of 1915, when he succeeded in his final breakthrough to the general theory of relativity.
On 9 September 1913, they presented their theory to the 96th annual meeting
of the Schweizerische Naturforschende Gesellschaft, which took place that year in Frauenfeld.
Again, they presented the work
with the same division of labor and responsibility. Abstracts of their presentations were
published in the society’s Verhandlungen,79, 80
and longer versions were published in the Vierteljahrsschrift of the Naturforschende
Gesellschaft in Zürich 81, 82.
French translations of the latter pieces appeared in
Archives des sciences physiques et naturelles.83, 84
Einstein alone presented the work two weeks later, on 23 September 1913,
at the 85th meeting of the Gesellschaft Deutscher Naturforscher und Ärzte in Vienna.
An account of his report was published under his name in the Physikalische Zeitschrift.85
Discussion remarks following his presentation were also published, but a few
weeks later, Einstein addressed again a comment by Hans Reißner (1874–1967), which he felt he had not satisfactorily answered.86 He also defended the Einstein-Grossmann theory against criticism by Gustav Mie (1868–1957).87
In its issue of 30 January 1914, the Entwurf was eventually printed as a regular article in the
Zeitschrift für Mathematik und Physik,88 a journal edited by the
applied mathematicians Carl Runge (1856–1927) and Rudolf Mehmke (1857–1944). The journal print is important for its addendum, signed only by Einstein, which pointed out
two recent advances in the understanding of the original Entwurf theory 5 Doc. 26. For one, Einstein here formulated
the infamous “hole argument” (“Lochbetrachtung”) by means of which he had convinced himself
that generally covariant gravitational field equations were not compatible with basic assumptions
on causality and the postulate that the metric components are determined uniquely by the matter tensor
ΘμνsubscriptΘ𝜇𝜈\Theta_{\mu\nu}.
He also gave a version of the basic Entwurf equations in terms of mixed tensor densities. Introducing
the quantities
𝔗σνsubscript𝔗𝜎𝜈\displaystyle\mathfrak{T}_{\sigma\nu}
=∑μ−ggσμΘμν,absentsubscript𝜇𝑔subscript𝑔𝜎𝜇subscriptΘ𝜇𝜈\displaystyle=\sum_{\mu}\sqrt{-g}\,g_{\sigma\mu}\Theta_{\mu\nu},
(46)
𝔱σνsubscript𝔱𝜎𝜈\displaystyle\mathfrak{t}_{\sigma\nu}
=∑μ−ggσμϑμν,absentsubscript𝜇𝑔subscript𝑔𝜎𝜇subscriptitalic-ϑ𝜇𝜈\displaystyle=\sum_{\mu}\sqrt{-g}\,g_{\sigma\mu}\vartheta_{\mu\nu},
(47)
the conservation laws (11) and (45) can be written in the (deceptively) simple form as
∑ν∂𝔗σν∂xν=12∑μντ∂gμν∂xσγμτ𝔗τνsubscript𝜈subscript𝔗𝜎𝜈subscript𝑥𝜈12subscript𝜇𝜈𝜏subscript𝑔𝜇𝜈subscript𝑥𝜎subscript𝛾𝜇𝜏subscript𝔗𝜏𝜈\sum_{\nu}\frac{\partial\mathfrak{T}_{\sigma\nu}}{\partial x_{\nu}}=\frac{1}{2}\sum_{\mu\nu\tau}\frac{\partial g_{\mu\nu}}{\partial x_{\sigma}}\gamma_{\mu\tau}\mathfrak{T}_{\tau\nu}
(48)
and
∑ν∂∂xν(𝔗σν+𝔱σν)=0,subscript𝜈subscript𝑥𝜈subscript𝔗𝜎𝜈subscript𝔱𝜎𝜈0\sum_{\nu}\frac{\partial}{\partial x_{\nu}}\left(\mathfrak{T}_{\sigma\nu}+\mathfrak{t}_{\sigma\nu}\right)=0,
(49)
respectively, and the Entwurf field equations turn into
∑αβμ∂∂xα(−gγαβgσμ∂γμν∂xβ)=κ(𝔗σν+𝔱σν).subscript𝛼𝛽𝜇subscript𝑥𝛼𝑔subscript𝛾𝛼𝛽subscript𝑔𝜎𝜇subscript𝛾𝜇𝜈subscript𝑥𝛽𝜅subscript𝔗𝜎𝜈subscript𝔱𝜎𝜈\sum_{\alpha\beta\mu}\frac{\partial}{\partial x_{\alpha}}\left(\sqrt{-g}\,\gamma_{\alpha\beta}g_{\sigma\mu}\frac{\partial\gamma_{\mu\nu}}{\partial x_{\beta}}\right)=\kappa\left(\mathfrak{T}_{\sigma\nu}+\mathfrak{t}_{\sigma\nu}\right).
(50)
Einstein also continued work on the gravitation problem in a collaboration with the Dutch physicist
Adriaan Fokker (1887–1972).
In a joint paper, received by Annalen der Physik on 19 February 1914,
they reinterpreted a scalar gravitation
theory by the Finnish physicist Gunnar Nordström (1881–1923) using the tools of the absolute differential calculus and compared the Nordström theory
to the Einstein-Grossmann theory.90
That comparison was then also subject in a presentation that
Einstein gave on 9 February 1914 to the Naturforschende Gesellschaft in Zurich.
Grossmann was present during Einstein’s presentation but was active only as a participant in the discussion.91
Einstein left Zurich on 21 March 1914 24 p. 636 and took up his new position as member
of the Prussian Academy in early April, after a short visit with Paul Ehrenfest (1880–1943) in Leyden. Einstein’s move
to Berlin put an end to his collaboration with Grossmann. But presumably in the final weeks
before leaving Zurich, he and Grossmann penned another joint publication,
which was published on 29 May 1914 also in Zeitschrift für Mathematik und Physik.92
The starting point of their second joint paper was the insight that Einstein had formulated in the
addendum to the journal print of the Entwurf. By way of introduction, they recapitulated the
achievement of the earlier Entwurf. That theory, they pointed out, contained two kinds of equations.
The first kind were generalizations of equations in the special theory of relativity, which govern the behavior of matter or material processes in general, for a given
gravitational field. These equations had been shown to be generally covariant. They had also established
a set of equations that determined the gravitational field if the quantities that determine the material processes are considered as given. This equation was a generalization of Poisson’s equation and there
was no special relativistic analog to it. They had not been able to determine the covariance group
of those equations. It was only known that they would be covariant under linear transformations but it had
remained unclear which further coordinate transformations would maintain the form of those field
equations. The purpose of their second note then was to determine the maximum covariance group for the
Entwurf field equations.
The first paragraph gave the basic equations of the theory in mixed tensor density form, just as
Einstein had done in the addendum, see Eqs. (48), (49), and (50) above. The second paragraph reiterated the hole argument. Although first formulated by Einstein, it was here presented in their joint paper as a “proof that if a solution for the γμνsubscript𝛾𝜇𝜈\gamma_{\mu\nu} for given ΘμνsubscriptΘ𝜇𝜈\Theta_{\mu\nu} is already known, then the general covariance of the equations allows for the existence of further solutions” 92 p. 218. This mathematical fact would imply
that “a complete determination of the fundamental tensor γμνsubscript𝛾𝜇𝜈\gamma_{\mu\nu} of a gravitational field with given ΘμνsubscriptΘ𝜇𝜈\Theta_{\mu\nu}
by a generally-covariant system of equations is impossible” 92 p. 217. The hole argument, just as earlier Grossmann’s
identity (39), is a central tenet of the Einstein-Grossmann theory, and it seems that Grossmann was concerned
about the invariant-theoretic consequences that it implied. The proof proceeds like this.
Consider a region (the “hole”) in four-dimensional space-time in which there are no material processes, i.e., Θμν=0subscriptΘ𝜇𝜈0\Theta_{\mu\nu}=0. Assume that the metric field γμν(x)subscript𝛾𝜇𝜈𝑥\gamma_{\mu\nu}(x) is uniquely determined by the given field of Θμν(x)subscriptΘ𝜇𝜈𝑥\Theta_{\mu\nu}(x), also in the matter-free region. Now introduce new coordinates x′superscript𝑥′x^{\prime} such that the new coordinates agree with the old ones outside the matter free region and only differ inside it.
Such a coordinate transformation would produce a transformed metric field γμν′(x′)superscriptsubscript𝛾𝜇𝜈′superscript𝑥′\gamma_{\mu\nu}^{\prime}(x^{\prime}) inside
the matter-free region, but leave ΘμνsubscriptΘ𝜇𝜈\Theta_{\mu\nu} invariant across the entire space-time since
outside the hole we have x′=xsuperscript𝑥′𝑥x^{\prime}=x and inside we have Θμν′=0=ΘμνsuperscriptsubscriptΘ𝜇𝜈′0subscriptΘ𝜇𝜈\Theta_{\mu\nu}^{\prime}=0=\Theta_{\mu\nu}.
Generally covariant field equations then would allow to have γμν′(x)superscriptsubscript𝛾𝜇𝜈′𝑥\gamma_{\mu\nu}^{\prime}(x) also as a solution and
hence one obtains two different metric fields γμν′superscriptsubscript𝛾𝜇𝜈′\gamma_{\mu\nu}^{\prime}, γμνsubscript𝛾𝜇𝜈\gamma_{\mu\nu} compatible with one and the same matter field ΘμνsubscriptΘ𝜇𝜈\Theta_{\mu\nu}.
The version of the hole argument presented in their joint paper essentially reiterated the version that
Einstein had given earlier in the addendum. But the presentation in their joint paper immediately
proceeds to correct an erroneous argument of the addendum. Einstein had earlier believed that
Eq. (49) is necessarily only covariant under linear coordinate transformations. Einstein and Grossmann
now pointed out that this conclusion only holds “if one assigns tensorial character to the quantities 𝔱μν/−gsubscript𝔱𝜇𝜈𝑔\mathfrak{t}_{\mu\nu}/\sqrt{-g} which, it turned out, is not justified” 92 p. 218. Plugging Eq. (49) into (50), they instead now argued
that
Bσ≡∑αβμν∂2∂xν∂xα(−gγαβgσμ∂γμν∂xβ)=0subscript𝐵𝜎subscript𝛼𝛽𝜇𝜈superscript2subscript𝑥𝜈subscript𝑥𝛼𝑔subscript𝛾𝛼𝛽subscript𝑔𝜎𝜇subscript𝛾𝜇𝜈subscript𝑥𝛽0B_{\sigma}\equiv\sum_{\alpha\beta\mu\nu}\frac{\partial^{2}}{\partial x_{\nu}\partial x_{\alpha}}\biggl{(}\sqrt{-g}\,\gamma_{\alpha\beta}g_{\sigma\mu}\frac{\partial\gamma_{\mu\nu}}{\partial x_{\beta}}\biggr{)}=0
(51)
represents a “real restriction on the choice of coordinate systems” 92 p. 219.
The bulk of the paper was devoted to giving a variational derivation of the Entwurf field equations,
which would allow them to make some inferences about the invariant-theoretic properties
of their theory. They showed that the field equation could be represented by the variational
principle
∫(δH−2κ∑μν−gTμνδγμν)𝑑τ=0𝛿𝐻2𝜅subscript𝜇𝜈𝑔subscript𝑇𝜇𝜈𝛿subscript𝛾𝜇𝜈differential-d𝜏0\int\biggl{(}\delta H-2\kappa\sum_{\mu\nu}\sqrt{-g}\,T_{\mu\nu}\delta\gamma_{\mu\nu}\biggr{)}d\tau=0
(52)
with a gravitational Lagrangian
H=12−g∑αβτργαβ∂gτρ∂xα∂γτρ∂xβ.𝐻12𝑔subscript𝛼𝛽𝜏𝜌subscript𝛾𝛼𝛽subscript𝑔𝜏𝜌subscript𝑥𝛼subscript𝛾𝜏𝜌subscript𝑥𝛽H=\frac{1}{2}\sqrt{-g}\,\sum_{\alpha\beta\tau\rho}\gamma_{\alpha\beta}\frac{\partial g_{\tau\rho}}{\partial x_{\alpha}}\frac{\partial\gamma_{\tau\rho}}{\partial x_{\beta}}.
(53)
The core argument of their second paper consists of a proof of the invariance of the variational integral
∫H𝑑τ𝐻differential-d𝜏\int Hd\tau under general coordinate transformations that only respect the restrictive condition (51). They interpreted their result to the effect that the gravitational field equations
possess the maximal covariance group that is compatible with the hole argument.
Their second joint paper only appeared when Einstein had already moved from Zurich to Berlin to take up
his position as member of the Prussian Academy.
With Einstein’s absence from Zurich the
collaboration between the two friends effectively came to an end. There is only one more thing that
Grossmann contributed to the Entwurf theory. Already from Berlin, but before 10 April 1914,
Einstein wrote to Paul Ehrenfest:
Grossmann wrote me that now he also is succeeding in deriving the gravitation equations from
the general theory of covariants. This would be a nice addition to our examination.
Grossmann’s letter, unfortunately, appears to have been lost, and we do not have any other evidence
of Grossmann’s result. Apparently, he had found a way to recover the Entwurf field equations (44) or (50) from the Riemann-Christoffel tensor (13)
using the restrictive condition (51).
To recapitulate: Grossmann’s contribution to the Entwurf theory consisted in the following.
•
He clarified the mathematical foundation of the theory based on a general line element (8) and generalized the concept of a tensor
to a structure of n−limit-from𝑛n-th rank in m𝑚m-dimensional space.
•
He identified the absolute differential calculus by Ricci and Levi-Civita as the relevant
mathematical toolbox for the problem of a relativistic theory of gravitation and transformed it
into a tensor calculus both with respect to notation and by generalizing it to mixed tensor densities.
•
He proved that the conservation law for matter (11) was a generally
covariant equation
by showing that it expresses the covariant divergence of ΘμνsubscriptΘ𝜇𝜈\Theta_{\mu\nu}.
•
He identified the Riemann tensor as a relevant and rich resource for the problem of
constructing generally covariant gravitational field equations, and he showed Einstein several
ways of extracting a second rank object from the Riemann tensor that would have the desired
limiting form in the case of weak static fields.
•
After the failure of the mathematical strategy of constructing a field equation from the
Riemann tensor, he proved the central identity (39) from which the gravitational field equations
of the Entwurf theory were read off.
•
In joint work with Einstein, he showed how the Einstein-Grossmann theory can be formulated in terms
of a variational principle and clarified its transformational properties in light of the hole argument.
A few months after Einstein had moved to Berlin the war broke out, a political course of events
that contributed to putting an end to the active collaboration between Einstein and Grossmann, even
if their friendship was not affected by the political turmoil. In any case, it was Einstein who
continued to work on the gravitation problem. In the fall of 1914, he wrote a first comprehensive
review paper of the Einstein-Grossmann theory, in which he also gave a new exposition of the relevant
mathematics.94 The review begins with giving credit to Grossmann’s contribution. Einstein wrote:
In recent years, I have worked, in part together with my friend Grossmann, on a generalization of the
theory of relativity.
In the review Einstein referred to the Einstein-Grossmann theory as a “general theory of relativity” for the first time in the title, rather than calling it a “generalized theory,” as it appeared in the title of the Entwurf. It was the Einstein-Grossmann theory as presented in this review that Einstein defended against criticism by the
mathematician Tullio Levi-Civita himself, and which he also defended in a course of lectures held in
the summer of 1915 to the mathematicians and physicists in Göttingen.
In the summer of 1915, plans were also under way to prepare a new edition of the collection of papers on the “relativity principle” first edited in 1913 by Otto Blumenthal (1876–1944).96 Apparently, Arnold Sommerfeld who had initiated the first edition of the anthology and who also had contributed some annotation to Minkowski’s paper in it, had asked Einstein which of his later works on relativity should be included in an augmented second edition. In his reply, Einstein mentioned the 1914 review paper but also suggested that he preferred to have none of the recent papers included since none of the expositions of the “general theory of relativity” would be complete and he intended to write a new self-contained presentation anyway. In that context, Einstein also commented on his collaboration with this friend:
Grossmann will never lay claim to being co-discoverer. He only helped in guiding me through the mathematical literature but contributed nothing of substance to the results.
As is well-known, the breakthrough to general covariance occurred only a few months after Einstein’s visit to Göttingen, and was documented in a series of four memoirs97, 98, 99, 100 presented to the Prussian Academy, in which
Einstein regained general covariance,97, 98 succeeded in the computation of Mercury’s anomalous perihelion advance,99 and finally completed his general theory of relativity by publication of the Einstein equations.100 In the introductory paragraph of the first of those November papers, in which he proposed a theory of gravitation based on what we have called the
“November tensor”1 Vol. 1, p.192, i.e., Eq. (25) above, covariant under general unimodular transformations, Einstein again mentioned his collaboration with Grossmann. He wrote:
Thus I came back to the postulate of a more general covariance of the field equations, which I had given up three years ago only with a heavy heart, when I worked together with my friend Grossmann. Indeed, we had come at that time already very close to the solution that will be given in the following.
Very similarly, he expressed himself in a letter to David Hilbert, written on 18 November 1915, the day of his third memoir, in which he had succeeded in computing the correct value of Mercury’s perihelion advance on the basis of field equations Rμν∝Tμνproportional-tosubscript𝑅𝜇𝜈subscript𝑇𝜇𝜈R_{\mu\nu}\propto T_{\mu\nu}:
The difficulty was not in finding generally covariant equations for the gμνsubscript𝑔𝜇𝜈g_{\mu\nu}; for this is easily achieved with the aid of Riemann’s tensor. Rather it was hard to see that these equations are a generalization of Newton’s law. This insight I only achieved in the last weeks […], while I had already considered the only possible generally covariant equations, which now turned out to be the correct ones, already three years ago with my friend Grossmann. Only with a heavy heart did we give them up, since it had appeared to me that their physical discussion had shown their incompatibility with Newton’s law.
In a letter to his Swiss friend Heinrich Zangger, written on 9 December 1915, just a few days after the final breakthrough, he wrote:
The interesting thing is that now the inital hypotheses I made with Grossmann are confirmed, and the most
radical of theoretical requirements materialized. At the time we lacked only a few relations of a formal nature, without which the link between the formulas and already known laws cannot be attained.
A few months after the completion of the general theory of relativity by publication, Einstein published a comprehensive exposition of the final theory.101, 7 The paper begins with a page-long introductory paragraph, in which Einstein gave credit to the mathematical traditions that he had built upon, singling out the contributions of Minkowski, as well as of Gauss, Riemann, Christoffel, Ricci and Levi-Civita. The hommage to the mathematical tradition ends with an expression of gratitude for Grossmann:
Finally I want to acknowledge gratefully my friend, the mathematician Grossmann, whose help not only saved me the effort of studying the pertinent mathematical literature, but who also helped me in my search for the field equations of gravitation.
4 Biographical Epilogue
Although their biographical and intellectual trajectories continued largely independently after their collaboration in Zurich, Einstein and Grossmann remained friends. During a visit to the Grossmann family in Zurich in summer 1919, the two friends apparently even talked about the possibility that Einstein would come back to Zurich69 Vol. 9, 72e, 74d. Grossmann tried to lure Einstein back but Einstein was discouraged by the idea of having to face a full teaching load again.
In early January 1920, at the height of the public interest in Einstein’s theory of general relativity,
Marcel Grossmann published a two-piece article entitled “A New Worldview” in the Neue Schweizer Zeitung.103 Just a few weeks earlier, on 6 November 1919 at a joint session
of the Royal Society and the Royal Astronomical Society in London, it had been announced that the results of the British eclipse expedition had confirmed Einstein’s relativistic theory of gravitation. After Grossmann put Einstein’s achievement in a line with Galilei, Kopernikus, Kepler, and Newton, he wrote:
As a school day friend and fellow student of this great physicist I might be permitted to follow up on the suggestion of the editorial board and give an understanding of the man and the work to a wider audience,
and try to give a concept of the ingenuity and consequences of his ideas. For years already these ideas have engaged his colleagues but it is only in recent months that also in wider intellectual circles it is pointed out that here a revolution was begun and completed of all of our basic concepts in physics, astronomy, geometry, as well as philosophical epistemology.
Grossmann continued to give some biographical information on Einstein, pointed out that he obtained Swiss citizenship as a student at the ETH and had kept his Swiss nationality even after his move to Berlin. He emphasized Einstein’s pacifist stance during the war, mentioning the counter manifesto 95 Doc. 8 with Georg Friedrich Nicolai (1874–1964) and Wilhelm Förster (1832–1921) against the infamous manifesto of the 93. He then gave a short characterization of the special theory of relativity. His discussion of special relativity ends with this observation:
One can explain all those premises and consequences of the theory of relativity only to those whose mathematical knowledge and maturity of judgment go far enough. The mathematician possesses in his formal language a shorthand of thinking, which is not only useful but indispensable for more complicated trains of thought. Just as the skill of shorthand writing helps us following a lecture, it is the mathematical language of formulas that enables us to create complicated trains of thought, which could not be brought to a conclusion without it.
With the general theory of relativity, Grossmann wrote, Einstein even topped his own prior achievement. He not only generalized special relativity but also succeeded in drawing experimentally verifiable consequences, which indeed had been confirmed. Einstein’s former collaborator, who helped with the mathematics, then observed about the role of mathematics in the genesis of general relativity:
Laymen have an entirely misleading conception of the essence of mathematical and generally scientific research. Also in this field of human intellect, something new is only being created by intuition, by creative imagination. The great mathematicians and physicists are not ‘good calculators,’ in this respect they are outplayed by your average able accountant; nor is someone who plays the piano with virtuosity a great musician! Original achievements in all fields of human knowledge and capability are artistic achievements and follow their own laws.
To a person who witnessed Einstein’s first laborious attempts in the years 1912 and 1913, as the composer of these lines did, they must appear like the ascent of an inaccessible mountain in the dark of the night, without path or trail, without foothold or direction. Experience and deduction provided only few and insecure handholds. All the higher we have to value this intellectual deed.
No claims to co-discovery by Grossmann indeed!
Also in 1920, Grossmann felt compelled to intervene on behalf of the Swiss physicists and mathematicians and to defend Einstein’s relativity theory against criticism
by a Bernese physicist. Eduard Guillaume (1881–1959), then a mathematician at the Swiss
Federal Insurance Bureau, had been a colleague of Einstein’s at the Swiss
patent office. In 1909, the two had even done some experimental work together 24 Doc. 143,
and, in 1913, Guillaume had translated into French Einstein’s short version of the Entwurf presented at
the Frauenfeld meeting.83
But beginning in 1917, Guillaume had started to criticize the special theory of relativity in a number of
articles that appeared mostly in the Archives des sciences physiques et naturelles.
On 5 February 1920, Grossmann forwarded one of Guillaume’s papers at the latter’s request 104 Doc. 300. Einstein’s response was short and harsh: “Guillaume’s notice is stupid
like everything this man dashes off about relativity.” Presumably with reference
to this letter, Grossmann had referred to Einstein’s opinion about Guillaume in a piece that
he published on 15 June 1920 in the Neue Schweizer Zeitung.105 Guillaume complained about
Grossmann’s criticism in private correspondence with Einstein and tried to explain his critical views.
Einstein patiently continued their correspondence but admitted that he was unable to understand
what Guillaume’s point really was.69, 106
Figure 7: Marcel Grossmann (1878–1936). ©ETH Bibliothek Zürich, Bildarchiv.
On 3 September 1920, Grossmann published a note in the Neue Schweizer Zeitung accusing Einstein’s German colleagues of not supporting him against the anti-Einstein campaign that had just culminated with the infamous lectures by Paul Weyland (1888–1972) and Ernst Gehrcke (1878–1960) in the Berlin Philharmonic.107
A few days later, on 9 September 1920, Grossmann made another attempt at getting Einstein back to Switzerland: “Are you still not ripe for Zurich yet?” he asked in a letter, in which he also pointed out that “both our boys, who are in the same class at the Gymnasium, are already calculating with logarithms”69 Doc.142. In the letter, he also asked for another statement on Guillaume, which he might then translate into French and forward for publication in Geneva’s Archives des sciences physiques et naturelles. In Grossmann’s words, “a cult is forming around Guillaume that thinks it must correct essential points of your concepts.” Einstein was pleased “that our boys are classmates, like we were,” and complied with the request by sending a harsh statement on Guillaume’s work, stating that he was “unable to attach any kind of clear sense to Guillaume’s explications”69 Doc. 148. Einstein’s statement did not get published. Instead, Grossmann himself wrote a brief statement in the Archives.108 According to his note, Guillaume had developed his interpretation of the Lorentz transformations at the international conference of mathematicians in Strasbourg, and while it was impossible for Grossmann to assess the significance of the theory as far as the physics was concerned, he could put the finger on the mathematical error that he committed.
Guillaume claimed that he had found a new invariant of the Lorentz transformations. But one knew that the Lorentz transformations are associated with a line element with constant coefficients, which possesses no invariants at all. Only differential quadratic forms with variable coefficients possess an invariant function, the curvature of space according to Riemann and Christoffel, on which the gravitational field equations are based. Guillaume’s expression, on the other hand, was “an identity pure and simple. It does not carry any physical or mathematical interest.”
For the following years, we have a few items in the Einstein Archives that document Grossmann’s and Einstein’s ongoing friendship. In July 1922, Einstein jokingly pondered to name a sailing boat that he had bought used and that initially had sunk due to a leakage either “letdown” (“Reinfall”) or “Grossmann”, presumably with reference to Grossmann’s earlier assistance in keeping him afloat, as it were 109 Doc. 306. Later that year, Einstein and his (second) wife tried to see Grossmann in Zurich on their way out for their Japan trip but missed him. A postcard that they sent instead also conveys congratulations to Grossmann’s son who had just graduated together with Einstein’s son from the Realgymnasium of the Kantonsschule in Zürich. In August 1923, Grossmann congratulated Einstein on his decision to rejoin the committee of intellectual cooperation of the League of Nations. At the end of the year, Grossmann wrote again. This time, he was congratulating Einstein to the good performance of his son who had scored best at examinations at the ETH that he, Grossmann, had taken. He also invited Einstein for a lecture, and he reiterated his offer that Einstein could come back to the ETH if he so wished. Another invitation to deliver a lecture at the annual assembly of the Schweizerische Naturforschende Gesellschaft to take place in October 1924 in Lucerne was conveyed through correspondence by Grossmann. This time Einstein accepted. As mentioned above, Einstein visited Grossmann again in summer 1925, as, indeed, he might have done more frequently than is documented, whenever he visited Zurich to see his sons.
Grossmann’s last scientific publication concerns a mathematical critique of the geometric foundation of Einstein’s so-called teleparallel approach to a unified field theory of gravitation and electromagnetism.56 In summer 1928, Einstein had published two short notes in the Proceedings of the Prussian Academy, in which he introduced his new approach and its underlying geometric idea.111, 112, 113 The geometry of teleparallelism was, in fact, not new at all, but had been investigated by others before, notably by Élie Cartan (1869–1951) in the early twenties. It was formulated then in terms of tetrad fields, orthogonal vector fields haμsubscriptℎ𝑎𝜇h_{a\mu} defined at each point of a manifold such that
∑ahaμhaν=δμν;∑μhaμhbμ=δabformulae-sequencesubscript𝑎subscriptℎ𝑎𝜇superscriptℎ𝑎𝜈superscriptsubscript𝛿𝜇𝜈subscript𝜇subscriptℎ𝑎𝜇superscriptsubscriptℎ𝑏𝜇subscript𝛿𝑎𝑏\sum_{a}h_{a\mu}h^{a\nu}={\delta_{\mu}}^{\nu};\qquad\sum_{\mu}h_{a\mu}{h_{b}}^{\mu}=\delta_{ab}
(54)
and a given metric gμνsubscript𝑔𝜇𝜈g_{\mu\nu} is expressed as
gμν=∑shsμhsν.subscript𝑔𝜇𝜈subscript𝑠subscriptsuperscriptℎ𝑠𝜇subscriptℎ𝑠𝜈g_{\mu\nu}=\sum_{s}{h^{s}}_{\mu}h_{s\nu}.
(55)
Here Latin letters denote the tetrad indices and Greek indices denote the coordinate indices.
Einstein’s point in that approach was that the tetrads both allow a geometrical interpretation of distant parallelism on the manifold but also carry more degrees of freedom than the metric tensor field. Specifically,
the tetrad fields allow the definition of an antisymmetric connection
Πμσν=∑ahaνhaμ,σ,subscriptsuperscriptΠ𝜈𝜇𝜎subscript𝑎superscriptℎ𝑎𝜈subscriptℎ𝑎𝜇𝜎\Pi^{\nu}_{\mu\sigma}=\sum_{a}h^{a\nu}h_{a\mu,\sigma},
(56)
(later called the Weitzenböck connection)
which gives rise to a flat Ricci tensor
Pικλμ=−Πκλ,μι+Πκμ,λι+ΠαλιΠκμα−ΠαλιΠκμα≡0subscriptsuperscript𝑃𝜄𝜅𝜆𝜇subscriptsuperscriptΠ𝜄𝜅𝜆𝜇subscriptsuperscriptΠ𝜄𝜅𝜇𝜆subscriptsuperscriptΠ𝜄𝛼𝜆subscriptsuperscriptΠ𝛼𝜅𝜇subscriptsuperscriptΠ𝜄𝛼𝜆subscriptsuperscriptΠ𝛼𝜅𝜇0{P^{\iota}}_{\kappa\lambda\mu}=-\Pi^{\iota}_{\kappa\lambda,\mu}+\Pi^{\iota}_{\kappa\mu,\lambda}+\Pi^{\iota}_{\alpha\lambda}\Pi^{\alpha}_{\kappa\mu}-\Pi^{\iota}_{\alpha\lambda}\Pi^{\alpha}_{\kappa\mu}\equiv 0
(57)
(where comma-separated indices denote coordinate derivatives and the summation convention applies).
Einstein was hoping to exploit the additional degrees of freedom provided by the tetrad fields, and the new geometric interpretation of distant parallelism, for a unified description of the gravitational and electromagnetic fields.113 He published a number of further papers on the theory in the following two years, and in early 1929, the new approach also made headlines in the daily press, for reasons not altogether rational but indicative of Einstein’s celebrity fame in Weimar Germany. In 1930, Einstein spoke about the approach at the so-called Weltkraft-Konferenz, which took place in Berlin from 16 to 25 June 1930.114
It might have been the high visibility of Einstein’s new theory in the public, which prompted Grossmann to take an interest in it. In any case, he asked Einstein for offprints of the theory, which Einstein sent him with an accompanying letter on 14 August 1930 (AEA 11 507). After studying Einstein’s papers, Grossmann wrote back that the mathematical foundations on which Einstein intended to erect his “grandiose edifice” was in his opinion “an illusion.” He doubted the very existence of a “pseudo-Euclidean” manifold. Either the metric had constant coefficients, in which case the Riemann curvature would vanish and the manifold would be Euclidean, or the Riemann curvature was non-vanishing, in which case the manifold could not be flat (AEA 11 472).
Einstein responded promptly with a letter justifying his approach (AEA 11 509). He illustrated the concepts by considering a general curved two-dimensional surface embedded in three-dimensional space. He pointed out that the usual Christoffel symbols followed from the law of parallel transport, if the latter was a) metric preserving and if b) the connection was assumed to be symmetric. In his approach, however, the connection was not assumed to be symmetric, instead he demanded integrability. Grossmann was not convinced, and on 13 September 1930, Einstein sent him another letter, explaining the different concepts of “parallel” in his theory (AEA 11 476).
Again, Grossmann was not convinced. In a short letter of 23 November 1930, he argued that in Einstein’s case, the metric gμνsubscript𝑔𝜇𝜈g_{\mu\nu} would necessarily be asymmetric, violating a basic assumption of Riemannian geometry (AEA 11 475). In that letter, Grossmann also announced a publication of his own, and asked Einstein whether he preferred to publish it in the Proceedings of the Berlin Academy or whether he should publish it in Switzerland.
Grossmann’s last publication was dated 16 January 1931 and published in the quarterly journal of the Naturforschende Gesellschaft in Zurich. It was entitled “Distant parallelism? Correction of the chosen foundation for a unified field theory.” The paper begins like this:
My dear friend Albert Einstein, member of the Prussian Academy, has been striving for some time to lay the foundations for a unified field theory of gravitation and electromagnetism in the framework of the general theory of relativity. This aim is formidable and worthy to be pursued.
He agreed that such a foundation would give theoretical physics logical necessity, unity, and consistency, and he admired Einstein for his energy, fantasy, and persistence in pursuing this aim. But health impediments had kept him apart from scientific life, and only shortly ago had he heard about Einstein’s lecture at the Weltkraft-Konferenz and gotten hold of its printed version. Reading Einstein’s lecture he then observed:
At the end of these profound demonstrations, Einstein touched in passing on the notion of “distant parallelism” and this gave me immediate pause. A perusal of the main physical and mathematical works led me to a complete rejection of this and other concepts.
In the body of the paper, Grossmann argues against the logical soundness and consistency of Levi-Civita’s concept of “parallelismo assoluto” of 1917, of Cartan’s “parallélisme absolu” of 1922, and of the concepts of “Fernparallelismus” of 1928 and its later invariant-theoretic characterization. Grossmann emphasized that he was not arguing against relativity theory as such, nor against the program of finding a unified field theory but only against the geometric structure that was given to it. Grossmann’s main argument in his paper was based on taking Felix Klein’s (1849–1925) so-called “Erlangen Program” as a criterion for any acceptable geometry. Specifically, he argued that the Erlangen program demanded that group theoretic invariance of infinitesimal transformations of the manifold as a criterion for the characterization a given geometry would need to hold globally for the entire manifold. A detailed analysis of Grossmann’s critique would be beyond the scope of the present article, in the following I will only discuss this paper with a view toward the relationship between Grossmann and Einstein.
Grossmann began his critical comments of Einstein’s teleparallelism with a reference to their earlier correspondence:
This fall (1930), I had an opportunity to raise my doubts vis-a-vis Einstein. With his old friendship and
loyalty he took pains repeatedly to try to explain to me his point of view. But both of us dug in our heels—an oddity, considering that this concerns a purely mathematical matter of dispute, only to be explained by my physical problems to make myself clear.
Grossmann’s main point of contention was to insist on the theorem that a manifold is flat (“Euclidean”) if its curvature tensor vanishes, and the latter is the case, if the coefficients of the metric happen to be all constants. Grossmann did not accept the concept of a Ricci flat manifold that was called “non-Euclidean” because it carried non-vanishing torsion. His criticism and confusion may have had a point, perhaps, in that the distinction between two different connections on the same manifold, one torsion-free with non-vanishing Riemann curvature, the other Riemann flat with non-vanishing torsion may not yet have been entirely understood.
In any case, it appears that Grossmann kept thinking in terms of standard Riemannian geometry and conceived of Einstein’s so-called “pseudo-Euclidean” manifolds in analogy to flat two-dimensional surfaces, carrying extrinsic curvature embedded in three-dimensional space. He wrote:
Einstein rejoices over the simplicity of his “pseudo-Euclidean” geometry. But also this circumstance is inconclusive, since it only expresses the logical consistency of Euclidean geometry, which appears in an invariant-theoretically general way, i.e., it comprises all bendings of the Euclidean plane and therefore is not fully recognized.
We have seen Einstein before—it was in the year 1913—publish ‘field equations’ following this method, which had to be modified a few years later; at that time, I was also responsible.
Toward the end of his paper, Grossmann wrote:
As students, we, Albert Einstein and I, often analysed psychologically joint acquaintances as well as ourselves. During one of those conversations he once made the accurate observation: your main weakness is, you cannot say ‘no.’ Well, in the meantime, I learned to say ‘no’ and did so profoundly and frequently, not always to the joy and satisfaction of my fellow human beings. There exist in science, in the educational system, in politics, and in life generally phenomena about which you can only shake your head, even if you see their true causes. Also to the development of differential geometry and mathematical physics over the last years, I am saying here ‘no,’ because I am convinced that this is in the interest of science and utlimately also in the interest of my friend.
To end his paper on a positive note, Grossmann suggested a mathematical research that would reconsider the foundations of Riemannian geometric manifolds.
Grossmann’s final paper is an odd contribution that clearly reflects the pains of his illness. Despite its stylistic oddity and sweeping criticism of major advancements in differential geometry, it nevertheless might perhaps be seen to advance a valid point. Grossmann rightly points out that the geometric foundations of torsion geometry violate standard Riemannian geometry, and he calls for a systematic reflection. The undifferentiated co-existence of two concepts of connections in Einstein’s teleparallelism called for such clarification, even if Grossmann did not clearly see what went wrong. It should also be pointed out that Grossmann’s critical comments contain a rather basic blunder. He quoted from Einstein’s earlier correspondence and explicitly observed that Eq. (56) expressing the metric in terms of the tetrads would entail that the metric be asymmetric, thus undermining the very foundations of Riemannian geometry. As was pointed out to Grossmann by Einstein and others, that observation is, of course, simply wrong, and Grossmann later admitted his mistake (AEA 11 480).
When Grossmann sent an offprint of his published paper to Einstein in April 1931 (AEA 11 478), Einstein replied a few weeks later with a long and friendly letter, in which he refused to enter into a controversy in print (AEA 11 513). Instead, he took pains, again, to explain to Grossmann the rationale of his new approach and much more clearly distinguished between the Levi-Civita connection and the Weitzenböck connection. It is the last direct item of correspondence between the two friends extant in the Einstein Archives.
When word of Grossmann’s passing reached him a few years later in Princeton, Einstein sent a condolence letter to his widow (AEA 70 394, 115 177). In warm words, he expressed his appreciation and admiration for her loyalty to her husband and for her sacrifices in looking after him, and then he reminisced about Grossmann:
The joint years as students come back to mind—he a masterful student, I disorderly and dreamy. He connected with the professors and grasped everything easily, I was aloof and dissatisfied, not much liked. But we were good friends, and the conversations over iced coffee in the Metropol every few weeks are among my fondest memories. Then end of studies—I was alone of a sudden, facing life helplessly. But he stood by me and through him (and his father) I came to Haller at the patent office a few years later. It was a kind of livesaving, without which I might not have died but certainly would have withered intellectually. A decade later, joint, feverish scientific work on the formalism of the general theory of relativity. It was not completed, since I moved to Berlin, where I continued work on my own. Then soon came his illness, early signs showing already during the studies of my son Albert. Often and with pain I thought of him, but we saw each other only rarely when I was visiting him.
Einstein then added some comments on his own age and experience and then concluded his condolences by saying:
But one thing is beautiful. We were friends and remained friends throughout life.
Source: Arxiv.org
Powered by NewsAPI.org
My Black Leather Jacket Womens from Gleam Hide stands out for its quality and fit.
This is a great inspiring article. I am pretty much pleased with your good work. You put really very helpful information. My Chemical Romance The Black Parade Jacket