Abstract Let G and H be finite-dimensional vector spaces over $\mathbb{F}_p$ . A subset $A \subseteq G \times H$ is said to be transverse if all of its rows $\{x \in G \colon (x,y) \in A\}$ , $y \in H$ , are subspaces of G and all of its columns $\{y \in H \colon (x,y) \in A\}$ , $x \in G$ , are subspaces of H . As a corollary of a bilinear version of the Bogolyubov argument, Gowers and the author proved that dense transverse sets contain bilinear varieties of bounded codimension. In this paper, we provide a direct combinatorial proof of this fact. In particular, we improve the bounds and evade the use of Fourier analysis and Freiman’s theorem and its variants.

Abstract We investigate the possibility of defining meaningful upper and lower quantization dimensions for a compactly supported Borel probability measure of order r , including negative values of r . To this end, we employ the concept of partition functions, which generalises the notion of the $L^q$ -spectrum, thus extending the authors’ earlier work with Sanguo Zhu in a natural way. In particular, we derive inherent fractal-geometric bounds and easily verifiable necessary conditions for the existence of quantization dimensions. We state the exact asymptotics of the quantization error of negative order for absolutely continuous measures, thereby providing an affirmative answer to an open question regarding the geometric mean error posed by Graf and Luschgy in this journal in 2004.

Abstract Given r non-zero rational numbers $a_1, \ldots, a_r$ which are not $\pm1$ , we complete, under Hypothesis H , a characterisation of the Schinzel–Wójcik r -rational tuples (i.e. r -tuples of rational numbers for which the Schinzel–Wójcik problem has an affirmative answer) which satisfy that the sum of the exponents of the positive elements $a_i$ in the representation of $-1$ in terms of the elements $a_i$ in the multiplicative group $\langle a_1,\dots, a_r\rangle\subset \mathbb{Q}^*$ is even whenever $-1 \in \langle a_1,\dots, a_r\rangle.$

Abstract We study the transfer of (co)silting objects in derived categories of module categories via the extension functors induced by a morphism of commutative rings. It is proved that the extension functors preserve (co)silting objects of (co)finite type. In many cases the bounded silting property descends along faithfully flat ring extensions. In particular, the notion of bounded silting complex is Zariski local.

Abstract We consider the associated graded $\bigoplus_{k\geq 1} \Gamma_k \mathcal{I} /\Gamma_{k+1} \mathcal{I} $ of the lower central series $\mathcal{I}\,=\,\Gamma_1 \mathcal{I}\supset \Gamma_2 \mathcal{I}\supset \Gamma_3 \mathcal{I} \supset \cdots$ of the Torelli group $\mathcal{I}$ of a compact oriented surface. Its degree-one part is well understood by D. Johnson’s seminal works on the abelianization of the Torelli group. The knowledge of the degree-two part $(\Gamma_2 \mathcal{I} / \Gamma_3 \mathcal{I})\otimes \mathbb{Q}$ with rational coefficients arises from works of S. Morita on the Casson invariant and R. Hain on the Malcev completion of $\mathcal{I}$ . Here, we prove that the abelian group $\Gamma_2 \mathcal{I} / \Gamma_3 \mathcal{I}$ is torsion-free, and we describe it as a lattice in a rational vector space. As an application, the group $\mathcal{I}/\Gamma_3 \mathcal{I}$ is computed, and it is shown to embed in the group of homology cylinders modulo the surgery relation of $Y_3$ -equivalence.

Abstract Given a morphism $\varphi \;:\; G \to A \wr B$ from a finitely presented group G to a wreath product $A \wr B$ , we show that, if the image of $\varphi$ is a sufficiently large subgroup, then $\mathrm{ker}(\varphi)$ contains a non-abelian free subgroup and $\varphi$ factors through an acylindrically hyperbolic quotient of G. As direct applications, we classify the finitely presented subgroups in $A \wr B$ up to isomorphism and we deduce that a finitely presented group having a wreath product $(\text{non-trivial}) \wr (\text{infinite})$ as a quotient must be SQ-universal (extending theorems of Baumslag and Cornulier–Kar). Finally, we exploit our theorem in order to describe the structure of the automorphism groups of several families of wreath products, highlighting an interesting connection with the Kaplansky conjecture on units in group rings.

Abstract We construct efficient topological cobordisms between torus links and large connected sums of trefoil knots. As an application, we show that the signature invariant $\sigma_\omega$ at $\omega=\zeta_6$ takes essentially minimal values on torus links among all concordance homomorphisms with the same normalisation on the trefoil knot.

Abstract We give a new criterion which guarantees that a free group admits a bi-ordering that is invariant under a given automorphism. As an application, we show that the fundamental group of the “magic manifold” is bi-orderable, answering a question of Kin and Rolfsen.