We construct explicit local systems on the affine line in characteristic $p>2$, whose geometric monodromy groups are the finite symplectic groups $Sp_{2n}(q)$ for all $n \ge 2$, and others whose geometric monodromy groups are the special unitary groups $SU_n(q)$ for all odd $n \ge 3$, and $q$ any power of $p$, in their total Weil representations. One principal merit of these local systems is that their associated trace functions are one-parameter families of exponential sums of a very simple, i.e., easy to remember, form. We also exhibit hypergeometric sheaves on $G_m$, whose geometric monodromy groups are the finite symplectic groups $Sp_{2n}(q)$ for any $n \ge 2$, and others whose geometric monodromy groups are the finite general unitary groups $GU_n(q)$ for any odd $n \geq 3$.
We obtain new bounds on short Weil sums over small multiplicative subgroups of prime finite fields which remain nontrivial in the range the classical Weil bound is already trivial. The method we use is a blend of techniques coming from algebraic geometry and additive combinatorics.
It is well known(cf. Weil, Gérardin's works) that there are two different Weil representations of a symplectic group over an odd finite field. By a twisted action, we show that one can reorganize them as a representation of a related projective symplectic similitude group. We also discuss the even field case by following Genestier-Lysenko and Gurevich-Hadani's works on geometric Weil representations in characteristic two. As a result, we approach some of their results from the lattice model, which is inspired by MVW, Prasad and Takeda's works.
Let $F$ be a finite field, $μ$ be a fixed additive character and $s$ be an integer coprime to $|F^\times|$. For any $a\in F$, the corresponding Weil sum is defined to be $W_{F,s}(a)=\displaystyle\sum_{x \in F} μ(x^s-ax)$. The Weil spectrum counts distinct values of the Weil sum as $a$ runs through the invertible elements in the finite field. The value of these sums and the size of the Weil spectrum are of particular interest, as they link problems in coding and information theory to other areas of math such as number theory and arithmetic geometry. In the setting of Niho exponents, we examine …
The Weil sum $W_{K,d}(a)=\sum_{x \in K} ψ(x^d + a x)$ where $K$ is a finite field, $ψ$ is an additive character of $K$, $d$ is coprime to $|K^\times|$, and $a \in K^\times$ arises often in number-theoretic calculations, and in applications to finite geometry, cryptography, digital sequence design, and coding theory. Researchers are especially interested in the case where $W_{K,d}(a)$ assumes three distinct values as $a$ runs through $K^\times$. A Galois-theoretic approach, combined with $p$-divisibility results on Gauss sums, is used here to prove a variety of new results that constrain which …
We show that the Weil representation of the symplectic group Sp(2n,F), where F is a non-archimedian local field, can be realized over the field obtained from the rationals by adjoining the square roots of p and -p, where p is the residue characteristic of F; p is assumed to be odd.
We present a survey on Weil sums in which an additive character of a finite field $F$ is applied to a binomial whose individual terms (monomials) become permutations of $F$ when regarded as functions. Then we indicate how these Weil sums are used in applications, especially how they characterize the nonlinearity of power permutations and the correlation of linear recursive sequences over finite fields. In these applications, one is interested in the spectrum of Weil sum values that are obtained as the coefficients in the binomial are varied. We review the basic properties of such spectra, and …
In this paper we characterize the $c$-Boomerang Connectivity Table (BCT), $c\neq 0$ (thus, including the classical $c=1$ case), for all monomial function $x^d$ in terms of characters and Weil sums on the finite field~$\F_{p^n}$. We further simplify these expressions for the Gold functions $x^{p^k+1}$ for all $1\leq k<n$, and $p$ odd. It is the first such attempt for a complete description for the classical BCT and its relative $c$-BCT, for all parameters involved.
We investigate the $p$-adic valuation of Weil sums of the form $W_{F,d}(a)=\sum_{x \in F} ψ(x^d -a x)$, where $F$ is a finite field of characteristic $p$, $ψ$ is the canonical additive character of $F$, the exponent $d$ is relatively prime to $|F^\times|$, and $a$ is an element of $F$. Such sums often arise in arithmetical calculations and also have applications in information theory. For each $F$ and $d$ one would like to know $V_{F,d}$, the minimum $p$-adic valuation of $W_{F,d}(a)$ as $a$ runs through the elements of $F$. We exclude exponents $d$ that are congruent to a power of $p$ modulo …
Let Sp_V(F) be the group of isometries of a symplectic vector space V over a finite field F of odd cardinality. The group Sp_V(F) possesses distinguished representations--- the Weil representations. We know that they are compatible with base change in the sense of Shintani for a finite extension F'/F. The result is also true for the group of similitudes of V.
The Jacobi group is the semi-direct product of the symplectic group and the Heisenberg group. The Jacobi group is an important object in the framework of quantum mechanics, geometric quantization and optics. In this paper, we study the Weil representations of the Jacobi group and their properties. We also provide their applications to the theory of automorphic forms on the Jacobi group and representation theory of the Jacobi group.
Let F be a finite field of odd cardinality, and let G= GL2(F). The group G \times G \times G acts on F^2 \otimes F^2 \otimes F^2 via symplectic similitudes, and has a natural Weil representation. Answering a question rasised by V. Drinfeld, we decompose that representation into irreducibles. We also decompose the analogous representation of GL2(A), where A is a cubic algebra over F.
In this paper, we define the concept of Jacobi forms of half-integral weight using Takase's automorohic factor of weight 1/2 for a two-fold covering group of the symplectic group on the Siegel upper half plane and find covariant maps for the Schroedinger-Weil representation. Using these covariant maps, we construct Jacobi forms of half-integral weight with respect to an arithmetic subgroup of the Jacobi group.
Given F a locally compact, non-discrete, non-archimedean field of characteristic different from 2 and R an integral domain such that a non-trivial smooth F-character with values in the multiplicative group of R exists, we construct the (reduced) metaplectic group attached to R. We show that it is in most cases a double cover of the symplectic group over F. Finally we define a faithful infinite dimensional R-representation of the metaplectic group analogue to the Weil representation in the complex case.
For an abelian number field K containing a primitive p-th root of unity (p an odd prime) and satisfying certain technical conditions, we parametrize the Z_p[G(K/Q)]-annihilators of the "minus" part A_K^- of the p-class group by means of modules of Jacobi sums. Using a reflection theorem and Bloch-Kato's reciprocity law, we then determine the Fitting ideal of the "plus" part A_K^+ in terms of "twisted" Gauss sums.
We consider Weil sums of binomials of the form $W_{F,d}(a)=\sum_{x \in F} ψ(x^d-a x)$, where $F$ is a finite field, $ψ\colon F\to {\mathbb C}$ is the canonical additive character, $\gcd(d,|F^\times|)=1$, and $a \in F^\times$. If we fix $F$ and $d$ and examine the values of $W_{F,d}(a)$ as $a$ runs through $F^\times$, we always obtain at least three distinct values unless $d$ is degenerate (a power of the characteristic of $F$ modulo $|F^\times|$). Choices of $F$ and $d$ for which we obtain only three values are quite rare and desirable in a wide variety of applications. We show that if $F$ is …
Consider the Weil sum $W_{F,d}(u)=\sum_{x \in F} ψ(x^d+u x)$, where $F$ is a finite field of characteristic $p$, $ψ$ is the canonical additive character of $F$, $d$ is coprime to $|F^*|$, and $u \in F^*$. We say that $W_{F,d}(u)$ is three-valued when it assumes precisely three distinct values as $u$ runs through $F^*$: this is the minimum number of distinct values in the nondegenerate case, and three-valued $W_{F,d}$ are rare and desirable. When $W_{F,d}$ is three-valued, we give a lower bound on the $p$-adic valuation of the values. This enables us to prove the characteristic $3$ case of a 19…
The Hasse-Weil bound is a deep result in mathematics and has found wide applications in mathematics, theoretical computer science, information theory etc. In general, the bound is tight and cannot be improved. However, for some special families of curves the bound could be improved substantially. In this paper, we focus on the Hasse-Weil bound for the curve defined by $y^p-y=f(x)$ over the finite field $\F_q$, where $p$ is the characteristic of $\F_q$. Recently, Kaufman and Lovett \cite[FOCS2011]{KL11} showed that the Hasse-Weil bound can be improved for this family of curves with $f(x)=g(x)+h…
We compute the second moment of spinor $L$-functions at central points of Siegel modular forms on congruence subgroups of large prime level $N$ and give applications to non-vanishing.
The classical theta correspondence establishes a relationship between automorphic representations on special orthogonal groups and automorphic representations on symplectic groups or their double covers. This correspondence is achieved by using as integral kernel a theta series on the metaplectic double cover of a symplectic group that is constructed from the Weil representation. There is also an analogous local correspondence. In this work we present an extension of the classical theta correspondence to higher degree metaplectic covers of symplectic and special orthogonal groups. The key issu…
In this paper, we construct two ternary linear codes associated with the symplectic groups Sp(2,q) and Sp(4,q). Here q is a power of three. Then we obtain recursive formulas for the power moments of Kloosterman sums with square arguments and for the even power moments of those in terms of the frequencies of weights in the codes. This is done via Pless power moment identity and by utilizing the explicit expressions of "Gauss sums" for the symplectic groups Sp(2n,q).
The classical theta correspondence, based on the Weil representation, allows one to lift automorphic representations on symplectic groups or their double covers to automorphic representations on special orthogonal groups. It is of interest to vary the orthogonal group and describe the behavior in this theta tower (the Rallis tower). In prior work, the authors obtained an extension of the classical theta correspondence to higher degree metaplectic covers of symplectic and special orthogonal groups that is based on the tensor product of the Weil representation with another small representation. …
Quadratic Gauss sums over $\mathbb{Z}^n/c\mathbb{Z}^n$: explicit formulas, a duality theorem, and applications to Weil representations and cubic hypersurfaces over $\mathbb{F}_p$
本文研究二次Gauss和 over Z^n/cZ^n的显式公式，推导对偶定理，并应用于Weil表示、二次同余方程和立方超曲面的解数计算。
Selfdual representations of any group fall into two classes when they are irreducible: those which carry a symmetric bilinear form, and the others which carry an alternating bilinear form. The Langlands correspondence, which matches the irreducible representations σof the Weil group of a local field k of dimension n with the irreducible representations πof the invertible elements of a division algebra D over k of index n, takes selfdual representations to selfdual representations. In this paper we use global methods to study how the Langlands correspondence behaves relative to this distinction…
In [arXiv:1504.07804], Keating, Rodgers, Roditty-Gershon and Rudnick established relationships of the mean-square of sums of the divisor function $d_k(f)$ over short intervals and over arithmetic progressions for the function field $\mathbb F_q[T]$ to certain integrals over the ensemble of unitary matrices. We consider similar problems leading to distributions over the ensemble of symplectic matrices. We also consider analogous questions involving convolutions of the von Mangoldt function.
Building upon the observation that the newly defined~\cite{EFRST20} concept of $c$-differential uniformity is not invariant under EA or CCZ-equivalence~\cite{SPRS20}, we showed in~\cite{SG20} that adding some appropriate linearized monomials increases the $c$-differential uniformity of the inverse function, significantly, for some~$c$. We continue that investigation here. First, by analyzing the involved equations, we find bounds for the uniformity of the Gold function perturbed by a single monomial, exhibiting the discrepancy we previously observed on the inverse function. Secondly, to treat …
In this paper, we construct two infinite families of binary linear codes associated with double cosets with respect to certain maximal parabolic subgroup of the symplectic group Sp(2n,q) Here q is a power of two. Then we obtain an infinite family of recursive formulas for the power moments of Kloosterman sums and those of 2-dimensional Kloosterman sums in terms of the frequencies of weights in the codes. This is done via Pless power moment identity and by utilizing the explicit expressions of exponential sums over those double cosets related to the evaluations of "Gauss sums" for the symplecti…
We give an asymptotic for the number of prime solutions to $Q(x_1,\dots, x_8) = N$, subject to a mild non-degeneracy condition on the homogeneous quadratic form $Q$. The argument initially proceeds via the circle method, but this does not suffice by itself. To obtain a nontrivial bound on certain averages of exponential sums, we interpret these sums as matrix coefficients for the Weil representation of the symplectic group $\operatorname{Sp}_8(\mathbf{Z}/q\mathbf{Z})$. Averages of such matrix coefficients are then bounded using an amplification argument and a convergence result for convolution…
For the generalized Dedekind sums s_{ij}(p,q) defined in association with the x^{i}y^{j}-coefficient of the Todd power series of the lattice cone in R^2 generated by (1,0) and (q,p), we associate an exponential sum. We obtain this exponential sum using the cocycle property of the Todd series of 2d cones and the nonsingular cone decomposition along with the continued fraction of q/p. Its Weil bound is given for the modulus q, applying the purity theorem of the cohomology of the related l-adic sheaf due to Denef and Loeser. The Weil type bound of Denef and Loeser fulfills the Weyl's equidistribu…
In this paper we construct a new variant of the Weil representation, associated with a symplectic vector space V defined over a finite field of characteristic two. Our variant is a representation of a bigger group than that of Weil. In the course, we develop the formalism of canonical vector spaces, which enables us to realize the bigger symmetry group and the representation in a transparent manner.
The Weil representation of the symplectic group associated to a finite abelian group of odd order is shown to have a multiplicity-free decomposition. When the abelian group is p-primary, the irreducible representations occurring in the Weil representation are parametrized by a partially ordered set which is independent of p. As p varies, the dimension of the irreducible representation corresponding to each parameter is shown to be a polynomial in p which is calculated explicitly. The commuting algebra of the Weil representation has a basis indexed by another partially ordered set which is inde…
The name "K3 surfaces" was coined by A. Weil in 1957 when he formulated a research programme for these surfaces and their moduli. Since then, irreducible holomorphic symplectic manifolds have been introduced as a higher dimensional analogue of K3 surfaces. In this paper we present a review of this theory starting from the definition of K3 surfaces and going as far as the global Torelli theorem for irreducible holomorphic symplectic manifolds as recently proved by M. Verbitsky. For many years the last open question of Weil's programme was that of the geometric type of the moduli spaces of polar…
We provide an index bound for character sums of polynomials over finite fields. This improves the Weil bound for high degree polynomials with small indices, as well as polynomials with large indices that are generated by cyclotomic mappings of small indices. As an application, we also give some general bounds for numbers of solutions of some Artin-Schreier equations and mininum weights of some cyclic codes.
We prove some improvements of the classical Weil bound for one variable additive and multiplicative character sums associated to a polynomial over a finite field $k=\Fq$ for two classes of polynomials which are invariant under a large abelian group of automorphisms of the affine line $\AAA^1_k$: those invariant under translation by elements of $k$ and those invariant under homotheties with ratios in a large subgroup of the multiplicative group of $k$. In both cases, we are able to improve the bound by a factor of $\sqrt{q}$ over an extension of $k$ of cardinality sufficiently large compared to…
In 1991, Baker and Harman proved, under the assumption of the generalized Riemann hypothesis, that $\max_{ θ\in [0,1) }\left|\sum_{ n \leq x } μ(n) e(n θ) \right| \ll_εx^{3/4 + ε}$. The purpose of this note is to deduce an analogous bound in the context of polynomials over a finite field using Weil's Riemann Hypothesis for curves over a finite field. Our approach is based on the work of Hayes who studied exponential sums over irreducible polynomials.
There are classical congruences between the class number of an imaginary quadratic field and a Bernoulli number or an Euler number. Under the BSD conjecture, Onishi obtained an elliptic generalization of these congruences, which gives congruences between the order of the Tate-Shafarevich group of certain elliptic curves with CM by the Gauss integers ring and Mordell-Weil rank 0, and a coefficient of power series expansion of an elliptic function associated to Gauss integers ring. In this paper, we provide Onishi's type congruences for the Eisenstein integers case.
We prove some general estimates for exponential sums over subsets of finite fields which are definable in the language of rings. This generalizes both the classical exponential sum estimates over varieties over finite fields due to Weil, Deligne and others, and the result of Chatzidakis, van den Dries and Macintyre concerning the number of points of those definable sets. As a first application, there is no formula in the language of rings that defines for infinitely many primes an ``interval'' in Z/pZ that is neither bounded nor with bounded complement.
Consider a quartic $q$-Weil polynomial $f$. Motivated by equidistribution considerations we define, for each prime $\ell$, a local factor which measures the relative frequency with which $f\bmod \ell$ occurs as the characteristic polynomial of a symplectic similitude over $\mathbb{F}_\ell$. For a certain class of polynomials, we show that the resulting infinite product calculates the number of principally polarized abelian surfaces over $\mathbb{F}_q$ with Weil polynomial $f$.
We generalize the Cohen-Lenstra heuristics over function fields to étale group schemes $G$ (with the classical case of abelian groups corresponding to constant group schemes). By using the results of Ellenberg-Venkatesh-Westerland, we make progress towards the proof of these heuristics. Moreover, by keeping track of the image of the Weil-pairing as an element of $\wedge^2G(1)$, we formulate more refined heuristics which nicely explain the deviation from the usual Cohen-Lenstra heuristics for abelian $\ell$-groups in cases where $\ell\mid q-1$; the nature of this failure was suggested already i…
We use the Weil bound of multiplicative character sums together with some recent results of N. Boston and R. Jones, to show that the critical orbit of quadratic polynomials over a finite field of $q$ elements is of length $O(q^{3/4})$, improving upon the trivial bound $q$.
