We shall explain here an idea to generalize classical complex analytic Kleinian group theory to any odd-dimensional cases. For a certain class of discrete subgroups of $\text{PGL}_{2n+1}(\mathbf{C})$ acting on $\mathbf{P}^{2n+1}$, we can define their domains of discontinuity in a canonical manner, regarding an $n$-dimensional projective linear subspace in $\mathbf{P}^{2n+1}$ as a point, like a point in the classical one-dimensional case. Many interesting (compact) non-Kähler manifolds appear systematically as the canonical quotients of the domains. In the last section, we shall give some examples.

We study the asymptotic behaviour of the powers of a composition operator on various Banach spaces of holomorphic functions on the disc, namely, standard weighted Bergman spaces (finite and infinite order), Bloch space, little Bloch space, Bloch-type space and Dirichlet space. Moreover, we give a complete characterization of those composition operators that are similar to an isometry on these various Banach spaces. We conclude by studying the asymptotic behaviour of semigroups of composition operators on these various Banach spaces.

We consider a linear operator pencil with complex parameter mapping one Hilbert space onto another. It is known that the resolvent is analytic in an open annular region of the complex plane centred at the origin if and only if the coefficients of the Laurent series satisfy a doubly-infinite set of left and right fundamental equations and are suitably bounded. If the resolvent has an isolated singularity at the origin we propose a recursive orthogonal decomposition of the domain and range spaces that enables us to construct the key nonorthogonal projections that separate the singular and regular components of the resolvent and subsequently allows us to find a formula for the basic solution to the fundamental equations. We show that each Laurent series coefficient in the singular part of the resolvent can be approximated by a weakly convergent sequence of finite-dimensional matrix operators and we show how our analysis can be extended to find a global expression for the resolvent of a linear pencil in the case where the resolvent has only a finite number of isolated singularities.

Let $p$ be an odd prime. We construct a $p$-group $P$ of nilpotency class two, rank seven and exponent $p$, such that $\text{Aut}(P)$ induces $N_{\text{GL}(7,p)}(G_{2}(p))=Z(\text{GL}(7,p))G_{2}(p)$ on the Frattini quotient $P/\unicode[STIX]{x1D6F7}(P)$. The constructed group $P$ is the smallest $p$-group with these properties, having order $p^{14}$, and when $p=3$ our construction gives two nonisomorphic $p$-groups. To show that $P$ satisfies the specified properties, we study the action of $G_{2}(q)$ on the octonion algebra over $\mathbb{F}_{q}$, for each power $q$ of $p$, and explore the reducibility of the exterior square of each irreducible seven-dimensional $\mathbb{F}_{q}[G_{2}(q)]$-module.

In this paper we extend and generalize, up to a natural bound of the method, our previous work Badziahin and Zorin [‘Thue–Morse constant is not badly approximable’, Int. Math. Res. Not. IMRN 19 (2015), 9618–9637] where we proved, among other things, that the Thue–Morse constant is not badly approximable. Here we consider Laurent series defined with infinite products $f_{d}(x)=\prod _{n=0}^{\infty }(1-x^{-d^{n}})$, $d\in \mathbb{N}$, $d\geq 2$, which generalize the generating function $f_{2}(x)$ of the Thue–Morse number, and study their continued fraction expansion. In particular, we show that the convergents of $x^{-d+1}f_{d}(x)$ have a regular structure. We also address the question of whether the corresponding Mahler numbers $f_{d}(a)\in \mathbb{R}$, $a,d\in \mathbb{N}$, $a,d\geq 2$, are badly approximable.

For $x\in (0,1]$ and a positive integer $n,$ let $S_{\!n}(x)$ denote the summation of the first $n$ digits in the dyadic expansion of $x$ and let $r_{n}(x)$ denote the run-length function. In this paper, we obtain the Hausdorff dimensions of the following sets:

$$\begin{eqnarray}\bigg\{x\in (0,1]:\liminf _{n\rightarrow \infty }\frac{S_{\!n}(x)}{n}=\unicode[STIX]{x1D6FC},\limsup _{n\rightarrow \infty }\frac{S_{\!n}(x)}{n}=\unicode[STIX]{x1D6FD},\lim _{n\rightarrow \infty }\frac{r_{n}(x)}{\log _{2}n}=\unicode[STIX]{x1D6FE}\bigg\},\end{eqnarray}$$

$0\leq \unicode[STIX]{x1D6FC}\leq \unicode[STIX]{x1D6FD}\leq 1$

$0\leq \unicode[STIX]{x1D6FE}\leq +\infty$

