Cluster-tilting theory

流形流形是一个数学空间，它在局部上类似于通常的某个固定维度的坐标空间，称为欧几里得空间。地球本身就是二维流形的一个例子：地图利用了这样一个事实，即如果你离给定的点不太远，地球的行为就很像一个平面。利用这种局部平面结构，小地图可以覆盖整个地球，尽管整个世界的精确地图必须是一个地球仪。一维流形，如圆，局部看起来像一条线，也有更高维的流形。流形在数学中起着重要的作用，因为有很多例子，因为它们可以使用欧几里得空间的性质来研究。对称一个物体的对称性是使它看起来和以前完全一样的变换，例如一个正方形旋转四分之一圈。两种对称总是可以组合成第三种对称。这与其他性质一起，赋予任何对象的对称集一个群的结构。虽然正方形只有8个对称，但圆有无限多个对称，形成一维流形。流形和群结构是相容的，这样的对象被称为李群。李群在19世纪70年代，Sophus Lie通过线性化李群来研究李群，从而得到更简单的空间，称为李代数。李代数可以用线性代数中更基本的数学概念来研究，线性代数是研究向量空间（如欧几里得空间）及其线性变换的。这一点和其他发展导致了李理论的现代主题，其中李代数通过其表示理论进行研究：李代数的每个元素都由向量空间的变换表示。这种变换可以通过矩阵来更具体地表示，矩阵是数字的矩形阵列，只要选择一个基（本质上是选择坐标）。量子群1985年，经典李代数的变形版本，或量子群，由德林费尔德和Jimbo引入，这导致了李代数研究方式的革命。特别是Kashiwara和Lusztig在1990年引入了正则基，具有美丽的性质。它同时产生了（某种类型的）李代数的所有表示的基。规范基也可以应用于其他领域，例如仿射Hecke代数的表示理论。明确描述规范基的尝试导致了许多有趣的数学，包括Fomin和Zelevinsky的簇代数，引入来模拟其乘法性质。为了理解簇代数，引入了簇范畴和簇倾斜理论。这些对象是使用箭图的表示来定义的：箭图是一个有定向边的图，表示是每个顶点的向量空间和每个边的变换。除了深入了解正则基之外，团簇倾斜理论已经迅速成为研究箭图表示的有力工具。正则基的模型仍然不完整，对拟议项目的工作将有助于通过量子团簇代数获得更好的图像。该项目还将致力于发展集群倾斜理论从颤抖的代表性的角度，通过描述其组合特性，并将其推广到更广泛的背景下，在几个方向。该项目还将发展更强的连接到统计力学中出现的图代数。

ManifoldsA manifold is a mathematical space which is locally like the usual coordinate space of some fixed dimension, known as Euclidean space. The earth itself is an example of a two-dimensional manifold: maps exploit the fact that, if you don't go too far from a given point, the earth behaves pretty much like a plane. The earth could be covered entirely by small maps making use of this local planar structure, although an accurate map of the entire world must be a globe. A one-dimensional manifold, such as a circle, looks locally like a line, and there are manifolds of higher dimension as well. Manifolds play an important role in mathematics because there are so many examples and because they can be studied using the properties of Euclidean space. SymmetriesThe symmetries of an object are the transformations which leave it looking exactly as it was before, such as a rotation of a square through a quarter of a revolution. Two symmetries can always be composed to give a third. This, together with other properties, gives the set of symmetries of any object the structure of a group. While there are only 8 symmetries of a square, the circle has infinitely many symmetries, forming a one-dimensional manifold. The manifold and group structures are compatible, and such an object is known as a Lie group. Lie groups often arise as certain symmetry groups known as gauge groups in physics as well.Lie groupsIn the 1870s, Sophus Lie studied Lie groups by linearizing them, to obtain simpler spaces known as Lie algebras. Lie algebras can be studied using more elementary mathematical notions from linear algebra, which is the study of vector spaces (such as Euclidean spaces) and their linear transformations. This and other developments led to the modern subject of Lie theory in which Lie algebras are studied via their representation theory: each element of the Lie algebra is represented by a transformation of a vector space. Such transformations can be represented more concretely via matrices, which are rectangular arrays of numbers, provided a basis is chosen (essentially a choice of coordinates).Quantum groupsIn 1985, deformed versions of the classical Lie algebras, or quantum groups, were introduced by Drinfeld and Jimbo, and this led to a revolution in the way that Lie algebras were studied. In particular, Kashiwara and Lusztig introduced the canonical basis in 1990, with beautiful properties. It simultaneously gives rise to bases for all representations for the Lie algebra (of a certain kind). The canonical basis has applications to other fields as well, such as the representation theory of affine Hecke algebras.The projectAttempts to describe the canonical basis explicitly have led to a lot of interesting mathematics, including the cluster algebras of Fomin and Zelevinsky, introduced to model its multiplicative properties. Cluster categories and cluster-tilting theory were introduced in order to understand cluster algebras. These objects were defined using representations of quivers: a quiver is a graph with oriented edges and a representation is a vector space for each vertex and a transformation for each edge. As well as giving insight into the canonical basis, cluster-tilting theory has rapidly become a powerful tool for the study of representations of quivers.This model of the canonical basis is still incomplete and work on the proposed project will help towards a better picture via quantum cluster algebras. The project will also work on developing cluster-tilting theory from the perspective of representations of quivers by describing its combinatorial properties and generalising it to a wider context in several directions. The project will also develop stronger connections to the diagram algebras arising in statistical mechanics.