geometry of spacetimeand mass in general relativityhome.kias.re.kr/mkg/upload/the3rdqit/yau.pdf ·...

93
Shing-Tung Yau Harvard University Tsinghua University KIAS Colloquium, Seoul, South Korea May 2, 2018 Geometry of Spacetime and Mass in General Relativity

Upload: others

Post on 20-May-2020

2 views

Category:

Documents


0 download

TRANSCRIPT

Shing-TungYauHarvardUniversityTsinghuaUniversity

KIASColloquium,Seoul,SouthKoreaMay2,2018

GeometryofSpacetime andMassinGeneralRelativity

Einstein’s theory of generalrelativity is based on the desireto merge the newly developedtheory of special relativity andNewton’s theory of gravity. Heaccomplished this daunting taskin 1915. Most physicists considerthis to be the most creativework in science in the history ofmankind. Let me now explainsome part of this theory to you.

Einstein

2 / 93

A very important ingredient is the concept ofequivalence principle, the development of which hada long history:

3 / 93

Galileo used experiment toshow that the acceleration of atest mass due to gravitation isindependent of the amount ofmass being accelerated.

Galileo

4 / 93

Kepler once said “If two stoneswere placed in any part ofthe world near each other, andbeyond the sphere of a thirdcognate body, those stones, liketwo magnetic needles, wouldcome together in the intermediatepoint, each approaching the otherby a space proportional to thecomparative mass of the other”.

Kepler

5 / 93

Then in 1907, Einstein said:

“We assume the complete physical equivalent of agravitational field and a corresponding accelerationof the reference system. The gravitational motion ofa small test body depends only on its initial positionin spacetime and velocity, and not on itsconstitution. The outcome of any local experiment(gravitational or not) in a freely falling laboratory isindependent of the velocity of the laboratory and itslocation in spacetime”.

6 / 93

Hence Einstein realized that in the new theory ofgravity that he would like to develop, the laws ofgravity should be independent of the observers. Buthe needed a framework to build such a theory ofgravity that can connect philosophy withobservations.

7 / 93

Since gravity is equivalent to the acceleration of thereference system and acceleration of a particle canbe described by the curvature of its trajectory,Einstein speculated that the new theory of gravityshould have something to do with a new concept ofspace. He knew that the static space (with onefixed coordinate system) is not adequate.

8 / 93

Einstein’s great work benefited from the help ofmany geometers. He, together with Grossmann, wasstudent of the great geometer and physicistMinkowski. He also interacted with Levi-Civita, andeventually Hilbert and Noether.

Grossmann Hilbert

9 / 93

But most importantly, Einstein owed hisepoch-making contribution to the concept of spaceby the great 19th century mathematician Riemann.

Riemann

10 / 93

Before Riemann, there were only three types ofspace: the Euclidean space, the sphere space, andthe hyperbolic space which were all described by asingle coordinate system.

11 / 93

This was very similar to the timeof Newton where the universewas supposed to be static.Riemann, however, radicallychanged the notion of spacein his famous essay “On thehypotheses which lie at thefoundations of geometry” in1854.

12 / 93

His space was totally di↵erent from the three spacesabove, and it could exist without referring to a fixedcoordinate system. He also knew that when twopoints are very close, we do not feel muchacceleration and so to first order e↵ect, we do notfeel presence of curvature and thereforeinfinitesimally, the space should look like the flatEuclidean space. On the other hand, the secondorder e↵ect of gravity should come fromacceleration of the particles. Therefore our spaceshould show curvature if it is used to describedynamics of gravity.

13 / 93

We do not really know what the space should looklike globally. On the other hand, our space shouldbe general enough to allow many di↵erent observerswithout changing the essence of the physics ofgravity. Observers can propagate information fromone to another one.

14 / 93

Hence Riemann demanded that we can use a varietyof di↵erent coordinate systems to observe the basicproperties of the space. However, the onlymeaningful properties of space should beindependent of choice of the coordinate systems.This point of view of space is very importantbecause it is the crucial principle of equivalence ingeneral relativity.

15 / 93

