Howe correspondence and Springer correspondence for real reductive dual pairs

We consider a real reductive dual pair (G′, G) of type I, with rank ${({\rm G}^{\prime}) \leq {\rm rank(G)}}$ . Given a nilpotent coadjoint orbit ${\mathcal{O}^{\prime} \subseteq \mathfrak{g}^{{\prime}{*}}}$ , let ${\mathcal{O}^{\prime}_\mathbb{C} \subseteq \mathfrak{g}^{{\prime}{*}}_\mathbb{C}}$ denote the complex orbit containing ${\mathcal{O}^{\prime}}$ . Under some condition on the partition λ′ parametrizing ${\mathcal{O}^{\prime}}$ , we prove that, if λ is the partition obtained from λ by adding a column on the very left, and ${\mathcal{O}}$ is the nilpotent coadjoint orbit parametrized by λ, then ${\mathcal{O}_\mathbb{C}= \tau (\tau^{\prime -1}(\mathcal{O}_\mathbb{C}^{\prime}))}$ , where ${\tau, \tau^{\prime}}$ are the moment maps. Moreover, if ${chc(\hat\mu_{\mathcal{O}^{\prime}}) \neq 0}$ , where chc is the infinitesimal version of the Cauchy-Harish-Chandra integral, then the Weyl group representation attached by Wallach to ${\mu_{\mathcal{O}^{\prime}}}$ with corresponds to ${\mathcal{O}_\mathbb{C}}$ via the Springer correspondence.     

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}$ .     

{\boldsymbol(}\boldsymbol{\mathcal{Z}}_{\bf 1}, \boldsymbol{\mathcal{Z}}_{\bf 2}{\boldsymbol)}-Complete Partially Ordered Sets and Their Representations by \boldsymbol{\mathcal{Q}}-Spaces

The present paper proposes a general theory for $\left( \mathcal{Z}_{1}, \mathcal{Z}_{2}\right) $ -complete partially ordered sets (alias $\mathcal{Z} _{1}$ -join complete and $\mathcal{Z}_{2}$ -meet complete partially ordered sets) and their Stone-like representations. It is shown that for suitably chosen subset selections $\mathcal{Z}_{i}$ (i?=?1,...,4) and $\mathcal{Q} =\left( \mathcal{Z}_{1},\mathcal{Z}_{2},\mathcal{Z}_{3},\mathcal{Z} _{4}\right) $ , the category $\mathcal{Q}$ P of $\left( \mathcal{Z}_{1},\mathcal{Z}_{2}\right) $ -complete partially ordered sets and $\left( \mathcal{Z}_{3},\mathcal{Z}_{4}\right) $ -continuous (alias $\mathcal{ Z}_{3}$ -join preserving and $\mathcal{Z}_{4}$ -meet preserving) functions forms a useful categorical framework for various order-theoretical constructs, and has a close connection with the category $\mathcal{Q}$ S of $\mathcal{Q}$ -spaces which are generalizations of topological spaces involving subset selections. In particular, this connection turns into a dual equivalence between the full subcategory $ \mathcal{Q}$ P _s of $\mathcal{Q}$ P of all $\mathcal{Q}$ -spatial objects and the full subcategory $\mathcal{Q}$ S _s of $\mathcal{Q}$ S of all $\mathcal{Q}$ -sober objects. Here $\mathcal{Q}$ -spatiality and $\mathcal{Q}$ -sobriety extend usual notions of spatiality of locales and sobriety of topological spaces to the present approach, and their relations to $\mathcal{Z}$ -compact generation and $\mathcal{Z}$ -sobriety have also been pointed out in this paper.     

An example related to Gregory’s Theorem

In this paper, we give an example of a complete computable infinitary theory T with countable models ${\mathcal{M}}$ and ${\mathcal{N}}$ , where ${\mathcal{N}}$ is a proper computable infinitary extension of ${\mathcal{M}}$ and T has no uncountable model. In fact, ${\mathcal{M}}$ and ${\mathcal{N}}$ are (up to isomorphism) the only models of T. Moreover, for all computable ordinals α, the computable ${\Sigma_\alpha}$ part of T is hyperarithmetical. It follows from a theorem of Gregory (JSL 38:460–470, 1972; Not Am Math Soc 17:967–968, 1970) that if T is a Π ₁ ¹ set of computable infinitary sentences and T has a pair of models ${\mathcal{M}}$ and ${\mathcal{N}}$ , where ${\mathcal{N}}$ is a proper computable infinitary extension of ${\mathcal{M}}$ , then T would have an uncountable model.     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

Covering functions by countably many functions from some families

