Martindale rings and H-module algebras with invariant characteristic polynomials

Under study is the category of the possibly noncommutative H-module algebras that are mapped homomorphically onto commutative algebras. The H-equivariant Martindale ring of quotients Q _H (A) is shown to be a finite-dimensional Frobenius algebra over the subfield of invariant elements Q _H (A) ^H and also the classical ring of quotients for A. We introduce a full subcategory of such that the algebras in are integral over its subalgebras of invariants and construct a functor ?? , which is left adjoined to the inclusion ?? .     

Topological spaces compact with respect to a set of filters

If is a family of filters over some set I, a topological space X is sequencewise -compact if for every I-indexed sequence of elements of X there is such that the sequence has an F-limit point. Countable compactness, sequential compactness, initial κ-compactness, [λ; µ]-compactness, the Menger and Rothberger properties can all be expressed in terms of sequencewise -compactness for appropriate choices of . We show that sequencewise -compactness is preserved under taking products if and only if there is a filter such that sequencewise -compactness is equivalent to F-compactness. If this is the case, and there exists a sequencewise -compact T ₁ topological space with more than one point, then F is necessarily an ultrafilter. The particular case of sequential compactness is analyzed in detail.     

An additivity formula for the strict global dimension of C(Ω)

Let A be a unital strict Banach algebra, and let K ₊ be the one-point compactification of a discrete topological space K. Denote by the weak tensor product of the algebra A and C(K ₊), the algebra of continuous functions on K ₊. We prove that if K has sufficiently large cardinality (depending on A), then the strict global dimension is equal to .     

Special framed Morse functions on surfaces

Let M be a smooth closed orientable surface. Let F be the space of Morse functions on M and $\mathbb{F}^1$ be the space of framed Morse functions both endowed with the C ^??-topology. The space $\mathbb{F}^0$ of special framed Morse functions is defined. We prove that the inclusion mapping is a homotopy equivalence. In the case when at least x(M) + 1 critical points of each function of F are marked, the homotopy equivalences and are proved, where is the complex of framed Morse functions, is the universal moduli space of framed Morse functions, is the group of self-diffeomorphisms of M homotopic to the identity.     

Variations on ω-boundedness

Let be a property (or, equivalently, a class) of topological spaces. A space X is called -bounded if every subspace of X with (or in) has compact closure. Thus, countable-bounded has been known as ω-bounded and (σ-compact)-bounded as strongly ω-bounded. In this paper we present a systematic study of the interrelations of these two known “boundedness” concepts with -boundedness where is one of the further countability properties weakly Lindelöf, Lindelöf, hereditarily Lindelöf, and ccc.     

On the asymptotic form of convex hulls of Gaussian random fields

We consider a centered Gaussian random field X = {X _t : t ∈ T} with values in a Banach space $\mathbb{B}$ defined on a parametric set T equal to ? ^m or ? ^m . It is supposed that the distribution of X _t is independent of t. We consider the asymptotic behavior of closed convex hulls W _n = conv{X _t : t ∈ T _n}, where (T _n ) is an increasing sequence of subsets of T. We show that under some conditions of weak dependence for the random field under consideration and some sequence (b _n ) _n≥1 with probability 1, (in the sense of Hausdorff distance), where the limit set is the concentration ellipsoid of . The asymptotic behavior of the mathematical expectations Ef(W _n ), where f is some function, is also studied.     

Compact differences of composition operators on weighted Dirichlet spaces

Here we consider when the difference of two composition operators is compact on the weighted Dirichlet spaces . Specifically we study differences of composition operators on the Dirichlet space and S ², the space of analytic functions whose first derivative is in H ², and then use Calderón’s complex interpolation to extend the results to the general weighted Dirichlet spaces. As a corollary we consider composition operators induced by linear fractional self-maps of the disk.     

Relation modules of infinite groups, II

