## Inner and Outer Corners

The next thing we need to take note of it the idea of an “inner corner” and an “outer corner” of a Ferrers diagram, and thus of a partition.

An inner corner of a Ferrers diagram is a cell that, if it’s removed, the rest of the diagram is still the Ferrers diagram of a partition. It must be the rightmost cell in its row, and the bottommost cell in its column. Similarly, an outer corner is one that, if it’s added to the diagram, the result is still the Ferrers diagram of a partition. This is a little more subtle: it must be just to the right of the end of a row, and just below the bottom of a column.

As an example, consider the partition , with Ferrers diagram

We highlight the inner corners by shrinking them, and mark the outer corners with circles:

That is, there are three ways we could remove a cell and still have the Ferrers diagram of a partition:

And there are four ways that we could add a cell and still have the Ferrers diagram of a partition:

If the first partition is , we write a generic partition that comes from removing a single inner corner by . Similarly, we write a generic partition that comes from adding a single outer corner by . In our case, if , then the three possible partitions are , , and , while the four possible partitions are , , , and .

Now, as a quick use of this concept, think about how to fill a Ferrers diagram to make a standard Young tableau. It should be clear that since is the largest entry in the tableau, it must be in the rightmost cell of its row and the bottommost cell of its column in order for the tableau to be standard. Thus must occur in an inner corner. This means that we can describe any standard tableau by picking which inner corner contains , removing that corner, and filling the rest with a standard tableau with entries. Thus, the number of standard -tableaux is the sum of all the standard -tableaux:

[…] We want to “categorify” the relation we came up with last time: […]

Pingback by The Branching Rule « The Unapologetic Mathematician | January 27, 2011 |

[…] the steps from to give us all the as we add up dimensions. Comparing to the formula we’re categorifying, we see that this accounts for all of . And so there are no dimensions left for the steps from to […]

Pingback by The Branching Rule, Part 2 « The Unapologetic Mathematician | January 28, 2011 |