A simple Steinberg algebra associated to an ample Hausdorff groupoid G is algebraically purely infinite if and only if the characteristic functions of compact open subsets of the unit space are infinite idempotents. If a simple Steinberg algebra is algebraically purely infinite, then the reduced groupoid $C^*$-algebra $C^*_r(G)$ is simple and purely infinite. But the Steinberg algebra seems too small for the converse to hold. For this purpose we introduce an intermediate *-algebra B(G) constructed using corners $1_U C^*_r(G) 1_U$ for all compact open subsets U of the unit space of the groupoid. We then show that if G is minimal and effective, then B(G) is algebraically properly infinite if and only if $C^*_r(G)$ is purely infinite simple. We apply our results to the algebras of higher-rank graphs.

Suppose that A is a k × d matrix of integers and write $\Re _A:{\mathbb N}\to {\mathbb N}\cup \{ \infty \} $ for the function taking r to the largest N such that there is an r-colouring $\mathcal {C}$ of [N] with $\bigcup _{C \in \mathcal {C}}{C^d}\cap \ker A =\emptyset $. We show that if ℜA(r) < ∞ for all $r\in {\mathbb N}$ then $\mathfrak {R}_A(r) \leqslant \exp (\exp (r^{O_{A}(1)}))$ for all r ⩾ 2. When the kernel of A consists only of Brauer configurations – that is, vectors of the form (y, x, x + y, …, x + (d − 2)y) – the above statement has been proved by Chapman and Prendiville with good bounds on the OA(1) term.

The Fermat type functional equations $(*)\, f_1^n+f_2^n+\cdots +f_k^n=1$, where n and k are positive integers, are considered in the complex plane. Our focus is on equations of the form (*) where it is not known whether there exist non-constant solutions in one or more of the following four classes of functions: meromorphic functions, rational functions, entire functions, polynomials. For such equations, we obtain estimates on Nevanlinna functions that transcendental solutions of (*) would have to satisfy, as well as analogous estimates for non-constant rational solutions. As an application, it is shown that transcendental entire solutions of (*) when n = k(k − 1) with k ≥ 3, would have to satisfy a certain differential equation, which is a generalization of the known result when k = 3. Alternative proofs for the known non-existence theorems for entire and polynomial solutions of (*) are given. Moreover, some restrictions on degrees of polynomial solutions are discussed.

We obtain a new theorem for the non-properness set $S_f$ of a non-singular polynomial mapping $f:\mathbb C^n \to \mathbb C^n$. In particular, our result shows that if f is a counterexample to the Jacobian conjecture, then $S_f\cap Z \neq \emptyset $, for every hypersurface Z dominated by $\mathbb C^{n-1}$ on which some non-singular polynomial $h: \mathbb C^{n}\to \mathbb C$ is constant. Also, we present topological approaches to the Jacobian conjecture in $\mathbb C^n$. As applications, we extend bidimensional results of Rabier, Lê and Weber to higher dimensions.

An unexpected relationship between indecomposable involutive set-theoretic solutions to the Yang–Baxter equation and one-generator braces has recently been discovered by Agata and Alicja Smoktunowicz. We extend these results and answer three open questions which arose in this context.

The aim of this paper is twofold. The first aim is to describe the entire solutions of the partial differential equation (PDE) $u_{z_1}^2+2Bu_{z_1}u_{z_2}+u_{z_2}^2=e^g$, where B is a constant and g is a polynomial or an entire function in $\mathbb {C}^2$. The second aim is to consider the entire solutions of another PDE, which is a generalization of the well-known PDE of tubular surfaces.

Let r be an integer with 2 ≤ r ≤ 24 and let pr(n) be defined by $\sum _{n=0}^\infty p_r(n) q^n = \prod _{k=1}^\infty (1-q^k)^r$. In this paper, we provide uniform methods for discovering infinite families of congruences and strange congruences for pr(n) by using some identities on pr(n) due to Newman. As applications, we establish many infinite families of congruences and strange congruences for certain partition functions, such as Andrews's smallest parts function, the coefficients of Ramanujan's ϕ function and p-regular partition functions. For example, we prove that for n ≥ 0,

\[ \textrm{spt}\bigg( \frac{1991n(3n+1) }{2} +83\bigg) \equiv \textrm{spt}\bigg(\frac{1991n(3n+5)}{2} +2074\bigg) \equiv 0\ (\textrm{mod} \ 11), \]

