Noncommutative Algebraic Geometry

代数几何是研究多元多项式的解空间的学科。这包括熟悉的几何形状，如抛物线、球体和由多项式定义的平面曲线。人们试图通过映射或参数化将解与其他空间联系起来来研究解。这门学科受到多项式代数的高度控制。关于解空间的几何陈述直接对应于关于一个人正在解的多项式方程的代数陈述。在非交换代数中，不同顺序的运算会产生不同的结果。例如，先穿鞋再穿袜子和传统的顺序是不一样的。更正式地说，我们知道x乘以y不一定等于y乘以x。非交换代数，就像在多项式代数的研究中一样，经常被几何问题和直觉所激发。在这种情况下，该领域被称为非交换代数几何，它将（交换）代数几何的技术和思想应用于非交换代数。例如，我们可以尝试用矩阵来解非交换方程并尝试理解解的空间。更具体地说，描述位置和动量之间的量子力学关系的方程yx-xy=1没有矩阵解，但方程yx+xy=0有很多矩阵解。一般来说，非交换代数几何的一个重要目标是理解多项式方程的解空间，其中变量不需要交换。除了在非交换代数中有直接的应用外，在代数几何和物理中也有应用。拟议的研究是研究次序而不是品种。这些是非交换代数，我们将多项式和矩阵描述的变量组合在一起。一个阶会给我们一个矩阵的代数，它的项是多项式。由于我们的矩阵是固定的有限大小，因此与通常的代数几何有很多相互作用。这允许我们将深度非平凡结果扩展到非交换设置。代数几何中的一个中心问题是分类。我们建议将已知的一维和二维分类扩展到更高的维度。我们还建议研究正则代数和代数的奇异性。如果一个变种没有被称为奇点的凸起或扭结，那么它就是规则的。这需要本科生、研究生和博士后的共同努力。他们在代数和计算方面发展技术专长，并将学习如何协作、传播结果和解决多层次的技术问题。他们高度发达的技能将使他们在各个领域的学术研究中有价值的补充，或者允许他们在密码学或编码等不同领域的行业中工作。

Algebraic geometry is the study of solution spaces of polynomials in several variables. This includes the geometry of familiar shapes like parabolas, spheres, and curves in the plane defined by a polynomial. One tries to study the solutions by relating them to other spaces via mappings or parametrizations. This subject is highly controlled by the algebra of polynomials. Geometric statements about the space of solutions correspond directly to algebraic statements about the polynomial equations one is solving.In noncommutative algebra, applying operations in different orders can yield different results. For example, putting on one's shoes and then putting on one's socks is not the same as doing it in the conventional order. More formally, we have that x times y is not necessarily equal to y times x. Noncommutative algebra, just as in the study of the algebra of polynomials, is often motivated by geometric problems and intuition. In this setting, the field is called noncommutative algebraic geometry and it uses the techniques and ideas of (commutative) algebraic geometry applied to noncommutative algebra. For example, we may try to solve noncommutative equations with matrices and try to understand that space of solutions. More concretely, the equation yx-xy=1, which describes the quantum mechanical relation between position and momentum, has no matrix solutions, but the equation yx+xy=0 has many. In general, an important goal of noncommutative algebraic geometry is to understand the space of solutions to polynomial equations where the variables need not commute. In addition to having immediate applications in noncommutative algebra, there are applications to algebraic geometry and physics.The proposed research is to study orders over varieties. These are noncommutative algebras where we combine the varieties described by polynomials and matrices. An order will give us an algebra of matrices whose entries are polynomials. Since our matrices are of some fixed finite size, there is much interaction with usual algebraic geometry. This allows us to extend deep non-trivial results to the noncommutative setting. One central problem in algebraic geometry is classification. We propose to extend what is known of classification in one and two dimensions to higher dimensions. We also are proposing to study regular algebras and singularities of algebras. A variety is regular if it has no bumps or kinks called singularities. This requires the work of undergraduate and graduate students, and postdoctoral fellows. They develop technical expertise in algebra and computation and will learn how to collaborate, disseminate results, and solve multi-layered technical problems. Their highly developed skill sets will make them valuable additions to academic research in various fields, or allow them to work in industry in diverse areas such as cryptography, or coding.