# The Unapologetic Mathematician

## “Straightening” a Polytabloid

Let’s look at one example of “straightening” out a polytabloid to show it’s in the span of the standard polytabloids, using the Garnir elements.

$\displaystyle t=\begin{array}{ccc}1&2&3\\5&4&\\6&&\end{array}$

Now, it’s slightly abusive to the notation, but we’ll just write a tableau $t$ and know that we actually mean the polytabloid $e_t$ in our linear combinations. Using this, we’ve seen that we can write

$\displaystyle\begin{array}{ccc}1&2&3\\5&4&\\6&&\end{array}=\begin{array}{ccc}1&2&3\\4&5&\\6&&\end{array}-\begin{array}{ccc}1&4&3\\2&5&\\6&&\end{array}-\begin{array}{ccc}1&2&3\\4&6&\\5&&\end{array}+\begin{array}{ccc}1&4&3\\2&6&\\5&&\end{array}-\begin{array}{ccc}1&5&3\\2&6&\\4&&\end{array}$

Now, by the way we’ve selected our Garnir elements, we know that none of these can have any column descents. And we also know that they can’t have a row descent in the same place $e_t$ did. Indeed, the only three that have a row descent all have it between the second and third entries of the first row. So now let’s look at

$\displaystyle u=\begin{array}{ccc}1&4&3\\2&5&\\6&&\end{array}$

We can write down another table, just like before:

$\displaystyle\begin{array}{cccc}A'&B'&\pi&\pi u\\\hline\\\{4,5\}&\{3\}&e&\begin{array}{ccc}1&4&3\\2&5&\\6&&\end{array}\\\{3,5\}&\{4\}&(3\,4)&\begin{array}{ccc}1&3&4\\2&5&\\6&&\end{array}\\\{3,4\}&\{5\}&(3\,5\,4)&\begin{array}{ccc}1&3&5\\2&4&\\6&&\end{array}\end{array}$

which lets us write

$\displaystyle\begin{array}{ccc}1&4&3\\2&5&\\6&&\end{array}=\begin{array}{ccc}1&3&4\\2&5&\\6&&\end{array}-\begin{array}{ccc}1&3&5\\2&4&\\6&&\end{array}$

Similarly we can write

$\displaystyle\begin{array}{ccc}1&4&3\\2&6&\\5&&\end{array}=\begin{array}{ccc}1&3&4\\2&6&\\5&&\end{array}-\begin{array}{ccc}1&3&6\\2&4&\\5&&\end{array}$

and

$\displaystyle\begin{array}{ccc}1&5&3\\2&6&\\4&&\end{array}=\begin{array}{ccc}1&3&5\\2&6&\\4&&\end{array}-\begin{array}{ccc}1&3&6\\2&5&\\4&&\end{array}$

Putting these all together, we conclude that

$\displaystyle\begin{aligned}\begin{array}{ccc}1&2&3\\5&4&\\6&&\end{array}=&\begin{array}{ccc}1&2&3\\4&5&\\6&&\end{array}-\begin{array}{ccc}1&3&4\\2&5&\\6&&\end{array}+\begin{array}{ccc}1&3&5\\2&4&\\6&&\end{array}-\begin{array}{ccc}1&2&3\\4&6&\\5&&\end{array}\\+&\begin{array}{ccc}1&3&4\\2&6&\\5&&\end{array}-\begin{array}{ccc}1&3&6\\2&4&\\5&&\end{array}-\begin{array}{ccc}1&3&5\\2&6&\\4&&\end{array}+\begin{array}{ccc}1&3&6\\2&5&\\4&&\end{array}\end{aligned}$

All of these tabloids are standard, and so we see that our original — nonstandard — $e_t$ is in the span of the standard polytabloids.

### Like this:

No comments yet.

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 12, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8951968550682068, "perplexity_flag": "middle"}