\[ \textrm{spt}\bigg( \frac{143\times 5^{6k} +1 }{24}\bigg)\equiv 2^{k+2} \ (\textrm{mod}\ 11), \]

We show that Ringrose's diagonal ideals are primitive ideals in a nest algebra (subject to the continuum hypothesis). This answers an old question of Lance and provides for the first time concrete descriptions of enough primitive ideals to obtain the Jacobson radical as their intersection. Separately, we provide a standard form for all left ideals of a nest algebra, which leads to insights into the maximal left ideals. In the case of atomic nest algebras, we show how primitive ideals can be categorized by their behaviour on the diagonal and provide concrete examples of all types.

Let f be a holomorphic self-map of the unit ball in dimension 2, which does not have an interior fixed point. Suppose that f has a Wolff point p with the boundary dilatation coefficient equal to 1 and the non-tangential differential dfp = id. The local behaviours of f near p are quite diverse, and we give a detailed study in many typical cases. As a byproduct, we give a dynamical interpretation of the Burns–Krantz rigidity theorem. Note also that similar results hold on two-dimensional contractible smoothly bounded strongly pseudoconvex domains.

In 1969, Baumslag introduced a family of parafree groups Gi,j which share many properties with the free group of rank 2. The isomorphism problem for the family Gi,j is known to be difficult; a few small partial results have been found so far. In this paper, we compute the twisted Alexander ideals of the groups Gi,j associated with non-abelian representations into $SL(2,{\mathbb Z}_2)$. Using the twisted Alexander ideals, we prove that several pairs of groups among Gi,j are not isomorphic. As a consequence, we solve the isomorphism problem for sub-families containing infinitely many groups Gi,j.

We calculate the Bieri–Neumann–Strebel–Renz invariant Σ1(G) for finitely presented residually free groups G and show that its complement in the character sphere S(G) is a finite union of finite intersections of closed sub-spheres in S(G). Furthermore, we find some restrictions on the higher-dimensional homological invariants Σn(G, ℤ) and show for the discrete points Σ2(G)dis, Σ2(G, ℤ)dis and Σ2(G, ℚ)dis in Σ2(G), Σ2(G, ℤ) and Σ2(G, ℚ) that we have the equality Σ2(G)dis = Σ2(G, ℤ)dis = Σ2(G, ℚ)dis.

Let S2n+1{p} denote the homotopy fibre of the degree p self map of S2n+1. For primes p ≥ 5, work by Selick shows that S2n+1{p} admits a non-trivial loop space decomposition if and only if n = 1 or p. Indecomposability in all but these dimensions was obtained by showing that a non-trivial decomposition of ΩS2n+1{p} implies the existence of a p-primary Kervaire invariant one element of order p in $\pi _{2n(p-1)-2}^S$. We prove the converse of this last implication and observe that the homotopy decomposition problem for ΩS2n+1{p} is equivalent to the strong p-primary Kervaire invariant problem for all odd primes. For p = 3, we use the 3-primary Kervaire invariant element θ3 to give a new decomposition of ΩS55{3} analogous to Selick's decomposition of ΩS2p+1{p} and as an application prove two new cases of a long-standing conjecture stating that the fibre of the double suspension $S^{2n-1} \longrightarrow \Omega ^2S^{2n+1}$ is homotopy equivalent to the double loop space of Anick's space.

A twisted cocycle taking values on a Lie group G is a cocycle that is twisted by an automorphism of G in each step. In the case where G = GL(d, ℝ), we prove that if two Hölder continuous twisted cocycles satisfying the so-called fiber-bunching condition have the same periodic data then they are cohomologous.

We study totally positive definite quadratic forms over the ring of integers $\mathcal {O}_K$ of a totally real biquadratic field $K=\mathbb {Q}(\sqrt {m}, \sqrt {s})$. We restrict our attention to classic forms (i.e. those with all non-diagonal coefficients in $2\mathcal {O}_K$) and prove that no such forms in three variables are universal (i.e. represent all totally positive elements of $\mathcal {O}_K$). Moreover, we show the same result for totally real number fields containing at least one non-square totally positive unit and satisfying some other mild conditions. These results provide further evidence towards Kitaoka's conjecture that there are only finitely many number fields over which such forms exist. One of our main tools are additively indecomposable elements of $\mathcal {O}_K$; we prove several new results about their properties.