Let $ \mathcal{A} $ be a nonempty family of functions from $ \mathbb{R} $ to $ \mathbb{R} $ . A function $ f:\mathbb{R}\to \mathbb{R} $ is said to be strongly countably $ \mathcal{A} $ -function if there is a sequence (f _n ) of functions from $ \mathcal{A} $ such that $ \mathrm{Gr}(f)\subset {\cup_n}\mathrm{Gr}\left( {{f_n}} \right) $ (Gr(f) denotes the graph of f). If $ \mathcal{A} $ is the family of all continuous functions, the strongly countable $ \mathcal{A} $ -functions are called strongly countably continuous and were investigated in [Z. Grande and A. Fatz-Grupka, On countably continuous functions, Tatra Mt. Math. Publ., 28:57–63, 2004], [G. Horbaczewska, On strongly countably continuous functions, Tatra Mt. Math. Publ., 42:81–86, 2009], and [T.A. Natkaniec, On additive countably continuous functions, Publ. Math., 79(1–2):1–6, 2011]. In this article, we prove that the families $ \mathcal{A}\left( \mathbb{R} \right) $ of all strongly countably $ \mathcal{A} $ -functions are closed with respect to some operations in dependence of analogous properties of the families $ \mathcal{A} $ , and, in particular, we show some properties of strongly countably differentiable functions, strongly countably approximately continuous functions, and strongly countably quasi-continuous functions.     

Alternating groups and flag-transitive triplanes

Let ${\mathcal{D}}$ be a nontrivial triplane, and G be a subgroup of the full automorphism group of ${\mathcal{D}}$ . In this paper we prove that if ${\mathcal{D}}$ is a triplane, ${G\leq Aut(\mathcal{D})}$ is flag-transitive, point-primitive and Soc(G) is an alternating group, then ${\mathcal{D}}$ is the projective space PG ₂(3, 2), and ${G\cong A_7}$ with the point stabiliser ${G_x\cong PSL_3(2)}$ .     

Some results on metric n-Lie algebras

We study the structure of a metric n-Lie algebra G over the complex field C. Let G = SR be the Levi decomposition, where R is the radical of G and S is a strong semisimple subalgebra of G. Denote by m(G) the number of all minimal ideals of an indecomposable metric n-Lie algebra and R ⊥ the orthogonal complement of R. We obtain the following results. As S-modules, R ⊥ is isomorphic to the dual module of G/R. The dimension of the vector space spanned by all nondegenerate invariant symmetric bilinear forms on G is equal to that of the vector space of certain linear transformations on G; this dimension is greater than or equal to m(G) + 1. The centralizer of R in G is equal to the sum of all minimal ideals; it is the direct sum of R ⊥ and the center of G. Finally, G has no strong semisimple ideals if and only if R⊥■R.     

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.     

Categories of partial algebras for critical points between varieties of algebras

We denote by Con_c A the ${(\vee, 0)}$ -semilattice of all finitely generated congruences of an algebra A. A lifting of a ${(\vee, 0)}$ -semilattice S is an algebra A such that ${S \cong {\rm Con}_{\rm c} A}$ . The assignment Conc can be extended to a functor. The notion of lifting is generalized to diagrams of ${(\vee, 0)}$ -semilattices. A gamp is a partial algebra endowed with a partial subalgebra together with a semilattice-valued distance; gamps form a category that lends itself to a universal algebraic-type study. The raison d’être of gamps is that any algebra can be approximated by its finite subgamps, even in case it is not locally finite. Let ${\mathcal{V}}$ and ${\mathcal{W}}$ be varieties of algebras (on finite, possibly distinct, similarity types). Let P be a finite lattice. We assume the existence of a combinatorial object, called an ${\aleph_0}$ -lifter of P, of infinite cardinality ${\lambda}$ . Let ${\vec{A}}$ be a P-indexed diagram of finite algebras in ${\mathcal{V}}$ . If ${{\rm Con}_{\rm c} \circ \vec{A}}$ has no partial lifting in the category of gamps of ${\mathcal{W}}$ , then there is an algebra ${A \in \mathcal{V}}$ of cardinality ${\lambda}$ such that Con_c A is not isomorphic to Con_c B for any ${B \in \mathcal{W}}$ . This makes it possible to generalize several known results. In particular, we prove the following theorem, without assuming that ${\mathcal{W}}$ is locally finite. Let ${\mathcal{V}}$ be locally finite and let ${\mathcal{W}}$ be congruence-proper (i.e., congruence lattices of infinite members of ${\mathcal{W}}$ are infinite). The following equivalence holds. Every countable ${(\vee, 0)}$ -semilattice with a lifting in ${\mathcal{V}}$ has a lifting in ${\mathcal{W}}$ if and only if every ${\omega}$ -indexed diagram of finite ${(\vee, 0)}$ -semilattices with a lifting in ${\mathcal{V}}$ has a lifting in ${\mathcal{W}}$ . Gamps are also applied to the study of congruence-preserving extensions. Let ${\mathcal{V}}$ be a non-semidistributive variety of lattices and let n ≥ 2 be an integer. There is a bounded lattice ${A \in \mathcal{V}}$ of cardinality ${\aleph_1}$ with no congruence n-permutable, congruence-preserving extension. The lattice A is constructed as a condensate of a square-indexed diagram of lattices.     

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.     

