-
arXiv:2405.18821 [pdf, ps, other]
Hecke and Artin monoids and their homomorphisms
Abstract: The aim of the present work is to systematically study homomorphisms of Hecke and Artin monoids and thus to develop their comprehensive theory. Our original motivation was the striking observation that parabolic projections of Hecke monoids respect all parabolic elements. We found other classes of homomorphisms of Hecke monoids with the same property and discovered that many of them lift to homomo… ▽ More
Submitted 15 October, 2024; v1 submitted 29 May, 2024; originally announced May 2024.
Comments: AMSLaTeX, 136 pages;
MSC Class: 20F36; 20C08
-
arXiv:2309.11203 [pdf, ps, other]
Transitive and Gallai colorings
Abstract: A Gallai coloring of the complete graph is an edge-coloring with no rainbow triangle. This concept first appeared in the study of comparability graphs and anti-Ramsey theory. We introduce a transitive analogue for acyclic directed graphs, and generalize both notions to Coxeter systems, matroids and commutative algebras. It is shown that for any finite matroid (or oriented matroid), the maximal n… ▽ More
Submitted 20 September, 2023; originally announced September 2023.
Comments: 31 pages, 5 figures
-
arXiv:1803.11330 [pdf, ps, other]
On cacti and crystals
Abstract: In the present work we study actions of various groups generated by involutions on the category $\mathscr O^{int}_q(\mathfrak g)$ of integrable highest weight $U_q(\mathfrak g)$-modules and their crystal bases for any symmetrizable Kac-Moody algebra $\mathfrak g$. The most notable of them are the cactus group and (yet conjectural) Weyl group action on any highest weight integrable module and its l… ▽ More
Submitted 29 March, 2018; originally announced March 2018.
Comments: 50 pages, AMSLaTeX
MSC Class: 17B37; 17B67
-
arXiv:1607.06033 [pdf, ps, other]
Canonical bases of quantum Schubert cells and their symmetries
Abstract: The goal of this work is to provide an elementary construction of the canonical basis $\mathbf B(w)$ in each quantum Schubert cell~$U_q(w)$ and to establish its invariance under modified Lusztig's symmetries. To that effect, we obtain a direct characterization of the upper global basis $\mathbf B^{up}$ in terms of a suitable bilinear form and show that $\mathbf B(w)$ is contained in… ▽ More
Submitted 10 August, 2016; v1 submitted 20 July, 2016; originally announced July 2016.
Comments: AMSLaTeX, 32 pages,typos corrected
Report number: Max-Planck-Institut preprint 2016-63
Journal ref: Selecta Math. (N.S.), 23 (2017), no. 4, 2755--2799
-
arXiv:1505.05471 [pdf, ps, other]
Koszul duality for semidirect products and generalized Takiff algebras
Abstract: We obtain Koszul-type dualities for categories of graded modules over a graded associative algebra which can be realized as the semidirect product of a bialgebra coinciding with its degree zero part and a graded module algebra for the latter. In particular, this applies to graded representations of the universal enveloping algebra of the Takiff Lie algebra (or the truncated current algebra) and it… ▽ More
Submitted 15 December, 2015; v1 submitted 20 May, 2015; originally announced May 2015.
Comments: AMSLaTeX+amsrefs; 20 pages, referee suggestions incorporated, an important inaccuracy corrected
Journal ref: Algebr. Represent. Theory 20 (2017), no. 3, 675--694
-
arXiv:1504.06362 [pdf, ps, other]
Generalized Joseph's decompositions
Abstract: We generalize the decomposition of $U_q(\mathfrak g)$ introduced by A. Joseph and relate it, for $\mathfrak g$ semisimple, to the celebrated computation of central elements due to V. Drinfeld. In that case we construct a natural basis in the center of $U_q(\mathfrak g)$ whose elements behave as Schur polynomials and thus explicitly identify the center with the ring of symmetric functions.
Submitted 9 July, 2015; v1 submitted 23 April, 2015; originally announced April 2015.
Comments: AMSLaTeX, 7 pages; referee's suggestions incorporated, typos corrected
Report number: Institut Mittag-Leffler, No. 18, 2014/2015, spring
Journal ref: C. R. Math. Acad. Sci. Paris, 353 (2015), no. 10, 887--892
-
arXiv:1412.0302 [pdf, ps, other]
Integrable clusters
Abstract: The goal of this note is to study quantum clusters in which cluster variables (not coefficients) commute which each other. It turns out that this property is preserved by mutations. Remarkably, this is equivalent to the celebrated sign coherence conjecture recently proved by M. Gross, P. Hacking, S. Keel and M. Kontsevich
Submitted 30 November, 2014; originally announced December 2014.
Comments: 3 pages
Journal ref: C. R. Math. Acad. Sci. Paris, 353 (2015), no. 5, 387--390
-
arXiv:1411.1391 [pdf, ps, other]
Double canonical bases
Abstract: We introduce a new class of bases for quantized universal enveloping algebras $U_q(\mathfrak g)$ and other doubles attached to semisimple and Kac-Moody Lie algebras. These bases contain dual canonical bases of upper and lower halves of $U_q(\mathfrak g)$ and are invariant under many symmetries including all Lusztig's symmetries if $\mathfrak g$ is semisimple. It also turns out that a part of a dou… ▽ More
Submitted 26 November, 2015; v1 submitted 5 November, 2014; originally announced November 2014.
Comments: 62 pages; some typos corrected, some examples streamlined
Journal ref: Adv. Math. 316 (2017), 381--468
-
arXiv:1209.2770 [pdf, ps, other]
Primitively generated Hall algebras
Abstract: In the present paper we show that Hall algebras of finitary exact categories behave like quantum groups in the sense that they are generated by indecomposable objects. Moreover, for a large class of such categories, Hall algebras are generated by their primitive elements, with respect to the natural comultiplication, even for non-hereditary categories. Finally, we introduce certain primitively gen… ▽ More
Submitted 5 July, 2013; v1 submitted 12 September, 2012; originally announced September 2012.
Comments: 36 pages, AMSLaTeX+AMSRefs; introduced multiplicity for elements of Grothendieck monoid; they play the role of root multiplicities in Kac-Moody algebras due to a reformulation of Kac conjecture (see Theorem 1.9)
Journal ref: Pacific J. Math. 281 (2016) 287-331
-
arXiv:1205.7020 [pdf, ps, other]
Quantum Chevalley groups
Abstract: The goal of this paper is to construct quantum analogues of Chevalley groups inside completions of quantum groups or, more precisely, inside completions of Hall algebras of finitary categories. In particular, we obtain pentagonal and other identities in the quantum Chevalley groups which generalize their classical counterparts and explain Faddeev-Volkov quantum dilogarithmic identities and their r… ▽ More
Submitted 11 June, 2012; v1 submitted 31 May, 2012; originally announced May 2012.
Comments: AMSLaTeX+AMSrefs, 31 pages; exposition improved, misprints corrected
-
arXiv:1009.4494 [pdf, ps, other]
Minimal affinizations as projective objects
Abstract: We prove that the specialization to q=1 of a Kirillov-Reshetikhin module for an untwisted quantum affine algebra of classical type is projective in a suitable category. This yields a uniform character formula for the Kirillov-Reshetikhin modules. We conjecture that these results holds for specializations of minimal affinization with some restriction on the corresponding highest weight. We discuss… ▽ More
Submitted 22 September, 2010; originally announced September 2010.
Comments: 25 pages
Journal ref: J. Geom. Phys. 61 (2011), no. 3, 594-609
-
arXiv:1008.5213 [pdf, ps, other]
On Homomorphisms Between Global Weyl Modules
Abstract: Global Weyl modules for generalized loop algebras $\lie g\tensor A$, where $\lie g$ is a simple finite dimensional Lie algebra and A is a commutative associative algebra were defined, for any dominant integral weight $λ$, by generators and relations. They are expected to play the role similar to that of Verma modules in the study of categories of representations of these algebras. One of the funda… ▽ More
Submitted 4 December, 2010; v1 submitted 31 August, 2010; originally announced August 2010.
Comments: 22 pages, second version. Results were improved to a more general setting; the paper was reorganized accordingly
Journal ref: Represent. Theory 15 (2011), 733-752
-
arXiv:1007.4357 [pdf, ps, other]
Quantum folding
Abstract: In the present paper we introduce a quantum analogue of the classical folding of a simply-laced Lie algebra g to the non-simply-laced algebra g^sigma along a Dynkin diagram automorphism sigma of g For each quantum folding we replace g^sigma by its Langlands dual g^sigma^v and construct a nilpotent Lie algebra n which interpolates between the nilpotnent parts of g and (g^sigma)^v, together with its… ▽ More
Submitted 4 December, 2010; v1 submitted 25 July, 2010; originally announced July 2010.
Comments: 45 pages, AMSLaTeX; journal version: referees suggestions incorporated; some misprints corrected
Journal ref: Int. Math. Res. Not. IMRN 2011 (2011), no. 21, 4821-4883
-
arXiv:0810.1532 [pdf, ps, other]
Quivers with relations arising from Koszul algebras of $\mathfrak g$-invariants
Abstract: Let $\mathfrak g$ be a complex simple Lie algebra and let $Ψ$ be an extremal set of positive roots. One associates with $Ψ$ an infinite dimensional Koszul algebra $\bold S_Ψ^{\lie g}$ which is a graded subalgebra of the locally finite part of $((\bold V)^{op}\tensor S(\lie g))^{\lie g}$, where $\bold V$ is the direct sum of all simple finite dimensional $\lie g$-modules. We describe the structur… ▽ More
Submitted 8 October, 2008; originally announced October 2008.
Comments: 49 pages, AMSLaTeX+amsrefs
MSC Class: 17B10; 16W50
Journal ref: J. Algebra 322 (2009), no. 12, 4430-4478
-
arXiv:0808.1463 [pdf, ps, other]
A family of Koszul algebras arising from finite-dimensional representations of simple Lie algebras
Abstract: Let $\lie g$ be a simple Lie algebra and let $\bs^{\lie g}$ be the locally finite part of the algebra of invariants $(_\bc\bv\otimes S(\lie g))^{\lie g}$ where $\bv$ is the direct sum of all simple finite-dimensional modules for $\lie g$ and $S(\lie g)$ is the symmetric algebra of $\lie g$. Given an integral weight $ξ$, let $Ψ=Ψ(ξ)$ be the subset of roots which have maximal scalar product with… ▽ More
Submitted 11 August, 2008; originally announced August 2008.
Comments: 25 pages
MSC Class: 17B10; 17B70; 16W50
Journal ref: Adv. Math. 220 (2009), no. 4, 1193-1221
-
arXiv:math/0612206 [pdf, ps, other]
Current algebras, highest weight categories and quivers
Abstract: We study the category of graded finite-dimensional representations of the polynomial current algebra associated to a simple Lie algebra. We prove that the category has enough injectives and compute the graded character of the injective envelopes of the simple objects as well as extensions between simple objects. The simple objects in the category are parametized by the affine weight lattice. We… ▽ More
Submitted 15 February, 2007; v1 submitted 7 December, 2006; originally announced December 2006.
Comments: AMSLaTeX, 25 pages
Journal ref: Advances in Mathematics 216 (2007), no. 2, 811--840
-
arXiv:math/0602514 [pdf, ps, other]
Graded level zero integrable representations of affine Lie algebras
Abstract: We study the structure of the category of integrable level zero representations with finite dimensional weight spaces of affine Lie algebras. We show that this category possesses a weaker version of the finite length property, namely that an indecomposable object has finitely many simple constituents which are non-trivial as modules over the corresponding loop algebra. Moreover, any object in th… ▽ More
Submitted 30 July, 2006; v1 submitted 23 February, 2006; originally announced February 2006.
Comments: 17 pages; referee's suggestions incorporated; main result extends to non-simply laced case
MSC Class: 17B37
Journal ref: Trans. of the AMS 360 (2008), no. 6, 2923--2940
-
arXiv:math/0502409 [pdf, ps, other]
An application of free Lie algebras to current algebras and their representation theory
Abstract: We realize the current algebra of a Kac-Moody algebra as a quotient of a semi-direct product of the Kac-Moody Lie algebra and the free Lie algebra of the Kac-Moody algebra. We use this realization to study the representations of the current alg ebra. In particular we see that every ad-invariant ideal in the symmetric algebra of the Kac-Moody algebra gives rise in a canonical way to a representat… ▽ More
Submitted 18 February, 2005; originally announced February 2005.
Comments: 15 pages
MSC Class: 16B67
Journal ref: Contemp. Math., 392 (2005), 15-31
-
arXiv:math/0309016 [pdf, ps, other]
Filtrations and completions of certain positive level modules of affine algebras
Abstract: We define a filtration indexed by the integers on the tensor product of an integrable highest weight module and a loop module for a quantum affine algebra. We prove that the filtration is either trivial or strictly decreasing and give sufficient conditions for this to happen. In the first case we prove that the module is irreducible and in the second case we prove that the intersection of all th… ▽ More
Submitted 1 September, 2003; originally announced September 2003.
MSC Class: 17B
Journal ref: Adv. Math. 194 (2005), no. 2, 296-331
-
arXiv:math/0307049 [pdf, ps, other]
Path model for quantum loop modules of fundamental type
Abstract: For a certain class of simple integrable modules of level zero over a quantised affine algebra, we establish the existence of a pseudo-crystal basis and show that such a basis admits a combinatorial realisation in the framework of the path model of Littelmann.
Submitted 3 July, 2003; originally announced July 2003.
-
arXiv:math/0206306 [pdf, ps, other]
Quantum loop modules
Abstract: We classify the simple infinite dimensional integrable modules with finite dimensional weight spaces over the quantized enveloping algebra of an untwisted affine algebra. We prove that these are either highest (lowest) weight integrable modules or simple submodules of a loop module of a finite-dimensional simple integrable module and describe the latter class. Their characters and crystal bases… ▽ More
Submitted 28 June, 2002; originally announced June 2002.
Comments: 25 pages, AMSLaTeX
MSC Class: 17B67
Journal ref: Represent. Theory 7 (2003), 56-80
-
arXiv:math/0206263 [pdf, ps, other]
Littelmann's path crystal and combinatorics of certain sl_{l+1}^ modules of level zero
Abstract: We construct a subcrystal of the Littelmann's path crystal whose formal character coincides with that of a certain simple integrable module of level zero over the untwisted affine Lie algebra associated to sl_n. We also establish an analogue of the Littlewood-Richardson rule for the tensor product of that crystal with a highest weight crystal.
Submitted 4 September, 2002; v1 submitted 25 June, 2002; originally announced June 2002.
Comments: 25 pages, AMSLaTeX; to appear in the "Journal of Algebra"
Journal ref: J. Algebra, 269 (2003), no. 1, 347-372