In this article, we consider a twisted partial action $\unicode[STIX]{x1D6FC}$ of a group $G$ on an associative ring $R$ and its associated partial crossed product $R\ast _{\unicode[STIX]{x1D6FC}}^{w}G$. We provide necessary and sufficient conditions for the commutativity of $R\ast _{\unicode[STIX]{x1D6FC}}^{w}G$ when the twisted partial action $\unicode[STIX]{x1D6FC}$ is unital. Moreover, we study necessary and sufficient conditions for the simplicity of $R\ast _{\unicode[STIX]{x1D6FC}}^{w}G$ in the following cases: (i) $G$ is abelian; (ii) $R$ is maximal commutative in $R\ast _{\unicode[STIX]{x1D6FC}}^{w}G$; (iii) $C_{R\ast _{\unicode[STIX]{x1D6FC}}^{w}G}(Z(R))$ is simple; (iv) $G$ is hypercentral. When $R=C_{0}(X)$ is the algebra of continuous functions defined on a locally compact and Hausdorff space $X$, with complex values that vanish at infinity, and $C_{0}(X)\ast _{\unicode[STIX]{x1D6FC}}G$ is the associated partial skew group ring of a partial action $\unicode[STIX]{x1D6FC}$ of a topological group $G$ on $C_{0}(X)$, we study the simplicity of $C_{0}(X)\ast _{\unicode[STIX]{x1D6FC}}G$ by using topological properties of $X$ and the results about the simplicity of $R\ast _{\unicode[STIX]{x1D6FC}}^{w}G$.

Let $p$ be an odd prime. The unary algebra consisting of the dihedral group of order $2p$, acting on itself by left translation, is a minimal congruence lattice representation of $\mathbb{M}_{p+1}$.

Let $I(n)$ denote the number of isomorphism classes of subgroups of $(\mathbb{Z}/n\mathbb{Z})^{\times }$, and let $G(n)$ denote the number of subgroups of $(\mathbb{Z}/n\mathbb{Z})^{\times }$ counted as sets (not up to isomorphism). We prove that both $\log G(n)$ and $\log I(n)$ satisfy Erdős–Kac laws, in that suitable normalizations of them are normally distributed in the limit. Of note is that $\log G(n)$ is not an additive function but is closely related to the sum of squares of additive functions. We also establish the orders of magnitude of the maximal orders of $\log G(n)$ and $\log I(n)$.

We establish existence of weighted Hardy and Rellich inequalities on the spaces $L_{p}(\unicode[STIX]{x1D6FA})$, where $\unicode[STIX]{x1D6FA}=\mathbf{R}^{d}\backslash K$ with $K$ a closed convex subset of $\mathbf{R}^{d}$. Let $\unicode[STIX]{x1D6E4}=\unicode[STIX]{x2202}\unicode[STIX]{x1D6FA}$ denote the boundary of $\unicode[STIX]{x1D6FA}$ and $d_{\unicode[STIX]{x1D6E4}}$ the Euclidean distance to $\unicode[STIX]{x1D6E4}$. We consider weighting functions $c_{\unicode[STIX]{x1D6FA}}=c\circ d_{\unicode[STIX]{x1D6E4}}$ with $c(s)=s^{\unicode[STIX]{x1D6FF}}(1+s)^{\unicode[STIX]{x1D6FF}^{\prime }-\unicode[STIX]{x1D6FF}}$ and $\unicode[STIX]{x1D6FF},\unicode[STIX]{x1D6FF}^{\prime }\geq 0$. Then the Hardy inequalities take the form

$$\begin{eqnarray}\int _{\unicode[STIX]{x1D6FA}}c_{\unicode[STIX]{x1D6FA}}|\unicode[STIX]{x1D6FB}\unicode[STIX]{x1D711}|^{p}\geq b_{p}\int _{\unicode[STIX]{x1D6FA}}c_{\unicode[STIX]{x1D6FA}}\,d_{\unicode[STIX]{x1D6E4}}^{-p}|\unicode[STIX]{x1D711}|^{p}\end{eqnarray}$$

$$\begin{eqnarray}\int _{\unicode[STIX]{x1D6FA}}|H\unicode[STIX]{x1D711}|^{p}\geq d_{p}\int _{\unicode[STIX]{x1D6FA}}|c_{\unicode[STIX]{x1D6FA}}\,d_{\unicode[STIX]{x1D6E4}}^{-2}\unicode[STIX]{x1D711}|^{p}\end{eqnarray}$$

$H=-\text{div}(c_{\unicode[STIX]{x1D6FA}}\unicode[STIX]{x1D6FB})$

