Let $X$ be a smooth geometrically connected projective curve over the field of fractions of a discrete valuation ring $R$, and $\mathfrak {m}$ a modulus on $X$, given by a closed subscheme of $X$ which is geometrically reduced. The generalized Jacobian $J_\mathfrak {m}$ of $X$ with respect to $\mathfrak {m}$ is then an extension of the Jacobian of $X$ by a torus. We describe its Néron model, together with the character and component groups of the special fibre, in terms of a regular model of $X$ over $R$. This generalizes Raynaud's well-known description for the usual Jacobian. We also give some computations for generalized Jacobians of modular curves $X_0(N)$ with moduli supported on the cusps.

The sequence $a( 1) ,a( 2) ,a( 3) ,\ldots, $ labelled A088431 in the Online Encyclopedia of Integer Sequences, is defined by: $a( n) $ is half of the $( n+1) $th component, that is, the $( n+2) $th term, of the continued fraction expansion of

$$ \begin{align*} \sum_{k=0}^{\infty }\frac{1}{2^{2^{k}}}. \end{align*} $$

Dimitri Hendriks has suggested that it is the sequence of run lengths of the paperfolding sequence, A014577. This paper proves several results for this summed paperfolding sequence and confirms Hendriks’s conjecture.

In this paper, we investigate the distributive properties of square-free divisors over square-full integers. We first compute the mean value of the number of such divisors and obtain the error term which appears in its asymptotic formula. We then show that if one assumes the Riemann Hypothesis, then the omega estimate of such an error term can be drastically improved. Finally, we compute the omega estimate of the mean square of such an error term.

Let $C\; : \;y^2=f(x)$ be a hyperelliptic curve of genus $g\geq 1$, defined over a complete discretely valued field $K$, with ring of integers $O_K$. Under certain conditions on $C$, mild when residue characteristic is not $2$, we explicitly construct the minimal regular model with normal crossings $\mathcal{C}/O_K$ of $C$. In the same setting we determine a basis of integral differentials of $C$, that is an $O_K$-basis for the global sections of the relative dualising sheaf $\omega _{\mathcal{C}/O_K}$.

We consider spectral projectors associated to the Euclidean Laplacian on the two-dimensional torus, in the case where the spectral window is narrow. Bounds for their L2 to Lp operator norm are derived, extending the classical result of Sogge; a new question on the convolution kernel of the projector is introduced. The methods employed include $\ell^2$ decoupling, small cap decoupling and estimates of exponential sums.

This paper concerns the $L^4$ norm of Littlewood polynomials on the unit circle which are given by

$$ \begin{align*}q_n(z)=\sum_{k=0}^{n-1}\pm z^k;\end{align*} $$

$\{-1,1\}$

$$ \begin{align*}||q_n||_4^4=\frac{1}{2\pi}\int_0^{2\pi}|q_n(e^{i\theta})|^4 d\theta.\end{align*} $$

$||q_n||_4/\sqrt {n}\rightarrow \sqrt [4]{2}$

$n\to \infty $

In this paper, we provide a general framework for counting geometric structures in pseudo-random graphs. As applications, our theorems recover and improve several results on the finite field analog of questions originally raised in the continuous setting. The results present interactions between discrete geometry, geometric measure theory, and graph theory.

The aim of the present paper is to derive effective discrepancy estimates for the distribution of rational points on general semisimple algebraic group varieties, in general families of subsets and at arbitrarily small scales. We establish mean-square, almost sure and uniform estimates for the discrepancy with explicit error bounds. We also prove an analogue of W. Schmidt's theorem, which establishes effective almost sure asymptotic counting of rational solutions to Diophantine inequalities in the Euclidean space. We formulate and prove a version of it for rational points on the group variety, with an effective bound which in some instances can be expected to be the best possible.

