arxiv: v1 [math.co] 25 Mar 2019

Transcription

1 Functoria invariants of trees and their cones Nichoas Proudfoot and Eric Ramos Department of Mathematics, University of Oregon, Eugene, OR arxiv: v1 [math.co] 25 Mar 2019 Abstract. We study the category whose objects are trees with or without roots) and whose morphisms are contractions. We show that the corresponding contravariant modue categories are Noetherian, and we study two natura famiies of modues over these categories. The first takes a tree to a graded piece of the homoogy of its unordered configuration space, or to the homoogy of the unordered configuration space of its cone. The second takes a tree to a graded piece of the intersection homoogy of the reciproca pane of its cone, which is a vector space whose dimension is given by a Kazhdan-Lusztig coefficient. We prove finite generation resuts for each of these modues, which aow us to obtain resuts about the growth of Betti numbers of configuration spaces and of Kazhdan-Lusztig coefficients of graphica matroids. 1 Introduction Our aim in this paper is to study two different ways to assign an abeian group or a vector space to a graph, both of which are contravarianty functoria with respect to contractions. The first assigns to a graph G the i th homoogy group of the unordered configuration space of n points on G. It is not obvious that a contraction of graphs induces a map on homoogy groups of configuration spaces; this foows from the fact that this homoogy group can be computed using the reduced Świątkowski compex [Ś01, ADCK], which is itsef functoria with respect to contractions. The second assigns to a graph G the 2i th intersection homoogy group of a certain agebraic variety X G caed the reciproca pane of G. A contraction of graphs induces an incusion of reciproca panes, which in turn induces a map on intersection cohomoogy. 1 Let G be the category whose objects are graphs and whose morphisms are contractions see Section 2.2 for a more precise definition). Both of the aforementioned procedures of assigning an abeian group or vector space to a graph may be regarded as functors from the opposite category G op to the category of finite dimensiona modues over a Noetherian commutative ring k. For the homoogy of configuration spaces we wi usuay want to take k to be Z or Q, whereas for the intersection homoogy of the reciproca pane we wi take k to be C.) Such functors are caed G op - modues, and the category that they form is caed Rep k G op ). Unfortunatey, this category is not we behaved. In particuar, it is not Noetherian: there is a natura notion of finite generation for a G op -modue, and a submodue of a finitey generated modue need not itsef be finitey generated. Since both of our modues are computed by passing to the homoogy of some compex of modues, this means that we have no hope of proving any finite generation resuts. We dea with this difficuty by working with the subcategory T G consisting of trees, which has much nicer properties. Homoogy groups of configuration spaces of trees are aready reativey 1 The induced map on varieties is not quite canonica, but it is canonica enough that the induced map on intersection homoogy does not depend on any choices. 1

2 we understood [Far06, MS17, Ram18], and Kazhdan-Lusztig coefficients of trees are trivia in positive degree. However, we can obtain much more interesting resuts by ooking at the cone over a tree, which is obtained by adding a singe new vertex and connecting it to a other vertices. For exampe, the cone over a path is a fan see the figure in Exampe 4.4), and the cone over the compete bipartite graph K m,1 is the thagomizer graph [Ged17]. A contraction of trees more or ess induces a contraction of cones of trees see Remark 1.7), and we therefore obtain modues over our tree category. Remark 1.1. This operation of taking the cone over a graph is very natura from the point of view of matroid theory, since the graph may be recovered from the matroid associated with its cone two vertices are connected by an edge if and ony if the corresponding three edges of the cone form a cyce), but not from the matroid associated with the graph itsef. 1.1 Categorica resuts We now state our main resuts about tree categories, each of which is proved in Section 2. We have aready introduced the category T of trees whose morphisms are contractions. Let RT be the category of rooted trees, which means that we mark one vertex and require our contractions to take the root to the root. For any integer 2, et T T be the fu subcategory consisting of trees with at most eaves. The foowing resut is proved in Section 2.2. Theorem 1.2. Fix a commutative Noetherian ring k. The categories Rep k T op ), Rep k RT op ), and Rep k T op ) are a Noetherian. One of our main motivations is to study the growth of the dimensions of various modues in these categories. There is a notion of degree of generation, and we ca a modue d-sma if it is isomorphic to a subquotient of a modue that is generated in degree at most d. The next resut is proved in Section 2.5. Theorem 1.3. Suppose that k is a fied and M is a d-sma k-inear modue over T op, RT op, or T op. There exists a poynomia f M t) with the property that, for any tree T, dim k MT ) f M T ), where T is the number of edges of T. It is impossibe to ask dim k MT ) to be equa to a poynomia in T, because this dimension typicay depends on more than just the number of edges. However, there are certain operations that we can perform on a tree that cause the dimension of a sma modue to grow poynomiay. We wi state the next resut in a very informa way, and ask the reader to consut Sections for more precise formuations. The reevant theorems are Theorems 2.14 and Theorem 1.4. Suppose that k is a fied and M is a d-sma object of Rep k T op ) or Rep k RT op ). Fix a tree T, and buid new trees from T via either via subdivision breaking finitey many edges up into paths) or sprouting adding new eaves at finitey many vertices). The dimension of M evauated at one of these new trees is eventuay equa to a poynomia of degree at most d in the new parameters. If M is a d-sma object of Rep k T op ), the same resut hods for subdivision. 2

