Nonzero Infinitesimal Blocks of Category $\boldsymbol{\mathcal{O}}_{\textbf{\emph{S}}}$

Category \(\mathcal{O}\) is a nice category of modules for a finite dimensional semisimple Lie algebra \(\mathfrak{g}\) It was first introduced by Bernstein–Gelfand–Gelfand in 1976. In the early 1980’s, Rocha–Caridi introduced parabolic category \(\mathcal{O}_S\), where S is a subset of simple roots. Category \(\mathcal{O}_S\) is a generalization of ordinary category O. These are highest weight categories that decompose into certain subcategories, called infinitesimal blocks. An infinitesimal block contains at most finitely many simple modules, and some contain only the zero module. The representation type of the infinitesimal blocks of category \(\mathcal{O}_S\) has been studied by Futorny–Nakano–Pollack, Brüstle–König–Mazorchuk, and Boe–Nakano. The representation type of the singular blocks of category \(\mathcal{O}_S\) is still generally unknown, though Boe–Nakano classified certain of these. Understanding when a singular block is zero is an important step to understanding the singular blocks in general. In this work, we will answer this question. It is given in terms of nilpotent orbits of \(\mathfrak{g}\).     

A gradient estimate on graphs with the $$\varvec{}$$-condition

Let \(\omega \) be an unbounded radial weight on \(\mathbb {C}^d\), \(d\ge 1\). Using results related to approximation of \(\omega \) by entire maps, we investigate Volterra type and weighted composition operators defined on the growth space \(\mathcal {A}^\omega (\mathbb {C}^d)\). Special attention is given to the operators defined on the growth Fock spaces.     

Ladders and canonical varieties of completely regular semigroups

A completely regular semigroup is a (disjoint) union of its (maximal) subgroups. We consider it here with the unary operation of inversion within its maximal subgroups. Their totality \(\mathcal {C}\mathcal {R}\) forms a variety whose lattice of subvarieties is denoted by \(\mathcal {L}(\mathcal {C}\mathcal {R})\). On it, one defines the relations \(\mathbf {B}^\wedge \) and \(\mathbf {B}^\vee \) by

$$\begin{aligned} \begin{array}{lll} \mathcal {U}\ \mathbf {B}^\wedge \ \mathcal {V}&{} \Longleftrightarrow &{} \mathcal {U}\cap \mathcal {B} =\mathcal {V}\cap \mathcal {B}, \\ \mathcal {U}\ \mathbf {B}^\vee \ \mathcal {V}&{} \Longleftrightarrow &{} \mathcal {U}\vee \mathcal {B} =\mathcal {V}\vee \mathcal {B} , \end{array} \end{aligned}$$

respectively, where \(\mathcal {B}\) denotes the variety of all bands. This is a study of the interplay between the \(\cap \)-subsemilatice \(\triangle \) of \(\mathcal {L}(\mathcal {C}\mathcal {R})\) of upper ends of \(\mathbf {B}^\wedge \)-classes and their \(\mathbf {B}^\vee \)-classes. The main tool is the concept of a ladder and their \(\mathbf {B}^\vee \)-classes, an indispensable part of the important Polák’s theorem providing a construction for the join of varieties of completely regular semigroups. The paper includes the tables of ladders of the upper ends of most \(\mathbf {B}^\wedge \)-classes. Canonical varieties consist of two ascending countably infinite chains which generate most of the upper ends of \(\mathbf {B}^\wedge \)-classes.

     

On kernels and nuclei of rank metric codes

For each rank metric code \(\mathcal {C}\subseteq \mathbb {K}^{m\times n}\), we associate a translation structure, the kernel of which is shown to be invariant with respect to the equivalence on rank metric codes. When \(\mathcal {C}\) is \(\mathbb {K}\)-linear, we also propose and investigate other two invariants called its middle nucleus and right nucleus. When \(\mathbb {K}\) is a finite field \(\mathbb {F}_q\) and \(\mathcal {C}\) is a maximum rank distance code with minimum distance \(d<\min \{m,n\}\) or \(\gcd (m,n)=1\), the kernel of the associated translation structure is proved to be \(\mathbb {F}_q\). Furthermore, we also show that the middle nucleus of a linear maximum rank distance code over \(\mathbb {F}_q\) must be a finite field; its right nucleus also has to be a finite field under the condition \(\max \{d,m-d+2\} \geqslant \left\lfloor \frac{n}{2} \right\rfloor +1\). Let \(\mathcal {D}\) be the DHO-set associated with a bilinear dimensional dual hyperoval over \(\mathbb {F}_2\). The set \(\mathcal {D}\) gives rise to a linear rank metric code, and we show that its kernel and right nucleus are isomorphic to \(\mathbb {F}_2\). Also, its middle nucleus must be a finite field containing \(\mathbb {F}_q\). Moreover, we also consider the kernel and the nuclei of \(\mathcal {D}^k\) where k is a Knuth operation.     

