---
title: Skew Schur Functions Overview
url: https://www.emergentmind.com/topics/skew-schur-functions
type: topic
---

# Skew Schur Functions Overview

A skew Schur function is a symmetric function associated to a pair of partitions \( \lambda \), \( \mu \) with \( \mu \subseteq \lambda \), defined combinatorially as the generating function over semistandard Young tableaux of skew shape \( \lambda/\mu \) and equivalently as a Jacobi–Trudi determinant involving complete homogeneous symmetric functions. Skew Schur functions generalize the ordinary Schur functions and retain a central role across representation theory, algebraic geometry, and symmetric function theory, with deep combinatorics (such as the Littlewood–Richardson rule), extensions to noncommuting and quasisymmetric settings, and connections to Plücker relations, integrable systems, and algebraic K-theory.

## 1. Classical Definition and Fundamental Properties

Let \( \lambda=(\lambda_1,\dots,\lambda_\ell) \) and \( \mu=(\mu_1,\dots,\mu_\ell) \) be integer partitions with \( \mu\subseteq\lambda \). The skew diagram \( \lambda/\mu \) is the difference of the Ferrers diagrams, and a semistandard Young tableau (SSYT) of shape \( \lambda/\mu \) is a filling by positive integers, weakly increasing along rows and strictly increasing down columns. The tableau definition is
\[
s_{\lambda/\mu}(x) = \sum_{T \in \mathrm{SSYT}(\lambda/\mu)} x^T,
\]
where \( x^T = \prod_i x_i^{\text{number of }i\text{ in }T} \) [2504.08293, 2007.04714].

The Jacobi–Trudi formula provides a determinantal expression:
\[
s_{\lambda/\mu}(x) = \det\left( h_{\lambda_i-\mu_j-j+i}(x) \right)_{1 \leq i,j \leq \ell}
\]
with \( h_k(x) \) the complete homogeneous symmetric function ( \( h_0=1, h_k=0 \) for \( k<0 \) ) [2504.08293, 1704.02585].

## 2. Expansion, Littlewood–Richardson Rule, and Interval Support

Skew Schur functions expand linearly in the Schur basis:
\[
s_{\lambda/\mu}(x) = \sum_\nu c^\lambda_{\mu,\nu} s_\nu(x),
\]
where \( c^\lambda_{\mu,\nu} \) counts Littlewood–Richardson tableaux of shape \( \lambda/\mu \) and content \( \nu \) [1009.4170, 2504.08293].

The support of \( s_{\lambda/\mu} \) is always contained in the dominance order interval \([w,n]\) determined by the minimal and maximal LR-values (the most column- and most row-packed tableaux). For certain “basic” shapes, the expansion is multiplicity-free and fills this interval, corresponding to a classification of seven explicit families of skew shapes [1009.4170].

## 3. Determinantal and Pfaffian Identities

Every skew Schur function admits several determinantal representations:
- **Classical Jacobi–Trudi**: as above.
- **Dual Jacobi–Trudi**: in terms of elementary symmetric functions.
- **Giambelli-type formula**: For partitions in Frobenius notation (\( \lambda=(a_1,\ldots,a_p|b_1,\ldots,b_p) \), \( \mu=(c_1,\ldots,c_q|d_1,\ldots,d_q) \)), one has
  \[
  s_{\lambda/\mu}(x) = (-1)^{\sum a_i + \sum b_i + p} \det
  \begin{pmatrix}
      (s_{(a_i|b_j)/\mu}) & (h_{a_i-d_j}) \\
      (e_{b_j-c_i}) & 0
  \end{pmatrix}
  \]
  with blocks of hook-shaped skew Schurs and \( h, e \) functions [1704.02585, 2002.11796].

Pfaffian analogues yield formulas for skew Schur Q-functions, generalizing Schur's Pfaffian identity [1704.02585, 2002.11796].

## 4. Advanced Combinatorial and Algebraic Structures

### Plücker Relations and Integrable Hierarchies

Skew Schur functions satisfy generalized Plücker-type (Hirota bilinear) relations mirroring those of Schur functions and relating to the geometry of flag varieties and KP/mKP hierarchies. The skew Plücker relations involve quadratic relations among skew Schur functions indexed by sets of partitions and hook shapes, extending classical relations and encoding the projective geometry of appropriate embeddings [2504.08293].