3 1.2 Homoogy of configuration spaces Graph configuration spaces have been extensivey studied in settings both theoretica [ADCK, Abr, KP12] and appied [Far08]. The idea of fixing the number of points and varying the underying graph has been expored in a number of recent works [RW, Ram, L ]. We focus on trees and their cones, and obtain the foowing resuts. Theorem 1.5. Fix natura numbers n and i. The T op -modue T H i UConfn T ); Z ) is n + i)-sma. In particuar, it is finitey generated. Theorem 1.6. Fix natura numbers n and i. The RT op -modue T, v) H i UConfn conet )); Z ) is n + i)-sma. In particuar, it is finitey generated. Remark 1.7. It may seem funny that the second modue in Theorem 1.6 is a modue over RT op rather than T op, since the configuration space itsef is not sensitive to the choice of root. The issue is that a contraction of trees does not quite induce a contraction of cones, and we use the choice of root to define the maps in a natura way. This fix is not needed in the setting of the next appication see Remark 4.1), so we wi again be abe to work with unrooted trees. 1.3 Kazhdan-Lusztig coefficients Kazhdan-Lusztig poynomias of matroids were introduced in [EPW16], and are in many ways anaogous to the Kazhdan-Lusztig poynomias that appear in Lie theory [Pro18, Section 2.5]. If a matroid comes from a graph or more generay from a hyperpane arrangement), the coefficient of t i in its Kazhdan-Lusztig poynomia is equa to the dimension of the 2i th intersection homoogy group of the reciproca pane X G [EPW16]. Kazhdan-Lusztig coefficients of graphica matroids have been the subject of many recent papers [PWY16, Ged17, PY17, LXY], with ony a sma number of specia famiies being expicity understood. An interesting specia case is the thagomizer graph, which is the cone over the tree K m,1. The Kazhdan-Lusztig coefficients of this graph grow faster than any poynomia [Ged17], so Theorem 1.3 tes us that the corresponding modue over T op cannot be finitey generated. The probem goes away, however, if we restrict our attention to trees with a bounded number of eaves. The foowing theorem is proved in Section 4.5. Theorem 1.8. Fix natura numbers and i. The C-inear T op -modue T IH 2i XconeT ) ) is 2i + 2)-sma. In particuar, it is finitey generated. 3

4 1.4 Future work In a future paper, we wi prove anaogous resuts for the fu subcategory of G consisting of connected graphs with fixed Euer characteristic. Despite the fact that trees form a specia case Euer characteristic equa to 1), it is a case made richer by the notion of rooted trees, which aows us to work with cones see Remark 1.7). Acknowedgments: NP is supported by NSF grant DMS ER is supported by NSF grant DMS The second author woud aso ike to send thanks to Danie Lütgehetmann for various discussions reated to Theorem 1.5 prior to this work. 2 Tree categories The goa of this section is to give precise definitions of the tree categories T, RT, and T ; to prove that their contravariant modue categories are Noetherian; and to study the dimension growth of finitey generated modues. 2.1 Gröbner categories and Noetherianity Fix a Noetherian commutative ring k. Given a sma category C, we wi be interested in the Abeian category Rep k C) of covariant functors from C to the category of k-modues. Such a functor wi be caed a C-modue. If x is an object of C, we define the principa projective C-modue P x Rep k C) by etting P x y) be the free k-modue with basis Hom C x, y) and defining morphisms by composition. An arbitrary C-modue M is caed finitey generated if it admits a surjection from a direct sum of finitey many principa projectives. The category Rep k C) is caed Noetherian if every submodue of a finitey generated C-modue is itsef finitey generated. Sam and Snowden introduce the notions of Gröbner categories and quasi-gröbner categories as a means of proving that the corresponding modue categories are Noetherian [SS17]. Let C be a sma category. For any object x of C, et C x denote the set of a morphisms in C with domain x. This set is equipped with a partia order by putting f g g = h f for some morphism h. The category C is said to have property G2) if, for a objects x, the poset C x is Noetherian, which means that a descending chains stabiize and there are no infinite anti-chains. The category C is said to have property G1) if, for a objects x, there exists some inear order on C x such that, for a monomias f, g C x with the same target y and a morphisms h C y, f g = h f h g. The category C is Gröbner if it has properties G1) and G2) and objects of C have no nontrivia endomorphisms. 4

5 Let C and C be sma categories. A functor Φ : C C is said to have property F) if, given any object x of C, there exist finitey many objects y 1,..., y n of C and morphisms f i : x Φy i ) in C such that for any object y of C and any morphism f : x Φy) in C, there exists a morphism g : y i y in C such that f = Φg) f i. A sma category C is quasi-gröbner if there exists a Gröbner category C and an essentiay surjective functor Φ : C C with property F). Remark 2.1. It is easy to see that property F) is cosed under composition [SS17, Proposition 3.2.6]. Thus, if C is quasi-gröbner and Φ : C C has property F), then C is aso quasi-gröbner. The motivation for these definitions comes from the foowing two theorems, both of which of fundamenta importance in our work. Theorem 2.2. [SS17, Proposition 3.2.3] If Φ : C C has property F) and M is a finitey generated C -modue, then Φ M is a finitey generated C-modue. Theorem 2.3. [SS17, Theorem 1.1.3] If a sma category C is quasi-gröbner, then the modue category Rep k C) is Noetherian. 2.2 Trees, rooted and otherwise A graph is a finite CW compex of dimension at most 1. The 0-ces are caed vertices and the 1-ces are caed edges. If f : G G is a map of CW compexes, we say that f is very ceuar if it takes every vertex to a vertex and every edge to either a vertex or an edge. An edge that maps to a vertex wi be caed a contracted edge. If G and G are graphs, we define a graph morphism from G to G to be an equivaence cass of very ceuar maps, where two very ceuar maps are equivaent if and ony if they are homotopic through very ceuar maps. 2 We note that a graph morphism ϕ : G G induces a we defined map on vertex sets, and it aso makes sense to tak about the set of edges that are contracted by ϕ. We say that a graph morphism is a contraction if it may be represented by a very ceuar map that is a surjective homotopy equivaence with connected fibers. A tree is a graph that admits a contraction to a point. If T and T are trees, a contraction from T to T is uniquey determined by the induced map on vertices, which can be any map with the property that the preimage of any vertex in T is equa to the set of vertices of a subtree of T. A rooted tree is a tree aong with a choice of vertex. Let T be the category of trees with contractions, and et RT be the category of rooted trees with contractions that preserve the root. We have a forgetfu functor Φ : RT T. Any rooted tree has a natura partia order on its vertex set, where the root is maxima, and more generay v w if and ony if the unique path from v to the root passes through w. Barter [Bar] studies the category T whose objects are rooted trees and whose morphisms are pointed ordered incusions of vertex sets. 2 If we are content to work with graphs without oops, then we coud equivaenty define a graph to be a simpicia compex of dimension at most 1 and a graph morphism to be a simpicia map. We wi not care about oops in this paper, but they wi be necessary in the seque paper, so we are giving this more genera definition here. 5

