Existence, automatic continuity and invariant submodules of generalized derivations on modules

Let ${\mathcal{A}}$ be a ${\mathbb{C}}$ -algebra, δ be a derivation on ${\mathcal{A}}$ and ${\mathcal{M}}$ be a left ${\mathcal{A}}$ -module. A linear map ${\tau : \mathcal{M} \rightarrow \mathcal{M}}$ is called a generalized derivation relative to δ if ${\tau(am)=a\tau(m)+\delta(a)m\,(a \in \mathcal{A}, m \in \mathcal{M})}$ . In this article first we study the existence of generalized derivations. In particular we show that free modules and projective modules always have nontrivial generalized derivations relative to nonzero derivations of ${\mathcal{A}}$ . Then we investigate the invariance of prime submodules under generalized derivations. Specifically we show that every minimal prime submodule of ${\mathcal{M}}$ is invariant under every generalized derivation. Moreover we obtain analogs of Posner’s theorem for generalized derivations. In the case that ${\mathcal{A}}$ is a Banach algebra and ${\mathcal{M}}$ is a Banach left ${\mathcal{A}}$ -module, we study the existence of continuous generalized derivations and automatic continuity of generalized derivations.     

On Triangularizability of a Group of Operators

Let ${\mathcal{G}}$ be a group of invertible linear transformations on a finite-dimensional vector space over an algebraically closed field. We show that if ${\mathcal{G}=\mathcal{H}\vee\mathcal{K}}$ , where ${\mathcal{H}}$ is a normal subgroup consisting of singleton spectrum operators and ${\mathcal{K}}$ is a triangularizable subgroup, then ${\mathcal{G}}$ is triangularizable.     

Inductive Moving Frames

An inductive implementation of the equivariant moving frame method is introduced for both finite-dimensional Lie group actions and infinite-dimensional Lie pseudo-groups. Given two Lie (pseudo-)groups ${\mathcal{G}}$ and ${\mathcal{H}}$ with ${\mathcal{G} \subset \mathcal{H}}$ , the inductive method streamlines the construction of a moving frame for ${\mathcal{H}}$ using the already constructed moving frame for ${\mathcal{G}}$ . As a by-product, a systematic procedure for expressing ${\mathcal{H}}$ -invariant quantities in terms of their ${\mathcal{G}}$ -invariant counterparts is obtained.     

Forbidden configurations and Steiner designs

Let ${\mathcal{F}}$ be a (0, 1) matrix. A (0, 1) matrix ${\mathcal{M}}$ is said to have ${\mathcal{F}}$ as a configuration if there is a submatrix of ${\mathcal{M}}$ which is a row and column permutation of ${\mathcal{F}}$ . We say that a matrix ${\mathcal{M}}$ is simple if it has no repeated columns. For a given ${v \in \mathbb{N}}$ , we shall denote by forb ${(v, \mathcal{F})}$ the maximum number of columns in a simple (0, 1) matrix with v rows for which ${\mathcal{F}}$ does not occur as a configuration. We say that a matrix ${\mathcal{M}}$ is maximal for ${\mathcal{F}}$ if ${\mathcal{M}}$ has forb ${(v, \mathcal{F})}$ columns. In this paper we show that for certain natural choices of ${\mathcal{F}}$ , forb ${(v, \mathcal{F})\leq\frac{\binom{v}{t}}{t+1}}$ . In particular this gives an extremal characterization for Steiner t-designs as maximal (0, 1) matrices in terms of certain forbidden configurations.     

Characterization of (generalized) Lie derivations on {\mathcal{J}}-subspace lattice algebras by local action

