Normalisers of residuals of finite groups

Let \(\mathfrak {F}\) be a subgroup-closed saturated formation of finite groups containing all finite nilpotent groups, and let M be a subgroup of a finite group G normalising the \(\mathfrak {F}\)-residual of every non-subnormal subgroup of G. We show that M normalises the \(\mathfrak {F}\)-residual of every subgroup of G. This answers a question posed by Gong and Isaacs (Arch Math 108:1–7, 2017) when \(\mathfrak {F}\) is the formation of all finite supersoluble groups.     

Weak module amenability of triangular Banach algebras

Let A and B be unital Banach algebras and let M be a unital Banach A,B-module. Forrest and Marcoux [6] have studied the weak amenability of triangular Banach algebra \(\mathcal{T} = \left[ {_B^{AM} } \right]\) and showed that T is weakly amenable if and only if the corner algebras A and B are weakly amenable. When \(\mathfrak{A}\) is a Banach algebra and A and B are Banach \(\mathfrak{A}\)-module with compatible actions, and M is a commutative left Banach \(\mathfrak{A}\)-A-module and right Banach \(\mathfrak{A}\)-B-module, we show that A and B are weakly \(\mathfrak{A}\)-module amenable if and only if triangular Banach algebra T is weakly \(\mathfrak{T}\)-module amenable, where \(\mathfrak{T}: = \{ [^\alpha _\alpha ]:\alpha \in \mathfrak{A}\} \).     

On Homomorphisms from Ringel-Hall Algebras to Quantum Cluster Algebras

In Berenstein and Rupel (2015), the authors defined algebra homomorphisms from the dual Ringel-Hall algebra of certain hereditary abelian category \(\mathcal {A}\) to an appropriate q-polynomial algebra. In the case that \(\mathcal {A}\) is the representation category of an acyclic quiver, we give an alternative proof by using the cluster multiplication formulas in (Ding and Xu, Sci. China Math. 55(10) 2045–2066, 2012). Moreover, if the underlying graph of Q associated with \(\mathcal {A}\) is bipartite and the matrix B associated to the quiver Q is of full rank, we show that the image of the algebra homomorphism is in the corresponding quantum cluster algebra.     

Algebras of Convolution-Type Operators with Piecewise Slowly Oscillating Data on Weighted Lebesgue Spaces

Let \({\mathcal B}_{p,w}\) be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space \(L^p(\mathbb {R},w)\), where \(p\in (1,\infty )\) and w is a Muckenhoupt weight. We study the Banach subalgebra \(\mathfrak {A}_{p,w}\) of \({\mathcal B}_{p,w}\) generated by all multiplication operators aI (\(a\in \mathrm{PSO}^\diamond \)) and all convolution operators \(W^0(b)\) (\(b\in \mathrm{PSO}_{p,w}^\diamond \)), where \(\mathrm{PSO}^\diamond \subset L^\infty (\mathbb {R})\) and \(\mathrm{PSO}_{p,w}^\diamond \subset M_{p,w}\) are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of \(\mathbb {R}\cup \{\infty \}\), and \(M_{p,w}\) is the Banach algebra of Fourier multipliers on \(L^p(\mathbb {R},w)\). For any Muckenhoupt weight w, we study the Fredholmness in the Banach algebra \({\mathcal Z}_{p,w}\subset \mathfrak {A}_{p,w}\) generated by the operators \(aW^0(b)\) with slowly oscillating data \(a\in \mathrm{SO}^\diamond \) and \(b\in \mathrm{SO}^\diamond _{p,w}\). Then, under some condition on the weight w, we complete constructing a Fredholm symbol calculus for the Banach algebra \(\mathfrak {A}_{p,w}\) in comparison with Karlovich and Loreto Hernández (Integr. Equations Oper. Theory 74:377–415, 2012) and Karlovich and Loreto Hernández (Integr. Equations Oper. Theory 75:49–86, 2013) and establish a Fredholm criterion for the operators \(A\in \mathfrak {A}_{p,w}\) in terms of their symbols. A new approach to determine local spectra is found.     

Superization of homogeneous spin manifolds and geometry of homogeneous supermanifolds

