For real algebraic curves in the plane with singularities we investigate the relation between normals and double normals and the critical points of the squared distance function (up to topological equivalence). For the distance to a given point we show that the topological discriminant consists of the (traditional) evolute, together with some distinguished normal lines at algebraic singular points. We pay special attention to the behavior at points, where the curve is smooth, but only $C^1$ embedded. We discus the differences and similarities with the ED-discriminant in the complex theory. We give counting formula's for normals and double normals, relating them with maxima and minima of the distance function.
This paper describes how to compute equations of plane models of minimal Du Val double planes of general type with $p_g=q=1$ and $K^2=2,...,8.$ A double plane with $K^2=8$ having bicanonical map not composed with the associated involution is also constructed. The computations are done using the algebra system Magma.
One describes those double structures on rational normal curves which are defined scheme theoretically by quadratic equations and have linear syzygies, generalizing this way the double line in the plane
We study the relation between the type of a double point of a plane curve and the curvilinear 0-dimensional subschemes of the curve at the point. An Algorithm related to a classical procedure for the study of double points via osculating curves is described and proved. Eventually we look for a way to create examples of rational plane curves with given singularities $A_s$.
We describe in simple geometric terms the Hodge filtration on the cohomology groups of the complement U in the projective plane of a curve C with ordinary double and triple points. Relations to Milnor algebra, syzygies of the Jacobian ideal and pole order filtration on the second cohomology of U are given.
We prove that a double cover of $\mathbb{P}^2$ ramified along a general smooth curve B of degree $2s$, for $s \geq 3$, supports a rank 2 special Ulrich bundle.
A simple sextic is a reduced complex projective plane curve of degree 6 with only simple singularities. We introduce a notion of Z-splitting curves for the double covering of the projective plane branching along a simple sextic, and investigate lattice Zariski k-ples of simple sextics by Z-splitting curves. We define specialization of lattice types, and classify all lattice types of Z-splitting curves of degree less than or equal to 3 up to specializations.
We compute the fundamental groups of five maximizing sextics with double singular points only; in four cases, the groups are as expected. The approach used would apply to other sextics as well, given their equations.
In this paper we study the automorphisms group of some $K3$ surfaces which are double covers of the projective plane ramified over a smooth sextic plane curve. More precisely, we study the case of a $K3$ surface of Picard rank two such that there is a rational curve of degree $d$ which is tangent to the sextic in $d$ points.
If $X$ is a smooth curve such that the minimal degree of its plane models is not too small compared with its genus, then $X$ has been known to be a double cover of another smooth curve $Y$ under some mild condition on the genera. However there are no results yet for the minimal degrees of plane models of double covers except some special cases. In this paper, we give upper and lower bounds for the minimal degree of plane models of the double cover $X$ in terms of the gonality of the base curve $Y$ and the genera of $X$ and $Y$. In particular, the upper bound equals to the lower bound in case $…
We study locally Cohen-Macaulay curves in projective three-space which are contained in a double plane 2H, thus completing the classification of curves lying on surfaces of degree two. We describe the irreducible components of the Hilbert schemes of locally Cohen-Macaulay curves in 2H of given degree and arithmetic genus. We show that these Hilbert schemes are connected. We also discuss the Rao modules of these curves, and liaison and biliaison equivalence classes.
Consider a smooth complex surface $X$ which is a double cover of the projective plane $\mathbb{P}^2$ branched along a smooth curve of degree $2s$. In this article, we study the geometric conditions which are equivalent to the existence of Ulrich line bundles on $X$ with respect to this double covering. Also, for every $s\geq 1$, we describe the classes of such surfaces which admit Ulrich line bundles and give examples.
The aim of this paper is to compute the class of the closure of the effective divisor in M_{6,1} given by pointed curves [C,p] with a sextic plane model mapping p to a double point. Such a divisor generates an extremal ray in the pseudoeffective cone of M_{6,1} as shown by Jensen. A general result on some families of linear series with adjusted Brill-Noether number 0 or -1 is introduced to complete the computation.
This note is an attempt to relate explicitly the geometric and algebraic properties of a space curve that is contained in some double plane. We show in particular that the minimal generators of the homogeneous ideal of such a curve can be written in a very specific form. As applications we characterize the possible Hartshorne-Rao modules of curves in a double plane and the minimal curves in their even Liaison classes.
Double planes branched in 6 lines give a famous example of K3 surfaces. Their moduli are well understood and related to abelian fourfolds of Weil type. We compare these two moduli interpretations and in particular divisors on the moduli spaces. On the K3 side, this is achieved with the help of elliptic fibrations. We also study the Kuga-Satake correspondence on these special divisors.
For every supersingular $K3$ surface $X$ in characteristic 2, there exists a homogeneous polynomial $G$ of degree 6 such that $X$ is birational to the purely inseparable double cover of a projective plane defined by $w^2=G$. We present an algorithm to calculate from $G$ a set of generators of the numerical Néron-Severi lattice of $X$. As an application, we investigate the stratification defined by the Artin invariant on a moduli space of supersingular $K3$ surfaces of degree 2 in characteristic 2.
In this paper, we study double structures supported on rational normal curves. After recalling the general construction of double structures supported on a smooth curve described in \cite{fer}, we specialize it to double structures on rational normal curves. To every double structure we associate a triple of integers $ (2r,g,n) $ where $ r $ is the degree of the support, $ n \geq r $ is the dimension of the projective space containing the double curve, and $ g $ is the arithmetic genus of the double curve. We compute also some numerical invariants of the constructed curves, and we show that th…
The aim of this paper is to give an explicit extension of the classical elliptic integrals to the Hilbert modular case for $\mathbb{Q}(\sqrt{5})$. We study a family of Kummer surfaces corresponding to the Humbert surface of invariant $5$ with two complex parameters. Our Kummer surface is given by a double covering of the weighted projective space $\mathbb{P}(1:1:2)$ branched along a parabola and a quintic curve. The period mapping for our family is given by double integrals of an algebraic function on chambers coming from an arrangement of a parabola and a quintic curve in $\mathbb{C}^2$.
For an affine double plane defined by an equation of the form z^2 = f, we study the divisor class group and the Brauer group. Two cases are considered. In the first case, f is a product of n linear forms in k[x,y] and X is birational to a ruled surface P^1 x C, where C is rational if n is odd and hyperelliptic if n is even. In the second case, f is the equation of an affine hyperelliptic curve. On the open set where the cover is unramified, we compute the groups of divisor classes, the Brauer groups, the relative Brauer group, as well as all of the terms in he exact sequence of Chase, Harrison…
We study minimal {\em double planes} of general type with $K^2=8$ and $p_g=0$, namely pairs $(S,σ)$, where $S$ is a minimal complex algebraic surface of general type with $K^2=8$ and $p_g=0$ and $σ$ is an automorphism of $S$ of order 2 such that the quotient $S/σ$ is a rational surface. We prove that $S$ is a free quotient $(F\times C)/G$, where $C$ is a curve, $F$ is an hyperelliptic curve, $G$ is a finite group that acts faithfully on $F$ and $C$, and $σ$ is induced by the automorphism $τ\times Id$ of $F\times C$, $τ$ being the hyperelliptic involution of $F$. We describe all the $F$, $C$ an…
The goal of this paper is to start a study of aCM and Ulrich sheaves on non-integral projective varieties. We show that any aCM vector bundle of rank two on the double plane is a direct sum of line bundles. As a by-product, any aCM vector bundle of rank two on a sufficiently high dimensional quadric hypersurface also splits. We consider aCM and Ulrich vector bundles on a multiple hyperplanes and prove the existence of such bundles that do not split, if the multiple hyperplane is linearly embedded into a sufficiently high dimensional projective space. Then we restrict our attention to the doubl…
In this paper, we give Thomae type formula for \KK surfaces $\cS$ given by double covers of the projective plane branching along six lines. This formula gives relations between theta constants on the bounded symmetric domain of type $I_{22}$ and period integrals of $X$. Moreover, we express the period integrals by using the hypergeometric function $F_S$ of four variables. As an application of our main theorem, we define $\R^4$-valued sequences by mean iterations of four terms, and express their common limits by the hypergeometric function $F_S$.
We prove that the moduli space of Calabi-Yau 3-folds coming from eight planes of $P^3$ in general positions is not modular. In fact we show the stronger statement that the Zariski closure of the monodromy group is actually the whole $Sp(20,R)$. We construct an interesting submoduli, which we call \emph{hyperelliptic locus}, over which the weight 3 $Q$-Hodge structure is the third wedge product of the weight 1 $Q$-Hodge structure on the corresponding hyperelliptic curve. The non-extendibility of the hyperelliptic locus inside the moduli space of a genuine Shimura subvariety is proved.
We study the normal map for plane projective curves, i.e., the map associating to every regular point of the curve the normal line at the point in the dual space. We first observe that the normal map is always birational and then we use this fact to show that for smooth curves of degree higher than four the normal map uniquely determines the curve. Our proof works in characteristic zero and in positive characteristic higher than the degree of the curve. We notice also that in high characteristic strange curves provide examples of different plane curves with same curve of normal lines. We will …
For the completion B of a local geometric normal domain, V. Srinivas asked which subgroups of Cl B arise as the image of the map from Cl A to Cl B on class groups as A varies among normal geometric domains with B isomorphic to the completion of A. For two dimensional rational double point singularities we show that all subgroups arise in this way. We also show that in any dimension, every normal hypersurface singularity has completion isomorphic to that of a geometric UFD. Our methods are global, applying Noether-Lefschetz theory to linear systems with non-reduced base loci.
Let $G$ be a simple algebraic group over an algebraically closed field $K$ and let $N = N_G(T)$ be the normalizer of a fixed maximal torus $T\leq G$. Further, let $U$ be the unipotent radical of a fixed Borel subgroup $B$ that contains $T$ and let $U^-$ be the unipotent radical of the opposite Borel subgroup $B^-$. The Bruhat decomposition implies the decomposition $G = NU^-UN$. The Zariski closed subset $U^-U\subset G$ is isomorphic to the affine space $A_K^m$ where $m = \dim G -\dim T$ is the number of roots in the corresponding root system. Here we construct a subgroup $\mathcal{N}\leq \ope…
For a smooth plane cubic $B$, we count curves $C$ of degree $d$ such that the normalizations of $C\backslash B$ are isomorphic to $\Bbb A^1$, for $d\leq7$ (for $d=7$ under some assumption). We also count plane rational quartic curves intersecting $B$ at only one point.
We determine all possible configurations of rational double points on complex normal algebraic K3 surfaces, and on normal supersingular K3 surfaces in characteristic p > 19.
We study the normal subgroup <f> generated by a non trivial element f in the group G of complex plane polynomial automorphisms having Jacobian determinant 1. On one hand if f has length at most 8 relatively to the classical amalgamated product structure of G, we prove that <f> = G. On the other hand if f is a sufficiently generic element of even length at least 14, we prove that <f> is a proper subgroup of G.
Given a birational normal extension S of a two-dimensional local regular ring R, we describe all the equisingularity types of the complete ideals J in R whose blowing-up has some point at which the local ring is analytically isomorphic to S. The problem of classifying the germs of such normal surface singularities was already posed by Spivakovsky (Ann. of Math. 1990). This problem has two parts: discrete and continous. The continous part is to some extent equivalent to the problem of the moduli of plane curve singularities, while the main result of this paper solves completely the discrete par…