Let ${\mathcal{L}}$ be a ${\mathcal{J}}$ -subspace lattice on a Banach space X over the real or complex field ${\mathbb{F}}$ with dim X ≥ 2 and Alg ${\mathcal{L}}$ be the associated ${\mathcal{J}}$ -subspace lattice algebra. For any scalar ${\xi \in \mathbb{F}}$ , there is a characterization of any linear map L : Alg ${\mathcal{L} \rightarrow {\rm Alg} {\mathcal{L}}}$ satisfying ${L([A,B]_\xi) = [L(A),B]_\xi + [A,L(B)]_\xi}$ for any ${A, B \in{\rm Alg} {\mathcal{L}}}$ with AB = 0 (rep. ${[A,B]_ \xi = AB - \xi BA = 0}$ ) given. Based on these results, a complete characterization of (generalized) ξ-Lie derivations for all possible ξ on Alg ${\mathcal{L}}$ is obtained.     

Lax embeddings of the Hermitian unital

In this paper, we prove that every lax generalized Veronesean embedding of the Hermitian unital ${\mathcal{U}}$ of ${\mathsf{PG}(2,\mathbb{L}), \mathbb{L}}$ a quadratic extension of the field ${\mathbb{K}}$ and ${|\mathbb{K}| \geq 3}$ , in a ${\mathsf{PG}(d,\mathbb{F})}$ , with ${\mathbb{F}}$ any field and d ≥ 7, such that disjoint blocks span disjoint subspaces, is the standard Veronesean embedding in a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ (and d = 7) or it consists of the projection from a point ${p \in \mathcal{U}}$ of ${\mathcal{U}{\setminus} \{p\}}$ from a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ into a hyperplane ${\mathsf{PG}(6,\mathbb{K}^{\prime})}$ . In order to do so, when ${|\mathbb{K}| >3 }$ we strongly use the linear representation of the affine part of ${\mathcal{U}}$ (the line at infinity being secant) as the affine part of the generalized quadrangle ${\mathsf{Q}(4,\mathbb{K})}$ (the solid at infinity being non-singular); when ${|\mathbb{K}| =3}$ , we use the connection of ${\mathcal{U}}$ with the generalized hexagon of order 2.     

Donsker-type theorems for nonparametric maximum likelihood estimators

Let ${\mathcal{P}}$ be a nonparametric probability model consisting of smooth probability densities and let ${\hat{p}_{n}}$ be the corresponding maximum likelihood estimator based on n independent observations each distributed according to the law ${\mathbb{P}}$ . With $\hat{\mathbb{P}}_{n}$ denoting the measure induced by the density ${\hat{p}_{n}}$ , define the stochastic process ${\hat{\nu}}_{n}: f\longmapsto \sqrt{n} \int fd({\hat{\mathbb{P}}}_{n} -\mathbb{P})$ where f ranges over some function class ${\mathcal{F}}$ . We give a general condition for Donsker classes ${\mathcal{F}}$ implying that the stochastic process $\hat{\nu}_{n}$ is asymptotically equivalent to the empirical process in the space ${\ell ^{\infty }(\mathcal{F})}$ of bounded functions on ${ \mathcal{F}}$ . This implies in particular that $\hat{\nu}_{n}$ converges in law in ${\ell ^{\infty }(\mathcal{F})}$ to a mean zero Gaussian process. We verify the general condition for a large family of Donsker classes ${\mathcal{ F}}$ . We give a number of applications: convergence of the probability measure ${\hat{\mathbb{P}}_{n}}$ to ${\mathbb{P}}$ at rate ${\sqrt{n}}$ in certain metrics metrizing the topology of weak(-star) convergence; a unified treatment of convergence rates of the MLE in a continuous scale of Sobolev-norms; ${\sqrt{n}}$ -efficient estimation of nonlinear functionals defined on ${\mathcal{P}}$ ; limit theorems at rate ${\sqrt{n}}$ for the maximum likelihood estimator of the convolution product ${\mathbb{P\ast P}}$ .     

Scaling relationship between the copositive cone and Parrilo’s first level approximation

