Log-canonical and $F$-pure thresholds of pairs in equal characteristic admit an analog in the recent theory of singularities in mixed characteristic, which is known as the plus-pure threshold. In this paper we study plus-pure thresholds for singularities of the form $p^a + x^b \in {\bf Z}_p [[ x ]]$, showing that in a number of cases this plus-pure threshold agrees with the $F$-pure threshold of the singularity $t^a + x^b \in {\bf F}_p [[ t, x ]]$. We also discuss a few other sporadic examples.
Recently, W. Barth and S. Rams discussed sextics with up to 30 $A_2$-singularities (also called cusps) and their connection to coding theory [math.AG/0403018]. In the present paper, we find a sextic with 35 cusps within a four-parameter family of surfaces of degree 6 in projective three-space with dihedral symmetry $D_5$. This narrows the possibilities for the maximum number $μ_{A_2}(6)$ of $A_2$-singularities on a sextic to $35 \le μ_{A_2}(6) \le 37$. To construct this surface, we use a general algorithm in characteristic zero for finding hypersurfaces with many singularities within a family.
Let M be a two--dimensional complete intersection. We show how to check whether a mapping f: M-->R^2 is 1-generic with only folds and cusps as singularities. In this case we give an effective method to count the number of positive and negative cusps of a polynomial f, using the signatures of some quadratic forms.
This paper explores the relationship between real valued monomial valuations on $k(x,y)$, the resolution of cusp singularities, and continued fractions. It is shown that up to equivalence there is a one to one correspondence between real valued monomial valuations on $k(x,y)$ and continued fraction expansions of real numbers between zero and one. This relationship with continued fractions is then used to provide a characterization of the valuation rings for real valued monomial valuations on $k(x,y)$. In the case when the monomial valuation is equivalent to an integral monomial valuation, we e…
We show that the Frobenius manifold associated to the pair of a cusp singularity and it's canonical primitive form is isomorphic to the one constructed from the Gromov--Witten theory for an orbifold projective line with at most three orbifold points. We also calculate the intersection form of the Frobenius manifold.
The quotient-cusp singularities are isolated complex surface singularities that are double-covered by cusp singularities. We show that the universal abelian cover of such a singularity, branched only at the singular point, is a complete intersection cusp singularity of embedding dimension 4. This supports a general conjecture that we make about the universal abelian cover of a $\Q$-Gorenstein singularity.
We give more or less explicit equations for all two-dimensional cusp singularities of embedding dimension at least 4. They are closely related to Felix Klein's equations for universal curves with level n structure. The main technical result is a description of the versal deformation of an n-gon in $P^{n-1}$. The final section contains the equations for smoothings of simple elliptic singularities (of multiplicity at most 9).
We target multivariable series associated with resolutions of complex analytic normal surface singularities. In general, the equivariant multivariable analytical and topological Poincaré series are well-defined and have good properties only if the link is a rational homology sphere. We wish to create a model when this assumption is not valid: we analyse the case of cusps. For such germs we define even the motivic versions of these two series, we prove that they are equal, and we provide explicit combinatorial expression for them. This is done via a motivic multivariable series associated with …
We consider an orbifold Landau-Ginzburg model $(f,G)$, where $f$ is an invertible polynomial in three variables and $G$ a finite group of symmetries of $f$ containing the exponential grading operator, and its Berglund-Hübsch transpose $(f^T, G^T)$. We show that this defines a mirror symmetry between orbifold curves and cusp singularities with group action. We define Dolgachev numbers for the orbifold curves and Gabrielov numbers for the cusp singularities with group action. We show that these numbers are the same and that the stringy Euler number of the orbifold curve coincides with the $G^T$-…
A description of Cohen-Macaulay modules over cusp surface singularities and over unimodule hypersurface singularities of type T is given. It is proved that among minimally elliptic singularities and their quotients only simple elliptic and cusps are tame, all others are wild (with respect to the classification of Cohen-Macaulay modules).
We study versions of homological mirror symmetry for hypersurface cusp singularities and the three hypersurface simple elliptic singularities. We show that the Milnor fibres of each of these carries a distinguished Lefschetz fibration; its derived directed Fukaya category is equivalent to the derived category of coherent sheaves on a smooth rational surface $Y_{p,q,r}$. By using localization techniques on both sides, we get an isomorphism between the derived wrapped Fukaya category of the Milnor fibre and the derived category of coherent sheaves on a quasi-projective surface given by deleting …
Graduate School of Mathematical Sciences, University of Tokyo（东京大学大学院数理科学研究科）；Department of Mathematics, Faculty of Science, Saitama University（埼玉大学理学部数学系）
A cusp singularity is a surface singularity whose minimal resolution is a cycle of smooth rational curves meeting transversely. Cusp singularities come in naturally dual pairs. Looijenga proved in 1981 that if a cusp singularity is smoothable, the minimal resolution of the dual cusp is the anticanonical divisor of some smooth rational surface. In 1983, the second author and Miranda gave a criterion for smoothability of a cusp singularity, in terms of the existence of a K-trivial semistable model for the central fiber of such a smoothing. We study these "Type III degenerations" of rational surf…
Let $p\in X$ be the germ of a cusp singularity and let $ι$ be an antisymplectic involution, that is an involution such that there exists a nowhere vanishing holomorphic 2-form $Ω$ on $X\setminus \{p\}$ for which $ι^*(Ω)=-Ω$. Assume also that the involution is fixed point free on $X\setminus\{p\}$. We prove that a sufficient condition for such a singularity equipped with an antisymplectic involution to be equivariantly smoothable is the existence of a Looijenga (or anticanonical) pair $(Y,D)$ that admits an involution free on $Y\setminus D$ and that reverses the orientation of $D$. This work al…
In this paper, we study deformations of Brieskorn polynomials of two variables obtained by adding linear terms consisting of the conjugates of complex variables and prove that the deformed polynomial maps have only indefinite fold and cusp singularities in general. We then estimate the number of cusps appearing in such a deformation. As a corollary, we show that a deformation of a complex Morse singularity with real linear terms has only indefinite folds and cusps in general and the number of cusps is 3.
Let $C$ be an irreducible projective plane curve in the complex projective space ${\mathbb{P}}^2$. The classification of such curves, up to the action of the automorphism group $PGL(3,{\mathbb{C}})$ on ${\mathbb{P}}^2$, is a very difficult open problem with many interesting connections. The main goal is to determine, for a given $d$, whether there exists a projective plane curve of degree $d$ having a fixed number of singularities of given topological type. In this note we are mainly interested in the case when $C$ is a rational curve. The aim of this article is to present some of the old conj…
Let f be a 1-variable complex polynomial such that f has a singularity at the origin. In the present paper, we show that there exists a deformation of f which has only fold singularities and cusps as singularities of a real polynomial map from the plane to the plane. We then calculate the number of cusps of a deformation in a sufficiently small neighborhood of the origin.
Burban-Drozd showed that the degenerate cusp singularities have tame Cohen-Macaulay representation type, and classified all indecomposable Cohen-Macaulay modules over them. One of their main example is the non-isolated singularity $W=xyz$. On the other hand, Abouzaid-Auroux-Efimov-Katzarkov-Orlov showed that $W=xyz$ is mirror to a pair of pants. In this paper, we investigate homological mirror symmetry of these indecomposable Cohen-Macaulay modules for $xyz$. Namely, we show that closed geodesics (with a flat $\mathbb{C}$-bundle) of a hyperbolic pair of pants have a one-to-one correspondence w…
Let E be a plane rational curve defined over complex numbers which has only locally irreducible singularities. The Coolidge-Nagata conjecture states that E is rectifiable, i.e. it can be transformed into a line by a birational automorphism of the plane. We show that if it is not rectifiable then the tree of the exceptional divisor for its minimal embedded resolution of singularities has at most nine maximal twigs. This settles the conjecture in case E has more than four singular points.
In this work, we study a family of Cremona transformations of weighted projective planes which generalize the standard Cremona transformation of the projective plane. Starting from special plane projective curves we construct families of curves in weighted projective planes with special properties. We explain how to compute the fundamental groups of their complements, using the blow-up-down decompositions of the Cremona transformations, we find examples of Zariski pairs in weighted projective planes (distinguished by the Alexander polynomial). As another application of this machinery we study …
In this paper, we prove the boundedness of foliated surfaces $(X,\mathscr{F})$ which are minimal partial du Val resolutions of canonical models $(X_c,\mathscr{F}_c)$ of general type. For applications, we show the boundedness of non-cusp singularities on canonical models of foliated surfaces of general type and the effective generation on the complement of the cusp singularities.
We characterize the monodromies of projective structures with fuchsian-type singularities. Namely, any representation from the fundamental group of a Riemann surface of finite-type in $PSL_2(\mathbb{C})$ can be represented as the holonomy of branched projective structure with fuchsian-type singularities over the cusps. We made a geometrical/topological study of all local conical projective structures whose Schwarzian derivative admits a simple pole at the cusp. Finally, we explore isomonodromic deformations of such projective structures and the problem of minimizing angles.
