代数几何

概览

代数几何学开始于多诺米子系统的溶液集并研究其维度,奇点相接和全局结构. 从真实或复杂的坐标传入抽象的品种和计划,揭示出跨越几何学与数字理论的共同原则. 代数函数在协调-独立构造时将本地信息编码,来描述整个空间.

技术基础

多元理想形成协调圈,其主要的理想成为亲和计划点。 本地化将功能放大到街区,而 Sheaves则为打开的相容函数环指定了. 口语将环相向同形论反转,提供了正确的地图概念. 分化器和线捆编码为codimension-one几何,而同构测量全球阻断来粘取局部数据. 平滑性可以在许多场合用衍生物来测试,但特征p引入了诸如复杂数字上缺失的不可分割地图等现象.

如何运作

一种芳香花品种对应了坐标环中多诺米的理想,而希尔伯特的"Nullstellensatz相接几何子集与数论封闭地上激进理想有关. 投影空间在无限时会增加点数,并统一处理同等分方程. sheaves组织商定重叠的功能,而计划保留家庭、交叉点和减少模质所需的无能信息和算术信息。

衡量和研究方法

计算机代数系统计算出格鲁布纳基础,去除变量并分解理想和解决零维体系. 数代相去几何跟踪同位素路径来近似于奇异性地大致形成复杂的溶液并估计多寡. 研究人员在可能时使用精确的算术来验证索赔,并记录单相顺序因为其会改变计算难度. 交叉计算需要检查尺寸和组件,而不是算出原始的解析器输出. 有限领域上的算术实验可以表明模式,而证据必须证明解除或特性依赖是合理的。

二. 主要想法

• 相同的几何集可以携带不同的方案结构来保存不同代数信息.
• 维度在当地计算出独立的参数,但单数点可以使正切的尺寸更大.
• 投影收缩简化了相交理论,同时引入必须被解释的边界成分.

目前的研究领域

目前的研究跨越了moduli空间,双相分解分类法(biriational splaces)来进行镜像对称和算术几何. 衍生的分类和更高结构通过它们的剪切来比较空间,而热带几何学则用有分件-线性阴影取代多诺米特品种用于计算. 应用研究机器人配置,phylogenetic invatants和错误校正代码. 主要开放性问题包括霍奇和泰特猜想以及理性点的方面. 将抽象的变异体与有效的算法相接仍然很困难,特别是在高维度或混合特征方面.

为什么它很重要

代数几何学支持现代数字理论,编码法、密码术等机器人技术以及优化和理论上的物理。 计算技术解决了多名制限制,而几何偏差解释解决方案何时存在以及它们如何改变参数化的家族.

限制和未决问题

随着学位和可变计数的增长,明确的计算可能变得极其昂贵. 许多分类问题在更高级方面没有得到解决,结果可能在很大程度上取决于基域或特征. 将一个实际问题转化为多名几何可以引入外相解决方案,或者忽略不平等和数值敏感性.