Let F _n denote the free group of rank n and d(G) the minimal number of generators of the finitely generated group G. Suppose that R ? F _m ? G and S ? F _m ? G are presentations of G and let $\bar R$ and $\bar S$ denote the associated relation modules of G. It is well known that $\bar R \oplus (\mathbb{Z}G)^{d(G)} \cong \bar S \oplus (\mathbb{Z}G)^{d(G)}$ even though it is quite possible that . However, to the best of the author’s knowledge no examples have appeared in the literature with the property that . Our purpose here is to exhibit, for each integer k ≥ 1, a group G that has presentations as above such that . Our approach depends on the existence of nonfree stably free modules over certain commutative rings and, in particular, on the existence of certain Hurwitz-Radon systems of matrices with integer entries discovered by Geramita and Pullman. This approach was motivated by results of Adams concerning the number of orthonormal (continuous) vector fields on spheres.     

Continuous embeddings of Besov-Morrey function spaces

We study embeddings of spaces of Besov-Morrey type, M Bp1,q1s1,r1(Rd ) → M Bp2 ,q2s2 ,r2 (R d ), and obtain necessary and sufficient conditions for this. Moreover, we can also characterise the special weighted situation Bp1 ,r1s1 (R d , w) → M Bp2 ,q2s2 ,r2 (Rd ) for a Muckenhoupt A ∞ weight w, with wα(x) = |x|α , α -d1, as a typical example.     

Convolution functions of several variables with generalized bounded variation

Let L ¹ be the class of all complex-valued functions, with period 2π in each variable, in the space , where $\mathbb{T} = [0,2\pi )$ is the one-dimensional torus. Here, it is observed that L ¹ * E ? E for E = Lip(p; α ₁, α ₂, ..., α _N ) over , for , for , and for in the sense of Vitali as well as Hardy.     

The cone of nonnegative polynomials with nonnegative coefficients and linear operators preserving this cone

Let be the cone of real univariate polynomials of degree ≤ 2n which are nonnegative on the real axis and have nonnegative coefficients. We describe the extremal rays of this convex cone and the class of linear operators, acting diagonally in the standard monomial basis, preserving this cone.     

On the class of groups with pronormal hall π-subgroups

Given a set π of prime numbers, we define the class of all finite groups in which Hall π-subgroups exist and are pronormal by analogy with the Hall classes , , and . We study whether is closed under the main class-theoretic closure operations. In particular, we establish that is a saturated formation.     

The strong asymptotic equivalence and the generalized inverse

We discuss the relationship between the strong asymptotic equivalence relation and the generalized inverse in the class of all nondecreasing and unbounded functions, defined and positive on a half-axis [a, +∞) (a > 0). In the main theorem, we prove a proper characterization of the function class IRV∩ , where IRV is the class of all -regularly varying functions (in the sense of Karamata) having continuous index function.     

Maximal function on the dual of Laguerre hypergroup

In this paper, we are interested in the Laguerre hypergroup $\mathbb{K} = [0,\infty ) \times \mathbb{R}$ which is the fundamental manifold of the radial function space for the Heisenberg group. So, we consider the generalized shift operator generated by the dual of the Laguerre hypergroup which can be topologically identified with the so-called Heisenberg fan, the subset of ?²: $$\bigcup\limits_{j \in \mathbb{N}} {\left\{ {(\lambda ,\mu ) \in \mathbb{R}^2 :\mu = \left| \lambda \right|(2j + \alpha + 1),\lambda \ne 0} \right\} \cup \left\{ {(0,\mu ) \in \mathbb{R}^2 :\mu \geqslant 0} \right\}} ,$$ by means of which the maximal function is investigated. For 1 < p ?? ??, the L _p ( )-boundedness and weak L ₁( )-boundedness result for the maximal function is obtained.     

Double Hilbert transform on

We introduce a space , where is the testing function space whose functions are infinitely differentiable and have bounded support, and is the space the double Hilbert transform acting on the testing function space. We prove that the double Hilbert transform is a homeomorphism from onto itself.     

The one-point Lindelöfication of an uncountable discrete space can be surlindelöf

We prove that the one-point Lindelöfication of a discrete space of cardinality ω ₁ is homeomorphic to a subspace of C _p (X) for some hereditarily Lindelöf space X if the axiom holds.     

