Let $\mathcal {O}$ be a maximal order in the quaternion algebra over $\mathbb Q$ ramified at p and $\infty $. We prove two theorems that allow us to recover the structure of $\mathcal {O}$ from limited information. The first says that for any infinite set S of integers coprime to p, $\mathcal {O}$ is spanned as a ${\mathbb {Z}}$-module by elements with norm in S. The second says that $\mathcal {O}$ is determined up to isomorphism by its theta function.

An integer partition of a positive integer n is called t-core if none of its hook lengths is divisible by t. Gireesh et al. [‘A new analogue of t-core partitions’, Acta Arith. 199 (2021), 33–53] introduced an analogue $\overline {a}_t(n)$ of the t-core partition function. They obtained multiplicative formulae and arithmetic identities for $\overline {a}_t(n)$ where $t \in \{3,4,5,8\}$ and studied the arithmetic density of $\overline {a}_t(n)$ modulo $p_i^{\,j}$ where $t=p_1^{a_1}\cdots p_m^{a_m}$ and $p_i\geq 5$ are primes. Bandyopadhyay and Baruah [‘Arithmetic identities for some analogs of the 5-core partition function’, J. Integer Seq. 27 (2024), Article no. 24.4.5] proved new arithmetic identities satisfied by $\overline {a}_5(n)$. We study the arithmetic densities of $\overline {a}_t(n)$ modulo arbitrary powers of 2 and 3 for $t=3^\alpha m$ where $\gcd (m,6)$=1. Also, employing a result of Ono and Taguchi [‘2-adic properties of certain modular forms and their applications to arithmetic functions’, Int. J. Number Theory 1 (2005), 75–101] on the nilpotency of Hecke operators, we prove an infinite family of congruences for $\overline {a}_3(n)$ modulo arbitrary powers of 2.

We prove a formula, which, given a principally polarized abelian variety $(A,\lambda )$ over the field of algebraic numbers, relates the stable Faltings height of $A$ with the Néron–Tate height of a symmetric theta divisor on $A$. Our formula completes earlier results due to Bost, Hindry, Autissier and Wagener. The local non-archimedean terms in our formula can be expressed as the tropical moments of the tropicalizations of $(A,\lambda )$.

We consider a deformation $E_{L,\unicode[STIX]{x1D6EC}}^{(m)}(it)$ of the Dedekind eta function depending on two $d$-dimensional simple lattices $(L,\unicode[STIX]{x1D6EC})$ and two parameters $(m,t)\in (0,\infty )$, initially proposed by Terry Gannon. We show that the minimisers of the lattice theta function are the maximisers of $E_{L,\unicode[STIX]{x1D6EC}}^{(m)}(it)$ in the space of lattices with fixed density. The proof is based on the study of a lattice generalisation of the logarithm, called the lattice logarithm, also defined by Terry Gannon. We also prove that the natural logarithm is characterised by a variational problem over a class of one-dimensional lattice logarithms.

Let $\mathbb{Z}$ and $\mathbb{Z}^{+}$ be the set of integers and the set of positive integers, respectively. For $a,b,c,d,n\in \mathbb{Z}^{+}$, let $t(a,b,c,d;n)$ be the number of representations of $n$ by $\frac{1}{2}ax(x+1)+\frac{1}{2}by(y+1)+\frac{1}{2}cz(z+1)+\frac{1}{2}dw(w+1)$ with $x,y,z,w\in \mathbb{Z}$. Using theta function identities we prove 13 transformation formulas for $t(a,b,c,d;n)$ and evaluate $t(2,3,3,8;n)$, $t(1,1,6,24;n)$ and $t(1,1,6,8;n)$.

We investigate the arithmetic properties of the second-order mock theta function $B(q)$ and establish two identities for the coefficients of this function along arithmetic progressions. As applications, we prove several congruences for these coefficients.

Fock and Goncharov conjectured that the indecomposable universally positive (i.e. atomic) elements of a cluster algebra should form a basis for the algebra. This was shown to be false by Lee, Li and Zelevinsky. However, we find that the theta bases of Gross, Hacking, Keel and Kontsevich do satisfy this conjecture for a slightly modified definition of universal positivity in which one replaces the positive atlas consisting of the clusters by an enlargement we call the scattering atlas. In particular, this uniquely characterizes the theta functions.

Let $b_{3,5}(n)$ denote the number of partitions of $n$ into parts that are not multiples of 3 or 5. We establish several infinite families of congruences modulo 2 for $b_{3,5}(n)$. In the process, we also prove numerous parity results for broken 7-diamond partitions.

In this paper we study the Wiener-Hopf factorization for a class of Lévy processes with double-sided jumps, characterized by the fact that the density of the Lévy measure is given by an infinite series of exponential functions with positive coefficients. We express the Wiener-Hopf factors as infinite products over roots of a certain transcendental equation, and provide a series representation for the distribution of the supremum/infimum process evaluated at an independent exponential time. We also introduce five eight-parameter families of Lévy processes, defined by the fact that the density of the Lévy measure is a (fractional) derivative of the theta function, and we show that these processes can have a wide range of behavior of small jumps. These families of processes are of particular interest for applications, since the characteristic exponent has a simple expression, which allows efficient numerical computation of the Wiener-Hopf factors and distributions of various functionals of the process.

Generating functions are used to derive formulas for the number of representations of a positive integer by each of the quadratic forms x12+x22+x32+2x42, x12+2x22+2x32+2x42, x12+x22+2x32+4x42 and x12+2x22+4x32+4x42. The formulas show that the number of representations by each form is always positive. Some of the analogous results involving sums of triangular numbers are also given.

we study some automorphic cohomology classes of degree one on the griffiths–schmid varieties attached to some unitary groups in three variables. using partial compactifications of those varieties, constructed by kato and usui, we define for such a cohomology class some analogues of fourier–shimura coefficients, which are cohomology classes on certain elliptic curves. we show that a large space of such automorphic classes can be generated by those with rational ‘coefficients’. more precisely, we consider those cohomology classes that come from picard modular forms, via some penrose-like transform studied in a previous article: we prove that the coefficients of the classes thus obtained can be computed from the coefficients of the picard form by a similar transform defined at the level of the elliptic curve.

We study primitive theta functions, which were first introduced by Shintani, in a purely local setting. We investigate a metaplectic representation of U(1) acting on the space of local primitive theta functions and give its explicit irreducible decomposition. As a by-product, we give a new proof of epsilon dichotomy for (U(1),U}(1)).