Some new classes of Kadison-Singer lattices in Hilbert spaces

Let N be a maximal and discrete nest on a separable Hilbert space H,E the projection from H onto the subspace[C]spanned by a particular separating vector for N′and Q the projection from K=H⊕H onto the closed subspace{(,):∈H}.Let L be the closed lattice in the strong operator topology generated by the projections(E 00 0),{(E 00 0):E∈N}and Q.We show that L is a Kadison-Singer lattice with trivial commutant,i.e.,L′=CI.Furthermore,we similarly construct some Kadison-Singer lattices in the matrix algebras M2n(C)and M2n.1(C).     

Semi-Heyting Algebras Term-equivalent to Gödel Algebras

In this paper we investigate those subvarieties of the variety $\mathcal {SH}$ of semi-Heyting algebras which are term-equivalent to the variety $\mathcal L_{\mathcal H}$ of Gödel algebras (linear Heyting algebras). We prove that the only other subvarieties with this property are the variety $\mathcal L^{\rm Com}$ of commutative semi-Heyting algebras and the variety $\mathcal L^{\vee}$ generated by the chains in which a?<?b implies a → b?=?b. We also study the variety $\mathcal C$ generated within $\mathcal{SH}$ by $\mathcal L_{\mathcal H}$ , $\mathcal L_\vee$ and $\mathcal L_{\rm Com}$ . In particular we prove that $\mathcal C$ is locally finite and we obtain a construction of the finitely generated free algebra in $\mathcal C$ .     

Varieties generated by modes of submodes

In a natural way, we can ??lift?? any operation defined on a set A to an operation on the set of all non-empty subsets of A and obtain from any algebra ( ${A, \Omega}$ ) its power algebra of subsets. G. Gr?tzer and H. Lakser proved that for a variety ${\mathcal{V}}$ , the variety ${\mathcal{V}\Sigma}$ generated by power algebras of algebras in ${\mathcal{V}}$ satisfies precisely the consequences of the linear identities true in ${\mathcal{V}}$ . For certain types of algebras, the sets of their subalgebras form subalgebras of their power algebras. They are called the algebras of subalgebras. In this paper, we partially solve a long-standing problem concerning identities satisfied by the variety ${\mathcal{VS}}$ generated by algebras of subalgebras of algebras in a given variety ${\mathcal{V}}$ . We prove that if a variety ${\mathcal{V}}$ is idempotent and entropic and the variety ${\mathcal{V}\Sigma}$ is locally finite, then the variety ${\mathcal{VS}}$ is defined by the idempotent and linear identities true in ${\mathcal{V}}$ .     

Primordials and primordial Lie algebras

Primordials ${d \in \mathcal{P}}$ are generalizations of ordinals ${\sigma \in \mathcal{O}}$ . Primordials are governed by their succession and precession. Primordials with their succession and precession are of interest in their own right. Remarkably, they also lead directly to certain primordial Lie algebras of set theory. Among these is the large primordial Lie algebra of set theory, whose basis is a class and not a set. The large primordial Lie algebra of set theory generalizes naturally to the large primordial Lie algebras of characteristic p ≥ 2. The simple primordial Lie algebras are the natural primordial Lie algebra ${\mathcal{L}^\natural}$ , the free primordial Lie algebras ${\mathcal{L}^c}$ for r ≥ 1 and r-tuples C of denumerable sequences C _j (1 ≤ j ≤ r) of elements of k, and, for p?>?2, the normal sub Lie algebras of the ${\mathcal{L}^\natural,\mathcal{L}^c}$ as well. The split simple primordial Lie algebras are the Lie algebras L of type W—those which may be built directly from the natural primordial Lie algebra ${\mathcal{L}^\natural}$ —except when p = 2 and L is not free. Consequently, they are, up to isomorphism, the purely inseparable forms of the finite and infinite dimensional Lie algebras of type W. This sheds new light on, and adds interest to, the structure of these purely inseparable forms.     

On additive decompositions of the set of primitive roots modulo p

It is conjectured that the set ${\mathcal {G}}$ of the primitive roots modulo p has no decomposition (modulo p) of the form ${\mathcal {G}= \mathcal {A} +\mathcal {B}}$ with ${|\mathcal {A}|\ge 2}$ , ${|\mathcal {B} |\ge 2}$ . This conjecture seems to be beyond reach but it is shown that if such a decomposition of ${\mathcal {G}}$ exists at all, then ${|\mathcal {A} |}$ , ${|\mathcal {B} |}$ must be around p ^1/2, and then this result is applied to show that ${\mathcal {G}}$ has no decomposition of the form ${\mathcal {G} =\mathcal {A} + \mathcal {B} + \mathcal {C}}$ with ${|\mathcal {A} |\ge 2}$ , ${|\mathcal {B} |\ge 2}$ , ${|\mathcal {C} |\ge 2}$ .     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

