Local derivations of full matrix rings

Let \({\mathcal{R}}\) be a unital commutative ring and \({\mathcal{M}}\) be a 2-torsion free central \({\mathcal{R}}\) -bimodule. In this paper, for \({n \geqq 3}\), we show that every local derivation from M _n (\({\mathcal{R}}\)) into M _n (\({\mathcal{M}}\)) is a derivation.     

M-$${\mathcal{}}$$-Injective (Flat) and Strongly $${\mathcal{B}}$$B-Injective (Flat) Modules

Let M be a left R-module, \({\mathcal{A}}\)be a family of some submodules of M and \({\mathcal{B}}\)be a family of some left R-modules. In this article, we introduce and characterize \({\mathcal{A}}\)-coherent, \({P\mathcal{A}}\), \({F\mathcal{A}}\), M-\({\mathcal{A}}\)-injective (flat) and strongly \({\mathcal{B}}\)-injective (flat) modules, which are generalizations of coherent, PS, FS, M-injective (flat) and strongly M-injective modules, respectively. We extend some known results to this general structure.     

Integer Decomposition Property of Free Sums of Convex Polytopes

Let \({\mathcal{P} \subset \mathbb{R}^{d}}\) and \({\mathcal{Q} \subset \mathbb{R}^{e}}\) be integral convex polytopes of dimension d and e which contain the origin of \({\mathbb{R}^{d}}\) and \({\mathbb{R}^{e}}\), respectively. We say that an integral convex polytope \({\mathcal{P}\subset \mathbb{R}^{d}}\) possesses the integer decomposition property if, for each \({n\geq1}\) and for each \({\gamma \in n\mathcal{P}\cap\mathbb{Z}^{d}}\), there exist \({\gamma^{(1)}, . . . , \gamma^{(n)}}\) belonging to \({\mathcal{P}\cap\mathbb{Z}^{d}}\) such that \({\gamma = \gamma^{(1)} +. . .+\gamma^{(n)}}\). In the present paper, under some assumptions, the necessary and sufficient condition for the free sum of \({\mathcal{P}}\) and \({\mathcal{Q}}\) to possess the integer decomposition property will be presented.     

Tempered representations of <Emphasis Type="Italic">p</Emphasis>-adic groups: special idempotents and topology

Let \(G=G(k)\) be a connected reductive group over a p-adic field k. The smooth (and tempered) complex representations of G can be considered as the nondegenerate modules over the Hecke algebra \({\mathcal {H}}={\mathcal {H}}(G)\) and the Schwartz algebra \({\mathcal {S}}={\mathcal {S}}(G)\) forming abelian categories \({\mathcal {M}}(G)\) and \({\mathcal {M}}^t(G)\), respectively. Idempotents \(e\in {\mathcal {H}}\) or \({\mathcal {S}}\) define full subcategories \({\mathcal {M}}_e(G)= \{V : {\mathcal {H}}eV=V\}\) and \({\mathcal {M}}_e^t(G)= \{V : {\mathcal {S}}eV=V\}\). Such an e is said to be special (in \({\mathcal {H}}\) or \({\mathcal {S}}\)) if the corresponding subcategory is abelian. Parallel to Bernstein’s result for \(e\in {\mathcal {H}}\) we will prove that, for special \(e \in {\mathcal {S}}\), \({\mathcal {M}}_e^t(G) = \prod _{\Theta \in \theta _e} {\mathcal {M}}^t(\Theta )\) is a finite direct product of component categories \({\mathcal {M}}^t(\Theta )\), now referring to connected components of the center of \({\mathcal {S}}\). A special \(e\in {\mathcal {H}}\) will be also special in \({\mathcal {S}}\), but idempotents \(e\in {\mathcal {H}}\) not being special can become special in \({\mathcal {S}}\). To obtain conditions we consider the sets \(\mathrm{Irr}^t(G) \subset \mathrm{Irr}(G)\) of (tempered) smooth irreducible representations of G, and we view \(\mathrm{Irr}(G)\) as a topological space for the Jacobson topology defined by the algebra \({\mathcal {H}}\). We use this topology to introduce a preorder on the connected components of \(\mathrm{Irr}^t(G)\). Then we prove that, for an idempotent \(e \in {\mathcal {H}}\) which becomes special in \({\mathcal {S}}\), its support \(\theta _e\) must be saturated with respect to that preorder. We further analyze the above decomposition of \({\mathcal {M}}_e^t(G)\) in the case where G is k-split with connected center and where \(e = e_J \in {\mathcal {H}}\) is the Iwahori idempotent. Here we can use work of Kazhdan and Lusztig to relate our preorder on the support \(\theta _{e_J}\) to the reverse of the natural partial order on the unipotent classes in G. We finish by explicitly computing the case \(G=GL_n\), where \(\theta _{e_J}\) identifies with the set of partitions of n. Surprisingly our preorder (which is a partial order now) is strictly coarser than the reverse of the dominance order on partitions.     

