Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Bochner–Kodaira–Nakano identity | Statement: [Salomon Bochner, notableFor, Bochner–Kodaira–Nakano identity]

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.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Bochner–Kodaira–Nakano identity
Triple: [Salomon Bochner, notableFor, Bochner–Kodaira–Nakano identity]

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.

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