Cofiniteness with respect to a Serre subcategory

Let Φ be a system of ideals in a commutative Noetherian ring R, and let be a Serre subcategory of R-modules. We set $$ H_\Phi ^i ( \cdot , \cdot ) = \mathop {\lim }\limits_{\overrightarrow {\mathfrak{b} \in \Phi } } Ext_R^i (R/\mathfrak{b}| \otimes R \cdot , \cdot ). $$ . Suppose that a is an ideal of R, and M and N are two R-modules such that M is finitely generated and N ∈ . It is shown that if the functor $ D_\Phi ( \cdot ) = \mathop {\lim }\limits_{\overrightarrow {\mathfrak{b} \in \Phi } } Hom_R (\mathfrak{b}, \cdot ) $ is exact, then, for any $ \mathfrak{b} \in \Phi ,Ext_R^j (R/\mathfrak{b},H_\Phi ^i (M,N)) $ ∈ for all i, j ≥ 0. It is also proved that if there is a nonnegative integer t such that $ H_\mathfrak{a}^i (M,N) $ ∈ for all i < t, then $ Hom_R (R/\mathfrak{a},H_\mathfrak{a}^t (M,N)) $ ∈ , provided that is contained in the class of weakly LaskerianR-modules. Finally, it is shown that if L is an R-module and t is the infimum of the integers i such that $ H_\mathfrak{a}^i (L) $ ∈ , then $ Ext_R^j (R/\mathfrak{a},H_\mathfrak{a}^t (M,L)) $ ∈ if and only if $ Ext_R^j (R/\mathfrak{a},Hom_R (M,H_\mathfrak{a}^t (L))) $ ∈ for all j ≥ 0.     

On ideal equal convergence

We consider ideal equal convergence of a sequence of functions. This is a generalization of equal convergence introduced by Császár and Laczkovich [Császár Á., Laczkovich M., Discrete and equal convergence, Studia Sci. Math. Hungar., 1975, 10(3–4), 463–472]. Our definition of ideal equal convergence encompasses two different kinds of ideal equal convergence introduced in [Das P., Dutta S., Pal S.K., On and *-equal convergence and an Egoroff-type theorem, Mat. Vesnik, 2014, 66(2), 165–177]_and [Filipów R., Szuca P., Three kinds of convergence and the associated I-Baire classes, J. Math. Anal. Appl., 2012, 391(1), 1–9]. We also solve a few problems posed in the paper by Das, Dutta and Pal.     

On the geometry of normal locally conformal almost cosymplectic manifolds

Normal locally conformal almost cosymplectic structures (or -structures) are considered. A full set of structure equations is obtained, and the components of the Riemannian curvature tensor and the Ricci tensor are calculated. Necessary and sufficient conditions for the constancy of the curvature of such manifolds are found. In particular, it is shown that a normal -manifold which is a spatial form has nonpositive curvature. The constancy of ΦHS-curvature is studied. Expressions for the components of the Weyl tensor on the space of the associated G-structure are obtained. Necessary and sufficient conditions for a normal -manifold to coincide with the conformal plane are found. Finally, locally symmetric normal -manifolds are considered.     

Application of Maslov’s formula to finding an asymptotic solution to an elastic deformation problem

We propose a scheme of bifurcation analysis of equilibrium configurations of a weakly inhomogeneous elastic beam on an elastic base under the assumption of two-mode degeneracy; this scheme generalizes the Darinskii-Sapronov scheme developed earlier for the case of a homogeneous beam. The consideration of an inhomogeneous beam requires replacing the condition that the pair of eigenvectors of the operator from the linear part of the equation (at zero) is constant by the condition of the existence of a pair of vectors smoothly depending on the parameters whose linear hull is invariant with respect to . It is shown that such a pair is sufficient for the construction of the principal part of the key function and for analyzing the branching of the equilibrium configurations of the beam. The construction of the required pair of vectors is based on a formula for the orthogonal projection onto the root subspace of (from the theory of perturbations of self-adjoint operators in the sense of Maslov). The effect of the type of inhomogeneity of the beam on the formof its deflection is studied.