AW*-algebras Which are Enveloping C*-algebras of JC-algebras

In the given article, enveloping C*-algebras of AJW-algebras are considered. Conditions are given, when the enveloping C*-algebra of an AJW-algebra is an AW*-algebra, and corresponding theorems are proved. In particular, we proved that if $\mathcal{A}$ is a real AW*-algebra, $\mathcal{A}_{sa}$ is the JC-algebra of all self-adjoint elements of $\mathcal{A}$ , $\mathcal{A}+i\mathcal{A}$ is an AW*-algebra and $\mathcal{A}\cap i\mathcal{A} = \{0\}$ then the enveloping C*-algebra $C^*(\mathcal{A}_{sa})$ of the JC-algebra $\mathcal{A}_{sa}$ is an AW*-algebra. Moreover, if $\mathcal{A}+i\mathcal{A}$ does not have nonzero direct summands of type I₂, then $C^*(\mathcal{A}_{sa})$ coincides with the algebra $\mathcal{A}+i\mathcal{A}$ , i.e. $C^*(\mathcal{A}_{sa})= \mathcal{A}+i\mathcal{A}$ .     

On The Structure of A Commutative Banach Algebra Generated By Toeplitz Operators With Quasi-Radial Quasi-Homogeneous Symbols

Let ${\mathcal{A}_{\lambda}^2(\mathbb{B}^n)}$ denote the standard weighted Bergman space over the unit ball ${\mathbb{B}^n}$ in ${\mathbb{C}^n}$ . New classes of commutative Banach algebras ${\mathcal{T}(\lambda)}$ which are generated by Toeplitz operators on ${\mathcal{A}_{\lambda}^2(\mathbb{B}^n)}$ have been recently discovered in Vasilevski (Integr Equ Oper Theory 66(1):141?C152, 2010). These algebras are induced by the action of the quasi-elliptic group of biholomorphisms of ${\mathbb{B}^n}$ . In the present paper we analyze in detail the internal structure of such an algebra in the lowest dimensional case n?=?2. We explicitly describe the maximal ideal space and the Gelfand map of ${\mathcal{T}(\lambda)}$ . Since ${\mathcal{T}(\lambda)}$ is not invariant under the *-operation of ${\mathcal{L}(\mathcal{A}_{\lambda}^2(\mathbb{B}^n))}$ its inverse closedness is not obvious and is proved. We remark that the algebra ${\mathcal{T}(\lambda)}$ is not semi-simple and we derive its radical. Several applications of our results are given and, in particular, we conclude that the essential spectrum of elements in ${\mathcal{T}(\lambda)}$ is always connected.     

Categories of partial algebras for critical points between varieties of algebras

We denote by Con_c A the ${(\vee, 0)}$ -semilattice of all finitely generated congruences of an algebra A. A lifting of a ${(\vee, 0)}$ -semilattice S is an algebra A such that ${S \cong {\rm Con}_{\rm c} A}$ . The assignment Conc can be extended to a functor. The notion of lifting is generalized to diagrams of ${(\vee, 0)}$ -semilattices. A gamp is a partial algebra endowed with a partial subalgebra together with a semilattice-valued distance; gamps form a category that lends itself to a universal algebraic-type study. The raison d’être of gamps is that any algebra can be approximated by its finite subgamps, even in case it is not locally finite. Let ${\mathcal{V}}$ and ${\mathcal{W}}$ be varieties of algebras (on finite, possibly distinct, similarity types). Let P be a finite lattice. We assume the existence of a combinatorial object, called an ${\aleph_0}$ -lifter of P, of infinite cardinality ${\lambda}$ . Let ${\vec{A}}$ be a P-indexed diagram of finite algebras in ${\mathcal{V}}$ . If ${{\rm Con}_{\rm c} \circ \vec{A}}$ has no partial lifting in the category of gamps of ${\mathcal{W}}$ , then there is an algebra ${A \in \mathcal{V}}$ of cardinality ${\lambda}$ such that Con_c A is not isomorphic to Con_c B for any ${B \in \mathcal{W}}$ . This makes it possible to generalize several known results. In particular, we prove the following theorem, without assuming that ${\mathcal{W}}$ is locally finite. Let ${\mathcal{V}}$ be locally finite and let ${\mathcal{W}}$ be congruence-proper (i.e., congruence lattices of infinite members of ${\mathcal{W}}$ are infinite). The following equivalence holds. Every countable ${(\vee, 0)}$ -semilattice with a lifting in ${\mathcal{V}}$ has a lifting in ${\mathcal{W}}$ if and only if every ${\omega}$ -indexed diagram of finite ${(\vee, 0)}$ -semilattices with a lifting in ${\mathcal{V}}$ has a lifting in ${\mathcal{W}}$ . Gamps are also applied to the study of congruence-preserving extensions. Let ${\mathcal{V}}$ be a non-semidistributive variety of lattices and let n ≥ 2 be an integer. There is a bounded lattice ${A \in \mathcal{V}}$ of cardinality ${\aleph_1}$ with no congruence n-permutable, congruence-preserving extension. The lattice A is constructed as a condensate of a square-indexed diagram of lattices.     

