四次曲面数据库
这是一个概念验证数据库,用于演示用数字计算Picard格和许多其他与投影四次曲面相关的不变量的可能性。数据库包含从费马四次曲线开始随机游走获得的180000多个四次曲线{w个4+x个4+年4+z4=0}. 通过单击图表查找有趣的示例。使用此处显示的不变量,我们只能区分127个等价类。我们目前正在寻找更快的方法来计算周期,并寻找能够展现更广泛行为的方法。
加载数据库可能需要几十秒。
- 报纸
- Pierre Lairez和Emre Sertöz,“代数几何中的数值超越方法”(2018)
- sagemath软件包numperiods公司
- 它是这里所有计算的基础。(正在进行适当的包装和文件编制。)
- 证明状态
- 这里给出的结果依赖于高精度的数值计算,我们无法排除推断出了错误(更不用说可能的错误)。立柱B类和错误下表中给出了有关可靠性的一些信息。可证明计算出的Picard群最多包含所有度曲线B类.价值观错误是计算出的Picard组包含错误元素的概率的启发式上限。
使用构建dc.js公司和交叉过滤器.