Idempotent and <Emphasis Type="Italic">p</Emphasis>-potent quadratic functions: distribution of nonlinearity and co-dimension

The Walsh transform \(\widehat{Q}\) of a quadratic function \(Q:{\mathbb F}_{p^n}\rightarrow {\mathbb F}_p\) satisfies \(|\widehat{Q}(b)| \in \{0,p^{\frac{n+s}{2}}\}\) for all \(b\in {\mathbb F}_{p^n}\), where \(0\le s\le n-1\) is an integer depending on Q. In this article, we study the following three classes of quadratic functions of wide interest. The class \(\mathcal {C}_1\) is defined for arbitrary n as \(\mathcal {C}_1 = \{Q(x) = \mathrm{Tr_n}(\sum _{i=1}^{\lfloor (n-1)/2\rfloor }a_ix^{2^i+1})\;:\; a_i \in {\mathbb F}_2\}\), and the larger class \(\mathcal {C}_2\) is defined for even n as \(\mathcal {C}_2 = \{Q(x) = \mathrm{Tr_n}(\sum _{i=1}^{(n/2)-1}a_ix^{2^i+1}) + \mathrm{Tr_{n/2}}(a_{n/2}x^{2^{n/2}+1}) \;:\; a_i \in {\mathbb F}_2\}\). For an odd prime p, the subclass \(\mathcal {D}\) of all p-ary quadratic functions is defined as \(\mathcal {D} = \{Q(x) = \mathrm{Tr_n}(\sum _{i=0}^{\lfloor n/2\rfloor }a_ix^{p^i+1})\;:\; a_i \in {\mathbb F}_p\}\). We determine the generating function for the distribution of the parameter s for \(\mathcal {C}_1, \mathcal {C}_2\) and \(\mathcal {D}\). As a consequence we completely describe the distribution of the nonlinearity for the rotation symmetric quadratic Boolean functions, and in the case \(p > 2\), the distribution of the co-dimension for the rotation symmetric quadratic p-ary functions, which have been attracting considerable attention recently. Our results also facilitate obtaining closed formulas for the number of such quadratic functions with prescribed s for small values of s, and hence extend earlier results on this topic. We also present the complete weight distribution of the subcodes of the second order Reed–Muller codes corresponding to \(\mathcal {C}_1\) and \(\mathcal {C}_2\) in terms of a generating function.     

An extension of Wilf’s conjecture to affine semigroups

Let \(\mathcal {C}\subset \mathbb {Q}^p_+\) be a rational cone. An affine semigroup \(S\subset \mathcal {C}\) is a \(\mathcal {C}\)-semigroup whenever \((\mathcal {C}\setminus S)\cap \mathbb {N}^p\) has only a finite number of elements. In this work, we study the tree of \(\mathcal {C}\)-semigroups, give a method to generate it and study the \(\mathcal {C}\)-semigroups with minimal embedding dimension. We extend Wilf’s conjecture for numerical semigroups to \(\mathcal {C}\)-semigroups and give some families of \(\mathcal {C}\)-semigroups fulfilling the extended conjecture. Other conjectures formulated for numerical semigroups are also studied for \(\mathcal {C}\)-semigroups.     

A note on generalized skew derivations on Lie ideals

Let \(\mathcal {R}\) be a prime ring, \(\mathcal {Z(R)}\) its center, \(\mathcal {C}\) its extended centroid, \(\mathcal {L}\) a Lie ideal of \(\mathcal {R}, \mathcal {F}\) a generalized skew derivation associated with a skew derivation d and automorphism \(\alpha \). Assume that there exist \(t\ge 1\) and \(m,n\ge 0\) fixed integers such that \( vu = u^m\mathcal {F}(uv)^tu^n\) for all \(u,v \in \mathcal {L}\). Then it is shown that either \(\mathcal {L}\) is central or \(\mathrm{char}(\mathcal {R})=2, \mathcal {R}\subseteq \mathcal {M}_2(\mathcal {C})\), the ring of \(2\times 2\) matrices over \(\mathcal {C}, \mathcal {L}\) is commutative and \(u^2\in \mathcal {Z(R)}\), for all \(u\in \mathcal {L}\). In particular, if \(\mathcal {L}=[\mathcal {R,R}]\), then \(\mathcal {R}\) is commutative.     

