We describe the modulo $2$ de Rham-Witt complex of a field of characteristic $2$, in terms of the powers of the augmentation ideal of the $\mathbb {Z}/2$-geometric fixed points of real topological restriction homology ${\mathrm {TRR}}$. This is analogous to the conjecture of Milnor, proved in [Kat82] for fields of characteristic $2$, which describes the modulo $2$ Milnor K-theory in terms of the powers of the augmentation ideal of the Witt group of symmetric forms. Our proof provides a somewhat explicit description of these objects, as well as a calculation of the homotopy groups of the geometric fixed points of ${\mathrm {TRR}}$ and of real topological cyclic homology, for all fields.

We show that for all real biquadratic fields not containing $\sqrt{2}$, $\sqrt{3}$, $\sqrt{5}$, $\sqrt{6}$, $\sqrt{7}$ and $\sqrt{13}$, the Pythagoras number of the ring of algebraic integers is at least 6. We also provide an upper bound on the norm and the minimal (codifferent) trace of additively indecomposable integers in some families of these fields.

What proportion of integers $n \leq N$ may be expressed as $x^2 + dy^2$ for some $d \leq \Delta $, with $x,y$ integers? Writing $\Delta = (\log N)^{\log 2} 2^{\alpha \sqrt {\log \log N}}$ for some $\alpha \in (-\infty , \infty )$, we show that the answer is $\Phi (\alpha ) + o(1)$, where $\Phi $ is the Gaussian distribution function $\Phi (\alpha ) = \frac {1}{\sqrt {2\pi }} \int ^{\alpha }_{-\infty } e^{-x^2/2} dx$.

A consequence of this is a phase transition: Almost none of the integers $n \leq N$ can be represented by $x^2 + dy^2$ with $d \leq (\log N)^{\log 2 - \varepsilon }$, but almost all of them can be represented by $x^2 + dy^2$ with $d \leq (\log N)^{\log 2 + \varepsilon}\kern-1.5pt$.

We demonstrate the existence of K-multimagic squares of order N consisting of $N^2$ distinct integers whenever $N> 2K(K+1)$. This improves our earlier result [D. Flores, ‘A circle method approach to K-multimagic squares’, preprint (2024), arXiv:2406.08161] in which we only required $N+1$ distinct integers. Additionally, we present a direct method by which our analysis of the magic square system may be used to show the existence of $N \times N$ magic squares consisting of distinct kth powers when

$$ \begin{align*}N> \begin{cases} 2^{k+1} & \text{if}\ 2 \leqslant k \leqslant 4, \\ 2 \lceil k(\log k + 4.20032) \rceil & \text{if}\ k \geqslant 5, \end{cases}\end{align*} $$

improving on a recent result by Rome and Yamagishi [‘On the existence of magic squares of powers’, preprint (2024), arxiv:2406.09364].

Let $(x_n)_{n\geq 0}$ be a linear recurrence sequence of order $k\geq 2$ satisfying

$$ \begin{align*}x_n=a_1x_{n-1}+a_2x_{n-2}+\dots+a_kx_{n-k}\end{align*} $$

$n\geq k$

$a_1,\dots ,a_k,x_0,\dots , x_{k-1}\in \mathbb {Z},$

$a_k\neq 0$

$(x_n)_{n\geq 0}$

$\mathbb {Q}_p$

$\pm \alpha $

$\alpha $

$\mathbb {Q}_p$

$(x_n)_{n\geq 0}$

$\mathbb {Q}_p$

$\mathbb {Q}$

To any k-dimensional subspace of $\mathbb {Q}^n$ one can naturally associate a point in the Grassmannian $\mathrm {Gr}_{n,k}(\mathbb {R})$ and two shapes of lattices of rank k and $n-k$, respectively. These lattices originate by intersecting the k-dimensional subspace and its orthogonal with the lattice $\mathbb {Z}^n$. Using unipotent dynamics, we prove simultaneous equidistribution of all of these objects under congruence conditions when $(k,n) \neq (2,4)$.

We construct pairs of residually finite groups with isomorphic profinite completions such that one has non-vanishing and the other has vanishing real second bounded cohomology. The examples are lattices in different higher-rank simple Lie groups. Using Galois cohomology, we actually show that $\operatorname {SO}^0(n,2)$ for $n \ge 6$ and the exceptional groups $E_{6(-14)}$ and $E_{7(-25)}$ constitute the complete list of higher-rank Lie groups admitting such examples.

The lifting problem for universal quadratic forms over a totally real number field K consists of determining the existence or otherwise of a quadratic form with integer coefficients (or $\mathbb {Z}$-form) that is universal over K. We prove the nonexistence of universal $\mathbb {Z}$-forms over simplest cubic fields for which the integer parameter is big enough. The monogenic case is already known. We prove the nonexistence in the nonmonogenic case by using the existence of a totally positive nonunit algebraic integer in K with minimal (codifferent) trace equal to one.

In our paper, we study multiplicative properties of difference sets $A-A$ for large sets $A \subseteq {\mathbb {Z}}/q{\mathbb {Z}}$ in the case of composite q. We obtain a quantitative version of a result of A. Fish about the structure of the product sets $(A-A)(A-A)$. Also, we show that the multiplicative covering number of any difference set is always small.

We give a complete classification of finite subgroups of automorphisms of K3 surfaces up to deformation. The classification is in terms of Hodge theoretic data associated to certain conjugacy classes of finite subgroups of the orthogonal group of the K3 lattice. The moduli theory of K3 surfaces, in particular the surjectivity of the period map and the strong Torelli theorem allow us to interpret this datum geometrically. Our approach is computer aided and involves Hermitian lattices over number fields.

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.