We give a new q-analogue of the (A.2) supercongruence of Van Hamme. Our proof employs Andrews’ multiseries generalisation of Watson’s $_{8}\phi _{7}$ transformation, Andrews’ terminating q-analogue of Watson’s $_{3}F_{2}$ summation, a q-Watson-type summation due to Wei–Gong–Li and the creative microscoping method, developed by the author and Zudilin [‘A q-microscope for supercongruences’, Adv. Math. 346 (2019), 329–358]. As a conclusion, we confirm a weaker form of Conjecture 4.5 by the author [‘Some generalizations of a supercongruence of van Hamme’, Integral Transforms Spec. Funct. 28 (2017), 888–899].

Let $a,b$ and n be positive integers and let $S=\{x_1, \ldots , x_n\}$ be a set of n distinct positive integers. For ${x\in S}$, define $G_{S}(x)=\{d\in S: d<x, \,d\mid x \ \mathrm {and} \ (d\mid y\mid x, y\in S)\Rightarrow y\in \{d,x\}\}$. Denote by $[S^a]$ the $n\times n$ matrix having the ath power of the least common multiple of $x_i$ and $x_j$ as its $(i,j)$-entry. We show that the bth power matrix $[S^b]$ is divisible by the ath power matrix $[S^a]$ if $a\mid b$ and S is gcd closed (that is, $\gcd (x_i, x_j)\in S$ for all integers i and j with $1\le i, j\le n$) and $\max _{x\in S} \{|G_S (x)|\}=1$. This confirms a conjecture of Shaofang Hong [‘Divisibility properties of power GCD matrices and power LCM matrices’, Linear Algebra Appl. 428 (2008), 1001–1008].

Swisher [‘On the supercongruence conjectures of van Hamme’, Res. Math. Sci. 2 (2015), Article no. 18] and He [‘Supercongruences on truncated hypergeometric series’, Results Math. 72 (2017), 303–317] independently proved that Van Hamme’s (G.2) supercongruence holds modulo $p^4$ for any prime $p\equiv 1\pmod {4}$. Swisher also obtained an extension of Van Hamme’s (G.2) supercongruence for $p\equiv 3 \pmod 4$ and $p>3$. In this note, we give new one-parameter generalisations of Van Hamme’s (G.2) supercongruence modulo $p^3$ for any odd prime p. Our proof uses the method of ‘creative microscoping’ introduced by Guo and Zudilin [‘A q-microscope for supercongruences’, Adv. Math. 346 (2019), 329–358].

We present a framework for tame geometry on Henselian valued fields, which we call Hensel minimality. In the spirit of o-minimality, which is key to real geometry and several diophantine applications, we develop geometric results and applications for Hensel minimal structures that were previously known only under stronger, less axiomatic assumptions. We show the existence of t-stratifications in Hensel minimal structures and Taylor approximation results that are key to non-Archimedean versions of Pila–Wilkie point counting, Yomdin’s parameterization results and motivic integration. In this first paper, we work in equi-characteristic zero; in the sequel paper, we develop the mixed characteristic case and a diophantine application.

Hausel and Rodriguez-Villegas (2015, Astérisque 370, 113–156) recently observed that work of Göttsche, combined with a classical result of Erdös and Lehner on integer partitions, implies that the limiting Betti distribution for the Hilbert schemes $(\mathbb {C}^{2})^{[n]}$ on $n$ points, as $n\rightarrow +\infty ,$ is a Gumbel distribution. In view of this example, they ask for further such Betti distributions. We answer this question for the quasihomogeneous Hilbert schemes $((\mathbb {C}^{2})^{[n]})^{T_{\alpha ,\beta }}$ that are cut out by torus actions. We prove that their limiting distributions are also of Gumbel type. To obtain this result, we combine work of Buryak, Feigin, and Nakajima on these Hilbert schemes with our generalization of the result of Erdös and Lehner, which gives the distribution of the number of parts in partitions that are multiples of a fixed integer $A\geq 2.$ Furthermore, if $p_{k}(A;n)$ denotes the number of partitions of $n$ with exactly $k$ parts that are multiples of $A$, then we obtain the asymptotic

