Some connections between frames of radical ideals and frames of <Emphasis Type="Italic">z</Emphasis>-ideals

For any semisimple f-ring A with bounded inversion, we show that the frame of radical ideals of A and the frame of z-ideals of A have isomorphic subfit coreflections. If we assume the Axiom of Choice, then the two coreflections are actually identical. If the f-ring has the property that the sum of two z-ideals is a z-ideal (as in the case of rings of continuous functions), then the epicompletion of the frame of z-ideals is shown to be a dense quotient of the epicompletion of the frame of radical ideals. Baer rings, exchange rings, and normal rings that lie in the class of semisimple f-rings with bounded inversion are shown to have characterizations in terms of frames of z-ideal which are similar to characterizations in terms of frames of radical ideals.     

Cartan-Eilenberg projective,injective and flat complexes

Let R be an associative ring with identity and F a class of R-modules. In this article: we first give a detailed treatment of Cartan-Eilenberg F complexes and extend the basic properties of the class F to the class CE(F). Secondly, we study and give some equivalent characterizations of Cartan-Eilenberg projective, injective and flat complexes which are similar to projective, injective and flat modules, respectively. As applications, we characterize some classical rings in terms of these complexes, including coherent, Noetherian, von Neumann regular rings, QF rings, semisimple rings, hereditary rings and perfect rings.     

Extending Rings of Prüfer Type in Central Simple Algebras

Let R be a commutative integral domain with field of fractions F and let Q be a finite-dimensional central simple F-algebra. If R is a Prüfer domain then it is still unknown whether or not R can be extended to a Prüfer order in Q in the sense of Alajbegovi? and Dubrovin (J. Algebra, 135: 165–176, 1990). In this paper we investigate a more general class of rings which we call rings of Prüfer type and we will prove an extension theorem for these rings. Under special assumptions this result also leads to an extension theorem for certain Prüfer domains.     

Operator properties of congruence permutable varieties with strongly definable principal congruences

In an attempt to describe the partially ordered monoid of operators generated by the operators H (homomorphic images), S (subalgebras), \({P_{\rm f}}\) (filtered products) for the variety \({\mathcal{R}_{\rm c}}\) of commutative rings, several results about congruence permutable varieties have been discovered.     

The varieties of Heisenberg vertex operator algebras

For a vertex operator algebra V with conformal vector ω,we consider a class of vertex operator subalgebras and their conformal vectors.They are called semi-conformal vertex operator subalgebras and semiconformal vectors of(V,ω),respectively,and were used to study duality theory of vertex operator algebras via coset constructions.Using these objects attached to(V,ω),we shall understand the structure of the vertex operator algebra(V,ω).At first,we define the set Sc(V,ω)of semi-conformal vectors of V, then we prove that Sc(V,ω)is an affine algebraic variety with a partial ordering and an involution map.Corresponding to each semi-conformal vector,there is a unique maximal semi-conformal vertex operator subalgebra containing it.The properties of these subalgebras are invariants of vertex operator algebras.As an example,we describe the corresponding varieties of semi-conformal vectors for Heisenberg vertex operator algebras.As an application,we give two characterizations of Heisenberg vertex operator algebras using the properties of these varieties.     

Detecting fixed points of nonexpansive maps by illuminating the unit ball

We give necessary and sufficient conditions for a nonexpansive map on a finite-dimensional normed space to have a nonempty, bounded set of fixed points. Among other results we show that if f: V → V is a nonexpansive map on a finite-dimensional normed space V, then the fixed point set of f is nonempty and bounded if and only if there exist w₁,..., w _m in V such that {f(w _i ) ? w _i : i = 1,..., m} illuminates the unit ball. This yields a numerical procedure for detecting fixed points of nonexpansive maps on finite-dimensional spaces. We also discuss applications of this procedure to certain nonlinear eigenvalue problems arising in game theory and mathematical biology.     