We investigate the relation between the cone ${\mathcal{C}^{n}}$ of n × n copositive matrices and the approximating cone ${\mathcal{K}_{n}^{1}}$ introduced by Parrilo. While these cones are known to be equal for n ≤ 4, we show that for n ≥ 5 they are not equal. This result is based on the fact that ${\mathcal{K}_{n}^{1}}$ is not invariant under diagonal scaling. We show that for any copositive matrix which is not the sum of a nonnegative and a positive semidefinite matrix we can find a scaling which is not in ${\mathcal{K}_{n}^{1}}$ . In fact, we show that if all scaled versions of a matrix are contained in ${\mathcal{K}_{n}^{r}}$ for some fixed r, then the matrix must be in ${\mathcal{K}_{n}^{0}}$ . For the 5 × 5 case, we show the more surprising result that we can scale any copositive matrix X into ${\mathcal{K}_{5}^{1}}$ and in fact that any scaling D such that ${(DXD)_{ii} \in \{0,1\}}$ for all i yields ${DXD \in \mathcal{K}_{5}^{1}}$ . From this we are able to use the cone ${\mathcal{K}_{5}^{1}}$ to check if any order 5 matrix is copositive. Another consequence of this is a complete characterisation of ${\mathcal{C}^{5}}$ in terms of ${\mathcal{K}_{5}^{1}}$ . We end the paper by formulating several conjectures.     

Jordan Modules and Jordan Ideals of Reflexive Algebras

Let ${\mathcal{L}}$ be a completely distributive subspace lattice on a Banach space and alg ${\mathcal{L}}$ the associated reflexive algebra. Suppose that the following $$\mbox{Condition A:}\dim(F/F\wedge F_-)\ne1\;\; \mbox{for all}\;\;F\in\mathcal{L}$$ holds; note that if ${\mathcal{L}}$ is an atomic Boolean subspace lattice, this condition means that every atom of ${\mathcal{L}}$ has dimension at least two. It is shown that every reflexive Jordan Alg ${\mathcal{L}}$ -module is an associative Alg ${\mathcal{L}}$ -module. We give an example which shows that if the Condition A is removed, then the conclusion is not necessarily true. Moreover, we prove that all reflexive Jordan ideals of Alg ${\mathcal{L}}$ are associative ideals in the case that no the Condition A is assumed. The same conclusions hold for weakly closed Jordan modules and weakly closed Jordan ideals if the rank one subalgebra of Alg ${\mathcal{L}}$ is weakly dense in Alg ${\mathcal{L}}$ .     

Atomic intersection of σ-fields and some of its consequences

Let ${(\Omega, \mathcal{F}, P)}$ be a probability space. For each ${\mathcal{G}\subset\mathcal{F}}$ , define ${\overline{\mathcal{G}}}$ as the σ-field generated by ${\mathcal{G}}$ and those sets ${F\in \mathcal{F}}$ satisfying ${P(F)\in\{0,1\}}$ . Conditions for P to be atomic on ${\cap_{i=1}^k\overline{\mathcal{A}_i}}$ , with ${\mathcal{A }_1,\ldots,\mathcal{A}_k\subset\mathcal{F}}$ sub-σ-fields, are given. Conditions for P to be 0-1-valued on ${\cap_{i=1}^k \overline{\mathcal{A}_i}}$ are given as well. These conditions are useful in various fields, including Gibbs sampling, iterated conditional expectations and the intersection property.     

Helly-type theorems for intersections of sets starshaped via orthogonally convex paths

Let ${\mathcal{K}}$ be a family of simply connected sets in the plane. If every countable subfamily of ${\mathcal{K}}$ has an intersection that is starshaped via orthogonally convex paths, then ${\mathcal{K}}$ itself has such an intersection. For the d-dimensional case, let ${\mathcal{K}}$ be a family of compact sets in ${\mathbb{R}^d}$ . If every finite subfamily of ${\mathcal{K}}$ has an intersection that is starshaped via orthogonally convex paths, again ${\mathcal{K}}$ itself has such an intersection.     

On additive decompositions of the set of primitive roots modulo p