Riemann defined the concept ofcurvature in his introduction ofabstract space. In fact, laterdevelopment of gravitationalfield in general relativity ismeasured by the curvature,while the material distributionis represented by a part of thecurvature. The distribution ofmatter changes over time and sodoes the curvature.

Riemann

16 / 93

The dynamics of curvature shows the e↵ect ofvibration of spacetime. And because of that,Einstein came to the conclusion that thegravitational wave, though small, should exist. InEinstein’s equation, the gravitational field and thegeometry of spacetime are inseparable, as a unifiedentity.

17 / 93

It is remarkable that already in 1854 in his speech,Riemann developed the new concept of spacebecause of the need to understand physicalphenomena. He even suggested that the smallestand greatest parts of space should be described indi↵erent ways. From a modern physical point ofview, Riemann is looking for the possible structureof quantum space! Riemann once considered usingdiscrete space to explain this problem.

18 / 93

Riemann started his scientific publication at the ageof 25 and died of lung disease at the age of 39.Three years before his death, he went to Italy everyyear to escape the cold, thus a↵ecting a number ofItalian and Swiss geometers, including Christo↵el,Ricci and Levi-Civita.

Christo↵el Ricci Levi-Civita

19 / 93

They generalized Riemann’s ideas, defined tensorsand connections rigorously, both of which wereindispensable for general relativity and gauge fieldtheory. Ricci introduced the Ricci curvature tensor,and proved that this tensor can produce a tensorthat satisfies the conservation law. All of theseworks, accomplished by geometers in themid-to-late 19th century, provided the most crucialtools for general relativity.

20 / 93

Einstein wrote a paper in 1934entitled “Notes on the origin ofthe general theory of relativity”(see Mein Weltbild, Amsterdam:Querido Verlag), in which hereviews the development ofgeneral relativity.

21 / 93

The first stage, of course, is the special theory ofrelativity. In addition to Einstein himself, the mainfounders of this theory include Lorentz and Poincare.

Lorentz Poincare

22 / 93

One of the most important resultsis that the distance is a↵ectedby time. But Einstein learnedthat the action at a distancebetween the special theory ofrelativity and Newton’s theory ofgravity is incompatible and mustbe rectified! Newton

23 / 93

At first, physicists did not realize that the conceptof space had undergone fundamental changes afterthe breakthrough of Riemann. They attempted tocorrect Newton’s gravitational theory in theframework of three-dimensional space in line withthe special relativity just discovered. This idea ledEinstein to go astray three years!

24 / 93

Einstein said in the essay “Notes of the origin of thegeneral theory of relativity” (pp. 286–287):

I was of course acquainted with Mach’s view,

according to which it appeared conceivable that

inertial resistance counteracts is not acceleration as

such but acceleration with respect to the masses of

the other bodies existing in the world. There was

something fascinating about this idea to me, but it

provided no workable basis for a new theory.

25 / 93

The simplest thing was, of course, to retain the

Laplacian scalar potential of gravity, and to

complete the equation of Poisson in an obvious way

by a term di↵erentiated with respect to time in such

a way that the special theory of relativity was

satisfied. The law of motion of the mass point in a

gravitational field had also to be adapted to the

special theory of relativity. The path was not so

unmistakably marked out here, since the inert mass

of a body might depend on the gravitational

potential. In fact, this was to be expected on

account of the principle of the inertia of energy.

26 / 93

These investigations, however, led to a result which

raised my strong suspicions.

The principle of equality of inertial and gravitational

mass could now be formulated quite clearly as

follows: In a homogeneous gravitational field all

motions take place in the same way as in the

absence of a gravitational field in relation to a

uniformly accelerated coordinate system.

27 / 93

If this principle held good for any events whatever

(The “principle of equivalence”), this was an

indication that the principle of relativity needed to

be extended to coordinate systems in non-uniform

motion with respect to each other, if we were to

reach a natural theory of the gravitational fields.

Such reflections kept me busy from 1908 to 1911. . .

28 / 93

When Einstein was a student in Zurich, hismathematical professor was Minkowski, who was agreat mathematician on a par with Hilbert andPoincare. Minkowski once said “There was a lazystudent in my class who had recently done animportant work which I had come up with ageometric interpretation”.

