Right coideal subalgebras of the quantum Borel algebra of type

In this paper we describe the right coideal subalgebras containing all group-like elements of the multiparameter quantum group , where is a simple Lie algebra of type G₂, while the main parameter of quantization q is not a root of 1. If the multiplicative order t of q is finite, t>4, t≠6, then the same classification remains valid for homogeneous right coideal subalgebras of the positive part of the multiparameter version of the small Lusztig quantum group.     

Classification des Objets Galoisiens de U q (𝔤) à Homotopie PrèS

Pour toute algèbre enveloppante quantique U_q(𝔤) de Drinfeld–Jimbo et toute famille λ = (λ_ij)1≤i ∈ k^? d'éléments inversibles du corps de base, nous construisons explicitement par générateurs et relations un objet galoisien A_λ de U_q(𝔤) et nous montrons que tout objet galoisien de U_q(𝔤) est homotope à un unique objet de la forme A_λ.

For any Drinfeld–Jimbo quantum enveloping algebra U_q(𝔤) and for any family λ = (λ_ij)_{1≤i ∈ k^? of invertible elements of the base field, we explicitly construct a Galois object Aλ of Uq(𝔤) by generators and relations and we prove that any Galois object of Uq(𝔤) is homotopic to a unique object of type Aλ.}     

Non-abelian Tensor Product of Leibniz Algebras and an Exact Sequence in Leibniz Homology

Abstract

Let 𝔪 and 𝔫 be two-sided ideals of a Leibniz algebra 𝔤 such that 𝔤 = 𝔪 + 𝔫. The goal of the paper is to achieve the exact sequence Ker(𝔪  𝔫 + 𝔫  𝔪 → 𝔤) → HL ₂(𝔤) → HL ₂(𝔤/𝔪) ⊕ HL ₂(𝔤/𝔫) → 𝔪 ∩ 𝔫/ [𝔪,𝔫] → HL ₁(𝔤) → HL ₁(𝔤/𝔪) ⊕ HL ₁(𝔤/𝔫) → 0, where HL denotes the Leibniz homology with trivial coefficients of a Leibniz algebra and denotes a non-abelian tensor product of Leibniz algebras.     

Formal Expansion of Harish-Chandra Homomorphism

Abstract

Let 𝔤 be a complex semisimple Lie algebra with adjoint group G and let 𝔥 be a Cartan subalgebra of 𝔤. Let Â(𝔤) and Â(𝔥) denote the algebra of differential operators with formal power series coefficients on 𝔤 and 𝔥 respectively. We construct a subalgebra A _𝔤 of Â(𝔤) containing all the pull-backs of the differential operators in G attached to any element x in 𝔤. We also consider the projection P: A _𝔤 → Â _𝔥. Then, we calculate explicity the pull-back of the differential operator in G attached to an element h in 𝔥 modulo Ker P.     

Restrictions of Symmetric Invariants of a Complex Semisimple Lie Algebra and Some Applications

Let 𝔤 be a finite-dimensional complex semisimple Lie algebra and σ an arbitrary semisimple automorphism of 𝔤. Let 𝔱 be a Cartan subalgebra of 𝔨 = 𝔤^σ and 𝔥 =Z _𝔤(𝔱) be the centralizer of 𝔱 in 𝔤. Then 𝔥 is a σ-invariant Cartan subalgebra of 𝔤 and 𝔱 = 𝔥^σ. Let W(𝔤, 𝔥) be the Weyl group. One knows that Δ(𝔤, 𝔱), the set of roots of 𝔤 in 𝔱, is also a root system. It is proved that the corresponding Weyl group W(𝔤, 𝔱) is isomorphic to W(𝔤, 𝔥)^σ, which is the subgroup of W(𝔤, 𝔥) consisting of those elements commuting with σ. It is also shown that the image of the restriction map S(𝔥*) ^{W(𝔤, 𝔥)} → S(𝔱*) ^{W(𝔨, 𝔱)}, where S(𝔥*) and S(𝔱*) are the polynomial algebras on 𝔥 and 𝔱, respectively, is exactly S(𝔱*) ^{W(𝔤, 𝔱)}. Based on the above result, we also get a complete classification of the pairs (𝔤, σ) such that 𝔤^σ is noncohomologous to zero in 𝔤.     

