There are 42 types of real singular points for irreducible real quintic curves and 49 types of real singular points for reducible real quintic curves. The classification of real singular points for irreducible real quintic curves is originally due to Golubina and Tai. There are 28 types of singular points for irreducible complex quintic curves and 33 types of singular points for reducible complex quintic curves. We derive the complete classification with proof by using the computer algebra system Maple. We clarify that the classification is based on computing just enough of the Puiseux expansion to separate the branches. Thus, a major component of the proof consists of a sequence of large symbolic computations that can be done nicely using Maple.
We present explicit equations for the space of conics in the Fermat quintic threefold $X$, working within the space of plane sections of $X$ with two singular marked points. This space of two-pointed singular plane sections has a birational morphism to the space of bitangent lines to the Fermat quintic threefold, which in its turn is birational to a 625-to-1 cover of $\PP^4.$ We illustrate the use of the resulting equations in identifying special cases of one-dimensional families of conics in $X.$
If $S$ is a quintic surface in $\mathbb P^3$ with singular set $15$ $3$-divisible ordinary cusps, then there is a Galois triple cover $ϕ:X\to S$ branched only at the cusps such that $p_g(X)=4,$ $q(X)=0,$ $K_X^2=15$ and $ϕ$ is the canonical map of $X$. We use computer algebra to search for such quintics having a free action of $\mathbb Z_5$, so that $X/{\mathbb Z_5}$ is a smooth minimal surface of general type with $p_g=0$ and $K^2=3$. 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 $15…
In this paper we study the question whether the tri-canonical system on the Craighero-Gattazzo surface is base point free and at which points does it separate tangent vectors. Also we study the non-rationality of the normalization of the quotient of a general curve (under a given involution) in the product linear system of cubics and quadrics on a singular quintic in $\PR^3$ with four elliptic singularities.
We study the geometry of quintic threefolds $X\subset \mathbb{P}^4$ with only ordinary triple points as singularities. In particular, we show that if a quintic threefold $X$ has a reducible hyperplane section then $X$ has at most $10$ ordinary triple points, and that this bound is sharp. We construct various examples of quintic threefolds with triple points and discuss their defect.
We study nodal quintic surfaces with an even set of 16 nodes as analogues of singular Kummer surfaces. The interpretation of the natural double cover of an even 16-nodal quintic as a certain Fano variety of lines could be viewed as a replacement for the additive structure of the cover of a singular Kummer surface by its associated abelian surface. Most of the results in this article can be seen as refinements of known facts and our arguments rely heavily on techniques developed by Beauville, Murre, and Voisin. Results due to Izadi and Shen are particularly close to some of the statements. In t…
We prove the "strong form" of the Clemens conjecture in degree 10. Namely, on a general quintic threefold F in P^4, there are only finitely many smooth rational curves of degree 10, and each curve is embedded in F with normal bundle O(-1)^2. Moreover, in degree 10, there are no singular, reduced, and irreducible rational curves, nor any reduced, reducible, and connected curves with rational components in F.
In this paper we give a construction of Lagrangian torus fibration for Fermat type quintic \cy hypersurfaces via the method of gradient flow. We also compute the monodromy of the expected special Lagrangian torus fibration and discuss structures of singular fibers.
This paper deals with the geometry of the space (GIT quotient) M_8 of 8 points in P^1, and the Gale-quotient N'_8 of the GIT quotient of 8 points in P^3. The space M_8 comes with a natural embedding in P^{13}, or more precisely, the projectivization of the S_8-representation V_{4,4}. There is a single S_8-skew cubic C in P^{13}. The fact that M_8 lies on the skew cubic C is a consequence of Thomae's formula for hyperelliptic curves, but more is true: M_8 is the singular locus of C. These constructions yield the free resolution of M_8, and are used in the determination of the "single" equation …
We prove that the incidence scheme of rational curves of degree 11 on quintic threefolds is irreducible. This implies a strong form of the Clemens conjecture in degree 11. Namely, on a general quintic threefold $F$ in $\mathbb{P}^4$, there are only finitely many smooth rational curves of degree 11, and each curve $C$ is embedded in $F$ with normal bundle $\mathcal{O}(-1) \oplus \mathcal{O}(-1)$. Moreover, in degree 11, there are no singular, reduced, and irreducible rational curves, nor any reduced, reducible, and connected curves with rational components on $F$.
We prove the following form of the Clemens conjecture in low degree. Let $d\le9$, and let $F$ be a general quintic threefold in $\IP^4$. Then (1)~the Hilbert scheme of rational, smooth and irreducible curves of degree $d$ on $F$ is finite, nonempty, and reduced; moreover, each curve is embedded in $F$ with normal bundle $Ø(-1)\oplusØ(-1)$, and in $\IP^4$ with maximal rank. (2)~On $F$, there are no rational, singular, reduced and irreducible curves of degree $d$, except for the 17,601,000 six-nodal plane quintics (found by Vainsencher). (3)~On $F$, there are no connected, reduced and reducible …
We obtain an alternate proof of an injectivity result by Beauville for a map from the moduli space of quartic del Pezzo surfaces to the set of conjugacy classes of certain subgroups of the Cremona group. This amounts to showing that a projective configuration of five distinct unordered points on the line can be reconstructed from its five projective four-point subconfigurations. This is done by reduction to a question in the classical invariant theory of the binary quintic, which is solved by computer-assisted methods. More precisely, we show that six specific invariants of degree 24, the cons…
This paper proves the following converse to a theorem of Mumford: Let $A$ be a principally polarized abelian variety of dimension five, whose theta divisor has a unique singular point, and suppose that the multiplicity of the singular point is three. Then $A$ is isomorphic as a principally polarized abelian variety to the intermediate Jacobian of a smooth cubic threefold. The method of proof is to analyze the possible singularities of the theta divisor of $A$, and eventually to show that $A$ is the Prym variety of a possibly singular plane quintic.
We prove that the space of pairs $(X,l)$ formed by a real non-singular cubic hypersurface $X\subset P^4$ with a real line $l\subset X$ has 18 connected components and give for them several quite explicit interpretations. The first one relates these components to the orbits of the monodromy action on the set of connected components of the Fano surface $F_\mathbb{R}(X)$ formed by real lines on $X$. For another interpretation we associate with each of the 18 components a well defined real deformation class of real non-singular plane quintic curves and show that this deformation class together wit…
For each $1\leq n\leq6$ we present formulas for the number of $n-$nodal curves in an $n-$dimensional linear system on a smooth, projective surface. This yields in particular the numbers of rational curves in the system of hyperplane sections of a generic $K3-$surface imbedded in \p{n} by a complete system of curves of genus $n$ as well as the number {\bf17,601,000} of rational ({\em singular}) plane quintic curves in a generic quintic threefold.
We present an explicit parametrization of the families of lines of the Dwork pencil of quintic threefolds. This gives rise to isomorphic curves which parametrize the lines. These curves are 125:1 covers of certain genus six curves. These genus six curves are first presented as curves in P^1*P^1 that have three nodes. It is natural to blow up P^1*P^1 in the three points corresponding to the nodes in order to produce smooth curves. The result of blowing up P^1*P^1 in three points is the quintic del Pezzo surface dP_5, whose automorphism group is the permutation group S_5, which is also a symmetr…
The union of two quintic elliptic scrolls in P^4 intersecting transversally along an elliptic normal quintic curve is a singular surface Z which behaves numerically like a bielliptic surface. In the appendix to the paper [W. Decker et al.: Syzygies of abelian and bielliptic surfaces in P^4, alg-geom/9606013] where the equations of this singular surface were computed, we proved that Z defines a smooth point in the appropriate Hilbert scheme and that Z cannot be smoothed in P^4. Here we consider the analogous situation in higher dimensional projective spaces P^{n-1}, where, to our surprise, the …
The trigonal curves of genus 5 can be represented by projective plane quintics that have 1 singularity of delta invariant 1. Combining this with a partial sieve method for plane curves we count the number of such curves over any finite field. The main application is that this then gives the motivic Euler characteristic of the moduli space of trigonal curves of genus 5.
There are thirteen types of singular points for irreducible real quartic curves and seventeen types of singular points for reducible real quartic curves. This classification is originally due to D.A. Gudkov. There are nine types of singular points for irreducible complex quartic curves and ten types of singular points for reducible complex quartic curves. We derive the complete classification with proof by using the computer algebra system Maple. We clarify that the classification is based on computing just enough of the Puiseux expansion to separate the branches. Thus, the proof consists of a…
Varieties of Nodal surfaces, coding theory and Discriminants of cubic hypersurfaces. Part 1: Generalities and nodal K3 surfaces. Part 2: Cubic Hypersurfaces, associated discriminants. Part 3: Nodal quintics. Part 4: Nodal sextics
We show that the hemisphere partition function for certain U(1) gauged linear sigma models (GLSMs) with D-branes is related to a particular set of Mellin-Barnes integrals which can be used for analytic continuation to the singular point in the Kähler moduli space of an $h^{1,1}=1$ Calabi-Yau (CY) projective hypersurface. We directly compute the analytic continuation of the full quantum corrected central charge of a basis of geometric D-branes from the large volume to the singular point. In the mirror language this amounts to compute the analytic continuation of a basis of periods on the mirror…
In 1988 S. Mori, D. Morrison, and I. Morrison gave a computer-based conjectural classification of four-dimensional cyclic quotient singularities of prime index. It was partially proven in 1990 by G. Sankaran. In 1991 Jim Lawrence basically proved this and much more, been unaware of algebro-geometric meaning of what he did. In this short note I just bring this all together to prove that all n-dimensional toric singularities with log-discrepancy greater than (or equal to) $ε$ form finitely many "series".
This note is based on the plenary talk given by the second author at MACIS 2015, the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences. Motivated by some of the work done within the Priority Programme SPP 1489 of the German Research Council DFG, we discuss a number of current challenges in the development of Open Source computer algebra systems. The main focus is on algebraic geometry and the system Singular.
Given a planar curve defined by means of a real rational parametrization, we prove that the affine values of the parameter generating the real singularities of the offset are real roots of a univariate polynomial that can be derived from the parametrization of the original curve, without computing or making use of the implicit equation of the offset. By using this result, a finite set containing all the real singularities of the offset, and in particular all the real self-intersections of the offset, can be computed. We also report on experiments carried out in the computer algebra system Mapl…
A monoid hypersurface is an irreducible hypersurface of degree d which has a singular point of multiplicity d-1. Any monoid hypersurface admits a rational parameterization, hence is of potential interest in computer aided geometric design. We study properties of monoids in general and of monoid surfaces in particular. The main results include a description of the possible real forms of the singularities on a monoid surface other than the (d-1)-uple point. These results are applied to the classification of singularities on quartic monoid surfaces, complementing earlier work on the subject.
We give a brief historical overview of the development of the Computer Algebra System SINGULAR: why it came about and how the development was related to the attempt to refute Zariski's multiplicity conjecture.
We describe an algorithm for distinguishing hyperbolic components in the parameter space of quadratic rational maps with a periodic critical point. We then illustrate computer images of the hyperbolic components of the parameter spaces V1 - V4, which were produced using our algorithm. We also resolve the singularities of the projective closure of V5 by blowups, giving an alternative proof that as an algebraic curve, the geometric genus of V5 is 1. This explains why we are unable to produce an image for V5.
One of the general problems in algebraic geometry is to determine algorithmically whether or not a given geometric object, defined by explicit polynomial equations (e.g. a curve or a surface), satisfies a given property (e.g. has singularities or other distinctive features of interest). A classical example of such a problem, described by A.Cayley and G.Salmon in 1852, is to determine whether or not a given plane curve of degree r > 3 has undulation points -- the points where the tangent line meets the curve with multiplicity four. They proved that there exists an invariant of degree 6(r - 3)(3…
We introduce an algebro-geometrically motived integration-by-parts (IBP) reduction method for multi-loop and multi-scale Feynman integrals, using a framework for massively parallel computations in computer algebra. This framework combines the computer algebra system Singular with the workflow management system GPI-Space, which is being developed at the Fraunhofer Institute for Industrial Mathematics (ITWM). In our approach, the IBP relations are first trimmed by modern algebraic geometry tools and then solved by sparse linear algebra and our new interpolation methods. These steps are efficient…
