Bochner technique in Riemannian geometry
E613408
The Bochner technique in Riemannian geometry is a method that uses Bochner-type identities and curvature conditions to derive vanishing theorems and rigidity results for differential forms and harmonic maps on manifolds.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Bochner technique in Riemannian geometry canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T6716266 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Bochner technique in Riemannian geometry Context triple: [Salomon Bochner, notableFor, Bochner technique in Riemannian geometry]
-
A.
Nirenberg problem in differential geometry
The Nirenberg problem in differential geometry is a classical question about prescribing Gaussian curvature on the 2-sphere via conformal deformations of the metric.
-
B.
Perelman’s entropy functionals
Perelman’s entropy functionals are analytic quantities introduced by Grigori Perelman to study the behavior and singularities of the Ricci flow, playing a central role in his proof of the Poincaré and geometrization conjectures.
-
C.
Monge–Ampère equation
The Monge–Ampère equation is a fully nonlinear partial differential equation central to differential geometry, optimal transport, and several complex variables, often used to study curvature and geometric structures.
-
D.
Cartan theorems A and B
Cartan theorems A and B are fundamental results in complex analytic geometry that characterize coherent analytic sheaves on Stein spaces by guaranteeing the existence of enough global sections and the vanishing of higher cohomology.
-
E.
Israel–Carter–Robinson uniqueness theorems
The Israel–Carter–Robinson uniqueness theorems are a set of results in general relativity showing that stationary, asymptotically flat black holes in four-dimensional spacetime are completely characterized by just their mass, charge, and angular momentum.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Bochner technique in Riemannian geometry Target entity description: The Bochner technique in Riemannian geometry is a method that uses Bochner-type identities and curvature conditions to derive vanishing theorems and rigidity results for differential forms and harmonic maps on manifolds.
-
A.
Nirenberg problem in differential geometry
The Nirenberg problem in differential geometry is a classical question about prescribing Gaussian curvature on the 2-sphere via conformal deformations of the metric.
-
B.
Perelman’s entropy functionals
Perelman’s entropy functionals are analytic quantities introduced by Grigori Perelman to study the behavior and singularities of the Ricci flow, playing a central role in his proof of the Poincaré and geometrization conjectures.
-
C.
Monge–Ampère equation
The Monge–Ampère equation is a fully nonlinear partial differential equation central to differential geometry, optimal transport, and several complex variables, often used to study curvature and geometric structures.
-
D.
Cartan theorems A and B
Cartan theorems A and B are fundamental results in complex analytic geometry that characterize coherent analytic sheaves on Stein spaces by guaranteeing the existence of enough global sections and the vanishing of higher cohomology.
-
E.
Israel–Carter–Robinson uniqueness theorems
The Israel–Carter–Robinson uniqueness theorems are a set of results in general relativity showing that stationary, asymptotically flat black holes in four-dimensional spacetime are completely characterized by just their mass, charge, and angular momentum.
- F. None of above. chosen
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf | mathematical technique ⓘ |
| appliesTo |
Riemannian manifolds
NERFINISHED
ⓘ
differential forms ⓘ harmonic forms ⓘ harmonic maps ⓘ vector bundle-valued forms ⓘ |
| basedOn |
integration by parts
ⓘ
maximum principle ⓘ |
| field |
Riemannian geometry
ⓘ
differential geometry ⓘ |
| goal |
derive topological restrictions from curvature
ⓘ
obtain eigenvalue estimates ⓘ prove rigidity results ⓘ prove vanishing theorems ⓘ |
| historicalOrigin | work of Salomon Bochner in the 1940s ⓘ |
| implies |
finiteness of fundamental group under positive Ricci curvature
ⓘ
rigidity of harmonic maps under curvature pinching ⓘ vanishing of harmonic 1-forms under positive Ricci curvature ⓘ vanishing of higher-degree harmonic forms under suitable curvature conditions ⓘ |
| involves |
Hodge Laplacian
NERFINISHED
ⓘ
elliptic differential operators ⓘ energy estimates ⓘ integration of Bochner-type identities over the manifold ⓘ rough Laplacian ⓘ |
| namedAfter | Salomon Bochner NERFINISHED ⓘ |
| relatedConcept |
Bochner formula for differential forms
NERFINISHED
ⓘ
Bochner formula for functions NERFINISHED ⓘ Weitzenböck decomposition NERFINISHED ⓘ |
| relates |
Laplacian of the norm of a tensor
ⓘ
curvature terms ⓘ norm of the covariant derivative ⓘ |
| typicalAssumption |
lower bounds on Ricci curvature
ⓘ
nonnegative Ricci curvature ⓘ nonnegative sectional curvature ⓘ positive Ricci curvature ⓘ |
| usedIn |
Hodge theory
NERFINISHED
ⓘ
comparison geometry ⓘ global Riemannian geometry ⓘ study of Einstein manifolds ⓘ study of Kähler manifolds ⓘ |
| uses |
Bochner identity
NERFINISHED
ⓘ
Laplacian on differential forms ⓘ Weitzenböck formula NERFINISHED ⓘ covariant derivative ⓘ curvature conditions ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Bochner technique in Riemannian geometry Description of subject: The Bochner technique in Riemannian geometry is a method that uses Bochner-type identities and curvature conditions to derive vanishing theorems and rigidity results for differential forms and harmonic maps on manifolds.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.