Representations of Nonstandard Poincaré Hopf Algebras

Let 𝔭 _q (1 + 1) be a nonstandard Poincaré Hopf algebra, we characterize all finite dimensional completely E-semisimple modules of 𝔭 _q (1 + 1). We also classify all finite dimensional E-semisimple modules of 𝔭 _q for a special quotient algebra of 𝔭 _q (1 + 1). Moreover, the decomposition of tensor product of two finite dimensional E-semisimple indecomposable modules is obtained.     

Algèbres de Poisson et Algèbres de Lie Résolubles

Let 𝔤 be a solvable Lie algebra and Q an (ad 𝔤)-stable prime ideal of the symmetric algebra S(𝔤) of 𝔤. If E denotes the set of nonzero elements of S(𝔤)/Q which are eigenvectors for the adjoint action of 𝔤 on S(𝔤)/Q, then the localization (S(𝔤)/Q) _E has a natural structure of Poisson algebra. We study this algebra here.

Soient 𝔤 une algèbre de Lie résoluble et Q un idéal premier (ad 𝔤)-stable de l'algèbre symétrique S(𝔤) de 𝔤. Si E est l'ensemble des éléments non nuls de S(𝔤)/Q qui sont vecteurs propres pour l'action adjointe de 𝔤 dans S(𝔤)/Q, l'algèbre localisée (S(𝔤)/Q) _E a une structure naturelle d'algèbre de Poisson. On étudie ici cette algèbre.     

Some Maximal Function Fields and Additive Polynomials

We derive explicit equations for the maximal function fields F over 𝔽 _{q ²ⁿ} given by F = 𝔽 _{q ²ⁿ} (X, Y) with the relation A(Y) = f(X), where A(Y) and f(X) are polynomials with coefficients in the finite field 𝔽 _{q ²ⁿ} , and where A(Y) is q-additive and deg(f) = q ⁿ  + 1. We prove in particular that such maximal function fields F are Galois subfields of the Hermitian function field H over 𝔽 _{q ²ⁿ} (i.e., the extension H/F is Galois).     

Notes on Two-Parameter Quantum Groups, (II)

This article is the sequel to [11 Hu , N. , Pei , Y. ( 2008 ). Notes on two-parameter quantum groups, (I) . Sci. in China, Ser. A 51 ( 6 ): 1101 – 1110 . [Google Scholar]] to study the deformed structures and representations of two-parameter quantum groups U _{r, s} (𝔤) associated to the finite dimensional simple Lie algebras 𝔤. An equivalence of the braided tensor categories 𝒪 ^{r, s} and 𝒪 ^q under the assumption rs ^?1 = q ² is explicitly established.     

Quantum superdeterminants for OSP q (1-2n)

It is shown that there exists a quantum superdeterminant sdet _q T for the quantum super group OSP _q (1|2n). It is also shown that the quantum superdeterminant sdet _q T is a group-like element and central, and that the square of sdet _q T for OSP _q (1|2n) is equal to 1.     

Obstructions to lifting automorphisms of free algebras

ABSTRACT

A monomial basis and a filtration of subalgebras for the universal enveloping algebra 𝔘(𝔤 _l ) of a complex simple Lie algebra 𝔤 _l of type A _l is given in this note. In particular, a new multiplicity formula for the Weyl module V(λ) of 𝔘(𝔤 _l ) is obtained in this note.     

The Kernel Bundle of a Holomorphic Fredholm Family

Let 𝒴 be a smooth connected manifold, Σ ? ? an open set and (σ, y) → 𝒫 _y (σ) a family of unbounded Fredholm operators D ? H ₁ → H ₂ of index 0 depending smoothly on (y, σ) ∈ 𝒴 × Σ and holomorphically on σ. We show how to associate to 𝒫, under mild hypotheses, a smooth vector bundle 𝒦 → 𝒴 whose fiber over a given y ∈ 𝒴 consists of classes, modulo holomorphic elements, of meromorphic elements φ with 𝒫 _y φ holomorphic. As applications we give two examples relevant in the general theory of boundary value problems for elliptic wedge operators.     