Some new classes of Kadison-Singer lattices in Hilbert spaces

Let N be a maximal and discrete nest on a separable Hilbert space H,E the projection from H onto the subspace[C]spanned by a particular separating vector for N′and Q the projection from K=H⊕H onto the closed subspace{(,):∈H}.Let L be the closed lattice in the strong operator topology generated by the projections(E 00 0),{(E 00 0):E∈N}and Q.We show that L is a Kadison-Singer lattice with trivial commutant,i.e.,L′=CI.Furthermore,we similarly construct some Kadison-Singer lattices in the matrix algebras M2n(C)and M2n.1(C).     

Comparison of topologies on ⁎-algebras of locally measurable operators

We consider the local measure topology ${t(\mathcal{M})}$ on the ?-algebra ${LS(\mathcal{M})}$ of all locally measurable operators and on the ?-algebra ${S(\mathcal{M},\tau)}$ of all τ-measurable operators affiliated with a von Neumann algebra ${\mathcal{M}}$ . If τ is a semifinite but not a finite trace on ${\mathcal{M},}$ then one can consider the τ-local measure topology t _τ l and the weak τ-local measure topology t _{w τ l} . We study relationships between the topology ${t(\mathcal{M})}$ and the topologies t _τ l , t _{w τ l} , and the (o)-topology ${t_o(\mathcal{M})}$ on ${LS_h(\mathcal{M})=\{T\in LS(\mathcal{M}): T^\ast=T\}}$ . We find that the topologies ${t(\mathcal{M})}$ and t _τ l (resp. ${t(\mathcal{M})}$ and t _{w τ l} ) coincide on ${S(\mathcal{M},\tau)}$ if and only if ${\mathcal{M}}$ is finite, and ${t(\mathcal{M})=t_o(\mathcal{M})}$ on ${LS_h(\mathcal{M})}$ holds if and only if ${\mathcal{M}}$ is a σ-finite and finite. Moreover, it turns out that the topology t _{τ l} (resp. t _{w τ l} ) coincides with the (o)-topology on ${S_h(\mathcal{M},\tau)}$ only for finite traces. We give necessary and sufficient conditions for the topology ${t(\mathcal{M})}$ to be locally convex (resp., normable). We show that (o)-convergence of sequences in ${LS_h(\mathcal{M})}$ and convergence in the topology ${t(\mathcal{M})}$ coincide if and only if the algebra ${\mathcal{M}}$ is an atomic and finite algebra.     

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.     

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.     

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.     

The \mathcal{VU} -decomposition to the proper convex function

Based on the $\mathcal{VU}$ -theory of the finite-value convex function, this paper gives the $\mathcal{VU}$ -theory of the proper convex function. We give three equivalent definitions of the space decomposition. Also, we get the $\mathcal{U}$ -Lagrangian function and its corresponding properties. Furthermore, we apply this method to the nonlinear programming. And we obtain its algorithm and convergence theorem.     

Varieties generated by modes of submodes

In a natural way, we can ??lift?? any operation defined on a set A to an operation on the set of all non-empty subsets of A and obtain from any algebra ( ${A, \Omega}$ ) its power algebra of subsets. G. Gr?tzer and H. Lakser proved that for a variety ${\mathcal{V}}$ , the variety ${\mathcal{V}\Sigma}$ generated by power algebras of algebras in ${\mathcal{V}}$ satisfies precisely the consequences of the linear identities true in ${\mathcal{V}}$ . For certain types of algebras, the sets of their subalgebras form subalgebras of their power algebras. They are called the algebras of subalgebras. In this paper, we partially solve a long-standing problem concerning identities satisfied by the variety ${\mathcal{VS}}$ generated by algebras of subalgebras of algebras in a given variety ${\mathcal{V}}$ . We prove that if a variety ${\mathcal{V}}$ is idempotent and entropic and the variety ${\mathcal{V}\Sigma}$ is locally finite, then the variety ${\mathcal{VS}}$ is defined by the idempotent and linear identities true in ${\mathcal{V}}$ .     

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.