Showing 1–35 of 35 results for author: Wewers, S

Models of hypersurfaces and Bruhat-Tits buildings

Authors: Kletus Stern, Stefan Wewers

Abstract: We propose a new approach to constructing semistable integral models of hypersurfaces over a discrete non-archimedian field $K$. For each stable hypersurface over $K$ we define a stability function on the Bruhat-Tits building of ${\rm PGL}(K)$ and show that its global minima correspond to semistable hypersurface models over some extension of $K$. This extends work of Kollar and of Elsenhans and St… ▽ More We propose a new approach to constructing semistable integral models of hypersurfaces over a discrete non-archimedian field $K$. For each stable hypersurface over $K$ we define a stability function on the Bruhat-Tits building of ${\rm PGL}(K)$ and show that its global minima correspond to semistable hypersurface models over some extension of $K$. This extends work of Kollar and of Elsenhans and Stoll on minimal hypersurface models. In the case of plane curves and residue characteristic zero, our results give a practical algorithm for constructing a semistable model over a suitable extension field. △ Less

Submitted 5 January, 2025; originally announced January 2025.

Comments: 35 pages, 4 figures

MSC Class: 14G20 (Primary) 14L30; 20E42; 14Q25; 14G22 (Secondary)

Computing the Weil representation of a superelliptic curve

Authors: Irene I. Bouw, Duc Khoi Do, Stefan Wewers

Abstract: We study the Weil representation $ρ$ of a curve over a $p$-adic field with potential reduction of compact type. We show that $ρ$ can be reconstructed from its stable reduction. For superelliptic curves of the form $y^n=f(x)$ at primes $p$ whose residue characteristic is prime to the exponent $n$ we make this explicit. We study the Weil representation $ρ$ of a curve over a $p$-adic field with potential reduction of compact type. We show that $ρ$ can be reconstructed from its stable reduction. For superelliptic curves of the form $y^n=f(x)$ at primes $p$ whose residue characteristic is prime to the exponent $n$ we make this explicit. △ Less

Submitted 30 October, 2023; v1 submitted 17 April, 2023; originally announced April 2023.

MSC Class: 11F80 (primary); 14H25; 11G20; 11S40 (secondary)

Integral differential forms for superelliptic curves

Authors: Sabrina Kunzweiler, Stefan Wewers

Abstract: Given a superelliptic curve $Y_K : y^n = f(x)$ over a local field $K$, we describe the theoretical background and an implementation of a new algorithm for computing the $\mathcal{O}_K$-lattice of integral differential forms on $Y_K$. We build on the results of Obus and the second author, which describe arbitrary regular models of the projective line using only valuations. One novelty of our approa… ▽ More Given a superelliptic curve $Y_K : y^n = f(x)$ over a local field $K$, we describe the theoretical background and an implementation of a new algorithm for computing the $\mathcal{O}_K$-lattice of integral differential forms on $Y_K$. We build on the results of Obus and the second author, which describe arbitrary regular models of the projective line using only valuations. One novelty of our approach is that we construct an $\mathcal{O}_K$-model of $Y_K$ with only rational singularities, but which may not be regular. △ Less

Submitted 7 August, 2023; v1 submitted 27 March, 2020; originally announced March 2020.

Comments: 33 pages

MSC Class: 11G20; 14G10; 11G40

Conductor and discriminant of Picard curves

Authors: Irene I. Bouw, Angelos Koutsianas, Jeroen Sijsling, Stefan Wewers

Abstract: We describe normal forms and minimal models of Picard curves, discussing various arithmetic aspects of these. We determine all so-called special Picard curves over $\mathbb{Q}$ with good reduction outside 2 and 3, and use this to determine the smallest possible conductor a special Picard curve may have. We also collect a database of Picard curves over $\mathbb{Q}$ of small conductor. We describe normal forms and minimal models of Picard curves, discussing various arithmetic aspects of these. We determine all so-called special Picard curves over $\mathbb{Q}$ with good reduction outside 2 and 3, and use this to determine the smallest possible conductor a special Picard curve may have. We also collect a database of Picard curves over $\mathbb{Q}$ of small conductor. △ Less

Submitted 25 February, 2019; originally announced February 2019.

Comments: 34 pages

MSC Class: 14H10 (primary); 11G30; 14H25; 14H50 (secondary)

Explicit resolution of weak wild quotient singularities on arithmetic surfaces

Authors: Andrew Obus, Stefan Wewers

