Number Theory [math.NT]

Representing integers as sums of mixed powers of primes

math.NT

We establish two new Waring--Goldbach type representations: every sufficiently large odd integer $n$ can be expressed as \[ n = p_1^2 + p_2^2 + p_3^3 + p_4^3 + p_5^5 + p_6^6 + p_7^c, \] where each $p_i$ is prime and $c \in \{6,7\}$.

Integrals involving arbitrary powers of the arcsine, with applications to infinite series

math.NT

math.FA

Using appropriate power series evaluations, we determine all moments of arbitrary positive powers of the arcsine. As consequences we evaluate several doubly infinite classes of power series involving central binomial coefficients and generalized multiple harmonic sums. By specializing the variable involved, we then evaluate classes of numerical sequences, mostly in terms of powers of $\pi$. Finally, we obtain limit expressions for arbitrary powers of $\pi$.

p-adic Hodge parameters in the crystalline representations of GSp4

math.NT

math.RT

This article gives a generalization of the work of Y.Ding in the context of $\mathrm{GSp}_4(\mathbb{Q}_p)$, where $p$ is an odd prime number. Let $\rho$ be a 4-dimensional generic non-critical crystalline representations of the absolute Galois group of $\mathbb{Q}_p$ of regular Hodge-Tate weights which is valued in $\mathrm{GSp}_4(E)$, where $E$ is a finite extension of $\mathbb{Q}_p$, we associate to $\rho$ an explicit locally analytic $E$-representation $\pi_\mathrm{min}(\rho)$ of $\mathrm{GSp}_4(\mathbb{Q}_p)$, which encodes enough information to determines $\rho$. Moreover, under certain settings, this construction follows the local-global compatibility.

Upper Bounds for low moments of twisted Fourier coefficients of modular forms

math.NT

For any large prime $q$, $1 \leq x \leq q$ and any real $0 \leq k \leq 1$, we prove an upper bound for the following $2k$-th moment $$\displaystyle \sum_{\substack{\chi \bmod q}} \Big| \sum_{n\leq x} \chi(n)\lambda(n)\Big|^{2k},$$ where $\lambda(n)$ denotes the Fourier coefficients of a fixed modular form. In particular, our result implies that $$\displaystyle \frac 1{q-1}\sum_{\substack{\chi \bmod q}} \Big| \sum_{n\leq x} \chi(n)\lambda(n)\Big|= o(\sqrt{x}),$$ when both $x$ and $q/x$ tend to infinity with $q$.

Applying hypersurface bounds to a conjecture by Carlet

math.NT

A function from $\mathbb{F}_{2^n}$ to $\mathbb{F}_{2^n}$ is $k$th order sum-free if the sum of its values over each $k$-dimensional $\mathbb{F}_2$-affine subspace is nonzero. It is conjectured that for $n$ odd and prime, $f_\textrm{inv}=x^{-1}$ is not $k$th order sum-free for $3 \leq k \leq n-3$. This is the unresolved part of Carlet's conjecture, which gives exact values for which $f_\textrm{inv}$ is $k$th order sum-free. We give two results as improvements on an explicit estimate on the number of $q$-rational points of an $\mathbb{F}_q$-definable hypersurface previously proved by Cafure and Matera. We use these results to prove that $f_\textrm{inv}$ is not $k$th order sum-free for $3\leq k \leq \frac{3}{13}n+0.461$, improving on work previously done by Hou and Zhao.

On moments of the Erd\H{o}s--Hooley Delta-function

math.NT

