John Carlos Baez on Nostr: The headline screams "𝗦𝗶𝗻𝗴𝘂𝗹𝗮𝗿𝗶𝘁𝗶𝗲𝘀 ...
The headline screams
"𝗦𝗶𝗻𝗴𝘂𝗹𝗮𝗿𝗶𝘁𝗶𝗲𝘀 𝗱𝗼𝗻’𝘁 𝗲𝘅𝗶𝘀𝘁,” 𝗰𝗹𝗮𝗶𝗺𝘀 𝗯𝗹𝗮𝗰𝗸 𝗵𝗼𝗹𝗲 𝗽𝗶𝗼𝗻𝗲𝗲𝗿 𝗥𝗼𝘆 𝗞𝗲𝗿𝗿
What's up with that?
As usual, it's less of a big deal than it looks. But Kerr is smart: he's the guy who first found solutions that describe rotating black holes. And the article is nice and clear. So it's more interesting than the usual nothingburger we've come to expect from screaming headlines about fundamental physics.
Kerr is talking about Penrose's famous singularity theorem, the one Penrose won the Nobel prize for. This says roughly that if space is infinite in extent, and light becomes trapped inside some bounded region, and no exotic matter is present to save the day, general relativity predicts that either a singularity or something even more bizarre must occur.
Of course I'm not stating the theorem precisely here. Each of the vague terms I just used must be made precise. But what's Kerr claiming?
Kerr isn't claiming Penrose's result is false. Instead, he's doing two things.
First, he's pointing out that the definition of "singularity" used in the theorem is not the only definition possible. A "curvature singularity" is - very roughly - a place where the curvature of spacetime approaches infinity. But that's not the kind of singularity that Penrose was talking about! Instead, he was talking about a place where the path of a particle can suddenly end. This may or may not be a curvature singularity.
This is not news.
Second, Kerr is arguing that rotating black holes have some singularities in Penrose's sense that aren't curvature singularities. Unfortunately this argument seems to be wrong.
(1/3)
https://bigthink.com/starts-with-a-bang/singularities-dont-exist-roy-kerr/Published at
2023-12-08 10:23:13 UTCEvent JSON
{
"id": "b838daadd679bf61ed72d096212a068660fefe015e12f066dfac5ca6d5fb8b3c",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1702030993,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/111544303174153715",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/111544303174153715",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/111544303174153715",
"pink.momostr"
],
[
"-"
]
],
"content": "The headline screams\n\n\"𝗦𝗶𝗻𝗴𝘂𝗹𝗮𝗿𝗶𝘁𝗶𝗲𝘀 𝗱𝗼𝗻’𝘁 𝗲𝘅𝗶𝘀𝘁,” 𝗰𝗹𝗮𝗶𝗺𝘀 𝗯𝗹𝗮𝗰𝗸 𝗵𝗼𝗹𝗲 𝗽𝗶𝗼𝗻𝗲𝗲𝗿 𝗥𝗼𝘆 𝗞𝗲𝗿𝗿\n\nWhat's up with that? \n\nAs usual, it's less of a big deal than it looks. But Kerr is smart: he's the guy who first found solutions that describe rotating black holes. And the article is nice and clear. So it's more interesting than the usual nothingburger we've come to expect from screaming headlines about fundamental physics.\n\nKerr is talking about Penrose's famous singularity theorem, the one Penrose won the Nobel prize for. This says roughly that if space is infinite in extent, and light becomes trapped inside some bounded region, and no exotic matter is present to save the day, general relativity predicts that either a singularity or something even more bizarre must occur. \n\nOf course I'm not stating the theorem precisely here. Each of the vague terms I just used must be made precise. But what's Kerr claiming?\n\nKerr isn't claiming Penrose's result is false. Instead, he's doing two things. \n\nFirst, he's pointing out that the definition of \"singularity\" used in the theorem is not the only definition possible. A \"curvature singularity\" is - very roughly - a place where the curvature of spacetime approaches infinity. But that's not the kind of singularity that Penrose was talking about! Instead, he was talking about a place where the path of a particle can suddenly end. This may or may not be a curvature singularity. \n\nThis is not news.\n\nSecond, Kerr is arguing that rotating black holes have some singularities in Penrose's sense that aren't curvature singularities. Unfortunately this argument seems to be wrong.\n\n(1/3)\n\nhttps://bigthink.com/starts-with-a-bang/singularities-dont-exist-roy-kerr/",
"sig": "e7e75bd641cbe14924b7ae895b8eae72a6f8e3b7d228a4347b7e2f254efd8f89584c06b5d8eea3e9e53d8279de15cd644d4954effa8de20d93703491c76ea565"
}