6 Proposition 2.4. The category RT op is equivaent to T. Proof. Let T, v) and T, v ) be rooted trees. Given a contraction ϕ : T, v) T, v ) in RT, we construct a morphism ϕ : T, v ) T, v) in T by sending each vertex of T to the maxima vertex in its preimage. Conversey, given a morphism ψ : T, v ) T, v) in T, we construct a contraction ψ : T, v) T, v ) in RT that sends each vertex w of T to the minima vertex of T whose image under ψ ies weaky above w. It is easy to see that ϕ = ϕ and ψ = ψ, thus these two constructions are mutuay inverse. Exampe 2.5. The foowing iustration depicts a morphism in the category RT aongside the corresponding morphism in the category T. The fat vertices represent the roots. Coroary 2.6. The categories RT op and T op are both quasi-gröbner. Proof. Barter proves that T is quasi-gröbner [Bar, Theorem 5], thus so is RT op. The forgetfu functor Φ op : RT op T op is surjective on both objects and morphisms, and therefore has property F). It foows from Remark 2.1 that T op is aso quasi-gröbner. Proof of Theorem 1.2. The fact that the categories Rep k RT op ) and Rep k T op ) are Noetherian foows from Theorem 2.3 Coroary 2.6. The category Rep k T op ) can be identified with the fu subcategory of Rep k T op ) consisting of modues that evauate to zero on any tree with more than eaves, and a modue in Rep k T op ) is finitey generated over T op if and ony if it is finitey generated over T op. Thus the Noetherian property for Rep k T op ) foows from the Noetherian property for Rep k T op ). Remark 2.7. One can aso prove that Rep k T op ) is Noetherian by showing the category T op is quasi-gröbner; this woud invove mimicking Barter s argument in the setting of trees with at most eaves. 2.3 Subdivision Fix a tree T, a natura number r, and an ordered r-tupe e = e 1,..., e r ) of distinct directed edges of T. For any ordered r-tupe m = m 1,..., m r ) of natura numbers, et T e, m) be the tree obtained from T by subdividing each edge e i into m i edges. The number m i is aowed to be zero, and we adopt the convention that subdividing e i into 0 edges means contracting e i. For each i, the tree 6

7 T e, m) has a directed path of ength m i where the directed edge e i used to be, and we abe the vertices of that path v 0 i,..., vm i i. Let OI be the category whose objects are ineary ordered finite sets and whose morphisms are ordered incusions. Every object of OI is isomorphic via a unique isomorphism to the finite set [m] for some m N. For any m N r, et [m] denote the corresponding object of the product category OI r. Our goa in this section is to define a subdivision functor Φ T,e : OI r T op and prove that Φ T,e has property F). We define our functor on objects by putting Φ T,e [m]) := T e, m). Let f = f 1,..., f r ) be a morphism in OI r from [m] to [n]. We define the corresponding contraction Φ T,e f) : T e, n) T e, m) by sending v t i to vs i, where s is the maxima eement of the set {0} {j f ij) t} {0, 1,..., m i }. Exampe 2.8. If T consists of a singe edge and r = 1, then the essentia image of Φ T,e is equa to the path category T op 2. On the other hand, OI may be identified with the fu subcategory of T consisting of rooted paths, where the ordered set [m] goes to the standard path on vertex set {0,..., m} with root 0. It is a regretabe convention that the root is the maxima eement of the vertex set of a rooted tree, so this identification reverses the order on [m].) The functor Φ T,e can be identified with the composition of the equivaence from Proposition 2.4 restricted to paths) with the functor that forgets the root. For any n N r, et n := n i. Reca that for any tree R, we have defined R to be the number of edges of R. We say that a contraction ϕ : T e, n) R factors nontriviay if there exists a non-identity morphism f : [m] [n] in OI r and a contraction ψ : T e, m) R such that ϕ = ψ Φ T,e f). Proposition 2.9. The subdivision functor Φ T,e : OI r T op has property F). Proof. Property F) says exacty that, for any tree R, the set of contractions from some T e, m) to R that do not factor nontriviay is finite. Let ϕ : T e, m) R be given. We have T e, m) = T + m r, so ϕ must contract T + m r R edges. If m is sufficienty arge, then at east one of those edges must be one of the subdivided edges. We may then factor ϕ nontriviay by first contracting that edge. This tes us that, if we are ooking for contractions from some T e, m) to R that do not factor nontriviay, we ony need to consider finitey many r-tupes m. The proposition then foows from the fact that a Hom sets in T are finite. Remark It wi be convenient to record a few variants of Proposition 2.9 in which the category T op is repaced by other cosey reated tree categories. For exampe, if T is rooted, then we get 7

8 a functor from OI r to RT op, which aso has property F). If T has at most eaves, then we get a functor from OI r to T op, and this functor aso has property F). Both of these statements are proved in exacty the same way as Proposition Sprouting Fix a tree T, a natura number r, and an ordered r-tupe v := v 1,..., v r ) of distinct vertices of T. For any ordered r-tupe m = m 1,..., m r ) of natura numbers, et T v, m) be the tree obtained from T by attaching m i new edges to the vertex v i, each of which has a new eaf as its other endpoint. We wi abe the new eaves connected to the vertex v i by the symbos v 1 i,..., vm i i. Our goa in this section is to define a sprouting functor Ψ T,v : OI r T op and prove that Ψ T,v has property F). We define our functor on objects by putting Ψ T,e [m]) := T v, m). f = f 1,..., f r ) be a morphism in OI r from [m] to [n]. We define the corresponding contraction Ψ T,v f) : T v, n) T v, m) by fixing a of the vertices of T, sending v t i to vs i if f is) = t, and sending v t i to v i of t is not in the image of f i. Exampe If T consists of a singe vertex and r = 1, then the essentia image of Ψ T,v is equa to the category consisting of the graphs K m,1 with one centra vertex connected to m sateites. As in Section 2.3, we say that a contraction ϕ : T v, n) R factors nontriviay if there exists a non-identity morphism f : [m] [n] in OI r and a contraction ψ : T v, m) R such that ϕ = ψ Ψ T,v f). Proposition The sprouting functor Φ T,v : OI r T op has property F). Proof. The phiosophy of the proof is neary identica to that of Proposition 2.9. We define the notion Property F) says exacty that, for any tree R, the set of contractions from some T v, m) to R that do not factor nontriviay is finite. Let ψ : T v, m) R be given. We have T v, m) = T + m, so ψ must contract T + m R edges. If m is sufficienty arge, then at east one of those edges must be one of the newy sprouted edges. We may then factor ψ nontriviay by first contracting that edge. This tes us that, if we are ooking for contractions from some T e, m) to R that do not factor nontriviay, we ony need to consider finitey many r-tupes m. The proposition then foows from the fact that a Hom sets in T are finite. Remark As in the case of subdivisons Remark 2.10), we may define an anaogous functor vaued in RT op, and it wi sti have property F). In contrast with Remark 2.10, we may not define an anaogous functor vaued in any bounded eaf category T op, since the operation of sprouting yieds trees with arbitrary numbers of eaves. 8 Let