29 / 93

Minkowski learned physics fromHelmholtz, J.J. Thomson andHeinrich Hertz. He held thatbecause of a ”preestablishedharmony between mathematicsand nature”, geometry could beused a key to physical insight.He ascribes physical reality to thegeometry of spacetime.

Minkowski

30 / 93

This lecture entitled “Space and Time” wasdelivered by Minkowski in the eightieth meeting ofthe Assembly of Natural Scientists and Physicians inCologne in Sep. 21, 1908.

The ideas of space and time developed here wereapplied in a major work on the laws ofelectrodynamics by Minkowski “The fundamentalequations for electromagnetic phenomena in movingbodies” published in 1908. (Minkowski died in1909.)

31 / 93

This last paper gave the first relativistically correctpresentation of Maxwell equation in a ponderablemedium and its mathematical formalism in terms oftensor calculus. Einstein actually wrote severalpapers with Planck on this work of Minkowski.

Planck and Einstein

32 / 93

Minkowski wrote:

“The views of space and time which I wish to laybefore you have sprung from the soil ofexperimental physics, and therein lies their strength.They are radical. Henceforth space by itself, andtime by itself, are doomed to fade away into mereshadows, and only a kind of union of the two willpreserve an independent reality.”

33 / 93

It may be interested to note that Minkowskiacknowledged his concept of spacetime owes a greatdeal to Poincare’s work in 1906, where Poincarenoticed that by changing time to imaginary time,Lorentz transformations become rotations.

34 / 93

However, Poincare did not think thefour-dimensional representation has much physicalsignificance. Even at 1908, Poincare said that “Thelanguage of three dimensions seems the better fittedto our description of the world although thisdescription can be rigorously made in anotheridiom.”

35 / 93

This is very di↵erent from Minkowski’s point of viewwhere he said directly “The world in space and timein a certain sense is a four-dimensional,non-Euclidean manifold. In truth, we are dealingwith more than merely a new conception of spaceand time. The claim is that it is rather a quitespecific natural law, which, because of itsimportance – since it alone deals with the primitiveconcepts of all natural knowledge, namely space andtime – can claim to be called the first of all laws ofnature.”

36 / 93

In his essay of 1908, Minkowski constructed afour-dimensional space, introducing a metric tensor,following Riemann, to give geometric meaning ofspecial relativity. The Lorenzian group, thefundamental symmetric group of special relativity,became the group of isometries of this spacetime ofMinkowski.

37 / 93

For the first time in history, we learned fromMinkowski that we live in a four-dimensionalspacetime. Hence in 1908, Einstein got the mostimportant inspiration for general relativity fromMinkowski: that he has to construct his new theoryof gravity based of the fact that the space should befour-dimensional.

38 / 93

It is generally believed that the most importantthing Einstein did in the year is his thoughtexperiment. The thought experiment taughtEinstein the importance of equivalence principle andthe need of new geometry to exhibit gravity. Heknew that he need a new concept of space toachieve this. The static space of Newtonian gravityis not adequate any more.

39 / 93

Why is Minkowski’s article so important? Not onlythat there is a conceptual breakthrough fromthree-dimensional space to four-dimensional space,but also that only within a four-dimensionalspacetime, gravity can have enough room to showits dynamical nature! Newton’s theory of gravity isstatic, in that a function is su�cient to describe thephenomenon of gravity.

40 / 93

Minkowski spacetime gave the most importantconcept that we need a tensor to describe gravity.Tensor is a newly invented concept consisting ofmany functions which together can transformconsistently so that the principle of equivalence isobeyed. Minkowski’s tensor perfectly describes thespecial theory of relativity, but Einstein wanted tofurther combine Newtonian mechanics withMinkowski space, so his new theory of spacetimeshould be equal to Minkowski spacetimeinfinitesimally.

41 / 93

Hence when two points are very close to each other,up to first order, the gravity rule governing themshould be the one of Minkowski spacetime.However, this is no more true when we countsecond order e↵ect of gravity, curvature becomesimportant. At the time, physicists knew nothingabout the notion of tensors (in fact, only a fewgeometers knew about tensor analysis.)