Weak rigid monoidal category

We define the right regular dual of an object X in a monoidal category C; and give several results regarding the weak rigid monoidal category. Based on the definition of the right regular dual, we construct a weak Hopf algebra structure of H = End(F) whenever (F; J) is a fiber functor from category C to Vec and every X ∈ C has a right regular dual. To conclude, we give a weak reconstruction theorem for a kind of weak Hopf algebra.     

On Ranks of Polynomials

Let V be a vector space over a field k, P : V → k, d ≥?3. We show the existence of a function C(r, d) such that rank(P) ≤ C(r, d) for any field k, char(k) > d, a finite-dimensional k-vector space V and a polynomial P : V → k of degree d such that rank(?P/?t) ≤ r for all t ∈ V ??0. Our proof of this theorem is based on the application of results on Gowers norms for finite fields k. We don’t know a direct proof even in the case when k = ?.     

Desingularizations of Schubert varieties in double Grassmannians

Let X = Gr(k, V) × Gr(l, V) be the direct product of two Grassmann varieties of k-and l-planes in a finite-dimensional vector space V, and let B ? GL(V) be the isotropy group of a complete flag in V. We consider B-orbits in X, which are an analog of Schubert cells in Grassmannians. We describe this set of orbits combinatorially and construct desingularizations for the closures of these orbits, similar to the Bott-Samelson desingularizations for Schubert varieties.     

Cocycle rigidity of abelian partially hyperbolic actions

Suppose G is a higher-rank connected semisimple Lie group with finite center and without compact factors. Let G = G or G = G ? V, where V is a finite-dimensional vector space V. For any unitary representation (π,H) of G, we study the twisted cohomological equation π(a)f ? λf = g for partially hyperbolic element a ∈ G and λ ∈ U(1), as well as the twisted cocycle equation π(a₁)f ? λ1f = π(a₂)g ? λ₂g for commuting partially hyperbolic elements a₁, a₂ ∈ G. We characterize the obstructions to solving these equations, construct smooth solutions and obtain tame Sobolev estimates for the solutions. These results can be extended to partially hyperbolic flows in parallel.As an application, we prove cocycle rigidity for any abelian higher-rank partially hyperbolic algebraic actions. This is the first paper exploring rigidity properties of partially hyperbolic that the hyperbolic directions don’t generate the whole tangent space. The result can be viewed as a first step toward the application of KAM method in obtaining differential rigidity for these actions in future works.     

Generalizations of von Neumann regular rings, <Emphasis Type="Italic">PP</Emphasis> rings,and Baer rings

We introduce the notions of IDS modules, IP modules, and Baer* modules, which are new generalizations of von Neumann regular rings, PP rings, and Baer rings, respectively, in a general module theoretic setting. We obtain some characterizations and properties of IDS modules, IP modules and Baer* modules. Some important classes of rings are characterized in terms of IDS modules, IP modules, and Baer* modules.     

A Nilpotent Ideal in the Lie Rings with Automorphism of Prime Order

We improve the conclusion in Khukhro's theorem stating that a Lie ring (algebra) L admitting an automorphism of prime order p with finitely many m fixed points (with finite-dimensional fixed-point subalgebra of dimension m) has a subring (subalgebra) H of nilpotency class bounded by a function of p such that the index of the additive subgroup |L: H| (the codimension of H) is bounded by a function of m and p. We prove that there exists an ideal, rather than merely a subring (subalgebra), of nilpotency class bounded in terms of p and of index (codimension) bounded in terms of m and p. The proof is based on the method of generalized, or graded, centralizers which was originally suggested in [E. I. Khukhro, Math. USSR Sbornik 71 (1992) 51–63]. An important precursor is a joint theorem of the author and E. I. Khukhro on almost solubility of Lie rings (algebras) with almost regular automorphisms of finite order.     

On a generalization of semisimple modules

