This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Schur functions | |
|---|---|
| Name | Schur functions |
| Subject | Algebraic combinatorics |
| Introduced | Issai Schur |
| Area | Representation theory, symmetric functions, algebraic geometry |
| Notable for | Basis of symmetric functions, characters of symmetric and linear groups |
Schur functions are a family of symmetric polynomials indexed by integer partitions that play a central role in algebraic combinatorics, representation theory, and algebraic geometry. They arise as characters of irreducible polynomial representations of general linear groups and as generating functions for tableaux, connecting subjects such as the theory of Hermite polynomials, the representation theory of Hermann Weyl-related groups, and intersection theory on Grassmannians. Schur functions serve as a bridge between the combinatorics of Young tableaux, the representation theory of Issai Schur-related theories, and geometry connected to Hilbert schemes and moduli problems.
A Schur function s_lambda(x_1, x_2, ...) is classically defined for a partition lambda via the ratio of alternants (determinants) associated to Vandermonde-type matrices, or equivalently by the Jacobi–Trudi determinant expressing s_lambda as a determinant of complete symmetric functions h_k. These definitions connect to constructions used by Carl Gustav Jacob Jacobi and Giuseppe Peano-era determinantal identities. Schur functions form an orthonormal basis (with respect to the Hall inner product) for the ring of symmetric functions, paralleling bases arising in the works of Issai Schur and Friedrich Schur. They obey a triangularity with respect to the monomial symmetric functions and satisfy stability under specialization of variables, reflecting stability phenomena studied by David Hilbert and Emmy Noether.
Schur functions admit a combinatorial expansion as generating functions of semistandard Young tableaux of shape lambda, associating entries to variables x_i; this combinatorial model is linked historically to the Young diagram formalism used by Alfred Young and later combinatorialists such as Richard P. Stanley and William Fulton. The Littlewood–Richardson rule gives the coefficients of the product s_mu s_nu in the Schur basis as counts of Littlewood–Richardson tableaux, a rule with connections to classical results of D. E. Littlewood and A. R. Richardson. Hook-length formulae for dimensions of irreducible representations and counts of standard Young tableaux relate to enumerative results explored by Frame–Robinson–Thrall and later authors including G. Frobenius and Issai Schur. Connections to plane partitions and alternating sign matrices bring in combinatorial themes appearing in works by Percy A. MacMahon and Doron Zeilberger.
Schur functions coincide with characters of irreducible polynomial representations of the general linear group GL_n over complex numbers, reflecting ideas from Hermann Weyl's character theory and the highest-weight theory developed in the context of Élie Cartan-related Lie algebra classification. Under the Frobenius characteristic map, irreducible representations of the symmetric group S_n correspond to Schur functions indexed by partitions of n, connecting to classical results by Frobenius and later developments by G. de B. Robinson. Branching rules, plethysm, and Kronecker coefficients describe tensor product decompositions and induction-restriction phenomena studied by Georg Frobenius and modern researchers such as Richard Stanley and A. R. Littlewood. Schur–Weyl duality links representations of GL_n and S_n and is central in works influenced by H. Weyl and subsequent developments in the representation theory of Peter Lax-type algebras.
Schur functions interact with classical symmetric functions via identities such as the Cauchy identity, expressing sum_{lambda} s_lambda(x) s_lambda(y) as a product, an identity echoing techniques from Augustin-Louis Cauchy and appearing in contexts related to André Weil-style generating series. Operations on symmetric functions—such as the Hall inner product, plethysm, and skewing—translate into representation-theoretic operations like induction, restriction, and tensoring; these operations were systematized in work by Philip Hall and later authors including Ian Macdonald. Skew Schur functions s_{lambda/mu} encode combinatorial skew-tableaux and satisfy convolution identities related to convolution algebras appearing in the study of Hecke algebras and Iwahori–Hecke-type structures.
Specializations of Schur functions yield classical families: principal specialization leads to hook-content formulae tied to partition enumerations studied by G. N. Watson, while evaluation at roots of unity connects to cyclic sieving phenomena investigated by Victor Reiner and collaborators. Generalizations include Hall–Littlewood polynomials, Jack polynomials, and Macdonald polynomials, which interpolate between Schur functions and other bases and were developed by Philip Hall, Henry Jack, and Ian G. Macdonald respectively. Supersymmetric Schur functions extend the theory to settings related to superalgebras and appear in the representation theory of Lie superalgebras studied by Victor Kac.
In algebraic geometry, Schur classes describe Chern classes of tautological bundles on Grassmannians and flag varieties; these ideas connect to classical intersection theory developed by H. Schubert and modern enumerative geometry as in works by Jean-Pierre Serre and Alexander Grothendieck. Schur functions encode Schubert calculus structure constants, linking to quantum cohomology computations pursued by Alexander Givental and Yuri Manin. In mathematical physics, Schur functions appear in description of free fermion partition functions, conformal field theory correlators, and integrable hierarchies such as the KP hierarchy studied by Mikhail Sato and Igor Krichever; they also enter the study of matrix models and topological string amplitudes investigated by Edward Witten and Cumrun Vafa.
Category:Symmetric functions