<Emphasis Type="Italic">l</Emphasis>-Groups <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">X</Emphasis>) in continuous logic

In the context of continuous logic, this paper axiomatizes both the class \(\mathcal {C}\) of lattice-ordered groups isomorphic to C(X) for X compact and the subclass \(\mathcal {C}^+\) of structures existentially closed in \(\mathcal {C}\); shows that the theory of \(\mathcal {C}^+\) is \(\aleph _0\)-categorical and admits elimination of quantifiers; establishes a Nullstellensatz for \(\mathcal {C}\) and \(\mathcal {C}^+\); shows that \(C(X)\in \mathcal {C}\) has a prime-model extension in \(\mathcal {C}^+\) just in case X is Boolean; and proves that in a sense relevant to continuous logic, positive formulas admit in \(\mathcal {C}^+\) elimination of quantifiers to positive formulas.     

Constructive Approximation in de Branges–Rovnyak Spaces

In most classical holomorphic function spaces on the unit disk in which the polynomials are dense, a function f can be approximated in norm by its dilates \(f_r(z):=f(rz)~(r<1)\). We show that this is not the case for the de Branges–Rovnyak spaces \(\mathcal{H}(b)\). More precisely, we exhibit a space \(\mathcal{H}(b)\) in which the polynomials are dense and a function \(f\in \mathcal{H}(b)\) such that \(\lim _{r\rightarrow 1^-}\Vert f_r\Vert _{\mathcal{H}(b)}=\infty \). On the positive side, we prove the following approximation theorem for Toeplitz operators on general de Branges–Rovnyak spaces \(\mathcal{H}(b)\). If \((h_n)\) is a sequence in \(H^\infty \) such that \(\Vert h_n\Vert _{H^\infty }\le 1\) and \(h_n(0)\rightarrow 1\), then \(\Vert T_{\overline{h}_n}f-f\Vert _{\mathcal{H}(b)}\rightarrow 0\) for all \(f\in \mathcal{H}(b)\). Using this result, we give the first constructive proof that, if b is a nonextreme point of the unit ball of \(H^\infty \), then the polynomials are dense in \(\mathcal{H}(b)\).     

Infra-nilmanifolds modeled on the group of uni-triangular matrices

Let \({\mathcal {N}}_m\) be the group of \(m\times m\) upper triangular real matrices with all the diagonal entries 1. Then it is an \((m-1)\)-step nilpotent Lie group, diffeomorphic to \({\mathbb {R}}^{\frac{1}{2} m(m-1)}\). It contains all the integer matrices as a lattice \(\Gamma _m\). The automorphism group of \({\mathcal {N}}_m \ (m\ge 4)\) turns out to be extremely small. In fact, \(\mathrm {Aut}({\mathcal {N}})=\mathcal {I} \rtimes \mathrm {Out}({\mathcal {N}})\), where \(\mathcal {I}\) is a connected, simply connected nilpotent Lie group, and \(\mathrm {Out}({\mathcal {N}})={{\tilde{K}}}={(\mathbb {R}^*)^{m-1}\rtimes \mathbb {Z}_2}\). With a nice left-invariant Riemannian metric on \({\mathcal {N}}\), the isometry group is \(\mathrm {Isom}({\mathcal {N}})= {\mathcal {N}} \rtimes K\), where \(K={(\mathbb {Z}_2)^{m-1}\rtimes \mathbb {Z}_2}\subset {{\tilde{K}}}\) is a maximal compact subgroup of \(\mathrm {Aut}({\mathcal {N}})\). We prove that, for odd \(m\ge 4\), there is no infra-nilmanifold which is essentially covered by the nilmanifold \(\Gamma _m\backslash {\mathcal {N}}_m\). For \(m=2n\ge 4\) (even), there is a unique infra-nilmanifold which is essentially (and doubly) covered by the nilmanifold \(\Gamma _m\backslash {\mathcal {N}}_m\).     

Bavrin’s Type Factorization of the Temljakov Operator for Holomorphic Functions in Circular Domains of $$\mathbb {C}^{n}$$

