Expected degree of weights in Demazure modules of {\hat{\mathfrak{sl}}_2}

We compute the expected degree of a randomly chosen element in a basis of weight vectors in the Demazure module V _w (Λ) of [^(\mathfraksl)]₂ {\hat{\mathfrak{sl}}_2} . We obtain en passant a new proof of Sanderson's dimension formula for these Demazure modules.     

Partition models for the crystal of the basic $U_{q}(\widehat {\mathfrak{sl}}_{n})$-module

For each n ≥3, we construct an uncountable family of models of the crystal of the basic U_q([^(\mathfrak sl)]_n)U_{q}(\widehat {\mathfrak {sl}}_{n})-module. These models are all based on partitions, and include the usual n-regular and n-restricted models, as well as Berg’s ladder crystal, as special cases.     

{\left( {\mathfrak{V},\mathfrak{W}} \right)}{\text{-cotorsion pairs}}

Let R be a unital associative ring and two classes of left R-modules. In this paper we introduce the notion of a In analogy to classical cotorsion pairs as defined by Salce [10], a pair of subclasses and is called a if it is maximal with respect to the classes and the condition for all and Basic properties of are stated and several examples in the category of abelian groups are studied. Received: 17 March 2005     

The \mathfrak {sl}_{3}-web algebra

In this paper we use Kuperberg’s $\mathfrak {sl}_3$ -webs and Khovanov’s $\mathfrak {sl}_3$ -foams to define a new algebra $K^S$ , which we call the $\mathfrak {sl}_3$ -web algebra. It is the $\mathfrak {sl}_3$ analogue of Khovanov’s arc algebra. We prove that $K^S$ is a graded symmetric Frobenius algebra. Furthermore, we categorify an instance of $q$ -skew Howe duality, which allows us to prove that $K^S$ is Morita equivalent to a certain cyclotomic KLR-algebra of level 3. This allows us to determine the split Grothendieck group $K^{\oplus }_0(\mathcal {W}^S)_{\mathbb {Q}(q)}$ , to show that its center is isomorphic to the cohomology ring of a certain Spaltenstein variety, and to prove that $K^S$ is a graded cellular algebra.     

Weight Function for the Quantum Affine Algebra Uq( $$\widehat{\mathfrak{s}\mathfrak{l}}_3$$ )

We give a precise expression for the universal weight function of the quantum affine algebra U _q ( ). The calculations use the technique of projecting products of Drinfeld currents on the intersections of Borel subalgebras. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 145, No. 1, pp. 3–34, October, 2005.     

{\mathcal{F}}_\phi and {\mathcal{F}}_g Classes

In this paper we give a generalization of the Zhao F(p, q, s)-spaces by using operators instead of functions. In this way we unify and simplify several important results about the classic spaces D_p, Q_p{\mathcal{Q}}_{p} ,B^α, etc.     

Combinatorics of the \widehat{\mathfrak{s}\mathfrak{l}}_2 Coinvariants: Dual Functional Realization and Recursion

We give the fermionic character formulas for the spaces of coinvariants obtained from level k integrable representations of . We establish the functional realization of the spaces dual to the coinvariant spaces. We parameterize functions in the dual spaces by rigged partitions, and prove the recursion relations for the sets of rigged partitions.     

Cyclic codes over $${{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}$$

In this work, we focus on cyclic codes over the ring \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} , which is not a finite chain ring. We use ideas from group rings and works of AbuAlrub et.al. in (Des Codes Crypt 42:273–287, 2007) to characterize the ring (\mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂)/(xⁿ-1){({{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2})/(x^n-1)} and cyclic codes of odd length. Some good binary codes are obtained as the images of cyclic codes over \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} under two Gray maps that are defined. We also characterize the binary images of cyclic codes over \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} in general.     

Bosonic Formulas for \widehat{\mathfrak{s}\mathfrak{l}} 2 Coinvariants

We derive bosonic-type formulas for the characters of ₂ coinvariants.     

Difference Sets in {\mathbb{Z}}_4^m and {\mathbb{F}}_2^{2m}

Let R=GR(4,m) be the Galois ring of cardinality 4^m and let T be the Teichmüller system of R. For every map λ of T into { -1,+1} and for every permutation Π of T, we define a map φ _λ ^Π of Rinto { -1,+1} as follows: if x∈R and if x=a+2b is the 2-adic representation of x with x∈T and b∈T, then φ _λ ^Π (x)=λ(a)+2Tr(Π(a)b), where Tr is the trace function of R . For i=1 or i=-1, define D _i as the set of x in R such thatφ _λ ^Π =i. We prove the following results: 1) D _i is a Hadamard difference set of (R,+). 2) If φ is the Gray map of R into ${\mathbb{F}}_2^{2m}$ , then (D _i) is a difference set of ${\mathbb{F}}_2^{2m}$ . 3) The set of D _i and the set of φ(D _i) obtained for all maps λ and Π, both are one-to-one image of the set of binary Maiorana-McFarland difference sets in a simple way. We also prove that special multiplicative subgroups of R are difference sets of kind D _i in the additive group of R. Examples are given by means of morphisms and norm in R.     

