We prove that real topological Hochschild homology $\mathrm {THR}$ for schemes with involution satisfies base change and descent for the ${\mathbb {Z}/2}$-isovariant étale topology. As an application, we provide computations for the projective line (with and without involution) and the higher-dimensional projective spaces.

We note that Gabber's rigidity theorem for the algebraic K-theory of henselian pairs also holds true for hermitian K-theory with respect to arbitrary form parameters.

Let $(x_n)_{n\geq 0}$ be a linear recurrence of order $k\geq 2$ satisfying $x_n=a_1x_{n-1}+a_2x_{n-2}+\cdots +a_kx_{n-k}$ for all integers $n\geq k$, where $a_1,\ldots ,a_k,x_0,\ldots , x_{k-1}\in \mathbb {Z},$ with $a_k\neq 0$. Sanna [‘The quotient set of k-generalised Fibonacci numbers is dense in $\mathbb {Q}_p$’, Bull. Aust. Math. Soc. 96(1) (2017), 24–29] posed the question of classifying primes p for which the quotient set of $(x_n)_{n\geq 0}$ is dense in $\mathbb {Q}_p$. We find a sufficient condition for denseness of the quotient set of the kth-order linear recurrence $(x_n)_{n\geq 0}$ satisfying $ x_{n}=a_1x_{n-1}+a_2x_{n-2}+\cdots +a_kx_{n-k}$ for all integers $n\geq k$ with initial values $x_0=\cdots =x_{k-2}=0,x_{k-1}=1$, where $a_1,\ldots ,a_k\in \mathbb {Z}$ and $a_k=1$. We show that, given a prime p, there are infinitely many recurrence sequences of order $k\geq 2$ whose quotient sets are not dense in $\mathbb {Q}_p$. We also study the quotient sets of linear recurrence sequences with coefficients in certain arithmetic and geometric progressions.

In their renowned paper (2011, Inventiones Mathematicae 184, 591–627), I. Vollaard and T. Wedhorn defined a stratification on the special fiber of the unitary unramified PEL Rapoport–Zink space with signature $(1,n-1)$. They constructed an isomorphism between the closure of a stratum, called a closed Bruhat–Tits stratum, and a Deligne–Lusztig variety which is not of classical type. In this paper, we describe the $\ell $-adic cohomology groups over $\overline {{\mathbb Q}_{\ell }}$ of these Deligne–Lusztig varieties, where $\ell \not = p$. The computations involve the spectral sequence associated with the Ekedahl–Oort stratification of a closed Bruhat–Tits stratum, which translates into a stratification by Coxeter varieties whose cohomology is known. Eventually, we find out that the irreducible representations of the finite unitary group which appear inside the cohomology contribute to only two different unipotent Harish-Chandra series, one of them belonging to the principal series.

For any $n>1$ we determine the uniform and nonuniform lattices of the smallest covolume in the Lie group $\operatorname {\mathrm {Sp}}(n,1)$. We explicitly describe them in terms of the ring of Hurwitz integers in the nonuniform case with n even, respectively, of the icosian ring in the uniform case for all $n>1$.

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.

The Grothendieck–Serre conjecture predicts that every generically trivial torsor under a reductive group scheme G over a regular local ring R is trivial. We settle it in the case when G is quasi-split and R is unramified. Some of the techniques that allow us to overcome obstacles that have so far kept the mixed characteristic case out of reach include a version of Noether normalization over discrete valuation rings, as well as a suitable presentation lemma for smooth relative curves in mixed characteristic that facilitates passage to the relative affine line via excision and patching.

Although there is no natural internal product for hermitian forms over an algebra with involution of the first kind, we describe how to multiply two $\varepsilon $-hermitian forms to obtain a quadratic form over the base field. This allows to define a commutative graded ring structure by taking together bilinear forms and $\varepsilon $-hermitian forms, which we call the mixed Witt ring of an algebra with involution. We also describe a less powerful version of this construction for unitary involutions, which still defines a ring, but with a grading over $\mathbb {Z}$ instead of the Klein group.

We first describe a general framework for defining graded rings out of monoidal functors from monoidal categories with strong symmetry properties to categories of modules. We then give a description of such a strongly symmetric category $\mathbf {Br}_h(K,\iota )$ which encodes the usual hermitian Morita theory of algebras with involutions over a field K.

We can therefore apply the general framework to $\mathbf {Br}_h(K,\iota )$ and the Witt group functors to define our mixed Witt rings, and derive their basic properties, including explicit formulas for products of diagonal forms in terms of involution trace forms, explicit computations for the case of quaternion algebras, and reciprocity formulas relative to scalar extensions.

We intend to describe in future articles further properties of those rings, such as a $\lambda $-ring structure, and relations with the Milnor conjecture and the theory of signatures of hermitian forms.

In this paper, we prove the assertion that the number of monic cubic polynomials $F(x) = x^3 + a_2 x^2 + a_1 x + a_0$ with integer coefficients and irreducible, Galois over ${\mathbb {Q}}$ satisfying $\max \{|a_2|, |a_1|, |a_0|\} \leq X$ is bounded from above by $O(X (\log X)^2)$. We also count the number of abelian monic binary cubic forms with integer coefficients up to a natural equivalence relation ordered by the so-called Bhargava–Shankar height. Finally, we prove an assertion characterizing the splitting field of 2-torsion points of semi-stable abelian elliptic curves.

