Title  mathematical gemstones  on the quest for mathematical beauty and truth Length: 71, Words: 10 

Description  pusty
Length: 0, Words: 0 
Keywords  pusty 
Robots  
Charset  UTF8 
Og Meta  Title  pusty 
Og Meta  Description  pusty 
Og Meta  Site name  pusty 
Words/Characters  10054 

Text/HTML  57.87 % 
Headings  H1 13
H2 9 H3 7 H4 0 H5 0 H6 0 
H1  mathematical gemstones


H2  on the quest for mathematical beauty and truth

H3  main menu

H4  
H5  
H6 
strong  fibonacci sequence


b  fibonacci sequence

i  
em  fibonacci sequence binet’s formula $k$theory ring grothendieck group genomic tableau ballot schubert curve osculating flag skew shape semistandard young tableau jeu de taquin slide unique rectification superstandard littlewoodrichardson reading word ballot rectification: shuffling: unrectification: shuffling back: phase 1. phase 2. inversion $q$count $q$multiplication principle definition: more accurate definition: 
Bolds  strong 28 b 28 i 0 em 28 

twitter:title  pusty 

twitter:description  pusty 
google+ itemprop=name  pusty 
Pliki zewnętrzne  10 
Pliki CSS  2 
Pliki javascript  8 
Linki  179 

Linki wewnętrzne  2 
Linki zewnętrzne  177 
Linki bez atrybutu Title  130 
Linki z atrybutem NOFOLLOW  0 
skip to primary content  #content 

skip to secondary content  #secondary 
mathematical gemstones  http://www.mathematicalgemstones.com/ 

  http://www.mathematicalgemstones.com/ 
home  http://www.mathematicalgemstones.com/ 
about this blog  http://www.mathematicalgemstones.com/about/ 
contribute!  http://www.mathematicalgemstones.com/contribute/ 
all posts  http://www.mathematicalgemstones.com/allposts/ 
older posts  http://www.mathematicalgemstones.com/page/2/ 
ellipses, parabolas, and infinity  http://www.mathematicalgemstones.com/gemstones/ellipsesparabolasandinfinity/ 
http://www.mathematicalgemstones.com/gemstones/ellipsesparabolasandinfinity/  
maria gillespie  http://www.mathematicalgemstones.com/author/maria/ 
reply  http://www.mathematicalgemstones.com/gemstones/ellipsesparabolasandinfinity/#respond 
parabola  https://en.wikipedia.org/wiki/parabola 
projective geometry  http://www.mathematicalgemstones.com/gemstones/opal/geometryoftherealprojectiveplane/ 
ellipse  http://mathworld.wolfram.com/ellipse.html 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2017/01/ellipse1.jpg 
this post  http://www.mathematicalgemstones.com/gemstones/opal/geometryoftherealprojectiveplane/2/ 
projective plane  http://www.mathematicalgemstones.com/gemstones/opal/geometryoftherealprojectiveplane/ 
projective transformation  http://www.mathematicalgemstones.com/gemstones/opal/geometryoftherealprojectiveplane/ 
gemstones  http://www.mathematicalgemstones.com/topics/gemstones/ 
pearl  http://www.mathematicalgemstones.com/topics/gemstones/pearl/ 
leave a reply  http://www.mathematicalgemstones.com/gemstones/ellipsesparabolasandinfinity/#respond 
halloween candy and counting  http://www.mathematicalgemstones.com/gemstones/amber/halloweencandyandcounting/ 
http://www.mathematicalgemstones.com/gemstones/amber/halloweencandyandcounting/  
maria gillespie  http://www.mathematicalgemstones.com/author/maria/ 
reply  http://www.mathematicalgemstones.com/gemstones/amber/halloweencandyandcounting/#respond 
formula for $\binom{a}{b}$  https://en.wikipedia.org/wiki/combination 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/11/halloweencliparthappyhalloweenclipart5.png 
amber  http://www.mathematicalgemstones.com/topics/gemstones/amber/ 
leave a reply  http://www.mathematicalgemstones.com/gemstones/amber/halloweencandyandcounting/#respond 
the structure of the garsiaprocesi modules $r_\mu$  http://www.mathematicalgemstones.com/gemstones/thestructureofthegarsiaprocesimodulesr_mu/ 
http://www.mathematicalgemstones.com/gemstones/thestructureofthegarsiaprocesimodulesr_mu/  
maria gillespie  http://www.mathematicalgemstones.com/author/maria/ 
reply  http://www.mathematicalgemstones.com/gemstones/thestructureofthegarsiaprocesimodulesr_mu/#respond 
springer correspondence series  http://www.mathematicalgemstones.com/gemstones/thespringercorrespondencepartiiihalllittlewoodpolynomials/ 
this post  http://www.mathematicalgemstones.com/gemstones/diamond/diggingdeepertheisotypiccomponents/ 
deconcini and procesi  https://www.researchgate.net/publication/227210219_symmetric_functions_conjugacy_classes_and_the_flag_variety 
tanisaki  https://projecteuclid.org/euclid.tmj/1178229158 
garsia and procesi  http://www.sciencedirect.com/science/article/pii/000187089290034i 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/09/dkmu.jpg 
halllittlewood polynomial  http://www.mathematicalgemstones.com/gemstones/thespringercorrespondencepartiiihalllittlewoodpolynomials/ 
here  https://www.researchgate.net/publication/227210219_symmetric_functions_conjugacy_classes_and_the_flag_variety 
smith normal form  https://en.wikipedia.org/wiki/smith_normal_form 
1  http://www.mathematicalgemstones.com/gemstones/thestructureofthegarsiaprocesimodulesr_mu/ 
2  http://www.mathematicalgemstones.com/gemstones/thestructureofthegarsiaprocesimodulesr_mu/2/ 
diamond  http://www.mathematicalgemstones.com/topics/gemstones/diamond/ 
gemstones  http://www.mathematicalgemstones.com/topics/gemstones/ 
leave a reply  http://www.mathematicalgemstones.com/gemstones/thestructureofthegarsiaprocesimodulesr_mu/#respond 
can you prove it… combinatorially?  http://www.mathematicalgemstones.com/gemstones/canyouproveitcombinatorially/ 
http://www.mathematicalgemstones.com/gemstones/canyouproveitcombinatorially/  
maria gillespie  http://www.mathematicalgemstones.com/author/maria/ 
4  http://www.mathematicalgemstones.com/gemstones/canyouproveitcombinatorially/#comments 
prove it! math academy  http://proveitmath.org/ 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/08/mariagemstones02.jpg 
generating functions  https://en.wikipedia.org/wiki/generating_function 
1  http://www.mathematicalgemstones.com/gemstones/canyouproveitcombinatorially/ 
2  http://www.mathematicalgemstones.com/gemstones/canyouproveitcombinatorially/2/ 
gemstones  http://www.mathematicalgemstones.com/topics/gemstones/ 
opal  http://www.mathematicalgemstones.com/topics/gemstones/opal/ 
4 replies  http://www.mathematicalgemstones.com/gemstones/canyouproveitcombinatorially/#comments 
phinished!  http://www.mathematicalgemstones.com/gemstones/amber/phinished/ 
http://www.mathematicalgemstones.com/gemstones/amber/phinished/  
maria gillespie  http://www.mathematicalgemstones.com/author/maria/ 
reply  http://www.mathematicalgemstones.com/gemstones/amber/phinished/#respond 
my loving and very mathematical family  http://proveitmath.org/instructors/ 
unified field theory  https://en.wikipedia.org/wiki/unified_field_theory 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/05/youngme2.jpg 
being taught by richard stanley  http://wwwmath.mit.edu/~rstan/algcomb/algcomb.pdf 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/05/graph5noblue.jpg 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/05/graph5.jpg 
adjacency matrix  https://en.wikipedia.org/wiki/adjacency_matrix 
trace  https://en.wikipedia.org/wiki/trace_(linear_algebra) 
compute this trace using eigenvalues  https://en.wikipedia.org/wiki/trace_(linear_algebra)#eigenvalue_relationships 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/05/mariagradweb19.jpg 
here  https://math.berkeley.edu/~monks/papers/thesis.pdf 
1  http://www.mathematicalgemstones.com/gemstones/amber/phinished/ 
2  http://www.mathematicalgemstones.com/gemstones/amber/phinished/2/ 
3  http://www.mathematicalgemstones.com/gemstones/amber/phinished/3/ 
amber  http://www.mathematicalgemstones.com/topics/gemstones/amber/ 
diamond  http://www.mathematicalgemstones.com/topics/gemstones/diamond/ 
leave a reply  http://www.mathematicalgemstones.com/gemstones/amber/phinished/#respond 
what do schubert curves, young tableaux, and ktheory have in common? (part iii)  http://www.mathematicalgemstones.com/gemstones/diamond/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonpartiii/ 
http://www.mathematicalgemstones.com/gemstones/diamond/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonpartiii/  
maria gillespie  http://www.mathematicalgemstones.com/author/maria/ 
3  http://www.mathematicalgemstones.com/gemstones/diamond/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonpartiii/#comments 
part i  http://www.mathematicalgemstones.com/gemstones/pearl/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonparti/ 
part ii  http://www.mathematicalgemstones.com/gemstones/diamond/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonpartii/ 
recent paper  http://arxiv.org/pdf/1602.02375.pdf 
here  http://users.ictp.it/~pub_off/lectures/lns023/friedlander/friedlander.pdf 
buch’s paper  http://arxiv.org/pdf/math/0004137v2.pdf 
this post  http://www.mathematicalgemstones.com/gemstones/sapphire/schubertcalculus/ 
part i  http://www.mathematicalgemstones.com/gemstones/pearl/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonparti/ 
part ii  http://www.mathematicalgemstones.com/gemstones/diamond/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonpartii/ 
pechenik and yong  http://arxiv.org/pdf/1603.08490v1.pdf 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/04/kthy1page001.jpg 
part i  http://www.mathematicalgemstones.com/gemstones/pearl/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonparti/ 
here  http://arxiv.org/pdf/1504.06542v1.pdf 
also know  http://arxiv.org/pdf/1504.06542v1.pdf 
diamond  http://www.mathematicalgemstones.com/topics/gemstones/diamond/ 
3 replies  http://www.mathematicalgemstones.com/gemstones/diamond/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonpartiii/#comments 
what do schubert curves, young tableaux, and ktheory have in common? (part ii)  http://www.mathematicalgemstones.com/gemstones/diamond/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonpartii/ 
http://www.mathematicalgemstones.com/gemstones/diamond/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonpartii/  
maria gillespie  http://www.mathematicalgemstones.com/author/maria/ 
reply  http://www.mathematicalgemstones.com/gemstones/diamond/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonpartii/#respond 
last post  http://www.mathematicalgemstones.com/gemstones/pearl/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonparti/ 
schubert calculus  http://www.mathematicalgemstones.com/gemstones/sapphire/schubertcalculus/ 
schubert calculus  http://www.mathematicalgemstones.com/gemstones/sapphire/schubertcalculus/ 
this paper  http://arxiv.org/abs/1504.06542 
part i  http://www.mathematicalgemstones.com/gemstones/pearl/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonparti/ 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/03/newestcoveringmariamodified.png 
diamond  http://www.mathematicalgemstones.com/topics/gemstones/diamond/ 
leave a reply  http://www.mathematicalgemstones.com/gemstones/diamond/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonpartii/#respond 
what do schubert curves, young tableaux, and ktheory have in common? (part i)  http://www.mathematicalgemstones.com/gemstones/pearl/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonparti/ 
http://www.mathematicalgemstones.com/gemstones/pearl/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonparti/  
maria gillespie  http://www.mathematicalgemstones.com/author/maria/ 
reply  http://www.mathematicalgemstones.com/gemstones/pearl/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonparti/#respond 
jake levinson  https://levjake.wordpress.com/ 
mathematical story  http://arxiv.org/abs/1512.06259 
15 puzzle  https://en.wikipedia.org/wiki/15_puzzle 
semistandard young tableaux  http://www.mathematicalgemstones.com/gemstones/sapphire/thehiddenbasis/ 
this post  http://www.mathematicalgemstones.com/gemstones/sapphire/thehiddenbasis/ 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/skewshape.png 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/skewtableau.png 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/jdtslide.gif 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/rectifications1.gif 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/superstandard.png 
littlewoodrichardson rule  https://en.wikipedia.org/wiki/littlewood%e2%80%93richardson_rule 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/lrtableau.png 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/oldomega.gif 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/algorithmphases.gif 
next post  http://www.mathematicalgemstones.com/gemstones/diamond/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonpartii/ 
pearl  http://www.mathematicalgemstones.com/topics/gemstones/pearl/ 
leave a reply  http://www.mathematicalgemstones.com/gemstones/pearl/whatdoschubertcurvesyoungtableauxandktheoryhaveincommonparti/#respond 
what is a $q$analog? (part 2)  http://www.mathematicalgemstones.com/gemstones/opal/whatisaqanalogpart2/ 
http://www.mathematicalgemstones.com/gemstones/opal/whatisaqanalogpart2/  
maria gillespie  http://www.mathematicalgemstones.com/author/maria/ 
reply  http://www.mathematicalgemstones.com/gemstones/opal/whatisaqanalogpart2/#respond 
part 1  http://www.mathematicalgemstones.com/gemstones/opal/whatisaqanalogpart1/ 
generating function  https://en.wikipedia.org/wiki/generating_function 
rational functions  https://en.wikipedia.org/wiki/rational_function 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2015/12/newattempt.jpg 
this post  http://www.mathematicalgemstones.com/gemstones/opal/theqfactorialintermsofthemajorindex/ 
opal  http://www.mathematicalgemstones.com/topics/gemstones/opal/ 
leave a reply  http://www.mathematicalgemstones.com/gemstones/opal/whatisaqanalogpart2/#respond 
what is a $q$analog? (part 1)  http://www.mathematicalgemstones.com/gemstones/opal/whatisaqanalogpart1/ 
http://www.mathematicalgemstones.com/gemstones/opal/whatisaqanalogpart1/  
maria gillespie  http://www.mathematicalgemstones.com/author/maria/ 
4  http://www.mathematicalgemstones.com/gemstones/opal/whatisaqanalogpart1/#comments 
l’hospital’s rule  http://mathworld.wolfram.com/lhospitalsrule.html 
rational functions  https://en.wikipedia.org/wiki/rational_function 
  http://www.mathematicalgemstones.com/wpcontent/uploads/2015/11/croppedpicfixed.jpg 
1  http://www.mathematicalgemstones.com/gemstones/opal/whatisaqanalogpart1/ 
2  http://www.mathematicalgemstones.com/gemstones/opal/whatisaqanalogpart1/2/ 
opal  http://www.mathematicalgemstones.com/topics/gemstones/opal/ 
4 replies  http://www.mathematicalgemstones.com/gemstones/opal/whatisaqanalogpart1/#comments 
older posts  http://www.mathematicalgemstones.com/page/2/ 
ellipses, parabolas, and infinity  http://www.mathematicalgemstones.com/gemstones/ellipsesparabolasandinfinity/ 
halloween candy and counting  http://www.mathematicalgemstones.com/gemstones/amber/halloweencandyandcounting/ 
the structure of the garsiaprocesi modules $r_\mu$  http://www.mathematicalgemstones.com/gemstones/thestructureofthegarsiaprocesimodulesr_mu/ 
can you prove it… combinatorially?  http://www.mathematicalgemstones.com/gemstones/canyouproveitcombinatorially/ 
phinished!  http://www.mathematicalgemstones.com/gemstones/amber/phinished/ 
can you prove it… combinatorially?  http://www.mathematicalgemstones.com/gemstones/canyouproveitcombinatorially/#comment696 
can you prove it… combinatorially?  http://www.mathematicalgemstones.com/gemstones/canyouproveitcombinatorially/#comment695 
can you prove it… combinatorially?  http://www.mathematicalgemstones.com/gemstones/canyouproveitcombinatorially/#comment694 
can you prove it… combinatorially?  http://www.mathematicalgemstones.com/gemstones/canyouproveitcombinatorially/#comment693 
equilateral triangles in the complex plane  http://www.mathematicalgemstones.com/gemstones/opal/equilateraltrianglesinthecomplexplane/#comment692 
gemstones  http://www.mathematicalgemstones.com/topics/gemstones/ 
amber  http://www.mathematicalgemstones.com/topics/gemstones/amber/ 
pearl  http://www.mathematicalgemstones.com/topics/gemstones/pearl/ 
opal  http://www.mathematicalgemstones.com/topics/gemstones/opal/ 
sapphire  http://www.mathematicalgemstones.com/topics/gemstones/sapphire/ 
diamond  http://www.mathematicalgemstones.com/topics/gemstones/diamond/ 
miscellaneous  http://www.mathematicalgemstones.com/topics/misc/ 
log in  http://www.mathematicalgemstones.com/wplogin.php 
entries rss  http://www.mathematicalgemstones.com/feed/ 
comments rss  http://www.mathematicalgemstones.com/comments/feed/ 
wordpress.org  https://wordpress.org/ 
proudly powered by wordpress  http://wordpress.org/ 
Zdjęcia  21 