Tridiagonal pairs and the quantum affine algebra {\boldmath U_q({\widehat {sl}}_2)}

Let ${\mathbb K}$ denote an algebraically closed field and let q denote a nonzero scalar in ${\mathbb K}$ that is not a root of unity. Let V denote a vector space over ${\mathbb K}$ with finite positive dimension and let A,A* denote a tridiagonal pair on V. Let θ₀, θ₁,…, θ _d (resp. θ*₀, θ*₁,…, θ* _d ) denote a standard ordering of the eigenvalues of A (resp. A*). We assume there exist nonzero scalars a, a* in ${\mathbb K}$ such that θ _i = aq ^2i?d and θ* _i = a*q ^d?2i for 0 ≤ i ≤ d. We display two irreducible ${\boldmath U_q({\widehat {sl}}_2)}$ -module structures on V and discuss how these are related to the actions of A and A*.     

The exact order of\sum\nolimits_{k = 1}^{\text{n}} {|{\text{x - x}}_{\text{k}} } |^8 |{\text{l}}_{\text{k}} ({\text{x)|}}^{\text{t}}

In this paper we give the exact order of \(\sum\nolimits_{k = 1}^{\text{n}} {|{\text{x - x}}_{\text{k}} } |^5 .\) for any fixed nonnegative integers s and t, which is n^?s, n^?s lnn and n^1?t for s≤t?2, s=t?1 and s≥t, respectively.     

There is exactly one $${\mathbb {Z}}_2{\mathbb {Z}}_4$$-cyclic 1-perfect code

Let \(\mathcal{C}\) be a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive code of length \(n > 3\). We prove that if the binary Gray image of \(\mathcal{C}\) is a 1-perfect nonlinear code, then \(\mathcal{C}\) cannot be a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-cyclic code except for one case of length \(n=15\). Moreover, we give a parity check matrix for this cyclic code. Adding an even parity check coordinate to a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive 1-perfect code gives a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive extended 1-perfect code. We also prove that such a code cannot be \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-cyclic.     

{\boldsymbol(}\boldsymbol{\mathcal{Z}}_{\bf 1}, \boldsymbol{\mathcal{Z}}_{\bf 2}{\boldsymbol)}-Complete Partially Ordered Sets and Their Representations by \boldsymbol{\mathcal{Q}}-Spaces

The present paper proposes a general theory for $\left( \mathcal{Z}_{1}, \mathcal{Z}_{2}\right) $ -complete partially ordered sets (alias $\mathcal{Z} _{1}$ -join complete and $\mathcal{Z}_{2}$ -meet complete partially ordered sets) and their Stone-like representations. It is shown that for suitably chosen subset selections $\mathcal{Z}_{i}$ (i?=?1,...,4) and $\mathcal{Q} =\left( \mathcal{Z}_{1},\mathcal{Z}_{2},\mathcal{Z}_{3},\mathcal{Z} _{4}\right) $ , the category $\mathcal{Q}$ P of $\left( \mathcal{Z}_{1},\mathcal{Z}_{2}\right) $ -complete partially ordered sets and $\left( \mathcal{Z}_{3},\mathcal{Z}_{4}\right) $ -continuous (alias $\mathcal{ Z}_{3}$ -join preserving and $\mathcal{Z}_{4}$ -meet preserving) functions forms a useful categorical framework for various order-theoretical constructs, and has a close connection with the category $\mathcal{Q}$ S of $\mathcal{Q}$ -spaces which are generalizations of topological spaces involving subset selections. In particular, this connection turns into a dual equivalence between the full subcategory $ \mathcal{Q}$ P _s of $\mathcal{Q}$ P of all $\mathcal{Q}$ -spatial objects and the full subcategory $\mathcal{Q}$ S _s of $\mathcal{Q}$ S of all $\mathcal{Q}$ -sober objects. Here $\mathcal{Q}$ -spatiality and $\mathcal{Q}$ -sobriety extend usual notions of spatiality of locales and sobriety of topological spaces to the present approach, and their relations to $\mathcal{Z}$ -compact generation and $\mathcal{Z}$ -sobriety have also been pointed out in this paper.