A plactic algebra of extremal weight crystals and the Cauchy identity for Schur operators

We give a new bijective interpretation of the Cauchy identity for Schur operators which is a commutation relation between two formal power series with operator coefficients. We introduce a plactic algebra associated with the Kashiwara’s extremal weight crystals over the Kac–Moody algebra of type A _+∞, and construct a Knuth type correspondence preserving the plactic relations. This bijection yields the Cauchy identity for Schur operators as a homomorphic image of its associated identity for plactic characters of extremal weight crystals, and also recovers Sagan and Stanley’s correspondence for skew tableaux as its restriction.     

Finite Left-Distributive Algebras and Embedding Algebras

We consider algebras with one binary operation · and one generator (monogenic) and satisfying the left distributive lawa·(b·c)=(a·b)·(a·c). One can define a sequence of finite left-distributive algebrasA_n, and then take a limit to get an infinite monogenic left-distributive algebraA_∞. Results of Laver and Steel assuming a strong large cardinal axiom imply thatA_∞is free; it is open whether the freeness ofA_∞can be proved without the large cardinal assumption, or even in Peano arithmetic. The main result of this paper is the equivalence of this problem with the existence of a certain algebra of increasing functions on natural numbers, called anembedding algebra. Using this and results of the first author, we conclude that the freeness ofA_∞is unprovable in primitive recursive arithmetic.     

Extremal Bases for the Adjoint Representations of the Simple Lie Algebras

We construct n distinct weight bases, which we call extremal bases, for the adjoint representation of each simple Lie algebra 𝔤 of rank n: One construction for each simple root. We explicitly describe actions of the Chevalley generators on the basis elements. We show that these extremal bases are distinguished by their “supporting graphs” in three ways. (In general, the supporting graph of a weight basis for a representation of a semisimple Lie algebra is a directed graph with colored edges that describe the supports of the actions of the Chevalley generators on the elements of the basis.) We show that each extremal basis constructed is essentially the only basis with its supporting graph (i.e., each extremal basis is solitary), and that each supporting graph is a modular lattice. Each extremal basis is shown to be edge-minimizing: Its supporting graph has the minimum number of edges. The extremal bases are shown to be the only edge-minimizing as well as the only modular lattice weight bases (up to scalar multiples) for the adjoint representation of 𝔤. The supporting graph for an extremal basis is shown to be a distributive lattice if and only if the associated simple root corresponds to an end node for a “branchless” simple Lie algebra, i.e., type A, B, C, F, or G. For each extremal basis, basis elements for the Cartan subalgebra are explicitly expressed in terms of the h _i Chevalley generators.     

Crystal bases of modified quantized enveloping algebras and a double RSK correspondence

We give a new combinatorial realization of the crystal base of the modified quantized enveloping algebras of type A+∞ or A_∞. It is obtained by describing the decomposition of the tensor product of a highest weight crystal and a lowest weight crystal into extremal weight crystals, and taking its limit using a tableaux model of extremal weight crystals. This realization induces in a purely combinatorial way a bicrystal structure of the crystal base of the modified quantized enveloping algebras and hence its Peter-Weyl type decomposition generalizing the classical RSK correspondence.     

On relations between non-Archimedean power series spaces

The power series spaces of finite type, A₁(α), and infinite type, A_∞(α), are the most known and important examples of non-Archimedean nuclear Fréchet spaces. We study when Aπ (α) has a subspace (or quotient) isomorphic to A_q(b).     

On Defining Ideals or Subrings of Hall Algebras

