Generalizations of the Sweedler Dual

As left adjoint to the dual algebra functor, Sweedler’s finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over arbitrary rings, shares a number of properties with the finite dual. Nonetheless the requirement that it should map Hopf algebras to Hopf algebras needs the extra assumption that this left adjoint should map an algebra into its linear dual. We identify a condition guaranteeing that Sweedler’s construction works when generalized to noetherian commutative rings. We establish the following two apparently previously unnoticed dual adjunctions: For every commutative ring R the left adjoint of the dual algebra functor on the category of R-bialgebras has a right adjoint. This dual adjunction can be restricted to a dual adjunction on the category of Hopf R-algebras, provided that R is noetherian and absolutely flat.     

Affine representations of $${\ell}$$-groups and MV-algebras

Affine representations for archimedean \({\ell}\)-groups and semisimple MV-algebras via embedding theorems are presented; they are simple to work with but powerful enough to express significant properties of our studied objects. Indeed, we focus on the space of particular homomorphisms between an archimedean \({\ell}\)-group (a semisimple MV-algebra, respectively) and a vector lattice (a Riesz MV-algebra, respectively), i.e., the set of the generalized states, providing a general framework.     

Semisimple weakly symmetric pseudo-Riemannian manifolds

We develop the classification of weakly symmetric pseudo-Riemannian manifolds G / H where G is a semisimple Lie group and H is a reductive subgroup. We derive the classification from the cases where G is compact, and then we discuss the (isotropy) representation of H on the tangent space of G / H and the signature of the invariant pseudo-Riemannian metric. As a consequence we obtain the classification of semisimple weakly symmetric manifolds of Lorentz signature \((n-1,1)\) and trans-Lorentzian signature \((n-2,2)\).     

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.     

Koszulity and Koszul modules of dual extension algebras

Let A and B be algebras, and let T be the dual extension algebra of A and B. We provide a different method to prove that T is Koszul if and only if both A and B are Koszul. Furthermore, we prove that an algebra is Koszul if and only if one of its iterated dual extension algebras is Koszul, if and only if all its iterated dual extension algebras are Koszul. Finally, we give a necessary and sufficient condition for a dual extension algebra to have the property that all linearly presented modules are Koszul modules, which provides an effective way to construct algebras with such a property.     

Several Generalizations of the Wedderburn-Artin Theorem with Applications

We say that an R-module M is virtually semisimple if each submodule of M is isomorphic to a direct summand of M. A nonzero indecomposable virtually semisimple module is then called a virtually simple module. We carry out a study of virtually semisimple modules and modules which are direct sums of virtually simple modules . Our study provides several natural generalizations of the Wedderburn-Artin Theorem and an analogous to the classical Krull-Schmidt Theorem. Some applications of these theorems are indicated. For instance, it is shown that the following statements are equivalent for a ring R: (i) Every finitely generated left (right) R-module is virtually semisimple; (ii) Every finitely generated left (right) R-module is a direct sum of virtually simple R-modules; (iii) \(R\cong {\prod }_{i = 1}^{k} M_{n_{i}}(D_{i})\) where k,n ₁,…,n _k ∈ ? and each D _i is a principal ideal V-domain; and (iv) Every nonzero finitely generated left R-module can be written uniquely (up to isomorphism and order of the factors) in the form R m ₁ ⊕… ⊕ R m _k where each R m _i is either a simple R-module or a virtually simple direct summand of R.     

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.     

<Emphasis Type="Italic">n</Emphasis>-Tuple algebras of associative type

We study properties of n-tuple algebras of associative type. We show that the nilpotency of an n-tuple algebra of associative type is determined by the nilpotency of each element. In addition, we characterize the nilpotency of an n-tuple algebra of associative type in terms of the trace function. In the final part of the paper, we show that a homogeneously semisimple n-tuple algebra of associative type is the direct sum of two-sided ideals each of which is a homogeneously simple n-tuple algebra of associative type.     

Grade zero part of forced graded algebras

This paper concerns a certain subcategory of the category of representations for a semisimple algebraic group G in characteristic p, which arises from the semisimple modules for the corresponding quantum group at a p-th root of unity. The subcategory, thus, records the cohomological difference between quantum groups and algebraic groups. We define translation functors in this category and use them to obtain information on the irreducible characters for G when the Lusztig character formula does not hold.     