Zdjęcia bez atrybutu ALT  2 
Zdjęcia bez atrybutu TITLE  21 
http://www.mathematicalgemstones.com/wpcontent/uploads/2017/01/heading2final.jpg
http://www.mathematicalgemstones.com/wpcontent/uploads/2017/01/ellipse1.jpg
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/11/halloweencliparthappyhalloweenclipart5.png
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/09/dkmu.jpg
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/08/mariagemstones02.jpg
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/05/youngme2.jpg
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/05/graph5noblue.jpg
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/05/graph5.jpg
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/05/mariagradweb19.jpg
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/04/kthy1page001.jpg
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/03/newestcoveringmariamodified.png
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/skewshape.png
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/skewtableau.png
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/jdtslide.gif
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/rectifications1.gif
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/superstandard.png
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/lrtableau.png
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/oldomega.gif
http://www.mathematicalgemstones.com/wpcontent/uploads/2016/01/algorithmphases.gif
http://www.mathematicalgemstones.com/wpcontent/uploads/2015/12/newattempt.jpg
http://www.mathematicalgemstones.com/wpcontent/uploads/2015/11/croppedpicfixed.jpg
http://www.mathematicalgemstones.com/wpcontent/uploads/2017/01/heading2final.jpg
http://www.mathematicalgemstones.com/wpcontent/uploads/2017/01/ellipse1.jpg
mathematical gemstones on the quest for mathematical beauty and truth search main menu skip to primary content skip to secondary content homeabout this blog contribute! all posts post navigation ← older posts ellipses, parabolas, and infinity posted on january 9, 2017 by maria gillespie reply a parabola can be defined as the locus of points equidistant from a fixed point (called the focus) and a fixed line (called the directrix). but we know from projective geometry that parabolas and ellipses are essentially the same object. does this mean we can also define an ellipse in terms of a point and a line? while tutoring a high school student recently, we worked through a problem that was essentially showing just that in a special case. remarkably: an ellipse can be defined as the locus of points $p$ for which the distance $pf$ to a focus $f$ is $\alpha$ times the distance from $p$ to a fixed line $\ell$ for some positive real number $\alpha\lt 1$. for instance, if we make $\alpha=1/2$ we would get an ellipse, whereas if $\alpha=1$ then it’s such a large ellipse that it’s a parabola! let’s check the math here. recall that an ellipse is usually defined, synthetically, as the locus of points $p$ in the plane for which the sum of the distances $pf_1+pf_2$ for two fixed foci $f_1$ and $f_2$ is a fixed constant $s$. by translating this condition into coordinates, one can show that if we place an ellipse with its two lines of symmetry aligned with the $x$ and $y$axes (with the wider part on the $x$axis), centered at the origin, then the ellipse will have equation $$(x/b)^2+(y/a)^2=1$$ for some positive real numbers $a$ and $b$ with $a\le b$. for an ellipse $e$ with this equation, the focii $f_1$ and $f_2$ have coordinates $(c,0)$ and $(c,0)$ for some $c$. to find $c$ in terms of $a$ and $b$, we have that the sum of the distances of the point $(b,0)$ to the foci is $bc+bc=2b$, and the sum of the distances of the point $(0,a)$ to the foci is $2\sqrt{a^2+c^2}$ by the pythagorean theorem. therefore $2b=2\sqrt{a^2+c^2}$, and solving we find $c=\sqrt{b^2a^2}$. now, i claim that if we set $\alpha=\frac{\sqrt{b^2a^2}}{b}$ and let $\ell$ be the vertical line $x=b/\alpha$, then $e$ is the locus of points $p$ for which $pf_2$ is $\alpha$ times the distance from $p$ to $\ell$. indeed, let $p=(x,y)$ be a point that has this property. then the distance $pf_2$ is $\sqrt{(x\sqrt{b^2a^2})^2+y^2}$ and the distance from $p$ to $\ell$ is $\frac{b}{\alpha}x$, so we have $$\begin{align*} \sqrt{(x\sqrt{b^2a^2})^2+y^2} &= \alpha\left(\frac{b}{\alpha}x\right) \\ (x\sqrt{b^2a^2})^2+y^2 &= (b\alpha x)^2 \\ x^22x\sqrt{b^2a^2}+b^2a^2+y^2 &= b^22x \sqrt{b^2a^2} + (\alpha x)^2 \\ x^2a^2+y^2 &= \frac{b^2a^2}{b^2}x^2 \\ \frac{a^2}{b^2}x^2 + y^2 &= a^2 \\ \frac{x^2}{b^2} + \frac{y^2}{a^2} &= 1 \end{align*}$$ which is indeed the equation of $e$. a few noteworthy observations: first, it’s remarkable that the focus of the ellipse as defined in terms of the constantsumfromtwofocii definition coincides with the focus that appears in the focusanddirectrix version. this makes one wonder if there is some natural relationship between the focii and this new directrix $\ell$, perhaps in terms of reciprocation (see this post for the definition of reciprocation in a circle.) and indeed, if we apply the transformation $(x,y)\mapsto (x/b,y/a)$, which maps our ellipse $e$ to the unit circle, the point $f_2$ maps to the point $(\alpha,0)$ and $\ell$ becomes the line $x=1/\alpha$, so indeed $f_2$ and $\ell$ form a reciprocal pair! second, consider the degenerate case of a circle, when $a=b$ and so $\alpha=0$. the condition $\alpha=0$ doesn’t really make sense unless we interpret the diagram in the projective plane and allow the directrix to be the line at infinity, which again makes the focus (the center of the circle) be the polar of this line. finally, consider the limit as $b$ approaches $\infty$, so that the ellipse is stretching out further and further until it becomes a parabola. (exercise for the reader: what projective transformation maps an ellipse into a parabola?) in this limit we have $$\lim_{b\to \infty} \alpha = \lim_{b\to \infty} \frac{\sqrt{b^2a^2}}{b}=\sqrt{\lim_{b\to \infty}1(a^2/b^2)}=1,$$ and again we recover the case of a parabola. as a bonus, we find that the focus and directrix of a parabola must be reciprocal to each other across the parabola as well. that’s all for today – a bit of fun with conics to kick off the new year. happy and indivisible 2017! posted in gemstones, pearl  leave a reply halloween candy and counting posted on november 1, 2016 by maria gillespie reply happy halloween! it’s that time of year in which we celebrate ghosts, pumpkins, and fear itself. so, what better time to discuss a very common fear among adults these days: mathematics! if you’re reading this blog, i’m guessing you’re probably already not too afraid of mathematics. but i hope you share this post with people who are somewhat spooked by it but like to face their fears now and then. and let’s face it, even for math lovers, every difficultsounding math problem is always a little scary at first… until you work it out and realize that there’s only beauty behind the mask. i recently made up the following problem for a friend teaching a discrete mathematics class: five kids, dressed as a ghost, a witch, a monster, a skeleton, and a black cat, knock at your door. you open it and welcome them in, but you realize you only have $3$ snickers bars and $3$ kit kats left in your candy stash! since you have $6$ pieces of candy and there are only $5$ kids, you decide to give both a kit kat and a snickers bar to the scariest costume, and then give the remaining four kids one piece each. how many different ways can you choose who to give what candy to? eeek! ghosts and witches! and combinatorics! well, let’s consider. there are $5$ ways you can decide on the scariest costume, since there are $5$ kids to choose from. but for each of those choices, you also have to pick which two of the remaining four get the kit kat and which two get the snickers. to make this a little easier, suppose we picked the ghost as the scariest, and so we have to choose which two of the witch, monster, skeleton, and cat get the snickers bars (and then the other two will get the kit kat). well, we could pick one of the following options: 1. witch and monster 2. witch and skeleton 3. witch and cat 4. monster and skeleton 5. monster and cat 6. skeleton and cat. (notice that i ordered these by first choosing all those that can pair with the witch, and then all those without the witch, to make sure i didn’t miss any.) so there are $6$ ways to choose who gets the snickers and who gets the kit kats, assuming we chose ghost as scariest. but this is the same computation no matter who of the $5$ we chose as scariest. if we chose the witch as scariest there would still be $6$ possibilities, and same for the other three. therefore, there are $5\cdot 6=30$ total possibilities. the nice thing here is that there’s a known formula for computing the $6$ possibilities for the kit kats and snickers – the number of ways of choosing $2$ things out of $4$ things is written $\binom{4}{2}$, pronounced “four choose two”. the formula for $\binom{a}{b}$, the number of ways to choose $b$ things from $a$ things, is known to be $\frac{a!}{b!\cdot (ab)!}$ where $n!$ means the product of all the numbers from $1$ to $n$. so to compute $\binom{4}{2}$, we just compute $$\frac{4!}{2!\cdot 2!}=\frac{1\cdot 2 \cdot 3 \cdot 4}{1\cdot 2 \cdot 1\cdot 2}=6.$$ this is a shortcut for counting the possibilities without listing them all out. can you see why the formula for computing $\binom{a}{b}$ is true? posted in amber  leave a reply the structure of the garsiaprocesi modules $r_\mu$ posted on september 23, 2016 by maria gillespie reply somehow, in all the time i’ve posted here, i’ve not yet described the structure of my favorite graded $s_n$modules. i mentioned them briefly at the end of the springer correspondence series, and talked in depth about a particular one of them – the ring of coinvariants – in this post, but it’s about time for… the garsiaprocesi modules! also known as the cohomology rings of the springer fibers in type $a$, or as the coordinate ring of the intersection of the closure of a nilpotent conjugacy class of $n\times n$ matrices with a torus, with a link between these two interpretations given in a paper of deconcini and procesi. but the work of tanisaki, and garsia and procesi, allows us to work with these modules in an entirely elementary way. using tanisaki’s approach, we can define $$r_{\mu}=\mathbb{c}[x_1,\ldots,x_n]/i_{\mu},$$ where $i_{\mu}$ is the ideal generated by the partial elementary symmetric functions defined as follows. recall that the elementary symmetric function $e_d(z_1,\ldots,z_k)$ is the sum of all squarefree monomials of degree $d$ in the set of variables $z_i$. let $s\subset\{x_1,\ldots,x_n\}$ with $s=k$. then the elementary symmetric function $e_r(s)$ in this subset of the variables is called a partial elementary symmetric function, and we have $$i_{\mu}=(e_r(s) : kd_k(\mu) \lt r \le k, s=k).$$ here, $d_k(\mu)=\mu’_n+\mu’_{n1}+\cdots+ \mu’_{nk+1}$ is the number of boxes in the last $k$ columns of $\mu$, where we pad the transpose partition $\mu’$ with $0$’s so that it has $n$ parts. this ring $r_\mu$ inherits the natural action of $s_n$ on $\mathbb{c}[x_1,\ldots,x_n]$ by permuting the variables, since $i_\mu$ is fixed under this action. since $i_\mu$ is also a homogeneous ideal, $r_\mu$ is a graded $s_n$module, graded by degree. to illustrate the construction, suppose $n=4$ and $\mu=(3,1)$. then to compute $i_{\mu}$, first consider subsets $s$ of $\{x_1,\ldots,x_4\}$ of size $k=1$. we have $d_1(\mu)=0$ since the fourth column of the young diagram of $\mu$ is empty (see image below), and so in order for $e_r(s)$ to be in $i_\mu$ we must have $10\lt r \le 1$, which is impossible. so there are no partial elementary symmetric functions in $1$ variable in $i_\mu$. for subsets $s$ of size $k=2$, we have $d_2(\mu)=1$ since there is one box among the last two columns (columns $3$ and $4$) of $\mu$, and we must have $21\lt r\le 2$. so $r$ can only be $2$, and we have the partial elementary symmetric functions $e_2(s)$ for all subsets $s$ of size $2$. this gives us the six polynomials $$x_1x_2,\hspace{0.3cm} x_1x_3,\hspace{0.3cm} x_1x_4,\hspace{0.3cm} x_2x_3,\hspace{0.3cm} x_2x_4,\hspace{0.3cm} x_3x_4.$$ for subsets $s$ of size $k=3$, we have $d_3(\mu)=2$, and so $32 \lt r\le 3$. we therefore have $e_2(s)$ and $e_3(s)$ for each such subset $s$ in $i_\mu$, and this gives us the eight additional polynomials $$x_1x_2+x_1x_3+x_2x_3, \hspace{0.5cm}x_1x_2+x_1x_4+x_2x_4,$$ $$x_1x_3+x_1x_4+x_3x_4,\hspace{0.5cm} x_2x_3+x_2x_4+x_3x_4,$$ $$x_1x_2x_3, \hspace{0.4cm} x_1x_2x_4, \hspace{0.4cm} x_1x_3x_4,\hspace{0.4cm} x_2x_3x_4$$ finally, for $s=\{x_1,x_2,x_3,x_4\}$, we have $d_4(\mu)=4$ and so $44\lt r\le 4$. thus all of the full elementary symmetric functions $e_1,\ldots,e_4$ in the four variables are also relations in $i_{\mu}$. all in all we have $$\begin{align*} i_{(3,1)}= &(e_2(x_1,x_2), e_2(x_1,x_3),\ldots, e_2(x_3,x_4), \\ & e_2(x_1,x_2,x_3), \ldots, e_2(x_2,x_3,x_4), \\ & e_3(x_1,x_2,x_3), \ldots, e_3(x_2,x_3,x_4), \\ & e_1(x_1,\ldots,x_4), e_2(x_1,\ldots,x_4), e_3(x_1,\ldots,x_4), e_4(x_1,\ldots,x_4)) \end{align*}$$ as two more examples, it’s clear that $r_{(1^n)}=\mathbb{c}[x_1,\ldots,x_n]/(e_1,\ldots,e_n)$ is the ring of coninvariants under the $s_n$ action, and $r_{(n)}=\mathbb{c}$ is the trivial representation. so $r_\mu$ is a generalization of the coinvariant ring, and in fact the graded frobenius characteristic of $r_\mu$ is the halllittlewood polynomial $\widetilde{h}_\mu(x;q)$. where do these relations come from? the rings $r_\mu$ were originally defined as follows. let $a$ be a nilpotent $n\times n$ matrix over $\mathbb{c}$. then $a$ has all $0$ eigenvalues, and so it is conjugate to a matrix in jordan normal form whose jordan blocks have all $0$’s on the diagonal. the sizes of the jordan blocks, written in nonincreasing order form a partition $\mu’$, and this partition uniquely determines the conjugacy class of $a$. in other words: there is exactly one nilpotent conjugacy class $c_{\mu’}$ in the space of $n\times n$ matrices for each partition $\mu’$ of $n$. the closures of these conjugacy classes $\overline{c_{\mu’}}$ form closed matrix varieties, and their coordinate rings were studied here. however, they are easier to get a handle on after intersecting with the set $t$ of diagonal matrices, leading to an interesting natural question: what is the subvariety of diagonal matrices in the closure of the nilpotent conjugacy class $c_{\mu’}$? defining $r_\mu=\mathcal{o}(\overline{c_{\mu’}}\cap t)$, we obtain the same modules as above. tanisaki found the presentation for $r_\mu$ given above using roughly the following argument. consider the matrix $ati$, where $a\in c_{\mu’}$. then one can show (see, for instance, the discussion of invariant factors and elementary divisors in the article on smith normal form on wikipedia) that the largest power of $t$ dividing all of the $k\times k$ minors of $ati$, say $t^{d_k}$, is fixed under conjugation, so we can assume $a$ is in jordan normal form. then it’s not hard to see, by analyzing the jordan blocks, that this power of $t$ is $t^{d_k(\mu)}$ where $\mu$ is the transpose partition of $\mu’$ and $d_k(\mu)$ is defined as above – the sums of the ending columns of $\mu$. it follows that any element of the closure of $c_\mu$ must also have this property, and so if $x=\mathrm{diag}(x_1,\ldots,x_n)\in \overline{c_\mu}\cap t$ then we have $$t^{d_k(\mu)}  (x_{i_1}t)(x_{i_2}t)\cdots (x_{i_k}t)$$ for any subset $s=\{x_{i_1},\ldots,x_{i_k}\}$ of $\{x_1,\ldots,x_n\}$. expanding the right hand side as a polynomial in $t$ using vieta’s formulas, we see that the elementary symmetric functions $e_r(s)$ vanish on $x$ as soon as $r \gt kd_k(\mu)$, which is exactly the relations that describe $i_\mu$ above. it takes somewhat more work to prove that these relations generate the entire ideal, but this can be shown by showing that $r_\mu$ has the right dimension, namely the multinomial coefficient $\binom{n}{\mu}$. and for that, we’ll discuss on page 2 the monomial basis of garsia and procesi. pages: 1 2 posted in diamond, gemstones  leave a reply can you prove it… combinatorially? posted on august 12, 2016 by maria gillespie 4 this year’s prove it! math academy was a big success, and it was an enormous pleasure to teach the seventeen talented high school students that attended this year. some of the students mentioned that they felt even more inspired to study math further after our twoweek program, but the inspiration went both ways – they inspired me with new ideas as well! one of the many, many things we investigated at the camp was the fibonacci sequence, formed by starting with the two numbers $0$ and $1$ and then at each step, adding the previous two numbers to form the next: $$0,1,1,2,3,5,8,13,21,\ldots$$ if $f_n$ denotes the $(n+1)$st term of this sequence (where $f_0=0$ and $f_1=1$), then there is a remarkable formula for the $n$th term, known as binet’s formula: $$f_n=\frac{1}{\sqrt{5}}\left( \left(\frac{1+\sqrt{5}}{2}\right)^n – \left(\frac{1\sqrt{5}}{2}\right)^n \right)$$ looks crazy, right? why would there be $\sqrt 5$’s showing up in a sequence of integers? at prove it!, we first derived the formula using generating functions. i mentioned during class that it can also be proven by induction, and later, one of our students was trying to work out the induction proof on a white board outside the classroom. she was amazed how many different proofs there could be of the same fact, and it got me thinking: what if we expand each of the terms using the binomial theorem? is there a combinatorial proof of the resulting identity? in particular, suppose we use the binomial theorem to expand $(1+\sqrt{5})^n$ and $(1\sqrt{5})^n$ in binet’s formula. the resulting expression is: $$f_n=\frac{1}{\sqrt{5}\cdot 2^n}\left( \left(\sum_{i=0}^n \binom{n}{i}(\sqrt{5})^i \right) – \left(\sum_{i=0}^n (1)^i\binom{n}{i}(\sqrt{5})^i \right) \right)$$ note that the even terms in the two summations cancel, and combining the odd terms gives us: $$f_n=\frac{1}{\sqrt{5}\cdot 2^n}\left( \sum_{k=0}^{\lfloor n/2\rfloor} 2 \binom{n}{2k+1}(\sqrt{5})^{2k+1} \right)$$ since $(\sqrt{5})^{2k+1}=\sqrt{5}\cdot 5^k$, we can cancel the factors of $\sqrt{5}$ and multiply both sides by $2^{n1}$ to obtain: $$2^{n1}\cdot f_n=\sum_{k=0}^{\lfloor n/2\rfloor} \binom{n}{2k+1}\cdot 5^k.$$ now, the left hand and right hand side are clearly nonnegative integers, and one handy fact about nonnegative integers is that they count the number of elements in some collection. the proof method of counting in two ways is the simple principle that if by some method one can show that a collection $a$ has $n$ elements, and by another method one can show that $a$ has $m$ elements, then it follows that $m=n$. such a “combinatorial proof” may be able to be used to prove the identity above, with $m$ being the left hand side of the equation and $n$ being the right. i started thinking about this after prove it! ended, and remembered that the $(n+1)$st fibonacci number $f_n$ counts the number of ways to color a row of $n2$ fenceposts either black or white such that no two adjacent ones are black. (can you see why this combinatorial construction would satisfy the fibonacci recurrence?) for instance, we have $f_5=5$, because there are five such colorings of a row of $3$ fenceposts: $$\begin{array}{ccc} \square & \square & \square \\ \\ \square & \square & \blacksquare \\ \\ \square & \blacksquare & \square \\ \\ \blacksquare & \square & \square \\ \\ \blacksquare & \square & \blacksquare \end{array}$$ note also that $2^{n1}$ counts the number of length$(n1)$ sequences of $0$’s and $1$’s. thus, the left hand side of our identity, $2^{n1}\cdot f_n$, counts the number of ways of choosing a binary sequence of length $n1$ and also a fence post coloring of length $n2$. because of their lengths, given such a pair we can interlace their entries, forming an alternating sequence of digits and fence posts such as: $$1\, \square\, 0\, \square\, 1\, \blacksquare\, 1$$ we will call such sequences interlaced sequences. we now need only to show that the right hand side also counts these interlaced sequences. see the next page for my solution, or post your own solution in the comments below! pages: 1 2 posted in gemstones, opal  4 replies phinished! posted on may 24, 2016 by maria gillespie reply sometimes it’s the missteps in life that lead to the greatest adventures down the road. for me, my pursuit of a ph.d. in mathematics, specifically in algebraic combinatorics, might be traced back to my freshman year as an undergraduate at mit. coming off of a series of successes in high school math competitions and other sciencerelated endeavors (thanks to my loving and very mathematical family!), i was a confident and excited 18year old whose dream was to become a physicist and use my mathematical skills to, i don’t know, come up with a unified field theory or something. me at the age of 18ish. but i loved pure math too, and a number of my friends were signed up for the undergraduate algebraic combinatorics class in the spring, so my young ambitious self added it to my already packed course load. i had no idea what “algebraic combinatorics” even meant, but i did hear that it was being taught by richard stanley, a world expert in the area. how could i pass up that chance? what if he didn’t teach it again before i left mit? on the first day of the class, stanley started with a simple combinatorial question. it was something like the following: in a complete graph with $n$ vertices, how many walks of length $k$ starting at vertex $v$ end up back at vertex $v$ on the last step? for instance, if $n=5$ and $k=2$, the graph looks like: and there are four closed walks of length two, from $v$ to any other vertex and back again: there is an elementary (though messy) way to solve this, but stanley went forth with an algebraic proof. he considered the adjacency matrix $a$ of the complete graph, and showed that the total number of loops of length $k$ starting from any vertex is the trace of $a^k$. one can then compute this trace using eigenvalues and divide by $n$ to get the number of loops starting at $v$. beautiful! i remember sitting in my seat, wideeyed, watching richard stanley quietly but authoritatively discuss the technique. it was incredible to me that advanced tools from linear algebra could be used to so elegantly solve such a simple, concrete problem. to use a term from another area of algebraic combinatorics, i was hooked. but i was also a freshman, and didn’t yet have a strong grasp of some of the other algebraic concepts being used in the course. i studied hard but wound up with a b+ in the class. me, get a b+ in a math class? i was horrified, my 18yearold littlemissperfect confidence shattered. now, not only was i fascinated with the subject, i gained respect for it. it was a worthy challenge, and i couldn’t help but come back for more. in the years that followed, i took more courses on similar subjects and wrote several undergraduate research papers. i dabbled in other areas as well, but was always drawn back to the interplay between combinatorics and algebra. i now find myself, as of friday, may 20, 2016, having completed my ph.d. at uc berkeley on a topic in algebraic combinatorics… …and i often wonder how much that silly little b+ motivated me throughout the years. (see page 2 for a summary of my thesis. my full thesis can be found here.) pages: 1 2 3 posted in amber, diamond  leave a reply what do schubert curves, young tableaux, and ktheory have in common? (part iii) posted on april 5, 2016 by maria gillespie 3 this is the third and final post in our expository series of posts (see part i and part ii) on the recent paper coauthored by jake levinson and myself. last time, we discussed the fact that the operator $\omega$ on certain young tableaux is actually the monodromy operator of a certain covering map from the real locus of the schubert curve $s$ to $\mathbb{rp}^1$. now, we’ll show how our improved algorithm for computing $\omega$ can be used to approach some natural questions about the geometry of the curve $s$. for instance, how many (complex) connected components does $s$ have? what is its genus? is $s$ a smooth (complex) curve? the genus of $s$ the arithmetic genus of a connected curve $s$ can be defined as $g=1\chi(\mathcal{o}_s)$ where $$\chi(\mathcal{o}_s)=\dim h^0(\mathcal{o}_s)\dim h^1(\mathcal{o}_s)$$ is the euler characteristic and $\mathcal{o}_s$ is the structure sheaf. so, to compute the genus it suffices to compute the euler characteristic, which can alternatively be defined in terms of the $k$theory of the grassmannian. the $k$theory ring $k(\mathrm{gr}(n,k))$ the $k$theory ring $k(x)$ of a scheme $x$ is defined as follows. first, consider the free abelian group $g$ generated by isomorphism classes of locally free coherent sheaves (a.k.a. vector bundles) on $x$. then define $k(x)$, as a group, to be the quotient of $g$ by “short exact sequences”, that is, the quotient $g/h$ where $h$ is the subgroup generated by expressions of the form $[\mathcal{e}_1]+[\mathcal{e}_2][\mathcal{e}]$ where $0\to \mathcal{e}_1 \to \mathcal{e} \to \mathcal{e}_2 \to 0$ is a short exact sequence of vector bundles on $x$. this gives the additive structure on $k(x)$, and the tensor product operation on vector bundles makes it into a ring. it turns out that, in the case that $x$ is smooth (such as a grassmannian!) then we get the exact same ring if we remove the “locally free” restriction and consider coherent sheaves modulo short exact sequences. where does this construction come from? well, a simpler example of $k$theory is the construction of the grothendieck group of an abelian monoid. consider an abelian monoid m (recall that a monoid is a set with an associative binary operation and an identity element, like a group without inverses). we can construct an associated group $k(m)$ by taking the quotient free abelian group generated by elements $[m]$ for $m\in m$ by the subgroup generated by expressions of the form $[m]+[n][m+n]$. so, for instance, $k(\mathbb{n})=\mathbb{z}$. in a sense we are groupifying monoids. the natural monoidal operation on vector spaces is $\oplus$, so if $x$ is a point, then all short exact sequences split and the $k$theory ring $k(x)$ is the grothendieck ring of this monoid. a good exposition on the basics of $k$theory can be found here, and for the $k$theory of grassmannians, see buch’s paper. for now, we’ll just give a brief description of how the $k$theory of the grassmannian works, and how it gives us a handle on the euler characteristic of schubert curves. recall from this post that the cw complex structure given by the schubert varieties shows that the classes $[\omega_\lambda]$, where $\lambda$ is a partition fitting inside a $k\times (nk)$ rectangle, generate the cohomology ring $h^\ast(\mathrm{gr}(n,k))$. similarly, the $k$theory ring is a filtered ring generated by the classes of the coherent sheaves $[\mathcal{o}_{\lambda}]$ where if $\iota$ is the inclusion map $\iota:\omega_\lambda\to \mathrm{gr}(n,k)$, then $\mathcal{o}_\lambda=\iota_\ast \mathcal{o}_{\omega_\lambda}$. multiplication of these basic classes is given by a variant of the littlewoodrichardson rule: $$[\mathcal{o}_\lambda]\cdot [\mathcal{o}_\nu]=\sum_\nu (1)^{\nu\lambda\mu}c^\nu_{\lambda\mu}[\mathcal{o}_\nu]$$ where if $\nu=\lambda+\mu$ then $c^{\nu}_{\lambda\mu}$ is the usual littlewoodrichardson coefficient. if $\nu\lambda+\mu$ then $c^{\nu}_{\lambda\mu}$ is a nonnegative integer. we will refer to these nonnegative values as $k$theory coefficients. $k$theory and the euler characteristic the $k$theory ring is especially useful in computing euler characteristics. it turns out that the euler characteristic gives an (additive) group homomorphism $\chi:k(x)\to \mathbb{z}$. to show this, it suffices to show that if $0\to \mathcal{a}\to \mathcal{b}\to \mathcal{c}\to 0$ is a short exact sequence of coherent sheaves on $x$, then $\chi(\mathcal{a})+\chi(\mathcal{c})\chi(\mathcal{b})=0$. indeed, such a short exact sequence gives rise to a long exact sequence in cohomology: $$ \begin{array}{cccccc} & h^0(\mathcal{a}) & \to & h^0(\mathcal{b}) & \to & h^0(\mathcal{c}) \\ \to &h^1(\mathcal{a}) & \to & h^1(\mathcal{b}) & \to & h^1(\mathcal{c}) \\ \to &h^2(\mathcal{a}) & \to & h^2(\mathcal{b}) & \to & h^2(\mathcal{c}) \\ \cdots & & & & & \end{array} $$ and the alternating sum of the dimensions of any exact sequence must be zero. thus we have $$\begin{eqnarray*}0&=&\sum_i (1)^i\dim h^i(\mathcal{a})\sum_i (1)^i\dim h^i(\mathcal{b})+\sum_i (1)^i\dim h^i(\mathcal{c}) \\ &=&\chi(\mathcal{a})+\chi(\mathcal{c})\chi(\mathcal{b})\end{eqnarray*}$$ as desired. therefore, it makes sense to talk about the euler characteristic of a class of coherent sheaves in $k(x)$. in fact, in our situation, we have a closed subset $s$ of $x=\mathrm{gr}(n,k)$, say with inclusion map $j:s\to x$, and so the euler characteristic of the pushforward $j_\ast\mathcal{o}_s$ is equal to $\chi(\mathcal{o}_s)$ itself. we can now compute the euler characteristic $\chi(j_\ast\mathcal{o}_s)$ using the structure of the $k$theory ring of the grassmannian. indeed, $s$ is the intersection of schubert varieties indexed by the three partitions $\alpha$, $\beta$, and $\gamma$ (see part i). so in the $k$theory ring, if we identify structure sheaves of closed subvarieties with their pushforwards under inclusion maps, we have $$[\mathcal{o}_s]=[\mathcal{o}_\alpha]\cdot [\mathcal{o}_\beta]\cdot [\mathcal{o}_\gamma].$$ by the $k$theoretic littlewoodrichardson rule described above, this product expands as a sum of integer multiples of classes $[\mathcal{o}_\nu]$ where $\nu\ge \alpha+\beta+\gamma$. but in our setup we have $\alpha+\beta+\gamma=k(nk)1$, so $\nu$ is either the entire $k\times (nk)$ rectangle (call this $\rho$) or it is the rectangle minus a single box (call this $\rho’$). in other words, we have: $$[\mathcal{o}_s]=c^{\rho’}_{\alpha,\beta,\gamma}[\mathcal{o}_{\rho’}]k[\mathcal{o}_{\rho}]$$ where $k$ is an integer determined by the $k$theory coefficients. notice that $c^{\rho’}_{\alpha,\beta,\gamma}$ is the usual littlewoodrichardson coefficient, and counts exactly the size of the fibers (the set $\omega$ acts on) in our map from part ii. let’s call this number $n$. finally, notice that $\omega_\rho$ and $\omega_{\rho’}$ are a point and a copy of $\mathbb{p}^1$ respectively, and so both have euler characteristic $1$. it follows that $$\chi(\mathcal{o}_s)=nk.$$ going back to the genus, we see that if $s$ is connected, we have $g=1\chi(\mathcal{o}_s)=k(n1)$. computing $k$ in terms of $\omega$ the fascinating thing about our algorithm for $\omega$ is that certain steps of the algorithm combinatorially correspond to certain tableaux that enumerate the $k$theory coefficients, giving us information about the genus of $s$. these tableaux are called “genomic tableaux”, and were first introduced by pechenik and yong. in our case, the genomic tableaux that enumerate $k$ can be defined as follows. the data of a tableau $t$ and two marked squares $\square_1$ and $\square_2$ in $t$ is a genomic tableau if: the marked squares are nonadjacent and contain the same entry $i$, there are no $i$’s between $\square_1$ and $\square_2$ in the reading word of $t$, if we delete either $\square_1$ or $\square_2$, every suffix of the resulting reading word is ballot (has more $j$’s than $j+1$’s for all $j$). for instance, consider the following tableaux with two marked (shaded) squares: property 1 means that the fourth tableau is not genomic: the marked squares, while they do contain the same entry, are adjacent squares. the first tableau above violates property 2, because there is a $2$ between the two marked $2$’s in reading order. finally, the second tableau above violates property 3, because if we delete the top marked $1$ then the suffix $221$ is not ballot. the third tableau above satisfies all three properties, and so it is genomic. finally, consider the algorithm for $\omega$ described in part i. jake and i discovered that the steps in phase 1 in which the special box does not move to an adjacent square are in bijective correspondence with the $k$theory tableau of the total skew shape $\gamma^c/\alpha$ and content $\beta$ (where the marked squares only add $1$ to the total number of $i$’s). the correspondence is formed by simply filling the starting and ending positions of the special box with the entry $i$ that it moved past, and making these the marked squares of a genomic tableau. in other words: the $k$theory coefficient $k$ is equal to the number of nonadjacent moves in all phase 1’s of the local algorithm for $\omega$. geometric consequences this connection allows us to get a handle on the geometry of the schubert curves $s$ using our new algorithm. as one illuminating example, let’s consider the case when $\omega$ is the identity permutation. it turns out that the only way for $\omega$ to map a tableau back to itself is if phase 1 consists of all vertical slides and phase 2 is all horizontal slides; then the final shuffle step simply reverses these moves. this means that we have no nonadjacent moves, and so $k=0$ in this case. since $\omega$, the monodromy operator on the real locus, is the identity, we also know that the number of real connected components is equal to $n$, which is an upper bound on the number of complex connected components (see here), which in turn is an upper bound on the euler characteristic $\chi(\mathcal{o}_s)=\dim h^0(\mathcal{o}_s)\dim h^1(\mathcal{o}_s)$. but the euler characteristic is equal to $n$ in this case, and so there must be $n$ complex connected components, one for each of the real connected components. it follows that $\dim h^1(\mathcal{o}_s)=0$, so the arithmetic genus of each of these components is zero. we also know each of these components is integral, and so they must each be isomorphic to $\mathbb{cp}^1$ (see hartshorne, section 4.1 exercise 1.8). we have therefore determined the entire structure of the complex schubert curve $s$ in the case that $\omega$ is the identity map, using the connection with $k$theory described above. similar analyses lead to other geometric results: we have also shown that the schubert curves $s$ can have arbitrarily high genus, and can arbitrarily many complex connected components, for various values of $\alpha$, $\beta$, and $\gamma$. so, what do schubert curves, young tableaux, and $k$theory have in common? a little monodromy operator called $\omega$. posted in diamond  3 replies what do schubert curves, young tableaux, and ktheory have in common? (part ii) posted on march 18, 2016 by maria gillespie reply in the last post, we discussed an operation $\newcommand{\box}{\square} \omega$ on skew littlewoodrichardson young tableaux with one marked inner corner, defined as a commutator of rectification and shuffling. as a continuation, we’ll now discuss where this operator arises in geometry. schubert curves: relaxing a restriction recall from our post on schubert calculus that we can use schubert varieties to answer the question: given four lines $\ell_1,\ell_2,\ell_3,\ell_4\in \mathbb{c}\mathbb{p}^3$, how many lines intersect all four of these lines in a point? in particular, given a complete flag, i.e. a chain of subspaces $$0=f_0\subset f_1\subset\cdots \subset f_m=\mathbb{c}^m$$ where each $f_i$ has dimension $i$, the schubert variety of a partition $\lambda$ with respect to this flag is a subvariety of the grassmannian $\mathrm{gr}^n(\mathbb{c}^m)$ defined as $$\omega_{\lambda}(f_\bullet)=\{v\in \mathrm{gr}^n(\mathbb{c}^m)\mid \dim v\cap f_{n+i\lambda_i}\ge i.\}$$ here $\lambda$ must fit in a $k\times (nk)$ box in order for the schubert variety to be nonempty. in the case of the question above, we can translate the question into an intersection problem in $\mathrm{gr}^2(\mathbb{c}^4)$ with four general twodimensional subspaces $p_1,p_2,p_3,p_4\subset \mathbb{c}^4$, and construct complete flags $f_\bullet^{(1)},f_\bullet^{(2)},f_\bullet^{(3)},f_\bullet^{(4)}$ such that their second subspace $f^{(i)}_2$ is $p_i$ for each $i=1,2,3,4$. then the intersection condition is the problem of finding a plane that intersects all $p_i$’s in a line. the variety of all planes intersecting $p_i$ in a line is $\omega_\box(f_\bullet^{(i)})$ for each $i$, and so the set of all solutions is the intersection $$\omega_\box(f_\bullet^{(1)})\cap \omega_\box(f_\bullet^{(2)})\cap \omega_\box(f_\bullet^{(3)})\cap \omega_\box(f_\bullet^{(4)}).$$ and, as discussed in our post on schubert calculus, since the $k\times(nk)$ box has size $4$ in $\mathrm{gr}^2(\mathbb{c}^4)$ and the four partitions involved have sizes summing to $4$, this intersection has dimension $0$. the littlewoodrichardson rule then tells us that the number of points in this zerodimensional intersection is the littlewoodrichardson coefficient $c_{\box,\box,\box,\box}^{(2,2)}$. what happens if we relax one of the conditions in the problem, so that we are only intersecting three of the schubert varieties above? in this case we get a oneparameter family of solutions, which we call a schubert curve. to define a schubert curve in general, we require a sufficiently “generic” choice of $r$ flags $f_\bullet^{(1)},\ldots, f_\bullet^{(r)}$ and a list of $r$ partitions $\lambda^{(1)},\ldots,\lambda^{(r)}$ (fitting inside the $k\times (nk)$ box) whose sizes sum to $k(nk)1$. it turns out that one can choose any flags $f_\bullet$ defined by the iterated derivatives at chosen points on the rational normal curve, defined by the locus of points of the form $$(1:t:t^2:t^3:\cdots:t^{n1})\in \mathbb{cp}^n$$ (along with the limiting point $(0:0:\cdots:1)$.) in particular, consider the flag whose $k$th subspace $f_k$ is the span of the first $k$ rows of the matrix of iterated derivatives at the point on this curve parameterized by $t$: $$\left(\begin{array}{cccccc} 1 & t & t^2 & t^3 & \cdots & t^{n1} \\ 0 & 1 & 2t & 3t^2 & \cdots & (n1) t^{n2} \\ 0 & 0 & 2 & 6t & \cdots & \frac{(n1)!}{(n3)!} t^{n3} \\ 0 & 0 & 0 & 6 & \cdots & \frac{(n1)!}{(n4)!} t^{n3} \\ \vdots & \vdots & \vdots & \vdots &\ddots & \vdots \\ 0 & 0 & 0 & 0 & \cdots & (n1)! \end{array}\right)$$ this is called the osculating flag at the point $t$, and if we pick a number of points on the curve and choose their osculating flag, it turns out that they are in sufficiently general position in order for the schubert intersections to have the expected dimension. so, we pick some number $r$ of these osculating flags, and choose exactly $r$ partitions $\lambda^{(1)},\ldots,\lambda^{(r)}$ with sizes summing to $k(nk)1$. intersecting the resulting schubert varieties defines a schubert curve $s$. a covering map in order to get a handle on these curves, we consider the intersection of $s$ with another schubert variety of a single box, $\omega_\box(f_\bullet)$. in particular, after choosing our $r$ osculating flags, choose an $(r+1)$st point $t$ on the rational normal curve and choose the singlebox partition $\lambda=(1)$. intersecting the resulting schubert variety $\omega_\box(f_\bullet)$ with our schubert curve $s$ gives us a zerodimensional intersection, with the number of points given by the littlewoodrichardson coefficient $c:=c^{b}_{\lambda^{(1)},\ldots,\lambda^{(r)},\box}$ where $b=((nk)^k)$ is the $k\times (nk)$ box partition. by varying the choice of $t$, we obtain a partition of an open subset of the schubert curve into sets of $c$ points. we can then define a map from this open subset of $s$ to the points of $\mathbb{cp}^1$ for which the preimage of $(1:t)$ consists of the $c$ points in the intersection given by choosing the $(r+1)$st point to be $(1:t:t^2:t^3:\cdots:t^{n1})$. in this paper written by my coauthor jake levinson, it is shown that if we choose all $r+1$ points to be real, then this can be extended to a map $s\to \mathbb{cp}^1$ for which the real locus $s(\mathbb{r})$ is a smooth, finite covering of $\mathbb{rp}^1$. the fibers of this map have size $c=c^{b}_{\lambda^{(1)},\ldots,\lambda^{(r)},\box}$. note that this littlewoodrichardson coefficient counts the number of ways of filling the box $b$ with skew littlewoodrichardson tableaux with contents $\lambda^{(1)},\ldots,\lambda^{(r)},\box$ such that each skew shape extends the previous shape outwards. in addition, by the symmetry of littlewoodrichardson coefficients, it doesn’t matter what order in which we use the partitions. it turns out that there is a canonical way of labeling the fibers by these chains of tableaux, for which the monodromy of the covering is described by shuffling operators. let’s be more precise, and consider the simplest interesting case, $r=3$. we have three partitions $\alpha$, $\beta$, and $\gamma$ such that $$\alpha+\beta+\gamma=k(nk)1=b1.$$ let’s choose, for simplicity, the three points $0$, $1$, and $\infty$ to define the respective osculating flags. then we can label the points in the fiber $f^{1}(0)$ of the map $f:s\to \mathbb{rp}^1$ by the fillings of the box with a chain of littlewoodrichardson tableaux of contents $\alpha$, $\box$, $\beta$, and $\gamma$ in that order. note that there is only one littlewoodrichardson tableau of straight shape and content $\alpha$, and similarly for the antistraight shape $\gamma$, so the data here consists of a skew littlewoodrichardson tableau of content $\beta$ with an inner corner chosen to be the marked box. this is the same object that we were considering in part i. now, we can also label the fiber $f^{1}(1)$ by the chains of contents $\box$, $\alpha$, $\beta$, and $\gamma$ in that order, and finally label the fiber $f^{1}(\infty)$ by the chains of contents $\alpha$, $\beta$, $\box$, and $\gamma$ in that order, in such a way that if we follow the curve $s$ along an arc from a point in $f^{1}(0)$ to $f^{1}(1)$ or similarly from $1$ to $\infty$ or $\infty$ to $0$, then then the map between the fibers is given by the shuffling operations described in the last post! in particular if we follow the arc from $0$ to $\infty$ that passes through $1$, the corresponding operation on the fibers is given by the “evacuationshuffle”, or the first three steps of the operator $\omega$ described in the previous post. the arc from $\infty$ back to $0$ on the other side is given by the “shuffle” of the $\box$ past $\beta$, which is the last step of $\omega$. all in all, $\omega$ gives us the monodromy operator on the zero fiber $f^{1}(0)$. the following picture sums this up: so, the real geometry of the schubert curve boils down to an understanding of the permutation $\omega$. our local algorithm allows us to get a better handle on the orbits of $\omega$, and hence tell us things about the number of real connected components, the lengths of these orbits, and even in some cases the geometry of the complex curve $s$. next time, i’ll discuss some of these consequences, as well as some fascinating connections to the $k$theory of the grassmannian. stay tuned! posted in diamond  leave a reply what do schubert curves, young tableaux, and ktheory have in common? (part i) posted on january 18, 2016 by maria gillespie reply in a recent and fantastic collaboration between jake levinson and myself, we discovered new links between several different geometric and combinatorial constructions. we’ve weaved them together into a beautiful mathematical story, a story filled with drama and intrigue. so let’s start in the middle. slider puzzles for mathematicians those of you who played with little puzzle toys growing up may remember the “15 puzzle”, a $4\times 4$ grid of squares with 15 physical squares and one square missing. a move consisted of sliding a square into the empty square. the french name for this game is “jeu de taquin”, which translates to “the teasing game”. we can play a similar jeu de taquin game with semistandard young tableaux. to set up the board, we need a slightly more general definition: a skew shape $\lambda/\mu$ is a diagram of squares formed by subtracting the young diagram (see this post) of a partition $\mu$ from the (strictly larger) young diagram of a partition $\lambda$. for instance, if $\lambda=(5,3,3,1)$ and $\mu=(2,1)$, then the skew shape $\lambda/\mu$ consists of the white squares shown below. a semistandard young tableau is then a way of filling the squares in such a skew shape with positive integers in such a way that the entries are weakly increasing across rows and strictly increasing down columns: now, an inner jeu de taquin slide consists of choosing an empty square adjacent to two of the numbers, and successively sliding entries inward into the empty square in such a way that the tableau remains semistandard at each step. this is an important rule, and it implies that, once we choose our inner corner, there is a unique choice between the squares east and south of the empty square at each step; only one can be slid to preserve the semistandard property. an example of an inwards jeu de taquin slide is shown (on repeat) in the animation below: here’s the game: perform a sequence of successive jeu de taquin slides until there are no empty inner corners left. what tableaux can you end up with? it turns out that, in fact, it doesn’t matter how you play this game! no matter which inner corner you pick to start the jeu de taquin slide at each step, you will end up with the same tableau in the end, called the rectification of the original tableau. since we always end up at the same result, it is sometimes more interesting to ask the question in reverse: can we categorize all skew tableaux that rectify to a given fixed tableau? this question has a nice answer in the case that we fix the rectification to be superstandard, that is, the tableau whose $i$th row is filled with all $i$’s: it turns out that a semistandard tableau rectifies to a superstandard tableau if and only if it is littlewoodrichardson, defined as follows. read the rows from bottom to top, and left to right within a row, to form the reading word. then the tableau is littlewoodrichardson if every suffix (i.e. consecutive subword that reaches the end) of the reading word is ballot, which means that it has at least as many $i$’s as $i+1$’s for each $i\ge 1$. for instance, the littlewoodrichardson tableau below has reading word 352344123322111, and the suffix 123322111, for instance, has at least as many $1$’s as $2$’s, $2$’s as $3$’s, etc. littlewoodrichardson tableaux are key to the littlewoodrichardson rule, which allows us to efficiently compute products of schur functions. a convoluted commutator the operation that jake and i studied is a sort of commutator of rectification with another operation called “shuffling”. the process is as follows. start with a littlewoodrichardson tableau $t$, with one of the corners adjacent to $t$ on the inside marked with an “$\times$”. call this extra square the “special box”. then we define $\omega(t)$ to be the result of the following four operations applied to $t$. rectification: treat $\times$ as having value $0$ and rectify the entire skew tableau. shuffling: treat the $\times$ as the empty square to perform an inward jeu de taquin slide. the resulting empty square on the outer corner is the new location of $\times$. unrectification: treat $\times$ as having value $\infty$ and unrectify, using the sequence of moves from the rectification step in reverse. shuffling back: treat the $\times$ as the empty square to perform a reverse jeu de taquin slide, to move the $\times$ back to an inner corner. we can iterate $\omega$ to get a permutation on all pairs $(\times,t)$ of a littlewoodrichardson tableau $t$ with a special box marked on a chosen inner corner, with total shape $\lambda/\mu$ for some fixed $\lambda$ and $\mu$. as we’ll discuss in the next post, this permutation is related to the monodromy of a certain covering space of $\mathbb{rp}^1$ arising from the study of schubert curves. but i digress. one of the main results in our paper provides a new, more efficient algorithm for computing $\omega(t)$. in particular, the first three steps of the algorithm are what we call the “evacuationshuffle”, and our local rule for evacuation shuffling is as follows: phase 1. if the special box does not precede all of the $i$’s in reading order, switch the special box with the nearest $i$ prior to it in reading order. then increment $i$ by $1$ and repeat this step. if, instead, the special box precedes all of the $i$’s in reading order, go to phase 2. phase 2. if the suffix of the reading word starting at the special box has more $i$’s than $i+1$’s, switch the special box with the nearest $i$ after it in reading order whose suffix has the same number of $i$’s as $i+1$’s. either way, increment $i$ by $1$ and repeat this step until $i$ is larger than any entry of $t$. so, to get $\omega(t)$, we first follow the phase 1 and phase 2 steps, and then we slide the special box back with a simple jeu de taquin slide. we can then iterate $\omega$, and compute an entire $\omega$orbit, a cycle of its permutation. an example of this is shown below. that’s all for now! in the next post i’ll discuss the beginning of the story: where this operator $\omega$ arises in geometry and why this algorithm is exactly what we need to understand it. posted in pearl  leave a reply what is a $q$analog? (part 2) posted on december 10, 2015 by maria gillespie reply this is a continuation of part 1 of this series of posts on $q$analogs. counting by $q$’s another important area in which $q$analogs come up is in combinatorics. in this context, $q$ is a formal variable, and the $q$analog is a generating function in $q$, but viewed in a different light than usual generating functions. we think of the $q$analog of as “$q$counting” a set of weighted objects, where the weights are given by powers of $q$. say you’re trying to count permutations of $1,\ldots,n$, that is, ways of rearranging the numbers $1,\ldots,n$ in a row. there are $n$ ways to choose the first number, and once we choose that there are $n1$ remaining choices for the second, then $n2$ for the third, and so on. so there are $n!=n\cdot (n1)\cdot \cdots \cdot 2\cdot 1$ ways to rearrange the entries. for instance, the $3!=6$ permutations of $1,2,3$ are $123$, $132$, $213$, $231$, $312$, $321$. now, say we weight the permutations according to how “mixed up” they are, in the sense of how many pairs of numbers are out of order. an inversion is a pair of entries in the permutation in which the bigger number is to the left of the smaller, and $\mathrm{inv}(\pi)$ denotes the number of inversions of the permutation $\pi$. the table below shows the permutations of 3 along with the number of inversions they contain. $$\begin{array}{ccc} p & \mathrm{inv}(p) & q^{\mathrm{inv}(p)}\\\hline 123 & 0 & 1 \\ 132 & 1 & q\\ 213 & 1 & q\\ 231 & 2 & q^2\\ 312 & 2 & q^2 \\ 321 & 3 & q^3 \end{array} $$ we weight each permutation $p$ by $q^{\mathrm{inv}(p)}$, and $q$count by summing these $q$powers, to form the sum $$\sum_{p\in s_n}q^{\mathrm{inv}(p)}$$ where $s_n$ is the set of all permutations of $1,\ldots,n$. so for $n=3$, the sum is $1+2q+2q^2+q^3$ by our table above. we now come to an important philosophical distinction between $q$analogs and generating functions. as a generating function, the sum $1+2q+2q^2+q^3$ is thought of in terms of the sequence of coefficients, $1,2,2,1$. generatingfunctionologically, we might instead write the sum as $\sum_{i=0}^\infty c_i q^i$ where $c_i$ is the number of permutations of length $n$ with $i$ inversions. but in $q$analog notation, $\sum_{p\in s_n}q^{\mathrm{inv}(p)}$, we understand that it is not the coefficients but rather the exponents of our summation that we are interested in.. in general, a combinatorial $q$analog can be defined as a summation of $q$powers $q^{\mathrm{stat}(p)}$ where $p$ ranges over a certain set of combinatorial objects and $\mathrm{stat}$ is a statistic on these objects. recall that we defined an “interesting $q$analog” of an expression $p$ to be an expression $p_q$ such that setting $q=1$ or taking the limit as $q\to 1$ results in $p$, $p_q$ can be expressed in terms of (possibly infinite) sums or products of rational functions of $q$ over some field, $p_q$ gives us more refined information about something that $p$ describes, and $p_q$ has $p$like properties. certainly setting $q=1$ in a combinatorial $q$analog results in the total number of objects, and the $q$analog gives us more information about the objects than just their total number. it’s also a polynomial in $q$, so it satisfies properties 1, 2, and 3 above. let’s now see how our $q$analog $\sum_{p\in s_n}q^{\mathrm{inv}(p)}$, which is a $q$analog of $n!$, also satisfies property 4. notice that $1+2q+2q^2+q^3$ factors as $(1)(1+q)(1+q+q^2)$. indeed, in general this turns out to be the same $q$factorial we saw in the last post! that is, $$\sum_{p\in s_n}q^{\mathrm{inv}(p)}=(1)(1+q)(1+q+q^2)\cdots(1+q+\cdots+q^n)=(n)_q!.$$ so it satisfies property 4 by exhibiting a product formula like $n!$ itself. i posted a proof of this fact in this post, but let’s instead prove it by building up the theory of $q$counting from the ground up. the multiplication principle in combinatorics is the basic fact that the number of ways of choosing one thing from a set of $m$ things and another from a set of $n$ things is the product $m\cdot n$. but what if the things are weighted? $q$multiplication principle: given two weighted sets $a$ and $b$ with $q$counts $m(q)$ and $n(q)$, the $q$count of the ways of choosing one element from $a$ and another from $b$ is the product $m(q)n(q)$, where the weight of a pair is the sum of the weights of the elements. let’s see how this plays out in the case of $(n)_q!$. if each entry in the permutation is weighted by the number of inversions it forms with smaller entries (to its right), then the first entry can be any of $1,2,\ldots,n$, which contributes a factor of $1+q+q^2+\cdots+q^{n1}$ to the total. the next entry then can be any of the $n1$ remaining entries, and since the first entry cannot be the smaller entry of an inversion with the second, this choice contributes a factor of $1+q+q^2+\cdots+q^{n2}$ to the total by the same argument. continuing in this fashion we get the $q$factorial as our $q$count. notice that even the proof was a $q$analog of the proof that $n!$ is the number of permutations of $1,\ldots,n$, now that we have the $q$multiplication principle. that’s all for now! in the next post we’ll talk about how to use the $q$multiplication principle to derive a combinatorial interpretation of the $q$binomial coefficient, and discuss $q$catalan numbers and other fun $q$analogs. stay tuned! posted in opal  leave a reply what is a $q$analog? (part 1) posted on november 22, 2015 by maria gillespie 4 hi, i’m maria and i’m a $q$analog addict. the theory of $q$analogs is a littleknown gem, and in this series of posts i’ll explain why they’re so awesome and addictive! so what is a $q$analog? it is one of those rare mathematical terms whose definition doesn’t really capture what it is about, but let’s start with the definition anyway: definition: a $q$analog of a statement or expression $p$ is a statement or expression $p_q$, depending on $q$, such that setting $q=1$ in $p_q$ results in $p$. so, for instance, $2q+3q^2$ is a $q$analog of $5$, because if we plug in $q=1$ we get $5$. sometimes, if $p_q$ is not defined at $q=1$, we also say it’s a $q$analog if $p$ can be recovered by taking the limit as $q$ approaches $1$. for instance, the expression $$\frac{q^51}{q1}$$ is another $q$analog of $5$ – even though we get division by zero if we plug in $q=1$, we do have a well defined limit that we can calculate, for instance using l’hospital’s rule: $$\lim_{q\to 1} \frac{q^51}{q1}=\lim_{q\to 1} \frac{5q^4}{1} = 5.$$ now of course, there are an unlimited supply of $q$analogs of the number $5$, but certain $q$analogs are more important than others. when mathematicians talk about $q$analogs, they are usually referring to “good” or “useful” $q$analogs, which doesn’t have a widely accepted standard definition, but which i’ll attempt to define here: more accurate definition: an interesting $q$analog of a statement or expression $p$ is a statement or expression $p_q$ depending on $q$ such that: setting $q=1$ or taking the limit as $q\to 1$ results in $p$, $p_q$ can be expressed in terms of (possibly infinite) sums or products of rational functions of $q$ over some field, $p_q$ gives us more refined information about something that $p$ describes, and $p_q$ has $p$like properties. because of property 2, most people would agree that $5^q$ is not an interesting $q$analog of $5$, because usually we’re looking for polynomiallike things in $q$. on the other hand, $\frac{q^51}{q1}$, is an excellent $q$analog of $5$ for a number of reasons. it certainly satisfies property 2. it can also be easily generalized to give a $q$analog of any real number: we can define $$(a)_q=\frac{q^a1}{q1},$$ a $q$analog of the number $a$. in addition, for positive integers $n$, the expression simplifies: $$(n)_q=\frac{q^n1}{q1}=1+q+q^2+\cdots+q^{n1}.$$ so for instance, $(5)_q=1+q+q^2+q^3+q^4$, which is a natural $q$analog of the basic fact that $5=1+1+1+1+1$. the powers of $q$ are just distinguishing each of our “counts” as we count to $5$. this polynomial also captures the fact that $5$ is prime, in a $q$analogy way: the polynomial $1+q+q^2+q^3+q^4$ cannot be factored into two smallerdegree polynomials with integer coefficients. so the $q$number $(5)_q$ also satisfies properties 3 and 4 above: it gives us more refined information about $5$ness, by keeping track of the way we count to $5$, and behaves like $5$ in the sense that it can’t be factored into smaller $q$analogs of integers. but it doesn’t stop there. properties 3 and 4 can be satisfied in all sorts of ways, and this $q$number is even interesting than we might expect. it comes up in finite geometry, analytic number theory, representation theory, and combinatorics. so much awesome mathematics is involved in the study of $q$analogs that i’ll only cover one aspect of it today: $q$analogs that appear in geometry over a finite field $\mathbb{f}_q$. turn to the next page to see them! pages: 1 2 posted in opal  4 replies post navigation ← older posts search recent posts ellipses, parabolas, and infinity halloween candy and counting the structure of the garsiaprocesi modules $r_\mu$ can you prove it… combinatorially? phinished! recent commentsmaria gillespie on can you prove it… combinatorially?carlos on can you prove it… combinatorially?maria gillespie on can you prove it… combinatorially?steven on can you prove it… combinatorially?maria gillespie on equilateral triangles in the complex planebrowse by category gemstones (51) amber (11) pearl (9) opal (12) sapphire (9) diamond (11) miscellaneous (6) meta log in entries rss comments rss wordpress.org proudly powered by wordpress
One word  Two words phrases  Three words phrases 
the  9.34% (855) and  2.79% (255) for  1.46% (134) that  1.42% (130) math  1.34% (123) all  1.14% (104) are  1.07% (98) this  0.92% (84) here  0.87% (80) with  0.78% (71) can  0.77% (70) $q$  0.72% (66) able  0.58% (53) post  0.57% (52) square  0.55% (50) number  0.54% (49) one  0.54% (49) have  0.52% (48) then  0.5% (46) log  0.48% (44) our  0.48% (44) table  0.48% (44) let  0.47% (43) part  0.47% (43) tableau  0.46% (42) \cdot  0.45% (41) box  0.45% (41) you  0.45% (41) out  0.45% (41) sum  0.43% (39) how  0.42% (38) $q$analog  0.4% (37) form  0.4% (37) there  0.39% (36) set  0.37% (34) not  0.37% (34) ring  0.37% (34) from  0.36% (33) but  0.36% (33) give  0.36% (33) which  0.36% (33) $k$  0.34% (31) way  0.34% (31) \alpha  0.34% (31) point  0.34% (31) define  0.33% (30) time  0.33% (30) \ldots,  0.32% (29) schubert  0.32% (29) theory  0.32% (29) little  0.32% (29) now  0.31% (28) some  0.31% (28) \to  0.31% (28) curve  0.3% (27) where  0.3% (27) end  0.3% (27) has  0.3% (27) side  0.3% (27) each  0.28% (26) call  0.28% (26) two  0.27% (25) hard  0.27% (25) $s$  0.27% (25) times  0.26% (24) what  0.26% (24) any  0.25% (23) these  0.25% (23) other  0.25% (23) cat  0.25% (23) richard  0.25% (23) sequence  0.24% (22) \omega$  0.24% (22) posted  0.24% (22) count  0.24% (22) follow  0.24% (22) get  0.23% (21) littlewoodrichardson  0.23% (21) $k$theory  0.23% (21) $\omega$  0.23% (21) also  0.23% (21) such  0.23% (21) defined  0.22% (20) show  0.22% (20) $i$  0.21% (19) element  0.21% (19) $p$  0.21% (19) term  0.21% (19) fun  0.21% (19) \square  0.21% (19) see  0.21% (19) ways  0.21% (19) over  0.21% (19) use  0.21% (19) fact  0.21% (19) them  0.21% (19) partition  0.2% (18) line  0.2% (18) class  0.2% (18) \cdots  0.2% (18) tableaux  0.2% (18) was  0.2% (18) intersect  0.2% (18) efficient  0.19% (17) right  0.19% (17) about  0.19% (17) left  0.19% (17) a^2  0.19% (17) function  0.19% (17) thing  0.19% (17) space  0.19% (17) more  0.19% (17) map  0.19% (17) permutation  0.17% (16) fix  0.17% (16) first  0.17% (16) step  0.17% (16) order  0.17% (16) combinatorial  0.17% (16) $t$  0.17% (16) $n$  0.17% (16) read  0.17% (16) consider  0.17% (16) choose  0.17% (16) case  0.16% (15) real  0.16% (15) $5$  0.16% (15) ellipse  0.16% (15) points  0.16% (15) \le  0.16% (15) subset  0.16% (15) coefficient  0.16% (15) own  0.16% (15) above  0.16% (15) given  0.16% (15) instance  0.16% (15) exact  0.15% (14) instance,  0.15% (14) same  0.15% (14) slid  0.15% (14) result  0.15% (14) $a$  0.15% (14) prove  0.15% (14) $1$  0.15% (14) maria  0.15% (14) reply  0.15% (14) squares  0.14% (13) who  0.14% (13) terms  0.14% (13) only  0.14% (13) q^2  0.14% (13) hand  0.14% (13) gives  0.14% (13) characteristic  0.14% (13) gillespie  0.14% (13) reading  0.13% (12) 1$.  0.13% (12) discuss  0.13% (12) four  0.13% (12) word  0.13% (12) special  0.13% (12) start  0.13% (12) $q$analogs  0.13% (12) let’s  0.13% (12) its  0.13% (12) section  0.13% (12) marked  0.13% (12) young  0.13% (12) euler  0.13% (12) does  0.12% (11) many  0.12% (11) since  0.12% (11) come  0.12% (11) slide  0.12% (11) functions  0.12% (11) using  0.12% (11) age  0.12% (11) elementary  0.12% (11) $0$  0.12% (11) flag  0.12% (11) size  0.12% (11) back  0.12% (11) turn  0.12% (11) intersection  0.12% (11) witch  0.12% (11) they  0.12% (11) follows  0.12% (11) $p_q$  0.12% (11) expression  0.12% (11) posts  0.11% (10) row  0.11% (10) fiber  0.11% (10) parabola  0.11% (10) describe  0.11% (10) even  0.11% (10) eight  0.11% (10) integer  0.11% (10) property  0.11% (10) things  0.11% (10) it’s  0.11% (10) algorithm  0.11% (10) under  0.11% (10) skew  0.11% (10) add  0.11% (10) cover  0.11% (10) group  0.11% (10) on.  0.11% (10) between  0.11% (10) curves  0.11% (10) into  0.11% (10) combinatorics  0.11% (10) she  0.11% (10) empty  0.11% (10) $r_\mu$  0.1% (9) total  0.1% (9) operator  0.1% (9) components  0.1% (9) phase  0.1% (9) know  0.1% (9) quest  0.1% (9) generate  0.1% (9) formula  0.1% (9) move  0.1% (9) fixed  0.1% (9) polynomial  0.1% (9) $x$  0.1% (9) geometry  0.1% (9) weight  0.1% (9) corner  0.1% (9) now,  0.1% (9) \right)  0.1% (9) black  0.1% (9) (see  0.1% (9) entry  0.1% (9) content  0.1% (9) compute  0.1% (9) –  0.1% (9) sequences  0.1% (9) factor  0.1% (9) $\alpha$  0.1% (9) shape  0.1% (9) year  0.1% (9) length  0.1% (9) \dim  0.1% (9) algebra  0.1% (9) complex  0.1% (9) proof  0.1% (9) product  0.1% (9) taquin  0.1% (9) turns  0.1% (9) jeu  0.1% (9) certain  0.1% (9) operation  0.1% (9) $\beta$  0.1% (9) like  0.1% (9) connected  0.1% (9) structure  0.1% (9) final  0.09% (8) page  0.09% (8) choosing  0.09% (8) $i$’s  0.09% (8) standard  0.09% (8) another  0.09% (8) entries  0.09% (8) limit  0.09% (8) \sqrt{b^2a^2}  0.09% (8) definition  0.09% (8) new  0.09% (8) make  0.09% (8) next  0.09% (8) last  0.09% (8) allow  0.09% (8) dimension  0.09% (8) called  0.09% (8) three  0.09% (8) must  0.09% (8) distance  0.09% (8) bit  0.09% (8) symmetric  0.09% (8) than  0.09% (8) inner  0.09% (8) numbers  0.09% (8) locus  0.09% (8) well  0.09% (8) their  0.09% (8) general  0.09% (8) counts  0.09% (8) so,  0.09% (8) self  0.09% (8) 2016  0.09% (8) adjacent  0.09% (8) question  0.09% (8) genus  0.09% (8) $\mu$  0.08% (7) interesting  0.08% (7) $2$  0.08% (7) described  0.08% (7) rectification  0.08% (7) variety  0.08% (7) power  0.08% (7) $k\times  0.08% (7) (n1)  0.08% (7) particular  0.08% (7) 1$,  0.08% (7) identity  0.08% (7) whose  0.08% (7) short  0.08% (7) object  0.08% (7) note  0.08% (7) arc  0.08% (7) following  0.08% (7) work  0.08% (7) counting  0.08% (7) leave  0.08% (7) because  0.08% (7) varieties  0.08% (7) grassmannian  0.08% (7) construct  0.08% (7) $\times$  0.08% (7) me,  0.08% (7) $\beta$,  0.08% (7) indeed  0.08% (7) algebraic  0.08% (7) y^2  0.08% (7) permutations  0.08% (7) $b$  0.08% (7) \mathrm{inv}(p)  0.08% (7) $\ell$  0.08% (7) focus  0.08% (7) problem  0.08% (7) coefficients  0.08% (7) $q=1$  0.08% (7) main  0.08% (7) $\alpha$,  0.08% (7) below  0.08% (7) $\gamma$  0.08% (7) combinatorially  0.08% (7) pair  0.08% (7) shuffling  0.08% (7) rule  0.08% (7) $\infty$  0.08% (7) results  0.07% (6) second  0.07% (6) pick  0.07% (6) recent  0.07% (6) \mathcal{e}  0.07% (6) inversion  0.07% (6) natural  0.07% (6) combinatorially?  0.07% (6) doesn’t  0.07% (6) $i_\mu$  0.07% (6) generating  0.07% (6) sheaves  0.07% (6) value  0.07% (6) column  0.07% (6) is,  0.07% (6) variable  0.07% (6) steps  0.07% (6) monodromy  0.07% (6) computing  0.07% (6) matrix  0.07% (6) were  0.07% (6) n$.  0.07% (6) properties  0.07% (6) classes  0.07% (6) mean  0.07% (6) similar  0.07% (6) sure  0.07% (6) chose  0.07% (6) starting  0.07% (6) recall  0.07% (6) $q$count  0.07% (6) foci  0.07% (6) $r$  0.07% (6) q^3  0.07% (6) \lt  0.07% (6) satisfies  0.07% (6) monoid  0.07% (6) fibers  0.07% (6) it…  0.07% (6) suffix  0.07% (6) simple  0.07% (6) scariest  0.07% (6) zero  0.07% (6) modules  0.07% (6) kat  0.07% (6) integers  0.07% (6) paper  0.07% (6) x$,  0.07% (6) finally  0.07% (6) shown  0.07% (6) entire  0.07% (6) snickers  0.07% (6) partitions  0.07% (6) choice  0.07% (6) kit  0.07% (6) flags  0.07% (6) genomic  0.07% (6) usual  0.07% (6) (nk)$  0.07% (6) \blacksquare  0.07% (6) generated  0.07% (6) follows.  0.07% (6) we’ll  0.07% (6) ones  0.07% (6) sets  0.07% (6) resulting  0.07% (6) mathematical  0.07% (6) curves,  0.05% (5) diamond  0.05% (5) correspond  0.05% (5) $\lambda$  0.05% (5) information  0.05% (5) example  0.05% (5) tableaux,  0.05% (5) above.  0.05% (5) (part  0.05% (5) exactly  0.05% (5) multiplication  0.05% (5) handle  0.05% (5) covering  0.05% (5) principle  0.05% (5) say  0.05% (5) free  0.05% (5) gemstones  0.05% (5) $k(x)$  0.05% (5) idea  0.05% (5) coherent  0.05% (5) variant  0.05% (5) series  0.05% (5) complete  0.05% (5) particular,  0.05% (5) notice  0.05% (5) elements  0.05% (5) construction  0.05% (5) intersecting  0.05% (5) after  0.05% (5) day  0.05% (5) jake  0.05% (5) indeed,  0.05% (5) candy  0.05% (5) ghost  0.05% (5) garsia  0.05% (5) semistandard  0.05% (5) could  0.05% (5) common  0.05% (5) monster  0.05% (5) very  0.05% (5) conjugacy  0.05% (5) skeleton  0.05% (5) will  0.05% (5) find  0.05% (5) plane  0.05% (5) finite  0.05% (5) therefore  0.05% (5) finally,  0.05% (5) why  0.05% (5) known  0.05% (5) \vdots  0.05% (5) diagram  0.05% (5) sense  0.05% (5) directrix  0.05% (5) maps  0.05% (5) osculating  0.05% (5) those  0.05% (5) $s$.  0.05% (5) game  0.05% (5) jordan  0.05% (5) i’ll  0.05% (5) smaller  0.05% (5) mathematics  0.05% (5) just  0.05% (5) objects  0.05% (5) local  0.05% (5) $s_n$  0.05% (5) consists  0.05% (5) would  0.05% (5) chain  0.05% (5) normal  0.05% (5) $3$  0.05% (5) relations  0.05% (5) \subset  0.05% (5) play  0.05% (5) columns  0.05% (5) treat  0.04% (4) being  0.04% (4) $\box$  0.04% (4) again  0.04% (4) nonnegative  0.04% (4) taking  0.04% (4) important  0.04% (4) fence  0.04% (4) \end{array}  0.04% (4) until  0.04% (4) either  0.04% (4) basic  0.04% (4) long  0.04% (4) may  0.04% (4) too  0.04% (4) used  0.04% (4) iterate  0.04% (4) values  0.04% (4) reverse  0.04% (4) sizes  0.04% (4) solution  0.04% (4) area  0.04% (4) $f_2$  0.04% (4) vertex  0.04% (4) $v$  0.04% (4) here.  0.04% (4) large  0.04% (4) approach  0.04% (4) positive  0.04% (4) respect  0.04% (4) something  0.04% (4) $\sum_{p\in  0.04% (4) student  0.04% (4) high  0.04% (4) setting  0.04% (4) statement  0.04% (4) $5$,  0.04% (4) common?  0.04% (4) condition  0.04% (4) stanley  0.04% (4) opal  0.04% (4) old  0.04% (4) makes  0.04% (4) vector  0.04% (4) weighted  0.04% (4) powers  0.04% (4) $1,\ldots,n$  0.04% (4) witch,  0.04% (4) abelian  0.04% (4) field  0.04% (4) lines  0.04% (4) $c$  0.04% (4) inversions  0.04% (4) $e$  0.04% (4) course  0.04% (4) equation  0.04% (4) did  0.04% (4) 123  0.04% (4) talk  0.04% (4) rational  0.04% (4) equal  0.04% (4) sums  0.04% (4) rows  0.04% (4) top  0.04% (4) order.  0.04% (4) variables  0.04% (4) matter  0.04% (4) invariant  0.04% (4) partial  0.04% (4) box,  0.04% (4) possibilities  0.04% (4) $4$  0.04% (4) allows  0.04% (4) matrices  0.04% (4) ending  0.04% (4) miss  0.04% (4) subspace  0.04% (4) nilpotent  0.04% (4) closure  0.04% (4) coordinate  0.04% (4) order,  0.04% (4) $n!$  0.04% (4) means  0.04% (4) rings  0.04% (4) post,  0.04% (4) pages:  0.04% (4) $t$,  0.04% (4) that,  0.04% (4) graded  0.04% (4) subsets  0.04% (4) $\mu’$  0.04% (4) t^2  0.04% (4) (call  0.04% (4) moves  0.04% (4) \mathbb{rp}^1$  0.04% (4) $6$  0.04% (4) filling  0.04% (4) $\omega$.  0.04% (4) both  0.04% (4) label  0.04% (4) closed  0.04% (4) remaining  0.04% (4) kids  0.04% (4) different  0.04% (4) expand  0.04% (4) well,  0.04% (4) contents  0.04% (4) shuffle  0.04% (4) itself  0.04% (4) \right)$$  0.04% (4) functions.  0.04% (4) comes  0.03% (3) levinson  0.03% (3) chosen  0.03% (3) though  0.03% (3) instead  0.03% (3) summing  0.03% (3) corner,  0.03% (3) $p_i$  0.03% (3) discussed  0.03% (3) commutator  0.03% (3) geometric  0.03% (3) summation  0.03% (3) $2$’s  0.03% (3) smooth  0.03% (3) grassmannian.  0.03% (3) $1+2q+2q^2+q^3$  0.03% (3) ballot  0.03% (3) components,  0.03% (3) $q$multiplication  0.03% (3) fit  0.03% (3) connection  0.03% (3) refined  0.03% (3) $\omega$,  0.03% (3) $q$analog?  0.03% (3) t^3  0.03% (3) single  0.03% (3) perform  0.03% (3) here’s  0.03% (3) east  0.03% (3) once  0.03% (3) inward  0.03% (3) increasing  0.03% (3) chains  0.03% (3) $\lambda/\mu$  0.03% (3) definition:  0.03% (3) rectangle  0.03% (3) rectify  0.03% (3) coefficients.  0.03% (3) rise  0.03% (3) puzzle  0.03% (3) tableau.  0.03% (3) $f^{1}(0)$  0.03% (3) $\box$,  0.03% (3) along  0.03% (3) similarly  0.03% (3) (1)^i\dim  0.03% (3) inclusion  0.03% (3) inside  0.03% (3) t^{n1}  0.03% (3) nonadjacent  0.03% (3) think  0.03% (3) (n1)!  0.03% (3) $q$,  0.03% (3) quotient  0.03% (3) understand  0.03% (3) $i$,  0.03% (3) repeat  0.03% (3) contain  0.03% (3) bundles  0.03% (3) evacuation  0.03% (3) $i+1$’s  0.03% (3) $\mathbb{rp}^1$  0.03% (3) $\square_2$  0.03% (3) $\square_1$  0.03% (3) position  0.03% (3) case,  0.03% (3) spaces  0.03% (3) $\omega(t)$  0.03% (3) products  0.03% (3) \mathbb{cp}^1$  0.03% (3) coefficients,  0.03% (3) story  0.03% (3) slides  0.03% (3) ii)  0.03% (3) action  0.03% (3) blocks  0.03% (3) ring,  0.03% (3) thus  0.03% (3) \hspace{0.4cm}  0.03% (3) polynomials  0.03% (3) 2$.  0.03% (3) r\le  0.03% (3) $0$’s  0.03% (3) diagonal  0.03% (3) $e_r(s)$  0.03% (3) degree  0.03% (3) ideal  0.03% (3) $i_{\mu}$  0.03% (3) $n\times  0.03% (3) cohomology  0.03% (3) correspondence  0.03% (3) studied  0.03% (3) obtain  0.03% (3) here,  0.03% (3) formed  0.03% (3) method  0.03% (3) theorem  0.03% (3) binomial  0.03% (3) fact,  0.03% (3) white  0.03% (3) $\sqrt  0.03% (3) previous  0.03% (3) fibonacci  0.03% (3) tanisaki  0.03% (3) study  0.03% (3) students  0.03% (3) teach  0.03% (3) it!  0.03% (3) factors  0.03% (3) presentation  0.03% (3) found  0.03% (3) third  0.03% (3) garsiaprocesi  0.03% (3) above,  0.03% (3) usually  0.03% (3) further  0.03% (3) interpret  0.03% (3) when  0.03% (3) second,  0.03% (3) (x\sqrt{b^2a^2})^2+y^2  0.03% (3) focii  0.03% (3) distances  0.03% (3) showing  0.03% (3) \lim_{b\to  0.03% (3) through  0.03% (3) school  0.03% (3) ellipses  0.03% (3) parabolas  0.03% (3) projective  0.03% (3) infinity  0.03% (3) search  0.03% (3) \infty}  0.03% (3) that’s  0.03% (3) amber  0.03% (3) kats  0.03% (3) 1\cdot  0.03% (3) $n$.  0.03% (3) written  0.03% (3) didn’t  0.03% (3) without  0.03% (3) suppose  0.03% (3) bar  0.03% (3) open  0.03% (3) pearl  0.03% (3) your  0.03% (3) always  0.03% (3) every  0.03% (3) i’m  0.03% (3) you’re  0.03% (3) itself.  0.03% (3) fear  0.03% (3) halloween  0.03% (3) $m$  0.03% (3) mentioned  0.03% (3) $n1$  0.03% (3) color  0.03% (3) interlace  0.03% (3) lead  0.03% (3) down  0.03% (3) it.  0.03% (3) ktheory  0.03% (3) sometimes  0.03% (3) trace  0.03% (3) graph  0.03% (3) having  0.03% (3) replies  0.03% (3) comments  0.03% (3) $n2$  0.03% (3) might  0.03% (3) become  0.03% (3) need  0.03% (3) sequences.  0.03% (3) remember  0.03% (3) undergraduate  0.03% (3) line.  0.02% (2) approaches  0.02% (2) sort  0.02% (2) now!  0.02% (2) loops  0.02% (2) $1$’s  0.02% (2) transformation  0.02% (2) rectification:  0.02% (2) 123322111,  0.02% (2) reciprocation  0.02% (2) parabola.  0.02% (2) this,  0.02% (2) least  0.02% (2) solve  0.02% (2) $t$.  0.02% (2) precede  0.02% (2) center  0.02% (2) pairs  0.02% (2) reciprocal  0.02% (2) eigenvalues  0.02% (2) (complex)  0.02% (2) switch  0.02% (2) nearest  0.02% (2) related  0.02% (2) increment  0.02% (2) becomes  0.02% (2) $\alpha=0$  0.02% (2) really  0.02% (2) slide.  0.02% (2) circle,  0.02% (2) (the  0.02% (2) larger  0.02% (2) superstandard  0.02% (2) started  0.02% (2) recover  0.02% (2) face  0.02% (2) pass  0.02% (2) had  0.02% (2) already  0.02% (2) people  0.02% (2) name  0.02% (2) sliding  0.02% (2) somewhat  0.02% (2) mathematicians  0.02% (2) filled  0.02% (2) better  0.02% (2) it,  0.02% (2) beautiful  0.02% (2) tuned!  0.02% (2) stay  0.02% (2) 18year  0.02% (2) lengths  0.02% (2) tell  0.02% (2) orbits  0.02% (2) among  0.02% (2) below.  0.02% (2) across  0.02% (2) year.  0.02% (2) ask  0.02% (2) original  0.02% (2) continuation  0.02% (2) corners  0.02% (2) successive  0.02% (2) arithmetic  0.02% (2) today  0.02% (2) off  0.02% (2) unique  0.02% (2) suffices  0.02% (2) happy  0.02% (2) rule,  0.02% (2) gemstones,  0.02% (2) step.  0.02% (2) h^0(\mathcal{o}_s)\dim  0.02% (2) walks  0.02% (2) strictly  0.02% (2) november  0.02% (2) 2015  0.02% (2) first,  0.02% (2) $q$analogs.  0.02% (2) 2017  0.02% (2) capture  0.02% (2) awesome  0.02% (2) interpretation  0.02% (2) derive  0.02% (2) cannot  0.02% (2) parabolas,  0.02% (2) contributes  0.02% (2) january  0.02% (2) $q$counting  0.02% (2) depending  0.02% (2) $q$factorial  0.02% (2) (called  0.02% (2) certainly  0.02% (2) properties.  0.02% (2) $p$like  0.02% (2) describes,  0.02% (2) thesis  0.02% (2) field,  0.02% (2) ellipses,  0.02% (2) older  0.02% (2) (possibly  0.02% (2) theory,  0.02% (2) rss  0.02% (2) beauty  0.02% (2) (9)  0.02% (2) (11)  0.02% (2) combinatorially?maria  0.02% (2) appear  0.02% (2) time,  0.02% (2) representation  0.02% (2) skip  0.02% (2) plug  0.02% (2) $q$number  0.02% (2) factored  0.02% (2) way:  0.02% (2) blog  0.02% (2) $q$analogs,  0.02% (2) navigation  0.02% (2) ←  0.02% (2) $q=1$,  0.02% (2) $5$.  0.02% (2) infinite)  0.02% (2) expressed  0.02% (2) wonder  0.02% (2) \sqrt{(x\sqrt{b^2a^2})^2+y^2}  0.02% (2) $\mathbb{rp}^1$.  0.02% (2) coordinates  0.02% (2) vertical  0.02% (2) $pf_2$  0.02% (2) property.  0.02% (2) choices  0.02% (2) $$\begin{align*}  0.02% (2) $1,\ldots,n$,  0.02% (2) $q$.  0.02% (2) symmetry  0.02% (2) weights  0.02% (2) objects,  0.02% (2) x)^2  0.02% (2) (\alpha  0.02% (2) light  0.02% (2) \end{align*}$$  0.02% (2) there’s  0.02% (2) remarkable  0.02% (2) combinatorics.  0.02% (2) $x$  0.02% (2) 132  0.02% (2) $p$,  0.02% (2) years  0.02% (2) $q\to  0.02% (2) much  0.02% (2) essentially  0.02% (2) while  0.02% (2) $q$powers  0.02% (2) myself,  0.02% (2) several  0.02% (2) s_n}q^{\mathrm{inv}(p)}$,  0.02% (2) c_i  0.02% (2) q\\  0.02% (2) case.  0.02% (2) worthy  0.02% (2) $$\sum_{p\in  0.02% (2) $f_1$  0.02% (2) 321  0.02% (2) constant  0.02% (2) 312  0.02% (2) 231  0.02% (2) 213  0.02% (2) realize  0.02% (2) five  0.02% (2) past  0.02% (2) argument.  0.02% (2) good  0.02% (2) question:  0.02% (2) subvariety  0.02% (2) t)$,  0.02% (2) discovered  0.02% (2) brief  0.02% (2) entries,  0.02% (2) curves.  0.02% (2) violates  0.02% (2) alternating  0.02% (2) $ati$,  0.02% (2) coloring  0.02% (2) see,  0.02% (2) $\mu$.  0.02% (2) delete  0.02% (2) monomial  0.02% (2) shows  0.02% (2) big  0.02% (2) easier  0.02% (2) $c_{\mu’}$  0.02% (2) inspired  0.02% (2) full  0.02% (2) $n$,  0.02% (2) grothendieck  0.02% (2) 3$.  0.02% (2) monoid.  0.02% (2) ghosts  0.02% (2) 4$.  0.02% (2) 1$$  0.02% (2) permutation.  0.02% (2) clear  0.02% (2) simply  0.02% (2) consequences  0.02% (2) coinvariant  0.02% (2) 1\,  0.02% (2) from?  0.02% (2) \square\,  0.02% (2) blocks,  0.02% (2) $a$.  0.02% (2) words:  0.02% (2) fitting  0.02% (2) binary  0.02% (2) bound  0.02% (2) cancel  0.02% (2) rule:  0.02% (2) $$f_n=\frac{1}{\sqrt{5}\cdot  0.02% (2) 2^n}\left(  0.02% (2) \left(\sum_{i=0}^n  0.02% (2) \binom{n}{i}(\sqrt{5})^i  0.02% (2) \sum_{k=0}^{\lfloor  0.02% (2) pushforward  0.02% (2) n/2\rfloor}  0.02% (2) $2^{n1}$  0.02% (2) fenceposts  0.02% (2) zero.  0.02% (2) $c^{\nu}_{\lambda\mu}$  0.02% (2) collection  0.02% (2) \begin{array}{cccccc}  0.02% (2) elements,  0.02% (2) thinking  0.02% (2) \mathbb{z}$.  0.02% (2) useful  0.02% (2) board  0.02% (2) induction  0.02% (2) went  0.02% (2) (where  0.02% (2) $2^{n1}\cdot  0.02% (2) identity,  0.02% (2) step,  0.02% (2) \mathrm{gr}(n,k)$,  0.02% (2) data  0.02% (2) $f_n$  0.02% (2) denotes  0.02% (2) $(n+1)$st  0.02% (2) enumerate  0.02% (2) determined  0.02% (2) binet’s  0.02% (2) looks  0.02% (2) $$\begin{array}{ccc}  0.02% (2) fascinating  0.02% (2) genus,  0.02% (2) $1$.  0.02% (2) coefficient,  0.02% (2) trying  0.02% (2) upper  0.02% (2) $e_2(s)$  0.02% (2) recently  0.02% (2) nice  0.02% (2) addition,  0.02% (2) $x$.  0.02% (2) gets  0.02% (2) scariest.  0.02% (2) coauthor  0.02% (2) therefore,  0.02% (2) $\omega_\box(f_\bullet)$  0.02% (2) $(r+1)$st  0.02% (2) flags,  0.02% (2) $0$,  0.02% (2) $k(x)$,  0.02% (2) $\binom{4}{2}$,  0.02% (2) ph.d.  0.02% (2) t^{n3}  0.02% (2) $\binom{a}{b}$  0.02% (2) subgroup  0.02% (2) i’ve  0.02% (2) expressions  0.02% (2) combinatorics,  0.02% (2) $1$,  0.02% (2) $0\to  0.02% (2) $f^{1}(1)$  0.02% (2) “evacuationshuffle”,  0.02% (2) post!  0.02% (2) operations  0.02% (2) friend  0.02% (2) refer  0.02% (2) kids,  0.02% (2) monster,  0.02% (2) skeleton,  0.02% (2) $g$  0.02% (2) piece  0.02% (2) in,  0.02% (2) straight  0.02% (2) bars  0.02% (2) locally  0.02% (2) decide  0.02% (2) freshman  0.02% (2) costume,  0.02% (2) respective  0.02% (2) yet  0.02% (2) derivatives  0.02% (2) $\chi(\mathcal{o}_s)=\dim  0.02% (2) ideal,  0.02% (2) $\mu$,  0.02% (2) subspaces  0.02% (2) transpose  0.02% (2) i.e.  0.02% (2) flag,  0.02% (2) answer  0.02% (2) calculus  0.02% (2) arises  0.02% (2) fourth  0.02% (2) function,  0.02% (2) image  0.02% (2) $k=2$,  0.02% (2) 18,  0.02% (2) arbitrarily  0.02% (2) exercise  0.02% (2) restriction  0.02% (2) $\mathbb{cp}^1$  0.02% (2) interlaced  0.02% (2) kd_k(\mu)  0.02% (2) additive  0.02% (2) iterated  0.02% (2) zerodimensional  0.02% (2) $k(nk)1$.  0.02% (2) $\lambda^{(1)},\ldots,\lambda^{(r)}$  0.02% (2) list  0.02% (2) springer  0.02% (2) sufficiently  0.02% (2) general,  0.02% (2) family  0.02% (2) relax  0.02% (2) \mathcal{e}_1  0.02% (2) \mathcal{e}_2  0.02% (2) involved  0.02% (2) and,  0.02% (2) solutions  0.02% (2) phinished!  0.02% (2) link  0.02% (2) procesi.  0.02% (2) $\mathrm{gr}^2(\mathbb{c}^4)$  0.02% (2) translate  0.02% (2) wordpress  0.02% (2)  of the  1.25% (114) in the  0.5% (46) at the  0.48% (44) is the  0.47% (43) that the  0.37% (34) number of  0.31% (28) the number  0.28% (26) on the  0.28% (26) we have  0.26% (24) to the  0.23% (21) by the  0.23% (21) with the  0.21% (19) and the  0.21% (19) and so  0.19% (17) can be  0.19% (17) schubert curve  0.19% (17) we can  0.19% (17) with a  0.17% (16) the $k$theory  0.16% (15) for instance,  0.15% (14) there are  0.15% (14) maria gillespie  0.14% (13) a $q$analog  0.13% (12) then the  0.13% (12) defined as  0.13% (12) in this  0.13% (12) $q$analog of  0.13% (12) for the  0.13% (12) the same  0.13% (12) euler characteristic  0.13% (12) such a  0.12% (11) as the  0.12% (11) so the  0.11% (10) posted on  0.11% (10) set of  0.11% (10) can you  0.11% (10) here is  0.11% (10) by maria  0.11% (10) gives us  0.11% (10) the euler  0.11% (10) posted in  0.11% (10) the sum  0.11% (10) special box  0.11% (10) consider the  0.11% (10) the schubert  0.11% (10) terms of  0.1% (9) jeu de  0.1% (9) there is  0.1% (9) part i  0.1% (9) in terms  0.1% (9) de taquin  0.1% (9) that we  0.1% (9) turns out  0.1% (9) of $q$  0.1% (9) that a  0.1% (9) be the  0.09% (8) littlewoodrichardson tableau  0.09% (8) this is  0.09% (8) exact sequence  0.09% (8) the special  0.09% (8) in part  0.09% (8) out that  0.09% (8) elementary symmetric  0.09% (8) given by  0.09% (8) it turns  0.09% (8) of these  0.09% (8) sequence of  0.09% (8) curve $s$  0.09% (8) one of  0.09% (8) out the  0.09% (8) the first  0.09% (8) that it  0.09% (8) the fiber  0.09% (8) of points  0.09% (8) the point  0.09% (8) the distance  0.09% (8) the case  0.08% (7) get the  0.08% (7) inner corner  0.08% (7) of ways  0.08% (7) have a  0.08% (7) which the  0.08% (7) the last  0.08% (7) connected components  0.08% (7) \square &  0.08% (7) in our  0.08% (7) & \square  0.08% (7) empty square  0.08% (7) taquin slide  0.08% (7) and in  0.08% (7) such that  0.08% (7) the following  0.08% (7) for each  0.08% (7) one can  0.08% (7) gillespie reply  0.08% (7)  leave  0.08% (7) that if  0.08% (7) sum of  0.08% (7) ring of  0.08% (7) the next  0.08% (7) 2016 by  0.08% (7) which is  0.08% (7) $k$theory ring  0.08% (7) of length  0.08% (7) of this  0.08% (7) to get  0.08% (7) leave a  0.08% (7) a reply  0.08% (7) an ellipse  0.08% (7) of all  0.07% (6) generated by  0.07% (6) as follows.  0.07% (6) for which  0.07% (6) with an  0.07% (6) prove it…  0.07% (6) be defined  0.07% (6) the form  0.07% (6) the total  0.07% (6) locus of  0.07% (6) ways of  0.07% (6) short exact  0.07% (6) the littlewoodrichardson  0.07% (6) from a  0.07% (6) permutations of  0.07% (6) back to  0.07% (6) the intersection  0.07% (6) and then  0.07% (6) this post  0.07% (6) the focus  0.07% (6) the resulting  0.07% (6) each of  0.07% (6) a partition  0.07% (6) the permutation  0.07% (6) \cdots &  0.07% (6) a little  0.07% (6) littlewoodrichardson coefficient  0.07% (6) you prove  0.07% (6) and $\gamma$  0.07% (6) kit kat  0.07% (6) it… combinatorially?  0.07% (6) reading word  0.07% (6) how many  0.07% (6) a point  0.07% (6) show that  0.05% (5) symmetric functions  0.05% (5) hand side  0.05% (5) the locus  0.05% (5) of $t$  0.05% (5) schubert varieties  0.05% (5) the fibers  0.05% (5) consists of  0.05% (5) phase 1  0.05% (5) from the  0.05% (5) form a  0.05% (5) handle on  0.05% (5) information about  0.05% (5) what is  0.05% (5) conjugacy class  0.05% (5) coherent sheaves  0.05% (5) at each  0.05% (5) $k\times (nk)$  0.05% (5) marked squares  0.05% (5) skew shape  0.05% (5) results in  0.05% (5) the marked  0.05% (5) of choosing  0.05% (5) $s$ of  0.05% (5) it was  0.05% (5) we get  0.05% (5) notice that  0.05% (5) the structure  0.05% (5) $\alpha$, $\beta$,  0.05% (5) in reading  0.05% (5) and we  0.05% (5) is not  0.05% (5) the set  0.05% (5) the empty  0.05% (5) & \cdots  0.05% (5) the real  0.05% (5) in particular,  0.05% (5) between the  0.05% (5) to choose  0.05% (5) reading order  0.05% (5) are in  0.05% (5) ways to  0.05% (5) algorithm for  0.05% (5) the other  0.05% (5) up with  0.05% (5) counts the  0.05% (5) the grassmannian  0.05% (5) variety of  0.05% (5) since the  0.05% (5) about the  0.05% (5) then we  0.05% (5) in which  0.05% (5) in all  0.05% (5) the limit  0.05% (5) the monodromy  0.05% (5) structure of  0.05% (5) $\beta$, and  0.05% (5) a combinatorial  0.04% (4) have in  0.04% (4) it follows  0.04% (4) have the  0.04% (4) order for  0.04% (4) setting $q=1$  0.04% (4) a handle  0.04% (4) using the  0.04% (4) instance, the  0.04% (4) & \vdots  0.04% (4) can show  0.04% (4) call this  0.04% (4) limit as  0.04% (4) characteristic of  0.04% (4) the identity  0.04% (4) the left  0.04% (4) \vdots &  0.04% (4) the closure  0.04% (4) recall that  0.04% (4) can also  0.04% (4) is given  0.04% (4) $p$ to  0.04% (4) $k$theory of  0.04% (4) case of  0.04% (4) young tableaux,  0.04% (4) a short  0.04% (4) schubert curves,  0.04% (4) $\times$ as  0.04% (4) what do  0.04% (4) on can  0.04% (4) of $s$  0.04% (4) the $k\times  0.04% (4) taking the  0.04% (4) is equal  0.04% (4) they are  0.04% (4) this a  0.04% (4) pages: 1  0.04% (4) in such  0.04% (4) the entire  0.04% (4) y^2 &=  0.04% (4) littlewoodrichardson rule  0.04% (4) so that  0.04% (4) on $x$  0.04% (4) series of  0.04% (4) do schubert  0.04% (4) $a$ and  0.04% (4) then a  0.04% (4) in order  0.04% (4) that is,  0.04% (4) – the  0.04% (4) schubert variety  0.04% (4) to compute  0.04% (4) of our  0.04% (4) (nk)$ box  0.04% (4) also a  0.04% (4) as well  0.04% (4) reply what  0.04% (4) box with  0.04% (4) are no  0.04% (4) the right  0.04% (4) allows us  0.04% (4) the foci  0.04% (4) partial elementary  0.04% (4) a simple  0.04% (4) phase 2  0.04% (4) if the  0.04% (4) in common?  0.04% (4) equal to  0.04% (4) tableaux, and  0.04% (4) curves, young  0.04% (4) follows that  0.04% (4) in other  0.04% (4) monodromy operator  0.04% (4) subsets $s$  0.04% (4) fact that  0.04% (4) and this  0.04% (4) statement or  0.04% (4) the genus  0.04% (4) the question  0.04% (4) total number  0.04% (4) the kit  0.04% (4) and cat  0.04% (4) end up  0.04% (4) the reading  0.04% (4) the four  0.04% (4) of size  0.04% (4) so there  0.04% (4) a fixed  0.04% (4) formula for  0.04% (4) genus of  0.04% (4) for computing  0.04% (4) the witch  0.04% (4) of $5$  0.04% (4) geometry of  0.04% (4) us more  0.04% (4) used to  0.03% (3) \to \mathcal{e}  0.03% (3) perform a  0.03% (3) we are  0.03% (3) map from  0.03% (3) case that  0.03% (3) a certain  0.03% (3) example of  0.03% (3) $x$ is  0.03% (3) $1$ and  0.03% (3) from $p$  0.03% (3) the quotient  0.03% (3) compute the  0.03% (3) the curve  0.03% (3) vector bundles  0.03% (3) exact sequences  0.03% (3) be used  0.03% (3) points $p$  0.03% (3) operation on  0.03% (3) jake levinson  0.03% (3) inner corner,  0.03% (3) ktheory have  0.03% (3) the grassmannian.  0.03% (3) a line  0.03% (3) points in  0.03% (3) to define  0.03% (3) a schubert  0.03% (3) curve $s$.  0.03% (3) the complex  0.03% (3) sizes sum  0.03% (3) arc from  0.03% (3) operator $\omega$  0.03% (3) and choose  0.03% (3) connected components,  0.03% (3) gillespie on  0.03% (3) described in  0.03% (3) intersection of  0.03% (3) in that  0.03% (3) chains of  0.03% (3) now, we  0.03% (3) skew littlewoodrichardson  0.03% (3) is shown  0.03% (3) we choose  0.03% (3) filling the  0.03% (3) littlewoodrichardson tableaux  0.03% (3) note that  0.03% (3) $\gamma$ in  0.03% (3) of contents  0.03% (3) diamond   0.03% (3) complex connected  0.03% (3) ring is  0.03% (3) the rectification  0.03% (3) the $\times$  0.03% (3) to show  0.03% (3) class of  0.03% (3) products of  0.03% (3) of schubert  0.03% (3) of integer  0.03% (3) is littlewoodrichardson  0.03% (3) $\omega$ is  0.03% (3) steps of  0.03% (3) the algorithm  0.03% (3) tableaux that  0.03% (3) the tableau  0.03% (3) tableau $t$  0.03% (3) tableaux with  0.03% (3) components is  0.03% (3) means that  0.03% (3) tableau is  0.03% (3) way that  0.03% (3) the second  0.03% (3) tableau above  0.03% (3) the suffix  0.03% (3) shape $\lambda/\mu$  0.03% (3) instance, if  0.03% (3) tableau of  0.03% (3) $1$ to  0.03% (3) young diagram  0.03% (3) definition: a  0.03% (3) also know  0.03% (3) real connected  0.03% (3) two marked  0.03% (3) real number  0.03% (3) us the  0.03% (3) it can  0.03% (3) high school  0.03% (3) the product  0.03% (3) that they  0.03% (3) formed by  0.03% (3) the two  0.03% (3) the distances  0.03% (3) the formula  0.03% (3) the previous  0.03% (3) to form  0.03% (3) opal   0.03% (3) the numbers  0.03% (3) as scariest  0.03% (3) we chose  0.03% (3) the witch,  0.03% (3) generating functions.  0.03% (3) the snickers  0.03% (3) what if  0.03% (3) expression $p$  0.03% (3) which two  0.03% (3) left hand  0.03% (3) the proof  0.03% (3) 2 posted  0.03% (3) the garsiaprocesi  0.03% (3) the scariest  0.03% (3) in fact  0.03% (3) diagram of  0.03% (3) subset of  0.03% (3) in $i_\mu$  0.03% (3) $b$ with  0.03% (3) refined information  0.03% (3) but the  0.03% (3) this gives  0.03% (3) the basic  0.03% (3) the ring  0.03% (3) closure of  0.03% (3) $n\times n$  0.03% (3) the elementary  0.03% (3) $a$ has  0.03% (3) jordan blocks  0.03% (3) is exactly  0.03% (3) an interesting  0.03% (3) the weight  0.03% (3) nilpotent conjugacy  0.03% (3) normal form  0.03% (3) expression $p_q$  0.03% (3) of inversions  0.03% (3) right hand  0.03% (3) where the  0.03% (3) of $q$analogs  0.03% (3) the $q$analog  0.03% (3) which we  0.03% (3) \blacksquare &  0.03% (3) \square \\  0.03% (3) in geometry  0.03% (3) kit kats  0.03% (3) interesting $q$analog  0.03% (3) next post  0.03% (3) up the  0.03% (3) a number  0.03% (3) candy and  0.03% (3) to give  0.03% (3) that’s all  0.03% (3) starting at  0.03% (3) some of  0.03% (3) more refined  0.03% (3) the ellipse  0.03% (3) and ktheory  0.03% (3) common? (part  0.03% (3) the third  0.03% (3) & \blacksquare  0.03% (3) partition $\mu’$  0.03% (3) label the  0.03% (3) prove it!  0.03% (3) we also  0.03% (3) of posts  0.03% (3) distance from  0.03% (3) snickers bar  0.03% (3) in some  0.02% (2) into the  0.02% (2) this game  0.02% (2) and another  0.02% (2) so, for  0.02% (2) over some  0.02% (2) to $\infty$  0.02% (2) field, $p_q$  0.02% (2) also be  0.02% (2) and $p_q$  0.02% (2) a square  0.02% (2) let’s start  0.02% (2) choosing one  0.02% (2) another from  0.02% (2) the theory  0.02% (2) but let’s  0.02% (2) chain of  0.02% (2) the box  0.02% (2) see how  0.02% (2) also satisfies  0.02% (2) property 4  0.02% (2) of squares  0.02% (2) the map  0.02% (2) something that  0.02% (2) the arc  0.02% (2) that setting  0.02% (2) we need  0.02% (2) semistandard young  0.02% (2) the expression  0.02% (2) in addition,  0.02% (2) of any  0.02% (2) this post,  0.02% (2) $5$, because  0.02% (2) rational functions  0.02% (2) how this  0.02% (2) sums or  0.02% (2) our local  0.02% (2) the definition  0.02% (2) to use  0.02% (2) $q$analogs of  0.02% (2) the $q$multiplication  0.02% (2) the chains  0.02% (2) to $0$  0.02% (2) $\omega$, and  0.02% (2) part i.  0.02% (2) i’ll discuss  0.02% (2) that order,  0.02% (2) of $5$,  0.02% (2) we plug  0.02% (2) gillespie 4  0.02% (2) (see this  0.02% (2) start with  0.02% (2) has $p$like  0.02% (2) as some  0.02% (2) only one  0.02% (2) depending on  0.02% (2) we follow  0.02% (2) permutation is  0.02% (2) (possibly infinite)  0.02% (2) expressed in  0.02% (2) $p$, $p_q$  0.02% (2) filled with  0.02% (2) first entry  0.02% (2) reply in  0.02% (2) combinatorially?maria gillespie  0.02% (2) $q\to 1$  0.02% (2) plug in  0.02% (2) contributes a  0.02% (2) stay tuned!  0.02% (2) factor of  0.02% (2) three steps  0.02% (2) $q=1$ or  0.02% (2) any of  0.02% (2) we might  0.02% (2) it satisfies  0.02% (2) move the  0.02% (2) a continuation  0.02% (2) this series  0.02% (2) the study  0.02% (2) a generating  0.02% (2) of $\mathbb{rp}^1$  0.02% (2) monodromy of  0.02% (2) a special  0.02% (2) on all  0.02% (2) factored into  0.02% (2) iterate $\omega$  0.02% (2) powers of  0.02% (2) what we  0.02% (2) square to  0.02% (2) once we  0.02% (2) $n1$ remaining  0.02% (2) the second,  0.02% (2) we weight  0.02% (2) treat the  0.02% (2) the permutations  0.02% (2) the sequence  0.02% (2) cannot be  0.02% (2) having value  0.02% (2) the sense  0.02% (2) $q$analog? (part  0.02% (2) first three  0.02% (2) an inward  0.02% (2) $i$ by  0.02% (2) has more  0.02% (2) phase 2.  0.02% (2) repeat this  0.02% (2) study of  0.02% (2) but it  0.02% (2) the nearest  0.02% (2) of $i$’s  0.02% (2) increment $i$  0.02% (2) by $1$  0.02% (2) and repeat  0.02% (2) this step  0.02% (2) reading order.  0.02% (2) we call  0.02% (2) $q$analogs that  0.02% (2) nearest $i$  0.02% (2) entry of  0.02% (2) switch the  0.02% (2) reading order,  0.02% (2) properties 3  0.02% (2) shown below.  0.02% (2) $i$’s in  0.02% (2) for now!  0.02% (2) the “evacuationshuffle”,  0.02% (2) this operator  0.02% (2) taquin slide.  0.02% (2) to perform  0.02% (2) polynomial in  0.02% (2) functions of  0.02% (2) $p_q$ can  0.02% (2) be expressed  0.02% (2) each step,  0.02% (2) that, in  0.02% (2) a sequence  0.02% (2) of (possibly  0.02% (2) infinite) sums  0.02% (2) suffix of  0.02% (2) an important  0.02% (2) or products  0.02% (2) of rational  0.02% (2) $q$ over  0.02% (2) in $p$,  0.02% (2) to two  0.02% (2) the entries  0.02% (2) some field,  0.02% (2) $p_q$ gives  0.02% (2) about something  0.02% (2) that $p$  0.02% (2) counting the  0.02% (2) describes, and  0.02% (2) $p_q$ has  0.02% (2) $p$like properties.  0.02% (2) $q=1$ in  0.02% (2) a semistandard  0.02% (2) 1$ results  0.02% (2) an inversion  0.02% (2) jake and  0.02% (2) in opal  0.02% (2) as having  0.02% (2) treat $\times$  0.02% (2) we define  0.02% (2) posts ellipses,  0.02% (2) count to  0.02% (2) entries in  0.02% (2) adjacent to  0.02% (2) number is  0.02% (2) commutator of  0.02% (2) i studied  0.02% (2) parabolas, and  0.02% (2) as $q\to  0.02% (2) denotes the  0.02% (2) so for  0.02% (2) as $i+1$’s  0.02% (2) of permutations  0.02% (2) but in  0.02% (2) least as  0.02% (2) $\sum_{p\in s_n}q^{\mathrm{inv}(p)}$,  0.02% (2) in general,  0.02% (2) has at  0.02% (2) an expression  0.02% (2) or taking  0.02% (2) $p$ describes,  0.02% (2) usual littlewoodrichardson  0.02% (2) $\infty$ to  0.02% (2) the fourth  0.02% (2) all $0$  0.02% (2) have $$\begin{align*}  0.02% (2) all in  0.02% (2) $s$ in  0.02% (2) for all  0.02% (2) the partial  0.02% (2) only be  0.02% (2) must have  0.02% (2) of $\mu$,  0.02% (2) is one  0.02% (2) since there  0.02% (2) we must  0.02% (2) $\mu$ is  0.02% (2) the young  0.02% (2) since $i_\mu$  0.02% (2) jordan blocks,  0.02% (2) fixed under  0.02% (2) $i_\mu$ is  0.02% (2) the natural  0.02% (2) it has  0.02% (2) the transpose  0.02% (2) columns of  0.02% (2) is called  0.02% (2) the variables  0.02% (2) garsia and  0.02% (2) and procesi.  0.02% (2) n$ matrices  0.02% (2) of $n\times  0.02% (2) a nilpotent  0.02% (2) rings of  0.02% (2) jordan normal  0.02% (2) of diagonal  0.02% (2) known as  0.02% (2) the $(n+1)$st  0.02% (2) the fibonacci  0.02% (2) combinatorial construction  0.02% (2) why this  0.02% (2) has $n$  0.02% (2) method one  0.02% (2) and one  0.02% (2) \sum_{k=0}^{\lfloor n/2\rfloor}  0.02% (2) $$f_n=\frac{1}{\sqrt{5}\cdot 2^n}\left(  0.02% (2) \binom{n}{i}(\sqrt{5})^i \right)  0.02% (2) the binomial  0.02% (2) we use  0.02% (2) proof of  0.02% (2) to work  0.02% (2) we first  0.02% (2) two numbers  0.02% (2) t)$, we  0.02% (2) and $1$  0.02% (2) we’ll discuss  0.02% (2) has the  0.02% (2) this can  0.02% (2) to prove  0.02% (2) exactly the  0.02% (2) see that  0.02% (2) in $t$  0.02% (2) a polynomial  0.02% (2) partition of  0.02% (2) $t$ is  0.02% (2) power of  0.02% (2) that this  0.02% (2) the matrix  0.02% (2) the cohomology  0.02% (2) post, but  0.02% (2) row of  0.02% (2) $f_1$ and  0.02% (2) the line  0.02% (2) the directrix  0.02% (2) the condition  0.02% (2) and $\ell$  0.02% (2) is some  0.02% (2) x)^2 \\  0.02% (2) $pf_2$ is  0.02% (2) $\ell$ be  0.02% (2) and let  0.02% (2) foci is  0.02% (2) distances of  0.02% (2) and $f_2$  0.02% (2) ellipse $e$  0.02% (2) for an  0.02% (2) ellipse is  0.02% (2) a parabola.  0.02% (2) that an  0.02% (2) then it’s  0.02% (2) some positive  0.02% (2) $\ell$ for  0.02% (2) fixed line  0.02% (2) $\alpha$ times  0.02% (2) school student  0.02% (2) point and  0.02% (2) this mean  0.02% (2) (called the  0.02% (2) and infinity  0.02% (2) ellipses, parabolas,  0.02% (2) older posts  0.02% (2) navigation ←  0.02% (2) finally, consider  0.02% (2) the new  0.02% (2) the springer  0.02% (2) ghost as  0.02% (2) i mentioned  0.02% (2) modules $r_\mu$  0.02% (2) why the  0.02% (2) you see  0.02% (2) 2 \cdot  0.02% (2) from $1$  0.02% (2) from $a$  0.02% (2) things is  0.02% (2) $6$ possibilities  0.02% (2) who gets  0.02% (2) gets the  0.02% (2) all those  0.02% (2) and skeleton  0.02% (2) skeleton, and  0.02% (2) suppose we  0.02% (2) in gemstones,  0.02% (2) and there  0.02% (2) pearl   0.02% (2) on november  0.02% (2) so, what  0.02% (2) that there’s  0.02% (2) it and  0.02% (2) snickers bars  0.02% (2) are only  0.02% (2) to make  0.02% (2) scariest costume,  0.02% (2) remaining four  0.02% (2) choose who  0.02% (2) $5$ kids  0.02% (2) of those  0.02% (2) also have  0.02% (2) because there  0.02% (2) \\ \square  0.02% (2) the three  0.02% (2) local algorithm  0.02% (2) schubert calculus  0.02% (2) post on  0.02% (2) where this  0.02% (2) of rectification  0.02% (2) we discussed  0.02% (2) 18, 2016  0.02% (2) ii) posted  0.02% (2) shown that  0.02% (2) these components  0.02% (2) $\chi(\mathcal{o}_s)=\dim h^0(\mathcal{o}_s)\dim  0.02% (2) upper bound  0.02% (2) $\omega$ to  0.02% (2) let’s consider  0.02% (2) curves $s$  0.02% (2) nonadjacent moves  0.02% (2) subvariety of  0.02% (2) other words:  0.02% (2) content $\beta$  0.02% (2) does not  0.02% (2) $\omega$ described  0.02% (2) violates property  0.02% (2) property 2,  0.02% (2) above violates  0.02% (2) are adjacent  0.02% (2) word is  0.02% (2) every suffix  0.02% (2) we delete  0.02% (2) same entry  0.02% (2) contain the  0.02% (2) a genomic  0.02% (2) a chain  0.02% (2) summing to  0.02% (2) $\square_1$ and  0.02% (2) $(r+1)$st point  0.02% (2) partitions $\alpha$,  0.02% (2) and consider  0.02% (2) way of  0.02% (2) doesn’t matter  0.02% (2) of littlewoodrichardson  0.02% (2) have size  0.02% (2) $c$ points  0.02% (2) open subset  0.02% (2) from this  0.02% (2) resulting schubert  0.02% (2) intersecting the  0.02% (2) normal curve  0.02% (2) the rational  0.02% (2) $t$ on  0.02% (2) choose an  0.02% (2) curve in  0.02% (2) on these  0.02% (2) covering map  0.02% (2) partitions $\lambda^{(1)},\ldots,\lambda^{(r)}$  0.02% (2) osculating flags,  0.02% (2) points on  0.02% (2) t^{n3} \\  0.02% (2) & (n1)  0.02% (2) points of  0.02% (2) rational normal  0.02% (2) derivatives at  0.02% (2) defined by  0.02% (2) to $k(nk)1$.  0.02% (2) $r$ partitions  0.02% (2) choice of  0.02% (2) $\square_2$ in  0.02% (2) the data  0.02% (2) \\ \blacksquare  0.02% (2) levinson and  0.02% (2) \to 0$  0.02% (2) expressions of  0.02% (2) the subgroup  0.02% (2) then define  0.02% (2) on $x$.  0.02% (2) free abelian  0.02% (2) defined in  0.02% (2) suffices to  0.02% (2) so, to  0.02% (2) $s$ can  0.02% (2) arithmetic genus  0.02% (2) now, we’ll  0.02% (2) certain covering  0.02% (2) the operator  0.02% (2) and final  0.02% (2) out that,  0.02% (2) the years  0.02% (2) richard stanley  0.02% (2) $k$ starting  0.02% (2) of loops  0.02% (2) vertex $v$  0.02% (2) length $k$  0.02% (2) walks of  0.02% (2) a complete  0.02% (2) age of  0.02% (2) come up  0.02% (2) and other  0.02% (2) in algebraic  0.02% (2) lead to  0.02% (2) we will  0.02% (2) on vector  0.02% (2) does this  0.02% (2) that enumerate  0.02% (2) where if  0.02% (2) genomic tableaux  0.02% (2) the usual  0.02% (2) $k$theory coefficients.  0.02% (2) a single  0.02% (2) (see part  0.02% (2) three partitions  0.02% (2) $s$ is  0.02% (2) x$, and  0.02% (2) in fact,  0.02% (2) \end{array} $$  0.02% (2) \\ \to  0.02% (2) $c^{\nu}_{\lambda\mu}$ is  0.02% (2) this blog  0.02% (2) then $c^{\nu}_{\lambda\mu}$  0.02% (2) classes of  0.02% (2) the construction  0.02% (2) of how  0.02% (2) abelian monoid  0.02% (2) a group  0.02% (2) abelian group  0.02% (2) ring $k(x)$  0.02% (2) be found  0.02% (2) give a  0.02% (2) it gives  0.02% (2) cohomology ring  0.02% (2) schubert curves.  0.02% (2) recall from  0.02% (2) the classes  0.02% (2) fitting inside  0.02% (2) a $k\times  0.02% (2) generate the  0.02% (2) it… combinatorially?maria  0.02% (2)  the number of  0.23% (21) by maria gillespie  0.11% (10) the euler characteristic  0.11% (10) in terms of  0.1% (9) jeu de taquin  0.1% (9) the special box  0.09% (8) it turns out  0.09% (8) turns out that  0.09% (8) maria gillespie reply  0.08% (7) the $k$theory ring  0.08% (7)  leave a  0.08% (7) leave a reply  0.08% (7) 2016 by maria  0.08% (7) de taquin slide  0.08% (7) number of ways  0.07% (6) a $q$analog of  0.07% (6) one of the  0.07% (6) short exact sequence  0.07% (6) you prove it…  0.07% (6) can you prove  0.07% (6) prove it… combinatorially?  0.07% (6) to be the  0.05% (5) of the grassmannian  0.05% (5) the empty square  0.05% (5) the locus of  0.05% (5) the sum of  0.05% (5) given by the  0.05% (5) can be defined  0.05% (5) be defined as  0.05% (5) & \cdots &  0.05% (5) of the schubert  0.05% (5) there is a  0.05% (5) sum of the  0.05% (5) for which the  0.05% (5) in the case  0.05% (5) $\beta$, and $\gamma$  0.05% (5) locus of points  0.05% (5) defined as follows.  0.05% (5) geometry of the  0.04% (4) $q$analog of a  0.04% (4) pages: 1 2  0.04% (4) statement or expression  0.04% (4) a statement or  0.04% (4) is equal to  0.04% (4) handle on the  0.04% (4) and so the  0.04% (4) partial elementary symmetric  0.04% (4) young tableaux, and  0.04% (4) do schubert curves,  0.04% (4) a reply what  0.04% (4) the structure of  0.04% (4) all of the  0.04% (4) structure of the  0.04% (4) curves, young tableaux,  0.04% (4) on can you  0.04% (4) it follows that  0.04% (4) the reading word  0.04% (4) for instance, the  0.04% (4) what do schubert  0.04% (4) counts the number  0.04% (4) $\alpha$, $\beta$, and  0.04% (4) out that the  0.04% (4) is given by  0.04% (4) a handle on  0.04% (4) ways of choosing  0.04% (4) the limit as  0.04% (4) one can show  0.04% (4) in such a  0.04% (4) in the last  0.04% (4) right hand side  0.03% (3) \blacksquare & \square  0.03% (3) complex connected components  0.03% (3) \square \\ \\  0.03% (3) us more refined  0.03% (3) which is a  0.03% (3) \square & \blacksquare  0.03% (3) the total number  0.03% (3) special box with  0.03% (3) a way that  0.03% (3) so there are  0.03% (3) steps of the  0.03% (3) algorithm for $\omega$  0.03% (3) the next post  0.03% (3) euler characteristic of  0.03% (3) a short exact  0.03% (3) what is a  0.03% (3) this is a  0.03% (3) series of posts  0.03% (3) the set of  0.03% (3) ktheory have in  0.03% (3) terms of the  0.03% (3) the case that  0.03% (3) of the form  0.03% (3) in the next  0.03% (3) of the grassmannian.  0.03% (3) total number of  0.03% (3) the real locus  0.03% (3) the monodromy operator  0.03% (3) this is the  0.03% (3) & \square \\  0.03% (3) some of the  0.03% (3) \square & \square  0.03% (3) can show that  0.03% (3) is a $q$analog?  0.03% (3) of points $p$  0.03% (3) the elementary symmetric  0.03% (3) $\gamma$ in that  0.03% (3) nilpotent conjugacy class  0.03% (3) taking the limit  0.03% (3) of the number  0.03% (3) $q$analog of the  0.03% (3) the geometry of  0.03% (3) ways to choose  0.03% (3) of a partition  0.03% (3) the distance from  0.03% (3) i) posted on  0.03% (3) in common? (part  0.03% (3) more refined information  0.03% (3) and ktheory have  0.03% (3) $k\times (nk)$ box  0.03% (3) as the locus  0.03% (3) there are no  0.03% (3) we have the  0.03% (3) from $p$ to  0.03% (3) be used to  0.03% (3) the left hand  0.03% (3) is the identity  0.03% (3) 1 2 posted  0.03% (3) $a$ and $b$  0.03% (3) the closure of  0.03% (3) a number of  0.03% (3) get a handle  0.03% (3) number of inversions  0.03% (3) to form the  0.03% (3) gives us the  0.03% (3) variety of a  0.03% (3) first three steps  0.02% (2) $\omega$ described in  0.02% (2) the $i$’s in  0.02% (2) a certain covering  0.02% (2) with the nearest  0.02% (2) box does not  0.02% (2) of the algorithm  0.02% (2) operator on the  0.02% (2) the fibers is  0.02% (2) described in the  0.02% (2) the arc from  0.02% (2) of filling the  0.02% (2) us to get  0.02% (2) end up with  0.02% (2) a littlewoodrichardson tableau  0.02% (2) least as many  0.02% (2) rectification: treat $\times$  0.02% (2) has at least  0.02% (2) as having value  0.02% (2) the $\times$ as  0.02% (2) that is, the  0.02% (2) $\times$ as having  0.02% (2) it doesn’t matter  0.02% (2) stay tuned! posted  0.02% (2) once we choose  0.02% (2) to perform a  0.02% (2) way that the  0.02% (2) a skew shape  0.02% (2) commutator of rectification  0.02% (2) consists of the  0.02% (2) skew shape $\lambda/\mu$  0.02% (2) the monodromy of  0.02% (2) it in reading  0.02% (2) post navigation ←  0.02% (2) $i$ by $1$  0.02% (2) functions of $q$  0.02% (2) the $q$multiplication principle  0.02% (2) tuned! posted in  0.02% (2) 2015 by maria  0.02% (2) we plug in  0.02% (2) interesting $q$analog of  0.02% (2) expression $p$ is  0.02% (2) or taking the  0.02% (2) limit as $q\to  0.02% (2) 1$ results in  0.02% (2) $p$, $p_q$ can  0.02% (2) be expressed in  0.02% (2) terms of (possibly  0.02% (2) infinite) sums or  0.02% (2) products of rational  0.02% (2) over some field,  0.02% (2) we get the  0.02% (2) $p_q$ gives us  0.02% (2) about something that  0.02% (2) $p$ describes, and  0.02% (2) $p_q$ has $p$like  0.02% (2) $q$analog of $5$,  0.02% (2) on the other  0.02% (2) it can also  0.02% (2) basic fact that  0.02% (2) of the way  0.02% (2) we count to  0.02% (2) posted in opal  0.02% (2)  4 replies  0.02% (2) of the garsiaprocesi  0.02% (2) it… combinatorially?maria gillespie  0.02% (2) permutations of $1,\ldots,n$,  0.02% (2) a factor of  0.02% (2) and repeat this  0.02% (2) field, $p_q$ gives  0.02% (2) the nearest $i$  0.02% (2) de taquin slide.  0.02% (2) an example of  0.02% (2) for now! in  0.02% (2) and the $q$analog  0.02% (2) such that setting  0.02% (2) $q=1$ or taking  0.02% (2) $q\to 1$ results  0.02% (2) in $p$, $p_q$  0.02% (2) can be expressed  0.02% (2) (possibly infinite) sums  0.02% (2) or products of  0.02% (2) rational functions of  0.02% (2) $q$ over some  0.02% (2) information about something  0.02% (2) contributes a factor  0.02% (2) that $p$ describes,  0.02% (2) and $p_q$ has  0.02% (2) setting $q=1$ in  0.02% (2) a combinatorial $q$analog  0.02% (2) the last post!  0.02% (2) satisfies property 4  0.02% (2) in this post,  0.02% (2) fact that the  0.02% (2) of choosing one  0.02% (2) from a set  0.02% (2) is the product  0.02% (2) where the weight  0.02% (2) the first entry  0.02% (2) can be any  0.02% (2) the curve $s$  0.02% (2) an upper bound  0.02% (2) if we follow  0.02% (2) young diagram of  0.02% (2) conjugacy class of  0.02% (2) in jordan normal  0.02% (2) $r_\mu$ is a  0.02% (2) all in all  0.02% (2) this gives us  0.02% (2) for subsets $s$  0.02% (2) since $i_\mu$ is  0.02% (2) the transpose partition  0.02% (2) that it has  0.02% (2) \lt r \le  0.02% (2) and we have  0.02% (2) is the sum  0.02% (2) that the elementary  0.02% (2) the partial elementary  0.02% (2) conjugacy class $c_{\mu’}$  0.02% (2) a polynomial in  0.02% (2) ring of the  0.02% (2) \\ \\ \square  0.02% (2) at vertex $v$  0.02% (2) length $k$ starting  0.02% (2) posted in gemstones,  0.02% (2) the next page  0.02% (2) of choosing a  0.02% (2) \\ \blacksquare &  0.02% (2) \\ \square &  0.02% (2) this can be  0.02% (2) hand side of  0.02% (2) method one can  0.02% (2) note that the  0.02% (2) we use the  0.02% (2) that it can  0.02% (2) maria gillespie 4  0.02% (2) of $n\times n$  0.02% (2) this post, but  0.02% (2) diamond  leave  0.02% (2) $f_1$ and $f_2$  0.02% (2) defined in terms  0.02% (2) we have $$\begin{align*}  0.02% (2) $p$ to $\ell$  0.02% (2) to the foci  0.02% (2) the distances of  0.02% (2) some positive real  0.02% (2) positive real number  0.02% (2) finally, consider the  0.02% (2) a fixed line  0.02% (2) times the distance  0.02% (2) $p$ for which  0.02% (2) defined as the  0.02% (2) high school student  0.02% (2) posted on january  0.02% (2) case of a  0.02% (2) that the focus  0.02% (2) the ring of  0.02% (2) who gets the  0.02% (2) garsiaprocesi modules $r_\mu$  0.02% (2) you see why  0.02% (2) from $1$ to  0.02% (2) of ways to  0.02% (2) the formula for  0.02% (2) is the same  0.02% (2) get the snickers  0.02% (2) halloween candy and  0.02% (2) get the kit  0.02% (2) the remaining four  0.02% (2) which two of  0.02% (2) there are $5$  0.02% (2) kit kat and  0.02% (2) and there are  0.02% (2) back to the  0.02% (2) the fact that  0.02% (2) by the chains  0.02% (2) for the schubert  0.02% (2) defined by the  0.02% (2) $r$ partitions $\lambda^{(1)},\ldots,\lambda^{(r)}$  0.02% (2) the schubert varieties  0.02% (2) the littlewoodrichardson coefficient  0.02% (2) our post on  0.02% (2) set of all  0.02% (2) a $k\times (nk)$  0.02% (2) the rational normal  0.02% (2) post on schubert  0.02% (2) 18, 2016 by  0.02% (2) in diamond   0.02% (2) we also know  0.02% (2) each of these  0.02% (2) complex connected components,  0.02% (2) iterated derivatives at  0.02% (2) \vdots & \vdots  0.02% (2) on the euler  0.02% (2) in which we  0.02% (2) in that order,  0.02% (2) the chains of  0.02% (2) an inner corner  0.02% (2) littlewoodrichardson tableau of  0.02% (2) of contents $\alpha$,  0.02% (2) that there is  0.02% (2) points in the  0.02% (2) & \vdots &  0.02% (2) we can then  0.02% (2) with the number  0.02% (2) the resulting schubert  0.02% (2) on the rational  0.02% (2) sizes summing to  0.02% (2) order for the  0.02% (2) equal to $n$  0.02% (2) parabolas, and infinity  0.02% (2) the operator $\omega$  0.02% (2) operation on vector  0.02% (2) show that if  0.02% (2) it suffices to  0.02% (2) the usual littlewoodrichardson  0.02% (2) then $c^{\nu}_{\lambda\mu}$ is  0.02% (2) of schubert curves.  0.02% (2) it gives us  0.02% (2) out that, in  0.02% (2) is the intersection  0.02% (2) generated by expressions  0.02% (2) is defined as  0.02% (2) of the $k$theory  0.02% (2) to compute the  0.02% (2) arithmetic genus of  0.02% (2) of a certain  0.02% (2) we have a  0.02% (2) three partitions $\alpha$,  0.02% (2) upper bound on  0.02% (2) above violates property  0.02% (2) number of real  0.02% (2) schubert curves $s$  0.02% (2) other words: the  0.02% (2) jake and i  0.02% (2) in part i.  0.02% (2) and so it  0.02% (2) word is ballot  0.02% (2) is the usual  0.02% (2) and $\square_2$ in  0.02% (2) a genomic tableau  0.02% (2) $\square_1$ and $\square_2$  0.02% (2) the genus of  0.02% (2) we see that  0.02% (2) a point and  0.02% (2) prove it… combinatorially?maria  0.02% (2) 