This CAREER award supports research on the combinatorial structures of Schubert varieties, primarily by studying their singularities. Schubert varieties are fascinating geometrical objects which lie at the intersection of several fields of mathematics; their study began with the classical works in projective geometry of the nineteen century. Better understanding of these structures would have impact in algebraic geometry, combinatorics and representation theory. Outside of mathematics, these results may have applications in theoretical physics, computer graphics, and the study of Bucky balls (Carbon-60 molecules). A further goal of this proposal is to explore the changing roll of computers in mathematics. Computer verification and computer proofs play a central role in characterizing properties of Schubert varieties by pattern avoidance.

An important aspect of this proposal is its educational component. Mathematics education and research are intrinsically linked - research brings out the creativity and drive needed to learn new mathematical concepts. In particular, undergraduate students enjoy the challenge of facing unsolved problems. However, due to the nature of mathematics research, finding "good" undergraduate research problems is difficult. Computer verified proofs and computer experimentation are particularly well suited to the skills and knowledge of undergraduates while also of interest to graduate students and more senior researchers. Therefore, this line of research has been incorporated into the education portion of the proposal through a new course and undergraduate research projects.

Agency
National Science Foundation (NSF)
Institute
Division of Mathematical Sciences (DMS)
Type
Standard Grant (Standard)
Application #
0437359
Program Officer
Tie Luo
Project Start
Project End
Budget Start
2003-12-01
Budget End
2006-09-30
Support Year
Fiscal Year
2004
Total Cost
$329,140
Indirect Cost
Name
University of Washington
Department
Type
DUNS #
City
Seattle
State
WA
Country
United States
Zip Code
98195