Let C_g be a general curve of genus g>3. Guralnick and others proved that the monodromy group of a cover C_g-> P^1 of degree n is either S_n or A_n. We show that A_n occurs for n>2g. The corresponding result for S_n is classical.
This article investigates the monodromy conjecture for a space monomial curve that appears as the special fiber of an equisingular family of curves with a plane branch as generic fiber. Roughly speaking, the monodromy conjecture states that every pole of the motivic, or related, Igusa zeta function induces an eigenvalue of monodromy. As the poles of the motivic zeta function associated with such a space monomial curve have been determined in earlier work, it remains to study the eigenvalues of monodromy. After reducing the problem to the curve seen as a Cartier divisor on a generic embedding s…
Necessary and sufficient conditions are given (in terms of monodromy) for extending a family of smooth curves over an open subset U of S to a family of stable curves over S. More precisely, we introduce the abelian monodromy extension (AME) property and show that the standard Deligne-Mumford compactification is the unique, maximal AME compactification of the moduli space of curves. We also show that the Baily-Borel compactification is the unique, maximal projective AME compactification of the moduli space of abelian varieties.
We prove that the monodromy group of the inflection points of plane curves of degree $d$ is the symmetric group $\mathbb S_{3d(d-2)}$ for $d\geq 4$ and in the case $d=3$ this group is the group of the projective transformations of $\mathbb P^2$ leaving invariant the nine inflection points of the Fermat curve of degree three.
In many situations, the monodromy group of enumerative problems will be the full symmetric group. In this paper, we study a similar phenomenon on the rational curves in $|\mathcal{O}(1)|$ on a generic K3 surface of fixed genus over $\mathbb{C}$ as the K3 surface varies. We prove that when the K3 surface has genus $g$, $1\leq g\leq 3$, the monodromy group is the full symmetric group.
In this article, we compute the braid monodromy of two algebraic curves defined over R. These two curves are of complex level not bigger than 6, and they are unions of lines and conics. We use two different techniques for computing their braid monodromies. These results will be applied to computations of fundamental groups of their complements in C^2 and C PP^2.
We study the Tannakian properties of the category of perverse sheaves on elliptic curves endowed with the convolution product. We establish that for certain sheaves with unipotent local monodromy over seven points the corresponding Tannaka group is isomorphic to $G_2$. This monodromy approach generalizes a result of Katz on the existence of $G_2$-motives in the middle cohomology of deformations of Beauville surfaces.
We develop recursive formulas for the horizontal and vertical monodromies of a quasi-ordinary surface. These are monodromies associated to the Milnor fiber of a slice transverse to a component of the singular locus. In the course of working out these recursions, we have discovered what appears to be a new way to express the monodromy associated to the Milnor fibration of a singular plane curve.
In [DW05] and [DW07], C. Deninger and A. Werner developed a partial p-adic analogue of the classical Narasimhan-Seshadri correspondence between vector bundles and representations of the fundamental group. We will investigate the various monodromy groups that occur in this theory, that is the image of these representations and their Zariski closure as well as the Tannaka dual group of these vector bundles.
We show that if we are given a smooth non-isotrivial family of elliptic curves over~$\mathbb C$ with a smooth base~$B$ for which the general fiber of the mapping $J\colon B\to\mathbb A^1$ (assigning $j$-invariant of the fiber to a point) is connected, then the monodromy group of the family (acting on $H^1(\cdot,\mathbb Z)$ of the fibers) coincides with $\mathrm{SL}(2,\mathbb Z)$; if the general fiber has $m\ge2$ connected components, then the monodromy group has index at most~$2m$ in $\mathrm{SL}(2,\mathbb Z)$. By contrast, in \emph{any} family of hyperelliptic curves of genus $g\ge3$, the mon…
A family of proper smooth curves of genus $\geq 2$, parametrised by an open dense subset $U$ of a normal variety $S$, extends to $S$ if the natural map $π_1(U) \to π_1(S)$ on fundamental groups is an isomorphism. The criterion of this note is actually more precise.
We prove that there is an infinite sequence of pairs of plane cuspidal curves $C_{m,1}$ and $C_{m,2}$, such that the pairs $(\Bbb CP^2, C_{m,1})$ and $(\Bbb CP^2, C_{m,2})$ are diffeomorphic, but $C_{m,1}$ and $C_{m,2}$ have non-equivalent braid monodromy factorizations. These curves give rise to the negative solutions of "Dif=Def" and "Dif=Iso" problems for plane irreducible cuspidal curves. In our examples, $C_{m,1}$ and $C_{m,2}$ are complex conjugated.
This paper is the second in a series. The first one describes pillow degenerations of a $K3$ surface with genus $g$. In this paper we study the $(2,2)$-pillow degeneration of a non-prime $K3$ surface and the braid monodromy of the branch curve of the surface with respect to a generic projection onto $\C¶^2$. In future papers we study the fundamental group of the complement of the branch curve and the fundamental group of the Galois cover of the surface with respect to this generic projection.
Let $k$ be an algebraically closed field of characteristic $0$. For a log curve $X/k^{\times}$ over the standard log point, we define (algebraically) a combinatorial monodromy operator on its log-de Rham cohomology group. The invariant part of this action has a cohomological description, it is the Du Bois cohomology of $X$. This can be seen as an analogue of the invariant cycles exact sequence for a semistable family (as in the complex, étale and $p$-adic settings). In the specific case in which $k=\mathbb C$ and $X$ is the central fiber of a semistable degeneration over the complex disc, our …
A Kodaira fibration is a non-isotrivial fibration $f\colon S\rightarrow B$ from a smooth algebraic surface $S$ to a smooth algebraic curve $B$ such that all fibers are smooth algebraic curves of genus $g$. Such fibrations arise as complete curves inside the moduli space $\mathcal{M}_g$ of genus $g$ algebraic curves. We investigate here the possible connected monodromy groups of a Kodaira fibration in the case $g=3$ and classify which such groups can arise from a Kodaira fibration obtained as a general complete intersection curve inside a subvariety of $\mathcal{M}_3$ parametrizing curves whose…
For an ample line bundle $\mathcal{L}$ on a complete toric surface $X$, we consider the subset $V_{\mathcal{L}} \subset \vert \mathcal{L} \vert$ of irreducible, nodal, rational curves contained in the smooth locus of $X$. We study the monodromy map from the fundamental group of $V_{\mathcal{L}}$ to the permutation group on the set of nodes of a reference curve $C \in V_{\mathcal{L}}$. We identify a certain obstruction map $\varPsi_{X}$ defined on the set of nodes of $C$ and show that the image of the monodromy is exactly the group of deck transformations of $\varPsi_{X}$, provided that $\mathc…
The braid monodromy factorization of the branch curve of a surface of general type is known to be an invariant that completely determines the diffeomorphism type of the surface. Calculating this factorization is of high technical complexity; computing the braid monodromy factorization of branch curves of surfaces uncovers new facts and invariants of the surfaces. Since finding the branch curve of a surface is very difficult, we degenerate the surface into a union of planes. Thus, we can find the braid monodromy of the branch curve of the degenerated surface, which is a union of lines. The rege…
The geometric monodromy of a plane curve singularity is a quasi-finite diffeomorphism. In this paper we locate the reduction curves of the geometric monodromy and the quadratic vanishing cycles of the singularity. An application to the geometric monodromy group is given.
In this manuscript we prove that if two cuspidal plane curves have equivalent braid monodromy factorizations, then they are smoothly isotopic in the plane. As a consequence of this and the Chisini conjecture, we obtain that if two discriminant curves (or branch curves in other terminology) of generic projections (to the plane) of surfaces of general type imbedded in a projective space by means of a multiple canonical class have equivalent braid monodromy factorizations, then the surfaces are diffeomorphic (if we consider them as real 4-folds).
The uniform position principle states that, given an irreducible nondegenerate curve C in the projective r-space $P^r$, a general (r-2)-plane L is uniform, that is, projection from L induces a rational map from C to $P^1$ whose monodromy group is the full symmetric group. In this paper we show the locus of non-uniform (r-2)-planes has codimension at least two in the Grassmannian for a curve C with arbitrary singularities. This result is optimal in $P^2$. For a smooth curve C in $P^3$ that is not a rational curve of degree three, four or six, we show any irreducible surface of non-uniform lines…
Let ${\cal M}_{g,n}$, for $2g-2+n>0$, be the moduli stack of $n$-pointed, genus $g$, smooth curves. For a family $C\to S$ of such curves over a connected base and a geometric point $ξ$ on $S$, the associated monodromy representation is the induced homomorphism $π_1(S,ξ)\toπ_1({\cal M}_{g,n},[C_ξ])$ on algebraic fundamental groups. It is well known that, if $S$ is irreducible, reduced and locally of finite type over a field $k$ of characteristic zero, the fibre $C_ξ$ and the corresponding monodromy representation determine the relative isomorphism class of the family. In the first part of the p…
We speculate on the relationship between the solvable monodromy extension (SME) property and log canonical models. A motivating example is the moduli space of smooth curves which, by earlier work, is known to have this SME property. In this case the maximal SME compactification is the moduli space of stable nodal curves which coincides with its log canonical model.
We study the Dynkin diagram associated to the monodromy of direct sums of polynomials. The monodromy problem asks under which conditions on a polynomial, the monodromy of a vanishing cycle generates the whole homology of a regular fiber. We consider the case $y^4+g(x)$, which is a generalization of the results of Christopher and Marde$\check{s}$ić about the monodromy problem for hyperelliptic curves. Moreover, We solve the monodromy problem for direct sums of fourth degree polynomials.
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 prove a large sieve statement for the average distribution of Frobenius conjugacy classes in arithmetic monodromy groups over finite fields. As a first application we prove a stronger version of a result of Chavdarov on the ``generic'' irreducibility of the numerator of the zeta functions in a family of curves with large monodromy.
We generalize the Moishezon Teicher algorithm that was suggested for the computation of the braid monodromy of an almost real curve. The new algorithm suits a larger family of curves, and enables the computation of braid monodromy not only of caspidal curves, but of general algebraic curves, with some non simple singularities. Moreover, it works also when in the fiber the curve admits any number of imaginary points. We also provide two examples of how to use the generalized algorithm.
In this paper we construct effective invariants for braid monodromy of affine curves. We also prove that, for some curves, braid monodromy determines their topology. We apply this result to find a pair of curves with conjugate equations in a number field but which do not admit any orientation-preserving homeomorphism.
We compute the $\integ/\ell$ and $\integ_\ell$ monodromy of every irreducible component of the moduli spaces of hyperelliptic and trielliptic curves. In particular, we provide a proof that the $\integ/\ell$ monodromy of the moduli space of hyperelliptic curves of genus $g$ is the symplectic group $\sp_{2g}(\integ/\ell)$. We prove that the $\integ/\ell$ monodromy of the moduli space of trielliptic curves with signature $(r,s)$ is the special unitary group $\su_{(r,s)}(\integ/\ell\tensor\integ[ζ_3])$.
We study a problem related to Kontsevich's homological mirror symmetry conjecture for the case of a generic curve $\cal Y$ with bi-degree (2,2) in a product of projective lines ${\Bbb P}^{1} \times {\Bbb P}^{1}$. We calculate two differenent monodromy representations of period integrals for the affine variety ${\cal X}^{(2,2)}$ obtained by the dual polyhedron mirror variety construction from $\cal Y$. The first method that gives a full representation of the fundamental group of the complement to singular loci relies on the generalised Picard-Lefschetz theorem. The second method uses the analyt…
We compute the Galois groups for a certain class of polynomials over the the field of rational numbers that was introduced by S. Mori and study the monodromy of corresponding hyperelliptic jacobians.
We prove that in any characteristic the formation of the monodromy group of a $\mathscr{D}$-module commutes with the extension of the ground field, extending a result of Gabber for separable extensions.
Let $X$ be a generic curve of genus $g$ defined over an algebraically closed field $k$ of characteristic $p\geq 0$. We show that for $n$ sufficiently large there exists a tame rational map $f:X\to \PP^1_k$ with monodromy group $A_n$. This generalizes a result of Magaard--Völklein to positive characteristic.
Suppose that g > 2, that n > 0 and that m > 0. In this paper we show that if E is an irreducible smooth variety which dominates a divisor D in M_{g,n}[m], the moduli space of n-pointed, smooth curves of genus g with a level m structure, then the closure of the image of the monodromy representation pi_1(E,e)--> Sp_g(Zhat) has finite index in Sp_g(Zhat). A similar result is proved for codimension 1 families of the universal principally polarized abelian variety of dimension g > 2. Both results are deduced from a general "non-abelian strictness theorem". The first result is used in arXiv:1001.500…
In this paper, we seek an appropriate definition for a Shimura curve of Hodge type in positive characteristics, i.e. a characterization, in terms of geometry mod p, of curves in positive characteristics which are reduction of Shimura curves over the complex field. Specifically, we study the liftablity of a curve in moduli space of principally polarized abelian varieties over k, char k=p. We show that some conditions on the l-adic monodromy over such a curve imply that this curve can be lifted to a Shimura curve.
Monodromy in analytic families of smooth complex surfaces yields groups of isotopy classes of orientation preserving diffeomorphisms for each family member X. For all deformation classes of minimal elliptic surfaces with p_g>q=0, we determine the monodromy group of a representative X, i.e. the group of isometries of the intersection lattice L_X:=H_2/torsion generated by the monodromy action of all families containing X. To this end we construct families such that any isometry is in the group generated by their monodromies or does not respect the invariance of the canonical class or the spinor …
We combine the newly discovered technique, which computes explicit formulas for the image of an algebraic curve under rational transformation, with techniques that enable to compute braid monodromies of such curves. We use this combination in order to study properties of the braid monodromy of the image of curves under a given rational transformation. A description of the general method is given along with full classification of the images of two intersecting lines under degree 2 rational transformation. We also establish a connection between degree 2 rational transformations and the local bra…
Fix a degree $d$ projective curve $X \subset \mathbb{P}^r$ over an algebraically closed field $K$. Let $U \subset (\mathbb{P}^r)^*$ be a dense open subvariety such that every hyperplane $H \in U$ intersects $X$ in $d$ smooth points. Varying $H \in U$ produces the monodromy action $φ: π_1^{\text{ét}}(U) \to S_d$. Let $G_X := \mathrm{im}(φ)$. The permutation group $G_X$ is called the sectional monodromy group of $X$. In characteristic zero $G_X$ is always the full symmetric group, but sectional monodromy groups in characteristic $p$ can be smaller. For a large class of space curves ($r \geqslant…
Monodromy groups, i.e. the groups of isometries of the intersection lattice L_X:=H_2/torsion generated by the monodromy action of all deformation families of a given surface, have been computed in math.AG/0006231 for any minimal elliptic surface with p_g>q=0. New and refined methods are now employed to address the cases of minimal elliptic surfaces with p_g+1>q>0. To this end we find explicit families such that any isometry is in the group generated by their monodromies or does not respect the invariance of the canonical class or the spinor norm. The monodromy action is moreover shown to act b…
We consider spaces of plane curves in the setting of algebraic geometry and of singularity theory. On one hand there are the complete linear systems, on the other we consider unfolding spaces of bivariate polynomials of Brieskorn-Pham type. For suitable open subspaces we can define the bifurcation braid monodromy taking values in the Zariski resp. Artin braid group. In both cases we give the generators of the image. These results are compared with the corresponding geometric monodromy. It takes values in the mapping class group of braided surfaces. Our final result gives a precise statement ab…
We compute the Z/\ell and \ell-adic monodromy of every irreducible component of the moduli space M_g^f of curves of genus and and p-rank f. In particular, we prove that the Z/\ell-monodromy of every component of M_g^f is the symplectic group Sp_{2g}(Z/\ell) if g>=3 and \ell is a prime distinct from p. We give applications to the generic behavior of automorphism groups, Jacobians, class groups, and zeta functions of curves of given genus and p-rank.
We compute the monodromy groups of real Enriques surfaces of hyperbolic type. The principal tools are the deformation classification of such surfaces and a modified version of Donaldson's trick, relating real Enriques surfaces and real rational surfaces.
We prove a fixed point theorem for the action of certain local monodromy groups on étale covers and use it to deduce lower bounds in essential dimension. In particular, we give more geometric proofs of many (but not all) of the results of the preprint of Farb, Kisin and Wolfson, which uses arithmetic methods to prove incompressibility results for Shimura varieties and moduli spaces of curves. Our method allows us to prove results for exceptional groups, and also for the reduction modulo good primes of Shimura varieties and moduli spaces of curves.
We construct three new families of fibrations $π: S \to B$ where $S$ is an algebraic complex surface and $B$ a curve that violate Xiao's conjecture relating the relative irregularity and the genus of the general fiber. The fibers of $π$ are certain étale cyclic covers of hyperelliptic curves that give coverings of $P^1$ with dihedral monodromy. As an application, we also show the existence of big and nef effective divisors in the Brill-Noether range.
Using Mellin-Barnes integrals we give a method to compute a relevant subgroup of the monodromy group of an A-hypergeometric system of differential equations. Presumably this group is the full monodromy group of the system. This article is a major rewrite of an article posted 2 years ago.
The quintic-mirror family is a well-known one-parameter family of Calabi-Yau threefolds. A complete description of the global monodromy group of this family is not yet known. In this paper, we give a presentation of the global monodromy group in the general linear group of degree 4 over the ring of integers modulo 5.
We determine the index of five of the $7$ hypergeometric Calabi-Yau operators that have finite index in $Sp_4(\mathbb{Z})$ and in two cases give a complete description of the monodromy group. Furthermore we found six non-hypergeometric Calabi-Yau operators with finite index in $Sp_4(\mathbb{Z})$, most notably a case where the index is one.
We define a monodromy homomorphism for irreducible families of regular elliptic fibrations which takes values in the mapping class group of a punctured sphere. We compute the monodromy for elliptic fibrations only which contain no singular fibres of types other than I_1 and I*_0. There are maximal groups, which can be the monodromy groups of algebraic, resp. differentiable families of elliptic surfaces, and we give an algebraic criterion for the equality of both groups which we can check to apply in case the number of I_1 fibres is at most 6.
Let $R$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with fraction field $K$. We study stable models of $p$-cyclic covers of $\Proj_K$. First, we determine the monodromy extension, the monodromy group, its filtration and the Swan conductor for special covers of arbitrarily high genus with potential good reduction. In the case $p=2$ we consider hyperelliptic curves of genus 2.
Let $f:S\to B$ be a fibration of curves and let $f_\astω_{S/B}=\cU\oplus \cA$ be the second Fujita decomposition of $f.$ In this paper we study a kind of Massey products, which are defined as infinitesimal invariants by the cohomology of a curve, in relation to the monodromy of certain subbundles of $\cU$. The main result states that their vanishing on a general fibre of $f$ implies that the monodromy group acts faithfully on a finite set of morphisms and is therefore finite. In the last part we apply our result in terms of the normal function induced by the Ceresa cycle. On the one hand, we p…
Let $F_n$ denote the Fermat curve given by $x^n+y^n=z^n$ and let $μ_n$ denote the Galois module of $n$th roots of unity. It is known that the integral homology group $H_1(F_n,\Z)$ is a cyclic $\Z[μ_n\times μ_n]$ module. In this paper, we prove this result using modular symbols and the modular description of Fermat curves; moreover we find a basis for the integral homology group $H_1(F_n,\Z)$. We also construct a family of Fermat curves using the Fermat surface and compute its monodromy.
Let $X$ be a compact Riemann surface of genus $g$ and $d\geq 12g+4$ be an integer. We show that $X$ admits meromorphic functions with monodromy group equal to the alternating group $A_d.$