100, rue des maths 38610 Gières / GPS : 45.193055, 5.772076 / Directeur : Thierry Gallay

Depuis lundi 18 mai, le bâtiment de l'Institut Fourier est à nouveau accessible par badge ou code, de 6h30 à 18h30, du lundi au vendredi (hors jours fériés et pont de l'Ascension). Les locaux communs, dont la cafétéria et la bibliothèque, restent fermés jusqu'à nouvel ordre. Un registre de présence devant être tenu, les membres du laboratoire souhaitant accéder à leur bureau sont priés de s'annoncer en répondant aux sondages envoyés par la direction du laboratoire. Le travail à distance doit toutefois rester la règle autant que possible. Pour de plus amples informations, consulter l'intranet du laboratoire.
 
---------------------------------------------------------------------------------
 
 

The Horn recursion in the Schubert calculus.

Lundi, 12 Décembre, 2005 - 11:30
Prénom de l'orateur : 
Frank
Nom de l'orateur : 
SOTTILE
Résumé : 

Work of Klyachko and of Knutson and Tao in the 1990's
established the Horn conjecture, which is a recursively
defined set of inequalities among eigenvalues of hermitian
matrices A, B, and A+B. This used representation theory,
Schubert calculus, and combinatorics. A consequence is that
other problems in mathematics have a similar Horn recursion,
for example when is a Littlewood-Richardson number non-zero?
Its geometric counterpart is to determine when a triple of
Schubert varieties in a Grassmannian must meet. The
partition indices of such a triple of Schubert varieties are
called a feasible triple.

The answer is that a triple is feasible if and only if the
three partitions satisfy Horn inequalities parametrized by
all feasible triples for smaller Grassmannians. In brief,
the Schubert calculus on a Grassmannian is controlled (to
some degree) by the Schubert calculus on all smaller
Grassmannians.

My first talk will begin by discussing the Horn
inequalities for eigenvalues of hermitian matrices A, B, and
A+B, and what they mean for geometry. Then I will discuss
Belkale's geometric proof of the Horn recursion. This
suggests that other related feasibility problems in
Schubert calculus may have a similar recursive description.

My second talk will describe a generalization of this
obtained in collaboration with Kevin Purbhoo of the
University of British Columbia. We give a completely
different Horn recursion in the Schubert calculus, involving
cominuscule flag varieties. This yields a different set of
valid inequalities for feasibility in Grassmannians, as well
as two different (but equivalent) sets of inequalities for
feasibility in the Lagrangian Grassmannian. In addition to
giving these inequalities, we will also describe the
geometry behind our proof.

Institution de l'orateur : 
Texas A&M University
Thème de recherche : 
Algèbre et géométries
Salle : 
04
logo uga logo cnrs