The paper concerns investigations of holomorphic functions of several complex variables with a factorization of their Temljakov transform. Firstly, there were considered some inclusions between the families \(\mathcal {C}_{\mathcal {G}},\mathcal {M}_{\mathcal {G}},\mathcal {N}_{\mathcal {G}},\mathcal {R}_{\mathcal {G}},\mathcal {V}_{\mathcal {G}}\) of such holomorphic functions on complete n-circular domain \(\mathcal {G}\) of \(\mathbb {C}^{n}\) in some papers of Bavrin, Fukui, Higuchi, Michiwaki. A motivation of our investigations is a condensation of the mentioned inclusions by some new families of Bavrin’s type. Hence we consider some families \(\mathcal {K}_{ \mathcal {G}}^{k},k\ge 2,\) of holomorphic functions f :  \(\mathcal {G}\rightarrow \mathbb {C},f(0)=1,\) defined also by a factorization of \( \mathcal {L}f\) onto factors from \(\mathcal {C}_{\mathcal {G}}\) and \(\mathcal {M} _{\mathcal {G}}.\) We present some interesting properties and extremal problems on \(\mathcal {K}_{\mathcal {G}}^{k}\).     

Sandwich semigroups in locally small categories II: transformations

Fix sets X and Y, and write \(\mathcal P\mathcal T_{XY}\) for the set of all partial functions \(X\rightarrow Y\). Fix a partial function \({a:Y\rightarrow X}\), and define the operation \(\star _a\) on \(\mathcal P\mathcal T_{XY}\) by \(f\star _ag=fag\) for \(f,g\in \mathcal P\mathcal T_{XY}\). The sandwich semigroup \((\mathcal P\mathcal T_{XY},\star _a)\) is denoted \(\mathcal P\mathcal T_{XY}^a\). We apply general results from Part I to thoroughly describe the structural and combinatorial properties of \(\mathcal P\mathcal T_{XY}^a\), as well as its regular and idempotent-generated subsemigroups, \({\text {Reg}}(\mathcal P\mathcal T_{XY}^a)\) and \(\mathbb E(\mathcal P\mathcal T_{XY}^a)\). After describing regularity, stability and Green’s relations and preorders, we exhibit \({\text {Reg}}(\mathcal P\mathcal T_{XY}^a)\) as a pullback product of certain regular subsemigroups of the (non-sandwich) partial transformation semigroups \(\mathcal P\mathcal T_X\) and \(\mathcal P\mathcal T_Y\), and as a kind of “inflation” of \(\mathcal P\mathcal T_A\), where A is the image of the sandwich element a. We also calculate the rank (minimal size of a generating set) and, where appropriate, the idempotent rank (minimal size of an idempotent generating set) of \(\mathcal P\mathcal T_{XY}^a\), \({\text {Reg}}(\mathcal P\mathcal T_{XY}^a)\) and \(\mathbb E(\mathcal P\mathcal T_{XY}^a)\). The same program is also carried out for sandwich semigroups of totally defined functions and for injective partial functions. Several corollaries are obtained for various (non-sandwich) semigroups of (partial) transformations with restricted image, domain and/or kernel.     

On the image,characterization, and automatic continuity of $$\varvec{(\sigma }, \varvec{\tau }$$ )-derivations

The first main theorem of this paper asserts that any \((\sigma , \tau )\)-derivation d, under certain conditions, either is a \(\sigma \)-derivation or is a scalar multiple of (\(\sigma - \tau \)), i.e. \(d = \lambda (\sigma - \tau )\) for some \(\lambda \in \mathbb {C} \backslash \{0\}\). By using this characterization, we achieve a result concerning the automatic continuity of \((\sigma , \tau \))-derivations on Banach algebras which reads as follows. Let \(\mathcal {A}\) be a unital, commutative, semi-simple Banach algebra, and let \(\sigma , \tau : \mathcal {A} \rightarrow \mathcal {A}\) be two distinct endomorphisms such that \(\varphi \sigma (\mathbf e )\) and \(\varphi \tau (\mathbf e )\) are non-zero complex numbers for all \(\varphi \in \Phi _\mathcal {A}\). If \(d : \mathcal {A} \rightarrow \mathcal {A}\) is a \((\sigma , \tau )\)-derivation such that \(\varphi d\) is a non-zero linear functional for every \(\varphi \in \Phi _\mathcal {A}\), then d is automatically continuous. As another objective of this research, we prove that if \(\mathfrak {M}\) is a commutative von Neumann algebra and \(\sigma :\mathfrak {M} \rightarrow \mathfrak {M}\) is an endomorphism, then every Jordan \(\sigma \)-derivation \(d:\mathfrak {M} \rightarrow \mathfrak {M}\) is identically zero.     

On natural density,orthomodular lattices,measure algebras and non-distributive $$L^p$$ spaces

