representation theory Representation theory is a branch of mathematics that studies abstract algebra, abstract algebraic structures by ''representing'' their element (set theory), elements as linear transformations of vector spaces, and studies Module (mathematics), ...

, a branch of mathematics, θ₁₀ is a cuspidal unipotent complex irreducible representation of the

symplectic group In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted and for positive integer ''n'' and field F (usually C or R). The latter is called the compact symplectic gr ...

Sp₄ over a

finite Finite may refer to: * Finite set, a set whose cardinality (number of elements) is some natural number * Finite verb, a verb form that has a subject, usually being inflected or marked for person and/or tense or aspect * "Finite", a song by Sara Gr ...

local Local may refer to: Geography and transportation * Local (train), a train serving local traffic demand * Local, Missouri, a community in the United States Arts, entertainment, and media * ''Local'' (comics), a limited series comic book by Bria ...

, or

global field In mathematics, a global field is one of two types of fields (the other one is local fields) that are characterized using valuations. There are two kinds of global fields: *Algebraic number field: A finite extension of \mathbb *Global functio ...

. introduced θ₁₀ for the

Sp₄(F_''q'') over a

finite field In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field (mathematics), field that contains a finite number of Element (mathematics), elements. As with any field, a finite field is a Set (mathematics), s ...

F_''q'' of order ''q'', and showed that in this case it is ''q''(''q'' – 1)²/2-dimensional. The subscript 10 in θ₁₀ is a historical accident that has stuck: Srinivasan arbitrarily named some of the characters of Sp₄(F_''q'') as θ₁, θ₂, ..., θ₁₃, and the tenth one in her list happens to be the cuspidal unipotent character. θ₁₀ is the only

cuspidal unipotent representation In mathematics, a unipotent representation of a reductive group is a representation that has some similarities with unipotent conjugacy classes of groups. Informally, Langlands philosophy suggests that there should be a correspondence between ...

of Sp₄(F_''q''). It is the simplest example of a cuspidal unipotent representation of a

reductive group In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group ''G'' over a perfect field is reductive if it has a representation that has a finite kernel and is a ...

, and also the simplest example of a degenerate cuspidal representation (one without a

Whittaker model In representation theory, a branch of mathematics, the Whittaker model is a realization of a representation of a reductive algebraic group such as ''GL''2 over a finite or local or global field on a space of functions on the group. It is named afte ...

). General linear groups have no cuspidal unipotent representations and no degenerate cuspidal representations, so θ₁₀ exhibits properties of general reductive groups that do not occur for general linear groups. used the representations θ₁₀ over local and global fields in their construction of counterexamples to the generalized Ramanujan conjecture for the symplectic group. described the representation θ₁₀ of the

Lie group In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Eucli ...

Sp₄(R) over the local field R in detail.

References

* * *. * * * {{DEFAULTSORT:Theta10 Representation theory Automorphic forms