We prove uniform bounds for the Petersson norm of the cuspidal part of the theta series. This gives an improved asymptotic formula for the number of representations by a quadratic form. As an application, we show that every integer $n \neq 0,4,7 \,(\textrm{mod}\ 8)$ is represented as $n= x_1^2 + x_2^2 + x_3^3$ for integers $x_1,x_2,x_3$ such that the product $x_1x_2x_3$ has at most 72 prime divisors.

In this note, we use Dedekind’s eta function to prove a congruence relation between the number of representations by binary quadratic forms of discriminant $-31$ and Fourier coefficients of a weight $16$ cusp form. Our result is analogous to the classical result concerning Ramanujan’s tau function and binary quadratic forms of discriminant $-23$.

For a subset S of nonnegative integers and a vector $\mathbf {a}=(a_1,\ldots ,a_k)$ of positive integers, define the set $V^{\prime }_S(\mathbf {a})=\{ a_1s_1+\cdots +a_ks_k : s_i\in S\}-\{0\}$. For a positive integer n, let $\mathcal T(n)$ be the set of integers greater than or equal to n. We consider the problem of finding all vectors $\mathbf {a}$ satisfying $V^{\prime }_S(\mathbf {a})=\mathcal T(n)$ when S is the set of (generalised) m-gonal numbers and n is a positive integer. In particular, we completely resolve the case when S is the set of triangular numbers.

The main purpose of this article is to define a quadratic analogue of the Chern character, the so-called Borel character, that identifies rational higher Grothendieck-Witt groups with a sum of rational Milnor-Witt (MW)-motivic cohomologies and rational motivic cohomologies. We also discuss the notion of ternary laws due to Walter, a quadratic analogue of formal group laws, and compute what we call the additive ternary laws, associated with MW-motivic cohomology. Finally, we provide an application of the Borel character by showing that the Milnor-Witt K-theory of a field F embeds into suitable higher Grothendieck-Witt groups of F modulo explicit torsion.

The article focuses on the evaluation of convolution sums $${W_k}(n): = \mathop \sum \nolimits_{_{m < {n \over k}}} \sigma (m)\sigma (n - km)$$ involving the sum of divisor function $$\sigma (n)$$ for k =21, 33, and 35. In this article, our aim is to obtain certain Eisenstein series of level 21 and use them to evaluate the convolution sums for level 21. We also make use of the existing Eisenstein series identities for level 33 and 35 in evaluating the convolution sums for level 33 and 35. Most of the convolution sums were evaluated using the theory of modular forms, whereas we have devised a technique which is free from the theory of modular forms. As an application, we determine a formula for the number of representations of a positive integer n by the octonary quadratic form $$(x_1^2 + {x_1}{x_2} + ax_2^2 + x_3^2 + {x_3}{x_4} + ax_4^2) + b(x_5^2 + {x_5}{x_6} + ax_6^2 + x_7^2 + {x_7}{x_8} + ax_8^2)$$, for (a, b)=(1, 7), (1, 11), (2, 3), and (2, 5).

We develop the relationship between quaternionic hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on quaternionic hyperbolic spaces, especially in dimension 2. We prove a Mertens counting formula for the rational points over a definite quaternion algebra A over ${\mathbb{Q}}$ in the light cone of quaternionic Hermitian forms, as well as a Neville equidistribution theorem of the set of rational points over A in quaternionic Heisenberg groups.

In this paper we study the family of elliptic curves $E/{{\mathbb {Q}}}$, having good reduction at $2$ and $3$, and whose $j$-invariants are small. Within this set of elliptic curves, we consider the following two subfamilies: first, the set of elliptic curves $E$ such that the quotient $\Delta (E)/C(E)$ of the discriminant divided by the conductor is squarefree; and second, the set of elliptic curves $E$ such that the Szpiro quotient $\beta _E:=\log |\Delta (E)|/\log (C(E))$ is less than $7/4$. Both these families are conjectured to contain a positive proportion of elliptic curves, when ordered by conductor. Our main results determine asymptotics for both these families, when ordered by conductor. Moreover, we prove that the average size of the $2$-Selmer groups of elliptic curves in the first family, again when these curves are ordered by their conductors, is $3$. The key new ingredients necessary for the proofs are ‘uniformity estimates’, namely upper bounds on the number of elliptic curves with bounded height, whose discriminants are divisible by high powers of primes.

Let K/k be an extension of number fields. We describe theoretical results and computational methods for calculating the obstruction to the Hasse norm principle for K/k and the defect of weak approximation for the norm one torus \[R_{K/k}^1{\mathbb{G}_m}\]. We apply our techniques to give explicit and computable formulae for the obstruction to the Hasse norm principle and the defect of weak approximation when the normal closure of K/k has symmetric or alternating Galois group.

Z.-W. Sun [‘Refining Lagrange’s four-square theorem’, J. Number Theory 175 (2017), 169–190] conjectured that every positive integer n can be written as $ x^2+y^2+z^2+w^2\ (x,y,z,w\in \mathbb {N}=\{0,1,\ldots \})$ with $x+3y$ a square and also as $n=x^2+y^2+z^2+w^2\ (x,y,z,w \in \mathbb {Z})$ with $x+3y\in \{4^k:k\in \mathbb {N}\}$. In this paper, we confirm these conjectures via the arithmetic theory of ternary quadratic forms.

Let $K/F$ be an unramified quadratic extension of a non-Archimedean local field. In a previous work [1], we proved a formula for the intersection number on Lubin–Tate spaces. The main result of this article is an algorithm for computation of this formula in certain special cases. As an application, we prove the linear Arithmetic Fundamental Lemma for $ \operatorname {{\mathrm {GL}}}_4$ with the unit element in the spherical Hecke Algebra.