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: Weil representation | Statement: [André Weil, notableConcept, Weil representation]

Target entity: Weil representation
Context triple: [André Weil, notableConcept, Weil representation]

• A. The Classical Groups: Their Invariants and Representations
  The Classical Groups: Their Invariants and Representations is a foundational mathematical monograph by Hermann Weyl that systematically develops the theory of classical Lie groups, their invariants, and their representation theory.
• B. 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.
• C. Weyl group
  A Weyl group is a finite reflection group associated with a root system that encodes the symmetries of Lie algebras and Lie groups in representation theory and geometry.
• D. Hasse–Arf theorem
  The Hasse–Arf theorem is a fundamental result in algebraic number theory that precisely characterizes the jumps in the ramification filtration of abelian extensions of local fields, showing they occur at integer values.
• E. Hilbert’s twelfth problem
  Hilbert’s twelfth problem is one of David Hilbert’s famous list of 23 problems, asking for a general explicit class field theory that would generate all abelian extensions of a given number field using special values of analytic functions.
• 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: Weil representation
Triple: [André Weil, notableConcept, Weil representation]

The Weil representation is a fundamental projective unitary representation of symplectic groups (or their metaplectic covers) on spaces of functions, central to number theory, automorphic forms, and the theory of theta functions.

Target entity: Weil representation
Target entity description: The Weil representation is a fundamental projective unitary representation of symplectic groups (or their metaplectic covers) on spaces of functions, central to number theory, automorphic forms, and the theory of theta functions.

• A. The Classical Groups: Their Invariants and Representations
  The Classical Groups: Their Invariants and Representations is a foundational mathematical monograph by Hermann Weyl that systematically develops the theory of classical Lie groups, their invariants, and their representation theory.
• B. 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.
• C. Weyl group
  A Weyl group is a finite reflection group associated with a root system that encodes the symmetries of Lie algebras and Lie groups in representation theory and geometry.
• D. Hasse–Arf theorem
  The Hasse–Arf theorem is a fundamental result in algebraic number theory that precisely characterizes the jumps in the ramification filtration of abelian extensions of local fields, showing they occur at integer values.
• E. Hilbert’s twelfth problem
  Hilbert’s twelfth problem is one of David Hilbert’s famous list of 23 problems, asking for a general explicit class field theory that would generate all abelian extensions of a given number field using special values of analytic functions.
• F. None of above. chosen