Let A be a finitary algebra over a finite field k, and A- \textmod\text{mod} the category of finite dimensional left A-modules. Let H(A)\mathcal{H}(A) be the corresponding Hall algebra, and for a positive integer r let D _r (A) be the subspace of H(A)\mathcal{H}(A) which has a basis consisting of isomorphism classes of modules in A- \textmod\text{mod} with at least r + 1 indecomposable direct summands. If A is the path algebra of the quiver of type A _n with linear orientation, then D _r (A) is known to be the kernel of the map from the twisted Hall algebra to the quantized Schur algebra indexed by n + 1 and r. For any A, we determine necessary and sufficient conditions for D _r (A) to be an ideal and some conditions for D _r (A) to be a subring of H(A)\mathcal{H}(A). For A the path algebra of a quiver, we also determine necessary and sufficient conditions for D _r (A) to be a subring of H(A)\mathcal{H}(A).     

On a Polynomial Inequality of Paul Erd s

Let f be a real polynomial having no zeros in the open unit disk. We prove a sharp evaluation from above for the quantity f′_∞/f_p, 0p<∞. The extremal polynomials and the exact constants are given. This extends an inequality of Paul Erd s [7].     

Finitely Correlated Pure States

We study a w*-dense subset of the translation invariant states on an infinite tensor product algebra , where is a matrix algebra. These "finitely correlated states" are explicitly constructed in terms of a finite dimensional auxiliary algebra and a completely positive map : → . We show that such a state ω is pure if and only if it is extremal periodic and its entropy density vanishes. In this case the auxiliary objects and are uniquely determined by ω, and can be expressed in terms of an isometry between suitable tensor product Hilbert spaces.     

Sur les algèbres absolument valuées qui vérifient l'identité (x, x, x) = 0

Let A denote a prehilbert absolute valued real algebra such that (x, x, x) = 0 for all x ε A; for this algebra we obtain the same results we have previously obtained for the flexible absolute valued algebra. Our main theorem is: A has a finite dimension 1, 2, 4 or 8, and is isotopic to or C. One of the results concerning the isomorphism between A and , C^*, or C shows that if for every two idempotents e₁ and e₂ in , then A is isomorphic to , C^*, or C. The example of infinite dimensional Hilbert absolute valued algebra given by Urbanik and Wright indicates that the assumption, (x, x, x) = 0 for all x ε A, is essential.     

On the sequence of powers of a stochastic matrix with large exponent

We consider the class of primitive stochastic n×n matrices A, whose exponent is at least (n²−2n+2)/2+2. It is known that for such an A, the associated directed graph has cycles of just two different lengths, say k and j with k>j, and that there is an α between 0 and 1 such that the characteristic polynomial of A is λⁿ−αλ^n−j−(1−α)λ^n−k. In this paper, we prove that for any mn, if α1/2, then A^m+k−A^m_∞A^m−1w^T_∞, where 1 is the all-ones vector and w^T is the left-Perron vector for A, normalized so that w^T1=1. We also prove that if jn/2, n31 and , then A^m+j−A^m_∞A^m−1w^T_∞ for all sufficiently large m. Both of these results lead to lower bounds on the rate of convergence of the sequence A^m.     

The structure of -tensorial cochains of differential operators

Let M be a manifold. Let F = C^∞(M, R). Then the associative algebra of differential operators on is a two-sided -module. We prove that there is a natural isomorphism between the -tensorial Hochschild p-cochains of and the jets, taken on the diagonal, of smooth functions on the Cartesian product of p + 1 copies of M. There is an induced isomorphism of the corresponding associative differential graded algebras. The normalised -tensorial p-cochains correspond isomorphically to jets of those above functions which vanish on all the contiguous subdiagonals x_{j + 1} = X_j, j = 0,…, p − 1 of M^{(p + 1)}. This isomorphism may offer a useful alternative view of infinite-order jets of functions of several variables, taken on the diagonal as cochains of .     

Monomial Realization of the Crystals Over U q (A ∞) and the Quantum Monster Algebra

We give new realizations of the crystal bases of the Verma modules and the irreducible highest weight modules over the quantum generalized Kac–Moody algebra U _q (A _∞) and the quantum Monster algebra using Nakajima monomials. Moreover, another realization of the crystals B(∞) and B(λ) over U _q (A _∞) using triangular matrices and tableaux are given.     