Let M ₀=G ₀/H be a (pseudo)-Riemannian homogeneous spin manifold, with reductive decomposition \(\mathfrak {g}_{0}=\mathfrak {h}+\mathfrak {m}\) and let S(M ₀) be the spin bundle defined by the spin representation \(\tilde{ \operatorname {Ad}}:H\rightarrow \mathrm {GL}_{\mathbb {R}}(S)\) of the stabilizer H. This article studies the superizations of M ₀, i.e. its extensions to a homogeneous supermanifold M=G/H whose sheaf of superfunctions is isomorphic to the sheaf of sections of Λ(S ^*(M ₀)). Here G is the Lie supergroup associated with a certain extension of the Lie algebra of symmetry \(\mathfrak {g}_{0}\) to an algebra of supersymmetry \(\mathfrak {g}=\mathfrak {g}_{\overline {0}}+\mathfrak {g}_{\overline {1}}=\mathfrak {g}_{0}+S\) via the Kostant-Koszul construction. Each algebra of supersymmetry naturally determines a flat connection \(\nabla^{\mathcal {S}}\) in the spin bundle S(M ₀). Killing vectors together with generalized Killing spinors (i.e. \(\nabla^{\mathcal {S}}\)-parallel spinors) are interpreted as the values of appropriate geometric symmetries of M, namely even and odd Killing fields. An explicit formula for the Killing representation of the algebra of supersymmetry is obtained, generalizing some results of Koszul. The generalized spin connection \(\nabla^{\mathcal {S}}\) defines a superconnection on M, via the super-version of a theorem of Wang.     

A semigroup related to a convex combination of boundary conditions obtained as a result of averaging other semigroups

Let \({\alpha}\) be a bounded linear operator in a Banach space \({\mathbb{X}}\), and let A be a closed operator in this space. Suppose that for \({\Phi_1, \Phi_2}\) mapping D(A) to another Banach space \({\mathbb{Y}}\), \({A_{|{\rm ker}\, \Phi_1}}\) and \({A_{|{\rm ker}\, \Phi_2}}\) are generators of strongly continuous semigroups in \({\mathbb{X}}\). Assume finally that \({A_{|{\rm ker}\, \Phi_\text{a}}}\), where \({\Phi_\text{a} = \Phi_1 \alpha + \Phi_2 \beta}\) and \({\beta = I_\mathbb{X} - \alpha}\), is a generator also. In the case where \({\mathbb{X}}\) is an L ¹-type space, and \({\alpha}\) is an operator of multiplication by a function \({0 \le \alpha \le 1}\), it is tempting to think of the later semigroup as describing dynamics which, while at state x, is subject to the rules of \({A_{|{\rm ker}\, \Phi_1}}\) with probability \({\alpha (x)}\) and is subject to the rules of \({A_{|{\rm ker}\, \Phi_2}}\) with probability \({\beta (x)= 1 - \alpha (x)}\). We provide an approximation (a singular perturbation) of the semigroup generated by \({A_{|{\rm ker}\, \Phi_\text{a}}}\) by semigroups built from those generated by \({A_{|{\rm ker}\, \Phi_1}}\) and \({A_{|{\rm ker}\, \Phi_2}}\) that supports this intuition. This result is motivated by a model of dynamics of Solea solea (Arino et al. in SIAM J Appl Math 60(2):408–436, 1999–2000; Banasiak and Goswami in Discrete Continuous Dyn Syst Ser A 35(2):617–635, 2015; Banasiak et al. in J Evol Equ 11:121–154, 2011, Mediterr J Math 11(2):533–559, 2014; Banasiak and Lachowicz in Methods of small parameter in mathematical biology, Birkhäuser, 2014; Sanchez et al. in J Math Anal Appl 323:680–699, 2006) and is, in a sense, dual to those of Bobrowski (J Evol Equ 7(3):555–565, 2007), Bobrowski and Bogucki (Stud Math 189:287–300, 2008), where semigroups generated by convex combinations of Feller’s generators were studied.     

Banach Random Walk in the Unit Ball $$S\subset l^{2}$$ and Chaotic Decomposition of $$l^{2}\left( S,{{\mathbb {P}}}\right) $$l2S,P

A Banach random walk in the unit ball S in \(l^{2}\) is defined, and we show that the integral introduced by Banach (Theory of the integral. Warszawa-Lwów, 1937) can be expressed as the expectation with respect to the measure \({{\mathbb {P}}}\) induced by this walk. A decomposition \(l^{2}\left( S,{{\mathbb {P}}}\right) =\bigoplus _{i=0}^{\infty } {{\mathfrak {B}}}_{i}\) in terms of what we call Banach chaoses is given.     

Bethe subalgebras of $$U_q(\widehat{\mathfrak {gl}}_n)$$ via shuffle algebras

In this article, we construct certain commutative subalgebras of the big shuffle algebra of type \(A^{(1)}_{n-1}\). This can be considered as a generalization of the similar construction for the small shuffle algebra, obtained in Feigin et al. (J Math Phys 50(9):42, 2009). We present a Bethe algebra realization of these subalgebras. The latter identifies them with the Bethe subalgebras of \(U_q(\widehat{\mathfrak {gl}}_n)\).     