9 2.5 Generation degree, smaness, and dimension growth We say that a modue M in Rep k T op ) is generated in degrees d if there exist trees T 1,..., T r, each with at most d edges, such that M is isomorphic to a quotient of r i=1 P T i. Equivaenty, M is generated in degrees d if, for every tree T with more than d edges, MT ) is spanned by the images of ϕ for various proper contractions ϕ : T T. We say that M is d-sma if it is isomorphic to a subquotient of a modue that is generated in degrees d. We make simiar definitions for modues in Rep k RT op ) or Rep k T op ). Proof of Theorem 1.3. We may immediatey reduce to the case where M is the principa projective P R for some tree R with d edges. For any T, a contraction from R to T is determined, up to automorphisms of R, by a choice of T d edges of T to contract. The number of such choices is T ) d, so dimk P R T ) AutR) T ) d. The fact that we have an inequaity rather than an equaity is a refection of the fact that not every contraction of T with d edges is isomorphic to R. Theorem 1.3 ony gives us an upper bound for the dimension of MT ). We cannot possiby expect equaity, since the dimension of MT ) usuay depends on the structure of T, not just on the number of edges. However, if we fix a tree T and an r-tupe e of distinct directed edges, we can show that the dimension of MT e, m)) is eventuay equa to a poynomia in m. Theorem Let k be a fied, and suppose that M is d-sma. Then there exists a mutivariate poynomia f M,T,e t 1,..., t r ) of tota degree at most d such that, if m is sufficienty arge in every coordinate, dim k MT e, m)) = f M,T,e m 1,..., m r ). Proof. Theorem 1.2 tes us that Rep k T op ) is Noetherian and therefore that M is finitey generated, though we have no contro over the degree of generation. Theorem 2.2 and Proposition 2.9 combine to te us that Φ T,e M is a finitey generated OI r -modue. By [SS17, Theorem 6.3.2, Proposition 6.3.3, and Theorem 7.1.2], this impies that there exists a mutivariate poynomia f M,T,e t 1,..., t r ) such that, if m N r is sufficienty arge in every coordinate, dim k MT e, m)) = dim k Φ T,eM[m]) = f M,T,e m 1,..., m r ). Theorem 1.3 says that dim k MT e, m)) is bounded above by a poynomia of degree d in the quantity T e, m) = T r + m, thus the tota degree of f M,T,e t 1,..., t r ) can be at most d. Remark Let I m be the standard path of ength m. If M is a d-sma T op -modue, Theorem 2.14 tes us that the function taking m to dim k MI m ) agrees with a poynomia for sufficienty arge m. For positive m, the automorphism group of I m is S 2, and if k is a fied of characteristic not equa to 2, we might aso guess that the dimensions of isotypic components of the trivia and sign representations in MI m ) grow poynomiay in m. This, however, is fase. For exampe, suppose that M is the modue that assigns to each tree T the vector space with basis given by the edges of T. More precisey, the principa projective P I1 assigns to each tree the vector space with basis 9

10 given by the directed edges of T, and we define M := P AutI 1) I 1. The modue M is evidenty 1-sma. However, the dimension of the trivia isotypic component of MI m ) is dim k MI m ) AutIm) = m+1 2, which is quasi-poynomia in m. We aso have an anaogue of Theorem 2.14 in which subdivision is repaced by sprouting. The proof is identica, so we omit it. Fix a tree T and an r-tupe v of distinct vertices. Theorem Let k be a fied, and suppose that M is d-sma. Then there exists a mutivariate poynomia f M,T,v t 1,..., t r ) of tota degree at most d such that, if m is sufficienty arge in every coordinate, dim k MT v, m)) = f M,T,v m 1,..., m r ). In the appications that foow, it wi be crucia to know that tensor products of sma modues behave in the expected way. Proposition Suppose that M and N are T op -modues. If M is d-sma and N is e-sma, then M k N is d + e)-sma. Proof. We may immediatey reduce to the case where M = P R and N = P S, where R = d and S = e. Then for any tree T, M k N)T ) has a basis given by ordered pairs consisting of a T -morphism from T to R and a T -morphism from T to S. A T -morphism from T to R contracts T d edges, and a T -morphism from T to S contracts T e edges. For any choice of this pair of morphisms, the number of edges that are contracted by both morphisms is at east T d) + T e) T = T d e, which means that the two morphisms both factor through a T -morphism from T to a tree with at most d + e edges. Remark By Theorem 1.2 and Remarks 2.10 and 2.13, amost a of the resuts in this section hod equay we when Rep k T op ) is repaced by Rep k RT op ) or Rep k T op ). The ony exception is that it is not possibe to repace Rep k T op ) with Rep k T op ) in Theorem 2.16, since sprouting does not make sense in a bounded eaf subcategory. 3 Homoogy of configuration spaces Given a graph G, the n-stranded unordered configuration space of G is the topoogica space UConf m G) := { x 1,..., x n ) G n }/ xi x j Sn. We wi study the homoogy of these spaces for fixed n, with G being either a tree or the cone over a tree. 10

