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.

No abstract uploaded!

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.

We investigate Sarnak's M\"obius Disjointness Conjecture through asymptotically periodic functions. It is shown that Sarnak's conjecture for rigid dynamical systems is equivalent to the disjointness of M\"obius from asymptotically periodic functions. We give sufficient conditions and a partial answer to the later one. As an application, we show that Sarnak's conjecture holds for a class of rigid dynamical systems, which improves an earlier result of Kanigowski-Lema{\'{n}}czyk-Radziwi{\l}{\l}.

In this article we propose a geometric description of Arthur packets for p-adic groups using vanishing cycles of perverse sheaves. Our approach is inspired by the 1992 book by Adams, Barbasch and Vogan on the Langlands classification of admissible representations of real groups and follows the direction indicated by Vogan in his 1993 paper on the Langlands correspondence. Using vanishing cycles, we introduce and study a functor from the category of equivariant perverse sheaves on the moduli space of certain Langlands parameters to local systems on the regular part of the conormal bundle for this variety. In this article we establish the main properties of this functor and show that it plays the role of microlocalization in the work of Adams, Barbasch and Vogan. We use this to define ABV-packets for pure rational forms of p-adic groups and propose a geometric description of the transfer coefficients that appear in Arthur's main local result in the endoscopic classification of representations. This article includes conjectures modelled on Vogan's work, especially the prediction that Arthur packets are ABV-packets for p-adic groups. We gather evidence for these conjectures by verifying them in numerous examples.