Separating Invariants of Quivers

识别一对物体的差异仅限于对称性的能力是人类和人工智能的一项重要技能。例如，人类可以很容易地识别从不同角度拍摄的同一物体的两个不同图像，在我们日益自动化的世界中，希望计算机能够同样出色地执行这项任务。人类通过关注图像的不变属性（例如感兴趣点之间的角度和距离）来区分物体的对称性。这些被称为图像的不变量。编码对称性思想的数学对象是群作用。许多重要的数学问题都可以归结为：给定一对对象，是否存在一个映射到另一个的群元素？不变量理论试图以自然的方式解决这样的问题，通过描述当群体作用改变对象时保持不变的对象的属性。大多数关于不变量理论的历史工作都集中在试图描述给定情况下“所有”可能的不变量。在过去的20年左右，在不变理论中出现了一个新的趋势，我们试图描述所谓的“分离集”。这些不变量的集合能够确定两个对象是否相同，就像完整的不变量集合一样。不变量是一个节点网络，箭头指向它们之间。人们可以想象一个图，其中每个节点代表一个城市，如果两个城市之间有直飞航班，则两个节点连接。一种表示法是一种将数学对象与箭盒相关联的方法。这些陈述一直处于最前沿的代数研究自20世纪70年代以来，由于一个显着的结果，基本上说，几乎所有的代表性理论可以减少到代表性的颤抖。分类颤抖到对称性是一个问题，这是一个服从不变量理论的方法，多年来已经取得了很大的进展，通过描述所有不变量的颤抖。这个项目试图将前两段中描述的两个想法结合在一起：描述箭图不变量的分离集。这种方法的主要好处是分离集通常比完整的不变量集更小，更容易使用。因此，掌握了如何描述分离的箭点集合的知识，我们就可以增加如何将箭点分类到对称性的知识，并在这样做的过程中增加我们对一般表示论的理解。

The ability to recognise when a pair of objects differ only up to symmetry is an important skill both for humans and artificial intelligence. For example, humans can easily recognise two different images of the same object taken from different angles, and in our increasingly automated world it is desirable for computers to be able to perform this task equally well.Humans distinguish objects up to symmetry by focussing on properties of the image which do not change, such as angles and distances between points of interest. These are called the invariants of the image. The mathematical object which encodes the idea of symmetry is a group action. Many important mathematical problems really boil down to this: given a pair of objects, is there a group element mapping one on to the other? Invariant theory seeks to solve problems like this in a natural way, by describing properties of the objects which remain fixed when the group action changes the object. Most of the historical work on invariant theory focussed on attempts to describe "all" the possible invariants in a given situation. In the last 20 years or so a new trend in invariant theory has emerged, in which we try to describe so-called "separating sets". These are sets of invariants which are able to determine, just as well the complete set of invariants, whether two objects are the same up to symmetry.A quiver is a network of nodes, with arrows pointing between them. One might imagine a diagram in which each node represents a city, and two nodes are connected if there is a direct flight running between the two cities. A representation of a quiver is a way of associating mathematical objects to quivers. These representations have been at the forefront of algebra research since the 1970's, thanks to a remarkable result which says essentially that almost all of representation theory can be reduced to representations of quivers. Classifying quivers up to symmetry is a problem which is amenable to an invariant-theoretic approach, and much progress has been made over the years by describing all invariants of quivers. This project seeks to bring together the two ideas described in the previous two paragraphs: describing separating sets for invariants of quivers. The chief benefits of this approach is that separating sets are often smaller and easier to use than complete sets of invariants. Thus, with knowledge of how to describe separating sets of quivers in hand we could increase our knowledge of how to classify quivers up to symmetry, and in doing so increase our understanding of representation theory in general.