$$ \begin{align*} p_{k}(A,n)\sim \frac{24^{\frac k2-\frac14}(n-Ak)^{\frac k2-\frac34}}{\sqrt2\left(1-\frac1A\right)^{\frac k2-\frac14}k!A^{k+\frac12}(2\pi)^{k}}e^{2\pi\sqrt{\frac1{6}\left(1-\frac1A\right)(n-Ak)}}, \end{align*} $$

Conditional on the extended Riemann hypothesis, we show that with high probability, the characteristic polynomial of a random symmetric $\{\pm 1\}$-matrix is irreducible. This addresses a question raised by Eberhard in recent work. The main innovation in our work is establishing sharp estimates regarding the rank distribution of symmetric random $\{\pm 1\}$-matrices over $\mathbb{F}_p$ for primes $2 < p \leq \exp(O(n^{1/4}))$. Previously, such estimates were available only for $p = o(n^{1/8})$. At the heart of our proof is a way to combine multiple inverse Littlewood–Offord-type results to control the contribution to singularity-type events of vectors in $\mathbb{F}_p^{n}$ with anticoncentration at least $1/p + \Omega(1/p^2)$. Previously, inverse Littlewood–Offord-type results only allowed control over vectors with anticoncentration at least $C/p$ for some large constant $C > 1$.

We investigate norms of spectral projectors on thin spherical shells for the Laplacian on tori. This is closely related to the boundedness of resolvents of the Laplacian and the boundedness of $L^{p}$ norms of eigenfunctions of the Laplacian. We formulate a conjecture and partially prove it.

The purpose of this paper is to investigate the properties of spectral and tiling subsets of cyclic groups, with an eye towards the spectral set conjecture [9] in one dimension, which states that a bounded measurable subset of $\mathbb {R}$ accepts an orthogonal basis of exponentials if and only if it tiles $\mathbb {R}$ by translations. This conjecture is strongly connected to its discrete counterpart, namely that, in every finite cyclic group, a subset is spectral if and only if it is a tile. The tools presented herein are refinements of recent ones used in the setting of cyclic groups; the structure of vanishing sums of roots of unity [20] is a prevalent notion throughout the text, as well as the structure of tiling subsets of integers [1]. We manage to prove the conjecture for cyclic groups of order $p^{m}q^{n}$, when one of the exponents is $\leq 6$ or when $p^{m-2}<q^{4}$, and also prove that a tiling subset of a cyclic group of order $p_{1}^{m}p_{2}\dotsm p_{n}$ is spectral.

Recently Ovsienko and Tabachnikov considered extensions of Somos and Gale-Robinson sequences, defined over the algebra of dual numbers. Ovsienko used the same idea to construct so-called shadow sequences derived from other nonlinear recurrence relations exhibiting the Laurent phenomenon, with the original motivation being the hope that these examples should lead to an appropriate notion of a cluster superalgebra, incorporating Grassmann variables. Here, we present various explicit expressions for the shadow of Somos-4 sequences and describe the solution of a general Somos-4 recurrence defined over the $\mathbb{C}$-algebra of dual numbers from several different viewpoints: analytic formulae in terms of elliptic functions, linear difference equations, and Hankel determinants.

We prove that in each degree divisible by 2 or 3, there are infinitely many totally real number fields that require universal quadratic forms to have arbitrarily large rank.

We compute, via motivic wall-crossing, the generating function of virtual motives of the Quot scheme of points on ${\mathbb{A}}^3$, generalising to higher rank a result of Behrend–Bryan–Szendrői. We show that this motivic partition function converges to a Gaussian distribution, extending a result of Morrison.

Investigating a conjecture of Zannier, we study irreducible subvarieties of abelian schemes that dominate the base and contain a Zariski dense set of torsion points that lie on pairwise isogenous fibers. If everything is defined over the algebraic numbers and the abelian scheme has maximal variation, we prove that the geometric generic fiber of such a subvariety is a union of torsion cosets. We go on to prove fully or partially explicit versions of this result in fibered powers of the Legendre family of elliptic curves. Finally, we apply a recent result of Galateau and Martínez to obtain uniform bounds on the number of maximal torsion cosets in the Manin–Mumford problem across a given isogeny class. For the proofs, we adapt the strategy, due to Lang, Serre, Tate, and Hindry, of using Galois automorphisms that act on the torsion as homotheties to the family setting.

