Related papers: Une neutralisation explicite de l'alg\`ebre de Wey…

We introduce a representation of the double affine Hecke algebra at the critical level q=1 in terms of difference-reflection operators and use it to construct an explicit integrable discrete Laplacian on the Weyl alcove corresponding to an…

We show that the quantized flag manifold at a root of unity has natural affine open covering parametrized by the elements of the Weyl group. In particular, the quantized flag manifold turns out to be a quasi-scheme in the sense of…

Let w be an elliptic element of the Weyl group of a connected reductive group G. Let X be the set of pairs (g,B) where g is an element of G, B is a Borel subgroup of G and B,gBg^{-1} are in relative position w. Then G acts naturally on X.…

Let $\mathfrak g$ be a finite simple Lie algebra, and let $r$ denote the ratio of the square length of long roots to that of short roots. Let $\wp>2r$ be an integer and $\zeta$ a primitive $\wp$-th root of unity. Denote by $\mathcal…

This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic…

A class of exact membrane solutions is quantized.

Let $V$ be a Weyl module either for a reductive algebraic group $G$ or for the corresponding quantum group $U_q$. If $G$ is defined over a field of positive characteristic $p$, respectively if $q$ is a primitive $l$'th root of unity (in an…

It will be shown that every N-graded Lie algebra generated in degree 1 of type FP with entropy less or equal to 1 must be finite-dimensional (cf. Thm. A). As a consequence every Koszul Lie algebra with entropy less or equal to 1 must be…

In this paper we study gradings on simple Lie algebras arising from nilpotent elements. Specifically, we investigate abelian subalgebras which are degree 1 homogeneous with respect to these gradings. We show that for each odd nilpotent…

We use the author's combinatorial theory of full heaps (defined in math.QA/0605768) to categorify the action of a large class of Weyl groups on their root systems, and thus to give an elementary and uniform construction of a family of…

We categorify tensor products of the fundamental representation of quantum $\mathfrak{sl}_2$ at prime roots of unity building upon earlier work where a tensor product of two Weyl modules was categorified.

In this article the quantized matrix algebras as in the title have been studied at a root of unity. A full classification of simple modules over such quantized matrix algebras of rank $2$ along with a class of finite dimensional…

This paper generalizes Weyl realization to a class of Lie superalgebras $\mathfrak{g}=\mathfrak{g}_0\oplus \mathfrak{g}_1$ satisfying $[\mathfrak{g}_1,\mathfrak{g}_1]=\{0\}$. First, we give a novel proof of the Weyl realization of a Lie…

We formalize a multivariate quantifier elimination (QE) algorithm in the theorem prover Isabelle/HOL. Our algorithm is complete, in that it is able to reduce any quantified formula in the first-order logic of real arithmetic to a logically…

We show that there is a consistent polynomial quantization of the coordinate ring of a basic nilpotent coadjoint orbit of a semisimple Lie group. We also show, at least in the case of a nilpotent orbit in sl(2,R)*, that any such…

For an abelian number field K containing a primitive p-th root of unity (p an odd prime) and satisfying certain technical conditions, we parametrize the Z_p[G(K/Q)]-annihilators of the "minus" part A_K^- of the p-class group by means of…

Belov-Kanel and Kontsevich conjectured that the group of automorphisms of the n'th Weyl algebra and the group of polynomial symplectomorphisms of C^2 are canonically isomorphic. We discuss how this conjecture can be approached by means of…

We study the class of algebraic Lie algebras for which the generic stabilizer of the coadjoint action is reductive modulo the center.

We shall construct the quantized q-analogues of the birational Weyl group actions arising from nilpotent Poisson algebras, which are conceptual generalizations, proposed by Noumi and Yamada, of the B\"acklund transformations for Painlev\'e…

We provide an explicit formula for primitive elements in the Hall algebras of nilpotent representations of cyclic quivers.