In this paper we take up the classical sup-norm problem for automorphic forms and view it from a new angle. Given a twist minimal automorphic representation $\pi$ we consider a special small $\mathrm{GL}_2(\mathbb{Z}_p)$-type V in $\pi$ and prove global sup-norm bounds for an average over an orthonormal basis of V. We achieve a non-trivial saving when the dimension of V grows.

We discuss the p-adic Weierstrass zeta functions associated with elliptic curves defined over the field of algebraic numbers and linear relations for their values in the p-adic domain. These results are extensions of the p-adic analogues of results given by Wüstholz in the complex domain [see A. Baker and G. Wüstholz, Logarithmic Forms and Diophantine Geometry, New Mathematical Monographs, 9 (Cambridge University Press, Cambridge, 2007), Theorem 6.3] and also generalise a result of Bertrand to higher dimensions [‘Sous-groupes à un paramètre p-adique de variétés de groupe’, Invent. Math. 40(2) (1977), 171–193].

In the article [CEGS20b], we introduced various moduli stacks of two-dimensional tamely potentially Barsotti–Tate representations of the absolute Galois group of a p-adic local field, as well as related moduli stacks of Breuil–Kisin modules with descent data. We study the irreducible components of these stacks, establishing, in particular, that the components of the former are naturally indexed by certain Serre weights.

We construct a new family of quintic non-Pólya fields with large Pólya groups. We show that the Pólya number of such a field never exceeds five times the size of its Pólya group. Finally, we show that these non-Pólya fields are nonmonogenic of field index one.

A positive even number is said to be a Maillet number if it can be written as the difference between two primes, and a Kronecker number if it can be written in infinitely many ways as the difference between two primes. It is believed that all even numbers are Kronecker numbers. We study the division and multiplication of Kronecker numbers and show that these numbers are rather abundant. We prove that there is a computable constant k and a set D consisting of at most 720 computable Maillet numbers such that, for any integer n, $kn$ can be expressed as a product of a Kronecker number and a Maillet number in D. We also prove that every positive rational number can be written as a ratio of two Kronecker numbers.

We prove the following conjecture of Z.-W. Sun [‘On congruences related to central binomial coefficients’, J. Number Theory 13(11) (2011), 2219–2238]. Let p be an odd prime. Then

$$ \begin{align*} \sum_{k=1}^{p-1}\frac{\binom{2k}k}{k2^k}\equiv-\frac12H_{{(p-1)}/2}+\frac7{16}p^2B_{p-3}\pmod{p^3}, \end{align*} $$

where $H_n$ is the nth harmonic number and $B_n$ is the nth Bernoulli number. In addition, we evaluate $\sum _{k=0}^{p-1}(ak+b)\binom {2k}k/2^k$ modulo $p^3$ for any p-adic integers $a, b$.

Let $U$ be a smooth affine curve over a number field $K$ with a compactification $X$ and let ${\mathbb {L}}$ be a rank $2$, geometrically irreducible lisse $\overline {{\mathbb {Q}}}_\ell$-sheaf on $U$ with cyclotomic determinant that extends to an integral model, has Frobenius traces all in some fixed number field $E\subset \overline {\mathbb {Q}}_{\ell }$, and has bad, infinite reduction at some closed point $x$ of $X\setminus U$. We show that ${\mathbb {L}}$ occurs as a summand of the cohomology of a family of abelian varieties over $U$. The argument follows the structure of the proof of a recent theorem of Snowden and Tsimerman, who show that when $E=\mathbb {Q}$, then ${\mathbb {L}}$ is isomorphic to the cohomology of an elliptic curve $E_U\rightarrow U$.

In this paper, we mainly prove the following conjectures of Sun [16]: Let p > 3 be a prime. Then

\begin{align*}&A_{2p}\equiv A_2-\frac{1648}3p^3B_{p-3}\ ({\rm{mod}}\ p^4),\\&A_{2p-1}\equiv A_1+\frac{16p^3}3B_{p-3}\ ({\rm{mod}}\ p^4),\\&A_{3p}\equiv A_3-36738p^3B_{p-3}\ ({\rm{mod}}\ p^4),\end{align*}

