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: Borel–Weil theorem | Statement: [Weyl character formula, relatedTo, Borel–Weil theorem]

Target entity: Borel–Weil theorem
Context triple: [Weyl character formula, relatedTo, Borel–Weil theorem]

• A. Peter–Weyl theorem
  The Peter–Weyl theorem is a fundamental result in representation theory and harmonic analysis that decomposes square-integrable functions on a compact topological group into a direct sum of finite-dimensional irreducible unitary representations.
• B. Harish-Chandra isomorphism
  The Harish-Chandra isomorphism is a fundamental result in representation theory that identifies the center of the universal enveloping algebra of a semisimple Lie algebra with the algebra of Weyl group–invariant polynomials on a Cartan subalgebra.
• C. Weyl character formula
  The Weyl character formula is a fundamental result in representation theory that gives an explicit expression for the characters of irreducible finite-dimensional representations of semisimple Lie algebras and Lie groups.
• D. Deligne–Lusztig theory
  Deligne–Lusztig theory is a framework in algebraic geometry and representation theory that constructs and studies representations of finite groups of Lie type using varieties defined over finite fields.
• E. 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.
• 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: Borel–Weil theorem
Triple: [Weyl character formula, relatedTo, Borel–Weil theorem]

The Borel–Weil theorem is a fundamental result in representation theory that realizes irreducible representations of compact Lie groups as spaces of holomorphic sections of line bundles over their flag manifolds.

Target entity: Borel–Weil theorem
Target entity description: The Borel–Weil theorem is a fundamental result in representation theory that realizes irreducible representations of compact Lie groups as spaces of holomorphic sections of line bundles over their flag manifolds.

• A. Peter–Weyl theorem
  The Peter–Weyl theorem is a fundamental result in representation theory and harmonic analysis that decomposes square-integrable functions on a compact topological group into a direct sum of finite-dimensional irreducible unitary representations.
• B. Harish-Chandra isomorphism
  The Harish-Chandra isomorphism is a fundamental result in representation theory that identifies the center of the universal enveloping algebra of a semisimple Lie algebra with the algebra of Weyl group–invariant polynomials on a Cartan subalgebra.
• C. Weyl character formula
  The Weyl character formula is a fundamental result in representation theory that gives an explicit expression for the characters of irreducible finite-dimensional representations of semisimple Lie algebras and Lie groups.
• D. Deligne–Lusztig theory
  Deligne–Lusztig theory is a framework in algebraic geometry and representation theory that constructs and studies representations of finite groups of Lie type using varieties defined over finite fields.
• E. 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.
• F. None of above. chosen