If is a quintic surface in with singular set -divisible ordinary cusps, then there is a Galois triple cover branched only at the cusps such that and is the canonical map of . We use computer algebra to search for such quintics having a free action of , so that is a smooth minimal surface of general type with and . We find two different quintics, one of which is the Van der Geer–Zagier quintic, the other is new. We also construct a quintic threefold passing through the singular lines of the Igusa quartic, with cuspidal lines there. By taking tangent hyperplane sections, we compute quintic surfaces with singular set $17\mathsf A_216\mathsf A_215\mathsf A_2+\mathsf A_315\mathsf A_2+\mathsf D_4$.

生成讲解博客的中文版本

生成AI智能校验的中文版本