42 / 93

Einstein knew from the principle of equivalence thatthe new potential of gravity should depend on apoint and the tangent vector of space at that point(velocity vector), but he has no idea what kind ofmathematical tool can be used. So he asked hisclassmate Marcell Grossmann for help and finallyfigured out that the gravitational field should bedescribed by a metric tensor. The tensor varies inspacetime, but at every point it can beapproximated by a first-order Minkowski metric.

43 / 93

Grossmann is a geometer, who helped Einstein todo homeworks in geometry in Zurich. He went tothe library and found the ideas of tensor. However,the idea of introducing metric tensor alone is notenough to describe the gravitational field. We needto know how to di↵erentiate tensor in a curvedspace. We would like the result of di↵erentiation isalso independent of choice of coordinate system(the requirement of equivalence principle). This isthe connection theory of Christo↵el and Levi-Civita.

44 / 93

Einstein said in his memoirs of general relativitymentioned above that this was his first question,and was found to have been solved by Levi-Civitaand Ricci. Einstein’s second question was how togeneralize Newton’s law of gravitation in this newframework. Newton’s equation is simple, that is, thesecond derivative of the gravitational potential isequal to matter density.

45 / 93

At that time, neither Einstein nor Grossmann knewhow to di↵erentiate metric tensors so that the resultis still a tensor which is independent of the choice ofcoordinate. Grossmann, at Einstein’s repeatedrequests, managed to find Ricci’s work in the library.

46 / 93

It turned out that Ricci had already contractedRiemann’s curvature tensor to a symmetricsecond-order tensor. It has the same degree offreedom as the metric tensor and can be regardedas the second derivative of metric tensor. Einsteinimmediately realized that it must be the left-handside of the field equation, while the right-hand sideis the tensor of the general matter distribution (inflat space, this tensor has been well studied.)Einstein and Grossmann proposed this equation intwo articles published in 1912 and 1913.

47 / 93

However when Einstein tried to solve this equationby an asymptotic approach, he did not recover theastronomical phenomena (e.g., light deflection,Mercury’s anomalous perihelion shift) that he wastrying to explain. This made him very frustrated.

Perihelion of mercury

48 / 93

In the following years, in order to explainastronomical phenomena, he tried to choose specialcoordinates, essentially giving up the preciouslysimple principle of equivalence. The manycommunications between him and Levi-Civita couldnot help either.

49 / 93

I would like to support what I said in the above bythe essay of Einstein’s own word in: Notes of theorigin of the general theory of relativity (1934, pp.288–289).

I soon saw that the inclusion of non-linear

transformations, as the principle of equivalence

demanded, was inevitably fatal to the simple

physical interpretation of the coordinates - i.e. that

it could no longer be required that coordinate

di↵erences should signify direct results of

measurement with ideal scales or clocks.

50 / 93

I was much bothered by this piece of knowledge, for

it took me a long time to see what coordinates at

all meant in physics. I did not find the way out of

this dilemma until 1912, and then it came to me as

a result of the following consideration:

51 / 93

A new formulation of the law of inertia had to be

found which in case of the absence of a “real

gravitational field” passed over into Galileo’s

formulation for the principle of inertia if an inertial

system was used as coordinate system. Galileo’s

formulation amounts to this: A material point,

which is acted on by no force, will be represented in

four-dimensional space by a straight line, that is to

say, by a shortest line, or more correctly, an

extremal line.

52 / 93

This concept presupposes that of the length of a

line element, that is to say, a metric. In the special

theory of relativity, as Minkowski had shown, this

metric was a quasi-Euclidean one, i.e., the square of

the “length” ds of a line element was a certain

quadratic function of the di↵erentials of the

coordinates.

53 / 93

If other coordinates are introduced by means of a

non-linear transformation, ds2

remains a

homogeneous function of the di↵erentials of the

coordinates, but the coe�cients of this function

(gµn) cease to be constant and become certain

functions of the coordinates. In mathematical terms

this means that physical (four-dimensional) space

has a Riemannian metric.

54 / 93

The timelike extremal lines of this metric furnish