In this note we first show, roughly speaking, that if \(\mathcal {B}\) is a Boolean algebra included in the natural way in the collection \(\mathcal {D}/_\sim \) of all equivalence classes of natural density sets of the natural numbers, modulo null density, then \(\mathcal {B}\) extends to a \(\sigma \)-algebra \(\Sigma \subset \mathcal {D}/_\sim \) and the natural density is \(\sigma \)-additive on \(\Sigma \). We prove the main tool employed in the argument in a more general setting, involving a kind of quantum state function, more precisely, a group-valued submeasure on an orthomodular lattice. At the end we discuss the construction of ‘non-distributive \(L^p\) spaces’ by means of submeasures on lattices.     

On the horizontal diameter of the unit sphere

For a singular Riemannian foliation \(\mathcal {F}\) on a Riemannian manifold M, a curve is called horizontal if it meets the leaves of \(\mathcal {F}\) perpendicularly. For a singular Riemannian foliation \(\mathcal {F}\) on a unit sphere \(\mathbb {S}^{n}\), we show that if \(\mathcal {F}\) satisfies some properties, then the horizontal diameter of \(\mathbb {S}^{n}\) is \(\pi \), i.e., any two points in \(\mathbb {S}^{n}\) can be connected by a horizontal curve of length \(\le \pi \).     

Morrey Spaces on Domains: Different Approaches and Growth Envelopes

We deal with Morrey spaces on bounded domains \(\Omega \) obtained by different approaches. In particular, we consider three settings \(\mathcal {M}_{u,p}(\Omega )\), \(\mathbb {M}_{u,p}(\Omega )\) and \(\mathfrak {M}_{u,p}(\Omega )\), where \(0<p\le u<\infty \), commonly used in the literature, and study their connections and diversities. Moreover, we determine the growth envelopes \(\mathfrak {E}_{\mathsf {G}}(\mathcal {M}_{u,p}(\Omega ))\) as well as \(\mathfrak {E}_{\mathsf {G}}(\mathfrak {M}_{u,p}(\Omega ))\), and obtain some applications in terms of optimal embeddings. Surprisingly, it turns out that the interplay between p and u in the sense of whether \(\frac{n}{u}\ge \frac{1}{p}\) or \(\frac{n}{u} < \frac{1}{p}\) plays a decisive role when it comes to the behaviour of these spaces.     

Symmetric Pairs and Self-Adjoint Extensions of Operators,with Applications to Energy Networks

We provide a streamlined construction of the Friedrichs extension of a densely-defined self-adjoint and semibounded operator A on a Hilbert space \(\mathcal {H}\), by means of a symmetric pair of operators. A symmetric pair is comprised of densely defined operators \(J: \mathcal {H}_1 \rightarrow \mathcal {H}_2\) and \(K: \mathcal {H}_2 \rightarrow \mathcal {H}_1\) which are compatible in a certain sense. With the appropriate definitions of \(\mathcal {H}_1\) and J in terms of A and \(\mathcal {H}\), we show that \((\textit{JJ}^\star )^{-1}\) is the Friedrichs extension of A. Furthermore, we use related ideas (including the notion of unbounded containment) to construct a generalization of the construction of the Krein extension of A as laid out in a previous paper of the authors. These results are applied to the study of the graph Laplacian on infinite networks, in relation to the Hilbert spaces \(\ell ^2(G)\) and \(\mathcal {H}_{\mathcal {E}}\) (the energy space).     

On Standard Derived Equivalences of Orbit Categories

Let k be a commutative ring, \(\mathcal {A}\) and \(\mathcal {B}\) – two k-linear categories with an action of a group G. We introduce the notion of a standard G-equivalence from \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {B}\) to \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\), where \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\) is the homotopy category of finitely generated projective \(\mathcal {A}\)-complexes. We construct a map from the set of standard G-equivalences to the set of standard equivalences from \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {B}\) to \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\) and a map from the set of standard G-equivalences from \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {B}\) to \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\) to the set of standard equivalences from \(\mathcal {K}_{p}^{\mathrm {b}}(\mathcal {B}/G)\) to \(\mathcal {K}_{p}^{\mathrm {b}}(\mathcal {A}/G)\), where \(\mathcal {A}/G\) denotes the orbit category. We investigate the properties of these maps and apply our results to the case where \(\mathcal {A}=\mathcal {B}=R\) is a Frobenius k-algebra and G is the cyclic group generated by its Nakayama automorphism ν. We apply this technique to obtain the generating set of the derived Picard group of a Frobenius Nakayama algebra over an algebraically closed field.