{\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.     

Some results on metric n-Lie algebras

We study the structure of a metric n-Lie algebra G over the complex field C. Let G = SR be the Levi decomposition, where R is the radical of G and S is a strong semisimple subalgebra of G. Denote by m(G) the number of all minimal ideals of an indecomposable metric n-Lie algebra and R ⊥ the orthogonal complement of R. We obtain the following results. As S-modules, R ⊥ is isomorphic to the dual module of G/R. The dimension of the vector space spanned by all nondegenerate invariant symmetric bilinear forms on G is equal to that of the vector space of certain linear transformations on G; this dimension is greater than or equal to m(G) + 1. The centralizer of R in G is equal to the sum of all minimal ideals; it is the direct sum of R ⊥ and the center of G. Finally, G has no strong semisimple ideals if and only if R⊥■R.     

Completely continuous and weakly completely continuous abstract Segal algebras

Let $\mathcal{A}$ be a Banach algebra. It is obtained a necessary and sufficient condition for the complete continuity and also weak complete continuity of symmetric abstract Segal algebras with respect to $\mathcal{A}$ , under the condition of the existence of an approximate identity for $\mathcal{B}$ , bounded in $\mathcal{A}$ . In addition, a necessary condition for the weak complete continuity of $\mathcal{A}$ is given. Moreover, the applications of these results about some group algebras on locally compact groups are obtained.     

A class of {\Sigma _{3}^{0}} modular lattices embeddable as principal filters in {\mathcal{L}^{\ast }(V_{\infty })}

Let I ₀ be a a computable basis of the fully effective vector space V _∞ over the computable field F. Let I be a quasimaximal subset of I ₀ that is the intersection of n maximal subsets of the same 1-degree up to *. We prove that the principal filter ${\mathcal{L}^{\ast}(V,\uparrow )}$ of V = cl(I) is isomorphic to the lattice ${\mathcal{L}(n, \overline{F})}$ of subspaces of an n-dimensional space over ${\overline{F}}$ , a ${\Sigma _{3}^{0}}$ extension of F. As a corollary of this and the main result of Dimitrov (Math Log 43:415–424, 2004) we prove that any finite product of the lattices ${(\mathcal{L}(n_{i}, \overline{F }_{i}))_{i=1}^{k}}$ is isomorphic to a principal filter of ${\mathcal{ L}^{\ast}(V_{\infty})}$ . We thus answer Question 5.3 “What are the principal filters of ${\mathcal{L}^{\ast}(V_{\infty}) ?}$ ” posed by Downey and Remmel (Computable algebras and closure systems: coding properties, handbook of recursive mathematics, vol 2, pp 977–1039, Stud Log Found Math, vol 139, North-Holland, Amsterdam, 1998) for spaces that are closures of quasimaximal sets.     

Proper Holomorphic Embeddings of Riemann Surfaces with Arbitrary Topology into ℂ2

We prove that given an open Riemann surface $\mathcal{N}$ of arbitrary (finite or infinite) topology, there exists an open domain $\mathcal{M}\subset \mathcal{N}$ homeomorphic to $\mathcal{N}$ which properly holomorphically embeds in ?². Furthermore, $\mathcal{M}$ can be chosen with hyperbolic conformal type. In particular, any open orientable surface M admits a complex structure $\mathcal{C}$ such that $(M,\mathcal{C})$ can be properly holomorphically embedded into ?².     

Noncommutative Multivariable Operator Theory

In this paper, we study noncommutative domains ${\mathbb{D}_f^\varphi(\mathcal{H}) \subset B(\mathcal{H})^n}$ generated by positive regular free holomorphic functions f and certain classes of n-tuples ${\varphi = (\varphi_1, \ldots, \varphi_n)}$ of formal power series in noncommutative indeterminates Z ₁, . . . , Z _n . Noncommutative Poisson transforms are employed to show that each abstract domain ${\mathbb{D}_f^\varphi}$ has a universal model consisting of multiplication operators (M _Z1, . . . , M _{Z n} ) acting on a Hilbert space of formal power series. We provide a Beurling type characterization of all joint invariant subspaces under M _Z1, . . . , M _{Z n} and show that all pure n-tuples of operators in ${\mathbb{D}_f^\varphi(\mathcal{H})}$ are compressions of ${M_{Z_1} \otimes I, \ldots, M_{Z_n} \otimes I}$ to their coinvariant subspaces. We show that the eigenvectors of ${M_{Z_1}^*, \ldots, M_{Z_n}^*}$ are precisely the noncommutative Poisson kernels ${\Gamma_\lambda}$ associated with the elements ${\lambda}$ of the scalar domain ${\mathbb{D}_{f,<}^\varphi(\mathbb{C}) \subset \mathbb{C}^n}$ . These are used to solve the Nevanlinna-Pick interpolation problem for the noncommutative Hardy algebra ${H^\infty(\mathbb{D}_f^\varphi)}$ . We introduce the characteristic function of an n-tuple ${T=(T_1, \ldots , T_n) \in \mathbb{D}_f^\varphi(\mathcal{H})}$ , present a model for pure n-tuples of operators in the noncommutative domain ${\mathbb{D}_f^\varphi(\mathcal{H})}$ in terms of characteristic functions, and show that the characteristic function is a complete unitary invariant for pure n-tuples of operators in ${\mathbb{D}_f^\varphi(\mathcal{H})}$ .     

A note on stable Teichmüller quasigeodesics

In this note, we prove that for a cobounded, Lipschitz path $\gamma: I\to{\mathcal T}$ in the Teichmüller space ${\mathcal T}$ of a hyperbolic surface, if the pull back bundle $\mathcal{H}_{\gamma}\to I$ of the cannonical ?²-bundle ${\mathcal H}\to{\mathcal T}$ is a strongly relatively hyperbolic metric space then there exists a geodesic ξ of ${\mathcal T}$ such that γ(I) and ξ are close to each other.     

Hypercentralizing generalized skew derivations on left ideals in prime rings

Let $\mathcal{R }$ be a prime ring of characteristic different from $2, \mathcal{Q }_r$ the right Martindale quotient ring of $\mathcal{R }, \mathcal{C }$ the extended centroid of $\mathcal{R }, \mathcal{I }$ a nonzero left ideal of $\mathcal{R }, F$ a nonzero generalized skew derivation of $\mathcal{R }$ with associated automorphism $\alpha $ , and $n,k \ge 1$ be fixed integers. If $[F(r^n),r^n]_k=0$ for all $r \in \mathcal{I }$ , then there exists $\lambda \in \mathcal{C }$ such that $F(x)=\lambda x$ , for all $x\in \mathcal{I }$ . More precisely one of the following holds: (1) $\alpha $ is an $X$ -inner automorphism of $\mathcal{R }$ and there exist $b,c \in \mathcal{Q }_r$ and $q$ invertible element of $\mathcal{Q }_r$ , such that $F(x)=bx-qxq^{-1}c$ , for all $x\in \mathcal{Q }_r$ . Moreover there exists $\gamma \in \mathcal{C }$ such that $\mathcal{I }(q^{-1}c-\gamma )=(0)$ and $b-\gamma q \in \mathcal{C }$ ; (2) $\alpha $ is an $X$ -outer automorphism of $\mathcal{R }$ and there exist $c \in \mathcal{Q }_r, \lambda \in \mathcal{C }$ , such that $F(x)=\lambda x-\alpha (x)c$ , for all $x\in \mathcal{Q }_r$ , with $\alpha (\mathcal{I })c=0$ .     

Stability of contact discontinuity for steady Euler system in infinite duct

In this paper, we prove stability of contact discontinuities for full Euler system. We fix a flat duct ${\mathcal{N}_0}$ of infinite length in ${\mathbb{R}^2}$ with width W ₀ and consider two uniform subsonic flow ${{U_l}^{\pm}=(u_l^{\pm}, 0, pl,\rho_l^{\pm})}$ with different horizontal velocity in ${\mathcal{N}_0}$ divided by a flat contact discontinuity ${\Gamma_{cd}}$ . And, we slightly perturb the boundary of ${\mathcal{N}_0}$ so that the width of the perturbed duct converges to ${W_0+\omega}$ for ${|\omega| < \delta}$ at ${x=\infty}$ for some ${\delta >0 }$ . Then, we prove that if the asymptotic state at left far field is given by ${{U_l}^{\pm}}$ , and if the perturbation of boundary of ${\mathcal{N}_0}$ and ${\delta}$ is sufficiently small, then there exists unique asymptotic state ${{U_r}^{\pm}}$ with a flat contact discontinuity ${\Gamma_{cd}^*}$ at right far field( ${x=\infty}$ ) and unique weak solution ${U}$ of the Euler system so that U consists of two subsonic flow with a contact discontinuity in between, and that U converges to ${{U_l}^{\pm}}$ and ${{U_r}^{\pm}}$ at ${x=-\infty}$ and ${x=\infty}$ respectively. For that purpose, we establish piecewise C ¹ estimate across a contact discontinuity of a weak solution to Euler system depending on the perturbation of ${\partial\mathcal{N}_0}$ and ${\delta}$ .     

On the Left and Right Brylinski-Kostant Filtrations

Let $\mathfrak{g}$ be a complex semisimple Lie algebra, $\mathfrak{b}$ a Borel subalgebra, and $\mathfrak{h}\subset\mathfrak{b}$ a Cartan subalgebra. Let V be a finite dimensional simple $U(\mathfrak{g})$ module. Based on a principal s-triple (e,h,f) and following work of Kostant, Brylinski (J Amer Math Soc 2(3):517–533, 1989) defined a filtration $\mathcal{F}_e$ for all weight subspaces V _μ of V and calculated the dimensions of the graded subspaces for μ dominant. In Joseph et al. (J Amer Math Soc 13(4):945–970, 2000) these dimensions were calculated for all μ. Let δM(0) be the finite dual of the Verma module of highest weight 0. It identifies with the global functions on a Weyl group translate of the open Bruhat cell and so inherits a natural degree filtration. On the other hand, up to an appropriate shift of weights, there is a unique $U(\mathfrak{b})$ module embedding of V into δM(0) and so the degree filtration induces a further filtration $\mathcal{F}$ on each weight subspace V _μ . A casual reading of Joseph et al. (J Amer Math Soc 13(4):945–970, 2000) might lead one to believe that $\mathcal{F}$ and $\mathcal{F}_e$ coincide. However this is quite false. Rather one should view $\mathcal{F}_e$ as coming from a left action of $U(\mathfrak{n})$ and then there is a second (Brylinski-Kostant) filtration $\mathcal{F}'_e$ coming from a right action. It is $\mathcal{F}'_e$ which may coincide with $\mathcal{F}$ . In this paper the above claim is made precise. First it is noted that $\mathcal{F}$ is itself not canonical, but depends on a choice of variables. Then it is shown that a particular choice can be made to ensure that $\mathcal{F}=\mathcal{F}'_e$ . An explicit form for the unique left $U(\mathfrak{b})$ module embedding $V\hookrightarrow\delta M(0)$ is given using the right action of $U(\mathfrak{n})$ . This is used to give a purely algebraic proof of Brylinski’s main result in Brylinski (J Amer Math Soc 2(3):517–533, 1989) which is much simpler than Joseph et al. (J Amer Math Soc 13(4):945–970, 2000). It is noted that the dimensions of the graded subspaces of $\rm{gr}_{\mathcal{F}_e} V_{\!\mu}$ and $\rm{gr}_{\mathcal{F}'_e} V_{\!\mu}$ can be very different. Their interrelation may involve the Kashiwara involution. Indeed a combinatorial formula for multiplicities in tensor products involving crystal bases and the Kashiwara involution is recovered. Though the dimensions for the graded subspaces of $\rm{gr}_{\mathcal{F}'_e} V_{\!\mu}$ are determined by polynomial degree, their values remain unknown.     

Integrable Representations of Involutive Algebras and Ore Localization

Let ${\mathcal A}$ be a unital algebra equipped with an involution (·)^?, and suppose that the multiplicative set ${\mathcal S}\subseteq {\mathcal A}$ generated by the elements of the form 1?+?a ^? a contains only regular elements and satisfies the Ore condition. We prove that ultracyclic representations of ${\mathcal A}$ admit an integrable extension, and that integrable representations of ${\mathcal A}$ are in bijection with representations of the Ore localization ${\mathcal A}\mathcal S^{-1}$ (which is an involutive algebra). This second result can be understood as a restricted converse to a theorem by Inoue asserting that representations of symmetric involutive algebras are integrable.