Hoop conjecture

Last updated

The hoop conjecture, proposed by Kip Thorne in 1972, states that an imploding object forms a black hole when, and only when, a circular hoop with a specific critical circumference could be placed around the object and rotated about its diameter. In simpler terms, the entirety of the object's mass must be compressed to the point that it resides in a perfect sphere whose radius is equal to that object's Schwarzschild radius, if this requirement is not met, then a black hole will not be formed. The critical circumference required for the imaginary hoop is given by the following equation listed below.

where

is the critical circumference;
is the object's Schwarzschild radius;

Thorne calculated the effects of gravitation on objects of different shapes (spheres, and cylinders that are infinite in one direction), and concluded that the object needed to be compressed in all three directions before gravity led to the formation of a black hole. With cylinders, the event horizon was formed when the object could fit inside the hoop described above. The mathematics to prove the same for objects of all shapes was too difficult for him at that time, but he formulated his hypothesis as the hoop conjecture.

By Penrose singularity theorem of 1964 it is known that if there is trapped null surface (and some other conditions) then a singularity must form, in 1983 Schoen and Yau proved how much matter must be crammed into a given volume to create a closed trapped surface, [1] sometimes referred as the Schoen-Yau black hole existence theorem [2] and more recently in 2023 using Gromov's "cube inequality" [3] [2] some tori inequalities used in the results of 1983 have been generalized to cube ones which are more akin to Thorn's circular hoops. [4] [2]

See also

Related Research Articles

<span class="mw-page-title-main">Black hole</span> Object that has a no-return boundary

A black hole is a region of spacetime where gravity is so strong that nothing, including light and other electromagnetic waves, has enough energy to escape it. Einstein's theory of general relativity predicts that a sufficiently compact mass can deform spacetime to form a black hole. The boundary of no escape is called the event horizon. A black hole has a great effect on the fate and circumstances of an object crossing it, but it has no locally detectable features according to general relativity. In many ways, a black hole acts like an ideal black body, as it reflects no light. Moreover, quantum field theory in curved spacetime predicts that event horizons emit Hawking radiation, with the same spectrum as a black body of a temperature inversely proportional to its mass. This temperature is of the order of billionths of a kelvin for stellar black holes, making it essentially impossible to observe directly.

The Schwarzschild radius or the gravitational radius is a physical parameter in the Schwarzschild solution to Einstein's field equations that corresponds to the radius defining the event horizon of a Schwarzschild black hole. It is a characteristic radius associated with any quantity of mass. The Schwarzschild radius was named after the German astronomer Karl Schwarzschild, who calculated this exact solution for the theory of general relativity in 1916.

In Einstein's theory of general relativity, the Schwarzschild metric is an exact solution to the Einstein field equations that describes the gravitational field outside a spherical mass, on the assumption that the electric charge of the mass, angular momentum of the mass, and universal cosmological constant are all zero. The solution is a useful approximation for describing slowly rotating astronomical objects such as many stars and planets, including Earth and the Sun. It was found by Karl Schwarzschild in 1916.

In the mathematical field of Riemannian geometry, the scalar curvature is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry of the metric near that point. It is defined by a complicated explicit formula in terms of partial derivatives of the metric components, although it is also characterized by the volume of infinitesimally small geodesic balls. In the context of the differential geometry of surfaces, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In higher dimensions, however, the scalar curvature only represents one particular part of the Riemann curvature tensor.

<span class="mw-page-title-main">Ricci flow</span> Partial differential equation

In the mathematical fields of differential geometry and geometric analysis, the Ricci flow, sometimes also referred to as Hamilton's Ricci flow, is a certain partial differential equation for a Riemannian metric. It is often said to be analogous to the diffusion of heat and the heat equation, due to formal similarities in the mathematical structure of the equation. However, it is nonlinear and exhibits many phenomena not present in the study of the heat equation.

<span class="mw-page-title-main">Shing-Tung Yau</span> Chinese mathematician

Shing-Tung Yau is a Chinese-American mathematician. He is the director of the Yau Mathematical Sciences Center at Tsinghua University and Professor Emeritus at Harvard University. Until 2022 he was the William Caspar Graustein Professor of Mathematics at Harvard, at which point he moved to Tsinghua.

In the mathematical field of differential geometry, Ricci-flatness is a condition on the curvature of a (pseudo-)Riemannian manifold. Ricci-flat manifolds are a special kind of Einstein manifold. In theoretical physics, Ricci-flat Lorentzian manifolds are of fundamental interest, as they are the solutions of Einstein's field equations in vacuum with vanishing cosmological constant.

<span class="mw-page-title-main">Richard S. Hamilton</span> American mathematician (born 1943)