On decomposability of Multilinear sets

We consider the Multilinear set \({\mathcal {S}}\) defined as the set of binary points (x, y) satisfying a collection of multilinear equations of the form \(y_I = \prod _{i \in I} x_i\), \(I \in {\mathcal {I}}\), where \({\mathcal {I}}\) denotes a family of subsets of \(\{1,\ldots , n\}\) of cardinality at least two. Such sets appear in factorable reformulations of many types of nonconvex optimization problems, including binary polynomial optimization. A great simplification in studying the facial structure of the convex hull of the Multilinear set is possible when \({\mathcal {S}}\) is decomposable into simpler Multilinear sets \({\mathcal {S}}_j\), \(j \in J\); namely, the convex hull of \({\mathcal {S}}\) can be obtained by convexifying each \({\mathcal {S}}_j\), separately. In this paper, we study the decomposability properties of Multilinear sets. Utilizing an equivalent hypergraph representation for Multilinear sets, we derive necessary and sufficient conditions under which \({\mathcal {S}}\) is decomposable into \({\mathcal {S}}_j\), \(j \in J\), based on the structure of pair-wise intersection hypergraphs. Our characterizations unify and extend the existing decomposability results for the Boolean quadric polytope. Finally, we propose a polynomial-time algorithm to optimally decompose a Multilinear set into simpler subsets. Our proposed algorithm can be easily incorporated in branch-and-cut based global solvers as a preprocessing step for cut generation.     

Spectral properties and stability of perturbed Cartesian product

Let \({\mathcal {A}}\) and \({\mathcal {B}}\) be commutative Banach algebras, and let \(T:{\mathcal {B}} \rightarrow {\mathcal {A}}\) be an algebra homomorphism with \({\Vert T\Vert }\le 1\). Then T induces a Banach algebra product \(\times _T\) perturbing the coordinatewise product on the Cartesian product space \({\mathcal {A}} \times {\mathcal {B}}\). We show that the spectral properties like spectral extension property, unique uniform norm property, regularity, weak regularity as well as Ditkin’s condition are stable with respect to this product.     

Homomorphisms of $$\ell ^1$$-Munn algebras and Rees matrix semigroup algebras

Let \({\mathcal {LM}}\left( {\mathcal {A}}, P\right) \) be an \(\ell ^1\)-Munn algebra over an arbitrary unital Banach algebra \({\mathcal {A}}\). We characterize homomorphisms from \({\mathcal {LM}}\left( {\mathcal {A}}, P\right) \) into an arbitrary Banach algebra \({\mathcal {B}}\) in terms of homomorphisms from \({\mathcal {A}}\) into \({\mathcal {B}}\). Then we discuss homomorphisms from arbitrary Banach algebras into \({\mathcal {LM}}\left( {\mathcal {A}}, P\right) \). Existence and uniqueness of homomorphisms under certain conditions are also discussed. We apply these results to the concrete case of \(\ell ^1(S)\) where S is a Rees matrix semigroup, to identify characters of \(\ell ^1(S)\) in both cases where S is with or without zero. As a consequence if the sandwich matrix of S has a zero entry, then \(\ell ^1(S)\) is character amenable.     

Joins and subdirect products of varieties

