{"title":"三次四倍、Gushel-Mukai四倍及其相关K3曲面的显式计算","authors":"Giovanni Staglianò","doi":"10.1080/10586458.2023.2184882","DOIUrl":null,"url":null,"abstract":"We present some applications of the Macaulay2 software package SpecialFanoFourfolds, a package for working with Hodge-special cubic fourfolds and Hodge-special Gushel--Mukai fourfolds. In particular, we show how to construct new examples of such fourfolds, some of which turn out to be rational. We also describe how to calculate K3 surfaces associated with cubic or Gushel-Mukai fourfolds, which relies on an explicit unirationality of some moduli spaces of K3 surfaces.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":"1 1","pages":""},"PeriodicalIF":0.7000,"publicationDate":"2022-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Explicit Computations with Cubic Fourfolds, Gushel–Mukai Fourfolds, and their Associated K3 Surfaces\",\"authors\":\"Giovanni Staglianò\",\"doi\":\"10.1080/10586458.2023.2184882\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present some applications of the Macaulay2 software package SpecialFanoFourfolds, a package for working with Hodge-special cubic fourfolds and Hodge-special Gushel--Mukai fourfolds. In particular, we show how to construct new examples of such fourfolds, some of which turn out to be rational. We also describe how to calculate K3 surfaces associated with cubic or Gushel-Mukai fourfolds, which relies on an explicit unirationality of some moduli spaces of K3 surfaces.\",\"PeriodicalId\":50464,\"journal\":{\"name\":\"Experimental Mathematics\",\"volume\":\"1 1\",\"pages\":\"\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2022-04-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Experimental Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1080/10586458.2023.2184882\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Experimental Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1080/10586458.2023.2184882","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 1
摘要
我们介绍了Macaulay2软件包SpecialFanoFourfolds的一些应用,这是一个用于处理Hodge-special cubic four - fold和Hodge-special Gushel- Mukai four - fold的软件包。特别是,我们展示了如何构建这种四倍的新示例,其中一些被证明是合理的。我们还描述了如何计算与三次或Gushel-Mukai四倍相关的K3曲面,这依赖于K3曲面的一些模空间的显式唯一性。
Explicit Computations with Cubic Fourfolds, Gushel–Mukai Fourfolds, and their Associated K3 Surfaces
We present some applications of the Macaulay2 software package SpecialFanoFourfolds, a package for working with Hodge-special cubic fourfolds and Hodge-special Gushel--Mukai fourfolds. In particular, we show how to construct new examples of such fourfolds, some of which turn out to be rational. We also describe how to calculate K3 surfaces associated with cubic or Gushel-Mukai fourfolds, which relies on an explicit unirationality of some moduli spaces of K3 surfaces.
期刊介绍:
Experimental Mathematics publishes original papers featuring formal results inspired by experimentation, conjectures suggested by experiments, and data supporting significant hypotheses.
Experiment has always been, and increasingly is, an important method of mathematical discovery. (Gauss declared that his way of arriving at mathematical truths was "through systematic experimentation.") Yet this tends to be concealed by the tradition of presenting only elegant, fully developed, and rigorous results.
Experimental Mathematics was founded in the belief that theory and experiment feed on each other, and that the mathematical community stands to benefit from a more complete exposure to the experimental process. The early sharing of insights increases the possibility that they will lead to theorems: An interesting conjecture is often formulated by a researcher who lacks the techniques to formalize a proof, while those who have the techniques at their fingertips have been looking elsewhere. Even when the person who had the initial insight goes on to find a proof, a discussion of the heuristic process can be of help, or at least of interest, to other researchers. There is value not only in the discovery itself, but also in the road that leads to it.