Pencils of plane curves and characteristic varieties
A. Dimca
备注：
New results: First Prop. 3.18, Cor. 3.21 and Prop. 6.7 saying that all the possible translates actually do occur as components. Next Cor. 6.8 and Example 6.11 showing that the various translates are irreducible components of various characteristic varieties $\V_m(M)$. We have added a key reference to Beauville's related work and have discarded the claims about combinatorial determinacy, since they were not fully proved
We give a geometric approach to the relation between the irreducible components of the characteristic varieties of local systems on a plane curve arrangement complement and the associated pencils of plane curves discovered recently by M. Falk and S. Yuzvinsky in the case of line arrangements, see mathAG/0603166. In this case, this geometric point of view was already hinted to by A. Libgober and S. Yuzvinsky. Our study yields new geometric insight on the translated components of the characteristic varieties, relating them to the multiplicities of curves in the associated pencil, in close analogy to the compact situation treated by A. Beauville.
This paper aims to study canonical pencils of higher dimensional projective varieties. It seems that the geometric genus of the general fibre for the derived fibration from the canonical pencil for a 3-fold of general type does not have an upper bound.
We complete the study of birational geometry of Fano fiber spaces $π\colon V\to {\mathbb P}^1$, the fiber of which is a Fano double hypersurface of index 1. For each family of these varieties we either prove birational rigidity or produce explicitly non-trivial structures of Fano fiber spaces. A new linear method of studying movable systems on Fano fiber spaces $V/{\mathbb P}^1$ is developed.
The paper studies a relation between fundamental group of the complement to a plane singular curve and the orbifold pencils containing it. The main tool is the use of Albanese varieties of cyclic covers ramified along such curves. Our results give sufficient conditions for a plane singular curve to belong to an orbifold pencil, i.e. a pencil of plane curves with multiple fibers inducing a map onto an orbifold curve whose orbifold fundamental group is non trivial. We construct an example of a cyclic cover of the projective plane which is an abelian surface isomorphic to the Jacobian of a curve …
We prove that a general Fano fibration $π\colon V\to {\mathbb P}^1$, the fiber of which is a double Fano hypersurface of index 1, is birationally superrigid provided it is sufficiently twisted over the base. In particular, on $V$ there are no other structures of a rationally connected fibration. The proof is based on the method of maximal singularities.
It is proved that on a smooth algebraic variety, fibered into cubic surfaces over the projective line and sufficiently ``twisted'' over the base, there is only one pencil of rational surfaces -- that is, this very pencil of cubics. In particular, this variety is non-rational; moreover, it can not be fibered into rational curves. The proof is obtained by means of the method of maximal singularities.
In this paper we define the combinatorial analogous of a pencil, and show its relationship with the concept of admissibility. Such an object is usefull to study the isomorphisms between fundamental groups of the complements of line arrangement with the same combinatorial type. This definition generalizes the idea of net given by Yuzvinsky and others. The main theorem in this paper states that there is a correspondence between components of the resonance variety and combinatorial pencils.
We prove birational superrigidity of generic Fano fiber spaces $V/{\mathbb P}^1$, the fibers of which are Fano complete intersections of index 1 and dimension $M$ in ${\mathbb P}^{M+k}$, provided that $M\geq 2k+1$. The proof combines the traditional quadratic techniques of the method of maximal singularities with the linear techniques based on the connectedness principle of Shokurov and Koll\' ar. Certain related results are also considered.
We continue to study birational geometry of Fano fibrations $π\colon V\to {\mathbb P}^1$ the fibers of which are Fano double hypersurfaces of index 1. For a majority of families of this type, which do not satisfy the condition of sufficient twistedness over the base, we prove birational rigidity (in particular, it means that there are no other structures of a fibration into rationally connected varieties) and compute their groups of birational self-maps. We considerably improve the principal components of the method of maximal singularities, in the first place, the technique of counting multip…
The present paper describes a relation between the quotient of the fundamental group of a smooth quasi-projective variety by its second commutator and the existence of maps to orbifold curves. It extends previously studied cases when the target was a smooth curve. In the case when the quasi-projective variety is a complement to a plane algebraic curve this provides new relations between the fundamental group, the equation of the curve, and the existence of polynomial solutions to certain equations generalizing Pell's equation. These relations are formulated in terms of the depth which is an in…
In this note, we give a list of Calabi-Yau hypersurfaces in weighted projective 4-spaces with the property that a hypersurface contains naturally a pencil of K3 variety. For completeness we also obtain a similar list in the case K3 hypersurfaces in weighted projective 3-spaces. The first list significantly enlarges the list of K3-fibrations of \KlemmLercheMayr~ which has been obtained on some assumptions on the weights. Our lists are expected to correspond to examples of the so-called heterotic-type II duality \KachruVafa\KachruSilverstein.
We show that a line arrangement in the complex projective plane supports a nontrivial resonance variety if and only if it is the underlying arrangement of a "multinet," a multi-arrangement with a partition into three or more equinumerous classes which have equal multiplicities at each inter-class intersection point, and satisfy a connectivity condition. We also prove that this combinatorial structure is equivalent to the existence of a pencil of plane curves, also satisfying a connectivity condition, whose singular fibers include at least three products of lines, which comprise the arrangement…
We explore the relation between the positive dimensional irreducible components of the characteristic varieties of rank one local systems on a smooth surface and the associated (rational or irrational) pencils. Our study, which may viewed as a continuation of D. Arapura's work, yields new geometric insight into the translated components relating them to the multiplicities of curves in the associated pencil, in a close analogy to the compact situation treated by A. Beauville. The new point of view is the key role played by the constructible sheaves naturally arising from local systems.
We construct two pencils of bielliptic curves of genus three and genus five. The first pencil is associated with a general abelian surface with a polarization of type $(1,2)$. The second pencil is related to the first by an unramified double cover, the Prym variety of which is canonically isomorphic to the Jacobian of a very general curve of genus two. Our results are obtained by analyzing suitable elliptic fibrations on the associated Kummer surfaces and rational double covers among them.
We study completely reducible fibers of pencils of hypersurfaces on $\mathbb P^n$ and associated codimension one foliations of $\mathbb P^n$. Using methods from theory of foliations we obtain certain upper bounds for the number of these fibers as functions only of $n$. Equivalently this gives upper bounds for the dimensions of resonance varieties of hyperplane arrangements. We obtain similar bounds for the dimensions of the characteristic varieties of the arrangement complements.
A plane curve on a the projective space over a field of characteristic zero is free if its associated sheaf T of tangent vector fields tangent is a free module. Relatively few free curves are known. Here we prove that a divisor consisting of a union of curves of a pencil of plane projective curves with the same degree and with a smooth base locus is a free divisor if and only this union contains all the singular members of the pencil and its Jacobian ideal is locally a complete intersection.
It is proven that any structure of a fibre space into varieties of Kodaira dimension zero on a generic Fano complete intersection of index one and dimension $M$ in ${\mathbb P}^{M+k}$ for $M\geq 2k+1$ is a pencil of hyperplane sections. We also describe $K$-trivial structures on varieties with a pencil of Fano complete intersections.
We prove that for a generic Lefschetz pencil of plane curves of degree $d\geq 3$ there exists a curve $H$ (called the Hesse curve of the pencil) of degree $6(d-1)$ and genus $3(4d^2-13d+8)+1$, and such that: $(i)$ $H$ has $d^2$ singular points of multiplicity three at the base points of the pencil and $3(d-1)^2$ ordinary nodes at the singular points of the degenerate members of the pencil; $(ii)$ for each member of the pencil the intersection of $H$ with this fibre consists of the inflection points of this member and the base points of the pencil.
We present two results about the relationship between fundamental groups of quasiprojective manifolds and linear systems on a projectivization. We prove the existence of a plane curve with non-abelian fundamental group of the complement which does not admit a mapping onto an orbifold with non-abelian fundamental group. We also find an affine manifold whose irreducible components of its characteristic varieties do not come from the pull-back of the characteristic varieties of an orbifold.
Analogously as in classical algebraic geometry, linear pencils of tropical plane curves are parameterized by tropical lines in a coefficient space. A special example of such a linear pencil is the set of tropical plane curves with an n-element support set through a general configuration of n points in the tropical plane. In [RGST], it is proved that these linear pencils are compatible with their support set. In this article, we give a characterization of points lying in the fixed locus of a tropical linear pencil and show that each compatible linear pencil comes from a general configuration.
In the previous paper by Pereira and the author, it was proved that any pencil of plane curves of degree greater than one with irreducible generic fiber can have at most five completely reducible fibers although no examples with five such fibers were ever found. Recently Janis Stipins has proved that if any two fibers of a pencil intersect transversally then it cannot have five completely reducible fibers. In this paper we generalize the Stipins result to arbitrary pencils. We also include into consideration more general special fibers that are the unions of lines and non-reduced curves. These…
For a given triangle $\triangle ABC$, we define two sequences of points on line $BC$ and provide their generalizations to real functions such that centers of circumscribed circles around $A$ and adjacent points in subsequences generate a pencil of conics touching perpendicular bisectors of $AB$ and $AC$.
This is a survey of the classical geometry of the Hesse configuration of 12 lines in the projective plane related to inflection points of a plane cubic curve. We also study two K3 surfaces with Picard number 20 which arise naturally in connection with the configuration.
In this paper, the problem of bounding the number of reducible curves in a pencil of algebraic plane curves is addressed. Unlike most of the previous related works, each reducible curve of the pencil is here counted with its appropriate multiplicity. It is proved that this number of reducible curves, counted with multiplicity, is bounded by d^2-1 where d is the degree of the pencil. Then, a sharper bound is given by taking into account the Newton's polygon of the pencil.
For cubic pencils we define the notion of an involution curve. This is a curve which intersects each curve of the pencil in exactly one non-base point of the pencil. Involution curves can be used to construct integrable maps of the plane which leave invariant a cubic pencil.
Let U be an open subset of a unirational variety. We prove that there is rational curve C in U such that the fundamental group of C surjects onto the fundamental group of U. As a consequence we obtain new proofs of the theorems of Harbater and Colliot-Thélène on Galois covers and torsors over the p-adic line. We also obtain examples of pencils of curves of genus <14 whose monodromy group is the full Teichmüller group.
The Konno invariant of a projective variety X is the minimum geometric genus of the fiber of a rational pencil on X. It was computed by Konno for surfaces in P^3, and in general can be viewed as a measure of the complexity of X. We estimate Konno(X) for some natural classes of varieties, including sharp asymptotics for polarized K3 surfaces. In an appendix, we give a quick proof of a classical formula due to Deligne and Hoskin for the colength of an integrally closed ideal on a surface.
We consider relatively minimal fibrations of curves of genus two on rational surfaces whose Picard numbers are not maximal. By birational morphisms, such fibred surfaces are interpreted as pencils of plane curves. We show that only four are canonical, among a variety of possible models. For each canonical pencil, we give an example with trivial Mordell-Weil group.
We are concerned with the behavior of the polynomial maps $F=(P,Q)$ of $\mathbb{C}^2$ with finite fibres and satisfying the condition that all of the curves $aP+bQ=0$, $(a:b)\in \mathbb{P}^1$, are irreducible rational curves. The obtained result shows that such polynomial maps $F$ is invertible if $(0,0)$ is a regular value of $F$ or if the Jacobian condition holds.
The sextic plane curves that are invariant under the standard action of the icosahedral group on the projective plane make up a pencil of genus ten curves (spanned by a sum of six lines and a three times a conic). This pencil was first considered in a note by R.~M.~Winger in 1925 and is nowadays named after him. We gave this a modern treatment and proved among other things that it contains essentially every smooth genus ten curve with icosahedral symmetry. We here consider the monodromy group and the period map naturally defined by the icosahedral symmetry. We showed that this monodromy group …
We show that the strata $ \mathcal{M}_{11,6}(k) \subset \mathcal{M}_{11} $ of $ 6-$gonal curves of genus $ 11 $, equipped with $k$ mutually independent and type I pencils of degree six, have a unirational irreducible component for $5\leq k\leq 9$. The unirational families arise from degree $ 9 $ plane curves with $ 4 $ ordinary triple and $ 5 $ ordinary double points that dominate an irreducible component of expected dimension. We will further show that the family of degree $ 8 $ plane curves with $ 10 $ ordinary double points covers an irreducible component of excess dimension in $ \mathcal{M…
In this work we study the connection between the existence of finite dihedral covers of the projective plane ramified along an algebraic curve C, infinite dihedral covers, and pencils of curves containing C.
A real algebraic plane curve $A$ is said to be dividing if its real part $\mathbb{R}A$ disconnects its complex part $\mathbb{C}A$. A pencil of curves is totally real with respect to $A$ if it has only real intersections with $\mathbb{C}A$. If there exists such a pencil, then $A$ is dividing, this is the case for the $M$-curves. Can conversely any dividing curve be endowed with a totally real pencil? We study here the case of $M-2$-sextics having 2 or 6 empty exterior ovals. Such sextics are always dividing. We prove that they may actually be endowed with a totally real pencil of cubics.
We give two examples of plane curve arrangements of pencil type which are very close to line arrangements, though the action of the monodromy operator on the first cohomology group of the Milnor Fiber has eigenvalues of order 5 and 6, showing that surprising situations can occur for larger classes of curve arrangements than for line arrangements. Our computations rely on the algorithm given by A. Dimca and G. Sticlaru which detects the non trivial monodromy eigenspaces of free curves.
Twelve common flex lines in a general pencil of cubics
Peking University（北京大学）；Beijing International Center for Mathematical Research, Peking University（北京大学国际数学研究中心）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
In this paper we study combinatorial invariants of the equivalence classes of pencils of cubics on $\mathrm{PG}(1,q)$, for $q$ odd and $q$ not divisible by 3. These equivalence classes are considered as orbits of lines in $\mathrm{PG}(3,q)$, under the action of the subgroup $G\cong \mathrm{PGL}(2,q)$ of $\mathrm{PGL}(4,q)$ which preserves the twisted cubic $\mathcal{C}$ in $\mathrm{PG}(3,q)$. In particular we determine the point orbit distributions and plane orbit distributions of all $G$-orbits of lines which are contained in an osculating plane of $\mathcal{C}$, have non-empty intersection w…
The present work is a user's guide to the results of a previous paper by the second and third authors, where a description of the space of characters of a quasi-projective variety was given in terms of global quotient orbifold pencils. Below we consider the case of plane curve complements and hyperplane arrangements. In particular, an infinite family of curves exhibiting characters of any torsion and depth~3 will be discussed. Also, in the context of line arrangements, it will be shown how geometric tools, such as the existence of orbifold pencils, can replace the group theoretical computation…
We investigate the moduli of genus 10 curves that are endowed with a faithful action of the icosahedral group $\mathcal{A}_5$. We show among other things that this has the structure of a Deligne-Mumford stack whose underlying coarse moduli space essentially consists of two copies of the pencil of plane sextics that was introduced by Winger in 1924, but with the unique unstable member (a triple conic) replaced by a smooth non-planar curve. The orbifold defined by any member has genus zero and comes with 4 orbifold points. We show that by numbering the points, we get a fine moduli space whose ba…
The sextic plane curves that are invariant under the standard action of the icosahedral group on the projective plane make up a pencil of genus ten curves (spanned by a sum of six lines and a three times a conic). This pencil was first considered in a note by R.~M.~Winger in 1925 and is nowadays named after him. The second author recently gave this a modern treatment and proved among other things that it contains essentially every smooth genus ten curve with icosahedral symmetry. We here show that the Jacobian of such a curve contains the tensor product of an elliptic curve with a certain inte…
Let S be a smooth, projective surface of Picard rank 1 and very ample generator embedding S into P^n. Let C be a smooth curve in O(m) for m \geq 5. We prove that any base-point free, complete g^r_d on C for r\in\{1,2\} and d small enough is cut out by a hyperplane section restricted to a multisecant (n-r-1)-plane.
The geometry of the Fano scheme of maximal linear spaces contained in the base locus of a pencil of quadrics has been studied by algebraic geometers when the base field is algebraically closed. In this paper, we work over an arbitrary base field of characteristic not equal to 2 and show how these Fano schemes are related to the Jacobians of hyperelliptic curves. In particular, if $B$ is the base locus of a generic pencil of quadrics in $\bbp^{2n+1}$, and $F$ is the Fano variety of $n - 1$ planes contained in $B$, then $F$ is a component of a disconnected commutative algebraic group $G = \picz(…