11 3.1 The reduced Świątkowski compex The primary too used to compute the homoogy groups of configuration spaces of graphs is the reduced Świątkowski compex, originay defined by An, Drummond-Coe, and Knudsen [ADCK]. Fix a graph G, and et A G to be the integra poynomia ring generated by the edges of G. A haf-edge of G is a pair consisting of a vertex v and an edge e such that v is an endpoint of e. Given a haf-edge h, we denote its vertex by vh) and its edge by eh). For any vertex v, et Sv) denote the free A G -modue generated by the symbo aong with a haf-edges of G with vertex v. We equip Sv) with a bigrading by defining an edge to have degree 0, 1), to have degree 0, 0), and a haf-edge to have degree 1, 1). Let Sv) Sv) be the submodue generated by the eements and h h for a haf edges h and h. We equip Sv) with an A G -inear differentia v of degree 1, 0) by putting h h ) := eh) eh ) ) and = 0. We then define the reduced Świątkowski compex SG) := v VertG) Sv), where the tensor product is taken over the ring A G ; this is a bigraded free A G -modue with a differentia. For any graph G, et H UConf G) ) denote the bigraded abeian group H UConf G) ) := i,n) H i UConfn G); Z ). Theorem 3.1. [ADCK, Theorem 4.5] There is an isomorphism of bigraded abeian groups H UConf G) ) = H SG) ). 3.2 Functoriaity If ι : G G is a simpicia embedding of graphs, then one obtains a natura pushforward map ι : H i UConfn G); Z ) H i UConfn G ); Z ), aong with a natura ift to a map of differentia bigraded modues [ADCK, Section 4.2] ι : SG) SG ). What is ess obvious is that, if ϕ is a contraction, then there is a natura map of differentia bigraded modues ϕ : SG ) SG), 11

12 which induces a map ϕ : H i UConfn G ); Z ) H i UConfn G); Z ) by passing to homoogy [ADCK, Lemma C.7]. To describe ϕ, we first consider the case where the number of edges of G is one greater than the number of edges of G ; we ca such a contraction ϕ a simpe contraction. We identify the unique edge of G that is contracted by ϕ with the interva [0, 1]. Let h 0 respectivey h 1 ) be the haf edge of G consisting of the vertex 0 respectivey 1) and the edge [0, 1]. Let w G be the image of the edge [0, 1]. Each edge of G is mapped to isomorphicay by a unique edge of G, and simiary for haf edges. This gives us a canonica ring homomorphism A G A G aong with an A G -modue homomorphism Sv ) Sv). v VertG ) {w } v VertG) {0,1} Given a haf edge h of G with vh ) = w, et h be the unique haf edge of G mapping to h. We then define an A G -modue homomorphism Sw ) S0) S1) by the formua and h h h 0 ) if vh) = 0 h h 1 ) if vh) = 1. Tensoring these two maps together, we obtain the homomorphism ϕ : SG ) SG), and it is straightforward to check that this homomorphism respects the differentia. Arbitrary contractions may be obtained as compositions of simpe contractions, and the induced homomorphism is independent of choice of factorization into simpe contractions. To summarize, we have the foowing resut. Theorem 3.2. [ADCK] There is a bigraded differentia T op -modue that assigns to each tree T the reduced Świątkowski compex ST ). The homoogy of this bigraded differentia T op -modue is the bigraded T op -modue that assigns to each tree T the bigraded Abeian group H UConf T ) ). 3.3 Configuration spaces of trees The purpose of this section is to prove Theorem 1.5. Proof of Theorem 1.5. Given a tree T and a pair of natura numbers i and n, et ST ) i,n be the degree i, n) summand of the reduced Świątkowski compex. We wi show that the T op -modue taking a tree T to the abeian group ST ) i,n is generated in degrees n + i. Smaness wi then foow from Theorem 3.2, and finite generation from Theorem

13 The group ST ) i,n is generated by eements of the form σ := e 1 e n i i h j0 h j1 ), j=1 v / {v 1,...,v i } where e 1,..., e n i are edges not necessariy distinct), v 1,..., v i are vertices distinct), and for each j h j0 are h j1 are haf edges at the vertex v j. For a particuar σ of this form, we wi ca {v 1,..., v i } the set of distinguished vertices. Without oss of generaity, we may assume that there is some integer r with 0 r i such that v j is adjacent to some other distinguished vertex if and ony if j r. We may aso assume that, if j r, eh j1 ) connects v j to another distinguished vertex; if not, then σ may be written as a difference of casses of this form. We ca an edge e a distinguished edge if one of the foowing four conditions hod: e connects two distinguished vertices e = e k for some k n i e = eh j0 ) for some j i e = eh j1 ) for some j i. We caim that there are at most n + i distinguished edges. Indeed, there are at most r edges that connect two distinguished vertices 3 and these incude eh j1 ) for every j r. This means that the maximum possibe number of distinguished edges is r + n i) + i + i r) = n + i. Let T be given with T > n+i. Since there are at most n+i distinguished edges, we may choose an edge e which is not distinguished. Let T := T/e be the tree obtained from T by contracting e, and et ϕ : T T be the canonica simpe contraction. Let e k be the image of e k in T, v j the image of v j in T, h j0 the image of h j0 in T, and h j1 the image of h j1 in T. Let σ := e 1 e n i i h j0 h j1) j=1 v / {v 1,...,v i } ST ) i,n. We caim that σ = ϕ σ. If e is not incident to any vertex v j, this is obvious. The interesting case occurs when e is incident to one of the distinguished vertices. Assume without oss of generaity that it is incident to v 1, and et w be the other end point of e. Let h be the haf edge of T with eh) = e and vh) = v 1. Appying the map ϕ repaces each e k with e k. When j > 1, it repaces h j0 with h j0 and h j1 with h j1. It repaces h 10 with h 10 h and h 11 with h 11 h. This means that it repaces h j0 h j1 with h j0 h j1, and therefore that ϕ σ = σ. We thus concude that every eement of ST ) i,n is a inear combination of eements in the images of map associated with simpe contractions; this competes the proof. 3 This is because the induced subgraph on v 1,..., v r is a forest; equaity is attained iff r = 0. 13