We prove that for any prime power $q\notin \{3,4,5\}$, the cubic extension $\mathbb {F}_{q^{3}}$ of the finite field $\mathbb {F}_{q}$ contains a primitive element $\xi $ such that $\xi +\xi ^{-1}$ is also primitive, and $\operatorname {\mathrm {Tr}}_{\mathbb {F}_{q^{3}}/\mathbb {F}_{q}}(\xi )=a$ for any prescribed $a\in \mathbb {F}_{q}$. This completes the proof of a conjecture of Gupta et al. [‘Primitive element pairs with one prescribed trace over a finite field’, Finite Fields Appl. 54 (2018), 1–14] concerning the analogous problem over an extension of arbitrary degree $n\ge 3$.

We obtain some improved results for the exponential sum $\sum _{x<n\leq 2x}\Lambda (n)e(\alpha k n^{\theta })$ with $\theta \in (0,5/12),$ where $\Lambda (n)$ is the von Mangoldt function. Such exponential sums have relations with the so-called quasi-Riemann hypothesis and were considered by Murty and Srinivas [‘On the uniform distribution of certain sequences’, Ramanujan J. 7 (2003), 185–192].

We develop tools for constructing rigid analytic trivializations for Drinfeld modules as infinite products of Frobenius twists of matrices, from which we recover the rigid analytic trivialization given by Pellarin in terms of Anderson generating functions. One advantage is that these infinite products can be obtained from only a finite amount of initial calculation, and consequently we obtain new formulas for periods and quasi-periods, similar to the product expansion of the Carlitz period. We further link to results of Gekeler and Maurischat on the $\infty $-adic field generated by the period lattice.

We show that the system of equations

$$ \begin{align*} \sum_{i=1}^{s} (x_{i}^{\,j}-y_{i}^{\,j}) = a_{j} \quad (1 \leqslant j \leqslant k) \end{align*} $$

has appreciably fewer solutions in the subcritical range $s < \tfrac 12k(k+1)$ than its homogeneous counterpart, provided that $a_{\ell } \neq 0$ for some $\ell \leqslant k-1$. Our methods use Vinogradov’s mean value theorem in combination with a shifting argument.

Let f be an elliptic modular form and p an odd prime that is coprime to the level of f. We study the link between divisors of the characteristic ideal of the p-primary fine Selmer group of f over the cyclotomic $\mathbb {Z}_p$ extension of $\mathbb {Q}$ and the greatest common divisor of signed Selmer groups attached to f defined using the theory of Wach modules. One of the key ingredients of our proof is a generalisation of a result of Wingberg on the structure of fine Selmer groups of abelian varieties with supersingular reduction at p to the context of modular forms.

Hilbert schemes are an object arising from geometry and are closely related to physics and modular forms. Recently, there have been investigations from number theorists about the Betti numbers and Hodge numbers of the Hilbert schemes of points of an algebraic surface. In this paper, we prove that Göttsche's generating function of the Hodge numbers of Hilbert schemes of $n$ points of an algebraic surface is algebraic at a CM point $\tau$ and rational numbers $z_1$ and $z_2$. Our result gives a refinement of the algebraicity on Betti numbers.

By combining the generating function approach with the Lagrange expansion formula, we evaluate, in closed form, two multiple alternating sums of binomial coefficients, which can be regarded as alternating counterparts of the circular sum evaluation discovered by Carlitz [‘The characteristic polynomial of a certain matrix of binomial coefficients’, Fibonacci Quart. 3(2) (1965), 81–89].

Let p be a rational prime. Let F be a totally real number field such that F is unramified over p and the residue degree of any prime ideal of F dividing p is $\leq 2$. In this paper, we show that the eigenvariety for $\mathrm {Res}_{F/\mathbb {Q}}(\mathit {GL}_{2})$, constructed by Andreatta, Iovita, and Pilloni, is proper at integral weights for $p\geq 3$. We also prove a weaker result for $p=2$.