The Schur functor on tensor powers

Let M be a left module for the Schur algebra S(n, r), and let \({s \in \mathbb{Z}^+}\) . Then \({M^{\otimes s}}\) is a \({(S(n,\,rs), F{\mathfrak{S}_{s}})}\) -bimodule, where the symmetric group \({{\mathfrak{S}_s}}\) on s letters acts on the right by place permutations. We show that the Schur functor f _rs sends \({M^{\otimes s}}\) to the \({(F{\mathfrak{S}_{rs}},F{\mathfrak{S}_s})}\) -bimodule \({F\mathfrak{S}_{rs}\otimes_{F(\mathfrak{S}_{r}\wr{\mathfrak{S}_s})} ((f_rM)^{\otimes s}\otimes_{F} F{\mathfrak{S}_s})}\) . As a corollary, we obtain the image under the Schur functor of the Lie power L ^s (M), exterior power \({\bigwedge^s(M)}\) of M and symmetric power S ^s (M).     

Correction: An Application of Free Probability to Arithmetic Functions

In this paper, we study free probability on tensor product algebra \(\mathfrak {M} = M\,\otimes _{\mathbb {C}}\,{\mathcal {A}}\) of a \(W^{*}\)-algebra M and the algebra \({\mathcal {A}}\), consisting of all arithmetic functions equipped with the functional addition and the convolution. We study free-distributional data of certain elements of \(\mathfrak {M}\), and study freeness on \(\mathfrak {M}\), affected by fixed primes.     

Characterization of some derivations on von Neumann algebras via left centralizers

Let \(\mathfrak {M}\) be a von Neumann algebra, and let \(\mathfrak {T}:\mathfrak {M} \rightarrow \mathfrak {M}\) be a bounded linear map satisfying \(\mathfrak {T}(P^{2}) = \mathfrak {T}(P)P + \Psi (P,P)\) for each projection P of \(\mathfrak {M}\), where \(\Psi :\mathfrak {M} \times \mathfrak {M} \rightarrow \mathfrak {M}\) is a bi-linear map. If \(\Psi \) is a bounded l-semi Hochschild 2-cocycle, then \(\mathfrak {T}\) is a left centralizer associated with \(\Psi \). By applying this conclusion, we offer a characterization of left \(\sigma \)-centralizers, generalized derivations and generalized \(\sigma \)-derivations on von Neumann algebras. Moreover, it is proved that if \(\mathfrak {M}\) is a commutative von Neumann algebra and \(\sigma :\mathfrak {M} \rightarrow \mathfrak {M}\) is an endomorphism, then every bi-\(\sigma \)-derivation \(D:\mathfrak {M} \times \mathfrak {M} \rightarrow \mathfrak {M}\) is identically zero.     

ACCR ring of the forms $$\mathcal {A}[X]$$ and $$\mathcal {A}[[X]]$$A[[X]]

Let \(\mathcal {A}=(A_n)_{n\in \mathbb {N}}\) be an ascending chain of commutative rings with identity and let \(\mathcal {A}[X]\) (respectively, \(\mathcal {A}[[X]]\)) be the ring of polynomials (respectively, power series) with coefficient of degree n in \(A_n\) for each \(n\in \mathbb {N}\) (Hamed and Hizem in Commun Algebra 43:3848–3856, 2015; Haouat in Thèse de doctorat. Faculté des Sciences de Tunis, 1988). An A-module M is said to satisfy ACCR if the ascending chain of residuals of the form \(N:B\subseteq N:B^2\subseteq N:B^3\subseteq \cdots \) terminates for every submodule N of M and for every finitely generated ideal B of A (Lu in Proc Am Math Soc 117:5–10, 1993). We give necessary and sufficient condition for the ring \(\mathcal {A}[X]\) (respectively, \(\mathcal {A}[[X]]\)) to satisfy ACCR.     

Classification of non-degenerate projective varieties with non-zero prolongation and application to target rigidity

