In this paper we describe six pencils of K3-surfaces which have large Picard-Number and contain precisely five singular fibers: four have A-D-E singularities and one is non-reduced. In particular we describe these surfaces as cyclic coverings of the K3-surfaces which Barth and the author described in a previous manuscript (Asian. J. of Math. Vol. 7, No. 4, 519-538, Dec. 2003). In many cases using this description and lattice-Theory we are able to compute the exact Picard-number and to describe explicitly the Picard-lattices.
We study the order of automorphism groups of cyclic covering fibrations of a ruled surface. Arakawa and later Chen studied it for hyperelliptic fibrations and gave the upper bound. The purpose of present paper is to pursue the analog for cyclic covering fibrations.
In this note, we introduce the notion of an unramified strongly cyclic covering for a cyclic curve, a class that has similar properties to, and contains, unramified double covers of hyperelliptic curves. We determine several of their basic properties, extending the theorems in \cite{MR2217998} to this larger class. In particular, we will write down equations for smooth affine models, determine when they are isomorphic, and discuss the curves that they are ramified cyclic covers of.
Let $f:S\to B$ be a finite cyclic covering fibration of a fibered surface. We study the lower bound of slope $λ_{f}$ when the relative irregularity $q_{f}$ is positive.
We study the rigid analytic geometry of cyclic coverings of the projective line. We determine the defining equation of a cyclic covering of degree $p$ of the projective line by a Mumford curve over a complete discrete valuation field of positive characteristic $p$. Previously, Bradley studied that of any degree over a non-archimedean local field of characteristic zero.
We give an effective infinitesimal Torelli theorem for cyclic covers of G/P, where G is a simple algebraic group and P is a maximal parabolic subgroup.
We study the Seshadri constants of cyclic coverings of smooth surfaces. The existence of an automorphism on these surfaces can be used to produce Seshadri exceptional curves. We give a bound for multiple Seshadri constants on cyclic coverings of surfaces with Picard number 1. Morevoer, we apply this method to $n$-cyclic coverings of the projective plane. When $2\leq n\leq 9$, explicit values are obtained. We relate this problem with the Nagata conjecture.
For a smooth finite cyclic covering over a projective space of dimension greater than one, we show that the group of automorphisms acts faithfully on the cohomology except for a few cases. In characteristic zero, we study the equivariant deformation theory and automorphism groups for complex cyclic coverings. The proof uses the decomposition of the sheaf of differential forms due to Esnault and Viehweg. In positive characteristics, a lifting criterion of automorphisms reduces the faithfulness problem to characteristic zero. To apply this criterion, we prove the degeneration of the Hodge-de Rha…
We study the Prym map for degree-7 etale cyclic coverings over a curve of genus 2. We extend this map to a proper map on a partial compactification of the moduli space of such coverings, and prove that the Prym map is generically finite onto its image of degree 10.
We give an algorithm to classify singular fibers of finite cyclic covering fibrations of a ruled surface by using singularity diagrams. As the first application, we classify all fibers of 3-cyclic covering fibrations of genus 4 of a ruled surface and show that the signature of a complex surface with this fibration is non-positive by computing the local signature for any fiber. As the second application, we classify all fibers of hyperelliptic fibrations of genus 3 into 12 types according to the Horikawa index. We also prove that finite cyclic covering fibrations of a ruled surface have no mult…
The Prym map of type (g,n,r) associates to every cyclic covering of degree n of a curve of genus g, ramified at a reduced divisor of degree r, the corresponding Prym variety. We show that the corresponding map of moduli spaces is generically finite in most cases. From this we deduce the dimension of the image of the Prym map.
Let $ψ$ be the period map for a family of the cyclic triple coverings of the complex projective line branching at six points. The symmetric group $S_6$ acts on this family and on its image under $ψ.$ In this paper, we give an $S_6$-equivariant expression of $ψ^{-1}$ in terms of fifteen theta constants.
We study the Prym varieties arising from étale cyclic coverings of degree 7 over a curve of genus 2. These Prym varieties are products of Jacobians JY x JY of genus 3 curves Y with polarization type D=(1,1,1,1,1,7). We describe the fibers of the Prym map between the moduli space of such coverings and the moduli space of abelian sixfolds with polarization type D, admitting an automorphism of order 7.
We show that the moduli spaces of non-triple cyclic coverings of genus 2 curves and that of even spin curves of genus 2 are birationally isomorphic via the Prym map. We describe the log canonical models of the moduli space of even spin curves of genus 2 and use this to extend the above birational map.
In previous work we determined automorphism groups of cyclic algebraic curves defined over fields of any odd characteristic. In this paper we determine parametric equations of families of curves for each automorphism group for such curves.
Exact bounds for the positions of the branch points for cyclic coverings of the $p$-adic projective line by Mumford curves are calculated in two ways. Firstly, by using Fumiharu Kato's *-trees, and secondly by giving explicit matrix representations of the Schottky groups corresponding to the Mumford curves above the projective line through combinatorial group theory.
Let $Y$ be a smooth projective surface defined over an algebraically closed field $k$ with ${\rm Char}\ k\nmid n$, and let $π:X\rightarrow Y$ be a $n$-cyclic covering branched along a smooth divisor $B$. We show that under some conditions $\mathscr{T}_X$ is semi-stable with respect to $π^*\mathcal {H}$ if the tangent bundle $\mathscr{T}_Y$ is semi-stable with respect to some ample line bundle $\mathcal {H}$ on $Y$.
The article starts with some introductory material about resolution graphs of normal surface singularities (definitions, topological/homological properties, etc). We then discuss the case when the normal surface singularity is an N-fold cyclic covering of a surface germ, branched along a curve given by the germ of an analytic function f. We present non-trivial examples in order to show that from the embedded resolution graph G of f in general it is not possible to recover the resolution graph of the cyclic covering. The main results are the construction of a ``universal covering graph'' from t…
We consider families of cyclic covers of the projective line, where we fix the covering group and the local monodromies and we vary the branch points. We prove that there are precisely twenty such families that give rise to a special subvariety in the moduli space of abelian varieties. Our proof uses techniques in mixed characteristics due to Dwork and Ogus.
We study cyclic covering morphisms from $\bar{M}_{0,n}$ to moduli spaces of unpointed stable curves of positive genus or compactified moduli spaces of principally polarized abelian varieties. Our main application is a construction of new semipositive vector bundles and nef divisors on $\bar{M}_{0,n}$, with a view toward the F-conjecture. In particular, we construct new extremal rays of the symmetric nef cone of $\bar{M}_{0,n}$. We also find an alternate description of all sl level 1 conformal blocks divisors on $\bar{M}_{0,n}$.
We construct families of Calabi-Yau manifolds with dense set of complex multiplication fibers in an arbitrary dimension. We will also give explicite examples of complex multiplication fibers. For this construction we use families of curves with dense set of complex multiplication fibers. In addition, we give examples of such families for each genus less or equal 7 and we study the generic Hodge groups of families of cyclic covers of the projective line.
We study slopes of finite cyclic covering fibrations of a fibered surface. We give the best possible lower bound of the slope of these fibrations. We also give the slope equality of finite cyclic covering fibrations of a ruled surface and observe the local concentration of the global signature of these surfaces on a finite number of fiber germs. We also give an upper bound of the slope of finite cyclic covering fibrations of a ruled surface.
In this article, we investigate some properties of cyclic coverings of complex surfaces of general type branched along smooth curves that are numerically equivalent to a multiple of the canonical class. The main results concern coverings of surfaces of general type with p_g=0 and Miyaoka--Yau surfaces; in particular, they provide new examples of multicomponent moduli spaces of surfaces with given Chern numbers as well as new examples of surfaces that are not deformation equivalent to their complex conjugates.
The classical Kodaira Vanishing Theorem states that Hi(X, ωX \otimes L) = 0 for i > 0, where X is a smooth projective variety over C and L is an ample line bundle on X. We prove an analogous vanishing result under the assumption that X is a semi-smooth projective variety over C. This is done by passing to the normalization of X, which is a smooth projective variety when X is semi-smooth. The classical vanishing result is proved using a cyclic cover. Therefore we include a proof that the cyclic cover of a demi-normal variety is again demi-normal.
Finiteness and injectivity of Prym maps for cyclic coverings
Institute of Mathematics, Jagiellonian University in Kraków（雅盖隆大学数学研究所）；Universitat de Barcelona（巴塞罗那大学）；Centre de Recerca Matemàtica（数学研究中心）；Institut für Mathematik, Humboldt Universität（柏林洪堡大学数学研究所）；Doctoral School of Exact and Natural Sciences, Jagiellonian University in Kraków（雅盖隆大学理学院博士研究院）
In a previous paper, the authors proved that the Prym variety of any non-cyclic etale triple cover of a smooth curve of genus 2 is a Jacobian variety of dimension 2. This gives a map from the moduli space of such covers to the moduli space of Jacobian varieties of dimension 2. We extend this map to a proper map of a certain moduli space of admissible $S_3$-covers of genus 7 to the moduli space of principally polarized abelian surfaces. The main result is that this map is finite surjective of degree 10.
We study extremality properties of covering families of rational curves on projective varieties. Among others, we show that on a normal and Q-factorial projective variety of dimension at most 4, every covering and quasi-unsplit family of rational curves generates a geometric extremal ray of the Mori cone.
The ordinariness of elliptic curves is essential in proving various expected properties of elliptic curves in positive characteristic and can be extended to algebraic curves of arbitrary genus. The present paper deals with another kind of extension, i.e., ordinariness of dormant $\mathfrak{sl}_2$-opers, or more generally, dormant $\mathfrak{sl}_n$-opers. We prove that, for dormant $\mathfrak{sl}_2$-opers on elliptic curves, this notion is essentially equivalent to the classical ordinariness. Moreover, the main result of the present paper asserts that the pull-back of an ordinary dormant $\math…
In this paper we compute the first vertex of a generic Newton polygon in some special cases, and the corresponding Hasse polynomial. This allows us to show the nonexistence of $p$-cyclic coverings of the projective line in characteristic $p$ with supersingular jacobian for some (infinite families of) genera.
Let $S$ be a rational surface with $\dim|-K_S|\ge 1$ and let $π: X\rightarrow S$ be a ramified cyclic covering from a nonruled smooth surface $X$. We show that for any integer $k\ge 3$ and ample divisor $A$ on $S$, the adjoint divisor $K_X+kπ^*A$ is very ample and normally generated. Similar result holds for minimal (possibly singular) coverings.
Let $f\colon S'\longrightarrow S$ be a cyclic branched covering of smooth projective surfaces over $\mathbb{C}$ whose branch locus $Δ\subset S$ is a smooth ample divisor. Pick a very ample complete linear system $|\mathcal{H}|$ on $S$, such that the polarized surface $(S, |\mathcal{H}|)$ is not a scroll nor has rational hyperplane sections. For the general member $[C]\in|\mathcal{H}|$ consider the $μ_{n}$-equivariant isogeny decomposition of the Prym variety $Prym(C'/C)$ of the induced covering $f\colon C'= f^{-1}(C)\longrightarrow C$:\[Prym(C'/C)\sim\prod_{d|n,\ d\neq1}\mathcal{P}_{d}(C'/C).\…
An algebraic variety X is embedded to the order k via a line bundle L if the global sections of L generate all (simultaneous) jets of order k on X or if they separate all zero-dimensional subschemes of length at most k+1. Even though we refer to both situations as "higher order embeddings", the first notion (in which case L is said to be k-jet ample) is stronger than the second one (when L is k-very ample). The purpose of this paper is to study higher order embeddings of cyclic coverings π:Y\to X via line bundles given by pulling back "sufficiently positive" line bundles on X. Given a line bun…
We study cyclic finite Galois extensions of the rational function field of the projective line P^{1}(F_q) over a finite field F_q with q elements defined by considering quotient curves by finite subgroups of the projective linear group PGL(2,q), and we enumerate them expressing the count in terms of Stirling numbers.
Under the condition that the Prym map is injective in characteristic $p$, we prove that the special subvarieties in the moduli space of abelian varieties of dimension $l$ and polarization type $D$, $A_{l,D}$, arising from families of abelian covers of $¶^1$ are of a very restrictive nature. In other words, if the family is one-dimensional or if it contains an eigenspace of certain type for the group action on the cohomology of fibers, then the Shimura varieties arising from such families can only be constructed by the group action of the family.
We study Shimura subvarieties of $\mathsf{A}_g$ obtained from families of Galois coverings $f: C \rightarrow C'$ where $C'$ is a smooth complex projective curve of genus $g' \geq 1$ and $g= g(C)$. We give the complete list of all such families that satisfy a simple sufficient condition that ensures that the closure of the image of the family via the Torelli map yields a Shimura subvariety of $\mathsf{A}_g$ for $g' =1,2$ and for all $g \geq 2,4$ and for $g' > 2$ and $g \leq 9$. In a previous work of the first and second author together with A. Ghigi [FGP] similar computations were done in the c…
We construct automorphic forms on the 5-dimensional complex ball which give the inverse of the period map for cyclic 4-ple coverings of the complex projective line branching at eight points with branching index (1/4,...,1/4).
We establish the slope equality and give an upper bound of the slope for finite cyclic covering fibrations of an elliptic surface including bielliptic fibrations of genus greater than 5. We also give an upper bound of the slope for triple cyclic covering fibrations of a ruled surface and hyperelliptic fibrations, which provides a new proof of Xiao's upper bound.
Esnault-Viehweg developed the theory of cyclic branched coverings $\tilde X\to X$ of smooth surfaces providing a very explicit formula for the decomposition of $H^1(\tilde X,\mathbb{C})$ in terms of a resolution of the ramification locus. Later, the first author applies this to the particular case of coverings of $\mathbb{P}^2$ reducing the problem to a combination of global and local conditions on projective curves. In this paper we extend the above results in three directions: first, the theory is extended to surfaces with quotient singularities, second the ramification locus can be partiall…
In this work we use arithmetic, geometric, and combinatorial techniques to compute the cohomology of Weil divisors of a special class of normal surfaces, the so-called rational ruled toric surfaces. These computations are used to study the topology of cyclic coverings of such surfaces ramified along Q-normal crossing divisors.
In this article we prove that the full automorphism group of a cyclic $p$-gonal pseudo-real Riemann surface of genus $g$ is either a semidirect product $C_{n}\ltimes C_{p}$ or a cyclic group, where $p$ is a prime $>2$ and $g>(p-1)^{2}$. We obtain necessary and sufficient conditions for the existence of a cyclic $p$-gonal pseudo-real Riemann surface with full\ automorphism group isomorphic to a given finite group. Finally we describe some families of cyclic $p$-gonal pseudo-real Riemann surfaces where the order of the full automorphism group is maximal and show that such families determine some…
This note uses some recent calculations of Conder and Bujalance (on classifying finite index group extensions of Fuchsian groups with abelian quotient and torsion free kernel) in order to determine the full automorphism groups of some cylic coverings of the line (including curves of Fermat and Lefschetz type). The answer is complete for cyclic covers that branch over three points.
