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.     

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.     

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.     

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.     

Maximum Principle for H-Surfaces in the Unit Cone and Dirichlet’s Problem for their Equation in Central Projection

In the unit cone\({\mathcal{C} := \{(x, y, z)} \in {\mathbb R}^{3} : {x}^{2} + {y}^{2} < {z}^{2}, {z} > {0}\}\) we establish a geometric maximum principle for H-surfaces, where its mean curvature \({H = H(x, y, z)}\) is optimally bounded. Consequently, these surfaces cannot touch the conical boundary \({\partial \mathcal{C}}\) at interior points and have to approach \({\partial \mathcal{C}}\) transversally. By a nonlinear continuity method, we then solve the Dirichlet problem of the H-surface equation in central projection for Jordan-domains \({\Omega}\) which are strictly convex in the following sense: On its whole boundary \({\partial \mathcal{C}(\Omega)}\) their associate cone \({\mathcal{C}(\Omega) := \{(rx, ry, r) \in {\mathbb R}^{3} : (x, y) \in \Omega, r \in (0,+\infty)}\}\) admits rotated unit cones \({O \circ \mathcal{C}}\) as solids of support, where \({O \in {\mathbb R}^{3\times3}}\) represents a rotation in the Euclidean space. Thus we construct the unique H-surface with one-to-one central projection onto these domains \({\Omega}\) bounding a given Jordan-contour \({\Gamma \subset \mathcal{C} \backslash \{0\}}\) with one-toone central projection.     

Hausdorffness for Lie algebra homology of Schwartz spaces and applications to the comparison conjecture

Let H be a real algebraic group acting equivariantly with finitely many orbits on a real algebraic manifold X and a real algebraic bundle \({\mathcal {E}}\) on X. Let \(\mathfrak {h}\) be the Lie algebra of H. Let \(\mathcal {S}(X,{\mathcal {E}})\) be the space of Schwartz sections of \({\mathcal {E}}\). We prove that \(\mathfrak {h}\mathcal {S}(X,{\mathcal {E}})\) is a closed subspace of \(\mathcal {S}(X,{\mathcal {E}})\) of finite codimension. We give an application of this result in the case when H is a real spherical subgroup of a real reductive group G. We deduce an equivalence of two old conjectures due to Casselman: the automatic continuity and the comparison conjecture for zero homology. Namely, let \(\pi \) be a Casselman–Wallach representation of G and V be the corresponding Harish–Chandra module. Then the natural morphism of coinvariants \(V_{\mathfrak {h}}\rightarrow \pi _{\mathfrak {h}}\) is an isomorphism if and only if any linear \(\mathfrak {h}\)-invariant functional on V is continuous in the topology induced from \(\pi \). The latter statement is known to hold in two important special cases: if H includes a symmetric subgroup, and if H includes the nilradical of a minimal parabolic subgroup of G.     

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].     

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.     

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.     

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.     

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.     

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.     

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.     

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.     

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.     

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.     

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\}}\).     

Einstein solvmanifolds: existence and non-existence questions

The aim of this paper is to study the problem of which solvable Lie groups admit an Einstein left invariant metric. The space \({\mathcal{N}}\) of all nilpotent Lie brackets on \({\mathbb{R}^n}\) parametrizes a set of (n + 1)-dimensional rank-one solvmanifolds \({\{S_{\mu}:\mu\in\mathcal{N}\}}\), containing the set of all those which are Einstein in that dimension. The moment map for the natural GL _n -action on \({\mathcal{N}}\), evaluated at \({\mu\in\mathcal{N}}\), encodes geometric information on S _μ and suggests the use of strong results from geometric invariant theory. For instance, the functional on \({\mathcal{N}}\) whose critical points are precisely the Einstein S _μ ’s, is the square norm of this moment map. We use a GL _n -invariant stratification for the space \({\mathcal{N}}\) and show that there is a strong interplay between the strata and the Einstein condition on the solvmanifolds S _μ . As an application, we obtain criteria to decide whether a given nilpotent Lie algebra can be the nilradical of a rank-one Einstein solvmanifold or not. We find several examples of \({\mathbb{N}}\)-graded (even 2-step) nilpotent Lie algebras which are not. A classification in the 7-dimensional, 6-step case and an existence result for certain 2-step algebras associated to graphs are also given.     

Aspects of the Segre variety $${\mathcal{S}_{1,1,1}(2)}$$

We consider various aspects of the Segre variety \({\mathcal{S}:=\mathcal{S} _{1,1,1}(2)}\) in PG(7, 2), whose stabilizer group \({\mathcal{G}_{\mathcal{S}}<{\rm GL}(8,2)}\) has the structure \({\mathcal{N}\rtimes{\rm Sym}(3),}\) where \({\mathcal{N} :={\rm GL}(2,2)\times{\rm GL}(2,2)\times{\rm GL} (2,2).}\) In particular we prove that \({\mathcal{S}}\) determines a distinguished Z ₃-subgroup \({\mathcal{Z}<{\rm GL}(8,2)}\) such that \({A\mathcal{Z}A^{-1}=\mathcal{Z},}\) for all \({A\in\mathcal{G}_{\mathcal{S}},}\) and in consequence \({\mathcal{S}}\) determines a \({\mathcal{G}_{\mathcal{S}}}\)-invariant spread of 85 lines in PG(7, 2). Furthermore we see that Segre varieties \({\mathcal{S}_{1,1,1}(2)}\) in PG(7, 2) come along in triplets \({\{\mathcal{S},\mathcal{S}^{\prime},\mathcal{S}^{\prime\prime}\}}\) which share the same distinguished Z ₃-subgroup \({\mathcal{Z}<{\rm GL}(8,2).}\) We conclude by determining all fifteen \({\mathcal{G}_{\mathcal{S}}}\)-invariant polynomial functions on PG(7, 2) which have degree < 8, and their relation to the five \({\mathcal{G}_{\mathcal{S}}}\)-orbits of points in PG(7, 2).     

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}\).