Number Theory [math.NT]

Anticyclotomic Iwasawa main conjectures for modular forms

math.NT

math.AG

Let $f$ be a newform of even weight at least $4$, level $N$ and trivial character. Let $p\nmid N$ be an odd prime number that is ordinary for $f$ and let $K$ be an imaginary quadratic field satisfying a generalized Heegner hypothesis relative to $N$. In this paper, we prove (under mild arithmetic assumptions) Iwasawa main conjectures for $f$ over the anticyclotomic $\mathbb Z_p$-extension of $K$ both in the definite setting and in the indefinite setting (in the second case, we prove a main conjecture \`a la Perrin-Riou for modular forms). Our strategy of proof follows the approach of Bertolini-Darmon via congruences combined with our previous results on an analogue for $f$ of Kolyvagin's conjecture on the non-triviality of his $p$-adic system of derived Heegner points on elliptic curves. As a second contribution, when $p$ splits in $K$ we prove an Iwasawa-Greenberg main conjecture for the $p$-adic $L$-functions of Bertolini-Darmon-Prasanna and Brooks.

Density of Visible Lattice Points on Hyperplanes and their Intersections

math.NT

A lattice point $\vec x=(x_1,\dots,x_n)\in\mathbb Z^{n}$ is said to be visible if the line segment between $\vec x$ and the origin contains no other lattice point. In this paper, we compute the asymptotic density of visible lattice points on hyperplanes and their intersections. In particular, we show that the hyperplane $\vec a \cdot \vec x = b$ in $\mathbb R^{n}$ has visible point density $J_{n-1}(b)/b^{n-1}$ where $J$ is the Jordan totient function. We extend this basic result to find the density of visible points on the intersection of hyperplanes and to the density of $k$-th power free points. Finally, for a fixed dimension $n$, we consider the closure of the set of all possible densities that occur.

Admissible pairs and $p$-adic Hodge structures III: Variation and unlikely intersection

math.NT

We extend the relative theory of admissible pairs and $p$-adic Hodge structures introduced in Part II to allow variation in the underlying local systems of $\mathbb{Q}_p$-vector spaces and isocrystals. This extension accommodates, in particular, the families of $p$-adic Hodge structures that arise from the cohomology of certain smooth proper families. Such a variation gives rise to a cover with a global Hodge period map, and we study this cover and its period map from a differential perspective both classically and via the theory of inscription. This study is motivated by our transcendence results in Parts I and II and analogies with complex bi-algebraic geometry, and we also extend these ideas in other directions: First, we study the locus of special points on local Shimura varieties. We establish a refined version of a prediction of Rapoport-Viehmann on the density of special points, but give a robust counter-example to the local analog of the Andr\'{e}-Oort conjecture in this setting. This shuts down a broader theory of unlikely intersection but leaves open the possibility of stronger geometric transcendence results than the bi-analytic Ax--Lindemann theorem of Part II. Using the Banach-Colmez Tangent Bundles for infinite level local Shimura varieties that arise from the theory of inscription, we define precise notions of generic and exceptional intersections and then formulate an Ax--Schanuel conjecture that we expect to refine our Ax--Lindemann theorem.

On the series expansion of k-free Dirichlet series and its analytical continuation

math.NT

In this article, we develop a k-free zeta Dirichlet series into a Laurent series with a simple pole, and prove a Stieltjes like formula for the expansion coefficients of the regular part. We also investigate another analytical continuation of these series and develop a formula for $\zeta(\tfrac{1}{k})$ for positive integer $k\geq 2$ in terms of the k-free indicator function.

Murmurations, Periods, and Local Factors

math.NT

We prove that over function fields F_q(t), the Tate-Shafarevich group |Sha| is an invariant of the cyclotomic type of the L-polynomial, so that |Sha|-stratified murmuration densities reduce to type-weighted densities with no within-type zero displacement (Theorem A). Over Q, the obstruction vanishes because Satake parameters are continuous: conditioning on L(f,1) = c biases each theta_p through the Euler product constraint, creating covariance between the Frobenius trace a_p and the real period Omega_f that the L-value regression does not absorb. A new inequality for modified Bessel functions (Theorem B) establishes the positivity of this single-prime covariance under a linearized tilt; the full Euler-factor positivity follows by perturbation for large p (Theorem 10) and is verified numerically for small primes (Theorem 11). We establish that the conditional covariance Cov(a_p, Omega_f | L(f,1) ~ c, N) converges to an explicit function C(c)/sqrt(p) as N -> infinity (Theorem C). The function C(c) changes sign -- positive at small c, negative at large c -- a prediction confirmed empirically using 657,000 curves from the Cremona database. Empirically, the covariance is concentrated entirely in the Tamagawa product prod c_v: at fine L(1)-conditioning, the Tamagawa channel accounts for 100% of the signal, and cross-validated regression confirms that the nonlinear adjoint-Euler-factor weighting carries independent Tamagawa information beyond a full trace basis but adds nothing for |Sha|. The |Sha|-modulation of murmurations discovered in [Wac26a] is a consequence of the BSD identity linking |Sha| to local factors -- the same local-factor mechanism operates discretely over function fields and continuously over Q.

On generalized Thabit numbers $(p+1)p^\mathfrak{a}-1$ in the $k$-Lucas sequence

math.NT

Let $k\ge 2$ and $\{L_n^{(k)}\}_{n\geq 2-k}$ be the sequence of $k$-Lucas numbers whose first $k$ terms are $0,\ldots,0,2,1$ and each term afterwards is the sum of the preceding $k$ terms. In this paper, we solve the Diophantine equation $L_n^{(k)}=(p+1)p^\mathfrak{a}-1$, for a Mersenne or Fermat prime $p=2^{\ell}\pm 1$, and positive integers $n\ge 2$, $k\ge 2$, $\mathfrak{a}\ge 1$ and $\ell \ge 1$.

$p$-adic multiple zeta values of integer indices

math.NT

This paper concerns the $p$-adic multiple zeta values of integer indices that may contain zero or negative components. We introduce the admissibility and regularizability conditions for integer indices. We define the $p$-adic multiple zeta values associated with admissible integer indices to be finite rational linear combinations of $p$-adic multiple zeta values associated with admissible positive integer indices. We prove that the double shuffle relations, that is, the shuffle and stuffle product formulas, both hold for the values.

The second minimum of Barnes-Wall lattices

math.NT

We show that the second minimum of the Barnes-Wall lattices is a least $3/2$ of the minimum.

Symmetric measures of pseudorandomness for binary sequences

math.NT

math.CO

We compare ordinary and symmetric variants of two classical measures of pseudorandomness for binary sequences, the $2$-adic complexity and the linear complexity. In the periodic setting, we show that for binary periodic sequences constructed from the binary expansions of non-palindromic primes, the symmetric $2$-adic complexity can be strictly smaller than the ordinary $2$-adic complexity. We also give a direct proof (of the known result) that the linear complexity of a periodic binary sequence is invariant under reversal, and hence coincides with its symmetric version. In the aperiodic setting, we provide explicit families of finite binary sequences for which both the $N$th symmetric 2-adic complexity and the $N$th symmetric linear complexity are substantially smaller than their ordinary counterparts. Furthermore, we show that the expected values of the $N$th rational complexity and of the $N$th exponential linear complexity exceed those of their symmetric analogues by at least a term of order of magnitude $N$. Thus, the effect of symmetrization is clearly visible on an exponential scale. We also establish lower bounds for the expected values of the symmetric rational complexity, symmetric $2$-adic complexity, symmetric linear complexity, and symmetric exponential linear complexity.

Short Exponential Sums and Ternary Correlations of Multiplicative Functions

math.NT

Let $f_1, f_2, f_3$ be $k$-divisor-bounded functions, at least one of which satisfies certain second-moment integral bounds. We show that for any $\varepsilon > 0$ and \[ X^{1/2+100\varepsilon} \ll H \ll X^{1-\varepsilon}, \] we have \[ \sum_{|h|\le H} \left(1-\frac{|h|}{H}\right) \sum_{X \le n \le 2X} f_{1}(n)\, f_{2}(n+h)\, f_{3}(n+2h) = O\!\left(XH^{1-\varepsilon}\right). \] Our approach differs from previous methods based on spectral theory or Heath-Brown-type decompositions, and instead combines the circle method with weighted short exponential-sum bounds. The key input is short exponential-sum estimates obtained from integral moment bounds for $L$-functions.

Branches of Markoff $m$-triples with two $k$-Fibonacci components

math.NT

We study infinite paths of Markoff $m$-triples, that is, solutions to the generalised Markoff equation \[ x^2+y^2+z^2=3xyz+m, \] with $m>0$, with at least two $k$-Fibonacci components. First, we obtain a complete classification of Markoff $m$-triples whose last two entries are $k$-Fibonacci numbers and that are not roots of any Markoff trees. We then prove that every such infinite path is contained in a branch, starting at a triple of the form \[ \left(\frac{F_k(4r)}{3F_k(2r)},\,F_k(\ell+2r),\,F_k(\ell+4r)\right), \] where $r$ is an odd integer, $\ell\in\{1,2,\ldots, 2r\}$ and $3\nmid k$. These branches are distributed among exactly $2r$ distinct trees.

Counting points in thin sets: A survey

math.NT

In the 1980's Serre asked how many points of bounded height can lie in a thin set. This has motivated significant research ever since, culminating in a series of recent breakthroughs. It is a good time to take stock of the central questions that have been resolved, and also to highlight remaining open questions. First, we survey recent progress on counting points of bounded height in the four types of thin sets, according to the projective/affine and type I/type II designations. Second, we turn to questions of uniformity. Famously, in the setting of type I thin sets, the best-known upper bound for the number of points of bounded height is independent of the maximum size, say $\|F\|$, of the coefficients of the polynomials that define the thin set; such an upper bound is called uniform. A uniform upper bound in the setting of type II thin sets is not known. For type II thin sets, we explore the dependence on $\|F\|$ via several strategies, and construct counterexamples that suggest the question of uniformity is quite subtle in the setting of type II thin sets.

Bohr's Last Problem Under the Entirety Hypothesis: A Survey with Initial Reductions

math.NT

Bohr's last problem (1952) asks whether every ordinary Dirichlet series with nonzero Lindel\"of order function $\mu$ has $\mu'(\omega_\mu{-}0)\le-1$; a negative answer would imply Lindel\"of for $\zeta$. Kahane (1989) refuted this with half-plane counterexamples. We study the refinement for series with entire continuation of order $\le 1$: the Analytic Lindel\"of Hypothesis that $\mu$ is piecewise linear with integer slopes. Deforming the Mellin integral to the strip boundary reduces $\mu_L$ to a residue sum over singularities of the generating function on $|x|=1$, giving $\mu_L(\sigma)=\max(0,\tfrac12-\sigma+\rho)$. For classical $L$-functions this sum is the functional-equation dual, and bounding it is Lindel\"of; for self-similar or random singularities it is a Rajchman Fourier transform. We show Kahane's half-plane examples fail entirety, his entire random examples have integer slopes a.s., and Lerch-Lindel\"of implies ALH. Our central construction is the Cantor Dirichlet series $L(s)=\sum\hat\nu(n)n^{-s}$, with $\nu$ the ternary Cantor measure. Its Kaczorowski--Perelli twist spectrum is empty; we prove $\mu_L(\tfrac12)\le\tfrac18$ unconditionally via a Montgomery--Vaughan argument on the product variable $(m_1+\alpha)(m_2+\alpha)$, where a Vieta identity guarantees distinct frequencies. A Cantor-weighted Hurwitz second-moment conjecture would give $\mu_L(\tfrac12)=0$.

Uniform boundedness of small points on abelian varieties over function fields

math.NT

math.AG

math.DS

Let $k$ be a field of characteristic $0$ and let $K = k(B)$ be the function field of a geometrically irreducible projective curve $B$ over $k$. Let $A/K$ be a $g$-dimensional abelian variety with $\mathrm{Tr}_{K/k}(A) = 0$. We prove that any $K$-rational torsion point $x$ of $A$ has order uniformly bounded in terms of $g$ and the gonality of $B$. We also prove a uniform lower bound on the N\'{e}ron-Tate height $\widehat{h}_{A,L}(x)$ in terms of the stable Faltings height $h_{\mathrm{Fal}}(A)$ for any $K$-rational point $x$ whose forward orbit is Zariski dense, proving the Lang-Silverman conjecture over function fields of characteristic $0$.

Mahler series with multiplicative coefficient sequences

math.NT

We prove that every Mahler series, over a field of characteristic $0$, with multiplicative coefficients is regular in the sense of Allouche and Shallit. We also obtain an explicit characterization of such series. This yields a joint extension of the characterization of rational series with multiplicative coefficients (by B\'ezivin and Bell--Bruin--Coons) and of multiplicative automatic sequences (by Konieczny--Lema\'nczyk--M\"ullner). Both of these results are used in our characterization, so we do not obtain new proofs of these special cases.

Partition regularity in imaginary quadratic rings of integers

math.CO

math.DS

math.NT

We obtain partition regularity results for homogeneous quadratic equations whose parametrized solutions admit nice factorizations into linear forms over rings of integers of imaginary quadratic fields. To do so, we develop number-theoretic results of independent interest on such fields, as Hal\'asz's theorem (which actually holds on arbitrary number fields), a characterization for aperiodic completely multiplicative functions, the Tur\'an-Kubilius inequality, and a new concentration estimate for multiplicative functions.

Picard rank jumps for families of K3 surfaces in positive characteristic

math.AG

math.NT

Let X/C be a non iso-trivial family of K3 surfaces over a curve C defined over characteristic p > 2 field. We show that if X avoids a necessary and structural obstruction coming from Frobenius, and satisfies a big monodromy condition, then there are infinitely may geometric fibers that have larger Picard rank than the geometric generic fiber.

Construction of graph coverings with prescribed Iwasawa invariants

math.CO

math.NT

For a $\mathbb{Z}_p$-covering of connected graphs, an analogue of Iwasawa's class number formula describes the growth of the number of spanning trees in terms of Iwasawa $\lambda$- and $\mu$-invariants. In this paper, we show that any pair $(\lambda, \mu)$ can be realized as the Iwasawa invariants of an unramified $\mathbb{Z}_p$-covering of a bouquet, provided that the necessary condition that $\lambda$ is odd is satisfied. We further show that any pair $(\lambda, \mu)$, without a parity condition, can be realized if we allow ramified $\mathbb{Z}_p$-coverings.

Cohomological descent for obstructions to local-global principle

math.AG

math.NT

We develop a formalism of cohomological descent encoding adelic points and obstructions to local-global principle on algebraic stacks. As an application, by constructing new obstructions using the formalism, we obtain some comparison results of obstructions on some classes of algebraic stacks.

Eulerian polynomials and the alternating sum of excedances

math.CO

math.NT

Tangent numbers $T_{2n-1}$, which enumerate alternating permutations of odd length, play a prominent role in the Taylor series expansion of the tangent function $\tan(x)$. In this work, we adopt a combinatorial approach based on the excedance statistic of permutations, which allows us to interpret the coefficients of the tangent series in a structural and enumerative way. Using this framework, we establish a classical identity that relates the alternating sum of excedances to the hyperbolic tangent function. This perspective highlights deep connections with Eulerian polynomials, provides a combinatorial interpretation of tangent numbers, and links these sequences to Genocchi numbers and related arithmetic properties. The approach not only unifies analytic and combinatorial viewpoints but also opens the way to generalizations to other permutation statistics and families of specialized permutations.

Exponential motives on the affine Grassmannian

math.AG

math.NT

math.RT

We develop a notion of exponential motives on general prestacks equipped with a $\mathbf{G}_a$-action, and compare them with Whittaker motives via Gaitsgory's Kirillov model. We then establish foundational results for exponential motives on affine flag varieties concerning Tate motives and t-structures. We use this to prove a motivic Casselman-Shalika equivalence, relating exponential Tate motives on the affine Grassmannian to ind-coherent sheaves on the classifying stack of the Langlands dual group. The decategorification of this equivalence provides a new construction of the Whittaker module for the spherical Hecke algebra which works for arbitrary coefficients, including a generic version.

Points of bounded height in images of morphisms of weighted projective stacks with applications to counting elliptic curves

math.NT

math.AG

v5

Asymptotics are given for the number of rational points in the domain of a morphism of weighted projective stacks whose images have bounded height and satisfy a (possibly infinite) set of local conditions. As a consequence we obtain results for counting elliptic curves over number fields with prescribed level structures, including the cases of $\Gamma(N)$ for $N\in\{1,2,3,4,5\}$, $\Gamma_1(N)$ for $N\in\{1,2,\dots,10,12\}$, and $\Gamma_0(N)$ for $N\in\{1,2,4,6,8,9,12,16,18\}$. In all cases we give an asymptotic with an expression for the leading coefficient, and in many cases we also give a power-saving error term.

Application of a polynomial sieve: beyond separation of variables

math.NT

v3

Let a polynomial $f \in \mathbb{Z}[X_1,\ldots,X_n]$ be given. The square sieve can provide an upper bound for the number of integral $\mathbf{x} \in [-B,B]^n$ such that $f(\mathbf{x})$ is a perfect square. Recently this has been generalized substantially: first to a power sieve, counting $\mathbf{x} \in [-B,B]^n$ for which $f(\mathbf{x})=y^r$ is solvable for $y \in \mathbb{Z}$; then to a polynomial sieve, counting $\mathbf{x} \in [-B,B]^n$ for which $f(\mathbf{x})=g(y)$ is solvable, for a given polynomial $g$. Formally, a polynomial sieve lemma can encompass the more general problem of counting $\mathbf{x} \in [-B,B]^n$ for which $F(y,\mathbf{x})=0$ is solvable, for a given polynomial $F$. Previous applications, however, have only succeeded in the case that $F(y,\mathbf{x})$ exhibits separation of variables, that is, $F(y,\mathbf{x})$ takes the form $f(\mathbf{x}) - g(y)$. In the present work, we present the first application of a polynomial sieve to count $\mathbf{x} \in [-B,B]^n$ such that $F(y,\mathbf{x})=0$ is solvable, in a case for which $F$ does not exhibit separation of variables. Consequently, we obtain a new result toward a question of Serre, pertaining to counting points in thin sets.

Furstenberg--S\'{a}rk\"{o}zy theorem and partition regularity of polynomial equations over finite fields

math.NT

math.DS

v4

We prove new combinatorial results about polynomial configurations in large subsets of finite fields. Bergelson--Leibman--McCutcheon (2005) showed that for any polynomial $P(x) \in \mathbb{Z}[x]$ with $P(0) = 0$, if $A \subseteq \mathbb{F}_q$ is a subset of a $q$-element finite field and $A$ does not contains distinct $a, b$ such that $b - a = P(x)$ for some $x$, then $|A| = o(q)$. In fields of sufficiently large characterstic, the bound $o(q)$ can be improved to $O(q^{1/2})$ by the Weil bound. We match this bound in the low characteristic setting and give a complete algebraic characterization of the class of polynomials for which the Furstenberg--S\'{a}rk\"{o}zy theorem holds over finite fields of fixed characteristic. Our next main result deals with an enhancement of the Furstenberg--S\'{a}rk\"{o}zy theorem over finite fields. Another consequence of the Weil bound is that if $P(x) \in \mathbb{Z}[x]$, $A, B \subseteq \mathbb{F}_q$, and there do not exist elements $a \in A$ and $b \in B$ with $b - a = P(x)$ for some $x$, then $|A| |B| = O(q)$, provided that the characteristic of $\mathbb{F}_q$ is sufficiently large depending on $P$. We provide a complete description of the family of polynomials for which this asymmetric enhancement holds over fields of fixed characteristic, achieving the same quantitative bounds that are available in the high characteristic setting. The exponential sum estimates that we produce in dealing with the above problems also allow us to establish partition regularity of families of polynomial equations over finite fields. As an example, we prove: if $P(x) \in \mathbb{Z}[x]$ with $P(0) = 0$, then for any $r \in \mathbb{N}$, there exists $N = N(P,r)$ and $c = c(P,r) > 0$ such that if $q > N$ and $\mathbb{F}_q = \bigcup_{i=1}^r{C_i}$, then there are at least $cq^2$ monochromatic solutions to the equation $P(x) + P(y) = P(z)$.

A naive p-adic height on the Jacobians of curves of genus 2

math.NT

v2

Consider a genus 2 curve defined over $\mathbb{Q}$ given by an affine equation of the form $y^2 = f(x)$ for some polynomial $f$ of degree 5, and let $p$ be an odd prime. Extending work of Perrin-Riou for elliptic curves, we construct a naive $p$-adic height function on a finite index subgroup of the Jacobian $J$ of this curve, using the explicit embedding of $J$ in $\mathbb{P}^8$ and the associated formal group described by Grant. We use the naive height to construct a global height $h_p: J(\mathbb{Q}) \rightarrow \mathbb{Q}_p$ using a limit construction analogous to Tate's construction of the N\'{e}ron-Tate height, and show that it is quadratic. We then compare $h_p$ to a $p$-adic height constructed in a different way by Bianchi and show that they are equal.

New and old Saito-Kurokawa lifts classically via $L^2$ norms and bounds on their supnorms: level aspect

math.NT

v3

In the first half of the paper, we lay down a classical approach to the study of Saito-Kurokawa (SK) lifts of (Hecke congruence) square-free level, including the allied new-oldform theory. Our treatment of this relies on a novel idea of computing ranks of certain matrices whose entries are $L^2$-norms of eigenforms. For computing the $L^2$ norms we work with the Hecke algebra of $\mathrm{GSp}(2)$. In the second half, we formulate precise conjectures on the $L^\infty$ size of the space of SK lifts of square-free level, measured by the supremum of its Bergman kernel, and prove bounds towards them using the results from the first half. Here we rely on counting points on lattices, and on the geometric side of the Bergman kernels of spaces of Jacobi forms underlying the SK lifts. Along the way, we prove a non-trivial bound for the sup-norm of a Jacobi newform of square-free level and also discuss about their size on average.

Oscillations of random multiplicative functions under initial bias

math.NT

math.PR

v2

We prove that if $f$ is a random completely multiplicative function, conditional $f(p)=1$ for each prime $p \le (\log x)^{2-\epsilon}$, the probability that $\sum_{1\le n \le N}f(n)\ge 0$ for all $N\le x$ is $o(1)$ as $x \rightarrow \infty$. This solves a conjecture of Kucheriaviy, who has a complementary result showing this exponent is sharp. We also prove that almost surely the partial sums of $\sum\frac{f(n)}{\sqrt{n}}$ change signs infinitely many times, solving a problem of Aymone.

Isolated points on modular curves

math.NT

math.AG

v3

We study isolated points on the modular curves $X_{H}$, for $H$ a subgroup of $\operatorname{GL}_{2}(\mathbb{Z}/n \mathbb{Z})$ for some $n \geq 1$. In particular, we prove a single-sink theorem for such isolated points, which traces the existence of all such isolated points with the same $j$-invariant back to an isolated point on a single curve. Building on this result, we also present a uniform strategy for determining the isolated points on any family of modular curves. As an example, we use this strategy to classify the isolated points with rational $j$-invariant on all modular curves of level 7, as well as the modular curves $X_{0}(n)$, the latter assuming a conjecture on images of Galois representations of elliptic curves over $\mathbb{Q}$. Underpinning all of this, we develop a theory of isolated divisors on geometrically disconnected varieties, which may be of independent interest.

The asymptotic in Waring's problem over function fields via singular sets in the circle method

math.NT

v2

We give results on the asymptotic in Waring's problem over function fields that are stronger than the results obtained over the integers using the main conjecture in Vinogradov's mean value theorem. Similar estimates apply to Manin's conjecture for Fermat hypersurfaces over function fields. Following an idea of Pugin, rather than applying analytic methods to estimate the minor arcs, we treat them as complete exponential sums over finite fields and apply results of Katz, which bound the sum in terms of the dimension of a certain singular locus, which we estimate by tangent space calculations.

Minimal Denominators Lying in Subsets of the Ring of Polynomials over a Finite Field

math.NT

cs.NA

math.NA

math.PR

v3

Given a subset $\mathcal{S}\subseteq \mathbb{F}_q[x]$ and fixed integers $n,m\in \mathbb{N}$, we study the distribution of the smallest denominator $Q\in \mathcal{S}$ for which there exists $\mathbf{P}\in \mathbb{F}_q[x]^m$ such that $\left\Vert\frac{\mathbf{P}}{Q}-\boldsymbol{\alpha}\right\Vert

Distributions of Integral Points and Dedekind Zeta Values

math.NT

v2

Let $\mathcal{O}$ be the ring of integers for some number field $F$. Let $\chi(x)\in \mathcal{O}[x]$ be a regular monic polynomial of degree $n$. We study the asymptotic count of integral $n\times n$ matrices over $\mathcal{O}$ with the characteristic polynomial $\chi$ and bounded archimedean norm. Previous works establish such an asymptotic with a positive leading constant. Our main result determines this constant in terms of the leading Laurent coefficients at $s=1$ of Dedekind zeta functions attached to orders in $F[x]/(\chi(x))$. The proof combines a refinement of the equi-distribution property of orbits with a reformulation of the counting problem in terms of generalized $\kappa$-orbital integrals. These orbital integrals are then transferred by the endoscopic fundamental lemma and related to zeta functions of orders.

The $L$-function of the surface parametrizing cuboids

math.NT

math.AG

v3

In this note, we compute the $L$-function of the projective smooth surface $S$ over $\mathbb{Q}$ that parametrizes cuboids whose geometric properties are studied in detail by Stoll and Testa. As a byproduct, we completely determine the structure of ${\rm Pic}(S_{\overline{\mathbb{Q}}})$ as a ${\rm Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$-module.

A Diophantine inequality involving different powers of primes of the form $[n^c]$

math.NT

v2

Let $[\, x\,]$ denote the integer part of a real number $x$. Assume that $\lambda_1,\lambda_2,\lambda_3$ are nonzero real numbers, not all of the same sign, that $\lambda_1/\lambda_2$ is irrational, and that $\eta$ is real. Let $\frac{219}{220}<\gamma<1$ and $\theta>0$. We establish that, there exist infinitely many triples of primes $p_1,\, p_2,\, p_3$ satisfying the inequality \begin{equation*} |\lambda_1p_1 + \lambda_2p_2 + \lambda_3p^4_3+\eta|<\big(\max \{p_1, p_2, p^4_3\}\big)^{\frac{219-220\gamma}{208}+\theta} \end{equation*} and such that $p_i=[n_i^{1/\gamma}]$, $i=1,\,2,\,3$.

Fractional parts of powers of negative rationals

math.NT

v2

We prove that for any real number $\xi\neq 0$ and any coprime integers $p>q\ge1$ such that $\xi$ is irrational or $q>1$, the image in $\mathbb{R}/\mathbb{Z}$ of the sequence $(\xi (-p/q)^n)_{n\ge 0}$ is not contained in any interval of length less than $(1+q/p-q^2/p^2)/p$.

$p$-Ordinary Part of Hyperbolic Cycles on Modular Curves

math.NT

v2

In this paper, we study hyperbolic cycles in the first homology group with local coefficients of congruence subgroups of $\mathrm{SL}_2(\mathbb{Z})$. We prove that, for any prime number $p$, the $p$-ordinary part of the first homology group is generated by hyperbolic cycles.