14 Remark 3.3. Chettih and Lütgehetmann prove that homoogy groups of ordered configuration spaces of trees are generated by products of what they ca basic casses [CL18, Theorem A]. One can produce an aternative proof of Theorem 1.5 by using this resut, aong with the coinvariant map that takes the homoogy of an ordered configuration space surjectivey ony the homoogy of the corresponding unordered configuration space, sending basic casses to the star casses of [ADCK]. We prefer to work with the reduced Świątkowski compex because the proof of Theorem 1.5 serves as a mode for the proof of Theorem 1.6, where we wi not have any anaogue of the Chettih Lütgehetmann resut avaiabe to us. 3.4 Cones over trees For any tree G, we define the cone over G to be the graph coneg) obtained from G by adding one new vertex p aong with an edge connecting p to each of the origina vertices. More precisey, VertconeT )) := VertT ) {p} and EdgeconeT )) := EdgeT ) {e v v VertT )}, where e v is an edge from v to p. Suppose that ϕ : T T is a contraction. We woud ike to say that ϕ induces a contraction from conet ) to conet ), but this is not quite right. Indeed, contractions are by definition homotopy equivaences, and conet ) cannot be homotopy equivaent to conet ) uness ϕ is an isomorphism. Instead, what happens is that ϕ induces a contraction from π ϕ : conet ) G ϕ, where G ϕ defined by setting VertG ϕ ) := VertT ) {p } and EdgeG ϕ ) := EdgeT ) {e w w VertT )}, where e w is an edge from ϕw) to p. In particuar, the number of edges connecting a vertex w to p is equa to the number of vertices in the preimage of w. We get around this technica difficuty by working with rooted trees. Let T, v) be a rooted tree, and consider the partia order on VertT ) introduced in Section 2.2. Let ϕ : T, v) T, v ) be a contraction. For each vertex w of T, there is a unique maxima vertex w ϕ 1 w ). This aows us to define an embedding ι ϕ : conet ) G ϕ by sending e w to e w. Exampe 3.4. Suppose that ϕ is the contraction of rooted trees depicted in the figure on the eft in Exampe 2.5. Then G ϕ is the graph shown beow, where T is the vertica edge and p is the vertex on the right. The embedding ι ϕ identifies the cone over T with the triange obtained by deeting the ower of the two curved edges. 14

15 The embedding ι ϕ induces a map ι ϕ : H i UConfn conet )); Z ) H i UConfn G ϕ ); Z ) and the contraction π ϕ induces a map π ϕ : H i UConfn G ϕ ); Z ) H i UConfn conet )); Z ), and we define ϕ := π ϕ ι ϕ : H i UConfn conet )); Z ) H i UConfn conet )); Z ). Simiary, we define ϕ := π ϕ ι ϕ : SconeT )) SconeT )). We can then state the foowing anaogue of Theorem 3.2. Theorem 3.5. There is a bigraded differentia RT op -modue that assigns to each rooted tree T, v) the reduced Świątkowski compex SconeT )). The homoogy of this bigraded differentia T op -modue is the bigraded RT op -modue that assigns to each rooted tree T, v) the bigraded Abeian group H UConf T ) ). Remark 3.6. We note that, for both of the RT op -modues in the statement of Theorem 3.5, the Abeian group assigned to a rooted tree T, v) depends ony on the tree T, but the homomorphisms between these groups depend on the root. 3.5 Configuration spaces of cones over trees The purpose of this section is to prove Theorem 1.6. Proof of Theorem 1.6. The proof of this theorem is simiar to the proof of Theorem 1.5, but there are some subte differences in the detais. Given a tree T and a pair of natura numbers i and n, et SconeT )) i,n be the degree i, n) summand of the reduced Świątkowski compex. We wi show that the RT op -modue taking a rooted tree T, v) to the abeian group ST ) i,n is generated in degrees n + i. Smaness wi then foow from Theorem 3.5, and finite generation from Theorem 1.2. The group SconeT )) i,n is generated by casses of form σ := e 1 e n i i h j0 h j1 ), j=1 v / {v 1,...,v i } where e 1,..., e n i are edges of conet ) not necessariy distinct), v 1,..., v i are vertices of conet ) distinct), and for each j h j0 are h j1 are haf edges of conet ) at the vertex v j. For a particuar σ of this form, we wi ca {v 1,..., v i } the set of distinguished vertices. Here is the first difference 15

16 between this proof and the proof of Theorem 1.5: we may assume that, for a j, eh j1 ) = e vj, the edge connecting v j to the cone point p. Let us first treat the case where p is not one of the distinguished vertices. We ca an edge e of T a distinguished edge if one of the foowing three conditions hod: e connects two distinguished vertices e = e k for some k n i e = eh j0 ) for some j i. Note that distinguished edges are edges of T, not of conet ). We caim that there are at most n + i distinguished edges. Indeed, there are at most i edges that connect two distinguished vertices with equaity iff i = 0), so the maximum possibe number of distinguished edges is i + n i) + i = n + i. Next, et s treat the case where p is one of the distinguished vertices. Without oss of generaity, we wi assume that p = v i. Let w 0, w 1 VertT ) be the endpoints of the edges eh i0 ) and eh i1 ). We then ca an edge e of T a distinguished edge if one of the foowing five conditions hod: e connects two distinguished vertices of T e = e k for some k n i e = eh j0 ) for some j i 1 e connects w 0 to a vertex that is greater than w 0 in the partia order on VertT ) e connects w 1 to a vertex that is greater than w 1 in the partia order on VertT ). We again caim that there are at most n + i distinguished edges. Indeed, there are at most i 1 edges that connect two distinguished vertices with equaity iff i = 1). Furthermore, every vertex of T has a unique cover in the partia order, so there is at most one edge connecting w 0 to a vertex greater than w 0 with equaity iff w 0 is not the root), and ikewise for w 1. Thus the maximum possibe number of distinguished edges is i 1) + n i) + i 1) = n + i. We now proceed as in the proof of Theorem 1.5. Let T be given with T > n + i. Since there are at most n + i distinguished edges, we may choose an edge e which is not distinguished. Let T := T/e be the tree obtained from T by contracting e, and et ϕ : T T be the canonica simpe contraction. We define σ as before, and we caim that σ = ϕ σ. The argument is basicay the same, but there is a new subtety that arises if p = v i and either w 0 or w 1 is one of the endpoints of e. Assume without oss of generaity that w 0 is an endpoint of e, and et u be the other endpoint. Since e is not a distinguished edge, we have u < w 0 in the partia order on VertT ), and this is exacty the condition that we need to ensure that σ = ϕ σ. Remark 3.7. For any tree T, conet ) is biconnected, which impies that H 1 UConfn conet )) ) is canonicay isomorphic to H 1 UConf2 conet )) ) [KP12, Lemma 3.12]. In particuar, this means that the RT op -modue T, v) H 1 UConfn conet )) ) 16