that law of motion of a material point which is acted

on by no force apart from the forces of gravity. The

coe�cients (gµn) of this metric at the same time

describe the gravitational field with reference to the

coordinate system selected. A natural formulation

of the principle of equivalence had thus been found,

the extension of which to any gravitational field

whatever formed a perfectly natural hypothesis.

55 / 93

The solution of the above-mentioned dilemma was

therefore as follows: A physical significance attaches

not to the di↵erentials of the coordinates but only

to the Riemannian metric corresponding to them. A

workable basis had now been found for the general

theory of relativity. Two further problems remained

to be solved, however.

56 / 93

1. If a field-law is expressed in terms of the special

theory of relativity, how can it be transferred to the

case of a Riemannian metric?

2. What are the di↵erential laws which determine

the Riemannian metric (i.e., gµn) itself?

57 / 93

As for problem 2, its solution obviously required the

construction (from the gµn) of the di↵erential

invariants of the second order. We soon saw that

these had already been established by Riemann (the

tensor of curvature). We had already considered the

right field-equation for gravitation two years before

the publication of the general theory of relativity,

but we were unable to see how they could be used

in physics.

58 / 93

Einstein struggled from 1913to 1915. It is amusing thatthe equation that Einstein andGrossmann wrote down wasactually correct if there is nomatter. Indeed, Schwarzschildwas able to solve Einsteinequation for a spherical star in1916, right after Einstein andHilbert wrote down the right fieldequation.

Schwarzschild

59 / 93

Schwarzschild solution assumed that there is nomatter. And it was enough to calculate lightbending due to the gravity of the sun. ThereforeEinstein and Grossmann could have made theobservation in 1913, if they found the exactspherical symmetric solution. Apparently Einsteingot discouraged when his approximate solution didnot give him the right answer compatible with thephysical observation. He was very depressed andwas attempting to use special coordinate and hencegave up the principle of equivalence. The followingwriting of him shows his frustration:

60 / 93

On the contrary, I felt sure that they could not do

justice to experience. Moreover I believed that I

could show on general considerations that a law of

gravitation invariant with respect to arbitrary

transformations of coordinates was inconsistent with

the principle of causality. These were errors of

thought which cost me two years of excessively hard

work, until I finally recognized them as such at the

end of 1915, and after having ruefully returned to

the Riemannian curvature, succeeded in linking the

theory with the facts of astronomical experience.

61 / 93

In the light of knowledge attained, the happy

achievement seems almost a matter of course, and

any intelligent student can grasp it without too

much trouble. But the years of anxious searching in

the dark, with their intense longing, their

alternations of confidence and exhaustion and the

final emergence into light - only those who have

experienced it can understand that.

62 / 93

Let us now go back to what happened in the finalstage of Einstein’s work on general relativity. In thespring of 1915, he visited the great mathematicianDavid Hilbert in Gottingen. Hilbert certainly knowsgeometry well, but above all, he is the founder ofmodern geometric invariant theory. He alsogathered a large group of outstandingmathematicians in Gottingen. Some of them can bedescribed in the following:

63 / 93

Felix Klein was a pioneer in classifying geometriesby using symmetry groups, Hilbert’s studentHerman Weyl was the founder of gauge field theory,along with Emmy Noether, the greatest femalemathematician in history.

Klein Weyl Noether

64 / 93

During the period of 1915 to 1918, Noether wasdeveloping her theory of current where one can usegroup of continuous symmetries to deduceequations of motions. (In general relativity, thecontinuous group of symmetry is the group ofcoordinate transformations.)

65 / 93

Einstein’s visit was just at the right time! Hilbertdiscovered the Hilbert action in November of thesame year, and deriving the correct gravitationalequation quickly from this action. Upon hearing thenews and receiving Hilbert’s postcard on theequation, Einstein quickly got his equation, andbased on this equation, deduced astronomicalphenomena he had been trying to solve.

66 / 93