For integer $n\geqslant 1$ and real $u$, let $\Delta(n,u):=|\{d:d\mid n,\,{\rm e}^u

Non-Archimedean Koksma Theorems and Dimensions of Exceptional Sets

math.NT

math.CA

math.DS

We establish a non-Archimedean analogue of Koksma's theorem. For a local field F of characteristic zero, we prove that the sequence ([{\alpha}x^n]) is uniformly distributed in the valuation ring O for almost every x with |x|_p>1. In the case of positive characteristic, ([x^n]) fails to be uniformly distributed, but it becomes {\mu}*-uniformly distributed for some weighted measure {\mu}*. These results are derived from a general metric theorem for sequences generated by expanding scaling maps. On the other hand, we demonstrate that the exceptional set of parameters x for which these sequences are not uniformly distributed is large (i.e. having full Hausdorff dimension) and share a rich q-homogeneous fractal structure.

Sign patterns of Fourier coefficients of modular forms

math.NT

We give conditions under which a self-dual holomorphic cusp form is determined up to scalar multiplication by the signs of its Fourier coefficients.

A motivic Weil height machine for curves

math.AG

math.NT

The rational points of a smooth curve $X$ over a number field $k$ map to the set of augmentations of the associated motivic algebra. An expectation, related to Kim's conjecture, is that for $X$ hyperbolic, the set of augmentations which come locally at each place of $k$ from a point is equal to the set of rational points. Our view is that this should provide a relative of the Grothendieck section conjecture which may be both more accessible, and more directly applicable, than the latter. As a first step in this direction, we extend aspects of the ``Weil height machine'' to the set of such augmentations, and use this to prove a Manin--Dem'janenko-style finiteness result for motivic augmentations for particular curves. Along the way, we determine the structure of the cohomological motive of a $\mathbb{G}_m$-bundle over an algebraic variety as a highly structured algebra in the derived $\infty$-category of mixed motives with rational coefficients.

More counterexamples to the Arithmetic Puncturing Problem

math.AG

math.CV

math.NT

We construct examples of threefolds with terminal singularities (resp. surfaces with canonical singularities) which are special in the sense of Campana, have a potentially dense set of integral points, admit a dense entire curve, have vanishing Kobayashi pseudometric, and are geometrically special in the sense of Javanpeykar-Rousseau but whose regular locus fails to have any of these properties. This improves on earlier work by Cadorel-Campana-Rousseau and joint work by the author with Javanpeykar-Levin, where such fourfolds with canonical singularities were constructed, and gives refined answers to questions due to Hassett-Tschinkel and Kamenova-Lehn. Lastly, we show that some of our examples satisfy the weak approximation property and briefly discuss a question on puncturing varieties satisfying strong approximation raised by Wittenberg.

On the Alexander polynomials of modular knots

math.GT

math.NT

Closed geodesics associated with indefinite binary quadratic forms, or equivalently with real quadratic irrationals, have long been studied as geometric $\mathrm{SL}_2(\mathbb{Z})$-invariants. Building on the Birman-Williams approach to Lorenz knots and following the notion of modular knots introduced by Ghys, this article investigates the topological $\mathrm{SL}_2(\mathbb{Z})$-invariants arising from modular knots. Our main focus is the Alexander polynomial of modular knots. Using the Burau representation, we highlight two contrasting features of this family. On the one hand, for each fixed degree, only finitely many Alexander polynomials of modular knots occur. On the other hand, any integer appears as a coefficient of the Alexander polynomial of some modular knot, and coefficients of the same sign can occur in runs of arbitrarily long length.

Rational Hodge--Tate prismatic crystals of quasi-l.c.i algebras and non-abelian $p$-adic Hodge theory

math.NT

math.AG

v2

Consider a bounded prism $(A,I)$ and a bounded quasi-l.c.i algebra $R$ over $\overline{A}$. In this paper, for any prism $S/A$ with a surjection $S\to R$ such that $\widehat{\mathbb L}_{\overline{S}/\overline{A}}$ is a $p$-completely flat module over $\overline{S}$, we establish an equivalence of categories between rational Hodge-Tate crystals on $(R/A)_{\Delta}$ and topologically nilpotent integrable connections on the Hodge--Tate cohomology ring $\overline{\Delta}_{R/S}$. As an application, for a non-zero divisor $a\in \overline{A}$, we introduce the concept of $a$-smallness for a rational Hodge-Tate prismatic crystal on $(R/A)_{\Delta}$. Finally, we focus on some special algebras $R$ over $\mathcal O_{\mathbb C_p}$ (or generally, the ring of integers of an algebraic closed and complete non-archimedean field) including all $p$-completely smooth algebras, $p$-complete algebras with semi-stable reductions and geometric valuation rings. By using our equivalence, we analyze the restriction functor from the category of $a$-small rational Hodge-Tate prismatic crystals to the category of $v$-vector bundles. This yields some new results in $p$-adic non-abelian Hodge Theory.

The geometric Satake equivalence for integral motives

math.AG

math.NT

math.RT

v3

We prove the geometric Satake equivalence for mixed Tate motives over the integral motivic cohomology spectrum. This refines previous versions of the geometric Satake equivalence for split reductive groups. Our new geometric results include Whitney--Tate stratifications of Beilinson--Drinfeld Grassmannians and cellular decompositions of semi-infinite orbits. With future global applications in mind, we also achieve an equivalence relative to a power of the affine line. Finally, we use our equivalence to give Tannakian constructions of Deligne's modification of the dual group and a modified form of Vinberg's monoid over the integers.

Limit Theorems for a class of unbounded observables with an application to "Sampling the Lindel\"of hypothesis"

math.DS

math.NT

v2

We prove the Central Limit Theorem (CLT), the first order Edgeworth Expansion and a Mixing Local Central Limit Theorem (MLCLT) for Birkhoff sums of a class of unbounded heavily oscillating observables over a family of full-branch piecewise $C^2$ expanding maps of the interval. As a corollary, we obtain the corresponding results for Boolean-type transformations on $\mathbb{R}$. The class of observables in the CLT and the MLCLT on $\mathbb{R}$ include the real part, the imaginary part and the absolute value of the Riemann zeta function. Thus obtained CLT and MLCLT for the Riemann zeta function are in the spirit of the results of Lifschitz & Weber (2009) and Steuding (2012) who have proven the Strong Law of Large Numbers for "Sampling the Lindel\"of hypothesis".

Nonnegativity of signed Euler characteristics of moduli of curves and abelian varieties

math.AG

math.NT

v2

Given a perverse sheaf on the moduli stack of principally polarized abelian varieties or the moduli stack of smooth curves with n marked points over a field of characteristic zero, we prove that the (orbifold) Euler characteristic is nonnegative. For constant coefficients, this follows immediately from formulas of Harer-Zagier and Harder. Our proof is different and in the case of abelian varieties uses log Dubson-Kashiwara plus the fact that Hodge bundles are nef. For curves, we require an additional inequality established using Beilinson's gluing construction. The first main result is shown to be false in positive characteristic.