We generalise in three different directions two well-known results in universal algebra. Grätzer, Lakser and P?onka proved that independent subvarieties \({\mathcal{V}_{1}, \mathcal{V}_{2}}\) of a variety \({\mathcal{V}}\) are disjoint and such that their join \({\mathcal{V}_{1} \vee \mathcal{V}_{2}}\) (in the lattice of subvarieties of \({\mathcal{V}}\)) is their direct product \({\mathcal{V}_{1} \times \mathcal{V}_{2}}\) . Jónsson and Tsinakis provided a partial converse to this result: if \({\mathcal{V}}\) is congruence permutable and \({\mathcal{V}_{1}, \mathcal{V}_{2}}\) are disjoint, then they are independent (and so \({\mathcal{V}_{1} \vee \mathcal{V}_{2} = \mathcal{V}_{1} \times \mathcal{V}_{2}}\)). We show that (i) if \({\mathcal{V}}\) is subtractive, then Jónsson’s and Tsinakis’ result holds under some minimal assumptions; (ii) if \({\mathcal{V}}\) satisfies some weakened permutability conditions, then disjointness implies a generalised notion of independence and \({\mathcal{V}_{1} \vee \mathcal{V}_{2}}\) is the subdirect product of \({\mathcal{V}_{1}}\) and \({\mathcal{V}_2}\) ; (iii) the same holds if \({\mathcal{V}}\) is congruence 3-permutable.     

Cyclotomic Hecke Algebras of <Emphasis Type="Italic">G</Emphasis>(<Emphasis Type="Italic">r</Emphasis>, <Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">n</Emphasis>)

In this note, we find a monomial basis of the cyclotomic Hecke algebra \({\mathcal{H}_{r,p,n}}\) of G(r,p,n) and show that the Ariki-Koike algebra \({\mathcal{H}_{r,n}}\) is a free module over \({\mathcal{H}_{r,p,n}}\), using the Gröbner-Shirshov basis theory. For each irreducible representation of \({\mathcal{H}_{r,p,n}}\), we give a polynomial basis consisting of linear combinations of the monomials corresponding to cozy tableaux of a given shape.     

Some remarks on energy inequalities for harmonic maps with potential

We call the \({\delta}\)-vector of an integral convex polytope of dimension d flat if the \({\delta}\)-vector is of the form \({(1,0,\ldots,0,a,\ldots,a,0,\ldots,0)}\), where \({a \geq 1}\). In this paper, we give the complete characterization of possible flat \({\delta}\)-vectors. Moreover, for an integral convex polytope \({\mathcal{P}\subset \mathbb{R}^N}\) of dimension d, we let \({i(\mathcal{P},n)=|n\mathcal{P}\cap \mathbb{Z}^N|}\) and \({i^*(\mathcal{P},n)=|n(\mathcal{P} {\setminus}\partial \mathcal{P})\cap \mathbb{Z}^N|}\). By this characterization, we show that for any \({d \geq 1}\) and for any \({k,\ell \geq 0}\) with \({k+\ell \leq d-1}\), there exist integral convex polytopes \({\mathcal{P}}\) and \({\mathcal{Q}}\) of dimension d such that (i) For \({t=1,\ldots,k}\), we have \({i(\mathcal{P},t)=i(\mathcal{Q},t),}\) (ii) For \({t=1,\ldots,\ell}\), we have \({i^*(\mathcal{P},t)=i^*(\mathcal{Q},t)}\), and (iii) \({i(\mathcal{P},k+1) \neq i(\mathcal{Q},k+1)}\) and \({i^*(\mathcal{P},\ell+1)\neq i^*(\mathcal{Q},\ell+1)}\).     

Relative Igusa-Todorov Functions and Relative Homological Dimensions

We develope the theory of \({\mathcal {E}}\)-relative Igusa-Todorov functions in an exact I T-context \(({\mathcal {C}},{\mathcal {E}})\) (see Definition 2.1). In the case when \({\mathcal {C}}={\text {mod}}\, ({\Lambda })\) is the category of finitely generated left Λ-modules, for an artin algebra Λ, and \({\mathcal {E}}\) is the class of all exact sequences in \({\mathcal {C}},\) we recover the usual Igusa-Todorov functions, Igusa K. and Todorov G. (2005). We use the setting of the exact structures and the Auslander-Solberg relative homological theory to generalise the original Igusa-Todorov’s results. Furthermore, we introduce the \({\mathcal {E}}\)-relative Igusa-Todorov dimension and also we obtain relationships with the relative global and relative finitistic dimensions and the Gorenstein homological dimensions.     

Spectral properties of continuous representations of topological groups

Let \({\mathcal{L}(X)}\) be the algebra of all bounded operators on a Banach space X. \({\theta:G\rightarrow \mathcal{L}(X)}\) denotes a strongly continuous representation of a topological abelian group G on X. Set \({\sigma^1(\theta(g)):=\{\lambda/|\lambda|,\lambda\in\sigma(\theta(g))\}}\), where σ(θ(g)) is the spectrum of θ(g) and \({\Sigma:=\{g\in G/\enskip\text{there is no} \enskip P\in \mathcal{P}/P\subseteq \sigma^1(\theta(g))\}}\), where \({\mathcal{P}}\) is the set of regular polygons of \({\mathbb{T}}\) (we call polygon in \({\mathbb{T}}\) the image by a rotation of a closed subgroup of \({\mathbb{T}}\), the unit circle of \({\mathbb{C}}\)). We prove here that if G is a locally compact and second countable abelian group, then θ is uniformly continuous if and only if Σ is non-meager.     

Derivations,Local and 2-Local Derivations on Some Algebras of Operators on Hilbert C*-Modules

For a commutative C*-algebra \({\mathcal {A}}\) with unit e and a Hilbert \({\mathcal {A}}\)-module \({\mathcal {M}}\), denote by End\(_{{\mathcal {A}}}({\mathcal {M}})\) the algebra of all bounded \({\mathcal {A}}\)-linear mappings on \({\mathcal {M}}\), and by End\(^*_{{\mathcal {A}}}({\mathcal {M}})\) the algebra of all adjointable mappings on \({\mathcal {M}}\). We prove that if \({\mathcal {M}}\) is full, then each derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) is \({\mathcal {A}}\)-linear, continuous, and inner, and each 2-local derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) or End\(^{*}_{{\mathcal {A}}}({\mathcal {M}})\) is a derivation. If there exist \(x_0\) in \({\mathcal {M}}\) and \(f_0\) in \({\mathcal {M}}^{'}\), such that \(f_0(x_0)=e\), where \({\mathcal {M}}^{'}\) denotes the set of all bounded \({\mathcal {A}}\)-linear mappings from \({\mathcal {M}}\) to \({\mathcal {A}}\), then each \({\mathcal {A}}\)-linear local derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) is a derivation.     