Bayesian testing of nonparametric hypotheses and its application to global optimization

Random distribution functions are the basic tool for solving nonparametric decision-theoretic problems. In 1974, Doksum introduced the family of distributions neutral to the right, that is, distributions such thatF(t ₁),[F(t ₂)–F(t ₁)]/[1 –F(t ₁)],...,[F(t _k)–F(t _{k – 1})]/[1 –F(t _{k – 1})] are independent whenevert ₁ < ... <t _kIn practice, application of distributions neutral to the right has been prevented by the lack of a manageable analytical expression for probabilities of the typeP(F(t)<q) for fixedt andq. A subclass of such distributions can be provided which allows for a close expression of the characteristic function of log[1–F(t)], given the sample. Then, thea posteriori distribution ofF(t) is obtained by numerical evaluation of a Fourier integral. As an application, the global optimization problem is formulated as a problem of inference about the quantiles of the distributionF(y) of the random variableY=f(X), wheref is the objective function andX is a random point in the search domain.The author thanks J. Koronacki and R. Zielinski of the Polish Academy of Sciences for their valuable criticism during the final draft of the paper.     

Derivation Algebras and 2-Cocycles of the Algebras of q-Differential Operators

Abstract

In the paper, the deriviation algebras of the associative algebras of the one-variable (resp. multivariable) q-differential operators and of their corresponding Lie algebras are determined. The completeness of the derivation algebras of the algebras of q-differential operators is also discussed. Finally, we calculate H ²(𝒟 _q (n)^?, C) for n ≥ 1, as well as H ²(g l _n (𝒟 _q ), C) under the assumption that q is transcendental over the rational numbers field Q.     

Cuspidal Modules as Summands of a Gel'fand–Graev Module

Abstract

Let G = GL _n (q) be the general linear group over a finite field 𝔽 _q with q elements. We call a Gel'fand–Graev module to be the module which affords the Gel'fand–Graev character defined in Definition I.1. It is known that every cuspidal module of G is isomorphic to a (unique) direct summand of a Gel'fand–Graev module. In this article, we investigate a certain endomorphism so that each irreducible cuspidal module is contained in a certain eigenspace corresponding to the cuspidal character. Furthermore, we determine the eigenvalue of that endomorphism by using character theory of finite general linear group.     

A New Approach to the Creation and Propagation of Exponential Moments in the Boltzmann Equation

We study the creation and propagation of exponential moments of solutions to the spatially homogeneous d-dimensional Boltzmann equation. In particular, when the collision kernel is of the form |v ? v _*|^β b(cos (θ)) for β ∈ (0, 2] with cos (θ) = |v ? v _*|^?1(v ? v _*)·σ and σ ∈ 𝕊 ^d?1, and assuming the classical cut-off condition b(cos (θ)) integrable in 𝕊 ^d?1, we prove that there exists a > 0 such that moments with weight exp (amin {t, 1}|v|^β) are finite for t > 0, where a only depends on the collision kernel and the initial mass and energy. We propose a novel method of proof based on a single differential inequality for the exponential moment with time-dependent coefficients.     

Calculus of Functorial Morphisms

We prove that, if F, G: 𝒞 → 𝒟 are two right exact functors between two Grothendieck categories such that they commute with coproducts and U is a generator of 𝒞, then there is a bijection between Nat(F, G) and the centralizer of Hom_𝒟(F(U), G(U)) considered as an Hom_𝒞(U, U)-Hom_𝒞(U, U)-bimodule. We also prove a dual of this result and give applications to Frobenius functors between Grothendieck categories.     

Non-Diffusive Large Time Behavior for a Degenerate Viscous Hamilton–Jacobi Equation

The convergence to non-diffusive self-similar solutions is investigated for non-negative solutions to the Cauchy problem ? _t u = Δ _p u + |? u| ^q when the initial data converge to zero at infinity. Sufficient conditions on the exponents p > 2 and q > 1 are given that guarantee that the diffusion becomes negligible for large times and the L ^∞-norm of u(t) converges to a positive value as t → ∞.