We generalize results of Thomas, Allcock, Thom–Petersen, and Kar–Niblo to the first $\ell ^{2}$-Betti number of quotients of certain groups acting on trees by subgroups with free actions on the edge sets of the graphs.

We call a semigroup $S$weakly right noetherian if every right ideal of $S$ is finitely generated; equivalently, $S$ satisfies the ascending chain condition on right ideals. We provide an equivalent formulation of the property of being weakly right noetherian in terms of principal right ideals, and we also characterize weakly right noetherian monoids in terms of their acts. We investigate the behaviour of the property of being weakly right noetherian under quotients, subsemigroups and various semigroup-theoretic constructions. In particular, we find necessary and sufficient conditions for the direct product of two semigroups to be weakly right noetherian. We characterize weakly right noetherian regular semigroups in terms of their idempotents. We also find necessary and sufficient conditions for a strong semilattice of completely simple semigroups to be weakly right noetherian. Finally, we prove that a commutative semigroup $S$ with finitely many archimedean components is weakly (right) noetherian if and only if $S/\mathcal {H}$ is finitely generated.

Let $G$ be a finite group with cyclic Sylow $p$-subgroups, and let $k$ be a field of characteristic $p$. Then $H^{*}(BG;k)$ and $H_*(\Omega BG{{}^{{}^{\wedge }}_p};k)$ are $A_\infty$ algebras whose structure we determine up to quasi-isomorphism.

Just like group actions are represented by group automorphisms, Lie algebra actions are represented by derivations: up to isomorphism, a split extension of a Lie algebra $B$ by a Lie algebra $X$ corresponds to a Lie algebra morphism $B\to {\mathit {Der}}(X)$ from $B$ to the Lie algebra ${\mathit {Der}}(X)$ of derivations on $X$. In this article, we study the question whether the concept of a derivation can be extended to other types of non-associative algebras over a field ${\mathbb {K}}$, in such a way that these generalized derivations characterize the ${\mathbb {K}}$-algebra actions. We prove that the answer is no, as soon as the field ${\mathbb {K}}$ is infinite. In fact, we prove a stronger result: already the representability of all abelian actions – which are usually called representations or Beck modules – suffices for this to be true. Thus, we characterize the variety of Lie algebras over an infinite field of characteristic different from $2$ as the only variety of non-associative algebras which is a non-abelian category with representable representations. This emphasizes the unique role played by the Lie algebra of linear endomorphisms $\mathfrak {gl}(V)$ as a representing object for the representations on a vector space $V$.

For the $p$-localized sphere $\mathbb {S}^{2m-1}_{(p)}$ with $p >3$ a prime, we prove that the homotopy nilpotency satisfies $\mbox {nil}\ \mathbb {S}^{2m-1}_{(p)}<\infty$, with respect to any homotopy associative $H$-structure on $\mathbb {S}^{2m-1}_{(p)}$. We also prove that $\mbox {nil}\ \mathbb {S}^{2m-1}_{(p)}= 1$ for all but a finite number of primes $p >3$. Then, for the loop space of the associated $\mathbb {S}^{2m-1}_{(p)}$-projective space $\mathbb {S}^{2m-1}_{(p)}P(n-1)$, with $m,n\ge 2$ and $m\mid p-1$, we derive that $\mbox {nil}\ \Omega (\mathbb {S}^{2m-1}_{(p)}P (n-1))\le 3$.

In this paper, we study the structure of the rational cohomology groups of the IA-automorphism group $\mathrm {IA}_3$ of the free group of rank three by using combinatorial group theory and representation theory. In particular, we detect a nontrivial irreducible component in the second cohomology group of $\mathrm {IA}_3$, which is not contained in the image of the cup product map of the first cohomology groups. We also show that the triple cup product of the first cohomology groups is trivial. As a corollary, we obtain that the fourth term of the lower central series of $\mathrm {IA}_3$ has finite index in that of the Andreadakis–Johnson filtration of $\mathrm {IA}_3$.

We give a new hypergeometric construction of rational approximations to ζ(4), which absorbs the earlier one from 2003 based on Bailey's 9F8 hypergeometric integrals. With the novel ingredients we are able to gain better control of the arithmetic and produce a record irrationality measure for ζ(4).

We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We also provide a short proof that algebraically closed valued fields with separated analytic structure (in any rank) are C-minimal.

In this note it is shown that the class of all multipliers from the d-parameter Hardy space $H_{{\rm prod}}^1 ({\open T}^d)$ to L2 (𝕋d) is properly contained in the class of all multipliers from L logd/2L (𝕋d) to L2(𝕋d).

Let 𝔽q be the finite field of q elements. An analogue of the regular continued fraction expansion for an element α in the field of formal Laurent series over 𝔽q is given uniquely by

$$\alpha = A_0(\alpha ) + \displaystyle{1 \over {A_1(\alpha ) + \displaystyle{1 \over {A_2(\alpha ) + \ddots }}}},$$

$(A_{n}(\alpha))_{n=0}^{\infty}$

$$\vert A_1(\alpha ) \ldots A_N(\alpha )\vert ^{1/N} = q^{q/(q - 1)} + o(N^{ - 1/2}(\log N)^{3/2 + {\rm \epsilon }})$$