Partially isometric immersions and free maps

In this paper we investigate the existence of “partially” isometric immersions. These are maps \({f:M\rightarrow \mathbb{R}^q}\) which, for a given Riemannian manifold M, are isometries on some sub-bundle \({\mathcal{H}\subset TM}\). The concept of free maps, which is essential in the Nash–Gromov theory of isometric immersions, is replaced here by that of \({\mathcal{H}}\) –free maps, i.e. maps whose restriction to \({\mathcal{H}}\) is free. We prove, under suitable conditions on the dimension q of the Euclidean space, that \({\mathcal{H}}\) –free maps are generic and we provide, for the smallest possible value of q, explicit expressions for \({\mathcal{H}}\) –free maps in the following three settings: 1–dimensional distributions in \({\mathbb{R}^2}\), Lagrangian distributions of completely integrable systems, Hamiltonian distributions of a particular kind of Poisson Bracket.     

Qualitative properties of ideal convergent subsequences and rearrangements

We investigate the Baire category of \({\mathcal{I}}\)-convergent subsequences and rearrangements of a divergent sequence s = (s_n) of reals if \({\mathcal{I}}\) is an ideal on \({\mathbb{N}}\) having the Baire property. We also discuss the measure of the set of \({\mathcal{I}}\)-convergent subsequences for some classes of ideals on \({\mathbb{N}}\). Our results generalize theorems due to H. Miller and C. Orhan [16].     

On permutable meromorphic functions

We study the class \({\mathcal{M}}\) of functions meromorphic outside a countable closed set of essential singularities. We show that if a function in \({\mathcal{M}}\), with at least one essential singularity, permutes with a non-constant rational map g, then g is a Möbius map that is not conjugate to an irrational rotation. For a given function \({f \in\mathcal{M}}\) which is not a Möbius map, we show that the set of functions in \({\mathcal{M}}\) that permute with f is countably infinite. Finally, we show that there exist transcendental meromorphic functions \({f : \mathbb{C} \to \mathbb{C}}\) such that, among functions meromorphic in the plane, f permutes only with itself and with the identity map.     

A remark on Berger’s conjecture,Kolchin’s theorem,and arc schemes

