Bochner–Kodaira–Nakano identity

E613409

Bochner-type formula mathematical identity result in complex differential geometry

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.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (5)

Label	Occurrences
Bochner identity	2
Bochner–Kodaira–Nakano identity canonical	1
Dolbeault Laplacian as sum of rough Laplacian and curvature term	1
Nakano vanishing theorem	1
Weitzenböck formula in the complex setting	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 ⓘ linked to: Kähler manifold
assumes	Hermitian metric on the base complex manifold ⓘ Hermitian metric on the vector bundle ⓘ
context	ar{oxdot}-Neumann problem ⓘ theory of elliptic operators on complex manifolds ⓘ
expresses	Dolbeault Laplacian as sum of rough Laplacian and curvature term ⓘ linked to: Bochner–Kodaira–Nakano identity
field	Hodge theory ⓘ complex algebraic geometry ⓘ complex differential geometry ⓘ global analysis ⓘ
generalizationOf	Bochner identity ⓘ linked to: Bochner–Kodaira–Nakano identity Weitzenböck formula in the complex setting ⓘ linked to: Bochner–Kodaira–Nakano identity
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 ⓘ Dolbeault Laplacian ⓘ Levi form ⓘ curvature tensor of a Hermitian vector bundle ⓘ
namedAfter	Kunihiko Kodaira ⓘ Salomon Bochner ⓘ Shigeo Nakano ⓘ
relatedConcept	Griffiths positivity ⓘ Kähler identities ⓘ Nakano positivity ⓘ
relates	ar{oxdot} (Dolbeault Laplacian) ⓘ ar{ abla}^* ar{ abla} ⓘ abla^* abla ⓘ curvature operator ⓘ
usedFor	Akizuki–Kodaira–Nakano vanishing theorem ⓘ linked to: Kodaira vanishing theorem Hodge decomposition on Kähler manifolds ⓘ Kodaira vanishing theorem ⓘ L^2 estimates for the ar{oxdot}-operator ⓘ Nakano vanishing theorem ⓘ linked to: Bochner–Kodaira–Nakano identity cohomology vanishing results ⓘ estimates of harmonic forms ⓘ vanishing theorems ⓘ

How these facts were elicited