where $A_n=\sum_{k=0}^n\binom{n}k^2\binom{n+k}{k}^2$ is the nth Apéry number, and Bn is the nth Bernoulli number.

Given any polynomial in two variables of degree at most three with rational integer coefficients, we obtain a new search bound to decide effectively if it has a zero with rational integer coefficients. On the way we encounter a natural problem of estimating singular points. We solve it using elementary invariant theory but an optimal solution would seem to be far from easy even using the full power of the standard Height Machine.

We introduce a new concept of rank – relative rank associated to a filtered collection of polynomials. When the filtration is trivial, our relative rank coincides with Schmidt rank (also called strength). We also introduce the notion of relative bias. The main result of the paper is a relation between these two quantities over finite fields (as a special case, we obtain a new proof of the results in [21]). This relation allows us to get an accurate estimate for the number of points on an affine variety given by a collection of polynomials which is of high relative rank (Lemma 3.2). The key advantage of relative rank is that it allows one to perform an efficient regularization procedure which is polynomial in the initial number of polynomials (the regularization process with Schmidt rank is far worse than tower exponential). The main result allows us to replace Schmidt rank with relative rank in many key applications in combinatorics, algebraic geometry, and algebra. For example, we prove that any collection of polynomials $\mathcal P=(P_i)_{i=1}^c$ of degrees $\le d$ in a polynomial ring over an algebraically closed field of characteristic $>d$ is contained in an ideal $\mathcal I({\mathcal Q})$, generated by a collection ${\mathcal Q}$ of polynomials of degrees $\le d$ which form a regular sequence, and ${\mathcal Q}$ is of size $\le A c^{A}$, where $A=A(d)$ is independent of the number of variables.

A generalisation of the well-known Pell sequence $\{P_n\}_{n\ge 0}$ given by $P_0=0$, $P_1=1$ and $P_{n+2}=2P_{n+1}+P_n$ for all $n\ge 0$ is the k-generalised Pell sequence $\{P^{(k)}_n\}_{n\ge -(k-2)}$ whose first k terms are $0,\ldots ,0,1$ and each term afterwards is given by the linear recurrence $P^{(k)}_n=2P^{(k)}_{n-1}+P^{(k)}_{n-2}+\cdots +P^{(k)}_{n-k}$. For the Pell sequence, the formula $P^2_n+P^2_{n+1}=P_{2n+1}$ holds for all $n\ge 0$. In this paper, we prove that the Diophantine equation

$$ \begin{align*} (P^{(k)}_n)^2+(P^{(k)}_{n+1})^2=P^{(k)}_m \end{align*} $$

has no solution in positive integers $k, m$ and n with $n>1$ and $k\ge 3$.

The Thue–Morse sequence $\{t(n)\}_{n\geqslant 0}$ is the indicator function of the parity of the number of ones in the binary expansion of nonnegative integers n, where $t(n)=1$ (resp. $=0$) if the binary expansion of n has an odd (resp. even) number of ones. In this paper, we generalize a recent result of E. Miyanohara by showing that, for a fixed Pisot or Salem number $\beta>\sqrt {\varphi }=1.272019\ldots $, the set of the numbers

$$\begin{align*}1,\quad \sum_{n\geqslant1}\frac{t(n)}{\beta^{n}},\quad \sum_{n\geqslant1}\frac{t(n^2)}{\beta^{n}},\quad \dots, \quad \sum_{n\geqslant1}\frac{t(n^k)}{\beta^{n}},\quad \dots \end{align*}$$

$\mathbb {Q}(\beta )$

$\varphi :=(1+\sqrt {5})/2$

$k\geqslant 1$

$a_1,a_2,\ldots ,a_k\in \mathbb {Q}(\beta )$

$a_1t(n)+a_2t(n^2)+\cdots +a_kt(n^k)\}_{n\geqslant 1}$