We find a new refinement of Fine’s partition theorem on partitions into distinct parts with the minimum part odd. As a consequence, we obtain two companion partition identities. Both analytic and combinatorial proofs are provided.

Let $g \geq 2$ be an integer. A natural number is said to be a base-g Niven number if it is divisible by the sum of its base-g digits. Assuming Hooley’s Riemann hypothesis, we prove that the set of base-g Niven numbers is an additive basis, that is, there exists a positive integer $C_g$ such that every natural number is the sum of at most $C_g$ base-g Niven numbers.

The multiple T-value, which is a variant of the multiple zeta value of level two, was introduced by Kaneko and Tsumura [‘Zeta functions connecting multiple zeta values and poly-Bernoulli numbers’, in: Various Aspects of Multiple Zeta Functions, Advanced Studies in Pure Mathematics, 84 (Mathematical Society of Japan, Tokyo, 2020), 181–204]. We show that the generating function of a weighted sum of multiple T-values of fixed weight and depth is given in terms of the multiple T-values of depth one by solving a differential equation of Heun type.

Let G be a reductive p-adic group which splits over an unramified extension of the ground field. Hiraga, Ichino and Ikeda [24] conjectured that the formal degree of a square-integrable G-representation $\pi $ can be expressed in terms of the adjoint $\gamma $-factor of the enhanced L-parameter of $\pi $. A similar conjecture was posed for the Plancherel densities of tempered irreducible G-representations.

We prove these conjectures for unipotent G-representations. We also derive explicit formulas for the involved adjoint $\gamma $-factors.

Let G be a Lie group, let $\Gamma \subset G$ be a discrete subgroup, let $X=G/\Gamma $ and let f be an affine map from X to itself. We give conditions on a submanifold Z of X that guarantee that the set of points $x\in X$ with f-trajectories avoiding Z is hyperplane absolute winning (a property which implies full Hausdorff dimension and is stable under countable intersections). A similar result is proved for one-parameter actions on X. This has applications in constructing exceptional geodesics on locally symmetric spaces and in non-density of the set of values of certain functions at integer points.

We prove that the special-value conjecture for the zeta function of a proper, regular, flat arithmetic surface formulated in [6] at $s=1$ is equivalent to the Birch and Swinnerton-Dyer conjecture for the Jacobian of the generic fibre. There are two key results in the proof. The first is the triviality of the correction factor of [6, Conjecture 5.12], which we show for arbitrary regular proper arithmetic schemes. In the proof we need to develop some results for the eh-topology on schemes over finite fields which might be of independent interest. The second result is a different proof of a formula due to Geisser, relating the cardinalities of the Brauer and the Tate–Shafarevich group, which applies to arbitrary rather than only totally imaginary base fields.

We define két abelian schemes, két 1-motives and két log 1-motives and formulate duality theory for these objects. Then we show that tamely ramified strict 1-motives over a discrete valuation field can be extended uniquely to két log 1-motives over the corresponding discrete valuation ring. As an application, we present a proof to a result of Kato stated in [12, §4.3] without proof. To a tamely ramified strict 1-motive over a discrete valuation field, we associate a monodromy pairing and compare it with Raynaud’s geometric monodromy.

We show that for infinitely many primes p there exist dual functions of order k over ${\mathbb{F}}_p^n$ that cannot be approximated in $L_\infty $-distance by polynomial phase functions of degree $k-1$. This answers in the negative a natural finite-field analogue of a problem of Frantzikinakis on $L_\infty $-approximations of dual functions over ${\mathbb{N}}$ (a.k.a. multiple correlation sequences) by nilsequences.

For a unitary unramified genuine principal series representation of a covering group, we study the associated R-group. We prove a formula relating the R-group to the dimension of the Whittaker space for the irreducible constituents of such a principal series representation. Moreover, for certain saturated covers of a semisimple simply connected group, we also propose a simpler conjectural formula for such dimensions. This latter conjectural formula is verified in several cases, including covers of the symplectic groups.

We prove that if F is a nonzero (possibly noncuspidal) vector-valued Siegel modular form of any degree, then it has infinitely many nonzero Fourier coefficients which are indexed by half-integral matrices having odd, square-free (and thus fundamental) discriminant. The proof uses an induction argument in the setting of vector-valued modular forms. Further, as an application of a variant of our result and complementing the work of A. Pollack, we show how to obtain an unconditional proof of the functional equation of the spinor L-function of a holomorphic cuspidal Siegel eigenform of degree $3$ and level $1$.

