Dual braid monoids and Koszulity
|
|
- Delilah Henderson
- 5 years ago
- Views:
Transcription
1 Dual braid monoids and Koszulity Phillippe Nadeau (CNRS, Univ. Lyon 1) SLC 69, Strobl, September 10th 2012
2 Goal Investigate the combinatorics of a certain graded algebra associated to a Coxeter system, namely The Koszul dual of the algebra of the dual braid monoid
3 Goal Investigate the combinatorics of a certain graded algebra associated to a Coxeter system, namely The Koszul dual of the algebra of the dual braid monoid Most of the talk will be focused on type A for simplicity.... and also because I cannot yet prove the main results in all generality.
4 Usual noncrossing partitions. Let (W, S) the Coxeter system of type A n 1. So W = S n generated by S = {(i, i + 1)} for i = 1,..., n 1. Standard theory Length l S (w) = minimal k such that w = s i1 s ik. Bruhat order: w S w if l S (w) + l S (w 1 w ) = l S (w )
5 Usual noncrossing partitions. Let (W, S) the Coxeter system of type A n 1. So W = S n generated by S = {(i, i + 1)} for i = 1,..., n 1. Standard theory Length l S (w) = minimal k such that w = s i1 s ik. Bruhat order: w S w if l S (w) + l S (w 1 w ) = l S (w ) Dual presentation W with all transpositions T = {(i, j)} as generators. Absolute length l T (w) = minimal k with w = t i1 t ik. = n { cycles of w} Absolute order: w T w if l T (w) + l T (w 1 w ) = l T (w ).
6 Usual noncrossing partitions. Let (W, S) the Coxeter system of type A n 1. So W = S n generated by S = {(i, i + 1)} for i = 1,..., n 1. Standard theory Length l S (w) = minimal k such that w = s i1 s ik. Bruhat order: w S w if l S (w) + l S (w 1 w ) = l S (w ) Dual presentation W with all transpositions T = {(i, j)} as generators. Absolute length l T (w) = minimal k with w = t i1 t ik. = n { cycles of w} Absolute order: w T w if l T (w) + l T (w 1 w ) = l T (w ). NC(n) = NC(A n 1 ) = [id, (12 n)] T
7 NC(4) and its Möbius function (1234) (123)(4) (14)(23) (124)(3) (134)(2) (12)(34) (1)(234) (12)(3)(4) (13)(2)(4) (1)(23)(4) (14)(2)(3) (1)(24)(3) (1)(2)(34) (1)(2)(3)(4)
8 NC(4) and its Möbius function µ(w) = µ T (id, w)
9 NC(4) and its Möbius function µ(w) = µ T (id, w) 5 ( 1) n 1 C n
10 Braids Braids on n strings = Strings go down, 2 of them can cross in two ways. Braids (up to isotopy) form a group wrt concatenation.
11 Braids Braids on n strings = Strings go down, 2 of them can cross in two ways. Braids (up to isotopy) form a group wrt concatenation. Permutation of the endpoints S n as quotient group.
12 Braids Consider the monoid BKL n generated by the braids a ij in this braid group. (Usual generators of the braid group/monoid are a ii+1.) Braids on n strings = Strings go down, 2 of them can cross in two ways. Braids (up to isotopy) form a group wrt concatenation. Permutation of the endpoints S n as quotient group. i a ij j
13 Braids a ij a jk a jk a ik Consider the monoid BKL n generated by the braids a ij in this braid group. (Usual generators of the braid group/monoid are a ii+1.) Braids on n strings = Strings go down, 2 of them can cross in two ways. Braids (up to isotopy) form a group wrt concatenation. Permutation of the endpoints S n as quotient group. i a ij j They verify certain relations, eg a ij a jk = a jk a ik. One can characterize all such relations.
14 The Birman Ko Lee monoid Proposition [BKL 98] The monoid BKL n has generators a ij for 1 i < j n and relations: a ij a jk = a jk a ik = a ik a ij for i < j < k; a ij a kl = a kl a ij for i < j < k < l or i < k < l < j. The relations respect length of words length l(m) of an element in the quotient is well defined.
15 The Birman Ko Lee monoid Proposition [BKL 98] The monoid BKL n has generators a ij for 1 i < j n and relations: a ij a jk = a jk a ik = a ik a ij for i < j < k; a ij a kl = a kl a ij for i < j < k < l or i < k < l < j. The relations respect length of words length l(m) of an element in the quotient is well defined. Let P n (t) = Proposition For instance n 1 k=0 (n 1 + k)! (n 1 k)!k!(k + 1)! tk. m BKL n t l(m) = m BKL 4 t l(m) = 1 P n ( t) t + 10t 2 5t 3.
16 Proof of the evaluation of P n (t) In fact there is a well known relation between the length generating function and the Moebius function of the monoid ordered by divisibility (see [Cartier Foata]). P n (t) = µ(m) t l(m). m BKL n
17 Proof of the evaluation of P n (t) In fact there is a well known relation between the length generating function and the Moebius function of the monoid ordered by divisibility (see [Cartier Foata]). P n (t) = µ(m) t l(m). m BKL n But BKL n is a Garside monoid with Garside element C = a 12 a 23 a n 1n µ(m) = 0 if m does not divide C. Furthermore [1, C] left divisibility NC(n), and so P n (t) = w NC(S n ) µ(w) tl(w)
18 Proof of the evaluation of P n (t) In fact there is a well known relation between the length generating function and the Moebius function of the monoid ordered by divisibility (see [Cartier Foata]). P n (t) = µ(m) t l(m). m BKL n But BKL n is a Garside monoid with Garside element C = a 12 a 23 a n 1n µ(m) = 0 if m does not divide C. Furthermore [1, C] left divisibility NC(n), and so P n (t) = w NC(S n ) µ(w) tl(w) In [Albenque, N. 09] we computed this combinatorially.
19 Proof of the evaluation of P n (t) In fact there is a well known relation between the length generating function and the Moebius function of the monoid ordered by divisibility (see [Cartier Foata]). P n (t) = µ(m) t l(m). m BKL n But BKL n is a Garside monoid with Garside element C = a 12 a 23 a n 1n µ(m) = 0 if m does not divide C. Furthermore [1, C] left divisibility NC(n), and so P n (t) = w NC(S n ) µ(w) tl(w) In [Albenque, N. 09] we computed this combinatorially. And then I talked to Vic Reiner.
20 The monoid algebra We pass from the monoid to its k-algebra A: Definition The algebra A is defined by the generators a ij and relations I =<a ij a kl a kl a ij for i < j < k < l or i < k < l < j; a ij a jk a jk a ik ; a jk a ik a ik a ij for i < j < k.
21 The monoid algebra We pass from the monoid to its k-algebra A: Definition The algebra A is defined by the generators a ij and relations I =<a ij a kl a kl a ij for i < j < k < l or i < k < l < j; a ij a jk a jk a ik ; a jk a ik a ik a ij for i < j < k. Elements of BKL n form a basis of A, which has a grading A = k 0 A k, with Hilb A (t) = n 0 dim A k t k = 1 P n ( t) We associate to A another algebra A, the Koszul dual of A. This transformation Q Q is defined more generally for all quadratic algebras Q.
22 Koszul duality of quadratic algebras Definition A quadratic algebra Q is a graded algebra where the ideal of relations is generated by elements of degree 2. Q = k x 1,..., x m /Ideal(R) with R vector subspace of W 2 := { i,j λ ijx i x j }.
23 Koszul duality of quadratic algebras Definition A quadratic algebra Q is a graded algebra where the ideal of relations is generated by elements of degree 2. Q = k x 1,..., x m /Ideal(R) with R vector subspace of W 2 := { i,j λ ijx i x j }. Declare that (x i x j ) i,j is an orthonormal basis of W 2, and let R be the orthogonal of R. Then define Q = k x 1,..., x m /Ideal(R )
24 Koszul duality of quadratic algebras Definition A quadratic algebra Q is a graded algebra where the ideal of relations is generated by elements of degree 2. Q = k x 1,..., x m /Ideal(R) with R vector subspace of W 2 := { i,j λ ijx i x j }. Declare that (x i x j ) i,j is an orthonormal basis of W 2, and let R be the orthogonal of R. Then define Examples (a) R = span{x i x j x j x i, i < j} Symmetric algebra Q = k x 1,..., x m /Ideal(R ) R =span{x 2 i, x ix j + x j x i, i < j} Exterior algebra (b) R = span{x i x j, (i, j) I [m] 2 } R = span{x i x j, (i, j) [m] 2 I} Monomial ideals
25 Koszul duality for algebras We have A = k a ij /Ideal(R) with R = span{a ij a kl a kl a ij for i < j < k < l or i < k < l < j a ij a jk a jk a ik ; a jk a ik a ik a ij for i < j < k}.
26 Koszul duality for algebras We have A = k a ij /Ideal(R) with R = span{a ij a kl a kl a ij for i < j < k < l or i < k < l < j a ij a jk a jk a ik ; a jk a ik a ik a ij for i < j < k}. What is R in this case? It has a basis consisting of: (1) all a i,j a k,l which do not appear above; (2) a i,j a k,l + a k,l a i,j for (i, j), (k, l) noncrossing; (3) a ij a jk + a jk a ik + a ik a ij with i < j < k.
27 Koszul duality for algebras We have A = k a ij /Ideal(R) with R = span{a ij a kl a kl a ij for i < j < k < l or i < k < l < j a ij a jk a jk a ik ; a jk a ik a ik a ij for i < j < k}. What is R in this case? It has a basis consisting of: (1) all a i,j a k,l which do not appear above; (2) a i,j a k,l + a k,l a i,j for (i, j), (k, l) noncrossing; (3) a ij a jk + a jk a ik + a ik a ij with i < j < k. Theorem [Albenque, N. 09; N. 12] Hilb A (t) = P n (t)
28 Koszul duality for algebras We have A = k a ij /Ideal(R) with R = span{a ij a kl a kl a ij for i < j < k < l or i < k < l < j a ij a jk a jk a ik ; a jk a ik a ik a ij for i < j < k}. What is R in this case? It has a basis consisting of: (1) all a i,j a k,l which do not appear above; (2) a i,j a k,l + a k,l a i,j for (i, j), (k, l) noncrossing; (3) a ij a jk + a jk a ik + a ik a ij with i < j < k. Theorem [Albenque, N. 09; N. 12] Hilb A (t) = P n (t) Main question: why did I reprove one of my own results?
29 Koszul algebras In [Albenque, N. 09], we proved a bit more. We showed that A is a Koszul algebra, which can be defined as A graded k-algebra Q such that the Q-module k admits a minimal graded free resolution which is linear.
30 Koszul algebras In [Albenque, N. 09], we proved a bit more. We showed that A is a Koszul algebra, which can be defined as A graded k-algebra Q such that the Q-module k admits a minimal graded free resolution which is linear. Now Q Koszul Q numerically Koszul: Hilb Q (t) Hilb Q ( t) = 1 But this gives no insight on the structure of A.
31 Koszul algebras In [Albenque, N. 09], we proved a bit more. We showed that A is a Koszul algebra, which can be defined as A graded k-algebra Q such that the Q-module k admits a minimal graded free resolution which is linear. Now Q Koszul Q numerically Koszul: Hilb Q (t) Hilb Q ( t) = 1 But this gives no insight on the structure of A. New work: a nice basis of the algebra A. A = A [w] w N C(n) with an explicit basis of A [w] of cardinality µ(w).
32 Other Coxeter groups (W, S) a finite Coxeter system Reflections t T = w wsw 1 as new generators.
33 Other Coxeter groups (W, S) a finite Coxeter system Reflections t T = w wsw 1 as new generators. l T (w) = minimal k such that w = t 1 t k. w T w if l T (w) + l T (w 1 w ) = l T (w ) Fix a Coxeter element c, define NC(W ) := [1, c] T.
34 Other Coxeter groups (W, S) a finite Coxeter system Reflections t T = w wsw 1 as new generators. l T (w) = minimal k such that w = t 1 t k. w T w if l T (w) + l T (w 1 w ) = l T (w ) Fix a Coxeter element c, define NC(W ) := [1, c] T. [Bessis 00] Define the dual braid monoid as generated by a t with t T and relations a t a u = a u a utu whenever tu T c.
35 Other Coxeter groups (W, S) a finite Coxeter system Reflections t T = w wsw 1 as new generators. l T (w) = minimal k such that w = t 1 t k. w T w if l T (w) + l T (w 1 w ) = l T (w ) Fix a Coxeter element c, define NC(W ) := [1, c] T. [Bessis 00] Define the dual braid monoid as generated by a t with t T and relations a t a u = a u a utu whenever tu T c. Its algebra A(W ) is clearly quadratic, we can therefore consider the dual algebra A (W ) and explicit a presentation. Same questions for A(W ) instead of A = A(S n )
36 Questions for the future 1) Is A(W ) numerically Koszul, ie. Hilb A(W ) (t) Hilb A (W )( t) = 1? 2) Is A(W ) a Koszul algebra? 3) Is there a decomposition A (W ) = w NC(W ) A (W )[w] with A (W )[w] has a nice basis of size µ(w)?
37 Questions for the future 1) Is A(W ) numerically Koszul, ie. Hilb A(W ) (t) Hilb A (W )( t) = 1? 2) Is A(W ) a Koszul algebra? 3) Is there a decomposition A (W ) = w NC(W ) A (W )[w] with A (W )[w] has a nice basis of size µ(w)? Conjecture Yes.
38 Questions for the future 1) Is A(W ) numerically Koszul, ie. Hilb A(W ) (t) Hilb A (W )( t) = 1? 2) Is A(W ) a Koszul algebra? 3) Is there a decomposition A (W ) = w NC(W ) A (W )[w] with A (W )[w] has a nice basis of size µ(w)? Conjecture Yes. Known and To do 3) or 2) imply 1). 2) is true for type B [Albenque, N. 09]. Check 3) (or simply 1) for exceptional types by computer. Prove 3) by checking that a certain chain complex is exact (V. Féray). Use explicit EL-shelling of NC(W).
Braid combinatorics, permutations, and noncrossing partitions Patrick Dehornoy. Laboratoire de Mathématiques Nicolas Oresme, Université de Caen
Braid combinatorics, permutations, and noncrossing partitions Patrick Dehornoy Laboratoire de Mathématiques Nicolas Oresme, Université de Caen A few combinatorial questions involving braids and their Garside
More informationCATALAN NUMBERS AND EXCEPTIONAL SEQUENCES
CATALAN NUMBERS AND EXCEPTIONAL SEQUENCES KIYOSHI IGUSA Contents. Woo s diagrams 2 2. Catalan numbers 3 3. Representations of quivers 4 4. Statement of theorem 8 5. Extension to Artin groups 9 6. Comments
More informationFactorisations of the Garside element in the dual braid monoids
Factorisations of the Garside element in the dual braid monoids Vivien Ripoll École Normale Supérieure Département de Mathématiques et Applications 30 June 2010 Journées Garside Caen 1 Dual braid monoids
More informationCHRISTOS A. ATHANASIADIS, THOMAS BRADY, AND COLUM WATT
SHELLABILITY OF NONCROSSING PARTITION LATTICES CHRISTOS A. ATHANASIADIS, THOMAS BRADY, AND COLUM WATT Abstract. We give a case-free proof that the lattice of noncrossing partitions associated to any finite
More informationDe Finetti theorems for a Boolean analogue of easy quantum groups
De Finetti theorems for a Boolean analogue of easy quantum groups Tomohiro Hayase Graduate School of Mathematical Sciences, the University of Tokyo March, 2016 Free Probability and the Large N limit, V
More informationRational Catalan Combinatorics: Intro
Rational Catalan Combinatorics: Intro Vic Reiner Univ. of Minnesota reiner@math.umn.edu AIM workshop Dec. 17-21, 2012 Goals of the workshop 1 Reinforce existing connections and forge new connections between
More informationA short introduction to arrangements of hyperplanes
A short introduction to arrangements of hyperplanes survey Sergey Yuzvinsky University of Oregon Pisa, May 2010 Setup and notation By a hyperplane arrangement we understand the set A of several hyperplanes
More informationUse subword reversing to constructing examples of ordered groups.
Subword Reversing and Ordered Groups Patrick Dehornoy Laboratoire de Mathématiques Nicolas Oresme Université de Caen Use subword reversing to constructing examples of ordered groups. Abstract Subword Reversing
More informationCounting chains in noncrossing partition lattices
Counting chains in noncrossing partition lattices Nathan Reading NC State University NCSU Algebra Seminar, November 16, 2007 1 Counting chains in noncrossing partition lattices Classical noncrossing partitions
More informationA cyclic sieving phenomenon in Catalan Combinatorics
A cyclic sieving phenomenon in Catalan Combinatorics Christian Stump Université du Québec à Montréal SLC 64, Lyon March 30, 2010 Christian Stump A cyclic sieving phenomenon in Catalan Combinatorics LaCIM,
More informationCatalan numbers, parking functions, and invariant theory
Catalan numbers, parking functions, and invariant theory Vic Reiner Univ. of Minnesota CanaDAM Memorial University, Newfoundland June 10, 2013 Outline 1 Catalan numbers and objects 2 Parking functions
More informationThe Waring rank of the Vandermonde determinant
The Waring rank of the Vandermonde determinant Alexander Woo (U. Idaho) joint work with Zach Teitler(Boise State) SIAM Conference on Applied Algebraic Geometry, August 3, 2014 Waring rank Given a polynomial
More informationThe structure of euclidean Artin groups
The structure of euclidean Artin groups Jon McCammond UC Santa Barbara Cortona Sept 2014 Coxeter groups The spherical and euclidean Coxeter groups are reflection groups that act geometrically on spheres
More informationQuasisymmetric functions and Young diagrams
Quasisymmetric functions and Young diagrams Valentin Féray joint work with Jean-Christophe Aval (LaBRI), Jean-Christophe Novelli and Jean-Yves Thibon (IGM) LaBRI, CNRS, Bordeaux Séminaire Lotharingien
More informationQuadraticity and Koszulity for Graded Twisted Tensor Products
Quadraticity and Koszulity for Graded Twisted Tensor Products Peter Goetz Humboldt State University Arcata, CA 95521 September 9, 2017 Outline Outline I. Preliminaries II. Quadraticity III. Koszulity
More informationApplications of semidefinite programming in Algebraic Combinatorics
Applications of semidefinite programming in Algebraic Combinatorics Tohoku University The 23rd RAMP Symposium October 24, 2011 We often want to 1 Bound the value of a numerical parameter of certain combinatorial
More informationarxiv: v3 [math.co] 23 May 2018
GENERALIZED NON-CROSSING PARTITIONS AND BUILDINGS arxiv:1706.00529v3 [math.co] 23 May 2018 JULIA HELLER AND PETRA SCHWER Abstract. For any finite Coxeter group W of rank n we show that the order complex
More informationNoncrossing Parking Functions
Noncrossing Parking Functions Drew Armstrong (with B. Rhoades and V. Reiner) University of Miami www.math.miami.edu/ armstrong Non-crossing partitions in representation theory Bielefeld, June 2014 Plan
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationThe Orlik-Solomon Algebra and the Supersolvable Class of Arrangements
International Journal of Algebra, Vol. 8, 2014, no. 6, 281-292 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2014.4216 The Orlik-Solomon Algebra and the Supersolvable Class of Arrangements
More informationSorting monoids on Coxeter groups
Sorting monoids on Coxeter groups A computer exploration with Sage-Combinat Florent Hivert 1 Anne Schilling 2 Nicolas M Thiéry 2,3 1 LITIS/LIFAR, Université Rouen, France 2 University of California at
More informationThe absolute order on the hyperoctahedral group
J Algebr Comb (2011) 34:183 211 DOI 10.1007/s10801-010-0267-z The absolute order on the hyperoctahedral group Myrto Kallipoliti Received: 17 July 2010 / Accepted: 9 November 2010 / Published online: 20
More informationarxiv: v1 [math.co] 17 Jan 2019
A NOTE ON NON-REDUCED REFLECTION FACTORIZATIONS OF COXETER ELEMENTS arxiv:1901.05781v1 [math.co] 17 Jan 2019 PATRICK WEGENER AND SOPHIANE YAHIATENE Abstract. We extend a result of Lewis and Reiner from
More informationARTIN GROUPS OF EUCLIDEAN TYPE
ARTIN GROUPS OF EUCLIDEAN TYPE JON MCCAMMOND AND ROBERT SULWAY Abstract. This article resolves several long-standing conjectures about Artin groups of euclidean type. Specifically we prove that every irreducible
More informationNONCROSSING PARTITIONS FOR THE GROUP D n
NONCROSSING PARTITIONS FOR THE GROUP D n CHRISTOS A. ATHANASIADIS AND VICTOR REINER Dedicated to the memory of Rodica Simion Abstract. The poset of noncrossing partitions can be naturally defined for any
More informationHigher Bruhat order on Weyl groups of Type B
Mentor: Daniel Thompson Massachusetts Institute of Technology PRIMES-USA, 2013 Outline 1 Purpose 2 Symmetric Group Inversions Bruhat Graph 3 Results/Conjectures Purpose Purpose For Weyl Groups of Type
More informationButson-Hadamard matrices in association schemes of class 6 on Galois rings of characteristic 4
Butson-Hadamard matrices in association schemes of class 6 on Galois rings of characteristic 4 Akihiro Munemasa Tohoku University (joint work with Takuya Ikuta) November 17, 2017 Combinatorics Seminar
More informationCoxeter-Knuth Graphs and a signed Little Bijection
Coxeter-Knuth Graphs and a signed Little Bijection Sara Billey University of Washington http://www.math.washington.edu/ billey AMS-MAA Joint Meetings January 17, 2014 0-0 Outline Based on joint work with
More informationA Survey of Parking Functions
A Survey of Parking Functions Richard P. Stanley M.I.T. Parking functions... n 2 1... a a a 1 2 n Car C i prefers space a i. If a i is occupied, then C i takes the next available space. We call (a 1,...,a
More informationA Partial Order on the Symmetric Group and New K(?, 1)'s for the Braid Groups
Advances in Mathematics 6, 2040 (200) doi:0.006aima.200.986, available online at http:www.idealibrary.com on A Partial Order on the Symmetric Group and New K(?, )'s for the Braid Groups Thomas Brady School
More informationButson-Hadamard matrices in association schemes of class 6 on Galois rings of characteristic 4
Butson-Hadamard matrices in association schemes of class 6 on Galois rings of characteristic 4 Akihiro Munemasa Tohoku University (joint work with Takuya Ikuta) November 17, 2017 Combinatorics Seminar
More informationEuler characteristic of the truncated order complex of generalized noncrossing partitions
Euler characteristic of the truncated order complex of generalized noncrossing partitions D. Armstrong and C. Krattenthaler Department of Mathematics, University of Miami, Coral Gables, Florida 33146,
More informationModuli spaces of sheaves and the boson-fermion correspondence
Moduli spaces of sheaves and the boson-fermion correspondence Alistair Savage (alistair.savage@uottawa.ca) Department of Mathematics and Statistics University of Ottawa Joint work with Anthony Licata (Stanford/MPI)
More informationFinding parking when not commuting. Jon McCammond U.C. Santa Barbara
Finding parking when not commuting PSfrag replacements 7 8 1 2 6 3 5 {{1, 4, 5}, {2, 3}, {6, 8}, {7}} 4 Jon McCammond U.C. Santa Barbara 1 A common structure The goal of this talk will be to introduce
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationSCHUR-WEYL DUALITY FOR U(n)
SCHUR-WEYL DUALITY FOR U(n) EVAN JENKINS Abstract. These are notes from a lecture given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in December 2009.
More informationSchubert Varieties. P. Littelmann. May 21, 2012
Schubert Varieties P. Littelmann May 21, 2012 Contents Preface 1 1 SMT for Graßmann varieties 3 1.1 The Plücker embedding.................... 4 1.2 Monomials and tableaux.................... 12 1.3 Straightening
More informationBoij-Söderberg Theory
? September 16, 2013 Table of contents? 1? 2 3 4 5 6 Preface? In this presentation we try to give an outline on a new theory on free resolutions. This theory is named after two Swedish mathematicians Mats
More informationLEXLIKE SEQUENCES. Jeffrey Mermin. Abstract: We study sets of monomials that have the same Hilbert function growth as initial lexicographic segments.
LEXLIKE SEQUENCES Jeffrey Mermin Department of Mathematics, Cornell University, Ithaca, NY 14853, USA. Abstract: We study sets of monomials that have the same Hilbert function growth as initial lexicographic
More informationCoxeter-Knuth Classes and a Signed Little Bijection
Coxeter-Knuth Classes and a Signed Little Bijection Sara Billey University of Washington Based on joint work with: Zachary Hamaker, Austin Roberts, and Benjamin Young. UC Berkeley, February, 04 Outline
More informationON THE BRUHAT ORDER OF THE SYMMETRIC GROUP AND ITS SHELLABILITY
ON THE BRUHAT ORDER OF THE SYMMETRIC GROUP AND ITS SHELLABILITY YUFEI ZHAO Abstract. In this paper we discuss the Bruhat order of the symmetric group. We give two criteria for comparing elements in this
More informationarxiv: v1 [math.co] 8 Dec 2013
1 A Class of Kazhdan-Lusztig R-Polynomials and q-fibonacci Numbers William Y.C. Chen 1, Neil J.Y. Fan 2, Peter L. Guo 3, Michael X.X. Zhong 4 arxiv:1312.2170v1 [math.co] 8 Dec 2013 1,3,4 Center for Combinatorics,
More informationContents. Preface for the Instructor. Preface for the Student. xvii. Acknowledgments. 1 Vector Spaces 1 1.A R n and C n 2
Contents Preface for the Instructor xi Preface for the Student xv Acknowledgments xvii 1 Vector Spaces 1 1.A R n and C n 2 Complex Numbers 2 Lists 5 F n 6 Digression on Fields 10 Exercises 1.A 11 1.B Definition
More informationA DIVISIBILITY RESULT ON COMBINATORICS OF GENERALIZED BRAIDS
A DIVISIBILITY RESULT ON COMBINATORICS OF GENERALIZED BRAIDS LOIC FOISSY AND JEAN FROMENTIN Abstract. For every finite Coxeter group Γ, each positive braid in the corresponding braid group admits a unique
More informationHidden Symmetries of the Root Systems
Universität Bielefeld, SJTU Shanghai, KAU Jeddah 57th Annual Meeting of the Australian Mathematical Society Sydney, October 2, 2013 Symmetry is one idea by which man through the ages has tried to comprehend
More informationClusters, Coxeter-sortable elements and noncrossing partitions
Formal Power Series and Algebraic Combinatorics Séries Formelles et Combinatoire Algébrique San Diego, California 2006 Clusters, Coxeter-sortable elements and noncrossing partitions Extended abstract.
More informationTorus Knots and q, t-catalan Numbers
Torus Knots and q, t-catalan Numbers Eugene Gorsky Stony Brook University Simons Center For Geometry and Physics April 11, 2012 Outline q, t-catalan numbers Compactified Jacobians Arc spaces on singular
More informationWorkshop on B-stable ideals and nilpotent orbits
Workshop on B-stable ideals and nilpotent orbits October 8-12, Roma, Italia Opening October 8, 10:15 Schedule of Talks Mon: 10:30-11:30 11:30-12 12-13 15-16 16-17 Kumar Coffee Break Möseneder Panyushev
More informationPARKING FUNCTIONS. Richard P. Stanley Department of Mathematics M.I.T Cambridge, MA
PARKING FUNCTIONS Richard P. Stanley Department of Mathematics M.I.T. -75 Cambridge, MA 09 rstan@math.mit.edu http://www-math.mit.edu/~rstan Transparencies available at: http://www-math.mit.edu/~rstan/trans.html
More informationarxiv:math/ v1 [math.co] 10 Nov 1998
A self-dual poset on objects counted by the Catalan numbers arxiv:math/9811067v1 [math.co] 10 Nov 1998 Miklós Bóna School of Mathematics Institute for Advanced Study Princeton, NJ 08540 April 11, 2017
More informationLecture 11: Clifford algebras
Lecture 11: Clifford algebras In this lecture we introduce Clifford algebras, which will play an important role in the rest of the class. The link with K-theory is the Atiyah-Bott-Shapiro construction
More informationOn the topology of matrix configuration spaces
On the topology of matrix configuration spaces Daniel C. Cohen Department of Mathematics Louisiana State University Daniel C. Cohen (LSU) Matrix configuration spaces Summer 2013 1 Configuration spaces
More informationA multiplicative deformation of the Möbius function for the poset of partitions of a multiset
Contemporary Mathematics A multiplicative deformation of the Möbius function for the poset of partitions of a multiset Patricia Hersh and Robert Kleinberg Abstract. The Möbius function of a partially ordered
More informationPIERI S FORMULA FOR GENERALIZED SCHUR POLYNOMIALS
Title Pieri's formula for generalized Schur polynomials Author(s)Numata, Yasuhide CitationJournal of Algebraic Combinatorics, 26(1): 27-45 Issue Date 2007-08 Doc RL http://hdl.handle.net/2115/33803 Rights
More informationA diagrammatic representation of the Temperley Lieb algebra. Dana C. Ernst
A diagrammatic representation of the Temperley Lieb algebra Dana C. Ernst Plymouth State University Department of Mathematics http://oz.plymouth.edu/~dcernst HRUMC 2010 April 17, 2010 D.C. Ernst Counting
More informationMulti-parameter persistent homology: applications and algorithms
Multi-parameter persistent homology: applications and algorithms Nina Otter Mathematical Institute, University of Oxford Gudhi/Top Data Workshop Porquerolles, 18 October 2016 Multi-parameter persistent
More informationTHREE LECTURES ON QUASIDETERMINANTS
THREE LECTURES ON QUASIDETERMINANTS Robert Lee Wilson Department of Mathematics Rutgers University The determinant of a matrix with entries in a commutative ring is a main organizing tool in commutative
More informationQuantum Symmetries in Free Probability Theory. Roland Speicher Queen s University Kingston, Canada
Quantum Symmetries in Free Probability Theory Roland Speicher Queen s University Kingston, Canada Quantum Groups are generalizations of groups G (actually, of C(G)) are supposed to describe non-classical
More informationDual Temperley Lieb basis, Quantum Weingarten and a conjecture of Jones
Dual Temperley Lieb basis, Quantum Weingarten and a conjecture of Jones Benoît Collins Kyoto University Sendai, August 2016 Overview Joint work with Mike Brannan (TAMU) (trailer... cf next Monday s arxiv)
More informationLinear Algebra (Review) Volker Tresp 2018
Linear Algebra (Review) Volker Tresp 2018 1 Vectors k, M, N are scalars A one-dimensional array c is a column vector. Thus in two dimensions, ( ) c1 c = c 2 c i is the i-th component of c c T = (c 1, c
More informationPolynomials with palindromic and unimodal coefficients
Polynomials with palindromic and unimodal coefficients arxiv:60.05629v [math.co] 2 Jan 206 Hua Sun, Yi Wang, Hai-Xia Zhang School of Mathematical Sciences, Dalian University of Technology, Dalian 6024,
More informationCategories of noncrossing partitions
Categories of noncrossing partitions Kiyoshi Igusa, Brandeis University KIAS, Dec 15, 214 Topology of categories The classifying space of a small category C is a union of simplices k : BC = X X 1 X k k
More informationLOWER BOUNDARY HYPERPLANES OF THE CANONICAL LEFT CELLS IN THE AFFINE WEYL GROUP W a (Ãn 1) Jian-yi Shi
LOWER BOUNDARY HYPERPLANES OF THE CANONICAL LEFT CELLS IN THE AFFINE WEYL GROUP W a (Ãn 1) Jian-yi Shi Department of Mathematics, East China Normal University, Shanghai, 200062, China and Center for Combinatorics,
More informationOn the extremal Betti numbers of binomial edge ideals of block graphs
On the extremal Betti numbers of binomial edge ideals of block graphs Jürgen Herzog Fachbereich Mathematik Universität Duisburg-Essen Essen, Germany juergen.herzog@uni-essen.de Giancarlo Rinaldo Department
More informationFinding parking when not commuting. Jon McCammond U.C. Santa Barbara
Finding parking when not commuting 7 6 8 1 2 3 5 4 {{1,4,5}, {2,3}, {6,8}, {7}} Jon McCammond U.C. Santa Barbara 1 A common structure The main goal of this talk will be to introduce you to a mathematical
More informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More informationq xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.
Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n+ 1 2 1, where the sum ranges over all positive integer solutions (m 1,..., m ) of m 1 + + m = n. Give both
More informationSYMPLECTIC GEOMETRY: LECTURE 1
SYMPLECTIC GEOMETRY: LECTURE 1 LIAT KESSLER 1. Symplectic Linear Algebra Symplectic vector spaces. Let V be a finite dimensional real vector space and ω 2 V, i.e., ω is a bilinear antisymmetric 2-form:
More informationConfluence Algebras and Acyclicity of the Koszul Complex
Confluence Algebras and Acyclicity of the Koszul Complex Cyrille Chenavier To cite this version: Cyrille Chenavier. Confluence Algebras and Acyclicity of the Koszul Complex. Algebras and Representation
More informationGorenstein rings through face rings of manifolds.
Gorenstein rings through face rings of manifolds. Isabella Novik Department of Mathematics, Box 354350 University of Washington, Seattle, WA 98195-4350, USA, novik@math.washington.edu Ed Swartz Department
More informationAlgebra and topology of right-angled Artin groups
Algebra and topology of right-angled Artin groups Alex Suciu Northeastern University Boston, Massachusetts (visiting the University of Warwick) Algebra Seminar University of Leeds October 19, 2009 Alex
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationSymmetric Chain Decompositions and the Strong Sperner Property for Noncrossing Partition Lattices
FPSAC 2016 Vancouver, Canada DMTCS proc. BC, 2016, 923 934 Symmetric Chain Decompositions and the Strong Sperner Property for Noncrossing Partition Lattices Henri Mühle LIX, École Polytechnique, F-91128
More informationThe Full Pythagorean Theorem
The Full Pythagorean Theorem arxiv:1001.0201v1 [math.ho] 1 Jan 2010 Charles Frohman January 5, 2010 Abstract This note motivates a version of the generalized pythagorean that says: if A is an n k matrix,
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationFROM PARKING FUNCTIONS TO GELFAND PAIRS
FROM PARKING FUNCTIONS TO GELFAND PAIRS KÜRŞAT AKER, MAHİR BİLEN CAN Abstract. A pair (G, K) of a group and its subgroup is called a Gelfand pair if the induced trivial representation of K on G is multiplicity
More informationThe Sorting Order on a Coxeter Group
FPSAC 2008, Valparaiso-Viña del Mar, Chile DMTCS proc. AJ, 2008, 411 416 The Sorting Order on a Coxeter Group Drew Armstrong School of Mathematics, University of Minnesota, 206 Church St. SE, Minneapolis,
More informationLecture 3: Tropicalizations of Cluster Algebras Examples David Speyer
Lecture 3: Tropicalizations of Cluster Algebras Examples David Speyer Let A be a cluster algebra with B-matrix B. Let X be Spec A with all of the cluster variables inverted, and embed X into a torus by
More informationThe Yuri Manin Ring and Its B n -Analogue
Advances in Applied Mathematics 26, 154 167 (2001) doi:10.1006/aama.2000.0713, available online at http://www.idealibrary.com on The Yuri Manin Ring and Its B n -Analogue Margaret A. Readdy Department
More informationMATH Linear Algebra
MATH 304 - Linear Algebra In the previous note we learned an important algorithm to produce orthogonal sequences of vectors called the Gramm-Schmidt orthogonalization process. Gramm-Schmidt orthogonalization
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationLARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS
Bull. Korean Math. Soc. 51 (2014), No. 4, pp. 1229 1240 http://dx.doi.org/10.4134/bkms.2014.51.4.1229 LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS Su Hyung An, Sen-Peng Eu, and Sangwook Kim Abstract.
More informationCoxeter Groups and Artin Groups
Chapter 1 Coxeter Groups and Artin Groups 1.1 Artin Groups Let M be a Coxeter matrix with index set S. defined by M is given by the presentation: A M := s S sts }{{ } = tst }{{ } m s,t factors m s,t The
More informationA Characterization of (3+1)-Free Posets
Journal of Combinatorial Theory, Series A 93, 231241 (2001) doi:10.1006jcta.2000.3075, available online at http:www.idealibrary.com on A Characterization of (3+1)-Free Posets Mark Skandera Department of
More informationarxiv: v2 [math.co] 9 May 2012
PARKING SPACES DREW ARMSTRONG, VICTOR REINER, AND BRENDON RHOADES arxiv:1204.1760v2 [math.co] 9 May 2012 Abstract. Let W be a Weyl group with root lattice Q and Coxeter number h. The elements of the finite
More informationarxiv: v4 [math.rt] 9 Jun 2017
ON TANGENT CONES OF SCHUBERT VARIETIES D FUCHS, A KIRILLOV, S MORIER-GENOUD, V OVSIENKO arxiv:1667846v4 [mathrt] 9 Jun 217 Abstract We consider tangent cones of Schubert varieties in the complete flag
More informationDepth of some square free monomial ideals
Bull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 1, 2013, 117 124 Depth of some square free monomial ideals by Dorin Popescu and Andrei Zarojanu Dedicated to the memory of Nicolae Popescu (1937-2010)
More informationSAMPLE TEX FILE ZAJJ DAUGHERTY
SAMPLE TEX FILE ZAJJ DAUGHERTY Contents. What is the partition algebra?.. Graphs and equivalence relations.. Diagrams and their compositions.. The partition algebra. Combinatorial representation theory:
More informationLecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]
Lecture 1 1. Polynomial Rings, Gröbner Bases Definition 1.1. Let R be a ring, G an abelian semigroup, and R = i G R i a direct sum decomposition of abelian groups. R is graded (G-graded) if R i R j R i+j
More informationQuotients of Poincaré Polynomials Evaluated at 1
Journal of Algebraic Combinatorics 13 (2001), 29 40 c 2001 Kluwer Academic Publishers. Manufactured in The Netherlands. Quotients of Poincaré Polynomials Evaluated at 1 OLIVER D. ENG Epic Systems Corporation,
More informationHecke Operators, Zeta Functions and the Satake map
Hecke Operators, Zeta Functions and the Satake map Thomas R. Shemanske December 19, 2003 Abstract Taking advantage of the Satake isomorphism, we define (n + 1) families of Hecke operators t n k (pl ) for
More informationOn some conjectures on VOAs
On some conjectures on VOAs Yuji Tachikawa February 1, 2013 In [1], a lot of mathematical conjectures on VOAs were made. Here, we ll provide a more mathematical translation, along the lines of [2]. I m
More informationProbability signatures of multistate systems made up of two-state components
Probability signatures of multistate systems made up of two-state components J.-L. Marichal, P. Mathonet, J. Navarro, C. Paroissin Mathematics Research Unit, FSTC, University of Luxembourg, Luxembourg
More informationTopological K-theory
Topological K-theory Robert Hines December 15, 2016 The idea of topological K-theory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions
More informationSHELLABILITY AND HIGHER COHEN-MACAULAY CONNECTIVITY OF GENERALIZED CLUSTER COMPLEXES
ISRAEL JOURNAL OF MATHEMATICS 167 (2008), 177 191 DOI: 10.1007/s11856-008-1046-6 SHELLABILITY AND HIGHER COHEN-MACAULAY CONNECTIVITY OF GENERALIZED CLUSTER COMPLEXES BY Christos A. Athanasiadis Department
More informationThe mapping class group of a genus two surface is linear
ISSN 1472-2739 (on-line) 1472-2747 (printed) 699 Algebraic & Geometric Topology Volume 1 (2001) 699 708 Published: 22 November 2001 ATG The mapping class group of a genus two surface is linear Stephen
More informationCatalan functions and k-schur positivity
Catalan functions and k-schur positivity Jonah Blasiak Drexel University joint work with Jennifer Morse, Anna Pun, and Dan Summers November 2018 Theorem (Haiman) Macdonald positivity conjecture The modified
More informationA CATEGORIFICATION OF INTEGRAL SPECHT MODULES. 1. Introduction
A CATEGORIFICATION OF INTEGRAL SPECHT MODULES MIKHAIL KHOVANOV, VOLODYMYR MAZORCHUK, AND CATHARINA STROPPEL Abstract. We suggest a simple definition for categorification of modules over rings and illustrate
More informationVanishing Ranges for the Cohomology of Finite Groups of Lie Type
for the Cohomology of Finite Groups of Lie Type University of Wisconsin-Stout, University of Georgia, University of South Alabama The Problem k - algebraically closed field of characteristic p > 0 G -
More informationarxiv: v1 [math.gt] 11 Oct 2013
Homogeneous links and closed homogeneous arxiv:1310.3123v1 [math.gt] 11 Oct 2013 braids Marithania Silvero Departamento de Álgebra. Facultad de Matemáticas. Universidad de Sevilla. Spain. marithania@us.es
More information