Abstract: A weak wild arithmetic quotient singularity arises from the quotient of a smooth arithmetic surface by a finite group action, where the inertia group of a point on a closed characteristic p fiber is a p-group acting with smallest possible ramification jump. In this paper, we give complete explicit resolutions of these singularities using deformation theory and valuation theory, taking a more local… ▽ More A weak wild arithmetic quotient singularity arises from the quotient of a smooth arithmetic surface by a finite group action, where the inertia group of a point on a closed characteristic p fiber is a p-group acting with smallest possible ramification jump. In this paper, we give complete explicit resolutions of these singularities using deformation theory and valuation theory, taking a more local perspective than previous work has taken. Our descriptions answer several questions of Lorenzini. Along the way, we give a valuation-theoretic criterion for a normal snc-model of P^1 over a discretely valued field to be regular. △ Less

Submitted 11 September, 2019; v1 submitted 24 May, 2018; originally announced May 2018.

Comments: Final version, to appear in the Journal of Algebraic Geometry. 31 pages

MSC Class: Primary: 11G20; 14B05; 14J17. Secondary: 13F30; 14B07; 14D15; 14H25

Journal ref: J. Algebraic Geom. 29 (2020), no. 4, 691--728

Picard curves with small conductor

Authors: Michel Börner, Irene I. Bouw, Stefan Wewers

Abstract: We study the conductor of Picard curves over $\mathbb{Q}$, which is a product of local factors. Our results are based on previous results on stable reduction of superelliptic curves that allow to compute the conductor exponent $f_p$ at the primes $p$ of bad reduction. A careful analysis of the possibilities of the stable reduction at $p$ yields restrictions on the conductor exponent $f_p$. We prov… ▽ More We study the conductor of Picard curves over $\mathbb{Q}$, which is a product of local factors. Our results are based on previous results on stable reduction of superelliptic curves that allow to compute the conductor exponent $f_p$ at the primes $p$ of bad reduction. A careful analysis of the possibilities of the stable reduction at $p$ yields restrictions on the conductor exponent $f_p$. We prove that Picard curves over $\mathbb{Q}$ always have bad reduction at $p=3$, with $f_3\geq 4$. As an application we discuss the question of finding Picard curves with small conductor. △ Less

Submitted 8 January, 2017; originally announced January 2017.

Comments: 24 pages

MSC Class: 14H25; 11G30; 14H45

Desingularization of arithmetic surfaces: algorithmic aspects

Authors: Anne Frühbis-Krüger, Stefan Wewers

Abstract: The quest for regular models of arithmetic surfaces allows different viewpoints and approaches: using valuations or a covering by charts. In this article, we sketch both approaches and then show in a concrete example, how surprisingly beneficial it can be to exploit properties and techniques from both worlds simultaneously. The quest for regular models of arithmetic surfaces allows different viewpoints and approaches: using valuations or a covering by charts. In this article, we sketch both approaches and then show in a concrete example, how surprisingly beneficial it can be to exploit properties and techniques from both worlds simultaneously. △ Less

Submitted 5 January, 2017; originally announced January 2017.

Comments: 21 pages, 2 figures

MSC Class: 14B05; 14E15

Wild ramification kinks

Authors: Andrew Obus, Stefan Wewers

Abstract: Given a branched cover $f:Y\to X$ between smooth projective curves over a non-archimedian mixed-characteristic local field and an open rigid disk $D\subset X$, we study the question under which conditions the inverse image $f^{-1}(D)$ is again an open disk. More generally, if the cover $f$ varies in an analytic family, is this true at least for some member of the family? Our main result gives a cr… ▽ More Given a branched cover $f:Y\to X$ between smooth projective curves over a non-archimedian mixed-characteristic local field and an open rigid disk $D\subset X$, we study the question under which conditions the inverse image $f^{-1}(D)$ is again an open disk. More generally, if the cover $f$ varies in an analytic family, is this true at least for some member of the family? Our main result gives a criterion for this to happen. △ Less

Submitted 2 August, 2016; v1 submitted 14 September, 2015; originally announced September 2015.

Comments: Final version, to appear in Research in the Mathematical Sciences. 29 pages

MSC Class: 14H37; 11G20; 14G22; 14H30; 14D99

Journal ref: Res. Math. Sci. 3 (2016), Paper No. 21

The functional equation for L-functions of hyperelliptic curves

Authors: Michel Börner, Irene I. Bouw, Stefan Wewers

