We study the existence of Artin–Schreier curves with large a‑number. We show that Artin–Schreier curves with large a‑number can be written in certain forms and discuss their supersingularity. We also give a basis of the de Rham cohomology of Artin–Schreier curves. By computing the rank of the Hasse–Witt matrix of the curve, we also give bounds on the a‑number of trigonal curves of genus 5 in small characteristic.

No abstract uploaded!

We analyze the asymptotic behavior of certain twisted orbital integrals arising from the study of affine Deligne-Lusztig varieties. The main tools include the Base Change Fundamental Lemma and q-analogues of the Kostant partition functions. As an application we prove a conjecture of Miaofen Chen and Xinwen Zhu, relating the set of irreducible components of an affine Deligne-Lusztig variety modulo the action of the σ-centralizer group to the Mirkovic-Vilonen basis of a certain weight space of a representation of the Langlands dual group.

In 1962 Sprind\v{z}uk proved Mahler's conjecture in both the real and complex cases. Baker gave a generalized result by using a modified version of Sprind\v{z}uk's method. Later, Baker and Schmidt derived the Hausdorff dimensions of sets which are defiend in terms of approximation by algebraic numbers of bounded degrees by using Baker's theorem. In this article we will prove two analogue theorems in the fields of formal power series over finite finite fields.

Let $z=x+iy \in \mathbb{H}:=\{z= x+ i y\in\mathbb{C}: y>0\}$ and $ \theta (s;z)=\sum_{(m,n)\in\mathbb{Z}^2 } e^{-s \frac{\pi }{y }|mz+n|^2}$ be the theta function associated with the lattice $\Lambda ={\mathbb Z}\oplus z{\mathbb Z}$. In this paper we consider the following pair of minimization problems \begin{equation}\aligned \min_{ \mathbb{H} } \theta (2;\frac{z+1}{2})+\rho\theta (1;z),\;\;\rho\in[0,\infty), \\ \min_{ \mathbb{H} } \theta (1; \frac{z+1}{2})+\rho\theta (2; z),\;\;\rho\in[0,\infty), \endaligned\end{equation} where the parameter $\rho\in[0,\infty)$ represents the competition of two intertwining lattices, the particular selection of the parameters $s=1,2$ is determined by the physical model, which can be generalized by our strategy and method proposed here. We find that as $\rho$ varies the optimal lattices admit a novel pattern: they move from rectangular (the ratio of long and short sides changes from $\sqrt3$ to 1 continuously), square, rhombus (the angle changes from $\pi/2$ to $\pi/3$ continuously) to hexagonal continuously; geometrically, up to an invariant group(a subgroup of the classical modular group), they move continuously on a special curve ; furthermore, there exists a closed interval of $\rho$ such that the optimal lattices is always a square lattice. This is the first, novel and also the complete result on the minimizer problem for theta functions with parameter $\rho$. This is in sharp contrast to optimal lattice shapes for single theta function ($\rho=\infty$ case), for which the hexagonal lattice prevails. As a consequence, we give a partial and positive answer to optimal lattice arrangements of vortices in competing systems of Bose-Einstein condensates as conjectured (and numerically and experimentally verified) by Mueller-Ho \cite{Mue2002}, this is the first progress on Mueller-Ho conjecture.

Let$Z$($t$) be the classical Hardy function in the theory of Riemann’s zeta-function. An asymptotic formula with an error term$O$($T$^{1/6}log$T$) is given for the integral of$Z$($t$) over the interval [0,$T$], with special attention paid to the critical cases when the fractional part of $\sqrt{T/2\pi }$ is close to $\frac{1}{4}$ or $\frac{3}{4}$ .

Following the method developed by Waldspurger and Beuzart-Plessis in their proof of the local Gan-Gross-Prasad conjecture, we prove a local trace formula for the Ginzburg-Rallis model. By applying this trace formula, we prove the multiplicity one theorem for the Ginzburg-Rallis model over the tempered Vogan L-packets. In some cases, we also prove the epsilon dichotomy conjecture which gives a relation between the multiplicity and the exterior cube epsilon factor. This is a sequel work of [Wan15] in which we proved the geometric side of the trace formula.

No abstract uploaded!

The study of the present paper is inspired by Gangl, Kaneko and Zagier's result of the connection with double zeta values and modular forms. We introduce double Eisenstein series $E_{r,s}$ in positive characteristic with double zeta values $\zeta_A(r,s)$ as their constant term and compute the t-expansions of the double Eisenstein series. Moreover, we derive the shuffle relations of double Eisenstein series which match the shuffle relations of double zeta values in \cite{Huei2015}.

For each positive characteristic multiple zeta value defined by Thakur, the first and third authors constructed a t-module such that a certain coordinate of a logarithmic vector of a specified algebraic point is a rational multiple of that multiple zeta value. The main result in this paper gives explicit formulae for all of the coordinates of this logarithmic vector in terms of Taylor coefficients of t-motivic multiple zeta values and t-motivic Carlitz multiple star polylogarithms.

The Colmez conjecture is a formula expressing the Faltings height of an abelian variety with complex multiplication in terms of some linear combination of logarithmic derivatives of Artin L-functions. The aim of this paper to prove an averaged version of the conjecture, which was also proposed by Colmez.

We study special cycles on integral models of Shimura varieties associated with unitary similitude groups of signature (n.1, 1).We construct an arithmetic theta lift from harmonic Maass forms of weight 2 . n to the arithmetic Chow group of the integral model of a unitary Shimura variety, by associating to a harmonic Maass form f a linear combination of Kudla– Rapoport divisors, equipped with the Green function given by the regularized theta lift of f . Our main result is an equality of two complex numbers: (1) the height pairing of the arithmetic theta lift of f against a CM cycle, and (2) the central derivative of the convolution L-function of a weight n cusp form (depending on f ) and the theta function of a positive definite hermitian lattice of rank n − 1. When specialized to the case n = 2, this result can be viewed as a variant of the Gross–Zagier formula for Shimura curves associated to unitary groups of signature (1, 1). The proof relies on, among other things, a new method for computing improper arithmetic intersections.

