A class of non-weight modules of 𝑈𝑝(𝖘𝖑2) and Clebsch–Gordan type formulas

In this paper, we construct a class of new modules for the quantum group U q ⁢ ( s ⁢ l 2 ) U_{q}(\mathfrak{sl}_{2}) which are free of rank 1 when restricted to C ⁢ [ K ± 1 ] \mathbb{C}[K^{\pm 1}] . The irreducibility of these modules and submodule structure for reducible ones are determined. It is proved that any C ⁢ [ K ± 1 ] \mathbb{C}[K^{\pm 1}] -free U q ⁢ ( s ⁢ l 2 ) U_{q}(\mathfrak{sl}_{2}) -module of rank 1 is isomorphic to one of the modules we constructed, and their isomorphism classes are obtained. We also investigate the tensor products of the C ⁢ [ K ± 1 ] \mathbb{C}[K^{\pm 1}] -free modules with finite-dimensional simple modules over U q ⁢ ( s ⁢ l 2 ) U_{q}(\mathfrak{sl}_{2}) , and for the generic cases, we obtain direct sum decomposition formulas for them, which are similar to the well-known Clebsch–Gordan formula for tensor products between finite-dimensional weight modules over U q ⁢ ( s ⁢ l 2 ) U_{q}(\mathfrak{sl}_{2}) .

A filtration on the ring of Laurent polynomials and representations of the general linear Lie algebra

We first present a filtration on the ring Ln of Laurent polynomials such that the direct sum decomposition of its associated graded ring grLn agrees with the direct sum decomposition of grLn, as a module over the complex general linear Lie algebra gl(n), into its simple submodules. Next, generalizing the simple modules occurring in the associated graded ring grLn, we give some explicit constructions of weight multiplicity-free irreducible representations of gl(n).

Row Contractions Annihilated by Interpolating Vanishing Ideals

We study similarity classes of commuting row contractions annihilated by what we call higher-order vanishing ideals of interpolating sequences. Our main result exhibits a Jordan-type direct sum decomposition for these row contractions. We illustrate how the family of ideals to which our theorem applies is very rich, especially in several variables. We also give two applications of the main result. First, we obtain a purely operator theoretic characterization of interpolating sequences for the multiplier algebra of the Drury–Arveson space. Second, we classify certain classes of cyclic commuting row contractions up to quasi-similarity in terms of their annihilating ideals. This refines some of our recent work on the topic. We show how this classification is sharp: in general quasi-similarity cannot be improved to similarity. The obstruction to doing so is a scarcity of norm-controlled similarities between commuting tuples of nilpotent matrices, and we investigate this question in detail.

Lifting modules with finite internal exchange property and direct sums of hollow modules

A module [Formula: see text] is said to be lifting if, for any submodule [Formula: see text] of [Formula: see text], there exists a decomposition [Formula: see text] such that [Formula: see text] and [Formula: see text] is a small submodule of [Formula: see text]. A lifting module is defined as a dual concept of the extending module. A module [Formula: see text] is said to have the finite internal exchange property if, for any direct summand [Formula: see text] of [Formula: see text] and any finite direct sum decomposition [Formula: see text], there exists a direct summand [Formula: see text] of [Formula: see text] [Formula: see text] such that [Formula: see text]. This paper is concerned with the following two fundamental unsolved problems of lifting modules: “Classify those rings all of whose lifting modules have the finite internal exchange property” and “When is a direct sum of indecomposable lifting modules lifting?”. In this paper, we prove that any [Formula: see text]-square-free lifting module over a right perfect ring satisfies the finite internal exchange property. In addition, we give some necessary and sufficient conditions for a direct sum of hollow modules over a right perfect ring to be lifting with the finite internal exchange property.

Quantum codes from a class of constacyclic codes over finite commutative rings

Let [Formula: see text] be an odd prime, and [Formula: see text] be an integer such that [Formula: see text]. Using pairwise orthogonal idempotents [Formula: see text] of the ring [Formula: see text], with [Formula: see text], [Formula: see text] is decomposed as [Formula: see text], which contains the ring [Formula: see text] as a subring. It is shown that, for [Formula: see text], [Formula: see text], and it is invertible if and only if [Formula: see text] and [Formula: see text] are units of [Formula: see text]. In such cases, we study [Formula: see text]-constacyclic codes over [Formula: see text]. We present a direct sum decomposition of [Formula: see text]-constacyclic codes and their duals, which provides their corresponding generators. Necessary and sufficient conditions for a [Formula: see text]-constacyclic code to contain its dual are obtained. As an application, many new quantum codes over [Formula: see text], with better parameters than existing ones, are constructed from cyclic and negacyclic codes over [Formula: see text].

Relative Equivariant Motives and Modules

We introduce and study various categories of (equivariant) motives of (versal) flag varieties. We relate these categories with certain categories of parabolic (Demazure) modules. We show that the motivic decomposition type of a versal flag variety depends on the direct sum decomposition type of the parabolic module. To do this we use localization techniques of Kostant and Kumar in the context of generalized oriented cohomology as well as the Rost nilpotence principle for algebraic cobordism and its generic version. As an application, we obtain new proofs and examples of indecomposable Chow motives of versal flag varieties.

Implicit Function Theorem. Part II

Summary In this article, we formalize differentiability of implicit function theorem in the Mizar system [3], [1]. In the first half section, properties of Lipschitz continuous linear operators are discussed. Some norm properties of a direct sum decomposition of Lipschitz continuous linear operator are mentioned here. In the last half section, differentiability of implicit function in implicit function theorem is formalized. The existence and uniqueness of implicit function in [6] is cited. We referred to [10], [11], and [2] in the formalization.