In the beginning, Einstein was unhappy withHilbert’s priority. But Hilbert quickly declared thatthe work should belong entirely to Einstein, andthat turned Einstein happy. This is anepoch-making work. Later generations of physicistsand mathematicians should all pay their highesttribute to Einstein. But I shall hope history willremember the group of Geometers who helpedEinstein achieved his great theory of gravity. Muchof what I discussed here is written by Einsteinhimself. It is unfortunate that in that article, he didnot mention the contribution of Hilbert.

67 / 93

Looking backward, the correct equation of motionderived by Hilbert and Einstein could have beenfound by Grossmann and Einstein in 1913. Theleft-hand side of the equation in 1913 consists ofRicci tensor while the right-hand side is the mattertensor. The right-hand side is familiar and itsatisfies conservation law. But the left-hand side ofthe 1913 equation is only the Ricci tensor whichdoes not satisfy the conservation law. Hence theycannot be equal.

68 / 93

The left-hand side should therefore be replaced bysome form of curvature tensor that satisfiesconservation law. This was actually found by Ricciusing Bianchi identity. One simply subtracts theRicci tensor by some multiple of the metric tensorby the trace of the Ricci tensor. If Einstein andGrossmann trust the beauty of geometry and triedto complete the equations based on its internalconsistency, Einstein would not have to wait until1915 to write down the right equations.

69 / 93

After completing the general theory of relativity,Einstein believed that the most basic part of physicsshould be guided by thought experiment and theelegance of mathematics. At the end of the article,he said that after finding the equation of generalrelativity, everything came so natural and so simplethat it was a breeze for a capable scholar. However,before finding the truth, he tried his best, afteryears of hard work, su↵ered pains day and night,which was hard to tell. Einstein’s work can be saidto be the greatest scientific work ever undertaken bymankind.

70 / 93

The success of general relativity left us anotherdaunting task to explain natural phenomena ofgravity. The task is di�cult because the system ofequation is truly nonlinear and the backgroundspacetime is changing dynamically. Physics ofgravity does not give a precise description of theinitial data or the boundary conditions of thecomplicated nonlinear system.

71 / 93

There is no global symmetry of the dynamicalchanging spacetime. Nonexistence of global time, ornonexistence of timelike translation symmetry, gavegreat di�culty to define many important physicalquantities that we learned in Newtonian mechanics.Noether’s theory of current allows us to define massand linear momentum four-vector if we havetimelike translation that preserves the system. Butfor a generic system in general relativity, continuousgroup of symmetry does not exist!

72 / 93

Nonexistence of continuous symmetries causeddi�culties to define classical concepts such as mass,linear momentum and angular momentum that arefundamental in understanding physics of gravity.When we watch two neutron stars interacting witheach other, we need to know the mass of each starand the binding energy of the whole systemcounting contributions from matter and gravitytogether. This problem arises in general relativitybecause the concept of energy density is notpossible in this theory of gravity.

73 / 93

The reason is that if the density exists, it willdepend only on the first order information of thepotential of the gravity which is the metric tensor.Yet we can always find a coordinate system so thatthe first order di↵erentiation of the metric tensor iszero at one point. This will mean that the energydensity is zero.

74 / 93

Einstein already realized such questions one hundredyears ago. He proposed a definition of energy basedon a concept of pseudo-tensor drawing analog withthe definition of Newtonian mechanics. Thisdefinition was clarified more precisely by the work ofArnowitt, Deser, and Misner in 1962. Nowadays it iscalled ADM mass.

75 / 93

This definition works well for isolated physicalsystem of gravity where the total mass of the wholesystem is defined. From the point of view ofNoether, this is natural because for an isolatedphysical system, we expect existence of asymptoticsymmetry at infinity and the time translation atinfinity captures the total energy of the system.This is a good definition of total energy. However, itcaptures the total energy only and there are detailedinformation of partial energy we need to explore.

76 / 93

The very important question went back to Einsteinagain. He proposed the concept of gravitationradiation: the vibration of spacetime will radiatewave which gives energy. The energy comes fromthe binding energy of the gravity of the system.This concept was clarified by Bondi-van derBurg-Metzner and Trautman where they defined amass along some null hypersurface. Such a mass iscalled Bondi mass and it has a pleasant propertythat it decreases when the null hypersurface movesto the future.

