Bochner–Kodaira–Nakano identity
E613409
The Bochner–Kodaira–Nakano identity is a fundamental formula in complex differential geometry relating the Laplacian on differential forms to curvature terms, with key applications to vanishing theorems and Hodge theory.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Bochner–Kodaira–Nakano identity canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T6716267 — 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–Kodaira–Nakano identity Context triple: [Salomon Bochner, notableFor, Bochner–Kodaira–Nakano identity]
-
A.
Kähler identities
Kähler identities are fundamental commutation relations in Kähler geometry that link the Lefschetz operator, its adjoint, and the Dolbeault operators, playing a key role in Hodge theory and complex differential geometry.
-
B.
Differential Analysis on Complex Manifolds
"Differential Analysis on Complex Manifolds" is a foundational mathematical monograph that systematically develops the theory of differential and complex geometry on complex manifolds.
-
C.
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.
-
D.
Hirzebruch–Riemann–Roch theorem
The Hirzebruch–Riemann–Roch theorem is a fundamental result in algebraic geometry and topology that expresses the holomorphic Euler characteristic of a complex manifold in terms of characteristic classes, unifying and extending classical Riemann–Roch type formulas.
-
E.
Dolbeault cohomology classes
Dolbeault cohomology classes are equivalence classes of differential forms on a complex manifold defined using the ∂̄-operator, encoding the manifold’s complex-analytic and geometric structure.
- 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–Kodaira–Nakano identity Target entity description: The Bochner–Kodaira–Nakano identity is a fundamental formula in complex differential geometry relating the Laplacian on differential forms to curvature terms, with key applications to vanishing theorems and Hodge theory.
-
A.
Kähler identities
Kähler identities are fundamental commutation relations in Kähler geometry that link the Lefschetz operator, its adjoint, and the Dolbeault operators, playing a key role in Hodge theory and complex differential geometry.
-
B.
Differential Analysis on Complex Manifolds
"Differential Analysis on Complex Manifolds" is a foundational mathematical monograph that systematically develops the theory of differential and complex geometry on complex manifolds.
-
C.
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.
-
D.
Hirzebruch–Riemann–Roch theorem
The Hirzebruch–Riemann–Roch theorem is a fundamental result in algebraic geometry and topology that expresses the holomorphic Euler characteristic of a complex manifold in terms of characteristic classes, unifying and extending classical Riemann–Roch type formulas.
-
E.
Dolbeault cohomology classes
Dolbeault cohomology classes are equivalence classes of differential forms on a complex manifold defined using the ∂̄-operator, encoding the manifold’s complex-analytic and geometric structure.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
Bochner-type formula
ⓘ
mathematical identity ⓘ result in complex differential geometry ⓘ |
| appearsIn |
Kodaira’s work on harmonic integrals
ⓘ
Nakano’s papers on curvature and cohomology ⓘ standard textbooks on Hodge theory ⓘ standard textbooks on complex differential geometry ⓘ |
| appliesTo |
(p,q)-forms with values in a vector bundle
ⓘ
Hermitian holomorphic vector bundles ⓘ Kähler manifolds NERFINISHED ⓘ |
| assumes |
Hermitian metric on the base complex manifold
ⓘ
Hermitian metric on the vector bundle ⓘ |
| context |
ar{oxdot}-Neumann problem
NERFINISHED
ⓘ
theory of elliptic operators on complex manifolds ⓘ |
| expresses | Dolbeault Laplacian as sum of rough Laplacian and curvature term NERFINISHED ⓘ |
| field |
Hodge theory
NERFINISHED
ⓘ
complex algebraic geometry ⓘ complex differential geometry ⓘ global analysis ⓘ |
| generalizationOf |
Bochner identity
NERFINISHED
ⓘ
Weitzenböck formula in the complex setting NERFINISHED ⓘ |
| holdsOn |
compact Kähler manifolds
ⓘ
non-compact complete Kähler manifolds (with suitable conditions) ⓘ |
| implies |
cohomology vanishing under Nakano positivity
ⓘ
positivity criteria for curvature ⓘ |
| involves |
ar{
abla}-Laplacian
ⓘ
Chern connection NERFINISHED ⓘ Dolbeault Laplacian NERFINISHED ⓘ Levi form ⓘ curvature tensor of a Hermitian vector bundle ⓘ |
| namedAfter |
Kunihiko Kodaira
NERFINISHED
ⓘ
Salomon Bochner NERFINISHED ⓘ Shigeo Nakano NERFINISHED ⓘ |
| relatedConcept |
Griffiths positivity
ⓘ
Kähler identities NERFINISHED ⓘ Nakano positivity ⓘ |
| relates |
ar{oxdot} (Dolbeault Laplacian)
ⓘ
ar{ abla}^* ar{ abla} ⓘ abla^* abla ⓘ curvature operator ⓘ |
| usedFor |
Akizuki–Kodaira–Nakano vanishing theorem
NERFINISHED
ⓘ
Hodge decomposition on Kähler manifolds ⓘ Kodaira vanishing theorem NERFINISHED ⓘ L^2 estimates for the ar{oxdot}-operator ⓘ Nakano vanishing theorem NERFINISHED ⓘ cohomology vanishing results ⓘ estimates of harmonic forms ⓘ vanishing theorems ⓘ |
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–Kodaira–Nakano identity Description of subject: The Bochner–Kodaira–Nakano identity is a fundamental formula in complex differential geometry relating the Laplacian on differential forms to curvature terms, with key applications to vanishing theorems and Hodge theory.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.