The prolongation \(\mathfrak{g}^{(k)}\) of a linear Lie algebra \(\mathfrak{g}\subset \mathfrak{gl}(V)\) plays an important role in the study of symmetries of G-structures. Cartan and Kobayashi-Nagano have given a complete classification of irreducible linear Lie algebras \(\mathfrak{g}\subset \mathfrak{gl}(V)\) with non-zero prolongations.If \(\mathfrak{g}\) is the Lie algebra \(\mathfrak{aut}(\hat{S})\) of infinitesimal linear automorphisms of a projective variety S??V, its prolongation \(\mathfrak{g}^{(k)}\) is related to the symmetries of cone structures, an important example of which is the variety of minimal rational tangents in the study of uniruled projective manifolds. From this perspective, understanding the prolongation \(\mathfrak{aut}(\hat{S})^{(k)}\) is useful in questions related to the automorphism groups of uniruled projective manifolds. Our main result is a complete classification of irreducible non-degenerate nonsingular variety S??V with \(\mathfrak{aut}(\hat {S})^{(k)}\neq0\), which can be viewed as a generalization of the result of Cartan and Kobayashi-Nagano. As an application, we show that when S is linearly normal and Sec?(S)≠?V, the blow-up Bl _S (?V) has the target rigidity property, i.e., any deformation of a surjective morphism f:Y→Bl _S (?V) comes from the automorphisms of Bl _S (?V).     

Geometry of Coadjoint Orbits and Multiplicity-one Branching Laws for Symmetric Pairs

Consider the restriction of an irreducible unitary representation π of a Lie group G to its subgroup H. Kirillov’s revolutionary idea on the orbit method suggests that the multiplicity of an irreducible H-module ν occurring in the restriction π|_H could be read from the coadjoint action of H on \(\mathcal {O}^{G} \cap \text {pr}^{-1}({\mathcal {O}}^{H})\), provided π and ν are ‘geometric quantizations’ of a G-coadjoint orbit \(\mathcal {O}^{G}\) and an H-coadjoint orbit \(\mathcal {O}^{H}\), respectively, where \(\text {pr} \colon \sqrt {-1}\mathfrak {g}^{\ast } \to \sqrt {-1}\mathfrak {h}^{\ast }\) is the projection dual to the inclusion \(\mathfrak {h} \subset \mathfrak {g}\) of Lie algebras. Such results were previously established by Kirillov, Corwin and Greenleaf for nilpotent Lie groups. In this article, we highlight specific elliptic orbits \(\mathcal {O}^{G}\) of a semisimple Lie group G corresponding to highest weight modules of scalar type. We prove that the Corwin–Greenleaf number \(\sharp (\mathcal {O}^{G} \cap \text {pr}^{-1}({\mathcal {O}}^{H}))/H\) is either zero or one for any H-coadjoint orbit \(\mathcal {O}^{H}\), whenever (G,H) is a symmetric pair of holomorphic type. Furthermore, we determine the coadjoint orbits \(\mathcal {O}^{H}\) with nonzero Corwin–Greenleaf number. Our results coincide with the prediction of the orbit philosophy, and can be seen as ‘classical limits’ of the multiplicity-free branching laws of holomorphic discrete series representations (Kobayashi [Progr. Math. 2007]).     

On complete sequences

A sequence A of nonnegative integers is called complete if all sufficiently large integers can be represented as the sum of distinct terms taken form A. For a sequence \({S=\{s_{1}, s_{2}, \dots\}}\) of positive integers and a positive real number α, let S _α denote the sequence \({\{\lfloor\alpha s_{1}\rfloor, \lfloor\alpha s_{2}\rfloor, \dots\}}\), where \({\lfloor x \rfloor}\) denotes the greatest integer not greater than x. Let \({{U_S = \{\alpha \mid S_\alpha} \, is complete\}}\). Hegyvári [6] proved that if \({\lim_{n\to\infty} (s_{n+1}-s_{n})=+ \infty}\), \({s_{n+1} < \gamma s_{n}}\) for all integers \({n \geqq n_{0}}\), where \({1 < \gamma < 2}\), and \({U_{S}\ne\emptyset}\), then \({\mu(U_{S}) > 0}\), where \({\mu(U_{S})}\) is the Lebesgue measure of U _S . Yong-Gao Chen and the first author [4] proved that, if \({s_{n+1} < \gamma s_{n}}\) for all integers \({n \geqq n_{0}}\), where \({1 < \gamma \leqq 7/4=1.75}\), then \({\mu(U_{S}) > 0}\). In this paper, we prove that the conclusion holds for \({1 < \gamma \leqq \sqrt[4]{13}=1.898\dots\;}\).     

Every 3-connected $$\{K_{1,3},N_{1,2,3}\}$$-free graph is Hamilton-connected

A graph G is \(\{X,Y\}\)-free if it contains neither X nor Y as an induced subgraph. Pairs of connected graphs X, Y such that every 3-connected \(\{X,Y\}\)-free graph is Hamilton-connected have been investigated recently in (2002, 2000, 2012). In this paper, it is shown that every 3-connected \(\{K_{1,3},N_{1,2,3}\}\)-free graph is Hamilton-connected, where \(N_{1,2,3}\) is the graph obtained by identifying end vertices of three disjoint paths of lengths 1, 2, 3 to the vertices of a triangle.