Quasi-Baer module hulls and applications

Let V be a module with $S=\mathrm{End}(V)$. V is called a quasi-Baer module if for each ideal J of S, $r_V(J)=eV$ for some $e^2=e\in S$. On the other hand, V is called a Rickart module if for each $?\in S$, $\mathrm{Ker}(?)=eV$ for some $e^2=e\in S$. For a module N, the quasi-Baer module hull $\mathbf{qB}(N)$ (resp., the Rickart module hull $\mathbf{Ric}(N)$) of N, if it exists, is the smallest quasi-Baer (resp., Rickart) overmodule, in a fixed injective hull $E(N)$ of N. In this paper, we initiate the study of quasi-Baer and Rickart module hulls. When a ring R is semiprime and ideal intrinsic over its center, it is shown that every finitely generated projective R-module has a quasi-Baer hull. Let R be a Dedekind domain with F its field of fractions and let $\{K_i|i\in \mathrm{\Lambda }\}$ be any set of R-submodules of $F_R$. For an R-module $M_R$ with ${\mathrm{Ann}}_R(M)\ne 0$, we show that $M_R\oplus {({?}_{i\in \mathrm{\Lambda }}{K}_i)}_R$ has a quasi-Baer module hull if and only if $M_R$ is semisimple. This quasi-Baer hull is explicitly described. An example such that $M_R\oplus {({?}_{i\in \mathrm{\Lambda }}{K}_i)}_R$ has no Rickart module hull is constructed. If N is a module over a Dedekind domain for which $N/t(N)$ is projective and ${\mathrm{Ann}}_R(t(N))\ne 0$, where $t(N)$ is the torsion submodule of N, we show that the quasi-Baer hull $\mathbf{qB}(N)$ of N exists if and only if $t(N)$ is semisimple. We prove that the Rickart module hull also exists for such modules N. Furthermore, we provide explicit constructions of $\mathbf{qB}(N)$ and $\mathbf{Ric}(N)$ and show that in this situation these two hulls coincide. Among applications, it is shown that if N is a finitely generated module over a Dedekind domain, then N is quasi-Baer if and only if N is Rickart if and only if N is Baer if and only if N is semisimple or torsion-free. For a direct sum $N_R$ of finitely generated modules, where R is a Dedekind domain, we show that N is quasi-Baer if and only if N is Rickart if and only if N is semisimple or torsion-free. Examples exhibiting differences between the notions of a Baer hull, a quasi-Baer hull, and a Rickart hull of a module are presented. Various explicit examples illustrating our results are constructed.     

Graded Steinberg algebras and partial actions

Given a graded ample Hausdorff groupoid, we realise its graded Steinberg algebra as a partial skew inverse semigroup ring. We use this to show that for a partial action of a discrete group on a locally compact Hausdorff topological space which is totally disconnected, the Steinberg algebra of the associated groupoid is graded isomorphic to the corresponding partial skew group ring. We show that there is a one-to-one correspondence between the open invariant subsets of the topological space and the graded ideals of the partial skew group ring. We also consider the algebraic version of the partial $C^{?}$-algebra of an abelian group and realise it as a partial skew group ring via a partial action of the group on a topological space. Applications to the theory of Leavitt path algebras are given.     

Classifying bicrossed products of two Taft algebras

