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.$
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. Girand has constructed an explicit two-parameter family of flat connections over the complex projective plane $\mathbb{P}^2$. These connections have dihedral monodromy and their polar locus is a prescribed quintic composed of a conic and three tangent lines. In this paper, we give a generalization of this construction. That is, we construct an explicit $n$-parameter family of flat connections over the complex projective space $\mathbb{P}^n$. Moreover, we discuss the relation between these connections and the Garnier system.
In the paper we show that for a normal-crossings degeneration $Z$ over the ring of integers of a local field with $X$ as generic fibre, the local monodromy operator and its powers determine invariant cocycle classes under the decomposition group in the cohomology of the product $X \times X$. More precisely, they also define algebraic cycles on the special fibre of a resolution of $Z \times Z$. In the paper, we give an explicit description of these cycles for a degeneration with at worst triple points as singularities. These cycles explain geometrically the presence of poles on specific local f…
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…
Following Newton, Ivory and Arnold, we study the Newtonian potentials of algebraic hypersurfaces in $R^n$. The ramification of (analytic continuations of) these potential depends on a monodromy group, which can be considered as a proper subgroup of the local monodromy group of a complete intersection (acting on a {\em twisted} vanishing homology group if $n$ is odd). Studying this monodromy group we prove, in particular, that the attraction force of a hyperbolic layer of degree $d$ in $R^n$ coincides with appropriate algebraic vector-functions everywhere outside the attracting surface if $n=2$…
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.
We define monodromy maps for tropical Dolbeault cohomology of algebraic varieties over non-Archimedean fields. We propose a conjecture of Hodge isomorphisms via monodromy maps, and provide some evidence.
We study the Euler characteristic of the real Milnor fibres of a real analytic map, using a relation between complex monodromy and complex conjugation. We deduce the result of Coste and Kurdyka that the Euler characteristic of the link of an irreducible algebraic subset of a real algebraic set is generically constant modulo 4. We generalize this result to iterated links of ordered families of algebraic subsets.
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…
Let $ρ$ be a finite-dimensional faithful representation of a semisimple algebraic group $G$. By means of a deformation argument, we show that there exists a family of Abelian varieties over a smooth and projective curve over the algebraic closure of a prime field of positive characteristic, such that its $\ell$-adic monodromy group covers $G$ and its $\ell$-adic monodromy representation contains $ρ$.
We express the Lefschetz number of iterates of the monodromy of a function on a smooth complex algebraic variety in terms of the Euler characteristic of a space of truncated arcs.
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…
We establish a braid monodromy representation of functions satisfying an algebraic equation containing three terms (trinomial equation). We follow global analytic continuation of the roots to a trinomial algebraic equation that are expressed by Mellin-Barnes integral representations. We depict braids that arise from the monodromy around all branching points. The global braid monodromy is described in terms of rational twists of strands that yield a classical Artin braid representation of algebraic functions. As a corollary, we get a precise description of the Galois group of a trinomial algebr…
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.
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.
To a plane algebraic curve of degree n, Moishezon associated a braid monodromy homomorphism from a finitely generated free group to Artin's braid group B_n. Using Hansen's polynomial covering space theory, we give a new interpretation of this construction. Next, we provide an explicit description of the braid monodromy of an arrangement of complex affine hyperplanes, by means of an associated ``braided wiring diagram.'' The ensuing presentation of the fundamental group of the complement is shown to be Tietze-I equivalent to the Randell-Arvola presentation. Work of Libgober then implies that th…
For any simple algebraic group $G$ of exceptional type, we construct geometric $\ell$-adic Galois representations with algebraic monodromy group equal to $G$, in particular producing the first such examples in types $\mathrm{F}_4$ and $\mathrm{E}_6$. To do this, we extend to general reductive groups Ravi Ramakrishna's techniques for lifting odd two-dimensional Galois representations to geometric $\ell$-adic representations.
A question of Griffiths-Schmid asks when the monodromy group of an algebraic family of complex varieties is arithmetic. We resolve this in the affirmative for the class of algebraic surfaces known as Atiyah-Kodaira manifolds, which have base and fibers equal to complete algebraic curves. Our methods are topological in nature and involve an analysis of the "geometric" monodromy, valued in the mapping class group of the fiber.
Let $X$ be a smooth connected algebraic curve over an algebraically closed field $k$. We study the deformation of $\ell$-adic Galois representations of the function field of $X$ while keeping the local Galois representations at all places undeformed.
Let k be an algebraically closed field of characteristic $p>0$, and $G_0$ be a Barsotti-Tate group (or $p$-divisible group) over k. We denote by $S$ the "algebraic" local moduli in characteristic p of $G_0$, by $G$ the universal deformation of $G_0$ over $S$, and by $U\subset S$ the ordinary locus of $G$. The etale part of $G$ over $U$ gives rise to a monodromy representation $ρ$ of the fundamental group of $U$ on the Tate module of $G$. Motivated by a famous theorem of Igusa, we prove in this article that $ρ$ is surjective if $G_0$ is connected and HW-cyclic. This latter condition is equivale…
We extend the notion of lattice polarization for K3 surfaces to families over a (not necessarily simply connected) base, in a way that gives control over the action of monodromy on the algebraic cycles, and discuss the uses of this new theory in the study of families of K3 surfaces admitting fibrewise symplectic automorphisms. We then give an application of these ideas to the study of Calabi-Yau threefolds admitting fibrations by lattice polarized K3 surfaces.
Using the sieve for Frobenius, we show that, in a certain sense, the roots of the L-functions of "most" algebraic curves over finite fields do not satisfy any non-trivial (linear or multiplicative) rational dependency relations. This can be seen as an analogue of conjectures of linear independence among ordinates of zeros of L-functions over number fields. As a corollary, we find, for "most" pairs of distinct algebraic curves over a finite field, the limiting distribution of the (suitably normalized) difference between the number of rational points over extensions of the ground field. The meth…
The Tannakian formalism allows to attach to any subvariety of an abelian variety an algebraic group in a natural way. The arising groups are closely related to moduli questions such as the Schottky problem, but their geometric interpretation is still mysterious. We show that for the theta divisor on the intermediate Jacobian of a cubic threefold, the Tannaka group is an exceptional group of type E_6. This is the first known exceptional case, and it suggests a connection with the monodromy of the Gauss map.
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.
Kodaira's classification of singular fibers in elliptic fibrations and its translation into the language of monodromies and Lefschetz fibrations has been a boon to the study of 4-manifolds. In this article, we begin the work of translating between singular fibers of genus 2 families of algebraic curves and the positive Dehn twist factorizations of Lefschetz fibrations for a certain subset of the singularities described by Namikawa and Ueno in the 70s. We look at four families of hypersurface singularities in $\mathbb{C}^3$. Each hypersurface comes equipped with a fibration by genus 2 algebraic…
Let $k$ be an uncountable algebraically closed field of characteristic $0$, and let $X$ be a smooth projective connected variety of dimension $2p$, appropriately embedded into $\mathbb P^m$ over $k$. Let $Y$ be a hyperplane section of $X$, and let $A^p(Y)$ and $A^{p+1}(X)$ be the groups of algebraically trivial algebraic cycles of codimension $p$ and $p+1$ modulo rational equivalence on $Y$ and $X$ respectively. Assume that, whenever $Y$ is smooth, the group $A^p(Y)$ is regularly parametrized by an abelian variety $A$ and coincides with the subgroup of degree $0$ classes in the Chow group $CH^…
We introduce and develop a language of semigroups over the braid groups for a study of braid monodromy factorizations (bmf's) of plane algebraic curves and other related objects. As an application we give a new proof of Orevkov's theorem on realization of a bmf over a disc by algebraic curves and show that the complexity of such a realization can not be bounded in terms of the types of the factors of the bmf. Besides, we prove that the type of a bmf is distinguishing Hurwitz curves with singularities of inseparable types up to $H$-isotopy and $J$-holomorphic cuspidal curves in $\C P^2$ up to s…
Let $E$ be a number field and $X$ a smooth geometrically connected variety defined over a characteristic $p$ finite field. Given an $n$-dimensional pure $E$-compatible system of semisimple $λ$-adic representations of the étale fundamental group of $X$ with connected algebraic monodromy groups $G_λ$, we construct a common $E$-form $G$ of all the groups $G_λ$ and in the absolutely irreducible case, a common $E$-form $G\hookrightarrow\text{GL}_{n,E}$ of all the tautological representations $G_λ\hookrightarrow\text{GL}_{n,E_λ}$ (Theorem 1.1). Analogous rationality results in characteristic $p$ ass…
A central question in arrangement theory is to determine whether the characteristic polynomial $Δ_q$ of the algebraic monodromy acting on the homology group $H_q(F(\mathcal{A}),\mathbb{C})$ of the Milnor fiber of a complex hyperplane arrangement $\mathcal{A}$ is determined by the intersection lattice $L(\mathcal{A})$. Under simple combinatorial conditions, we show that the multiplicities of the factors of $Δ_1$ corresponding to certain eigenvalues of order a power of a prime $p$ are equal to the Aomoto--Betti numbers $β_p(\mathcal{A})$, which in turn are extracted from $L(\mathcal{A})$. When $…
The classical Zariski-van Kampen theorem gives a presentation of the fundamental group of the complement of a complex algebraic curve in $\mathbb{P}^2$. The first generalization of this theorem to singular (quasi-projective) varieties was given by the first author. In both cases, the relations are generated by the standard monodromy variation operators associated with the special members of a generic pencil of hyperplane sections. In the present paper, we give a new generalization in which the relations are generated by the relative monodromy variation operators introduced by D. Chéniot and th…
A celebrated theorem of Klein implies that any hypergeometric differential equation with algebraic solutions is a pull-back of one of the few standard hypergeometric equations with algebraic solutions. The most interesting cases are hypergeometric equations with tetrahedral, octahedral or icosahedral monodromy groups. We give an algorithm for computing Klein's pull-back coverings in these cases, based on certain explicit expressions (Darboux evaluations) of algebraic hypergeometric functions. The explicit expressions can be computed using contiguous relations and a data base of simplest Darbou…
Let $k$ be an algebraically closed field of characteristic $p > 0$. We consider the problem of lifting $p$-cyclic covers of $\Proj_k$ as $p$-cyclic covers of the projective line over some DVR under the condition that the wild monodromy is maximal. We answer positively the question for covers birational to $w^ p-w=tR(t)$ for some additive polynomial $R(t)$.
The {\em Wiman-Edge pencil} is the universal family $\Cs/\mathcal B$ of projective, genus $6$, complex-algebraic curves admitting a faithful action of the icosahedral group $\Af_5$. The goal of this paper is to prove that the monodromy of $\Cs/\mathcal B$ is commensurable with a Hilbert modular group; in particular is arithmetic. We then give a modular interpretation of this, as well as a uniformization of $\mathcal B$.
Let $G$ be a connected reductive affine algebraic group defined over $\mathbb C$ and $\mathfrak g$ its Lie algebra. We study the monodromy map from the space of $\mathfrak g$-differential systems on a compact connected Riemann surface $Σ$ of genus $g \,\geq\, 2$ to the character variety of $G$-representations of the fundamental group of $Σ$. If the complex dimension of $G$ is at least three, we show that the monodromy map is an immersion at the generic point.
Let X be a smooth curve over a finite field of characteristic p, let E be a number field, and consider an E-compatible system of lisse sheaves on the curve X. For each place lambda of E not lying over p, the lambda-component of the system is a lisse E_lambda-sheaf on X, whose associated arithmetic monodromy group is an algebraic group over the local field E_lambda. We use Serre's theory of Frobenius tori and Lafforgue's proof of Deligne's conjecture to show that when the E-compatible system is semisimple and pure of some integer weight, the isomorphism type of the identity component of these m…
Let K be a complete discrete valuation field of mixed characteristic (0,p) with algebraically closed residue field, and let f: Y --> P^1 be a three-point G-cover defined over K, where G has a cyclic p-Sylow subgroup P. We examine the stable model of f, in particular, the minimal extension K^{st}/K such that the stable model is defined over K^{st}. Our main result is that, if g(Y) \geq 2, the ramification indices of f are prime to p, and |P| = p^n, then the p-Sylow subgroup of Gal(K^{st}/K) has exponent dividing p^{n-1}. This extends work of Raynaud in the case that |P| = p.
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…
The Grothendieck--Katz $p$-curvature conjecture predicts that an arithmetic differential equation whose reduction modulo $p$ has vanishing $p$-curvatures for {\em almost all} $p,$ has finite monodromy. It is known that it suffices to prove the conjecture for differential equations on $\mathbb{P}^{1}-\{0,1,\infty\}.$ We prove a variant of this conjecture for $\mathbb{P}^{1}-\{0,1,\infty\},$ which asserts that if the equation satisfies a certain convergence condition for {\em all} $p,$ then its monodromy is trivial. For those $p$ for which the $p$-curvature makes sense, its vanishing implies our…
Georgia Institute of Technology(佐治亚理工学院);Czech Institute of Informatics, Robotics and Cybernetics, Czech Technical University in Prague(布拉格捷克理工大学信息学、机器人学与控制论研究所);Duke University(杜克大学)
We consider Galois/monodromy groups arising in computer vision applications, with a view towards building more efficient polynomial solvers. The Galois/monodromy group allows us to decide when a given problem decomposes into algebraic subproblems, and whether or not it has any symmetries. Tools from numerical algebraic geometry and computational group theory allow us to apply this framework to classical and novel reconstruction problems. We consider three classical cases--3-point absolute pose, 5-point relative pose, and 4-point homography estimation for calibrated cameras--where the decomposi…
In this paper, we study the algebraic form of the symmetric generalized Lamé equations which have finite projective monodromy groups. In particular, we consider equations with $3$ regular singular points on a flat torus $T$ which takes the form \begin{equation*} \begin{split} \frac{d^2 y}{dz^2}-\left[n_1(n_1+1)(\wp(z+a) +\wp(z-a))\right.\left. +A_1(ζ(z+a) - ζ(z-a))+n_0(n_0+1) \wp(z)+B\right]y=0, \end{split} \end{equation*} where $n_1, n_0 \in \Bbb R$, $A_1,B \in \Bbb C$, and $\wp$ is the Weierstrass elliptic function. We give a complete list of all the group types that occur as the finite proj…
We give the monodromy representations of local systems of twisted homology groups associated with Lauricella's system $F_D(a,b,c)$ of hypergeometric differential equations under mild conditions on parameters. Our representation is effective even in some cases when the system $F_D(a,b,c)$ is reducible. We characterize invariant subspaces under our monodromy representations by the kernel or image of a natural map from a finite twisted homology group to locally finite one.
We study the global analytic properties of the solutions of a particular family of Painleve' VI equations with the parameters $β=γ=0$, $δ={1\over2}$ and $α$ arbitrary. We introduce a class of solutions having critical behaviour of algebraic type, and completely compute the structure of the analytic continuation of these solutions in terms of an auxiliary reflection group in the three dimensional space. The analytic continuation is given in terms of an action of the braid group on the triples of generators of the reflection group. This result is used to classify all the algebraic solutions of o…
We investigate the local contribution of the braid monodromy factorization in the context of the links obtained by the closure of these braids. We consider plane curves which are arrangements of lines and conics as well as some algebraic surfaces, where some of the former occur as local configurations in degenerated and regenerated surfaces in the latter. In particular we focus on degenerations which involve intersection points of multiplicity two and three. We demonstrate when the same links arise even when the local arrangements are different.
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…
The monodromy conjecture is an umbrella term for several conjectured relationships between poles of zeta functions, monodromy eigenvalues and roots of Bernstein-Sato polynomials in arithmetic geometry and singularity theory. Even the weakest of these relations -- the Denef--Loeser conjecture on topological zeta functions -- is open for surface singularities. We prove it for a wide class of multidimensional singularities that are non-degenerate with respect to their Newton polyhedra, including all such singularities of functions of four variables. A crucial difference from the known case of thr…
Geometric monodromy of double covers of $\mathbb{P}^n$ branched along hyperplane arrangements
Beijing Institute of Mathematical Sciences and Applications(北京数学与应用科学研究所);School of Mathematical Sciences, University of Science and Technology of China(中国科学技术大学数学科学学院)
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…