Let k be a field of characteristic zero. Let V be a k-scheme of finite type, i.e., a k-variety, which is integral. We prove that if the associated arc scheme \({\mathcal{L}_{\infty}(V)}\) is reduced, then the \({\mathcal{O}_{V}}\)-Module \({\Omega_{V/k}^{1}}\) is torsion-free. Then if the k-variety V is assumed to be locally a complete intersection (lci), we deduce that the k-variety V is normal. We also obtain the following consequence: for every class \({\mathfrak{C}}\) of integral k-curves which satisfies the Berger conjecture, and for every \({\mathscr{C} \in \mathfrak{C}}\), the k-curve \({\mathscr{C}}\) is smooth if and only if \({\mathcal{L}(\mathscr{C})}\) is reduced.     

Codes with the identifiable parent property for multimedia fingerprinting

Let \({\mathcal {C}}\) be a q-ary code of length n and size M, and \({\mathcal {C}}(i) = \{\mathbf{c}(i) \ | \ \mathbf{c}=(\mathbf{c}(1), \mathbf{c}(2), \ldots , \mathbf{c}(n))^{T} \in {\mathcal {C}}\}\) be the set of ith coordinates of \({\mathcal {C}}\). The descendant code of a sub-code \({\mathcal {C}}^{'} \subseteq {\mathcal {C}}\) is defined to be \({\mathcal {C}}^{'}(1) \times {\mathcal {C}}^{'}(2) \times \cdots \times {\mathcal {C}}^{'}(n)\). In this paper, we introduce a multimedia analogue of codes with the identifiable parent property (IPP), called multimedia IPP codes or t-MIPPC(n, M, q), so that given the descendant code of any sub-code \({\mathcal {C}}^{'}\) of a multimedia t-IPP code \({\mathcal {C}}\), one can always identify, as IPP codes do in the generic digital scenario, at least one codeword in \({\mathcal {C}}^{'}\). We first derive a general upper bound on the size M of a multimedia t-IPP code, and then investigate multimedia 3-IPP codes in more detail. We characterize a multimedia 3-IPP code of length 2 in terms of a bipartite graph and a generalized packing, respectively. By means of these combinatorial characterizations, we further derive a tight upper bound on the size of a multimedia 3-IPP code of length 2, and construct several infinite families of (asymptotically) optimal multimedia 3-IPP codes of length 2.     

Gauge functions,Eikonal equations and Bôcher’s theorem on stratified Lie groups

Let \({\mathcal{L} = \sum_{i=1}^m X_i^2}\) be a real sub-Laplacian on a Carnot group \({\mathbb{G}}\) and denote by \({\nabla_\mathcal{L} = (X_1,\ldots,X_m)}\) the intrinsic gradient related to \({\mathcal{L}}\). Our aim in this present paper is to analyze some features of the \({\mathcal{L}}\)-gauge functions on \({\mathbb{G}}\), i.e., the homogeneous functions d such that \({\mathcal{L}(d^\gamma) = 0}\) in \({\mathbb{G} \setminus \{0\}}\) , for some \({\gamma \in \mathbb{R} \setminus \{0\}}\). We consider the relation of \({\mathcal{L}}\)-gauge functions with: the \({\mathcal{L}}\)-Eikonal equation \({|\nabla_\mathcal{L} u| = 1}\) in \({\mathbb{G}}\); the Mean Value Formulas for the \({\mathcal{L}}\)-harmonic functions; the fundamental solution for \({\mathcal{L}}\); the Bôcher-type theorems for nonnegative \({\mathcal{L}}\)-harmonic functions in “punctured” open sets \({\dot \Omega:= \Omega \setminus \{x_0\}}\).     

The Katchalski–Lewis transversal problem for regular polygons

If every k-membered subfamily of a family of plane convex bodies has a line transversal, then we say that this family has property T(k). We say that a family \({\mathcal{F}}\) has property \({T-m}\), if there exists a subfamily \({\mathcal{G} \subset \mathcal{F}}\) with \({|\mathcal{F} - \mathcal{G}| \le m}\) admitting a line transversal. Heppes [7] posed the problem whether there exists a convex body K in the plane such that if \({\mathcal{F}}\) is a finite T(3)-family of disjoint translates of K, then m = 3 is the smallest value for which \({\mathcal{F}}\) has property \({T-m}\). In this paper, we study this open problem in terms of finite T(3)-families of pairwise disjoint translates of a regular 2n-gon \({(n \ge 5)}\). We find out that, for \({5 \le n \le 34}\), the family has property \({T - 3}\) ; for \({n \ge 35}\), the family has property \({T - 2}\).