We classify all Hopf algebras which factor through two Taft algebras ${\mathbb{T}}_{n^2}(\stackrel{￣}{q})$ and respectively $T_{m^2}(q)$. To start with, all possible matched pairs between the two Taft algebras are described: if $\stackrel{￣}{q}\ne q^{n?1}$ then the matched pairs are in bijection with the group of d-th roots of unity in k, where $d=(m,n)$ while if $\stackrel{￣}{q}=q^{n?1}$ then besides the matched pairs above we obtain an additional family of matched pairs indexed by $k^{?}$. The corresponding bicrossed products (double cross product in Majid's terminology) are explicitly described by generators and relations and classified. As a consequence of our approach, we are able to compute the number of isomorphism types of these bicrossed products as well as to describe their automorphism groups.     

Cocycle deformations and Galois objects for semisimple Hopf algebras of dimension p3 and pq2

Let p and q be distinct prime numbers. We study the Galois objects and cocycle deformations of the noncommutative, noncocommutative, semisimple Hopf algebras of odd dimension $p^3$ and of dimension $p{q}^2$. We obtain that the $p+1$ non-isomorphic self-dual semisimple Hopf algebras of dimension $p^3$ classified by Masuoka have no non-trivial cocycle deformations, extending his previous results for the 8-dimensional Kac–Paljutkin Hopf algebra. This is done as a consequence of the classification of categorical Morita equivalence classes among semisimple Hopf algebras of odd dimension $p^3$, established by the third-named author in an appendix.     

Connected quantized Weyl algebras and quantum cluster algebras

For an algebraically closed field $\mathbb{K}$, we investigate a class of noncommutative $\mathbb{K}$-algebras called connected quantized Weyl algebras. Such an algebra has a PBW basis for a set of generators $\{x_1,\dots ,x_n\}$ such that each pair satisfies a relation of the form $x_i{x}_j=q_{ij}{x}_j{x}_i+r_{ij}$, where $q_{ij}\in {\mathbb{K}}^{?}$ and $r_{ij}\in \mathbb{K}$, with, in some sense, sufficiently many pairs for which $r_{ij}\ne 0$. For such an algebra it turns out that there is a single parameter q such that each $q_{ij}=q^{\pm 1}$. Assuming that $q\ne \pm 1$, we classify connected quantized Weyl algebras, showing that there are two types linear and cyclic. When q is not a root of unity we determine the prime spectra for each type. The linear case is the easier, although the result depends on the parity of n, and all prime ideals are completely prime. In the cyclic case, which can only occur if n is odd, there are prime ideals for which the factors have arbitrarily large Goldie rank.We apply connected quantized Weyl algebras to obtain presentations of two classes of quantum cluster algebras. Let $n\ge 3$ be an odd integer. We present the quantum cluster algebra of a Dynkin quiver of type $A_{n?1}$ as a factor of a linear connected quantized Weyl algebra by an ideal generated by a central element. We also consider the quiver $P_{n+1}^{(1)}$ identified by Fordy and Marsh in their analysis of periodic quiver mutation. When n is odd, we show that the quantum cluster algebra of this quiver is generated by a cyclic connected quantized Weyl algebra in n variables and one further generator. We also present it as the factor of an iterated skew polynomial algebra in $n+2$ variables by an ideal generated by a central element. For both classes, the quantum cluster algebras are simple noetherian.We establish Poisson analogues of the results on prime ideals and quantum cluster algebras. We determine the Poisson prime spectra for the semiclassical limits of the linear and cyclic connected quantized Weyl algebras and show that, when n is odd, the cluster algebras of $A_{n?1}$ and $P_{n+1}^{(1)}$ are simple Poisson algebras that can each be presented as a Poisson factor of a polynomial algebra, with an appropriate Poisson bracket, by a principal ideal generated by a Poisson central element.     

Primeness property for graded central polynomials of verbally prime algebras

Let F be an infinite field. The primeness property for central polynomials of $M_n(F)$ was established by A. Regev, i.e., if the product of two polynomials in distinct variables is central then each factor is also central. In this paper we consider the analogous property for $M_n(F)$ and determine, within the elementary gradings with commutative neutral component, the ones that satisfy this property, namely the crossed product gradings. Next we consider $M_n(R)$, where R admits a regular grading, with a grading such that $M_n(F)$ is a homogeneous subalgebra and provide sufficient conditions – satisfied by $M_n(E)$ with the trivial grading – to prove that $M_n(R)$ has the primeness property if $M_n(F)$ does. We also prove that the algebras $M_{a,b}(E)$ satisfy this property for ordinary central polynomials. Hence we conclude that, over a field of characteristic zero, every verbally prime algebra has the primeness property.     

Algèbre Pré-Gerstenhaber à homotopie près

This paper is concerned by the concept of algebra up to homotopy for a structure defined by two operations . and $[,]$. An important example of such a structure is the Gerstenhaber algebra (i.e. commutatitve structure with degree 0 and Lie structure with degree ?1). The notion of Gerstenhaber algebra up to homotopy ($G_{\infty }$ algebra) is known: it is a codifferential bicogebra.Here, we give a definition of pre-Gerstenhaber algebra (pre-commutative and pre-Lie) allowing a similar construction for a $\text{pre}{G}_{\infty }$ algebra.Given a structure of pre-commutative (Zinbiel) and pre-Lie algebra and working over the corresponding Koszul dual operads, we will give an explicit construction of the associated pre-Gerstenhaber algebra up to homotopy: it is a bicogebra (Leibniz and permutative) equipped with a codifferential which is a coderivation for the two coproducts.     

Hypercyclic algebras for convolution and composition operators

We provide an alternative proof to those by Shkarin and by Bayart and Matheron that the operator D of complex differentiation supports a hypercyclic algebra on the space of entire functions. In particular we obtain hypercyclic algebras for many convolution operators not induced by polynomials, such as $\text{cos}(D)$, $D{e}^D$, or $e^D?aI$, where $0<a\le 1$. In contrast, weighted composition operators on function algebras of analytic functions on a plane domain fail to support supercyclic algebras.     

Tilting modules under special base changes

Given a non-unit, non-zero-divisor, central element x of a ring Λ, it is well known that many properties or invariants of Λ determine, and are determined by, those of $\mathrm{\Lambda }/x\mathrm{\Lambda }$ and ${\mathrm{\Lambda }}_x$. In the present paper, we investigate how the property of “being tilting” behaves in this situation. It turns out that any tilting module over Λ gives rise to tilting modules over ${\mathrm{\Lambda }}_x$ and $\mathrm{\Lambda }/x\mathrm{\Lambda }$ after localization and passing to quotient respectively. On the other hand, it is proved that under some mild conditions, a module over Λ is tilting if its corresponding localization and quotient are tilting over ${\mathrm{\Lambda }}_x$ and $\mathrm{\Lambda }/x\mathrm{\Lambda }$ respectively.     

Characterization of derivations on B(X) by local actions

Let A be a unital algebra and M be a unital A-bimodule. A linear map δ : A →M is said to be Jordan derivable at a nontrivial idempotent P ∈ A if δ(A) ? B + A ? δ(B) =δ(A ? B) for any A, B ∈ A with A ? B = P, here A ? B = AB + BA is the usual Jordan product. In this article, we show that if A = Alg N is a Hilbert space nest algebra and M = B(H), or A = M = B(X), then, a linear map δ : A → M is Jordan derivable at a nontrivial projection P ∈ N or an arbitrary but fixed nontrivial idempotent P ∈ B(X) if and only if it is a derivation. New equivalent characterization of derivations on these operator algebras was obtained.     

Tarski's theorem on intuitionistic logic,for polyhedra

In 1938, Tarski proved that a formula is not intuitionistically valid if, and only if, it has a counter-model in the Heyting algebra of open sets of some topological space. In fact, Tarski showed that any Euclidean space ${\mathbb{R}}^n$ with $n?1$ suffices, as does e.g. the Cantor space. In particular, intuitionistic logic cannot detect topological dimension in the Heyting algebra of all open sets of a Euclidean space. By contrast, we consider the lattice of open subpolyhedra of a given compact polyhedron $P?{\mathbb{R}}^n$, prove that it is a locally finite Heyting subalgebra of the (non-locally-finite) algebra of all open sets of P, and show that intuitionistic logic is able to capture the topological dimension of P through the bounded-depth axiom schemata. Further, we show that intuitionistic logic is precisely the logic of formulæ valid in all Heyting algebras arising from polyhedra in this manner. Thus, our main theorem reconciles through polyhedral geometry two classical results: topological completeness in the style of Tarski, and Ja?kowski's theorem that intuitionistic logic enjoys the finite model property. Several questions of interest remain open. E.g., what is the intermediate logic of all closed triangulable manifolds?