Abstract :
Proctor defined combinatorially a family of Laurent Polynomials, called odd symplectic Schur functions, indexed by pairs (λ, c), where λ is partition andcis a column length of λ. A conjecture of Proctor (Invent. Math.92,1988, 307–332) includes the statement that the odd symplectic Schur functions are actually characters ofSp(2n + 1, C). The purpose of the present note is to prove this.
