Topological Combinatorics * * * * * *
|
|
- Miranda Williamson
- 6 years ago
- Views:
Transcription
1 Topological Combinatorics * * * * * * Anders Björner Dept. of Mathematics Kungl. Tekniska Högskolan, Stockholm * * * * * * MacPherson 60 - Fest Princeton, Oct. 8, 2004
2 Influence of R. MacPherson on topological combinatorics: Intersection homology Convex polytopes (via toric varieties), toric g-vector Bruhat order (via Schubert varieties) Subspace arrangements Goresky-MacPherson formula Application to complexity Oriented matroids CD (combinatorial differential) manifolds MacPhersonians (discrete Grassmannians) And more... 1
3 Two topics for this talk: Goresky-MacPherson formula, with an application to complexity Bruhat order with an application of intersection cohomology 2
4 Connections Topology Combinatorics Simplest case: Space Triangulation Example: The real projective plane RP 2 c f a d b e c {abd, acf, adf, ace, abf, aef, bcd, bcf, cde, def} b a 3
5 Topic 1: Goresky-MacPherson formula for subspace arrangements A def = collection of affine subspaces of R d an arrangement M A def = R d \ A its complement L A def = family of nonempty intersections of members of A, ordered by reverse containment its intersection semi-lattice. 4
6 THM ( Goresky-MacPherson formula ): H i (M A ) = x L A, x>ˆ0 ********* Proof: Stratified Morse Theory (1988) Other proofs by several authors ********* Here (ˆ0, x) is the simplicial complex of such that H codim(x) 2 i ( (ˆ0, x)) {z 1, z 2,..., z k } ˆ0 < z 1 < z 2 < z k < x called the order complex of the open interval (ˆ0, x) in L A. 5
7 f g b c d h ˆ0 e A small poset Values of its Möbius function µ(ˆ0, x) µ(ˆ0, x) def = ˆ0 y<x µ(ˆ0, y) µ(ˆ0, x) = Euler char( (ˆ0, x)) 1 6
8 Special cases of G-M formula: Hyperplane arr ts over R Zaslavsky s formula for number of connected components of M A Hyperplane arr ts over C Brieskorn-Orlik-Solomon formula for cohomology groups of M A 7
9 Application of G-M formula to complexity of algorithms Given: a string of real numbers x 1, x 2,..., x n Sought: Efficient algorithms to decide some property of the sequence or to restructure it using only pairwise comparisons. The question: How many such comparisons must be made in the worst case when using the best algorithm? This number, c(n), is called the complexity of the problem. Note: c(n) n 2 is immediate 8
10 Well-known examples: 1. Sorting. To rearrange the n numbers increasingly x i1 x i2 x in requires Θ(nlog n) comparisons. 2. Median. To find j such that x j is in the middle requires Θ(n) comparisons, where 2n Θ(n) 3n. 3. Distinctness. To decide whether all entries x i are distinct (i.e., if x i x j when i j) requires Θ(nlog n) comparisons. 9
11 A generalization of the distinctness problem (the k = 2 case). The k-equal problem: for k 2, decide whether some k entries are equal, that is, can we find i 1 < i 2 < < i k such that x i1 = x i2 = = x ik? For example, are there nine equal entries in the following list of numbers?
12 Question repeated: are there nine equal entries in the following list of numbers? Answer: Yes, there are nine copies of the number 4. Are there ten equal entries? Answer: No. 11
13 THM (Bj-Lovász-Yao 92) The complexity of the k-equal problem is Θ(nlog 2n k ). More precisely, where C 1 nlog 2n k c k(n) C 2 nlog 2n k, C 2 C Upper bound: Sorting algorithms Lower bound: Topological method (involving G-M formula) 12
14 Before sketch of lower bound argument, need more tools Examples of interesting subspace arr ts in codimension k 1: A n,k def = {x i1 = = x ik 1 i 1 < < i k n} D n,k def = {ε 1 x i1 = = ε k x ik 1 i 1 < < i k n, ε i {±1}} B n,k def = D n,k {x j1 = = x jk 1 = 0 1 j 1 < < j k 1 n} Note: for k = 2 get Coxeter reflection arrangements 13
15 Computing cohomology of complement of A reduces (via G-M formula) to computing homology of order complex of L A. How compute homology of poset L A? combinatorial method that works surprisingly often: lexicographic shellability 14
16 P a poset with ˆ0 and ˆ1 E(P) = {(x, y) P P x y} its covering relation Def: An EL-labeling of P is a map λ : E(P) Z, such that for every interval [x, y]: 1. there is a unique maximal chain m [x,y] whose associated label λ(m [x,y] ) = (a 1,..., a p ) is increasing a 1 < a 2 < < a p, 2. if m is any other maximal chain in [x, y] then λ(m ) > λ(m [x,y] ) in the lexicographic order on strings with elements from Z. The poset P is said to be lexicographically shellable (or for short: EL-shellable) if it admits an EL-labeling. 15
17 EL-shellability, when applicable, reduces homology computations for posets to a combinatorial labeling game. Call a maximal chain ˆ0 = x 0 x 1 x k = x, falling if λ(x 0 x 1 ) λ(x 1 x 2 )... λ(x k 1 x k ). THM (Bj-Wachs 96) EL-shellable (ˆ0, x) has the homotopy type of a wedge of spheres, for x > ˆ0. Furthermore, for any fixed EL-labeling: H i ( (ˆ0, x); Z) = Z # falling chains of length (i + 2) a basis for i-dimensional (co)homology is induced by the falling chains of length i
18 with lexico- Combining Goresky-MacPherson formula for M A graphic shellability of L A we get: THM For arrangement A, suppose L A is EL-shellable. Then H i (M A ) is torsion-free, and the Betti number β i (M A ) is equal to the number of falling chains ˆ0 = x 0 x 1 x g such that codim(x g ) g = i. 17
19 THM EL-shellability works for (1) hyperplane arr ts (over any field) (2) A n,k and B n,k, (3) some other cases... Conjecture: Works for D n,k. Incidentally, THM (Khovanov 96) Complements of A n,3 and B n,3 are K(π,1) spaces. Conjecture: Complement of D n,3 is a K(π,1) space. 18
20 Example: EL-shellability-based computation for A n,k (Following 4 slides are based on joint work with M. Wachs 95 and V. Welker 95.) 19
21 Let Π n,k be family of all partitions of {1,2,..., n} that have no parts of sizes 2, 3,..., k 1. Order them by refinement. Fact: The intersection lattice of A n,k is (isomorphic to) Π n,k Π 4,2 Π 4,3 20
22 Labeling of L An,k = Πn,k with elements from the totally ordered set 1 < 2 < < n < 1 < 2 < < n Covering Label New k-block B created from singletons max(b) Non-singleton block B merged with singleton {a} a Two non-singleton blocks B 1 and B 2 merged max(b 1 B 2 ) For instance, the following maximal chain in Π 8,3 (only nonsingleton blocks are shown) ˆ ˆ1 receives the label (8, 4, 7, 8, 6). This is an EL-labeling of Π n,k. 21
23 Hence, * n,k = (ˆ0,ˆ1) has homotopy type of a wedge of spheres * the Betti numbers β d n,k = rank H d ( n,k ; Z) satisfy and β d n,k 0 iff d = n 3 t(k 2) for some 1 t n k β n 3 t(k 2) n,k = (t 1)! = j 1 + +j t =n j i k 0=i 0 i t =n tk t 1 j=0 ( n 1 j 1 1, j 2,..., j t, ( n jk i j 1) (j + 1) i j+1 i j k 1 ) t i=1 ( j i 1 k 1 ). 22
24 Also, * the Betti numbers of the complement M n,k of A n,k : β i (M n,k ) 0 i = t(k 2), for 0 t n k. 23
25 Back to algorithmic k-equal problem: geometric point of view (following Bj-Lovász 94) The k-equal problem is to determine whether a given point x = (x 1, x 2,..., x n ) R n lies in the union of all the subspaces x i1 = x i2 = = x ik. Equivalently, does it belong to M n,k, the complement of the k- equal arrangement A n,k. 24
26 Let β(m n,k ) = n i=0 rank H i (M n,k ). Fact 1. The complexity of the k-equal problem is at least log 3 β(m n,k ). Note: Recall computation of β(m n,k ) via GM+EL method, messy sums/products of binomial coeff s... 25
27 Let µ n,k be the Möbius function computed over the poset Π n,k. Fact 2. β(m n,k ) µ n,k. (Again based on G-M formula) We turn to generating functions and prove: exp n 1 x n µ n,k = 1 + x + x2 n! 2! + + xk 1 (k 1)!. This implies Fact 3. Let α 1, α 2,..., α k 1 be the complex roots of the polynomial 1 + x + x2 2! + + xk 1 (k 1)!. Then µ n,k = (n 1)! ( α n 1 + α n α n k 1 ). 26
28 Collecting the facts, we have: c k (n) log 3 β(m n,k ) log 3 µ n,k Now either estimate β(m n,k ) via expressions given by EL-shelling, or estimate µ n,k via Fact 3. This gives: c k (n) C nlog 2n k Q.E.D. 27
29 Remark : Goresky-MacPherson formula over finite fields l-adic étale cohomology H i (X; Q l ) versions of G-M: Bj-Ekedahl 97, Yan 00, Deligne-Goresky-MacPherson 00,... Briefly: Let A be a d-dim l subspace arr t in F n q, q = pr. Let α i,j be the eigenvalues of Frobenius acting on Hc(M i A ; Q l ), and P i (t) def = j(1 α i,j t). Then, P i (t) = d j=0 (1 q j t) β j i 2j 2, where β j def i = sum over x L A such that dim(x) = j of i-th Betti number of (ˆ0, x) (i.e., order complex homology). 28
30 Suggestion: Étale cohomology could be a secret tool for complexity theory. Observation: Boolean function f : {0,1} n {0,1} is simply a subset of affine n-space over GF(2). Program: 1. Find good description of some NP-complete f as a variety, 2. Compute the étale Betti numbers of f, 3. Show that big Betti numbers force big Boolean circuits, 4. Conclude that NP P. 29
31 Topic 2: Bruhat order Figures on following slides are mostly taken from the book Combinatorics of Coxeter Groups by Björner Brenti, Springer Help with figures by F. Incitti and F. Lutz is gratefully acknowledged. 30
32 The pair (W, S) is a Coxeter group (Coxeter system) if W is a group with presentation { Generators: S Relations: (ss ) m(s,s ) = e, (s, s ) S 2, where m : S S {1,2,..., } satisfies m(s, s ) = m(s, s); m(s, s ) = 1 s = s. In particular, and s 2 = e, for all s S, s s s s s... }{{} m(s,s ) = s s s s s... }{{} m(s,s ) classification of finite (affine, hyperbolic) Coxeter groups: type A n, B n,...etc. 31
33 Bruhat order: For u, w W: u w def for reduced expressionw = s 1 s 2... s q a reduced subexpressionu = s i1 s i2... s ik, 1 i 1 <... < i k q. abab = baba aba bab ab ba a b e Bruhat order of B 2 32
34 Bruhat order of B 3. 33
35 analogy Intervals [e, w] in Bruhat order Face lattices of convex polytopes Weyl group rational polytope Schubert variety toric variety Kazhdan-Lusztig polynomial g-polynomial Also: Both determine regular CW decompositions of a sphere Intersection cohomology lurks in the background Remark: For all polytopes: combinatorial intersection cohomology theory satisfying hard Lefschetz (recent work of K. Karu and others) Question:??? combinatorial intersection cohomology theory for all Coxeter groups ( virtual Schubert varieties )? 34
36 THM (Bj-Wachs 82, Bj 84) Let [u, w] be a Bruhat interval. Then regular CW decomposition Γ u,w of the (l(w) l(u) 2)- dimensional sphere with cells σ x, u < x < w, such that and dim(σ x ) = l(x) l(u) 1 σ x σ z x z. Proof idea: via lexicographic shellability of Bruhat order 35
37 Example: Lex. shelling of W = S 3, generators S = {a, b} aba = bab ab a e ba b Choosing aba as reduced expression for the top element the induced labels of the four maximal chains are λ(aba ba a ) = (1,2,3), λ(aba ba b ) = (1,3,2), λ(aba ab b ) = (3,1,2), λ(aba ab a ) = (3,2,1). 36
38 A B C a B α β γ δ α A γ β a b c b C δ c Regular CW interpretation of a Bruhat interval. 37
39 y 1 y 2 y 3 y k x 1 x 2 x 3 x k A k-crown. All Bruhat intervals of length 3 are k-crowns, k 2. Finite case only k = 2,3,4 possible. (And for type H also k = 5.) 38
40 THM (Dyer 91). For each m, there exist only finitely many isomorphism classes of length m intervals in finite Coxeter groups. THM (Hultman 03). There are 24 types of length 4 intervals in finite Weyl groups. Only 7 of them occur in the symmetric groups. All 24 show up in F 4. 39
41 A Bruhat interval of length 4 (rendered as a CW complex) 40
42 All length 4 intervals that appear in finite Weyl groups. 41
43 Shape of lower interval [e, w]: m def f w i f w = {f w 0, fw 1,..., fw m }, = l(w) def = number of elements x w of length i. Note: Analogy with f-vector of convex polytope 42
44 Known for f-vector of simplicial (d + 1)-dimensional polytope: (1) f i f j if i < j d i. In particular, f 0 f 1 f d/2 and f i f d i (2) f 3d/4 f (3d/4) 1 f d (3) The bounds d/2 and 3d/4 are best possible. Conjecture: (2) is true for all polytopes. 43
45 Does it make sense to ask such questions for f w -vectors of Bruhat intervals [u, w]? Perhaps... consider this: THM (Carrell-Peterson 94) A Shubert variety X w is rationally smooth fi w = fm i w for all i 44
46 THM (Bj-Ekedahl 04) For the f w -vector f w = {f 0, f 1,..., f m } of interval [e, w] in a (Kac-Moody) Weyl group: (1) f i f j if i < j m i. In particular, f 0 f 1 f m/2 and f i f m i (2) If finite then also f f +1 f m (*= to be explained) Conjecture: This is true for all Coxeter groups. 45
47 f w -vector of Bruhat interval [e, w] 46
48 Idea of proof of (1): For X = X w, H (X, Q l ) IH (X, Q l ) is an H (X, Q l )-module map for i j m i it commutes with multiplication by c 1 (L) j i commutative diagram H 2i (X, Q l ) IH 2i (X, Q l ) c 1 (L) j i c 1 (L) j i H 2j (X, Q l ) IH 2j (X, Q l ). The horisontal maps are injective and the right vertical map is an injection by hard Lefschetz. Hence the left vertical map is injective, giving f w i = dim Ql H 2i (X, Q l ) dim Ql H 2j (X, Q l ) = f w j. 47
49 For monotonicity at upper end (part (2)), all we can prove is For k > 1 N k such that for finite Weyl group and w W such that m = l(w) N k : f m k f m k+1 f m Question: Does there exist α < 1 such that for all w in all Coxeter groups? f αm f αm +1 f m Conjecture: Yes, and α = 3/4 will work 48
50 Let Invol(W) def = involutions of W with induced Bruhat order. Studied by Richardson-Springer 94, Incitti 03, Hultman 04. Has wonderful properties as poset, much as W itself: pure, regular CW spheres for the classical Weyl groups (via ELshellability), intervals= homology spheres in general,... Poset rank function: rk(w) = l(w)+al(w) 2, where al(w) is absolute length 49
51 Involutions in S 4 Invol(S 4 ) 50
52 Happy Birthday, Bob! 51
ON 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 informationThe Topology of k Equal Partial Decomposition Lattices
University of Miami Scholarly Repository Open Access Dissertations Electronic Theses and Dissertations 2012-06-02 The Topology of k Equal Partial Decomposition Lattices Julian A. Moorehead University of
More informationarxiv:math/ v1 [math.co] 2 Jan 2004
arxiv:math/0401006v1 [math.co] 2 Jan 2004 GEOMETRICALLY CONSTRUCTED BASES FOR HOMOLOGY OF PARTITION LATTICES OF TYPES A, B AND D ANDERS BJÖRNER1 AND MICHELLE WACHS 2 Dedicated to Richard Stanley on the
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 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 informationGeneric section of a hyperplane arrangement and twisted Hurewicz maps
arxiv:math/0605643v2 [math.gt] 26 Oct 2007 Generic section of a hyperplane arrangement and twisted Hurewicz maps Masahiko Yoshinaga Department of Mathematice, Graduate School of Science, Kobe University,
More informationDISCRETE MORSE FUNCTIONS FROM LEXICOGRAPHIC ORDERS
DISCRETE MORSE FUNCTIONS FROM LEXICOGRAPHIC ORDERS ERIC BABSON AND PATRICIA HERSH Abstract. This paper shows how to construct a discrete Morse function with a relatively small number of critical cells
More informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
More informationThe symmetric group action on rank-selected posets of injective words
The symmetric group action on rank-selected posets of injective words Christos A. Athanasiadis Department of Mathematics University of Athens Athens 15784, Hellas (Greece) caath@math.uoa.gr October 28,
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 informationSYZYGIES OF ORIENTED MATROIDS
DUKE MATHEMATICAL JOURNAL Vol. 111, No. 2, c 2002 SYZYGIES OF ORIENTED MATROIDS ISABELLA NOVIK, ALEXANDER POSTNIKOV, and BERND STURMFELS Abstract We construct minimal cellular resolutions of squarefree
More informationHodge theory for combinatorial geometries
Hodge theory for combinatorial geometries June Huh with Karim Adiprasito and Eric Katz June Huh 1 / 48 Three fundamental ideas: June Huh 2 / 48 Three fundamental ideas: The idea of Bernd Sturmfels that
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 informationON THE (CO)HOMOLOGY OF THE POSET OF WEIGHTED PARTITIONS
ON THE (CO)HOMOLOGY OF THE POSET OF WEIGHTED PARTITIONS RAFAEL S. GONZÁLEZ D LEÓN AND MICHELLE L. WACHS Abstract. We consider the poset of weighted partitions Π w n, introduced by Dotsenko and Khoroshkin
More informationA GL n (q) ANALOGUE OF THE PARTITION LATTICE
A GL n (q) ANALOGUE OF THE PARTITION LATTICE PHIL HANLON, PATRICIA HERSH, AND JOHN SHARESHIAN Abstract. This paper introduces a GL n (q) analogue for the partition lattice, namely the lattice of partial
More informationTOPOLOGICAL REPRESENTATIONS OF MATROIDS
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0894-0347(XX)0000-0 TOPOLOGICAL REPRESENTATIONS OF MATROIDS E. SWARTZ 1. Introduction One of the foundations of oriented
More informationFORMALITY OF THE COMPLEMENTS OF SUBSPACE ARRANGEMENTS WITH GEOMETRIC LATTICES
FORMALITY OF THE COMPLEMENTS OF SUBSPACE ARRANGEMENTS WITH GEOMETRIC LATTICES EVA MARIA FEICHTNER AND SERGEY YUZVINSKY Abstract. We show that, for an arrangement of subspaces in a complex vector space
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationHomotopy types of the complements of hyperplane arrangements, local system homology and iterated integrals
Homotopy types of the complements of hyperplane arrangements, local system homology and iterated integrals Toshitake Kohno The University of Tokyo August 2009 Plan Part 1 : Homotopy types of the complements
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 informationA Generalization of Rota s NBC Theorem
A Generalization of Rota s NBC Theorem Bruce E. Sagan Department of Mathematics Michigan State University East Lansing, MI 48824-1027 April 9, 2003 Key Words: broken circuit, characteristic polynomial,
More informationEIGENVECTORS FOR A RANDOM WALK ON A LEFT-REGULAR BAND
EIGENVECTORS FOR A RANDOM WALK ON A LEFT-REGULAR BAND FRANCO SALIOLA Abstract. We present a simple construction of the eigenvectors for the transition matrices of random walks on a class of semigroups
More informationStratified Morse Theory: Past and Present
Stratified Morse Theory: Past and Present David B. Massey In honor of Robert MacPherson on his 60th birthday 1 Introduction In 1974, Mark Goresky and Robert MacPherson began their development of intersection
More informationAn improved tableau criterion for Bruhat order
An improved tableau criterion for Bruhat order Anders Björner and Francesco Brenti Matematiska Institutionen Kungl. Tekniska Högskolan S-100 44 Stockholm, Sweden bjorner@math.kth.se Dipartimento di Matematica
More informationThe Topology of Intersections of Coloring Complexes
The Topology of Intersections of Coloring Complexes Jakob Jonsson October 19, 2005 Abstract In a construction due to Steingrímsson, a simplicial complex is associated to each simple graph; the complex
More informationL 2 -cohomology of hyperplane complements
(work with Tadeusz Januskiewicz and Ian Leary) Oxford, Ohio March 17, 2007 1 Introduction 2 The regular representation L 2 -(co)homology Idea of the proof 3 Open covers Proof of the Main Theorem Statement
More informationTHE p-smooth LOCUS OF SCHUBERT VARIETIES. Let k be a ring and X be an n-dimensional variety over C equipped with the classical topology.
THE p-smooth LOCUS OF SCHUBERT VARIETIES GEORDIE WILLIAMSON ABSTRACT. These are notes from talks given at Jussieu (seminaire Chevalley), Newcastle and Aberdeen (ARTIN meeting). They are intended as a gentle
More informationSHELLABLE NONPURE COMPLEXES AND POSETS. I
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 348, Number 4, April 1996 SHELLABLE NONPURE COMPLEXES AND POSETS. I ANDERS BJÖRNER AND MICHELLE L. WACHS Abstract. The concept of shellability of
More informationMath 249: Algebraic Combinatorics
Math 249: Algebraic Combinatorics Evan Chen UC Berkeley Notes for the course MATH 249, instructed by Lauren K Williams. 1 3 September 5, 2013 Okay so there s no Putnam class today, so these are notes for
More informationThe poset of proper divisibility
6th Combinatorics Day Almada - July 14, 2016 The poset of proper divisibility Antonio Macchia joint work with Davide Bolognini, Emanuele Ventura, Volkmar Welker Classical divisibility and direct product
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 informationFrom Bruhat intervals to intersection lattices and a conjecture of Postnikov
FPSAC 2008, Valparaiso-Viña del Mar, Chile DMTCS proc. AJ, 2008, 203 214 From Bruhat intervals to intersection lattices and a conjecture of Postnikov Axel Hultman 1, Svante Linusson 1, John Shareshian
More informationOutline. Some Reflection Group Numerology. Root Systems and Reflection Groups. Example: Symmetries of a triangle. Paul Renteln
Outline 1 California State University San Bernardino and Caltech 2 Queen Mary University of London June 13, 2014 3 Root Systems and Reflection Groups Example: Symmetries of a triangle V an n dimensional
More informationArithmetic of certain integrable systems. University of Chicago & Vietnam Institute for Advanced Study in Mathematics
Arithmetic of certain integrable systems Ngô Bao Châu University of Chicago & Vietnam Institute for Advanced Study in Mathematics System of congruence equations Let us consider a system of congruence equations
More informationSARA C. BILLEY AND STEPHEN A. MITCHELL
AFFINE PARTITIONS AND AFFINE GRASSMANNIANS SARA C. BILLEY AND STEPHEN A. MITCHELL Abstract. We give a bijection between certain colored partitions and the elements in the quotient of an affine Weyl group
More informationBruhat order, rationally smooth Schubert varieties, and hyperplane arrangements
FPSAC 2010, San Francisco, USA DMTCS proc. AN, 2010, 833 840 Bruhat order, rationally smooth Schubert varieties, and hyperplane arrangements Suho Oh 1 and Hwanchul Yoo Department of Mathematics, Massachusetts
More information(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim.
0.1. Stratified spaces. References are [7], [6], [3]. Singular spaces are naturally associated to many important mathematical objects (for example in representation theory). We are essentially interested
More informationOn the Homological Dimension of Lattices
On the Homological Dimension of Lattices Roy Meshulam August, 008 Abstract Let L be a finite lattice and let L = L {ˆ0, ˆ1}. It is shown that if the order complex L satisfies H k L 0 then L k. Equality
More informationBRUHAT INTERVAL POLYTOPES
BRUHAT INTERVAL POLYTOPES E. TSUKERMAN AND L. WILLIAMS Dedicated to Richard Stanley on the occasion of his 70th birthday Abstract. Let u and v be permutations on n letters, with u v in Bruhat order. A
More informationUnless otherwise specified, V denotes an arbitrary finite-dimensional vector space.
MAT 90 // 0 points Exam Solutions Unless otherwise specified, V denotes an arbitrary finite-dimensional vector space..(0) Prove: a central arrangement A in V is essential if and only if the dual projective
More informationCombinatorics for algebraic geometers
Combinatorics for algebraic geometers Calculations in enumerative geometry Maria Monks March 17, 214 Motivation Enumerative geometry In the late 18 s, Hermann Schubert investigated problems in what is
More informationTHE HOMOLOGY REPRESENTATIONS OF THE k-equal PARTITION LATTICE
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 349, Number 3, March 1997, Pages 935 954 S 0002-994797)01806-0 THE HOMOLOGY REPRESENTATIONS OF THE k-equal PARTITION LATTICE SHEILA SUNDARAM AND
More informationFROM BRUHAT INTERVALS TO INTERSECTION LATTICES AND A CONJECTURE OF POSTNIKOV
FROM BRUHAT INTERVALS TO INTERSECTION LATTICES AND A CONJECTURE OF POSTNIKOV AXEL HULTMAN, SVANTE LINUSSON, JOHN SHARESHIAN, AND JONAS SJÖSTRAND Abstract. We prove the conjecture of A. Postnikov that (A)
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 11
18.312: Algebraic Combinatorics Lionel Levine Lecture date: March 15, 2011 Lecture 11 Notes by: Ben Bond Today: Mobius Algebras, µ( n ). Test: The average was 17. If you got < 15, you have the option to
More informationarxiv:math/ v1 [math.co] 19 Nov 2005
arxiv:math/0511488v1 [math.co] 19 Nov 2005 REMARKS ON THE COMBINATORIAL INTERSECTION COHOMOLOGY OF FANS TOM BRADEN Abstract. This partly expository paper reviews the theory of combinatorial intersection
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 informationEKT of Some Wonderful Compactifications
EKT of Some Wonderful Compactifications and recent results on Complete Quadrics. (Based on joint works with Soumya Banerjee and Michael Joyce) Mahir Bilen Can April 16, 2016 Mahir Bilen Can EKT of Some
More informationKAZHDAN LUSZTIG CELLS IN INFINITE COXETER GROUPS. 1. Introduction
KAZHDAN LUSZTIG CELLS IN INFINITE COXETER GROUPS MIKHAIL V. BELOLIPETSKY AND PAUL E. GUNNELLS 1. Introduction Groups defined by presentations of the form s 1,..., s n s 2 i = 1, (s i s j ) m i,j = 1 (i,
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationCOMBINATORIAL CURVE NEIGHBORHOODS FOR THE AFFINE FLAG MANIFOLD OF TYPE A 1 1
COMBINATORIAL CURVE NEIGHBORHOODS FOR THE AFFINE FLAG MANIFOLD OF TYPE A 1 1 LEONARDO C. MIHALCEA AND TREVOR NORTON Abstract. Let X be the affine flag manifold of Lie type A 1 1. Its moment graph encodes
More informationLittlewood Richardson coefficients for reflection groups
Littlewood Richardson coefficients for reflection groups Arkady Berenstein and Edward Richmond* University of British Columbia Joint Mathematical Meetings Boston January 7, 2012 Arkady Berenstein and Edward
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 informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationOn the Homogenized Linial Arrangement: Intersection Lattice and Genocchi Numbers
Séminaire Lotharingien de Combinatoire XX (2019) Article #YY, 12 pp. Proceedings of the 31 st Conference on Formal Power Series and Algebraic Combinatorics (Ljubljana) On the Homogenized Linial Arrangement:
More information16.2. Definition. Let N be the set of all nilpotent elements in g. Define N
74 16. Lecture 16: Springer Representations 16.1. The flag manifold. Let G = SL n (C). It acts transitively on the set F of complete flags 0 F 1 F n 1 C n and the stabilizer of the standard flag is the
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 informationOn the topology of the permutation pattern poset
On the topology of the permutation pattern poset Peter R. W. McNamara a,1, Einar Steingrímsson b,2 a Department of Mathematics, Bucknell University, Lewisburg, PA 17837, USA b Department of Computer and
More informationTHE LARGEST INTERSECTION LATTICE OF A CHRISTOS A. ATHANASIADIS. Abstract. We prove a conjecture of Bayer and Brandt [J. Alg. Combin.
THE LARGEST INTERSECTION LATTICE OF A DISCRIMINANTAL ARRANGEMENT CHRISTOS A. ATHANASIADIS Abstract. We prove a conjecture of Bayer and Brandt [J. Alg. Combin. 6 (1997), 229{246] about the \largest" intersection
More informationCyclic symmetry in the Grassmannian
Cyclic symmetry in the Grassmannian Slides available at www-personal.umich.edu/~snkarp Steven N. Karp, University of Michigan including joint work with Pavel Galashin and Thomas Lam (arxiv:707.000) September
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 informationH(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).
92 19. Perverse sheaves on the affine Grassmannian 19.1. Spherical Hecke algebra. The Hecke algebra H(G(Q p )//G(Z p )) resp. H(G(F q ((T ))//G(F q [[T ]])) etc. of locally constant compactly supported
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 informationEnumeration of Flags in Eulerian Posets
Enumeration of Flags in Eulerian Posets Louis Billera Cornell University, Ithaca, NY 14853 * * * * * Conference on Algebraic and Geometric Combinatorics Anogia, Crete 20-26 August, 2005 Lecture I: Faces
More informationThe topology of the external activity complex of a matroid
The topology of the external activity complex of a matroid Federico Ardila Federico Castillo José Alejandro Samper Abstract We prove that the external activity complex Act < (M) of a matroid is shellable.
More informationOrdering Events in Minkowski Space
Ordering Events in Minkowski Space Richard P. Stanley 1 Department of Mathematics Massachusetts Institute of Technology Cambridge, MA 02139 e-mail: rstan@math.mit.edu version of 26 May 2005 Abstract Let
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 informationMA 524 Final Fall 2015 Solutions
MA 54 Final Fall 05 Solutions Name: Question Points Score 0 0 3 5 4 0 5 5 6 5 7 0 8 5 Total: 60 MA 54 Solutions Final, Page of 8. Let L be a finite lattice. (a) (5 points) Show that p ( (p r)) (p ) (p
More informationH A A}. ) < k, then there are constants c t such that c t α t = 0. j=1 H i j
M ath. Res. Lett. 16 (2009), no. 1, 171 182 c International Press 2009 THE ORLIK-TERAO ALGEBRA AND 2-FORMALITY Hal Schenck and Ştefan O. Tohǎneanu Abstract. The Orlik-Solomon algebra is the cohomology
More informationNew results on the combinatorial invariance of Kazhdan-Lusztig polynomials
Formal Power Series and Algebraic Combinatorics Séries Formelles et Combinatoire Algébrique San Diego, California 2006 New results on the combinatorial invariance of Kazhdan-Lusztig polynomials Federico
More informationThe homology of tropical varieties
The homology of tropical varieties Paul Hacking January 21, 2008 1 Introduction Given a closed subvariety X of an algebraic torus T, the associated tropical variety is a polyhedral fan in the space of
More informationON SEQUENTIALLY COHEN-MACAULAY COMPLEXES AND POSETS
ON SEQUENTIALLY COHEN-MACAULAY COMPLEXES AND POSETS ANDERS BJÖRNER, MICHELLE WACHS1, AND VOLKMAR WELKER 2 Abstract. The classes of sequentially Cohen-Macaulay and sequentially homotopy Cohen-Macaulay complexes
More informationTOPOLOGY OF LINE ARRANGEMENTS. Alex Suciu. Northeastern University. Workshop on Configuration Spaces Il Palazzone di Cortona September 1, 2014
TOPOLOGY OF LINE ARRANGEMENTS Alex Suciu Northeastern University Workshop on Configuration Spaces Il Palazzone di Cortona September 1, 2014 ALEX SUCIU (NORTHEASTERN) TOPOLOGY OF LINE ARRANGEMENTS CORTONA,
More informationNOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS
NOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS VICTOR REINER Abstract. There are two famous formulae relating the Poincaré series of a finite/affine Weyl group to the degrees of fundamental
More informationarxiv: v1 [math.co] 25 Jun 2014
THE NON-PURE VERSION OF THE SIMPLEX AND THE BOUNDARY OF THE SIMPLEX NICOLÁS A. CAPITELLI arxiv:1406.6434v1 [math.co] 25 Jun 2014 Abstract. We introduce the non-pure versions of simplicial balls and spheres
More informationThe rational cohomology of real quasi-toric manifolds
The rational cohomology of real quasi-toric manifolds Alex Suciu Northeastern University Joint work with Alvise Trevisan (VU Amsterdam) Toric Methods in Homotopy Theory Queen s University Belfast July
More informationPartially Ordered Sets and their Möbius Functions: Exercises Encuentro Colombiano de Combinatoria D n. = Cm1 C mk.
Partially Ordered Sets and their Möbius Functions: Exercises Encuentro Colombiano de Combinatoria 2014 Lecture I: The Möbius Inversion Theorem 1. (a) Prove that if S T in B n then [S, T ] = B T S. (b)
More informationarxiv:math/ v1 [math.co] 11 May 1997
COMPLEXES OF NOT i-connected GRAPHS arxiv:math/9705219v1 [math.co] 11 May 1997 ERIC BABSON, ANDERS BJÖRNER, SVANTE LINUSSON, JOHN SHARESHIAN, AND VOLKMAR WELKER Abstract. Complexes of (not) connected graphs,
More informationProblem 1. Let f n (x, y), n Z, be the sequence of rational functions in two variables x and y given by the initial conditions.
18.217 Problem Set (due Monday, December 03, 2018) Solve as many problems as you want. Turn in your favorite solutions. You can also solve and turn any other claims that were given in class without proofs,
More informationSB-LABELINGS AND POSETS WITH EACH INTERVAL HOMOTOPY EQUIVALENT TO A SPHERE OR A BALL
SB-LABELINGS AND POSETS WITH EACH INTERVAL HOMOTOPY EQUIVALENT TO A SPHERE OR A BALL PATRICIA HERSH AND KAROLA MÉSZÁROS Abstract. We introduce a new class of edge labelings for locally finite lattices
More informationarxiv:math/ v2 [math.at] 2 Oct 2004
arxiv:math/0409412v2 [math.at] 2 Oct 2004 INTERSECTION HOMOLOGY AND ALEXANDER MODULES OF HYPERSURFACE COMPLEMENTS LAURENTIU MAXIM Abstract. Let V be a degree d, reduced, projective hypersurface in CP n+1,
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
More informationLECTURE 3 Matroids and geometric lattices
LECTURE 3 Matroids and geometric lattices 3.1. Matroids A matroid is an abstraction of a set of vectors in a vector space (for us, the normals to the hyperplanes in an arrangement). Many basic facts about
More informationRigid monomial ideals
Rigid monomial ideals Timothy B.P. Clark and Sonja Mapes February 10, 011 Abstract In this paper we investigate the class of rigid monomial ideals. We give a characterization of the minimal free resolutions
More informationPROPAGATION OF RESONANCE. Alex Suciu. Northeastern University. Joint work with Graham Denham and Sergey Yuzvinsky
COMBINATORIAL COVERS, ABELIAN DUALITY, AND PROPAGATION OF RESONANCE Alex Suciu Northeastern University Joint work with Graham Denham and Sergey Yuzvinsky Algebra, Topology and Combinatorics Seminar University
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 informationNotes on Green functions
Notes on Green functions Jean Michel University Paris VII AIM, 4th June, 2007 Jean Michel (University Paris VII) Notes on Green functions AIM, 4th June, 2007 1 / 15 We consider a reductive group G over
More informationFace vectors of two-dimensional Buchsbaum complexes
Face vectors of two-dimensional Buchsbaum complexes Satoshi Murai Department of Mathematics, Graduate School of Science Kyoto University, Sakyo-ku, Kyoto, 606-8502, Japan murai@math.kyoto-u.ac.jp Submitted:
More informationarxiv:math/ v1 [math.co] 6 Dec 2005
arxiv:math/05111v1 [math.co] Dec 005 Unimodality and convexity of f-vectors of polytopes Axel Werner December, 005 Abstract We consider unimodality and related properties of f-vectors of polytopes in various
More informationResearch Statement. Edward Richmond. October 13, 2012
Research Statement Edward Richmond October 13, 2012 Introduction My mathematical interests include algebraic combinatorics, algebraic geometry and Lie theory. In particular, I study Schubert calculus,
More informationPATTERN AVOIDANCE AND RATIONAL SMOOTHNESS OF SCHUBERT VARIETIES SARA C. BILLEY
PATTERN AVOIDANCE AND RATIONAL SMOOTHNESS OF SCHUBERT VARIETIES SARA C. BILLEY Let w be an element of the Weyl group S n, and let X w be the Schubert variety associated to w in the ag manifold SL n (C
More informationarxiv: v2 [math.ag] 24 Jun 2015
TRIANGULATIONS OF MONOTONE FAMILIES I: TWO-DIMENSIONAL FAMILIES arxiv:1402.0460v2 [math.ag] 24 Jun 2015 SAUGATA BASU, ANDREI GABRIELOV, AND NICOLAI VOROBJOV Abstract. Let K R n be a compact definable set
More informationNotation Index. gcd(a, b) (greatest common divisor) NT-16
Notation Index (for all) B A (all functions) B A = B A (all functions) SF-18 (n) k (falling factorial) SF-9 a R b (binary relation) C(n,k) = n! k! (n k)! (binomial coefficient) SF-9 n! (n factorial) SF-9
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationKazhdan-Lusztig polynomials of matroids
Kazhdan-Lusztig polynomials of matroids Nicholas Proudfoot University of Oregon AMS Special Session on Arrangements of Hypersurfaces Arrangements and Flats Let V be a finite dimensional vector space 1
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 informationCombinatorics, Geometry and Homology. of Non-Crossing Partition Lattices for. Finite Reflection Groups.
Combinatorics, Geometry and Homology of Non-Crossing Partition Lattices for Finite Reflection Groups. Aisling Kenny MA A thesis submitted to Dublin City University for the degree of Doctor of Philosophy
More informationHomology of Newtonian Coalgebras
Homology of Newtonian Coalgebras Richard EHRENBORG and Margaret READDY Abstract Given a Newtonian coalgebra we associate to it a chain complex. The homology groups of this Newtonian chain complex are computed
More informationPolytopes and Algebraic Geometry. Jesús A. De Loera University of California, Davis
Polytopes and Algebraic Geometry Jesús A. De Loera University of California, Davis Outline of the talk 1. Four classic results relating polytopes and algebraic geometry: (A) Toric Geometry (B) Viro s Theorem
More informationA Pieri-type formula and a factorization formula for K-k-Schur February functions 22, / 37
A Pieri-type formula and a factorization formula for K-k-Schur functions Motoki TAKIGIKU The University of Tokyo February 22, 2018 A Pieri-type formula and a factorization formula for K-k-Schur February
More informationMilnor Fibers of Line Arrangements
Milnor Fibers of Line Arrangements Alexandru Dimca Université de Nice, France Lib60ber Topology of Algebraic Varieties Jaca, Aragón June 25, 2009 Outline Outline 1 Anatoly and me, the true story... 2 Definitions,
More information