Richard Streit Hamilton is an American mathematician who serves as the Davies Professor of Mathematics at Columbia University. He is known for contributions to geometric analysis and partial differential equations. Hamilton is best known for foundational contributions to the theory of the Ricci flow and the development of a corresponding program of techniques and ideas for resolving the Poincaré conjecture and geometrization conjecture in the field of geometric topology. Grigori Perelman built upon Hamilton's results to prove the conjectures, and was awarded a Millennium Prize for his work. However, Perelman declined the award, regarding Hamilton's contribution as being equal to his own.

<span class="mw-page-title-main">Mikhael Gromov (mathematician)</span> Russian-French mathematician

Mikhael Leonidovich Gromov is a Russian-French mathematician known for his work in geometry, analysis and group theory. He is a permanent member of Institut des Hautes Études Scientifiques in France and a professor of mathematics at New York University.

<span class="mw-page-title-main">Kruskal–Szekeres coordinates</span> Coordinate system for the Schwarzschild geometry

In general relativity, Kruskal–Szekeres coordinates, named after Martin Kruskal and George Szekeres, are a coordinate system for the Schwarzschild geometry for a black hole. These coordinates have the advantage that they cover the entire spacetime manifold of the maximally extended Schwarzschild solution and are well-behaved everywhere outside the physical singularity. There is no misleading coordinate singularity at the horizon.

<span class="mw-page-title-main">Richard Schoen</span> American mathematician

Richard Melvin Schoen is an American mathematician known for his work in differential geometry and geometric analysis. He is best known for the resolution of the Yamabe problem in 1984.

<span class="mw-page-title-main">Systolic geometry</span> Form of differential geometry

In mathematics, systolic geometry is the study of systolic invariants of manifolds and polyhedra, as initially conceived by Charles Loewner and developed by Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, Larry Guth, and others, in its arithmetical, ergodic, and topological manifestations. See also a slower-paced Introduction to systolic geometry.

The positive energy theorem refers to a collection of foundational results in general relativity and differential geometry. Its standard form, broadly speaking, asserts that the gravitational energy of an isolated system is nonnegative, and can only be zero when the system has no gravitating objects. Although these statements are often thought of as being primarily physical in nature, they can be formalized as mathematical theorems which can be proven using techniques of differential geometry, partial differential equations, and geometric measure theory.

In mathematics, the Schoen–Yau conjecture is a disproved conjecture in hyperbolic geometry, named after the mathematicians Richard Schoen and Shing-Tung Yau.

In mathematical general relativity, the Penrose inequality, first conjectured by Sir Roger Penrose, estimates the mass of a spacetime in terms of the total area of its black holes and is a generalization of the positive mass theorem. The Riemannian Penrose inequality is an important special case. Specifically, if (Mg) is an asymptotically flat Riemannian 3-manifold with nonnegative scalar curvature and ADM mass m, and A is the area of the outermost minimal surface (possibly with multiple connected components), then the Riemannian Penrose inequality asserts

<span class="mw-page-title-main">Introduction to systolic geometry</span> Non-technical introduction to systolic geometry

Systolic geometry is a branch of differential geometry, a field within mathematics, studying problems such as the relationship between the area inside a closed curve C, and the length or perimeter of C. Since the area A may be small while the length l is large, when C looks elongated, the relationship can only take the form of an inequality. What is more, such an inequality would be an upper bound for A: there is no interesting lower bound just in terms of the length.

In mathematics, the Almgren–Pitts min-max theory is an analogue of Morse theory for hypersurfaces.

The innermost stable circular orbit is the smallest marginally stable circular orbit in which a test particle can stably orbit a massive object in general relativity. The location of the ISCO, the ISCO-radius, depends on the mass and angular momentum (spin) of the central object. The ISCO plays an important role in black hole accretion disks since it marks the inner edge of the disk.

<span class="mw-page-title-main">Buchdahl's theorem</span> Theorem in general relativity

In general relativity, Buchdahl's theorem, named after Hans Adolf Buchdahl, makes more precise the notion that there is a maximal sustainable density for ordinary gravitating matter. It gives an inequality between the mass and radius that must be satisfied for static, spherically symmetric matter configurations under certain conditions. In particular, for areal radius , the mass must satisfy

References

  1. Schoen, Richard; Yau, S. -T. (December 1983). "The existence of a black hole due to condensation of matter". Communications in Mathematical Physics. 90 (4): 575–579. Bibcode:1983CMaPh..90..575S. doi:10.1007/BF01216187. ISSN   0010-3616. S2CID   122331620.
  2. 1 2 3 Nadis, Steve (16 August 2023). "Math Proof Draws New Boundaries Around Black Hole Formation". Quanta Magazine .
  3. Gromov, Misha (2019). "Four Lectures on Scalar Curvature". arXiv: 1908.10612 [math.DG].
  4. Hirsch, Sven; Kazaras, Demetre; Khuri, Marcus; Zhang, Yiyue (2023). "Spectral Torical Band Inequalities and Generalizations of the Schoen-Yau Black Hole Existence Theorem". arXiv: 2301.08270 [math.DG].