Actions of the braid group on derived categories of representations of simple Lie algebras.
EPSRC Grant GR/S35387/01
This project ran from 1/6/2004 to 30/11/07, and was funded by the UK Engineering and Physical Sciences Research Council, 144018 pounds.
Coinvestigator: Steffen Koenig. Research Asssociates: Karin Baur and Intan MuchtadiAlamsyah.
Summary of Project (nonspecialist)
A braid is a way of twisting a collection of strings around each other. For example, if there are three strings, you could twist the first two, then the second two, and then the first two again, and the ordering of the strings will have been reversed. It is possible to combine two braids in order to get a third  i.e., apply the first braid, and then the second. The collection of all possible braids on a fixed number, n, of strings, together with this combination rule, forms a group  there is a braid which does no twisting; for every braid, there is an "inverse" braid which undoes it, and the bracketing of a long combination of braids is irrelevant. The braid group and its variations, are prevalent throughout mathematics, as they describe such fundamental operations. In particular, there are some known examples in which the braid group acts (by twisting, in some sense), on the derived category of an algebra. Algebras are the main object of study in representation theory, and the derived category is an important invariant which can be associated to an algebra. These examples are very intriguing, and it is not really understood how they come about. In this project, we aim to use the "Category O" (a well known mathematical object from Lie theory) to construct such actions, employing Marsh's experience in Lie theory, Koenig's expertise in derived categories, and the expertise of the research assistant in category O, and at the same time deepening the understanding of the Category O itself.
Objectives

To give a geometric description of mcluster categories.
 To find a new example of an Artin braid group action on the derived category of representations of an algebra.
 To construct frieze patterns of integers from numbers of matchings on graphs arising from triangulations.
 To give constructions of Richardson elements of simple algebraic groups.
 To compute dimensions of higher secant varieties of minimal orbits.
 To find a connection between cluster algebras and TemperleyLieb algebras.
 To find a determinantal relation on a cluster algebra of finite simplylaced type.
Papers
 K. Baur and R. J. Marsh. Categorification of a frieze pattern determinant. Journal of Combinatorial Theory, Series A 119 (2012), 11101122.
 K. Baur and J. Draisma. Secant dimensions of lowdimensional homogeneous varieties. Adv. Geometry, 10 (2010), no. 1, 129.
 K. Baur, J. Draisma and W. de Graaf. Secant dimensions of minimal orbits: computations and conjectures. Experiment. Math. 16 (2007), no. 2, 239250.
 K. Baur and S. Goodwin. Richardson elements for parabolic subgroups of classical groups in positive characteristic. Algebr. Represent. Theory 11 (2008), no. 3, 275297.
 K. Baur and R. J. Marsh. Frieze patterns for punctured discs. Journal of Algebraic Combinatorics 2008.
 K. Baur and R. J. Marsh. A geometric description of mcluster categories. Trans. Amer. Math. Soc. 360 (2008), 57895803.
 K. Baur and R. J. Marsh. A geometric description of the mcluster categories of type D_n. International Mathematics Research Notices (2007) Vol. 2007 : article ID rnm011, 19 pages, doi:10.1093/imrn/rnm011.
 R. J. Marsh and P. P. Martin. Pascal arrays: counting Catalan sets. Preprint arXiv:math/0612572 [math.CO], 2006.
 I. MuchtadiAlamsyah. Braid action on derived category of Nakayama algebras. Comm. Algebra 36 (2008), no. 7, 25442569.