Let ${\mathcal{D}}_{\unicode[STIX]{x1D707}}$ be Dirichlet spaces with superharmonic weights induced by positive Borel measures $\unicode[STIX]{x1D707}$ on the open unit disk. Denote by $M({\mathcal{D}}_{\unicode[STIX]{x1D707}})$ Möbius invariant function spaces generated by ${\mathcal{D}}_{\unicode[STIX]{x1D707}}$. In this paper, we investigate the relation among ${\mathcal{D}}_{\unicode[STIX]{x1D707}}$, $M({\mathcal{D}}_{\unicode[STIX]{x1D707}})$ and some Möbius invariant function spaces, such as the space $BMOA$ of analytic functions on the open unit disk with boundary values of bounded mean oscillation and the Dirichlet space. Applying the relation between $BMOA$ and $M({\mathcal{D}}_{\unicode[STIX]{x1D707}})$, under the assumption that the weight function $K$ is concave, we characterize the function $K$ such that ${\mathcal{Q}}_{K}=BMOA$. We also describe inner functions in $M({\mathcal{D}}_{\unicode[STIX]{x1D707}})$ spaces.

Let ${\mathcal{H}}=\mathbb{C}^{n}\otimes {\mathcal{E}}$ be the tensor product of a Euclidean space $\mathbb{C}^{n}$ and a separable Hilbert space ${\mathcal{E}}$. Our main object is the operator $G=I_{n}\otimes S+A\otimes I_{{\mathcal{E}}}$, where $S$ is a normal operator in ${\mathcal{E}}$, $A$ is an $n\times n$ matrix, and $I_{n},I_{{\mathcal{E}}}$ are the unit operators in $\mathbb{C}^{n}$ and ${\mathcal{E}}$, respectively. Numerous differential operators with constant matrix coefficients are examples of operator $G$. In the present paper we show that $G$ is similar to an operator $M=I_{n}\otimes S+\hat{D}\times I_{{\mathcal{E}}}$ where $\hat{D}$ is a block matrix, each block of which has a unique eigenvalue. We also obtain a bound for the condition number. That bound enables us to establish norm estimates for functions of $G$, nonregular on the closed convex hull $\operatorname{co}(G)$ of the spectrum of $G$. The functions $G^{-\unicode[STIX]{x1D6FC}}\;(\unicode[STIX]{x1D6FC}>0)$ and $(\ln G)^{-1}$ are examples of such functions. In addition, in the appropriate situations we improve the previously published estimates for the resolvent and functions of $G$ regular on $\operatorname{co}(G)$. Since differential operators with variable coefficients often can be considered as perturbations of operators with constant coefficients, the results mentioned above give us estimates for functions and bounds for the spectra of differential operators with variable coefficients.

Left restriction semigroups are the unary semigroups that abstractly characterize semigroups of partial maps on a set, where the unary operation associates to a map the identity element on its domain. This paper is the sequel to two recent papers by the author, melding the results of the first, on membership in the variety $\mathbf{B}$ of left restriction semigroups generated by Brandt semigroups and monoids, with the connection established in the second between subvarieties of the variety $\mathbf{B}_{R}$ of two-sided restriction semigroups similarly generated and varieties of categories, in the sense of Tilson. We show that the respective lattices ${\mathcal{L}}(\mathbf{B})$ and ${\mathcal{L}}(\mathbf{B}_{R})$ of subvarieties are almost isomorphic, in a very specific sense. With the exception of the members of the interval $[\mathbf{D},\mathbf{D}\vee \mathbf{M}]$, every subvariety of $\mathbf{B}$ is induced from a member of $\mathbf{B}_{R}$ and vice versa. Here $\mathbf{D}$ is generated by the three-element left restriction semigroup $D$ and $\mathbf{M}$ is the variety of monoids. The analogues hold for pseudovarieties.

For the class of self-similar measures in $\mathbb{R}^{d}$ with overlaps that are essentially of finite type, we set up a framework for deriving a closed formula for the $L^{q}$-spectrum of the measure for $q\geq 0$. This framework allows us to include iterated function systems that have different contraction ratios and those in higher dimension. For self-similar measures with overlaps, closed formulas for the $L^{q}$-spectrum have only been obtained earlier for measures satisfying Strichartz’s second-order identities. We illustrate how to use our results to prove the differentiability of the $L^{q}$-spectrum, obtain the multifractal dimension spectrum, and compute the Hausdorff dimension of the measure.

Let $G$ be a semisimple complex algebraic group with Lie algebra $\mathfrak{g}$. For a nilpotent $G$-orbit ${\mathcal{O}}\subset \mathfrak{g}$, let $d_{{\mathcal{O}}}$ denote the maximal dimension of a subspace $V\subset \mathfrak{g}$ that is contained in the closure of ${\mathcal{O}}$. In this note, we prove that $d_{{\mathcal{O}}}\leq {\textstyle \frac{1}{2}}\dim {\mathcal{O}}$ and this upper bound is attained if and only if ${\mathcal{O}}$ is a Richardson orbit. Furthermore, if $V$ is $B$-stable and $\dim V={\textstyle \frac{1}{2}}\dim {\mathcal{O}}$, then $V$ is the nilradical of a polarisation of ${\mathcal{O}}$. Every nilpotent orbit closure has a distinguished $B$-stable subspace constructed via an $\mathfrak{sl}_{2}$-triple, which is called the Dynkin ideal. We then characterise the nilpotent orbits ${\mathcal{O}}$ such that the Dynkin ideal (1) has the minimal dimension among all $B$-stable subspaces $\mathfrak{c}$ such that $\mathfrak{c}\cap {\mathcal{O}}$ is dense in $\mathfrak{c}$, or (2) is the only $B$-stable subspace $\mathfrak{c}$ such that $\mathfrak{c}\cap {\mathcal{O}}$ is dense in $\mathfrak{c}$.

Fix a finite semigroup $S$ and let $a_{1},\ldots ,a_{k},b$ be tuples in a direct power $S^{n}$. The subpower membership problem (SMP) for $S$ asks whether $b$ can be generated by $a_{1},\ldots ,a_{k}$. For combinatorial Rees matrix semigroups we establish a dichotomy result: if the corresponding matrix is of a certain form, then the SMP is in P; otherwise it is NP-complete. For combinatorial Rees matrix semigroups with adjoined identity, we obtain a trichotomy: the SMP is either in P, NP-complete, or PSPACE-complete. This result yields various semigroups with PSPACE-complete SMP including the six-element Brandt monoid, the full transformation semigroup on three or more letters, and semigroups of all $n$ by $n$ matrices over a field for $n\geq 2$.