{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nThe Schur polynomial $s_\\lambda(x_1,\\ldots,x_k)$ is the generating function of semistandard Young tableaux with shape $\\lambda$ and entries in $\\{1,\\ldots,k\\}$. Specializing this to $x_i = 1$ gives the number of semi-standard tableaux, which can be written in terms of hook lengths:\n\n\u003e $$s_\\lambda(1,\\ldots,1)\\ =\\ \\prod_{(i,j)\\in \\mathrm{Y}(\\lambda)}\\frac{k-i+j}{h_\\lambda(i,j)}.$$\n\nThe Young diagram $\\lambda$ corresponds to an irreducible representation of the [[special linear group|0V9PMN0RBH]] $\\mathrm{SL}_k(\\mathbb C)$, and the Schur polynomial is also the character of the [[diagonal matrix|044JNC7ZAA]] $\\mathrm{diag}(x_1,\\ldots,x_k)$ acting on this representation. The above specialization is thus the dimension of the irreducible representation, and the formula is an alternative to the more general Weyl dimension formula.\n\nWe may refine this by taking the principal specialization of the Schur function in the variables $1,t,t^2\\!,t^3\\!, \\ldots$ :\n\n$$s_{\\lambda}(1,t,t^2,\\ldots) \\ =\\ \\frac{t^{n\\left( \\lambda\\right)}}{\\prod_{(i,j)\\in Y(\\lambda)}(1-t^{h_{\\lambda}(i,j)})} ,$$\n\nwhere $n(\\lambda) = \\sum_i (i{-}1)\\lambda_i = \\sum_i \\tbinom{\\lambda_i'}{2}$ for the conjugate partition $\\lambda'$.\n",
  "commit": "68a8c3dc73fd55004b2796431c607c30960d1a85",
  "front": {
    "inventory": [
      "BCMKTWSTAG"
    ],
    "kind": "statement",
    "name": "Semi-standard tableaux hook length formula",
    "role": "proposition",
    "sources": [
      {
        "locator": "Hook length formula, section Semi-standard tableaux hook length formula",
        "mention": "wikipedia://en/41497810#AG3S",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:41497810@r1357150947"
      }
    ],
    "tag": "TC25JZMPYP"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/TC25JZMPYP/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/TC25JZMPYP.md",
  "msc": null,
  "name": "Semi-standard tableaux hook length formula",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/TC2/TC25JZMPYP.md",
  "status": null,
  "tag": "TC25JZMPYP",
  "uri": "m2://TC25JZMPYP",
  "url": "https://math2.tamnd.com/wiki/semi-standard-tableaux-hook-length-formula/",
  "writing": {
    "tag": "TC25JZMPYP",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}
