DOCSLIB.ORG

On Some Quadratic Algebras I $\Frac {1}{2} $: Combinatorics of Dunkl and Gaudin Elements, Schubert, Grothendieck, Fuss-Catalan, Universal Tutte and Reduced Polynomials

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Symmetry, Integrability and Geometry: Methods and Applications SIGMA 12 (2016), 002, 172 pages 1 On Some Quadratic Algebras I 2: Combinatorics of Dunkl and Gaudin Elements, Schubert, Grothendieck, Fuss{Catalan, Universal Tutte and Reduced Polynomials Anatol N. KIRILLOV yzx y Research Institute of Mathematical Sciences (RIMS), Kyoto, Sakyo-ku 606-8502, Japan E-mail: [email protected] URL: http://www.kurims.kyoto-u.ac.jp/~kirillov/ z The Kavli Institute for the Physics and Mathematics of the Universe (IPMU), 5-1-5 Kashiwanoha, Kashiwa, 277-8583, Japan x Department of Mathematics, National Research University Higher School of Economics, 7 Vavilova Str., 117312, Moscow, Russia Received March 23, 2015, in final form December 27, 2015; Published online January 05, 2016 http://dx.doi.org/10.3842/SIGMA.2016.002 Abstract. We study some combinatorial and algebraic properties of certain quadratic algebras related with dynamical classical and classical Yang{Baxter equations. Key words: braid and Yang{Baxter groups; classical and dynamical Yang{Baxter relations; classical Yang{Baxter, Kohno{Drinfeld and 3-term relations algebras; Dunkl, Gaudin and Jucys{Murphy elements; small quantum cohomology and K-theory of flag varieties; Pieri rules; Schubert, Grothendieck, Schr¨oder,Ehrhart, Chromatic, Tutte and Betti polynomials; reduced polynomials; Chan{Robbins{Yuen polytope; k-dissections of a convex (n + k + 1)- gon, Lagrange inversion formula and Richardson permutations; multiparameter deforma- tions of Fuss{Catalan and Schr¨oderpolynomials; Motzkin, Riordan, Fine, poly-Bernoulli and Stirling numbers; Euler numbers and Brauer algebras; VSASM and CSTCPP; Birman{ Ko{Lee monoid; Kronecker elliptic sigma functions 2010 Mathematics Subject Classification: 14N15; 53D45; 16W30 To the memory of Alain Lascoux 1944{2013, the great Mathematician, from whom I have learned a lot about the Schubert and Grothendieck polynomials. arXiv:1502.00426v3 [math.RT] 5 Jan 2016 Contents 1 Introduction 6 2 Dunkl elements 18 2.1 Some representations of the algebra 6DTn ........................... 19 2.1.1 Dynamical Dunkl elements and equivariant quantum cohomology . 19 2.1.2 Step functions and the Dunkl{Uglov representations of the degenerate affine Hecke algebras [138]....................................... 25 2.1.3 Extended Kohno{Drinfeld algebra and Yangian Dunkl{Gaudin elements . 26 2.2 \Compatible" Dunkl elements, Manin matrices and algebras related with weighted complete graphs rKn ....................................... 27 2.3 Miscellany . 29 2.3.1 Non-unitary dynamical classical Yang{Baxter algebra DCYBn ........... 29 2.3.2 Dunkl and Knizhnik{Zamolodchikov elements . 31 2 A.N. Kirillov 2.3.3 Dunkl and Gaudin operators . 32 2.3.4 Representation of the algebra 3Tn on the free algebra Zht1; : : : ; tni ......... 33 2.3.5 Kernel of Bruhat representation . 34 2.3.6 The Fulton universal ring [47], multiparameter quantum cohomology of flag varieties [45] and the full Kostant{Toda lattice [29, 80]................ 36 3 Algebra 3HTn 38 3.1 Modified three term relations algebra 3MTn(β; )...................... 40 3.1.1 Equivariant modified three term relations algebra . 42 3.2 Multiplicative Dunkl elements . 44 3.3 Truncated Gaudin operators . 46 3.4 Shifted Dunkl elements di and Di ................................ 49 (0) 4 Algebra 3Tn (Γ) and Tutte polynomial of graphs 52 4.1 Graph and nil-graph subalgebras, and partial flag varieties . 52 (0) 4.1.1 Nil-Coxeter and affine nil-Coxeter subalgebras in 3Tn ............... 52 4.1.2 Parabolic 3-term relations algebras and partial flag varieties . 54 4.1.3 Universal Tutte polynomials . 62 4.1.4 Quasi-classical and associative classical Yang{Baxter algebras of type Bn ..... 69 4.2 Super analogue of 6-term relations and classical Yang{Baxter algebras . 71 ! 4.2.1 Six term relations algebra 6Tn, its quadratic dual (6Tn) , and algebra 6HTn .... 71 (0) F 4.2.2 Algebras 6Tn and 6Tn ................................. 73 4.2.3 Hilbert series of algebras CYBn and 6Tn ........................ 76 4.2.4 Super analogue of 6-term relations algebra . 79 4.3 Four term relations algebras / Kohno{Drinfeld algebras . 80 4.3.1 Kohno{Drinfeld algebra 4Tn and that CYBn ..................... 80 + 4.3.2 Nonsymmetric Kohno{Drinfeld algebra 4NTn, and McCool algebras PΣn and PΣn 83 4.3.3 Algebras 4TTn and 4STn ................................ 85 0 4.4 Subalgebra generated by Jucys{Murphy elements in 4Tn ................... 86 4.5 Nonlocal Kohno{Drinfeld algebra NL4Tn ........................... 87 4.5.1 On relations among JM-elements in Hecke algebras . 89 4.6 Extended nil-three term relations algebra and DAHA, cf. [24]................ 90 4.7 Braid, affine braid and virtual braid groups . 95 4.7.1 Yang{Baxter groups . 97 4.7.2 Some properties of braid and Yang{Baxter groups . 97 4.7.3 Artin and Birman{Ko{Lee monoids . 99 5 Combinatorics of associative Yang{Baxter algebras 101 5.1 Combinatorics of Coxeter element . 102 5.1.1 Multiparameter deformation of Catalan, Narayana and Schr¨odernumbers . 109 5.2 Grothendieck and q-Schr¨oderpolynomials . 110 5.2.1 Schr¨oderpaths and polynomials . 110 5.2.2 Grothendieck polynomials and k-dissections . 114 5.2.3 Grothendieck polynomials and q-Schr¨oderpolynomials . 115 5.2.4 Specialization of Schubert polynomials . 120 5.2.5 Specialization of Grothendieck polynomials . 133 5.3 The \longest element" and Chan{Robbins{Yuen polytope . 134 5.3.1 The Chan{Robbins{Yuen polytope CRYn ....................... 134 5.3.2 The Chan{Robbins{M´esz´arospolytope Pn;m ..................... 139 5.4 Reduced polynomials of certain monomials . 143 5.4.1 Reduced polynomials, Motzkin and Riordan numbers . 147 5.4.2 Reduced polynomials, dissections and Lagrange inversion formula . 149 On Some Quadratic Algebras 3 A Appendixes 153 A.1 Grothendieck polynomials . 153 A.2 Cohomology of partial flag varieties . 155 A.3 Multiparamater 3-term relations algebras . 159 A.3.1 Equivariant multiparameter 3-term relations algebras . 159 A.3.2 Algebra 3QTn(β; h), generalized unitary case . 161 A.4 Koszul dual of quadratic algebras and Betti numbers . 162 0 A.5 On relations in the algebra Zn ................................. 163 0 0! A.5.1 Hilbert series Hilb 3Tn ; t and Hilb 3Tn ; t : Examples . 165 A.6 Summation and Duality transformation formulas [63]..................... 166 References 167 Extended abstract We introduce and study a certain class of quadratic algebras, which are nonhomogeneous in general, together with the distinguish set of mutually commuting elements inside of each, the so-called Dunkl elements. We describe relations among the Dunkl elements in the case of a family of quadratic algebras corresponding to a certain splitting of the universal classical Yang{Baxter relations into two three term relations. This result is a further extension and generalization of analogous results obtained in [45, 117] and [76]. As an application we describe explicitly the set of relations among the Gaudin elements in the group ring of the symmetric group, cf. [108]. We also study relations among the Dunkl elements in the case of (nonhomogeneous) quadratic algebras related with the universal dynamical classical Yang{Baxter relations. Some relations of results obtained in papers [45, 72, 75] with those obtained in [54] are pointed out. We also identify a subalgebra generated by the generators corresponding to the simple roots in the extended Fomin{Kirillov algebra with the DAHA, see Section 4.3. The set of generators of algebras in question, naturally corresponds to the set of edges of the complete graph Kn (to the set of edges and loops of the complete graph with (simple) loops Ken in dynamical and equivariant cases). More generally, starting from any subgraph Γ of the complete (0) graph with simple loops Ken we define a (graded) subalgebra 3Tn (Γ) of the (graded) algebra (0) 3Tn (Ken)[70]. In the case of loop-less graphs Γ ⊂ Kn we state conjecture, Conjecture 4.15 (0) ab in the main text, which relates the Hilbert polynomial of the abelian quotient 3Tn (Γ) of the (0) 12 algebra 3Tn (Γ) and the chromatic polynomial of the graph Γ we are started with . We check 1We expect that a similar conjecture is true for any finite (oriented) matroid M. Namely, one (A.K.) can define an analogue of the three term relations algebra 3T (0)(M) for any (oriented) matroid M. We expect that the abelian quotient 3T (0)(M)ab of the algebra 3T (0)(M) is isomorphic to the Orlik{Terao algebra [114], denoted by OT(M) (known also as even version of the Orlik{Solomon algebra, denoted by OS+(M) ) associated with matroid M [28]. Moreover, the anticommutative quotient of the odd version of the algebra 3T (0)(M), as we expect, is isomorphic to the Orlik{Solomon algebra OS(M) associated with matroid M, see, e.g., [11, 49]. In particular, Hilb(3T (0)M)ab; t = tr(M)TutteM; 1 + t−1; 0: We expect that the Tutte polynomial of a matroid, Tutte(M; x; y), is related with the Betti polynomial of a matroid 2 (0) 2 M. Replacing relations uij = 0, 8 i; j, in the definition of the algebra 3T (Γ) by relations uij = qij , 8 i; j, (i; j) 2 E(Γ), where fqij g(i;j)2E(Γ), qij = qji, is a collection of central elements, give rise to a quantization of the Orlik{Terao algebra OT(Γ). It seems an interesting task to clarify combinatorial/geometric significance of noncommutative versions of Orlik{Terao algebras (as well as Orlik{Solomon ones) defined as follows: OT (Γ) := 3T (0)(Γ), its \quantization" 3T (q)(Γ)ab and K-theoretic analogue 3T (q)(Γ; β)ab, cf. Definition 3.1, in the theory of hyperplane arrangements. Note that a small modification of arguments in [89] as were used for the proof of our ab Conjecture 4.15, gives rise to a theorem that the algebra 3Tn(Γ) is isomorphic to the Orlik{Terao algebra OT(Γ) studied in [126].
Recommended publications
  • Numbers 1 to 100

    Numbers 1 to 100

    Numbers 1 to 100 PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Tue, 30 Nov 2010 02:36:24 UTC Contents Articles −1 (number) 1 0 (number) 3 1 (number) 12 2 (number) 17 3 (number) 23 4 (number) 32 5 (number) 42 6 (number) 50 7 (number) 58 8 (number) 73 9 (number) 77 10 (number) 82 11 (number) 88 12 (number) 94 13 (number) 102 14 (number) 107 15 (number) 111 16 (number) 114 17 (number) 118 18 (number) 124 19 (number) 127 20 (number) 132 21 (number) 136 22 (number) 140 23 (number) 144 24 (number) 148 25 (number) 152 26 (number) 155 27 (number) 158 28 (number) 162 29 (number) 165 30 (number) 168 31 (number) 172 32 (number) 175 33 (number) 179 34 (number) 182 35 (number) 185 36 (number) 188 37 (number) 191 38 (number) 193 39 (number) 196 40 (number) 199 41 (number) 204 42 (number) 207 43 (number) 214 44 (number) 217 45 (number) 220 46 (number) 222 47 (number) 225 48 (number) 229 49 (number) 232 50 (number) 235 51 (number) 238 52 (number) 241 53 (number) 243 54 (number) 246 55 (number) 248 56 (number) 251 57 (number) 255 58 (number) 258 59 (number) 260 60 (number) 263 61 (number) 267 62 (number) 270 63 (number) 272 64 (number) 274 66 (number) 277 67 (number) 280 68 (number) 282 69 (number) 284 70 (number) 286 71 (number) 289 72 (number) 292 73 (number) 296 74 (number) 298 75 (number) 301 77 (number) 302 78 (number) 305 79 (number) 307 80 (number) 309 81 (number) 311 82 (number) 313 83 (number) 315 84 (number) 318 85 (number) 320 86 (number) 323 87 (number) 326 88 (number)
  • A Q-Analog of the Seidel Generation of Genocchi Numbers

    A Q-Analog of the Seidel Generation of Genocchi Numbers

    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector European Journal of Combinatorics 27 (2006) 364–381 www.elsevier.com/locate/ejc A q-analog of the Seidel generation of Genocchi numbers Jiang Zenga, Jin Zhoub aInstitut Girard Desargues, Université Claude Bernard (Lyon I), 69622 Villeurbanne Cedex, France bCenter for Combinatorics, LPMC, Nankai University, Tianjin 300071, People’s Republic of China Received 1 December 2004; accepted 4 January 2005 Available online 5 February 2005 Abstract Anewq-analog of Genocchi numbers is introduced through a q-analog of Seidel’s triangle associated with Genocchi numbers. It is then shown that these q-Genocchi numbers have interesting combinatorial interpretations in the classical models for Genocchi numbers such as alternating pistols, alternating permutations, non-intersecting lattice paths and skew Young tableaux. © 2005 Elsevier Ltd. All rights reserved. 1. Introduction The Genocchi numbers G2n can be defined through their relation with Bernoulli 2n numbers G2n = 2(2 − 1)Bn or by their exponential generating function [16, p. 74–75]: 2t t2 t4 t6 t2n = t − + − 3 +···+(−1)n G +···. et + 1 2! 4! 6! 2n (2n)! However it is not straightforward to see from the above definition that G2n should be integers. It was Seidel [14] who first gave a Pascal type triangle for Genocchi numbers in the nineteenth century. Recall that the Seidel triangle for Genocchi numbers [4,5,18]isan E-mail addresses: [email protected] (J. Zeng), [email protected] (J. Zhou). 0195-6698/$ - see front matter © 2005 Elsevier Ltd.
  • Arxiv:Math/0501217V1

    Arxiv:Math/0501217V1

    A Q-ANALOG OF THE SEIDEL GENERATION OF GENOCCHI NUMBERS Jiang Zeng1 and Jin Zhou2 1 Institut Girard Desargues, Universit´eClaude Bernard (Lyon I) 69622 Villeurbanne Cedex, France [email protected] 2 Center for Combinatorics, LPMC, Nankai University Tianjin 300071, People’s Republic of China [email protected] Abstract. A new q-analog of Genocchi numbers is introduced through a q-analog of Seidel’s triangle associated to Genocchi numbers. It is then shown that these q-Genocchi numbers have interesting combinatorial interpretations in the classical models for Genocchi numbers such as alternating pistols, alternating permutations, non intersecting lattice paths and skew Young tableaux. 1. Introduction The Genocchi numbers G2n can be defined through their relation with Bernoulli 2n numbers G2n = 2(2 −1)Bn or by their exponential generating function [16, p. 74-75]: 2t t2 t4 t6 t2n = t − + − 3 + ··· +(−1)nG + ··· . et +1 2! 4! 6! 2n (2n)! However it is not straightforward from the above definition that G2n should be integers. It was Seidel [14] who first gave a Pascal type triangle for Genocchi numbers in the nineteenth century. Recall that the Seidel triangle for Genocchi numbers [4, 5, 18] is an array of integers (gi,j)i,j≥1 such that g1,1 = g2,1 = 1 and g = g + g , for j =1, 2,...,i +1, (1) 2i+1,j 2i+1,j−1 2i,j arXiv:math/0501217v1 [math.CO] 14 Jan 2005 g i,j = g i,j + g i ,j, for j = i, i − 1,..., 1, 2 2 +1 2 −1 where gi,j = 0 if j < 0 or j > ⌈i/2⌉ by convention.
  • A Q-Analog of the Seidel Generation of Genocchi Numbers

    A Q-Analog of the Seidel Generation of Genocchi Numbers

    European Journal of Combinatorics 27 (2006) 364–381 www.elsevier.com/locate/ejc A q-analog of the Seidel generation of Genocchi numbers Jiang Zenga, Jin Zhoub aInstitut Girard Desargues, Université Claude Bernard (Lyon I), 69622 Villeurbanne Cedex, France bCenter for Combinatorics, LPMC, Nankai University, Tianjin 300071, People’s Republic of China Received 1 December 2004; accepted 4 January 2005 Available online 5 February 2005 Abstract Anewq-analog of Genocchi numbers is introduced through a q-analog of Seidel’s triangle associated with Genocchi numbers. It is then shown that these q-Genocchi numbers have interesting combinatorial interpretations in the classical models for Genocchi numbers such as alternating pistols, alternating permutations, non-intersecting lattice paths and skew Young tableaux. © 2005 Elsevier Ltd. All rights reserved. 1. Introduction The Genocchi numbers G2n can be defined through their relation with Bernoulli 2n numbers G2n = 2(2 − 1)Bn or by their exponential generating function [16, p. 74–75]: 2t t2 t4 t6 t2n = t − + − 3 +···+(−1)n G +···. et + 1 2! 4! 6! 2n (2n)! However it is not straightforward to see from the above definition that G2n should be integers. It was Seidel [14] who first gave a Pascal type triangle for Genocchi numbers in the nineteenth century. Recall that the Seidel triangle for Genocchi numbers [4,5,18]isan E-mail addresses: [email protected] (J. Zeng), [email protected] (J. Zhou). 0195-6698/$ - see front matter © 2005 Elsevier Ltd. All rights reserved. doi:10.1016/j.ejc.2005.01.001 J. Zeng, J. Zhou / European Journal of Combinatorics 27 (2006) 364–381 365 Table 1 q-analog of Seidel’s triangle (gi, j (q))i, j≥1 array of integers (gi, j )i, j≥1 such that g1,1 = g2,1 = 1and g + , = g + , − + g , , for j = 1, 2,...,i + 1, 2i 1 j 2i 1 j 1 2i j (1) g2i, j = g2i, j+1 + g2i−1, j , for j = i, i − 1,...,1, where gi, j = 0if j < 0or j > i/2 by convention.
  • Q-Genocchi Numbers and Polynomials Associated with Fermionic P-Adic Invariant Integrals on Zp

    Q-Genocchi Numbers and Polynomials Associated with Fermionic P-Adic Invariant Integrals on Zp

    Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2008, Article ID 232187, 8 pages doi:10.1155/2008/232187 Research Article q-Genocchi Numbers and Polynomials Associated with Fermionic p-Adic Invariant Integrals on Zp Leechae Jang1 and Taekyun Kim2 1 Department of Mathematics and Computer Science, KonKuk University, Chungju 380-701, South Korea 2 Division of General Education-Mathematics, Kwangwoon University, Seoul 139-701, South Korea Correspondence should be addressed to Leechae Jang, [email protected] Received 3 April 2008; Accepted 22 April 2008 Recommended by Ferhan Atici The main purpose of this paper is to present a systemic study of some families of multiple Genocchi numbers and polynomials. In particular, by using the fermionic p-adic invariant integral on Zp, p we construct -adic Genocchi numbers and polynomials of higher order. Finally, we derive the Gk x kk nk ∞ − ll xn following interesting formula: nk,q 2 ! k l0 d0d1···dk k−1,di∈N 1 , where Gk x q k nk,q are the -Genocchi polynomials of order . Copyright q 2008 L. Jang and T. Kim. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. 1. Introduction Let p be a fixed odd prime number. Throughout this paper, Zp, Qp, C, and Cp will, respectively, denote the ring of p-adic rational integers, the field of p-adic rational numbers, the complex number field and the p-adic completion of the algebraic closure of Qp.Letνp be the normalized ν p exponential valuation of Cp with |p|p p p 1/p.
  • Arxiv:2007.05006V2 [Math.CO] 11 Sep 2020 Y 1 S (1, Q, Q2,...) = Qb(Λ) , Λ 1 − Qh(U) U∈[Λ]

    Arxiv:2007.05006V2 [Math.CO] 11 Sep 2020 Y 1 S (1, Q, Q2,...) = Qb(Λ) , Λ 1 − Qh(U) U∈[Λ]

    ON THE OKOUNKOV–OLSHANSKI FORMULA FOR STANDARD TABLEAUX OF SKEW SHAPES ALEJANDRO H. MORALES?, AND DANIEL G. ZHU† Abstract. The classical hook length formula counts the number of standard tableaux of straight shapes. In 1996, Okounkov and Olshanski found a positive formula for the number of standard Young tableaux of a skew shape. We prove various properties of this formula, including three determinantal formulas for the number of nonzero terms, an equivalence between the Okounkov–Olshanski formula and another skew tableaux formula involving Knutson–Tao puzzles, and two q-analogues for reverse plane partitions, which complement work by Stanley and Chen for semistandard tableaux. We also give several reformulations of the formula, including two in terms of the excited diagrams appearing in a more recent skew tableaux formula by Naruse. Lastly, for thick zigzag shapes we show that the number of nonzero terms is given by a determinant of the Genocchi numbers and improve on known upper bounds by Morales-Pak-Panova on the number of standard tableaux of these shapes. 1. Introduction Young tableaux are fundamental objects in algebraic and enumerative combinatorics. While standard Young tableaux, developed by Frobenius in 1903, were first used to study representations of the symmetric group, extensions of the concept have been found numerous applications elsewhere: semistandard tableaux, an extension of standard tableaux, are inherent in the representation theory of general linear groups, and they define Schur functions, which are one of the key bases of the ring of symmetric functions. A further extension of these ideas to skew shapes yields a rich theory involving counting permutations by descents, the jeu de taquin relation, and the Littlewood-Richardson coefficients.
  • Music of the Primes in Search of Order

    Music of the Primes in Search of Order

    Music of the Primes In Search of Order PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Wed, 19 Jan 2011 04:12:59 UTC Contents Articles Prime number theorem 1 Riemann hypothesis 9 Riemann zeta function 30 Balanced prime 40 Bell number 41 Carol number 46 Centered decagonal number 47 Centered heptagonal number 48 Centered square number 49 Centered triangular number 51 Chen prime 52 Circular prime 53 Cousin prime 54 Cuban prime 55 Cullen number 56 Dihedral prime 57 Dirichlet's theorem on arithmetic progressions 58 Double factorial 61 Double Mersenne prime 75 Eisenstein prime 76 Emirp 78 Euclid number 78 Even number 79 Factorial prime 82 Fermat number 83 Fibonacci prime 90 Fortunate prime 91 Full reptend prime 92 Gaussian integer 94 Genocchi number 97 Goldbach's conjecture 98 Good prime 102 Happy number 103 Higgs prime 108 Highly cototient number 109 Illegal prime 110 Irregular prime 113 Kynea number 114 Leyland number 115 List of prime numbers 116 Lucas number 131 Lucky number 133 Markov number 135 Mersenne prime 137 Mills' constant 145 Minimal prime (recreational mathematics) 146 Motzkin number 147 Newman–Shanks–Williams prime 149 Odd number 150 Padovan sequence 153 Palindromic prime 157 Partition (number theory) 158 Pell number 166 Permutable prime 174 Perrin number 175 Pierpont prime 178 Pillai prime 179 Prime gap 180 Prime quadruplet 185 Prime triplet 187 Prime-counting function 188 Primeval prime 194 Primorial prime 196 Probable prime 197 Proth number 198 Pseudoprime