Principal bundles in algebraic geometry

当面对一个复杂的问题时，一个被证明有用的技术是利用它的对称性。在许多自然发生的问题中，对称性的集合通常是相当大的，本质上是无限的。为了理解这种情况下的对称集合，看看对称集合是否有额外的结构是有用的。一种这样的结构是集合由一些多项式方程定义。这在数学中被称为代数群。这个建议是关于研究代数群的几何和它们作用的空间。几何形状通常非常复杂，我们需要适当的机器来描述这些空间。同调代数就是这样一种机器。这个建议试图使用这种同调技术来进一步研究代数群及其相关空间。这项工作最直接的后果将在数学中感受到。数学物理学在最近几十年里与代数几何学合并，在这方面会感受到次级效应。部分提案是关于有理代数簇的。这些物体已经在计算机时代得到了应用，例如计算机辅助设计，它们可以用来快速计算交叉口。

When confronted with a complex problem one technique that has proven useful is to exploit its symmetries. In many naturally occurring problems the collection of symmetries is often quite large, infinite in nature. To understand the collection of symmetries in this situation, it is useful to see if the collection symmetries, has extra structure. One such structure is that the collection be defined by some polynomial equations. This is known as an algebraic group in mathematics. This proposal is about study the geometry of algebraic groups and the spaces that they act upon. The geometry can often be very complicated and we need the appropriate machinery to be able to say anything about these spaces. One such machine is homological algebra. This proposal seeks to use such homological techniques to further the study of algebraic groups and their associated spaces. The most immediate consequences of this work will be felt in mathematics. Secondary effects will be felt in mathematical physics which has seen a merger with algebraic geometry in recent decades. Part of the proposal is about rational algebraic varieties. These objects have seen applications in the computer age, for example to computer aided design where they can be used to compute intersections quickly.