Zero-sum problems for abelian groups and covers of the integers by residue classes, are two different active topics initiated by P. Erdos more than 40 years ago and investigated by many researchers separately since then. In an earlier announcement [Electron. Res. Announc. Amer. Math. Soc. 9(2003), 51-60], the author claimed some surprising connections among these seemingly unrelated fascinating areas. In this paper we establish further connections between zero-sum problems for abelian p-groups and covers of the integers. For example, we extend the famous Erdos-Ginzburg-Ziv theorem in the following way: If {a_s(mod n_s)}_{s=1}^k covers each integer either exactly 2q-1 times or exactly 2q times where q is a prime power, then for any c_1,...,c_k in Z/qZ there exists a subset I of {1,...,k} such that sum_{s in I}1/n_s=q and sum_{s in I}c_s=0. Our main theorem in this paper unifies many results in the two realms and also implies an extension of the Alon-Friedland-Kalai result on regular subgraphs.
Given an abelian surface $A$, defined over a discrete valuation field and having good reduction, does the attached Kummer surface $\mathrm{Km}(A)$ also have good reduction? In this paper we give an affirmative answer in the extreme case, that is, when the abelian surface has supersingular reduction in characteristic $2$.
We use knowledge of local fields to adapt Jonathan Lubin and Michael Rosen's proof of Mazur's Proposition 4.39. This changes the result about abelian varieties from only working over local fields with a finite residue field to working with local fields with an arbitrary perfect residue field of positive characteristic. We then briefly discuss the Local Class Field Theory implications of such information
Let $K$ be a complete, discretely valued field with finite residue field and $G_K$ its absolute Galois group. The subject of this note is the study of the set of positive integers $d$ for which there exists an absolutely irreducible $\ell$-adic representation of $G_K$ of dimension $d$ with rational traces on inertia. Our main result is that non-Sophie Germain primes are not in this set when the residue characteristic of $K$ is $> 3$. The result stated in the title is a special case.
Eisenstein classes of Siegel varieties are motivic cohomology classes defined as pull-backs by torsion sections of the polylogarithm prosheaf on the universal abelian scheme. By reduction to the Hilbert-Blumenthal case, we prove that the Betti realization of these classes on Siegel varieties of arbitrary genus have non-trivial residue on zero dimensional strata of the Baily-Borel compactification. A direct corollary is the non-vanishing of a higher regulator map.
Let {a_s(mod n_s)}_{s=1}^k (k>1) be a finite system of residue classes with the moduli n_1,...,n_k distinct. By means of algebraic integers we show that the range of the covering function w(x)=|{1\le s\le k: x=a_s (mod n_s)}| is not contained in any residue class with modulus greater one. In particular, the values of w(x) cannot have the same parity.
For every finite abelian group $G$, there are positive integers $n$ and $d$ such that $G$ is isomorphic to the multiplicative group of $d$-th powers of reduced residues modulo $n$.
This is an introduction to the author theory of cyclic p-extensions of an absolutely unramified complete discrete valuation field K with arbitrary residue field of characteristic p. In this theory a homomorphism is constructed from the p-part of the group of characters of K to Witt vectors over its residue field.
Let $τ_1^{(r)}$, $τ_2^{(r)}$ be two genuine cuspidal automorphic representations on $r$-fold covers of the adelic points of the general linear groups $GL_{n_1}$, $GL_{n_2}$, resp., and let $E(g,s)$ be the associated Eisenstein series on an $r$-fold cover of $GL_{n_1+n_2}$. Then the value or residue at any point $s=s_0$ of $E(g,s)$ is an automorphic form, and generates an automorphic representation. In this note we show that if $n_1\neq n_2$ these automorphic representations (when not identically zero) are generic, while if $n_1=n_2:=n$ they are generic except for residues at $s=\frac{n\pm1}{2n…
If T is an algebraic torus defined over a discretely valued field K with perfect residue field k, we relate the K-cohomology of T to the k-cohomology of certain objects associated to T. When k has cohomological dimension <= 1, our results have a particularly simple form and yield, more generally, isomorphisms between the abelian K-cohomology of a reductive group G over K and the k-cohomology of a certain quotient of the algebraic fundamental group of G.
For integers a and n>0, let a(n) denote the residue class {x\in Z: x=a (mod n)}. Let A be a collection {a_s(n_s)}_{s=1}^k of finitely many residue classes such that A covers all the integers at least m times but {a_s(n_s)}_{s=1}^{k-1} does not. We show that if n_k is a period of the covering function w_A(x)=|{1\le s\le k: x\in a_s(n_s)}| then for any r=0,...,n_k-1 there are at least m integers in the form $\sum_{s\in I}1/n_s-r/n_k$ with I contained in {1,...,k-1}.
In this paper we establish connections between covers of $\mathbb Z$ by residue classes and subset sums in a field. Suppose that $A_0=\{a_s(n_s)\}_{s=0}^k$ covers each integer at least $p$ times with the residue class $a_0(n_0)=a_0+n_0\mathbb Z$ irredundant, where $p$ is a prime not dividing any of $n_1,\ldots,n_k$. Let $m_1,\ldots,m_k\in\mathbb Z$ be relatively prime to $n_1,\ldots,n_k$ respectively. For any $c,c_1,\ldots,c_k\in\mathbb Z/p\mathbb Z$ with $c_1\cdots c_k\not=0$, we show that the set $$\bigg\{\bigg\{\sum_{s\in I}\frac{m_s}{n_s}\bigg\}:\, I\subseteq\{1,\ldots,k\} \ \mbox{and}\ \s…
Initially motivated by the relations between Anabelian Geometry and Artin's L-functions of the associated Galois-representations, here we study the list of zeta-functions of genus two abelian coverings of elliptic curves over finite fields. Our goal is to provide a complete description of such a list.
We introduce a new class of exponentials of Artin-Hasse type, called $\boldsymbolπ$-exponentials. These exponentials depends on the choice of a generator $\boldsymbolπ$ of the Tate module of a Lubin-Tate group $\mathfrak{G}$ over $\mathbb{Z}_p$. They arise naturally as solutions of solvable differential modules over the Robba ring. If $\mathfrak{G}$ is isomorphic to $\hat{\mathbb{G}}_m$ over $\mathbb{Z}_p$, we develop methods to test their over-convergence, and get in this way a stronger version of the Frobenius structure theorem for differential equations. We define a natural transformation o…
We prove the local mixing theorem for geodesic flows on abelian covers finite volume hyperbolic surfaces with cusps, which is a continuation of the work of Oh-Pan. We also describe applications to counting problems and the prime geodesic theorem.
A smooth geometrically connected curve over the finite field $\mathbb{F}_q$ with gonality $γ$ has at most ${γ(q+1)}$ rational points. The first author and Grantham conjectured that there exist curves of every sufficiently large genus with gonality $γ$ that achieve this bound. In this paper, we show that this bound can be achieved for an infinite sequence of genera using abelian covers of the projective line. We also argue that abelian covers will not suffice to prove the full conjecture.
For an abelian variety $A$ over an algebraically closed non-archimedean field $K$ of residue characteristic $p$, we show that the isomorphism class of the pro-étale perfectoid cover $\widetilde A=\varprojlim_{[p]}A$ is locally constant as $A$ varies $p$-adically in the moduli space. This gives rise to a pro-étale uniformisation of abelian varieties as diamonds \[A^\diamond=\widetilde A/T_pA\] that works uniformly for all $A$ without any assumptions on the reduction of $A$. More generally, we determine all morphisms between pro-finite-étale covers of abeloid varieties. For example, over $\mathb…
We relate a part of the abelian etale fundamental group of curves over local fields to the component group of the Neron model of the jacobian. We apply the result to the modular curve X_0(p)/Q_p to show that the unramified abelian covering X_1(p) over X_0(p) (Shimura covering) uses up all the possible ramification over the special fiber of X_0(p).
We determine in this paper the distribution of the number of points on the covers of $\mathbb{P}^1(\mathbb{F}_q)$ such that $K(C)$ is a Galois extension and $\mbox{Gal}(K(C)/K)$ is abelian when $q$ is fixed and the genus, $g$, tends to infinity. This generalizes the work of Kurlberg and Rudnick and Bucur, David, Feigon and Lalin who considered different families of curves over $\mathbb{F}_q$. In all cases, the distribution is given by a sum of $q+1$ random variables.
For a function field $k$ over a finite field with $\mathbb{F}_q$ as the field of constant, and a finite abelian group $G$ whose exponent is divisible by $q-1$, we study the distribution of zeta zeroes for a random $G$-extension of $k$, ordered by the degree of conductors. We prove that when the degree goes to infinity, the number of zeta zeroes lying in a prescribed arc is uniformly distributed and the variance follows a Gaussian distribution.
Using class field theory one associates to each curve C over a finite field, and each subgroup G of its divisor class group, unramified abelian covers of C whose genus is determined by the index of G. By listing class groups of curves of small genus one may get examples of curves with many points; we do this for all curves of genus 2 over the fields of cardinality 5,7,9,11,13 and 16, giving new entries for the tables of curves with many points (www.manYPoints.org).
Abelian covers of hyperbolic $3$-manifolds are ubiquitous. We prove the local mixing theorem of the frame flow for abelian covers of closed hyperbolic $3$-manifolds. We obtain a classification theorem for measures invariant under the horospherical subgroup. We also describe applications to the prime geodesic theorem as well as to other counting and equidistribution problems. Our results are proved for any abelian cover of a homogeneous space $Γ_0\backslash G$ where $G$ is a rank one simple Lie group and $Γ_0<G$ is a convex cocompact Zariski dense subgroup.
In our previous study of duality for complete discrete valuation fields with perfect residue field, we treated coefficients in finite flat group schemes. In this paper, we treat abelian varieties. This in particular implies Grothendieck's conjecture on the perfectness of his pairing between the Neron component groups of an abelian variety and its dual. The point is that our formulation is well-suited with Galois descent. From the known case of semistable abelian varieties, we deduce the perfectness in full generality. We also treat coefficients in tori and, more generally, 1-motives.
The full automorphism group of a certain elementary abelian $p$-cover of the Hermitian curve in characteristic $p>0$ is determined. It is remarkable that the order of Sylow $p$-groups of the automorphism group is close to Nakajima's bound in terms of the $p$-rank. Weierstrass points, Galois points, Frobenius nonclassicality, and arc property are also investigated.
An old question of Erdos asks if there exists, for each number N, a finite set S of integers greater than N and residue classes r(n) mod n for n in S whose union is all the integers. We prove that if $\sum_{n\in S} 1/n$ is bounded for such a covering of the integers, then the least member of S is also bounded, thus confirming a conjecture of Erdos and Selfridge. We also prove a conjecture of Erdos and Graham, that, for each fixed number K>1, the complement in the integers of any union of residue classes r(n) mod n, for distinct n in (N,KN], has density at least d_K for N sufficiently large. He…
For any finite abelian group G, we study the moduli space of abelian $G$-covers of elliptic curves, in particular identifying the irreducible components of the moduli space. We prove that, in the totally ramified case, the moduli space has trivial rational Picard group, and it is birational to the moduli space M_{1,n}, where n is the number of branch points. In the particular case of moduli of bielliptic curves, we also prove that the boundary divisors are a basis of the rational Picard group of the admissible covers compactification of the moduli space. Our methods are entirely algebro-geomet…
Deligne's weight-monodromy conjecture gives control over the poles of local factors of L-functions of varieties at places of bad reduction. His proof in characteristic p was a step in his proof of the generalized Weil conjectures. Scholze developed the theory of perfectoid spaces to transfer Deligne's proof to characteristic 0, proving the conjecture for complete intersections in toric varieties. Building on Scholze's techniques, we prove the weight-monodromy conjecture for complete intersections in abelian varieties.
In this note we investigate the problem of existence of a torsor structure for Galois covers of (formal) schemes over a complete discrete valuation ring of residue characteristic $p>0$ in the case of abelian Galois groups of type (p,p,...,p).
We prove new results on the distribution of rational points on ramified covers of abelian varieties over finitely generated fields $k$ of characteristic zero. For example, given a ramified cover $π: X \to A$, where $A$ is an abelian variety over $k$ with a dense set of $k$-rational points, we prove that there is a finite-index coset $C \subset A(k)$ such that $π(X(k))$ is disjoint from $C$. Our results do not seem to be in the range of other methods available at present; they confirm predictions coming from Lang's conjectures on rational points, and also go in the direction of an issue raised …
We generalize the methods of Moy-Prasad, in order to define and study the genuine depth zero representations of some nonlinear covers of reductive groups over $p$-adic local fields. In particular, we construct all depth zero supercuspidal representations of the metaplectic group $Mp_{2n}$ over a $p$-adic field of odd residue characteristic.
Let G be any abelian group and {a_sG_s}_{s=1}^k be a finite system of cosets of subgroups G_1,...,G_k. We show that if {a_sG_s}_{s=1}^k covers all the elements of G at least m times with the coset a_tG_t irredundant then [G:G_t]\le 2^{k-m} and furthermore k\ge m+f([G:G_t]), where f(\prod_{i=1}^r p_i^{alpha_i})=\sum_{i=1}^r alpha_i(p_i-1) if p_1,...,p_r are distinct primes and alpha_1,...,alpha_r are nonnegative integers. This extends Mycielski's conjecture in a new way and implies a conjecture of Gao and Geroldinger. Our new method involves algebraic number theory and characters of abelian gro…