It is conjectured that the set ${\mathcal {G}}$ of the primitive roots modulo p has no decomposition (modulo p) of the form ${\mathcal {G}= \mathcal {A} +\mathcal {B}}$ with ${|\mathcal {A}|\ge 2}$ , ${|\mathcal {B} |\ge 2}$ . This conjecture seems to be beyond reach but it is shown that if such a decomposition of ${\mathcal {G}}$ exists at all, then ${|\mathcal {A} |}$ , ${|\mathcal {B} |}$ must be around p ^1/2, and then this result is applied to show that ${\mathcal {G}}$ has no decomposition of the form ${\mathcal {G} =\mathcal {A} + \mathcal {B} + \mathcal {C}}$ with ${|\mathcal {A} |\ge 2}$ , ${|\mathcal {B} |\ge 2}$ , ${|\mathcal {C} |\ge 2}$ .     

On the Generality of Assuming that a Family of Continuous Functions Separates Points

For an algebra ${\mathcal{A}}$ of complex-valued, continuous functions on a compact Hausdorff space (X, τ), it is standard practice to assume that ${\mathcal{A}}$ separates points in the sense that for each distinct pair ${x, y \in X}$ , there exists an ${f \in \mathcal{A}}$ such that ${f(x) \neq f(y)}$ . If ${\mathcal{A}}$ does not separate points, it is known that there exists an algebra ${\widehat{\mathcal{A}}}$ on a compact Hausdorff space ${(\widehat{X}, \widehat{\tau})}$ that does separate points such that the map ${\mathcal{A} \mapsto \widehat{\mathcal{A}}}$ is a uniform norm isometric algebra isomorphism. So it is, to a degree, without loss of generality that we assume ${\mathcal{A}}$ separates points. The construction of ${{\widehat{\mathcal{A}}}}$ and ${(\widehat{X}, \widehat{\tau})}$ does not require that ${\mathcal{A}}$ has any algebraic structure nor that ${(X, \tau)}$ has any properties, other than being a topological space. In this work we develop a framework for determining the degree to which separation of points may be assumed without loss of generality for any family ${\mathcal{A}}$ of bounded, complex-valued, continuous functions on any topological space ${(X, \tau)}$ . We also demonstrate that further structures may be preserved by the mapping ${\mathcal{A} \mapsto \widehat{\mathcal{A}}}$ , such as boundaries of weak peak points, the Lipschitz constant when the functions are Lipschitz on a compact metric space, and the involutive structure of real function algebras on compact Hausdorff spaces.     

Irregular and Singular Loci of Commuting Varieties

Let $ {\user1{\mathcal{C}}} $ be the commuting variety of the Lie algebra $ \mathfrak{g} $ of a connected noncommutative reductive algebraic group G over an algebraically closed field of characteristic zero. Let $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ be the singular locus of $ {\user1{\mathcal{C}}} $ and let $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ be the locus of points whose G-stabilizers have dimension > rk G. We prove that: (a) $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ is a nonempty subset of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ ; (b) $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{irr}}}} = 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ where the maximum is taken over all simple ideals $ \mathfrak{a} $ of $ \mathfrak{g} $ and $ l{\left( \mathfrak{a} \right)} $ is the “lacety” of $ \mathfrak{a} $ ; and (c) if $ \mathfrak{t} $ is a Cartan subalgebra of $ \mathfrak{g} $ and $ \alpha \in \mathfrak{t}^{*} $ root of $ \mathfrak{g} $ with respect to $ \mathfrak{t} $ , then $ \overline{{G{\left( {{\text{Ker}}\,\alpha \times {\text{Ker }}\alpha } \right)}}} $ is an irreducible component of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ of codimension 4 in $ {\user1{\mathcal{C}}} $ . This yields the bound $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ and, in particular, $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 2 $ . The latter may be regarded as an evidence in favor of the known longstanding conjecture that $ {\user1{\mathcal{C}}} $ is always normal. We also prove that the algebraic variety $ {\user1{\mathcal{C}}} $ is rational.     

Complemented modular lattices with involution and orthogonal geometry

