7,342 research outputs found
BLM realization for Frobenius--Lusztig Kernels of type A
The infinitesimal quantum was realized in \cite[\S 6]{BLM}. We
will realize Frobenius--Lusztig Kernels of type in this paper
BLM realization for
In 1990, Beilinson-Lusztig-MacPherson (BLM) discovered a realization
\cite[5.7]{BLM} for quantum via a geometric setting of quantum
Schur algebras. We will generailze their result to the classical affine case.
More precisely, we first use Ringel-Hall algebras to construct an integral form
of , where is the
universal enveloping algebra of the loop algebra
. We then
establish the stabilization property of multiplication for the classical affine
Schur algebras. This stabilization property leads to the BLM realization of
and . In particular, we conclude that is a -Hopf subalgebra of . As a bonus, this method leads to an explicit -basis for , and it yields
explicit multiplication formulas between generators and basis elements for
. As an application, we will prove
that the natural algebra homomorphism from to the affine Schur algebra over is
surjective.Comment: 33 page
BLM realization for the integral form of quantum
Let be the quantum enveloping algebra of
over , where is an indeterminate. We will use -Schur
algebras to realize the integral form of . Furthermore we will
use this result to realize quantum over , where is a field
containing an l-th primitive root of 1 with odd
Integral affine Schur-Weyl reciprocity
Let be the double Ringel--Hall
algebra of the cyclic quiver and let be the modified quantum affine algebra of
. We will construct an integral
form for such that the natural algebra homomorphism from
to the integral affine quantum Schur
algebra is surjective. Furthermore, we will use Hall algebras to construct the
integral form of the universal
enveloping algebra of the loop algebra
, and
prove that the natural algebra homomorphism from to the affine Schur algebra over is
surjective.Comment: 20 page
On the hyperalgebra of the loop algebra
Let be the
Garland integral form of introduced by
Garland \cite{Ga}, where is the
universal enveloping algebra of . Using Ringel--Hall
algebras, a certain integral form of was
constructed in \cite{Fu13}. We prove that the Garland integral form
coincides with
. Let {\mathpzc k} be a
commutative ring with unity and let {\mathcal U}_{\mathpzc
k}(\widehat{{\frak{gl}}}_n)={\mathcal U}_{\mathbb
Z}(\widehat{{\frak{gl}}}_n)\otimes{\mathpzc k}. For , we use
Ringel--Hall algebras to construct a certain subalgebra, denoted by
, of {\mathcal U}_{\mathpzc
k}(\widehat{{\frak{gl}}}_n). The algebra
is the affine analogue of
, where is a
certain subalgebra of the hyperalgebra associated with
introduced by Humhpreys \cite{Hum}. The algebra
plays an important role in the modular
representation theory of . In this paper we give a realization
of using affine Schur algebras.Comment: 30 Page
Affine quantum Schur algebras at roots of unity
We will classify finite dimensional irreducible modules for affine quantum
Schur algebras at roots of unity and generalize \cite[(6.5f) and (6.5g)]{Gr80}
to the affine case in this paper.Comment: 16 pages, Corollary 3.7 and subsection 4.5 were adde
The comultiplication of modified quantum affine
Let be the modified quantum affine
and let be the positive part
of quantum affine . Let be the canonical
basis of and let
be the canonical basis of . It is proved in \cite{FS} that each structure
constant for the multiplication with respect to coincide
with a certain structure constant for the multiplication with respect to
for . In this paper we use the theory of
affine quantum Schur algebras to prove that the structure constants for the
comultiplication with respect to are determined by the
structure constants for the comultiplication with respect to
for . In particular, the positivity property
for the comultiplication of follows
from the positivity property for the comultiplication of .Comment: 10 page
Dividing Line between Decidable PDA's and Undecidable Ones
Senizergues has proved that language equivalence is decidable for disjoint
epsilon-deterministic PDA. Stirling has showed that strong bisimilarity is
decidable for PDA. On the negative side Srba demonstrated that the weak
bisimilarity is undecidable for normed PDA. Later Jancar and Srba established
the undecidability of the weak bisimilarity for disjoint epsilon-pushing PDA
and disjoint epsilon-popping PDA. These decidability and undecidability results
are extended in the present paper. The extension is accomplished by looking at
the equivalence checking issue for the branching bisimilarity of several
variants of PDA.Comment: 26 pages, 9 figure
Small Representations for Affine q-Schur Algebras
When the parameter is not a root of unity, simple modules
of affine -Schur algebras have been classified in terms of Frenkel--Mukhin's
dominant Drinfeld polynomials (\cite[4.6.8]{DDF}). We compute these Drinfeld
polynomials associated with the simple modules of an affine -Schur algebra
which come from the simple modules of the corresponding -Schur algebra via
the evaluation maps.Comment: 21 Page
Presenting affine Schur Algebras
The universal enveloping algebra of
was realized in \cite[Ch. 6]{DDF} using affine Schur
algebras. In particular some explicit multiplication formulas in affine Schur
algebras were derived. We use these formulas to study the structure of affine
Schur algebras. In particular, we give a presentation of the affine Schur
algebra .Comment: 17 page
- β¦