$b_{p},d_{p}$

$\unicode[STIX]{x1D6FF},\unicode[STIX]{x1D6FF}^{\prime }\geq 0$

We present a sufficient and necessary condition for a function module space $X$ to have the approximate hyperplane series property (AHSP). As a consequence, we have that the space ${\mathcal{C}}_{0}(L,E)$ of bounded and continuous $E$-valued mappings defined on the locally compact Hausdorff space $L$ has AHSP if and only if $E$ has AHSP.

By using methods of subordinacy theory, we study packing continuity properties of spectral measures of discrete one-dimensional Schrödinger operators acting on the whole line. Then we apply these methods to Sturmian operators with rotation numbers of quasibounded density to show that they have purely $\unicode[STIX]{x1D6FC}$-packing continuous spectrum. A dimensional stability result is also mentioned.

Given $f\in \mathbb{Z}[t]$ of positive degree, we investigate the existence of auxiliary polynomials $g\in \mathbb{Z}[t]$ for which $f(g(t))$ factors as a product of polynomials of small relative degree. One consequence of this work shows that for any quadratic polynomial $f\in \mathbb{Z}[t]$ and any $\unicode[STIX]{x1D700}>0$, there are infinitely many $n\in \mathbb{N}$ for which the largest prime factor of $f(n)$ is no larger than $n^{\unicode[STIX]{x1D700}}$.

Let $A=\bigoplus _{i\in \mathbb{Z}}A_{i}$ be a finite-dimensional graded symmetric cellular algebra with a homogeneous symmetrizing trace of degree $d$. We prove that if $d\neq 0$ then $A_{-d}$ contains the Higman ideal $H(A)$ and $\dim H(A)\leq \dim A_{0}$, and provide a semisimplicity criterion for $A$ in terms of the centralizer of $A_{0}$.

Given a vector field on a manifold $M$, we define a globally conserved quantity to be a differential form whose Lie derivative is exact. Integrals of conserved quantities over suitable submanifolds are constant under time evolution, the Kelvin circulation theorem being a well-known special case. More generally, conserved quantities are well behaved under transgression to spaces of maps into $M$. We focus on the case of multisymplectic manifolds and Hamiltonian vector fields. Our main result is that in the presence of a Lie group of symmetries admitting a homotopy co-momentum map, one obtains a whole family of globally conserved quantities. This extends a classical result in symplectic geometry. We carry this out in a general setting, considering several variants of the notion of globally conserved quantity.

For an arbitrary discrete probability-measure-preserving groupoid $G$, we provide a characterization of property (T) for $G$ in terms of the groupoid von Neumann algebra $L(G)$. More generally, we obtain a characterization of relative property (T) for a subgroupoid $H\subset G$ in terms of the inclusions $L(H)\subset L(G)$.

We show that the isomorphism problems for left distributive algebras, racks, quandles and kei are as complex as possible in the sense of Borel reducibility. These algebraic structures are important for their connections with the theory of knots, links and braids. In particular, Joyce showed that a quandle can be associated with any knot, and this serves as a complete invariant for tame knots. However, such a classification of tame knots heuristically seemed to be unsatisfactory, due to the apparent difficulty of the quandle isomorphism problem. Our result confirms this view, showing that, from a set-theoretic perspective, classifying tame knots by quandles replaces one problem with (a special case of) a much harder problem.

For $p\geq 2$, let $E$ be a 2-uniformly smooth and $p$-uniformly convex real Banach space and let $A:E\rightarrow E^{\ast }$ be a Lipschitz and strongly monotone mapping such that $A^{-1}(0)\neq \emptyset$. For given $x_{1}\in E$, let $\{x_{n}\}$ be generated by the algorithm $x_{n+1}=J^{-1}(Jx_{n}-\unicode[STIX]{x1D706}Ax_{n})$, $n\geq 1$, where $J$ is the normalized duality mapping from $E$ into $E^{\ast }$ and $\unicode[STIX]{x1D706}$ is a positive real number in $(0,1)$ satisfying suitable conditions. Then it is proved that $\{x_{n}\}$ converges strongly to the unique point $x^{\ast }\in A^{-1}(0)$. Furthermore, our theorems provide an affirmative answer to the Chidume et al. open problem [‘Krasnoselskii-type algorithm for zeros of strongly monotone Lipschitz maps in classical Banach spaces’, SpringerPlus4 (2015), 297]. Finally, applications to convex minimization problems are given.

In this paper we classify the finite solvable groups in which distinct nonlinear monomial characters have distinct degrees.