Nearly Kähler and Hermitian <Emphasis Type="Italic">f</Emphasis>-structures on homogeneous Φ-spaces of order <Emphasis Type="Italic">k</Emphasis> with special metrics

We consider arbitrary homogeneous Φ-spaces of order k ≥ 3 of semisimple compact Lie groups G in the case of a series of special metrics. We give formulas for the Nomizu function of the Levi-Civita connection of these metrics. Using these formulas and other relations for Φ-spaces of order k, we prove necessary and sufficient conditions for the canonical f-structures on these spaces to lie in some generalized Hermitian geometry classes of f-structures: nearly Kähler (NKf-structures) and Hermitian (Hf-structures).     

Horospherical transform on real symmetric varieties: Kernel and cokernel

In this paper, we define a horospherical transform for a semisimple symmetric space Y. A natural double fibration is used to assign a more geometrical space Ξ of horospheres to Y. The horospherical transform relates certain integrable analytic functions on Y to analytic functions on Ξ by fiber integration. We determine the kernel of the horospherical transform and establish that the transform is injective on functions belonging to the most continuous spectrum of Y.     

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.     

SPECIAL REDUCTIVE GROUPS OVER AN ARBITRARY FIELD

A linear algebraic group G defined over a field k is called special if every G-torsor over every field extension of k is trivial. In 1958 Grothendieck classified special groups in the case where the base field is algebraically closed. In this paper we describe the derived subgroup and the coradical of a special reductive group over an arbitrary field k. We also classify special semisimple groups, special reductive groups of inner type, and special quasisplit reductive groups over an arbitrary field k. Finally, we give an application to a conjecture of Serre.     

Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities

The Emerton–Jacquet functor is a tool for studying locally analytic representations of p-adic Lie groups. It provides a way to access the theory of p-adic automorphic forms. Here we give an adjunction formula for the Emerton–Jacquet functor, relating it directly to locally analytic inductions, under a strict hypothesis that we call non-critical. We also further study the relationship to socles of principal series in the non-critical setting.     

Generalized Wigner-Inönü contractions and Maxwell (super)algebras

We consider a class of generalized Wigner-Inönü contractions for the semidirect product of two particularly related semisimple Lie (super)algebras. A special class of such contractions provides the D = 4 Maxwell algebra and the recently introduced simple D = 4 Maxwell superalgebra. Further we present two types of D = 4 N-extended Maxwell superalgebras, the nonstandard one for any N with ½N(N?1) central charges and the standard one, for even N = 2k, with k(2k ? 1) internal symmetry generators.     

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.     

Duality Features of Left Hopf Algebroids

We explore special features of the pair (U ^?,U _?) formed by the right and left dual over a (left) bialgebroid U in case the bialgebroid is, in particular, a left Hopf algebroid. It turns out that there exists a bialgebroid morphism S ^? from one dual to another that extends the construction of the antipode on the dual of a Hopf algebra, and which is an isomorphism if U is both a left and right Hopf algebroid. This structure is derived from Phùng’s categorical equivalence between left and right comodules over U without the need of a (Hopf algebroid) antipode, a result which we review and extend. In the applications, we illustrate the difference between this construction and those involving antipodes and also deal with dualising modules and their quantisations.     

On the character of certain tilting modules

Let G be a semisimple group over an algebraically closed field of characteristic p > 0. We give a (partly conjectural) closed formula for the character of many indecomposable tilting rational G-modules assuming that p is large.     

Novel polynomial Bernstein bases and Bézier curves based on a general notion of polynomial blossoming

We introduce the G-blossom of a polynomial by altering the diagonal property of the classical blossom, replacing the identity function by arbitrary linear functions G=G(t). By invoking the G-blossom, we construct G-Bernstein bases and G-Bézier curves and study their algebraic and geometric properties. We show that the G-blossom provides the dual functionals for the G-Bernstein basis functions and we use this dual functional property to prove that G-Bernstein basis functions form a partition of unity and satisfy a Marsden identity. We also show that G-Bézier curves share several other properties with classical Bézier curves, including affine invariance, interpolation of end points, and recursive algorithms for evaluation and subdivision. We investigate the effect of the linear functions G on the shape of the corresponding G-Bézier curves, and we derive some necessary and sufficient conditions on the linear functions G which guarantee that the corresponding G-Bézier curves are of Pólya type and variation diminishing. Finally we prove that the control polygons generated by recursive subdivision converge to the original G-Bézier curve, and we derive the geometric rate of convergence of this algorithm.