No abstract uploaded!

Let N be a fixed integer and f be a holomorphic newform of level q⁠, weight k and trivial nebentypus, where q is a multiple of N⁠. In this article, we prove that the pushforward to the modular curve of level N of the mass measure of f tends weakly to the Haar measure as qk→∞⁠. This generalizes the previous results for modular curve of level 1. The main innovation of this article is to obtain an upper bound for the local integral which cancels the convexity bound of the corresponding L-function in level aspect.

No abstract uploaded!

The subject of counting positive lattice points in n-dimensional simplexes has interested mathematicians for decades due to its applications in singularity the- ory and number theory. Enumerating the lattice points in a right-angled simplex is equivalent to determining the geometric genus of an isolated singularity of a weighted homogeneous complex polynomial. It is also a method to shed insight into large gaps in the sequence of prime numbers. Seeking to contribute to these applications, in this paper, we prove the Yau Geometric Conjecture in six dimensions, a sharp upper bound for the number of positive lattice points in a six-dimensional tetrahedron. The main method of proof is summing existing sharp upper bounds for the number of points in 5-dimensional simplexes over the cross sections of the six-dimensional simplex. Our new results pave the way for the proof of a fully general sharp upper bound for the number of lattice points in a simplex. It also sheds new light on proving the Yau Geometric and Yau Number-Theoretic Conjectures in full generality.

No abstract uploaded!

We study a local multiplicity problem related to so-called generalized Shalika models. By establishing a local trace formula for these kind of models, we are able to prove a multiplicity formula for discrete series. As a result, we can show that these multiplicities are constant over every discrete Vogan L-packet and are related to local exterior square L-functions.

No abstract uploaded!

The estimate of integral points in an n-dimensional polyhedron has many applications in singularity theory, number theory and toric geometry. The third named author formulated a conjecture (i.e., Yau Number Theoretic Conjecture) which gives a sharp polynomial upper estimate on the number of positive integral points in n-dimensional (n  3) real right-angled simplices. The previous results on the conjecture in low dimension cases (n  6) have been proved by using the sharp GLY conjecture. However, it is only valid in low dimension. The Yau Number Theoretic Conjecture for n = 7 has been shown with a completely new method in [22]. In this paper, on the one hand, the similar method has been applied to prove the conjecture for n = 8, but with more meticulous analyses. The main method of proof is summing existing sharp upper bounds for the number of points in seven-dimensional simplex over the cross sections of eight-dimensional simplex. This is a signicant progress since it sheds light on proving the Yau Number Theoretic Conjecture in full generality. On the other hand, we give a new sharper estimate of the Dickman-De Bruijn function (x; y) for 5  y < 23, compared with the result obtained by Ennola.

For every affine variety over a global function field, we show that the set of its points with coordinates in an arbitrary rank-one multiplicative subgroup of this function field is topologically dense in the set of its points with coordinates in the topological closure of this subgroup in the product of the multiplicative group of those local completions of this function field over all but finitely many places.

We enhance the efficient congruencing method for estimating Vinogradov’s integral for moments of order 2$s$, with $${1\leqslant s\leqslant k^{2}-1}$$ . In this way, we prove the main conjecture for such even moments when $${1\leqslant s\leqslant \tfrac{1}{4}(k+1)^{2}}$$ , showing that the moments exhibit strongly diagonal behaviour in this range. There are improvements also for larger values of$s$, these finding application to the asymptotic formula in Waring’s problem.

We study the structures of Fourier coefficients of automorphic forms on symplectic groups based on their local and global structures related to Arthur parameters. This is a first step towards the general conjecture on the relation between the structure of Fourier coefficients and Arthur parameters for automorphic forms occurring in the discrete spectrum, given by the first named author.

We develop a general procedure to study the combinatorial structure of Arthur packets for p-adic quasisplit Sp(N) and O(N) following the works of Mœglin. This allows us to answer many delicate questions concerning the Arthur packets of these groups, for example the size of the packets.

Let π be a cuspidal automorphic representation of PGL_2(AQ) of arithmetic conductor C and archimedean parameter T, and let ϕ be an L2-normalized automorphic form in the space of π. The sup-norm problem asks for bounds on ∥ϕ∥_∞ in terms of C and T. The quantum unique ergodicity (QUE) problem concerns the limiting behavior of the L2-mass |ϕ|^2(g)dg of ϕ. Previous work on these problems in the conductor-aspect has focused on the case that ϕ is a newform. In this work, we study these problems for a class of automorphic forms that are not newforms. Precisely, we assume that for each prime divisor p of C, the local component π_p is supercuspidal (and satisfies some additional technical hypotheses), and consider automorphic forms ϕ for which the local components ϕ_p∈π_p are "minimal" vectors. Such vectors may be understood as non-archimedean analogues of lowest weight vectors in holomorphic discrete series representations of PGL_2(R). For automorphic forms as above, we prove a sup-norm bound that is sharper than what is known in the newform case. In particular, if π_∞ is a holomorphic discrete series of lowest weight k, we obtain the optimal bound C^{1/8−ϵ} k^{1/4−ϵ} ≪_ϵ |ϕ|_∞ ≪_ϵ C^{1/8+ϵ} k^{1/4+ϵ}. We prove also that these forms give analytic test vectors for the QUE period, thereby demonstrating the equivalence between the strong QUE and the subconvexity problems for this class of vectors. This finding contrasts the known failure of this equivalence [31] for newforms of powerful level.