We construct a $(\mathfrak {gl}_2, B(\mathbb {Q}_p))$ and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at $0$ of a sheaf on $\mathbb {P}^1$, landing in the compactly supported completed $\mathbb {C}_p$-cohomology of the modular curve. The local cohomology group is a highest-weight Verma module, and the cup product is non-trivial on a highest-weight vector for any overconvergent modular form of infinitesimal weight not equal to $1$. For classical weight $k\geq 2$, the Verma has an algebraic quotient $H^1(\mathbb {P}^1, \mathcal {O}(-k))$, and on classical forms, the pairing factors through this quotient, giving a geometric description of ‘half’ of the locally algebraic vectors in completed cohomology; the other half is described by a pairing with the roles of $H^1$ and $H^0$ reversed between the modular curve and $\mathbb {P}^1$. Under minor assumptions, we deduce a conjecture of Gouvea on the Hodge-Tate-Sen weights of Galois representations attached to overconvergent modular forms. Our main results are essentially a strict subset of those obtained independently by Lue Pan, but the perspective here is different, and the proofs are short and use simple tools: a Mayer-Vietoris cover, a cup product, and a boundary map in group cohomology.

We study the depth filtration on multiple zeta values, on the motivic Galois group of mixed Tate motives over $\mathbb {Z}$ and on the Grothendieck–Teichmüller group, and its relation to modular forms. Using period polynomials for cusp forms for $\mathrm {SL} _2(\mathbb {Z})$, we construct an explicit Lie algebra of solutions to the linearized double shuffle equations, which gives a conjectural description of all identities between multiple zeta values modulo $\zeta (2)$ and modulo lower depth. We formulate a single conjecture about the homology of this Lie algebra which implies conjectures due to Broadhurst and Kreimer, Racinet, Zagier, and Drinfeld on the structure of multiple zeta values and on the Grothendieck–Teichmüller Lie algebra.

We show that the dynamical degree of an (i.i.d) random sequence of dominant, rational self-maps on projective space is almost surely constant. We then apply this result to height growth and height counting problems in random orbits.

We investigate additive properties of sets $A,$ where $A=\{a_1,a_2,\ldots ,a_k\}$ is a monotone increasing set of real numbers, and the differences of consecutive elements are all distinct. It is known that $|A+B|\geq c|A||B|^{1/2}$ for any finite set of numbers $B.$ The bound is tight up to the constant multiplier. We give a new proof to this result using bounds on crossing numbers of geometric graphs. We construct examples showing the limits of possible improvements. In particular, we show that there are arbitrarily large sets with different consecutive differences and sub-quadratic sumset size.

Let S be the sum-of-digits function in base 2, which returns the number of 1s in the base-2 expansion of a nonnegative integer. For a nonnegative integer t, define the asymptotic density

$${c_t} = \mathop {\lim }\limits_{N \to \infty } {1 \over N}|\{ 0 \le n < N:s(n + t) \ge s(n)\} |.$$

We prove a quantitative partial result in support of the dynamical Mordell–Lang conjecture (also known as the DML conjecture) in positive characteristic. More precisely, we show the following: given a field K of characteristic p, a semiabelian variety X defined over a finite subfield of K and endowed with a regular self-map $\Phi :X{\longrightarrow } X$ defined over K, a point $\alpha \in X(K)$ and a subvariety $V\subseteq X$, then the set of all nonnegative integers n such that $\Phi ^n(\alpha )\in V(K)$ is a union of finitely many arithmetic progressions along with a subset S with the property that there exists a positive real number A (depending only on X, $\Phi $, $\alpha $ and V) such that for each positive integer M,

$$\begin{align*}\scriptsize\#\{n\in S\colon n\le M\}\le A\cdot (1+\log M)^{\dim V}.\end{align*}$$

We provide an easy method for the construction of characteristic polynomials of simple ordinary abelian varieties ${{\mathcal A}}$ of dimension g over a finite field ${{\mathbb F}}_q$, when $q\ge 4$ and $2g=\rho ^{b-1}(\rho -1)$, for some prime $\rho \ge 5$ with $b\ge 1$. Moreover, we show that ${{\mathcal A}}$ is absolutely simple if $b=1$ and g is prime, but ${{\mathcal A}}$ is not absolutely simple for any prime $\rho \ge 5$ with $b>1$.

For $R(z, w)\in \mathbb {C}(z, w)$ of degree at least 2 in w, we show that the number of rational functions $f(z)\in \mathbb {C}(z)$ solving the difference equation $f(z+1)=R(z, f(z))$ is finite and bounded just in terms of the degrees of R in the two variables. This complements a result of Yanagihara, who showed that any finite-order meromorphic solution to this sort of difference equation must be a rational function. We prove a similar result for the differential equation $f'(z)=R(z, f(z))$, building on a result of Eremenko.

Eigenfunctions of the Fourier transform with prescribed zeros played a major role in the proof that the E8 and the Leech lattice give the best sphere packings in respective dimensions 8 and 24 by Cohn, Kumar, Miller, Radchenko and Viazovska. The functions used for a linear programming argument were constructed as Laplace transforms of certain modular and quasimodular forms. Similar constructions were used by Cohn and Gonçalves to find a function satisfying an optimal uncertainty principle in dimension 12. This paper gives a unified view on these constructions and develops the machinery to find the underlying forms in all dimensions divisible by 4. Furthermore, the positivity of the Fourier coefficients of the quasimodular forms occurring in this context is discussed.