77 / 93

The decreases of the Bondi mass is interpreted asthe energy carried away by the gravitationalradiation. The definition of Bondi mass is importantas it describes the dynamics of spacetime. However,the definition presumes some structure of spacetimethat depends on the dynamics of the Einsteinequation.

78 / 93

Both ADM and Bondi mass are total mass innature. It cannot capture mass of bodies that areinteracting with some other bodies. An importantcase is how to define binding energy of two neutronstars interacting with each other. Hence we need aconcept of quasilocal mass: Given a closedtwo-dimensional (spacelike) surface S in spacetime,what is the total energy it encloses?

79 / 93

If S is the boundary of a three-dimensional spacelikethree-manifold M in spacetime, we like to measurethe total mass enclosed by S within M . Since welike to make sure the energy to be conserved, thequantity that we want should depend only on theinformation of S in spacetime and independent ofthe choice of M . This is the conservation law forquasilocal mass.

80 / 93

The existence of such quantity has been a seriousproblem for a long time. The very first thing thatEinstein and later workers in general relativity wasinterested in whether the total ADM mass for anisolated physical system is positive?

81 / 93

In fact, in 1957, Bondi and other well knownphysicists had a meeting and discussed thepossibility of negative mass in general relativity.Einstein’s theory could not tell whether this ispossible or not. But if the total mass is negative,the system may collapse and it will mean Einstein’stheory of gravity may create a rather undesirablee↵ect of unstable system.

82 / 93

The positivity of ADM mass was proved by Schoenand myself in 1979, the full proof published in 1981.Our proof is more geometric in nature.

With Schoen

83 / 93

Subsequently, Witten gavea proof depending on Diracoperator which is moretransparent to physicists. Shortlyafterwards, Bondi mass was alsoproved to be positive and thestate of a↵air for total mass ofan isolated physical system ingravity is pretty satisfactory. Witten

84 / 93

Schoen and I also used our method to prove in ane↵ective way that when matter density is largeenough, black hole will form. It is probably the firstrigorous statement that black hole forms whenmatter density is large.

85 / 93

The demonstration of existence of a good definitionof quasilocal mass took a long time, after works ofmany people including Penrose, Hawking,Brown-York, Geroch, Bartnik, Horowitz andShi-Tam.

Penrose Hawking

86 / 93

Since it is supposed to be trivial for any closedsurface in the flat Minkowski spacetime and yetnonnegative for general spacetime, it is a miraclethat such a definition can exist which is compatiblewith the previous works of ADM and Bondi. Twoimportant definitions were proposed: one is due toRobert Bartnik and the other due to Mu-Tao Wangand myself.

87 / 93

The quasilocal mass allows us to define bindingenergy related to binary black holes and is related tothe energy of the gravitational radiation. Theapproach of Wang-Yau allows them to definequasilocal angular momentum with Po-Ning Chen.It helps to clarify the former definitions of totalangular momentum.

88 / 93

By the works of Richard Schoen and his coauthors,we know the Bartnik mass is di↵erent fromWang-Yau mass. It would be interesting to knowwhich one is more useful to describe physicaldynamics of gravity.

89 / 93

Many other important classical concepts in gravityhas their counterparts in general relativity. But thenonlinear nature of general relativity makes itdi�cult to define. But I think the recent progressmade by many geometric analysts has been veryimportant.

90 / 93

The concept of quasilocal mass and angularmomentum has opened a window on studying thephysics and geometry of spacetime. A great dealmore e↵orts need to be spent in their study.

The definitions are most successful for objectswithin an isolated physical system. It would still beuseful to understand a more general situationincluding higher dimensional analogue. Ratherintricate geometry are involved in the study of suchconcepts.

91 / 93

Einstein’stheoryofgravitationhasinitiatedadeepunderstandingofgeometrythroughphysicalinsightandviceversa,inthelastcentury.

Weexpectthistocontinueinthiscentury.

Einstein’stheoryofgravitationhasinitiatedadeepunderstandingofgeometrythroughphysicalinsightandviceversa,inthelastcentury.

Weexpectthistocontinueinthiscentury.

Thankyou!