With each orthogeometry (P, ⊥) we associate ${{\mathbb {L}}(P, \bot)}$ , a complemented modular lattice with involution (CMIL), consisting of all subspaces X and X ^⊥ such that dim X < ?₀, and we study its rôle in decompositions of (P, ⊥) as directed (resp., disjoint) union. We also establish a 1–1 correspondence between ?-varieties ${\mathcal {V}}$ of CMILs with ${\mathcal {V}}$ generated by its finite dimensional members and ‘quasivarieties’ ${\mathcal {G}}$ of orthogeometries: ${\mathcal {V}}$ consists of the CMILs representable within some geometry from ${\mathcal {G}}$ and ${\mathcal {G}}$ of the (P, ⊥) with ${{\mathbb {L}}(P, \bot) \in {\mathcal {V}}}$ . Here, ${\mathcal {V}}$ is recursively axiomatizable if and only if so is ${\mathcal {G}}$ . It follows that the equational theory of ${\mathcal {V}}$ is decidable provided that the equational theories of the ${\{{\mathbb {L}}(P, \bot)\, |\, (P, \bot) \in \mathcal {G}, {\rm{dim}} P = n\}}$ are uniformly decidable.     

Characterization of Lie higher derivations on triangular algebras

Let $\mathcal{A}$ and $\mathcal{B}$ be unital rings, and $\mathcal{M}$ be an $\left( {\mathcal{A},\mathcal{B}} \right)$ -bimodule, which is faithful as a left $\mathcal{A}$ -module and also as a right $\mathcal{B}$ -module. Let $\mathcal{U} = Tri\left( {\mathcal{A},\mathcal{M},\mathcal{B}} \right)$ be the triangular algebra. In this paper, we give some different characterizations of Lie higher derivations on $\mathcal{U}$ .     

On Extending {\mathcal{A}}-Modules Through the Coefficients

In classical linear algebra, extending the ring of scalars of a free module gives rise to a new free module containing an isomorphic copy of the former and satisfying a certain universal property. Also, given two free modules on the same ring of scalars and a morphism between them, enlarging the ring of scalars results in obtaining a new morphism having the nice property that it coincides with the initial map on the isomorphic copy of the initial free module in the new one. We investigate these problems in the category of free ${\mathcal{A}}$ -modules, where ${\mathcal{A}}$ is an ${\mathbb{R}}$ -algebra sheaf. Complexification of free ${\mathcal{A}}$ -modules, which is defined to be the process of obtaining new free ${\mathcal{A}}$ -modules by enlarging the ${\mathbb{R}}$ -algebra sheaf ${\mathcal{A}}$ to a ${\mathbb{C}}$ -algebra sheaf, denoted ${\mathcal{A}_\mathbb{C}}$ , is an important particular case (see Proposition 2.1, Proposition 3.1). Attention, on the one hand, is drawn on the sub- ${_{\mathbb{R}}\mathcal{A}}$ -sheaf of almost complex structures on the sheaf ${{_\mathbb{R}}\mathcal{A}^{2n}}$ , the underlying ${\mathbb{R}}$ -algebra sheaf of a ${\mathbb{C}}$ -algebra sheaf ${\mathcal{A}}$ , and on the other hand, on the complexification of the functor ${\mathcal{H}om_\mathcal {A}}$ , with ${\mathcal{A}}$ an ${\mathbb{R}}$ -algebra sheaf.     

Real Clifford Algebras as Tensor Products over Centers

Denote by ${\mathcal{C}\ell_{p,q}}$ the Clifford algebra on the real vector space ${\mathbb{R}^{p,q}}$ . This paper gives a unified tensor product expression of ${\mathcal{C}\ell_{p,q}}$ by using the center of ${\mathcal{C}\ell_{p,q}}$ . The main result states that for nonnegative integers p, q, ${\mathcal{C}\ell_{p,q} \simeq \otimes^{\kappa-\delta}\mathcal{C}_{1,1} \otimes Cen(\mathcal{C}\ell_{p,q}) \otimes^{\delta} \mathcal{C}\ell_{0,2},}$ where ${p + q \equiv \varepsilon}$ mod 2, ${\kappa = ((p + q) - \varepsilon)/2, p - |q - \varepsilon| \equiv i}$ mod 8 and ${\delta = \lfloor i / 4 \rfloor}$ .