Let R be a ring with identity. A module \(M_R\) is called an r-semisimple module if for any right ideal I of R, MI is a direct summand of \(M_R\) which is a generalization of semisimple and second modules. We investigate when an r-semisimple ring is semisimple and prove that a ring R with the number of nonzero proper ideals \(\le \)4 and \(J(R)=0\) is r-semisimple. Moreover, we prove that R is an r-semisimple ring if and only if it is a direct sum of simple rings and we investigate the structure of module whenever R is an r-semisimple ring.     

DISTINGUISHED PRE-NICHOLS ALGEBRAS

We formally define and study the distinguished pre-Nichols algebra \( \tilde{B} \)(V) of a braided vector space of diagonal type V with finite-dimensional Nichols algebra B(V). The algebra \( \tilde{B} \)(V) is presented by fewer relations than B(V), so it is intermediate between the tensor algebra T(V) and B(V). Prominent examples of distinguished pre-Nichols algebras are the positive parts of quantized enveloping (super)algebras and their multiparametric versions. We prove that these algebras give rise to new examples of Noetherian pointed Hopf algebras of finite Gelfand-Kirillov dimension. We investigate the kernel (in the sense of Hopf algebras) of the projection from \( \tilde{B} \)(V) to B(V), generalizing results of De Concini and Procesi on quantum groups at roots of unity.     

Enumeration of maximal subalgebras in free restricted lie algebras

Given a finitely generated restricted Lie algebra L over the finite field \(\mathbb{F}_q \), and n ≥ 0, denote by a _n (L) the number of restricted subalgebras H ? L with \(\dim _{\mathbb{F} _q} \) L/H = n. Denote by ã _n (L) the number of the subalgebras satisfying the maximality condition as well. Considering the free restricted Lie algebra L = F _d of rank d ≥ 2, we find the asymptotics of ã _n (F _d ) and show that it coincides with the asymptotics of a _n (F _d ) which was found previously by the first author. Our approach is based on studying the actions of restricted algebras by derivations on the truncated polynomial rings. We establish that the maximal subalgebras correspond to the so-called primitive actions. This means that “almost all” restricted subalgebras H ? F _d of finite codimension are maximal, which is analogous to the corresponding results for free groups and free associative algebras.     

A characterization of the algebra <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">β</Emphasis></Subscript>(Ω)

We study some properties of algebras of continuous functions on a locally compact space, these algebras being equipped with the topology defined by a family of multiplication operators (β-uniform algebras). We prove an analog of a theorem due to Sheinberg for β-uniform algebras [see Uspekhi Mat. Nauk, 32:5 (197) (1977), 203–204].     

How far can we go with Amitsur’s theorem in differential polynomial rings?

A well-known theorem by S. A. Amitsur shows that the Jacobson radical of the polynomial ring R[x] equals I[x] for some nil ideal I of R. In this paper, however, we show that this is not the case for differential polynomial rings, by proving that there is a ring R which is not nil and a derivation D on R such that the differential polynomial ring R[x;D] is Jacobson radical. We also show that, on the other hand, the Amitsur theorem holds for a differential polynomial ring R[x;D], provided that D is a locally nilpotent derivation and R is an algebra over a field of characteristic p > 0. The main idea of the proof introduces a new way of embedding differential polynomial rings into bigger rings, which we name platinum rings, plus a key part of the proof involves the solution of matrix theory-based problems.     

A characteristic property of the algebra <Emphasis Type="Italic">C</Emphasis>(Ω)<Subscript><Emphasis Type="Italic">ß</Emphasis></Subscript>

We study some properties of the algebras of continuous functions on a locally compact space whose topology is defined by the family of all multiplication operators (β-uniform algebras). We introduce the notion of a β-amenable algebra and show that a β-uniform algebra is β-amenable if and only if it coincides with the algebra of bounded functions on a locally compact space (an analog of M. V. She?nberg’s theorem for uniform algebras).