Presenting generalized Schur algebras in types B, C, D

We give explicit presentations by generators and relations of certain generalized Schur algebras (associated with tensor powers of the natural representation) in types B, C, D. This extends previous results in type A obtained by two of the authors. The presentation is compatible with the Serre presentation of the corresponding universal enveloping algebra. In types C, D this gives a presentation of the corresponding classical Schur algebra (the image of the representation on a tensor power) since the classical Schur algebra coincides with the generalized Schur algebra in those types. This coincidence between the generalized and classical Schur algebra fails in type B, in general.     

On Laurent series with multiply positive coefficients

We consider the class of doubly infinite sequences {a _k } _k ^∞ = −∞ whose truncated sequences {a _k } _n ^k = −n are 3-times positive in the sense of Pólya and Fekete for all n = 1, 2, ..., and a ₀ ≠ 0. We obtain a characterization of this class in terms of independent parameters. We also find an estimate of the growth order of the corresponding Laurent series ∑ _{k= −∞} ^∞ akz ^k .     

Schur multiplicators of infinite pro-<Emphasis Type="Italic">p</Emphasis>-groups with finite coclass

Let G be an infinite pro-p-group of finite coclass and let M(G) be its Schur multiplicator. For p > 2, we determine the isomorphism type of Hom(M(G), ℤ_p), where ℤ_p denotes the p-adic integers, and show that M(G) is infinite. For p = 2, we investigate the Schur multiplicators of the infinite pro-2-groups of small coclass and show that M(G) can be infinite, finite or even trivial.     

L∞-upper bound of L2-projections onto splines at a geometric mesh

For an integer k 1 and a geometric mesh (qⁱ)_−∞^∞ with q ε (0, ∞), let M_i,k(x): = k[q^{i + k}](· − x)₊^{k − 1}, N_i,k(x): = (q^{i + k} − qⁱM_i,k(x)/k, and let A_k(q) be the Gram matrix (∝M_i,kN_j,k)_i,jεz. It is known that A_k(q)⁻¹_∞ is bounded independently of q. In this paper it is shown that A_k(q)⁻¹_∞ is strictly decreasing for q in [1, ∞). In particular, the sharp upper bound and lower bound for A_k (q)⁻¹ are obtained: for all q ε (0, ∞).     

A Class of Multiplier Hopf Algebras

We compute the Drinfel’d double for the bicrossproduct multiplier Hopf algebra A = k[G] ⋊ K(H) associated with the factorization of an infinite group M into two subgroups G and H. We also show that there is a basis-preserving self-duality structure for the multiplier Hopf algebra A = k[G] ⋊ K(H) if there is a factor-reversing group isomorphism. Presented by A. Verschoren.     

Automorphism groups of some algebras

The automorphism groups of algebras are found in many papers. Using auto-invariance, we find the automorphism groups of the Laurent extension of the polynomial ring and the quantum n-plane (respectively, twisting polynomial ring) in this work. As an application of the results of this work, we can find the automorphism group of a twisting algebra. We define a generalized Weyl algebra and show that the generalized Weyl algebra is simple. We also find the automorphism group of a generalized Weyl algebra. We show that the generalized Weyl algebra A _m,m+n is the universal enveloping algebra of the generalized Witt algebra W(m,m + n). This work was supported by 2007 Research fund of Hanyang University     

Constrained Lp-Approximation by Generalized n-Convex Functions Induced by ECT-Systems

The problem of finding a best L_p-approximation (1 ≤ p < ∞) to a function in L_p from a special subcone of generalized n-convex functions induced by an ECT-system is considered. Tchebycheff splines with a countably infinite number of knots are introduced and best approximations are characterized in terms of local best approximations by these splines. Various properties of best approximations and their uniqueness in L₁ are investigated. Some special results for generalized monotone and convex cases are obtained.