17 is in fact 3-sma. 3.6 Exampes We next give a number of exampes to iustrate Theorems 1.5 and 1.6. Exampe 3.8. Consider the tree K m,1 with one centra vertex connected to m sateites, obtained from sprouting at a singe isoated vertex. Theorems 2.16 and 1.5 together impy that dim H 1 UConfn K m,1 ); Q ) is a poynomia in m of degree at most n + 1. It was proved independenty in [Ghr01, Theorem 2.6] and [Ś01, Theorem 0.1] that the space UConf n G) is homotopy equivaent to a simpicia compex of dimension equa to the number of vertices of G of degree at east 3. In particuar, UConf n K m,1 ) is homotopy equivaent to a graph. For any m, we have [Ga01, Theorem 2] χ UConf n K m,1 ) ) t n = n 0 From these two facts, we can deduce that 1 m 1)t 1 t) m. dim H 1 UConfn K m,1 ); Q ) ) m 1 + n = 1 + m 1) n m 2 + n n 1 which is in fact a poynomia in m of degree n. Note that the computation of the first Betti numbers of configuration spaces of star graphs has appeared in various paces throughout the iterature, incuding [Ghr01, ADCK, MS17, Ram18, FS05]. Exampe 3.9. Next, consider the graph conek m,1 ). ), The graph conek m,1 ) has two vertices of degree greater than 2, so the configuration space of conek m,1 ) is homotopy equivaent to a 2-dimensiona simpicia compex. Theorems 2.16 and 1.6, aong with Remarks 2.18 and 3.7, together impy that dim H 1 UConfn conek m,1 )); Q ) is a poynomia in m of degree at most 3 and dim H 2 UConfn conek m,1 )); Q ) is a poynomia in m of degree at most n + 2. For any m, we have [KP12, Lemma 3.14] dim H 1 UConfn conek m,1 )); Q ) ) m + 1 =, 2 which is in fact a poynomia in m of degree 2. We aso have [Ga01, Theorem 2] which impies that χ UConf n conek m,1 )) ) t n = n 0 1 mt)2 1 t) m+1, χ UConf n conek m,1 )) ) ) ) ) m + n m + n 1 m + n 2 = + 2m + m 2. n n 1 n 2 Thus we concude that dim H 2 UConfn conek m,1 )); Q ) is in fact a poynomia in m of degree n. Exampe More generay, the techniques of Ko and Park wi aow us to compute the first 17

18 Betti numbers of arbitrary cones over trees. Remark 3.7 tes us that these Betti numbers shoud be bounded above by a cubic poynomia in T, and that they shoud grow as a poynomia of degree at most 3 when we subdivide or sprout. Fix a vertex v of T and write {T i } degv) i=1 for the degv) subtrees of T obtained by taking the cosures of the connected components after removing v. If we write b conet ) n) for the first Betti number of UConf n conet )), then [KP12, Lemma 3.14] tes us that ) ) degv) b conet ) n) = b coneti )n) +. 2 i If T is homeomorphic to a ine segment, then conet ) is a circe and b conet ) n) = 1. Appying the above recursion for every vertex, we find that b conet ) n) = T + v VertT ) ) degv). 2 Note that this expression is bounded by a poynomia in T of degree 2, since v VertT ) ) degv) v VertT ) degv) v VertT ) degv) 2 = 2 T 2. One aso observes from this expression that b conet ) n) grows ineary under subdivision and quadraticay under sprouting. 4 Kazhdan-Lusztig coefficients Let G be a graph. Let R G { be the C-subagebra of rationa functions in {x v v VertG)} generated by the eements 1 x v x w v w adjacent }, and et X G := Spec R G. The ring R G is caed the Orik-Terao agebra of G and the variety X G is caed the reciproca pane of G. We wi be interested in the intersection homoogy group IH 2i X G ), which is a compex vector space whose dimension is equa to the coefficient of t i in the Kazhdan-Lusztig poynomia of the matroid associated with G [EPW16, Theorem 3.10 and Proposition 3.12]. If ϕ : G G is a contraction, we obtain a canonica map from ϕ : IH 2i X G ) IH 2i X G ), and these maps compose in the expected way [PY17, Theorem 3.31,3)]. The matroid associated with any tree is Booean and Booean matroids have trivia Kazhdan-Lusztig poynomias [EPW16, Coroary 2.10], so we do not obtain interesting T op -modues by etting G be a tree. However, by etting G be the cone over a tree, we find many exampes of graphs with interesting Kazhdan-Lusztig coefficients, incuding fan graphs [LXY] and thagomizer graphs [Ged17]. The purpose of this section is to study the corresponding T op -modues. Remark 4.1. If G is any graph, we define the simpification of G to be the graph obtained by deeting oops and identifying any two edges with the same end points. It is cear from the definition 18

