# Category: Theorems in differential geometry

Hsiang–Lawson's conjecture
In mathematics, Lawson's conjecture states that the Clifford torus is the only minimally embedded torus in the 3-sphere S3. The conjecture was featured by the Australian Mathematical Society Gazette a
Sard's theorem
In mathematics, Sard's theorem, also known as Sard's lemma or the Morse–Sard theorem, is a result in mathematical analysis that asserts that the set of critical values (that is, the image of the set o
Slice theorem (differential geometry)
In differential geometry, the slice theorem states: given a manifold M on which a Lie group G acts as diffeomorphisms, for any x in M, the map extends to an invariant neighborhood of (viewed as a zero
Uniformization theorem
In mathematics, the uniformization theorem says that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: the open unit disk, the complex plane, or the Ri
Delzant's theorem
In mathematics, a Delzant polytope is a convex polytope in such for each vertex , exactly edges meet at , and these edges form a collection of vectors that form a -basis of . Delzant's theorem, introd
Lie–Palais theorem
In differential geometry, the Lie–Palais theorem states that an action of a finite-dimensional Lie algebra on a smooth compact manifold can be lifted to an action of a finite-dimensional Lie group. Fo
Pestov–Ionin theorem
The Pestov–Ionin theorem in the differential geometry of plane curves states that every simple closed curve of curvature at most one encloses a unit disk.
Beez's theorem
In mathematics, Beez's theorem, introduced by Richard Beez in 1875, implies that if n > 3 then in general an (n – 1)-dimensional hypersurface immersed in Rn cannot be deformed.
Kawasaki's Riemann–Roch formula
In differential geometry, Kawasaki's Riemann–Roch formula, introduced by Tetsuro Kawasaki, is the Riemann–Roch formula for orbifolds. It can compute the Euler characteristic of an orbifold. Kawasaki's
Schur's theorem
In discrete mathematics, Schur's theorem is any of several theorems of the mathematician Issai Schur. In differential geometry, Schur's theorem is a theorem of Axel Schur. In functional analysis, Schu
Tennis ball theorem
In geometry, the tennis ball theorem states that any smooth curve on the surface of a sphere that divides the sphere into two equal-area subsets without touching or crossing itself must have at least
Willmore conjecture
In differential geometry, the Willmore conjecture is a lower bound on the Willmore energy of a torus. It is named after the English mathematician Tom Willmore, who conjectured it in 1965. A proof by F
Atiyah–Singer index theorem
In differential geometry, the Atiyah–Singer index theorem, proved by Michael Atiyah and Isadore Singer (1963), states that for an elliptic differential operator on a compact manifold, the analytical i
Fenchel's theorem
In differential geometry, Fenchel's theorem is an inequality on the total absolute curvature of a closed smooth space curve, stating that it is always at least . Equivalently, the average curvature is
Generalized Stokes theorem
In vector calculus and differential geometry the generalized Stokes theorem (sometimes with apostrophe as Stokes' theorem or Stokes's theorem), also called the Stokes–Cartan theorem, is a statement ab
Fundamental theorem of curves
In differential geometry, the fundamental theorem of space curves states that every regular curve in three-dimensional space, with non-zero curvature, has its shape (and size or scale) completely dete
Lee Hwa Chung theorem
The Lee Hwa Chung theorem is a theorem in symplectic topology. The statement is as follows. Let M be a symplectic manifold with symplectic form ω. Let be a differential k-form on M which is invariant
Darboux's theorem
Darboux's theorem is a theorem in the mathematical field of differential geometry and more specifically differential forms, partially generalizing the Frobenius integration theorem. It is a foundation
Gauss–Bonnet theorem
In the mathematical field of differential geometry, the Gauss–Bonnet theorem (or Gauss–Bonnet formula) is a fundamental formula which links the curvature of a surface to its underlying topology. In th
Carathéodory–Jacobi–Lie theorem
The Carathéodory–Jacobi–Lie theorem is a theorem in symplectic geometry which generalizes Darboux's theorem.
Bertrand–Diguet–Puiseux theorem
In the mathematical study of the differential geometry of surfaces, the Bertrand–Diguet–Puiseux theorem expresses the Gaussian curvature of a surface in terms of the circumference of a geodesic circle
Riemann–Roch theorem for smooth manifolds
In mathematics, a Riemann–Roch theorem for smooth manifolds is a version of results such as the Hirzebruch–Riemann–Roch theorem or Grothendieck–Riemann–Roch theorem (GRR) without a hypothesis making t
Tait–Kneser theorem
In differential geometry, the Tait–Kneser theorem states that, if a smooth plane curve has monotonic curvature, then the osculating circles of the curve are disjoint and nested within each other.The l
Bochner–Kodaira–Nakano identity
In mathematics, the Bochner–Kodaira–Nakano identity is an analogue of the Weitzenböck identity for hermitian manifolds, giving an expression for the antiholomorphic Laplacian of a vector bundle over a
Hilbert's theorem (differential geometry)
In differential geometry, Hilbert's theorem (1901) states that there exists no complete regular surface of constant negative gaussian curvature immersed in . This theorem answers the question for the
Meusnier's theorem
In differential geometry, Meusnier's theorem states that all curves on a surface passing through a given point p and having the same tangent line at p also have the same normal curvature at p and thei
Bonnet theorem
In the mathematical field of differential geometry, more precisely, the theory of surfaces in Euclidean space, the Bonnet theorem states that the first and second fundamental forms determine a surface
Bochner's theorem (Riemannian geometry)
In mathematics, Salomon Bochner proved in 1946 that any Killing vector field of a compact Riemannian manifold with negative Ricci curvature must be zero. Consequently the isometry group of the manifol
Frobenius theorem (differential topology)
In mathematics, Frobenius' theorem gives necessary and sufficient conditions for finding a maximal set of independent solutions of an overdetermined system of first-order homogeneous linear partial di
Schwarz–Ahlfors–Pick theorem
In mathematics, the Schwarz–Ahlfors–Pick theorem is an extension of the Schwarz lemma for hyperbolic geometry, such as the Poincaré half-plane model. The Schwarz–Pick lemma states that every holomorph
Four-vertex theorem
The four-vertex theorem of geometry states that the curvature along a simple, closed, smooth plane curve has at least four local extrema (specifically, at least two local maxima and at least two local
Vermeil's theorem
In differential geometry, Vermeil's theorem essentially states that the scalar curvature is the only (non-trivial) absolute invariant among those of prescribed type suitable for Albert Einstein’s theo
Theorem of the three geodesics
In differential geometry the theorem of the three geodesics, also known as Lyusternik–Schnirelmann theorem, states that every Riemannian manifold with the topology of a sphere has at least three simpl
Prime decomposition of 3-manifolds
In mathematics, the prime decomposition theorem for 3-manifolds states that every compact, orientable 3-manifold is the connected sum of a unique (up to homeomorphism) finite collection of prime 3-man
Chern–Gauss–Bonnet theorem
In mathematics, the Chern theorem (or the Chern–Gauss–Bonnet theorem after Shiing-Shen Chern, Carl Friedrich Gauss, and Pierre Ossian Bonnet) states that the Euler-Poincaré characteristic (a topologic
Cohn-Vossen's inequality
In differential geometry, Cohn-Vossen's inequality, named after Stefan Cohn-Vossen, relates the integral of Gaussian curvature of a non-compact surface to the Euler characteristic. It is akin to the G
Nirenberg's conjecture
In mathematics, Nirenberg's conjecture, now Osserman's theorem, states that if a neighborhood of the sphere is omitted by the Gauss map of a complete minimal surface, then the surface in question is a
Calabi conjecture
In the mathematical field of differential geometry, the Calabi conjecture was a conjecture about the existence of certain kinds of Riemannian metrics on certain complex manifolds, made by Eugenio Cala
Euler's theorem (differential geometry)
In the mathematical field of differential geometry, Euler's theorem is a result on the curvature of curves on a surface. The theorem establishes the existence of principal curvatures and associated pr
Gage–Hamilton–Grayson theorem
No description available.