Abstract: We compute the $L$-functions of a large class of algebraic curves, and verify the expected functional equation numerically. Our computations are based on our previous results on stable reduction to calculate the local $L$-factor and the conductor exponent at the primes of bad reduction. Most of our examples are hyperelliptic curves of genus $g\geq 2$ defined over $\mathbb{Q}$ which have semistable… ▽ More We compute the $L$-functions of a large class of algebraic curves, and verify the expected functional equation numerically. Our computations are based on our previous results on stable reduction to calculate the local $L$-factor and the conductor exponent at the primes of bad reduction. Most of our examples are hyperelliptic curves of genus $g\geq 2$ defined over $\mathbb{Q}$ which have semistable reduction at every prime $p$. We also treat a few more general examples of superelliptic curves. △ Less

Submitted 2 April, 2015; originally announced April 2015.

Comments: 27 pages, 4 figures

MSC Class: 11G40; 14G10; 11G20

The Heisenberg coboundary equation: appendix to Explicit Chabauty-Kim theory

Authors: Ishai Dan-Cohen, Stefan Wewers

Abstract: Let p be a regular prime number, let Gp denote the Galois group of the maximal unramified away from p extension of Q, and let H_et denote the Heisenberg group over Qp with Gp-action given by H_et = Qp(1)^2 \oplus Qp(2). Although Soulé vanishing guarantees that the map H^1(Gp, H_et) ---> H^1(Gp, Qp(1)^2) is bijective, the problem of constructing an explicit lifting of an arbitrary cocycle in H^1(Gp… ▽ More Let p be a regular prime number, let Gp denote the Galois group of the maximal unramified away from p extension of Q, and let H_et denote the Heisenberg group over Qp with Gp-action given by H_et = Qp(1)^2 \oplus Qp(2). Although Soulé vanishing guarantees that the map H^1(Gp, H_et) ---> H^1(Gp, Qp(1)^2) is bijective, the problem of constructing an explicit lifting of an arbitrary cocycle in H^1(Gp, Qp(1)^2) proves to be a challenge. We explain how we believe this problem should be analyzed, following an unpublished note by Romyar Sharifi, hereby making the original appendix to Explicit Chabauty-Kim theory available online in an arXiv-only note. △ Less

Submitted 19 March, 2014; v1 submitted 18 March, 2014; originally announced March 2014.

Comments: Minor corrections. Formerly part of arXiv:1209.0276

Mixed Tate motives and the unit equation

Authors: Ishai Dan-Cohen, Stefan Wewers

Abstract: This is the second installment in a sequence of articles devoted to "explicit Chabauty-Kim theory" for the thrice punctured line. Its ultimate goal is to construct an algorithmic solution to the unit equation whose halting will be conditional on Goncharov's conjecture about exhaustion of mixed Tate motives by motivic iterated integrals (refined somewhat with respect to ramification), and on Kim's… ▽ More This is the second installment in a sequence of articles devoted to "explicit Chabauty-Kim theory" for the thrice punctured line. Its ultimate goal is to construct an algorithmic solution to the unit equation whose halting will be conditional on Goncharov's conjecture about exhaustion of mixed Tate motives by motivic iterated integrals (refined somewhat with respect to ramification), and on Kim's conjecture about the determination of integral points via $p$-adic iterated integrals. In this installment we explain what this means while developing basic tools for the construction of the algorithm. We also work out an elaborate example, which goes beyond the cases that were understood before, and allows us to verify Kim's conjecture in a range of new cases. △ Less

Submitted 9 February, 2015; v1 submitted 27 November, 2013; originally announced November 2013.

Comments: Longer introduction. Some new material comparing the various notions of motivic iterated integral appearing in the literature. Some clarifying remarks regarding our hoped-for algorithm. In a new appendix we produce a second proof of the motivic identity for Li_3(1/2) via complex polylogarithms given to us by one of the referees

MSC Class: 11D45; 11G55; 14F42

Another proof of the Semistable Reduction Theorem

Authors: Kai Arzdorf, Stefan Wewers

Abstract: We give a new proof of the Semistable Reduction Theorem for curves. The main idea is to present a curve $Y$ over a local field $K$ as a finite cover of the projective line $X=\PP^1_K$. By successive blowups (and after replacing $K$ by a suitable finite extension) we construct a semistable model of $X$ whose normalization with respect to the cover is a semistable model of $Y$. We give a new proof of the Semistable Reduction Theorem for curves. The main idea is to present a curve $Y$ over a local field $K$ as a finite cover of the projective line $X=\PP^1_K$. By successive blowups (and after replacing $K$ by a suitable finite extension) we construct a semistable model of $X$ whose normalization with respect to the cover is a semistable model of $Y$. △ Less

Submitted 19 November, 2012; originally announced November 2012.

Comments: 31 pages, 1 figure

MSC Class: 14H25; 11G20

Computing $L$-functions and semistable reduction of superelliptic curves

Authors: Irene I. Bouw, Stefan Wewers

Abstract: We give an explicit description of the stable reduction of superelliptic curves of the form $y^n=f(x)$ at primes $\p$ whose residue characteristic is prime to the exponent $n$. We then use this description to compute the local $L$-factor of the curve and the exponent of conductor at $\p$. We give an explicit description of the stable reduction of superelliptic curves of the form $y^n=f(x)$ at primes $\p$ whose residue characteristic is prime to the exponent $n$. We then use this description to compute the local $L$-factor of the curve and the exponent of conductor at $\p$. △ Less

Submitted 11 September, 2014; v1 submitted 19 November, 2012; originally announced November 2012.

Comments: major revision, 34 pages

MSC Class: 11G30; 11G40; 14D10

A non-abelian conjecture of Tate-Shafarevich type for hyperbolic curves

Authors: Jennifer Balakrishnan, Ishai Dan-Cohen, Minhyong Kim, Stefan Wewers

Abstract: We state a conjectural criterion for identifying global integral points on a hyperbolic curve over $\mathbb{Z}$ in terms of Selmer schemes inside non-abelian cohomology functors with coefficients in $\mathbb{Q}_p$-unipotent fundamental groups. For $\mathbb{P}^1\setminus \{0,1,\infty\}$ and the complement of the origin in semi-stable elliptic curves of rank 0, we compute the local image of global S… ▽ More We state a conjectural criterion for identifying global integral points on a hyperbolic curve over $\mathbb{Z}$ in terms of Selmer schemes inside non-abelian cohomology functors with coefficients in $\mathbb{Q}_p$-unipotent fundamental groups. For $\mathbb{P}^1\setminus \{0,1,\infty\}$ and the complement of the origin in semi-stable elliptic curves of rank 0, we compute the local image of global Selmer schemes, which then allows us to numerically confirm our conjecture in a wide range of cases. △ Less

Submitted 2 April, 2017; v1 submitted 4 September, 2012; originally announced September 2012.

Comments: Improvements to the exposition and numerous minor corrections throughout

MSC Class: 14G05

Explicit Chabauty-Kim theory for the thrice punctured line in depth two

Authors: Ishai Dan-Cohen, Stefan Wewers

Abstract: Let $X= \mathbb{P}^1 \setminus \{0,1,\infty\}$, and let $S$ denote a finite set of prime numbers. In an article of 2005, Minhyong Kim gave a new proof of Siegel's theorem for $X$: the set $X(\mathbb{Z}[S^{-1}])$ of $S$-integral points of $X$ is finite. The proof relies on a `nonabelian' version of the classical Chabauty method. At its heart is a modular interpretation of unipotent $p$-adic Hodge t… ▽ More Let $X= \mathbb{P}^1 \setminus \{0,1,\infty\}$, and let $S$ denote a finite set of prime numbers. In an article of 2005, Minhyong Kim gave a new proof of Siegel's theorem for $X$: the set $X(\mathbb{Z}[S^{-1}])$ of $S$-integral points of $X$ is finite. The proof relies on a `nonabelian' version of the classical Chabauty method. At its heart is a modular interpretation of unipotent $p$-adic Hodge theory, given by a tower of morphisms $h_n$ between certain $\mathbb{Q}_p$-varieties. We set out to obtain a better understanding of $h_2$. Its mysterious piece is a polynomial in $2|S|$ variables. Our main theorem states that this polynomial is quadratic, and gives a procedure for writing its coefficients in terms of $p$-adic logarithms and dilogarithms. △ Less

Submitted 18 March, 2014; v1 submitted 3 September, 2012; originally announced September 2012.

Comments: The appendix has been removed and posted as a separate preprint. Some detail added to our sketch of the construction of the "unipotent p-adic Hodge morphism" $h_n$ in the introduction. Technical errors corrected in Sections 3 and 4. Minor corrections and improvements throughout

MSC Class: 11D45; 11G55; 14F42

Cyclic Extensions and the Local Lifting Problem

Authors: Andrew Obus, Stefan Wewers

Abstract: The local Oort conjecture states that, if G is cyclic and k is an algebraically closed field of characteristic p, then all G-extensions of k[[t]] should lift to characteristic zero. We prove a critical case of this conjecture. In particular, we show that the conjecture is always true when v_p(|G|) \leq 3, and is true for arbitrarily highly p-divisible cyclic groups G when a certain condition on th… ▽ More The local Oort conjecture states that, if G is cyclic and k is an algebraically closed field of characteristic p, then all G-extensions of k[[t]] should lift to characteristic zero. We prove a critical case of this conjecture. In particular, we show that the conjecture is always true when v_p(|G|) \leq 3, and is true for arbitrarily highly p-divisible cyclic groups G when a certain condition on the higher ramification filtration is satisfied. △ Less

Submitted 9 May, 2012; v1 submitted 22 March, 2012; originally announced March 2012.

Comments: Introduction significantly reorganized, some typos corrected. Now 49 pages

MSC Class: 14H37; 12F10 (Primary) 11G20; 12F15; 13B05; 13F35; 14G22; 14H30 (Secondary)

Journal ref: Ann. of Math., 180 (2014), pp. 233-284

Fiercely ramified cyclic extensions of p-adic fields with imperfect residue field

Authors: Stefan Wewers

Abstract: We study the ramification of fierce cyclic Galois extensions of a local field $K$ of characteristic zero with a one-dimensional residue field of characteristic $p>0$. Using Kato's theory of the refined Swan conductor, we associate to such an extension a ramification datum, consisting of a sequence of pairs $(δ_i,ω_i)$, where $δ_i$ is a positive rational number and $ω_i$ a differential form on the… ▽ More We study the ramification of fierce cyclic Galois extensions of a local field $K$ of characteristic zero with a one-dimensional residue field of characteristic $p>0$. Using Kato's theory of the refined Swan conductor, we associate to such an extension a ramification datum, consisting of a sequence of pairs $(δ_i,ω_i)$, where $δ_i$ is a positive rational number and $ω_i$ a differential form on the residue field of $K$. Our main result gives necessary and sufficient conditions on such sequences to occur as a ramification datum of a fierce cyclic extension of $K$. △ Less

Submitted 9 December, 2012; v1 submitted 19 April, 2011; originally announced April 2011.

Comments: 27 pages, revised version. Among other things, the referee has pointed out that Lemma 7.1 was incorrect. This has been corrected in the new version

MSC Class: 11S15; 11S31; 14F05; 19F05

Regularity of quotients by an automorphism of order $p$

Authors: Stefan Wewers

Abstract: Let $B$ be a regular local ring and $G\subset\Aut(B)$ a finite group of local automorphisms. Assume that $G$ is cyclic of prime order $p$, where $p$ is equal to the residue characteristic of $B$. We give conditions under which the ring of invariants $A=B^G$ is again regular. Let $B$ be a regular local ring and $G\subset\Aut(B)$ a finite group of local automorphisms. Assume that $G$ is cyclic of prime order $p$, where $p$ is equal to the residue characteristic of $B$. We give conditions under which the ring of invariants $A=B^G$ is again regular. △ Less

Submitted 5 January, 2010; originally announced January 2010.

Comments: 21 pages

MSC Class: 14L30; 13A50

Artin characters, Hurwitz trees and the lifting problem

Authors: Louis Hugo Brewis, Stefan Wewers

Abstract: We study finite groups of automorphisms of the $p$-adic open disk. In particular, we generalize results of Green, Matignon and Henrio from cyclic groups of order $p$ to arbitrary finite groups. As an application, we produce a counterexample to a question of Chinburg, Guralnick and Harbater, concerning the local lifting problem for generalized quaternion groups. We study finite groups of automorphisms of the $p$-adic open disk. In particular, we generalize results of Green, Matignon and Henrio from cyclic groups of order $p$ to arbitrary finite groups. As an application, we produce a counterexample to a question of Chinburg, Guralnick and Harbater, concerning the local lifting problem for generalized quaternion groups. △ Less

Submitted 2 December, 2008; v1 submitted 20 October, 2008; originally announced October 2008.

Comments: Remark 4.4 and Lemma 4.5 added

MSC Class: 14H37; 11G20; 14D15

Deformation data, Belyi maps, and the local lifting problem

Authors: Irene I. Bouw, Stefan Wewers, Leonardo Zapponi

Abstract: We prove existence and nonexistence results for certain differential forms in positive characteristic, called {\em good deformation data}. Some of these results are obtained by reduction modulo $p$ of Belyi maps. As an application, we solve the local lifting problem for groups with Sylow $p$-subgroup of order $p$. We prove existence and nonexistence results for certain differential forms in positive characteristic, called {\em good deformation data}. Some of these results are obtained by reduction modulo $p$ of Belyi maps. As an application, we solve the local lifting problem for groups with Sylow $p$-subgroup of order $p$. △ Less

Submitted 9 January, 2008; originally announced January 2008.

MSC Class: 11G20; 14D15

Swan conductors on the boundary of Lubin-Tate spaces

Authors: Stefan Wewers

Abstract: Lubin-Tate spaces of dimension one are finite etale covers of the non-archimedian open unit disk. We compute certain invariants which measure the ramification of this cover over the boundary of the disk. Lubin-Tate spaces of dimension one are finite etale covers of the non-archimedian open unit disk. We compute certain invariants which measure the ramification of this cover over the boundary of the disk. △ Less

Submitted 17 November, 2005; originally announced November 2005.

Comments: 28 pages

MSC Class: 14G35; 11G18; 14G22

Some remarks on open analytic curves over non-archimedian fields

Authors: Stefan Wewers

Abstract: We study open analytic curves over non-archimedian fields and their formal models. In particular, we give a criterion, in terms of etale cohomology, when such a formal model is (almost) semistable. We study open analytic curves over non-archimedian fields and their formal models. In particular, we give a criterion, in terms of etale cohomology, when such a formal model is (almost) semistable. △ Less

Submitted 19 September, 2005; originally announced September 2005.

Comments: 20 pages

MSC Class: 14H30; 14G22

Indigenous bundles with nilpotent $p$-curvature

Authors: Irene I. Bouw, Stefan Wewers

Abstract: We study indigenous bundles in characteristic p>0 with nilpotent p-curvature, and show that they correspond to so-called deformation data. Using this equivalence, we translate the existence problem for deformation data into the existence of polynomial solutions of certain differential equations with additional properties. As in application, we show that P^1 minus four points is hyperbolically or… ▽ More We study indigenous bundles in characteristic p>0 with nilpotent p-curvature, and show that they correspond to so-called deformation data. Using this equivalence, we translate the existence problem for deformation data into the existence of polynomial solutions of certain differential equations with additional properties. As in application, we show that P^1 minus four points is hyperbolically ordinary (in the sense of Mochizuki. We also give a concrete application to existence of deformation data with fixed local invariants. △ Less

Submitted 18 August, 2005; v1 submitted 12 May, 2005; originally announced May 2005.

Comments: revised version, 29 pages

MSC Class: 14H25; 14H60

Variation of parabolic cohomology and Poincare duality

Authors: Michael Dettweiler, Stefan Wewers

Abstract: We continue our study of the variation of parabolic cohomology (math.AG/0310139) and derive an exact formula for the underlying Poincare duality. As an illustration of our methods, we compute the monodromy of the Picard-Euler system and its invariant Hermitian form, reproving a classical theorem of Picard. We continue our study of the variation of parabolic cohomology (math.AG/0310139) and derive an exact formula for the underlying Poincare duality. As an illustration of our methods, we compute the monodromy of the Picard-Euler system and its invariant Hermitian form, reproving a classical theorem of Picard. △ Less

Submitted 5 November, 2004; originally announced November 2004.

Comments: 18 pages, 3 figures

MSC Class: 14D05; 32G20

Problems from the workshop on "Automorphisms of Curves" (Leiden, August, 2004)

Authors: I. Bouw, T. Chinburg, G. Cornelissen, C. Gasbarri, D. Glass, C. Lehr, M. Matignon, F. Oort, R. Pries, S. Wewers

Abstract: Contents: Rational functions with given monodromy on generic curves (I. Bouw & S. Wewers); Can deformation rings of group representations not be local complete intersections? (T. Chinburg); Lifting an automorphism group to finite characteristic (G. Cornelissen); Flat connections and representations of the fundamental group in characteristic p>0 (C. Gasbarri) Questions on p-torsion of hyperellipt… ▽ More Contents: Rational functions with given monodromy on generic curves (I. Bouw & S. Wewers); Can deformation rings of group representations not be local complete intersections? (T. Chinburg); Lifting an automorphism group to finite characteristic (G. Cornelissen); Flat connections and representations of the fundamental group in characteristic p>0 (C. Gasbarri) Questions on p-torsion of hyperelliptic curves (D. Glass & R. Pries); Automorphisms of curves and stable reduction (C. Lehr & M. Matignon); p-groups as automorphism groups of curves in characteristic p; Lifting Galois covers of smooth curves (M. Matignon); Abelian varieties isogenous to a Jacobian (F. Oort); Minimal maximal number of automorphisms of curves (F. Oort) △ Less

Submitted 3 November, 2004; originally announced November 2004.

Comments: 47 pages; edited by G. Cornelissen and F. Oort

MSC Class: 14H37

The local lifting problem for dihedral groups

Authors: Irene I. Bouw, Stefan Wewers

Abstract: Let $G=D_p$ be the dihedral group of order $2p$, where $p$ is an odd prime. Let $k$ an algebraically closed field of characteristic $p$. We show that any action of $G$ on the ring $k[[y]]$ can be lifted to an action on $R[[y]]$, where $R$ is some complete discrete valuation ring with residue field $k$ and fraction field of characteristic 0. Let $G=D_p$ be the dihedral group of order $2p$, where $p$ is an odd prime. Let $k$ an algebraically closed field of characteristic $p$. We show that any action of $G$ on the ring $k[[y]]$ can be lifted to an action on $R[[y]]$, where $R$ is some complete discrete valuation ring with residue field $k$ and fraction field of characteristic 0. △ Less

Submitted 27 September, 2004; v1 submitted 21 September, 2004; originally announced September 2004.

Comments: 28 pages

MSC Class: 14H37; 11G20; 14D15

Alternating groups as monodromy groups in positive characteristic

Authors: Irene I. Bouw, Stefan Wewers

Abstract: 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. 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. △ Less

Submitted 21 September, 2004; v1 submitted 26 February, 2004; originally announced February 2004.

Comments: 15 pages, revised version

MSC Class: 14H30

Stable reduction of three point covers

Authors: Stefan Wewers

Abstract: This note gives a survey on some results related to the stable reduction of three point covers, which were the topic of my talk at the {\em Journées Arithmetiques} 2003 in Graz. This note gives a survey on some results related to the stable reduction of three point covers, which were the topic of my talk at the {\em Journées Arithmetiques} 2003 in Graz. △ Less

Submitted 5 January, 2004; originally announced January 2004.

Comments: 13 pages, 1 figure

MSC Class: 14H30; 11G20

Variation of local systems and parabolic cohomology

Authors: Michael Dettweiler, Stefan Wewers

Abstract: Given a family of local systems on a punctured Riemann sphere, with moving singularities, its first parabolic cohomology is a local system on the base space. We study this situation from different points of view. For instance, we derive universal formulas for the monodromy of the resulting local system. We use a particular example of our construction to prove that the simple groups… ▽ More Given a family of local systems on a punctured Riemann sphere, with moving singularities, its first parabolic cohomology is a local system on the base space. We study this situation from different points of view. For instance, we derive universal formulas for the monodromy of the resulting local system. We use a particular example of our construction to prove that the simple groups $\PSL_2(p^2)$ admit regular realizations over the field $\QQ(t)$ for primes $p\not\equiv 1,4,16\mod{21}$. Finally, we compute the monodromy of the Euler-Picard equation, reproving a classical result of Picard. △ Less

Submitted 5 January, 2004; v1 submitted 9 October, 2003; originally announced October 2003.

Comments: 28 pages, 1 figure

MSC Class: 14F05; 14H30; 12F12

Formal deformation of curves with group scheme action

Authors: Stefan Wewers

Abstract: We study equivariant deformations of singular curves with an action of a finite flat group scheme, using a simplified version of Illusie's equivariant cotangent complex. We apply these methods in a special case which is relevant for the study of the stable reduction of three point covers. We study equivariant deformations of singular curves with an action of a finite flat group scheme, using a simplified version of Illusie's equivariant cotangent complex. We apply these methods in a special case which is relevant for the study of the stable reduction of three point covers. △ Less

Submitted 28 September, 2004; v1 submitted 10 December, 2002; originally announced December 2002.

Comments: 44 pages, revised version

MSC Class: 14H30; 11G20

Stable reduction of modular curves

Authors: Irene Ingeborg Bouw, Stefan Wewers

Abstract: We determine the stable reduction at $p$ of all three point covers of the projective line with Galois group ${\rm SL}_2(p)$. As a special case, we recover the results of Deligne and Rapoport on the reduction of the modular curves $X_0(p)$ and $X_1(p)$. Our method does not use the fact that modular curves are moduli spaces. Instead, we rely on results of Raynaud and the authors which describe the… ▽ More We determine the stable reduction at $p$ of all three point covers of the projective line with Galois group ${\rm SL}_2(p)$. As a special case, we recover the results of Deligne and Rapoport on the reduction of the modular curves $X_0(p)$ and $X_1(p)$. Our method does not use the fact that modular curves are moduli spaces. Instead, we rely on results of Raynaud and the authors which describe the stable reduction of three point covers whose Galois group is strictly divisible by $p$. △ Less

Submitted 23 October, 2002; originally announced October 2002.

Comments: 18 pages, 2 figures

MSC Class: 14H30; 11G20; 14G35

Three point covers with bad reduction

Authors: Stefan Wewers

Abstract: We study Galois covers of the projective line branched at three points with bad reduction to characteristic p, under the condition that p exactly divides the order of the Galois group. As an application of our results, we prove that the field of moduli of such a cover is at most tamely ramified at p. We study Galois covers of the projective line branched at three points with bad reduction to characteristic p, under the condition that p exactly divides the order of the Galois group. As an application of our results, we prove that the field of moduli of such a cover is at most tamely ramified at p. △ Less

Submitted 10 January, 2003; v1 submitted 2 May, 2002; originally announced May 2002.

Comments: 37 pages

MSC Class: 14H30

Field of moduli and field of definition of Galois covers

Authors: Stefan Wewers

Abstract: In this paper we investigate the cohomological obstruction for the field of moduli of a $G$-cover to be a field of definition, in the case of local fields and covers with tame admissible reduction. This applies in particular to $p$-adic fields where $p$ does not divide the order of the group $G$. We give examples of $G$-covers with field of moduli $\QQ_p$ that cannot be defined over $\QQ_p$, for… ▽ More In this paper we investigate the cohomological obstruction for the field of moduli of a $G$-cover to be a field of definition, in the case of local fields and covers with tame admissible reduction. This applies in particular to $p$-adic fields where $p$ does not divide the order of the group $G$. We give examples of $G$-covers with field of moduli $\QQ_p$ that cannot be defined over $\QQ_p$, for all primes $p>5$. △ Less

Submitted 1 August, 2001; originally announced August 2001.

Comments: 25 pages, 2 figures; to appear in "Arithmetic fundamental groups and Noncommutative algebra"

MSC Class: 14H30; 14G32

Reduction and lifting of special metacyclic covers

Authors: Stefan Wewers

Abstract: Special covers are metacyclic covers of the projective line, with Galois group of order pm, which have a specific type of bad reduction to characteristic p. Such covers arise in the study of the arithmetic of Galois covers of the projective line with three branch points. Our results provide a classification of all special covers in terms of certain lifting data in characteristic p. Special covers are metacyclic covers of the projective line, with Galois group of order pm, which have a specific type of bad reduction to characteristic p. Such covers arise in the study of the arithmetic of Galois covers of the projective line with three branch points. Our results provide a classification of all special covers in terms of certain lifting data in characteristic p. △ Less

Submitted 7 May, 2001; originally announced May 2001.

Comments: 22 pages, 1 figure

MSC Class: 14H30; 14G32

Reduction of covers and Hurwitz spaces

Authors: Irene I. Bouw, Stefan Wewers

Abstract: In this paper we study the reduction of Galois covers of curves, from characteristic 0 to characteristic p. The starting point is a is a recent result of Raynaud which gives a criterion for good reduction for covers of the projective line branch at 3 points. Under some condition on the Galois group, we extend this criterion to the case of 4 branch points. Moreover, we describe the reduction of t… ▽ More In this paper we study the reduction of Galois covers of curves, from characteristic 0 to characteristic p. The starting point is a is a recent result of Raynaud which gives a criterion for good reduction for covers of the projective line branch at 3 points. Under some condition on the Galois group, we extend this criterion to the case of 4 branch points. Moreover, we describe the reduction of the Hurwitz space of such covers and compute the number of covers with good reduction. △ Less

Submitted 11 May, 2000; originally announced May 2000.

Comments: 43 pages, 2 figures

MSC Class: 14H30;14G32