categories - Category Theory list
 help / color / mirror / Atom feed
From: "Robert J. MacG. Dawson" <rdawson@cs.stmarys.ca>
To: categories@mta.ca
Subject: Re: cracks and pots
Date: Thu, 16 Mar 2006 14:41:35 -0400	[thread overview]
Message-ID: <E1FK2vX-0000Eg-JI@mailserv.mta.ca> (raw)

Eduardo Dubuc wrote:
> Well Robert,
>
> 1)
>
>
>>Well, Einstein was not "trying to"; he was using it, and presented this
>>use as an accomplished fact.

...

> General relativity was born with differential geometry; it has no meaning
> without differential geometry. String theory was already there when a
> category theory approach began.

	Sorry, Eduardo! That's a little oversimplified.   See, for instance,
section 17.7 of Misner, Thorne, and Wheeler's "Gravitation", among other
references.

	 General relativity (though of course not in its modern form) goes back
to Einstein's formulation of the equivalence principle in 1907 (only two
years after special relativity), and the prediction of the gravitational
red shift. In 1911 Einstein also predicted the bending of light by
massive bodies; this too is intrinsically part of GR.

	But it was only in 1912 that he realized that Euclidean geometry awas
not compatible with this, and (encouraged by Grossmann and Levi-Civita)
started looking at differential geometry as a way to handle
non-Euclidean spacetime.  Einstein and Grossmann's 1913 attempt at a
general relativity theory was wrong; it did not transform correctly.
Some time after this,  Planck specifically warned him that the
differential geometry approach would not work and would not be believed
if it did.

	In  November 1915 Einstein submitted two papers.  The first of these
explained some observations such as the precession of the perihelion of
Mercury, but in other ways made wildly nonphysical predictions
(essentially ignoring many of the effects of mass -though  this
"linearized theory" does have some uses as an approximation) He
corrected this soon with a second paper in which he finally got it
right. Sort of.

	In 1917 Einstein introduced a cosmological constant into his field
equations to account for the "fact" that the universe wasn't expanding.
In the 1920's he took it out again when it turned out that the universe
*was* expanding.  Now astronomers think there ought to be one, but with
a value very different from what Einstein originally put forward.

	So GR got by without differential geometry for five years; and it was
another decade or so before it was a mature theory with enough of  the
bugs out to do what was expected of it.  And, as you know, there are
still scales, almost a century later,  on which its predictions are
unsatisfactory.

	-Robert







             reply	other threads:[~2006-03-16 18:41 UTC|newest]

Thread overview: 43+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-03-16 18:41 Robert J. MacG. Dawson [this message]
  -- strict thread matches above, loose matches on Subject: below --
2006-03-29 19:23 dusko
2006-03-29 14:02 David Yetter
2006-03-28  8:01 dusko
2006-03-29 12:57 ` Alex Simpson
2006-03-26 13:37 V. Schmitt
2006-03-25  3:22 David Yetter
2006-03-24 16:24 Marta Bunge
2006-03-23 19:45 Peter Arndt
2006-03-23 16:50 Eduardo Dubuc
2006-03-26 13:25 ` Urs Schreiber
2006-03-19 18:25 Steve Vickers
2006-03-18 15:19 James Stasheff
2006-03-17 18:29 Robert J. MacG. Dawson
2006-03-17 17:26 Eduardo Dubuc
2006-03-17 16:24 Krzysztof Worytkiewicz
2006-03-17 14:25 jim stasheff
2006-03-17  9:36 George Janelidze
2006-03-17  8:49 Marta Bunge
2006-03-17  8:06 Marta Bunge
2006-03-17  1:52 Vaughan Pratt
2006-03-18 15:21 ` James Stasheff
2006-03-18 20:22 ` Mamuka Jibladze
2006-03-16 20:47 John Baez
2006-03-16 17:29 Eduardo Dubuc
2006-03-16 14:54 Robert J. MacG. Dawson
2006-03-16 12:05 dusko
2006-03-16  9:51 V. Schmitt
2006-03-15 21:00 Eduardo Dubuc
2006-03-15 13:35 RFC Walters
2006-03-14 19:56 John Baez
2006-03-15 12:23 ` Marta Bunge
2006-03-15 17:26 ` Krzysztof Worytkiewicz
     [not found] <BAY114-F26C035E683A780D5555217DFE10@phx.gbl>
2006-03-14 17:08 ` Robert J. MacG. Dawson
2006-03-14 17:48   ` Marta Bunge
2006-03-27 14:28     ` Peter Selinger
2006-03-12 22:29 Marta Bunge
2006-03-14  6:08 ` David Yetter
2006-03-14 23:18   ` Robert Seely
2006-03-14 14:55 ` Eduardo Dubuc
2006-03-14 16:05 ` Robert J. MacG. Dawson
2006-03-14 16:30   ` Marta Bunge
2006-03-14 23:26     ` Dominic Hughes

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1FK2vX-0000Eg-JI@mailserv.mta.ca \
    --to=rdawson@cs.stmarys.ca \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).