19 of R G that the ring R G, the variety X G, and the vector space IH 2i X G ) do not change when G is repaced by its simpification. This stands in stark contrast to homoogy groups of configuration spaces, and expains why we wi not need to work with rooted trees see Remark 1.7). 4.1 The spectra sequence The intersection homoogy group IH 2i X G ) can be computed by means of a certain spectra sequence, which we now describe. For any graph G, et OS G) be the Orik-Soomon agebra of the matroid associated with G. For any natura number d, we wi denote the inear dua of OS d G) by OS d G). For the purposes of this paper, we wi need to know five things about the Orik-Soomon agebra: OS 1 G) is spanned by casses {x e e EdgeG)}, subject to the reations that x e = 0 if e is a oop and x e = x e if e and e have the same endpoints. OS G) is generated as an agebra by OS 1 G). The Orik-Soomon agebra of a graph is canonicay isomorphic to that of its simpification. If G is a contraction of G, we obtain a canonica map OS G) OS G ) by kiing the generators indexed by contracted edges. This in turn induces maps OS G ) OS G). If G is the disjoint union of G 1 and G 2 or if G is obtained by guing G 1 and G 2 aong a singe vertex, then OS G) = OS G 1 ) OS G 2 ). A fat of G is a subgraph F G with the same vertex set and that property that, if F contains a but one edge of some cyce in G, then it contains the ast edge, as we. If F is a fat, we define G/F to be the graph obtained by simutaneousy contracting a of the edges in F. 4 The rank of F is equa to the number of vertices minus the number of connected components, and the corank of F, denoted crk F, is the rank of G minus the rank of F. Theorem 4.2. [PY17, Theorems 3.1 and 3.3] For any graph G and positive integer i, there is a first quadrant homoogica spectra sequence EG, i) converging to IH 2i X G ), with EG, i) 1 p,q = crk F =p OS 2i p q F ) IH 2i q) X G/F ). If ϕ : G G is a contraction, there is a canonica map ϕ : EG, i) EG, i) of spectra sequences, composing in the expected way, and converging to the aforementioned map IH 2i X G ) IH 2i X G ). The map EG, i) 1 p,q EG, i) 1 p,q kis the F -summand uness F contains a of the contracted edges. In this case, the image of F in G is a fat F of G, and G /F is canonicay isomorphic to G/F. The map takes the F -summand of EG, i) 1 p,q to the F -summand of EG, i) 1 p,q by the canonica map OS 2i p q F ) OS 2i p q F ) tensored with the identity map on IH 2i q) X G/F ). 4 It is sighty confusing to note that, if F contains a cyce, the natura graph morphism from G to G/F is not a contraction in the sense of Section 2.2 because it is not a homotopy equivaence. We wi refrain from using the word contraction in any sense other than that in which we have defined it. 19

20 4.2 Orik-Soomon agebras of trees and their cones Suppose that ϕ : T T is a contraction of trees. Since the Orik-Soomon agebra is functoria with respect to contractions, we have a T op -modue OS d that takes a tree T to OS d T ). Reca from Section 3.4 that ϕ induces a contraction from conet ) to G ϕ, where G ϕ is a graph whose simpification is canonicay isomorphic to conet ). Since the Orik-Soomon agebra of a graph is canonicay isomorphic to that of its simpification, this tes us that we aso have a T op -modue OS cone d that takes a tree T to OS d conet )). Proposition 4.3. The T op -modues OS d and OS cone d are d-sma for a d N. Proof. Reca from Exampe 4.8 that we have defined I m to be the standard path of ength m on the vertex set {0,..., m}. We have OS 0 = OS cone 0 = P I0, which proves that OS 0 and OS cone 0 are both 0-sma. Since OS and OS cone are generated as agebras in degree 1, Lemma 2.17 impies that it is sufficient to prove that OS 1 and OS cone 1 are 1-sma. The modue OS 1 associates to any tree a vector space with basis given by its edges. In particuar, OS 1 I 1 ) = C x 01. If e is an edge of T and ϕ : T I 1 is a morphism that contracts every edge except for e, then ϕ x 01 = x e. This shows that OS 1 is generated in degree 1 and therefore 1-sma. The edges of the cone over a tree are in bijection with the edges and vertices of the tree, so the modue OS cone 1 associates to any tree a vector space with basis {x e } {x v } indexed by edges and vertices. In particuar, OS cone 1 I 1 ) = C{x 01, x 0, x 1 }. Let T be a tree and e an edge of T with vertices v and w. Consider the unique morphism ψ : T I 1 that sends v to 0 and w to 1. Then ϕ x 01 = x e and ϕ x 0 = ϕv )=0 It is cear that casses of this form span OS cone 1 T ), hence OS cone 1 is generated in degree 1 and therefore 1-sma. x v. 4.3 Fats of cones over trees Fix a tree R. For any tree T, et Comp R T ) be the set of ways to break T up into a coection of disjoint subtrees, indexed by the vertices of R, with adjacency of subtrees determined by adjacency in R. More precisey, an eement of Comp R T ) is a tupe U = U v v VertR)) ) of subtrees of T such that VertT ) = VertU v ) v VertR) and U v is adjacent to U w in T if and ony if v is adjacent to w in R. We wi say that a subset W VertR) is groovy if it has the property that every edge of R is incident to at east one vertex of W. Let F T ) be the set of tripes R, W, U), where R is a tree, U Comp R T ), and W VertR) is groovy. We say that two tripes R, W, U) and R, W, U ) are equivaent if there is an isomorphism from R to R taking W to W and U to U. 20

21 Given a tripe R, W, U) F T ), we may construct a fat of conet ) by taking the edges of U v for a v VertR) aong with the edges connecting v to the cone point for a v W. Every fat arises in this manner, and two eements of F T ) give rise to the same fat if and ony if they are equivaent. The contraction of conet ) aong this fat is isomorphic to coner W ), where R W is the induced forest on the vertex set W. Exampe 4.4. Let R be a path of ength 3 and T a path of ength 5. An eement of Comp R T ) is a way to break the 6 vertices of T into 4 bocks, each of which consist of adjacent vertices. In the picture beow, we show an eement of Comp R T ) consisting of bocks of sizes 2, 1, 2, and 1 reading from eft to right). We aso seect the groovy subset W VertR) consisting of the first and ast vertex, which means that the first and ast bock get connected to the cone point in the corresponding fat of conet ). We denote this fat by thickened edges. Let OS R, W, U) denote the Orik-Soomon agebra of the fat associated with the tripe R, W, U). By the discussion of Orik-Soomon agebras in Section 4.1, this is isomorphic to OS U v ) OS coneu v ) ). v W v / W The foowing emma is an anaogue of [PY17, Lemma 4.2]. Lemma 4.5. Suppose that we have a tree R, a coection of T op -modues N v v VertR) ), and a coection of natura numbers d v v VertR) ) such that N v is d v -sma for a v. Let d = R + d v. Define a T op -modue N by the formua NT ) := N v U v ). U Comp R T ) v VertR) Then N is d-sma. Proof. We may immediatey reduce to the case where N v = P Sv for some tree S v with S v = d v. Then for any tree T and any U Comp R T ), the corresponding summand of NT ) has a basis given by tupes of contractions from U v to S v. Such a map contracts U v d v edges. A together, the number of edges that get contracted is ) U v d v = T R dv, which means that the tupe of maps factors through a tree with R + d v edges. 21