### Extensions: Grothendieck, Stable, and Quasisymmetric

Grothendieck polynomials \( G_\sigma \) for skew shapes \( \sigma \) expand as alternating sums over skew Schur functions, with combinatorial coefficients given by set-valued tableaux counts with specified row bounds. Conversely, skew Schur functions expand as signed sums of Grothendieck polynomials, with dual tableau-counting rules [1909.12833].

Skew quasisymmetric Schur functions generalize the theory to the quasisymmetric Hopf algebra (QSym), defined via semistandard composition tableaux and satisfying dual Littlewood–Richardson rules and representation-theoretic correspondences with noncommutative symmetric functions [1007.0994].

### Noncommuting Variables and NCSym

In the Hopf algebra of symmetric functions in noncommuting variables (NCSym), skew Schur functions are defined via a noncommutative Jacobi–Trudi determinant, with additional indexing by permutations in \( S_n \). The product and coproduct structures mimic the commutative case but retain more refined information, splitting the classical product into a sum over concatenation types and lifting the classical Littlewood–Richardson rule to a noncommutative context [2105.09964]. A recent classification for equality of skew Schur functions in NCSym reveals that two such functions are equal only under antipodal ribbon conjugation and a strict block-preserving property of the underlying permutations [2403.19744].

## 5. Variational Theory: Factorial, Ninth, and Supersymmetric Skew Schur Functions

The “ninth-variation” skew Schur function replaces variables by an array indexed by diagonal content and admits a combinatorial sum over “supertableaux” with row/column content constraints. This variation supports a rich family of determinantal identities attached to outside decompositions of the skew shape, including row, column, Giambelli, outer rim, and inner rim variants—all generalizing classical form [2002.11796, 2007.04714].

Factoring-in “factorial” parameters (Macdonald’s sixth variation) recovers supersymmetry—restoring (separate) symmetry in the x- and y-blocks and vanishing under x=y substitution. This demonstrates that certain determinantal identities and combinatorial rules are intrinsic to the skew shape and independent of the ordering of primed and unprimed variables [2007.04714].

## 6. Positivity, Specializations, and Additional Structures

Skew Schur functions corresponding to staircase shapes exhibit Schur P-positivity: they expand nonnegatively in the Schur P-function basis, with combinatorial interpretations in terms of compatible shifted tableaux. In special cases, these coefficients relate to enumerative invariants such as Eulerian numbers [1108.2219].

Further, the skew quantum Murnaghan–Nakayama rule governs the expansion of products of skew Schur functions with quantum power sums in terms of other skew Schur functions and broken ribbons, interpolating the classical Pieri and Murnaghan–Nakayama rules and connecting via combinatorial insertion processes and involutions [1101.5250].

## 7. Structural Identities and Equalities

The Hopf algebraic structure and cocommutativity of the coproduct in the symmetric functions force various identities among skew Schur functions. For example, under stipulated conditions involving ribbon-compositions and shape compositions, two skew Schur functions indexed by shapes related by 180° rotation are equal [1511.06337]. This reflects deep symmetries and extends to compound determinant and Pfaffian identities for various generalizations.

---

**References**
- [2504.08293] Skew Plücker relations
- [1909.12833] Combinatorial relations on skew Schur and skew stable Grothendieck polynomials
- [2105.09964] Schur functions in noncommuting variables
- [2403.19744] Equality of skew Schur functions in noncommuting variables
- [1009.4170] Multiplicity-free Skew Schur functions with full interval support
- [1704.02585] Generalized Sylvester Formulas and skew Giambelli Identities
- [2002.11796] Determinantal and Pfaffian identities for ninth variation skew Schur functions and Q-functions
- [2007.04714] Factorial supersymmetric skew Schur functions and ninth variation determinantal identities
- [1007.0994] Skew quasisymmetric Schur functions and noncommutative Schur functions
- [1108.2219] Staircase skew Schur functions are Schur P-positive
- [1101.5250] Skew quantum Murnaghan-Nakayama rule
- [1511.06337] A Hopf algebraic approach to Schur function identities

Source: https://www.emergentmind.com/topics/skew-schur-functions