The Z-polynomial of a matroid

TL;DR

This paper introduces the Z-polynomial for matroids, explores its symmetry, derives a recursion for Kazhdan-Lusztig coefficients, and provides a closed-form formula with cohomological interpretation for realizable cases.

Contribution

It defines the Z-polynomial, uncovers its symmetry, and derives a new recursion and closed formula for Kazhdan-Lusztig coefficients in matroids.

Findings

Derived a recursion for Kazhdan-Lusztig coefficients

Obtained a closed formula as alternating sums of Whitney numbers

Provided cohomological interpretation for realizable matroids

Abstract

We introduce the Z-polynomial of a matroid, which we define in terms of the Kazhdan-Lusztig polynomial. We then exploit a symmetry of the Z-polynomial to derive a new recursion for Kazhdan-Lusztig coefficients. We solve this recursion, obtaining a closed formula for Kazhdan-Lusztig coefficients as alternating sums of multi-indexed Whitney numbers. For realizable matroids, we give a cohomological interpretation of the Z-polynomial in which the symmetry is a manifestation of Poincare duality.

Equations

$$Z_M(t):=\sum _F{t}^{\mathrm{rk}F}{P}_{M^F}(t).$$

$$P_M(t)=\sum _F\mu (\varnothing ,F)t^{\mathrm{rk}F}{Z}_{M^F}(t),$$

$$\sum _F\mu (\varnothing ,F)t^{\mathrm{rk}F}{Z}_{M^F}(t)=\sum _F\mu (\varnothing ,F)t^{\mathrm{rk}F}\sum _{F\le G}{t}^{\mathrm{rk}G-\mathrm{rk}F}{P}_{M^G}(t)=\sum _G{t}^{\mathrm{rk}G}{P}_{M^G}(t)\sum _{F\le G}\mu (\varnothing ,F).$$

$$t^{\mathrm{rk}M}{Z}_M(t^{-1})=Z_M(t).$$

$$t^{\mathrm{rk}M}{Z}_M(t^{-1})$$

$$c_M(i)=\sum _F{c}_{M^F}(\mathrm{crk}F-i)-\sum _{F\ne \varnothing }{c}_{M^F}(i-\mathrm{rk}F).$$

$$\sum _F{c}_{M^F}(i-\mathrm{rk}F)=z_M(i)=z_M(\mathrm{rk}M-i)=\sum _F{c}_{M^F}(\mathrm{crk}F-i).$$

$$c_M(i)=\sum _{F\ne \varnothing }{c}_{M^F}(\mathrm{crk}F-i)-\sum _{F\ne \varnothing }{c}_{M^F}(i-\mathrm{rk}F).$$

$$W_{M}(i_{r},\ldots,i_{1}):=\Big{|}\big{\{}(F_{r},\ldots,F_{1})\in L^{r}\mid F_{r}\leq\cdots\leq F_{r}\;\;\text{and $\operatorname{crk}F_{j}=i_{j}$ for all $j$}\big{\}}\Big{|}.$$

$$W_M(i_r,\dots ,i_1)=\sum _{\mathrm{crk}F=i_r}{W}_{M^F}(i_{r-1},\dots ,i_1).$$

$$t_j(S):=\min \{k\mid k\ge j\text{and}k\notin S\}\in \{1,\dots ,r+1\}.$$

$$c(i)=\sum_{r=1}^{i}\;\sum_{S\subset[r]}(-1)^{|S|}\sum_{\begin{subarray}{c}a_{0}<a_{1}<\cdots<a_{r}<a_{r+1}\\ a_{0}=0\\ a_{r}=i\\ a_{r+1}=\operatorname{rk}-i\end{subarray}}W\Big{(}a_{t_{r}(S)}+a_{r-1},\ldots,a_{t_{1}(S)}+a_{0}\Big{)}.$$

$$\sum _{r=1}^i{2}^r\left(\genfrac{}{}{0ex}{}{i-1}{r-1}\right)=2\sum _{s=0}^{i-1}{2}^s\left(\genfrac{}{}{0ex}{}{i-1}{s}\right)=2(1+2{)}^{i-1}=2\cdot 3^{i-1}.$$

$$c(1)=\sum_{S\subset[1]}(-1)^{|S|}\,W\big{(}a_{t_{1}(S)}+a_{0}\big{)}.$$

$$c_M(i)$$

$$t_j(S_0)=\min \{k\mid k\ge j\text{and}k\notin S_0\}=\min \{k\mid k\ge j\text{and}k\notin S\}=t_j(S)$$

$$t_j(S_1)=\{\begin{array}{l}{t}_j(S)\text{if tj(S)≤r}\\ r+2\text{if tj(S)=r+1}.\end{array}$$

$$\sum_{r}\;\sum_{S\subset[r]}(-1)^{|S_{1}|}\sum_{\begin{subarray}{c}b_{0}<b_{1}<\cdots<b_{r+1}<b_{r+2}\\ b_{0}=0\\ b_{r+1}=i\\ b_{r+2}=\operatorname{rk}M-i\end{subarray}}W_{M}\Big{(}b_{t_{r+1}(S_{1})}+b_{r},b_{t_{r}(S_{1})}+b_{r-1},\ldots,b_{t_{1}(S_{1})}+b_{0}\Big{)}.$$

$$c_M(i)$$

$$Z_d(t)=\sum _{k=0}^d{W}_d(k)t^{d-k}{P}_k(t)\text{and}{P}_d(t)=\sum _{k=0}^d{w}_d(k)t^{d-k}{Z}_k(t).$$

$$W_k(d)=\sum _{j=k}^d{2}^{j-k}\left(\genfrac{}{}{0ex}{}{d}{j}\right)S(j,k)\text{and}{w}_k(d)=(-1{)}^{d-k}\sum _{j=k}^d(-2{)}^{d-j}\left(\genfrac{}{}{0ex}{}{j}{k}\right)s(d,j).$$

$$W_d(k)=\{\begin{array}{l}\left(\genfrac{}{}{0ex}{}{d+m}{k+m}\right)\text{if k>0}\\ 1\text{if k=0}\end{array}\text{and}{w}_d(k)=\{\begin{array}{l}(-1{)}^{d-k}(\genfrac{}{}{0ex}{}{d+m}{k+m})\text{if k>0 or d=k=0}\\ {\sum }_{j=0}^m(-1{)}^{d+j}(\genfrac{}{}{0ex}{}{d+m}{d+j})\text{if d>k=0}.\end{array}$$

$$c_d(i)=\sum _{k=0}^{d-1}{W}_d(k)c_k(k-i)-\sum _{k=0}^{d-1}{W}_d(k)c_k(i-d+k).$$

$$W_d(i_r,\dots ,i_1)=\prod _{j=1}^r{W}_{i_{j+1}}(i_j).$$

$$c_{d}(i)\;\;=\;\;\sum_{r=1}^{i}\;\sum_{S\subset[r]}(-1)^{|S|}\sum_{\begin{subarray}{c}0<a_{1}<\cdots<a_{r}<a_{r+1}\\ a_{0}=0\\ a_{r}=i\\ a_{r+1}=\operatorname{rk}-i\end{subarray}}\;\prod_{j=1}^{r}W_{a_{t_{j+1}(S)}+a_{j}}\big{(}a_{t_{j}(S)}+a_{j-1}\big{)}.$$

$$P(t,u):=\sum _{d=0}^{\infty }{P}_d(t)u^d\text{and}Z(t,u):=\sum _{d=0}^{\infty }{Z}_d(t)u^d.$$

$$\tilde{P}(t,u):=\sum _{d=0}^{\infty }{P}_d(t)\frac{u^d}{d!}\text{and}\tilde{Z}(t,u):=\sum _{d=0}^{\infty }{Z}_d(t)\frac{u^d}{d!}.$$

$$g_k(x):=\sum _{d=k}^{\infty }{w}_d(k)x^d\text{and}{G}_k(x):=\sum _{d=k}^{\infty }{W}_d(k)x^d,$$

Full text

**The $Z$-polynomial of a matroid

**

**Nicholas Proudfoot, Yuan Xu, and Benjamin Young

**Department of Mathematics, University of Oregon, Eugene, OR 97403

Abstract. We introduce the $Z$-polynomial of a matroid, which we define in terms of the Kazhdan-Lusztig polynomial. We then exploit a symmetry of the $Z$-polynomial to derive a new recursion for Kazhdan-Lusztig coefficients. We solve this recursion, obtaining a closed formula for Kazhdan-Lusztig coefficients as alternating sums of multi-indexed Whitney numbers. For realizable matroids, we give a cohomological interpretation of the $Z$-polynomial in which the symmetry is a manifestation of Poincaré duality.

1 Introduction

The Kazhdan-Lusztig polynomial $P_{M}(t)$ of a matroid $M$ was introduced by Elias, Wakefield, and the first author in [EPW16]. This invariant has shown itself to be surprisingly rich, with many beautiful properties (most of them still conjectural). For example, the coefficients of $P_{M}(t)$ are conjecturally non-negative; in the case where $M$ is realizable, this is proved by interpreting the coefficients as intersection cohomology Betti numbers of the reciprocal plane of the realization [EPW16, Theorem 3.10]. The polynomial $P_{M}(t)$ is conjecturally log concave [EPW16, Conjecture 2.5] and, even stronger, real rooted [GPY, Conjecture 3.2]. Furthermore, if $M^{\prime}$ is obtained from $M$ by contracting a single element, the roots of $P_{M^{\prime}}(t)$ are conjectured to interlace with those of $P_{M}(t)$ [GPY, Remark 3.5].

If the matroid $M$ has a finite symmetry group $\Gamma$, then one can study the equivariant Kazhdan-Lusztig polynomial $P_{M}^{\Gamma}(t)$ [GPY17], whose coefficients are virtual representations of $\Gamma$ with dimension equal to the coefficients of $P_{M}(t)$. In the case where $M$ is equivariantly realizable over the complex numbers, the same cohomological interpretation allows us to prove that the coefficients are honest representations [GPY17, Corollary 2.12]. The equivariant polynomial $P_{M}^{\Gamma}(t)$ is conjectured to be equivariantly log concave [GPY17, Conjecture 5.3(2)].

Despite all of the surprising structure that these polynomials are conjectured to have, very few examples are completely understood. Kazhdan-Lusztig polynomials of thagomizer matroids coincide with Dyck path polynomials [Gedb, Theorem 1.1(1)], and Kazhdan-Lusztig polynomials of fan matroids conjecturally coincide with Motzkin polynomials [Geda]. The equivariant Kazhdan-Lusztig coefficients of uniform matroids have been computed explicitly [GPY17, Theorem 3.1] and shown to admit the structure of finitely generated FI-modules. In contrast, the equivariant Kazhdan-Lusztig coefficients of braid matroids admit the structure of finitely generated $\operatorname{FS^{op}}$-modules [PY, Theorem 6.1], and no explicit formula has appeared. Indeed, the problem of computing Kazhdan-Lusztig coefficients of braid matroids was the main motivation for this work.

In this paper we introduce the $Z$-polynomial $Z_{M}(t)$, which is defined as a weighted sum of the Kazhdan-Lusztig polynomials of all possible contractions of $M$. The $Z$-polynomial is palindromic (Proposition 2.3), reflecting the fact that, when $M$ is realizable, the coefficients of $Z_{M}(t)$ may be interpreted as intersection cohomology Betti numbers of a projective variety (Theorem 7.2), for which Poincaré duality holds.

Surprisingly, this symmetry of the $Z$-polynomial translates into a recursive formula for Kazhdan-Lusztig coefficients that is different from any of the recursive formulas seen before (Corollary 3.2). In particular, it yields a method for computing Kazhdan-Lusztig coefficients of braid matroids that is much faster than any previously available approach. Furthermore, we are able to use this recursion to obtain a formula that expresses each Kazhdan-Lusztig coefficient of $M$ as a finite alternating sum of multi-indexed Whitney numbers (Theorem 3.3). In the case of braid matroids, this becomes a finite alternating sum of products of Stirling numbers of the second kind (Corollary 4.5). We also obtain an equivariant version of our formula (Theorem 6.1), which takes a particularly nice form for uniform matroids (Proposition 6.3).

Our Theorem 3.3 bears a close resemblance to a recent result of Wakefield [Wak, Theorem 5.1], who also obtained a formula for Kazhdan-Lusztig coefficients as alternating sums of multi-indexed Whitney numbers. It is likely that our formula is equivalent to Wakefield’s, but the combinatorics involved in the two formulas are very different; see Remark 3.6 for further discussion of this point.

Our paper is structured as follows. Section 2 contains the definition of the $Z$-polynomial, the proof of panlindromicity, and the recursion for Kazhdan-Lusztig coefficients that follows from this symmetry. Section 3 uses this recursion to derive the formula for Kazhdan-Lusztig coefficients in terms of multi-indexed Whitney numbers. Section 4 interprets these results in the case where we have a family of matroids that is closed under contractions, such as braid matroids or uniform matroids. One of the results of this section is that Narayana polynomials are special cases of $Z$-polynomials (Proposition 4.9). Section 5 contains conjectures about the roots of the $Z$-polynomial, analogous to the conjectures in [GPY] about the roots of the Kazhdan-Lusztig polynomial. Section 6 explains how to extend our results and conjectures to the equivariant setting.

Finally, Section 7 contains the cohomological interpretation of the $Z$-polynomial. This section provides the key motivation for the definition of the $Z$-polynomial, so in some sense it ought to appear at the very beginning of the paper. However, the methods used Section 7 are quite technical, in contrast with the elementary and purely combinatorial methods employed in the rest of the paper, so we relegated it to the end.

Acknowledgments: The authors are grateful to Sara Billey for originally suggesting the study of the $Z$-polynomial, and to Katie Gedeon and Max Wakefield for discussions regarding the relationship between Theorem 3.3 of this paper and [Wak, Theorem 5.1]. NP is supported by NSF grant DMS-1565036. YX is supported by NSF grant DMS-1510296.

2 Definition and palindromicity

Let $M$ be a matroid on the ground set $\mathcal{I}$, and let $L$ be the lattice of flats of $M$. Given a flat $F\in L$, let $M_{F}$ be the localization of $M$ at $F$; this is the matroid on the ground set $F$ whose lattice of flats is isomorphic to $L_{F}:=\{G\in L\mid G\leq F\}$. Dually, let $M^{F}$ be the contraction of $M$ at $F$; this is the matroid on the ground set $\mathcal{I}\smallsetminus F$ whose lattice of flats is isomorphic to $L^{F}:=\{G\in L\mid G\geq F\}$. For any flat $F$, we have the rank $\operatorname{rk}F:=\operatorname{rk}M_{F}$ and the corank $\operatorname{crk}F:=\operatorname{rk}M^{F}=\operatorname{rk}M-\operatorname{rk}F$.

Let $\chi_{M}(t)\in\mathbb{Z}[t]$ be the characteristic polynomial of $M$, and let $P_{M}(t)\in\mathbb{Z}[t]$ be the Kazhdan-Lusztig polynomial of $M$, as defined in [EPW16, Theorem 2.2]. The Kazhdan-Lusztig polynomial is characterized by the following three properties:

• •

If $\operatorname{rk}M=0$, then $P_{M}(t)=1$.

• •

If $\operatorname{rk}M>0$, then $\deg P_{M}(t)<\tfrac{1}{2}\operatorname{rk}M$.

• •

For every $M$, $\displaystyle t^{\operatorname{rk}M}P_{M}(t^{-1})=\sum_{F}\chi_{M_{F}}(t)P_{M^{F}}(t).$

Definition 2.1**.**

For any matroid $M$, we define the $Z$-polynomial

[TABLE]

Lemma 2.2**.**

We have

[TABLE]

where $\mu:L\times L\to\mathbb{Z}$ is the Möbius function.

Proof.

We have

[TABLE]

Since $\sum_{F\leq G}\mu(\emptyset,F)=\delta(\emptyset,G)$, this is equal to $t^{\operatorname{rk}\emptyset}P_{M^{\emptyset}}(t)=P_{M}(t)$. ∎

Proposition 2.3**.**

For any matroid $M$, $Z_{M}(t)$ is palindromic of degree $\operatorname{rk}M$. That is,

[TABLE]

Proof.

We have

[TABLE]

This completes the proof. ∎

Remark 2.4**.**

In Section 7, we will give a geometric interpretation of the $Z$-polynomial of a realizable matroid, and in this context Proposition 2.3 can be interpreted as Poincaré duality (see Remark 7.3).

Despite the simplicity of the proof, Proposition 2.3 implies a previously unknown recursive formula for Kazhdan-Lusztig coefficients. Let $c_{M}(i)$ and $z_{M}(i)$ denote the coefficients of $t^{i}$ in $P_{M}(t)$ and $Z_{M}(t)$, respectively.

Corollary 2.5**.**

For any matroid $M$ and natural number $i$, we have

[TABLE]

Proof.

We have

[TABLE]

Isolating the first term in the left-hand sum, we obtain the desired equation. ∎

Remark 2.6**.**

Suppose that $2i<\operatorname{rk}M$, which is a necessary condition for $c_{M}(i)$ to be nonzero provided that $\operatorname{rk}M>0$. Then the $F=\emptyset$ term vanishes from the first sum, and we in fact have

[TABLE]

Furthermore, if $i>0$, then $c_{M^{F}}(\operatorname{crk}F-i)=0$ unless $\operatorname{crk}F<2i$, which means that $\operatorname{crk}F-i<i$. This tells us that our recursion expresses $c_{M}(i)$ in terms of other Kazhdan-Lusztig coefficeints $c_{N}(j)$ where $j$ is strictly smaller than $i$ and $N$ has strictly smaller rank than $M$.

3 Kazhdan-Lusztig coefficients and Whitney numbers

In this section we will regard $c(i)$ as a function that takes as input a matroid and produces as output an integer. As we observed in Remark 2.6, the function $c(i)$ can be expressed recursively in terms of the functions $c(0),\ldots,c(i-1)$. If we iterate this procedure $i$ times, we obtain an expression for $c(i)$ that does not involve any Kazhdan-Lusztig coefficients except for $c(0)$, which is the constant function with value 1 [EPW16, Proposition 2.11]. This is exactly what we do in this section.

Given a sequence $i_{r},\ldots,i_{1}$ of integers and a matroid $M$ with lattice of flats $L$, we define the $r$-Whitney number

[TABLE]

We will usually just write $W(i_{r},\ldots,i_{1})$, which we regard as a function that takes matroids to numbers. For example, $W(i)$ is the function that counts the number of flats of corank $i$, while $W(i_{2},i_{1})$ is the function that counts the number of pairs of comparable flats with coranks $i_{2}$ and $i_{1}$.

Remark 3.1**.**

Our conventions differ from the usual ones in that we index our Whitney numbers by corank rather than rank; this will make Theorem 3.3 significantly simpler to state.

Lemma 3.2**.**

Let $M$ be a matroid and $i_{r},\ldots,i_{1}$ a sequence of integers. Then

[TABLE]

Proof.

This is immediate from our description of the lattice of flats of $M^{F}$. ∎

Given positive integers $i$ and $r$ along with a subset $S\subset[r]$, let

[TABLE]

Theorem 3.3**.**

For all $i>0$, we have

[TABLE]

Remark 3.4**.**

If we try to compute $c_{M}(i)$ for a matroid $M$ that does not satisfy the inequality $2i<\operatorname{rk}M$, then the sum will be empty, because the condition $i=a_{r}<a_{r+1}=\operatorname{rk}-i$ is not satisfied. We will therefore obtain the number zero, which is what we expect. Similarly, we can replace the sum over $r$ from 1 to $i$ with a sum over all $r$, because the conditions $0=a_{0}<\cdots<a_{r}=i$ can only be satisfied if $1\leq r\leq i$.

Remark 3.5**.**

Assuming that we are evaluating this function on a matroid whose rank is greater than $2i$, the number of tuples $(a_{0},\ldots,a_{r+1})$ satisfying the given conditions is equal to the number of compositions of $i$ into $r$ parts, which is in turn equal to the binomial coefficient $\binom{i-1}{r-1}$. Thus the total number of terms in our expression for $c(i)$ is equal to

[TABLE]

Remark 3.6**.**

Theorem 3.3 bears a strong similarity to [Wak, Theorem 5.1], where $c(i)$ is also expressed as an alternating sum of $r$-Whitney numbers. It seems likely that there is a bijection between our index set and Wakefield’s index set that makes the signed Whitney numbers in our formula match with those in his. However, this bijection is not at all obvious; in particular, it is not even clear to us how to compute the size of Wakefield’s index set for general $i$. Using a computer, Gedeon determined that the index sets do have the same size when $i\leq 4$.

Proof of Theorem 3.3: We induct on $i$. When $i=1$, our formula says

[TABLE]

We have $t_{1}(\emptyset)=1$ and $t_{1}([1])=2$, so this says $c(1)=W(1)-W(\operatorname{rk}-1)$, which was proved in [EPW16, Proposition 2.12].

Now assume that our formula holds for all $j<i$. Fix a matroid $M$. By Remark 2.6, we may assume that $2i<\operatorname{rk}M$, for otherwise $c_{M}(i)=0$ and the sum is empty. By Remarks 2.6 and 3.4, we have

[TABLE]

We can simplify these expressions by first fixing the corank of $F$ to be some number $k$ and then applying Lemma 3.2. This gives us the formula

[TABLE]

Next, we eliminate $k$ from both sums by observing that $k=a_{r+1}+a_{r}=a_{t_{r+1}(S)}+a_{r}$, and the inequality $k<\operatorname{rk}M$ turns into an inequality involving $a_{r}$. In the first sum, we get the inequality $a_{r}<\operatorname{rk}M-i$, but this is implied by the fact that $a_{r}<a_{r+1}=i<\operatorname{rk}M-i$. In the second sum, we get the inequality $a_{r}<i$, which is not implied by the other conditions. Thus we have

[TABLE]

We now proceed to reindex the two sums. Given a natural number $r$ and a subset $S\subset[r]$, let $S_{0}:=S$ and $S_{1}:=S\cup\{r+1\}$, both regarded as subsets of $[r+1]$. Then

[TABLE]

for all $j$, so we can replace $S$ with $S_{0}$ in the first sum. On the other hand,

[TABLE]

Let $b_{j}=a_{j}$ for $j\leq r$, $b_{r+1}=i$, and $b_{r+2}=\operatorname{rk}M-i$. Then $a_{t_{j}(S)}=b_{t_{j}(S_{1})}$, and the second sum becomes

[TABLE]

(Note that, by replacing $(-1)^{|S|}$ with $(-1)^{|S_{1}|}$, we have absorbed the external minus sign.) All together, this gives us

[TABLE]

Finally, we observe that summing over all subsets $S\subset[r]$ and then separately considering $S_{0}$ and $S_{1}$ is the same as summing over all subsets of $[r+1]$. If we now re-index the outer sum by letting $s=r+1$, we obtain the desired formula for $c_{M}(i)$, and the induction is complete. ∎

4 Nice families

Given two matroids $M$ and $M^{\prime}$, we will write $M\simeq M^{\prime}$ if $M$ and $M^{\prime}$ have isomorphic simplifications, or (equivalently) if they have isomorphic lattices of flats. Since the Kazhdan-Lusztig polynomial is defined in terms of the lattice of flats, we have $P_{M}(t)=P_{M^{\prime}}(t)$ whenever $M\simeq M^{\prime}$.

We define a nice family to be a sequence of matroids $\{M_{d}\mid d\geq 0\}$ with the property that $\operatorname{rk}M_{d}=d$ and, for any corank $k$ flat $F$ of $M_{d}$, we have $M_{d}^{F}\simeq M_{k}$. Examples of nice families include the following.

$M_{d}$ is the braid matroid of rank $d$. Equivalently, this is the matroid associated with the complete graph on $d+1$ vertices, or the matroid associated with the Coxeter arrangement of type $A_{d}$. 2. 2.

$M_{d}$ is the matroid associated with the Coxeter arrangement of type $B_{d}$. 3. 3.

$M_{d}=U_{m,d}$ is the uniform matroid of rank $d$ on $m+d$ elements, where $m$ is fixed. 4. 4.

$M_{d}$ is the matroid represented by all vectors in $\mathbb{F}_{q}^{d}$, where $q$ is a fixed prime power.

Remark 4.1**.**

The matroids associated with Coxeter arrangements of type D do not form a nice family. For such a matroid, the contraction of a flat of rank 1 is no longer a matroid associated with any Coxeter arrangement.

Fix a nice family. For ease of notation, we will write $P_{d}=P_{M_{d}}$, $Z_{d}=Z_{M_{d}}$, $W_{d}=W_{M_{d}}$, and $c_{d}=c_{M_{d}}$. Recall that $W_{d}(k)$ is the number of flats of $M_{d}$ of corank $k$, and let $w_{d}(k):=\sum_{\operatorname{crk}F=k}\mu(\emptyset,F)$ be the coefficient of $t^{k}$ in the characteristic polynomial of $M_{d}$. Then Definition 2.1 and Lemma 2.2 tell us that

[TABLE]

In the four families described above, we have the following.

For the braid matroid, $W_{d}(k)=S(d+1,k+1)$ and $w_{d}(k)=s(d+1,k+1)$ are Stirling numbers of the second and first kind, respectively. 2. 2.

For the matroid associated with the type $B_{d}$ Coxeter arrangement,

[TABLE]

The first formula appears in [Sut00, Proposition 3]. The second appears in [Slo14, Sequence A028338], using the fact that the exponents of this arrangement are $1,3,\ldots,2d-1$. 3. 3.

For the uniform matroid $U_{m,d}$,

[TABLE] 4. 4.

For the matroid represented by all vectors in $\mathbb{F}_{q}^{d}$, $W_{d}(k)=\displaystyle\binom{d}{k}_{\!\!q}$ and $w_{d}(k)=(-1)^{d-k}q^{\binom{d-k}{2}}\displaystyle\binom{d}{k}_{\!\!q}.$

Corollary 2.5 and Remark 2.6 translate to the following statement.

Corollary 4.2**.**

If $2i<d$, then

[TABLE]

Remark 4.3**.**

Corollary 4.2 has proved to be faster than any previously known formula for computing the Kazhdan-Lusztig coefficients of the braid matroid.

We may also interpret $r$-Whitney numbers in terms of the numbers $W_{d}(k)$. The following result follows from Lemma 3.2.

Corollary 4.4**.**

If we set $i_{r+1}:=d$, then we have

[TABLE]

Combining Corollary 4.4 with Theorem 3.3, we obtain the following result.

Corollary 4.5**.**

We have

[TABLE]

Given a nice family, it is natural to use generating functions to collect the Kazhdan-Lusztig polynomials and the $Z$-polynomials. Let

[TABLE]

We will also be interested in the exponential generating functions

[TABLE]

In addition, consider the generating functions

[TABLE]

along with their exponential analogues

[TABLE]

Proposition 4.6**.**

We have

[TABLE]

and also

[TABLE]

Proof.

We have

[TABLE]

which is equal to $P(t,u)$ by Equation (1). The proofs of the other three statements are identical. ∎

Example 4.7**.**

In type A (the first example), Proposition 4.6 is most elegant in its exponential version. We have

[TABLE]

so Proposition 4.6 says that

[TABLE]

Example 4.8**.**

In type B (the second example), we have

[TABLE]

so Proposition 4.6 says that

[TABLE]

We next consider the third example when $m=1$, so that $M_{d}$ is the uniform matroid of rank $d$ on $d+1$ elements. In this case, we can use Proposition 4.6 to derive a precise formula for the $Z$-polynomial.

Proposition 4.9**.**

If $M_{d}$ is the uniform matroid of rank $d$ on $d+1$ elements, then the coefficient $z_{d}(i)$ of $t^{i}$ in $Z_{d}(t)$ is equal to the Narayana number $N(d+1,i+1)=\frac{1}{d+1}\binom{d+1}{i+1}\binom{d+1}{i}$.

Proof.

We have

[TABLE]

if $k>0$, and

[TABLE]

Proposition 4.6 therefore tells us that

[TABLE]

In [PWY16, Section 2], we showed that

[TABLE]

Setting $v=\frac{u}{1-tu}$, we obtain an explicit algebraic expression for $Z(t,u)$. On the other hand, it is shown in [Pet15, Equation (2.6)] that

[TABLE]

It is an elementary exercise to check that this formula coincides with our expression for $Z(t,u)$. ∎

Example 4.10**.**

Finally, we consider the fourth example, where $M_{d}$ is the matroid represented by all vectors in $\mathbb{F}_{q}^{d}$. This matroid is modular, so we have $P_{d}(t)=1$ for all $d$ [EPW16, Proposition 2.14]. It follows that

[TABLE]

5 Roots of the $Z$-polynomial

In [GPY, Conjecture 3.2], we conjectured that the polynomial $P_{M}(t)$ is real rooted. Here we make the analogous conjecture for the $Z$-polynomial.

Conjecture 5.1**.**

For any matroid $M$, all of the roots of $Z_{M}(t)$ lie on the negative real axis.

We also gave a conjectural relationship between the roots of $P_{M}(t)$ and the roots of a contraction of $P_{M/e}(t)$, where $e\in\mathcal{I}$ is a non-loop of $M$ [GPY, Conjecture 3.3], assuming certain nondegeneracy conditions. Here we make a similar conjecture for $Z$-polynomials, but rather than attempting to formulate the correct nondegeneracy conditions, we focus on the case of a nice family, where the conjecture takes a particularly clean form. If $f(t)$ is a polynomial of degree $d$ with roots $\alpha_{1}\leq\cdots\leq\alpha_{d}$ and $g(t)$ is a polynomial of degree $d-1$ with roots $\beta_{1}\leq\cdots\leq\beta_{d-1}$, we say that $f(t)$ interlaces $g(t)$ if $\alpha_{i}\leq\beta_{i}\leq\alpha_{i+1}$ for all $0<i<d$. If the inequalities are strict, we say that $f(t)$ strictly interlaces $g(t)$.

Conjecture 5.2**.**

If $\{M_{d}\mid d\geq 0\}$ is a nice family, then for all $d$, $Z_{d}(t)$ interlaces $Z_{d-1}(t)$.

Example 5.3**.**

Suppose that $M_{d}$ is the uniform matroid of rank $d$ on $d+1$ elements. We showed in Proposition 4.9 that $Z_{d}(t)=\sum_{i=0}^{d}N(d+1,i+1)t^{i}$ is a Narayana polynomial, and these polynomials are known to have interlacing negative real roots [Pet15, Problem 4.7]. Thus Conjectures 5.1 and 5.2 hold for this nice family.

Remark 5.4**.**

It is interesting to compare the state of affairs for the Kazhdan-Lusztig polynomials and the $Z$-polynomials of the matroids in Example 5.3. The Kazhdan-Lusztig polynomials are known to have negative real roots [GPY, Theorem 3.3], but the interlacing property for Kazhdan-Lusztig polynomials [GPY, Conjecture 3.4] is still open, even in this simple example.

Proposition 5.5**.**

Fix a prime power $q$. If $M_{d}$ is the matroid represented by all vectors in $\mathbb{F}_{q}^{d}$, then Conjectures 5.1 and 5.2 hold for the nice family $\{M_{d}\mid d\geq 0\}$.

Proof.

We will prove a slightly stronger statement by induction on $d$. We will prove that, for every $d$, $Z_{d}(t)$ has roots $\alpha_{1},\ldots,\alpha_{d}<0$ with $\alpha_{i}<q\alpha_{i+1}$ for all $0<i<d$, and that $Z_{d}(t)$ strictly interlaces $Z_{d-1}(t)$. The statement is trivial when $d=1$.

Assume that $Z_{d-1}(t)$ has roots $\beta_{1},\ldots,\beta_{d-1}<0$ with $\beta_{i}<q\beta_{i+1}$ for all $0<i<d-1$. Since $Z_{d-1}(t)$ has $d-1$ distinct real roots, it changes sign at each root. Since $\beta_{i-1}<q\beta_{i}<\beta_{i}$ for all $1<i<d$ and $Z_{d-1}(0)=1$, this implies that $(-1)^{d}Z_{d-1}(q\beta_{i})$ is positive when $i$ is even and negative when $i$ is odd.

As observed in Example 4.10, we have

[TABLE]

Using the identity

[TABLE]

this implies that

[TABLE]

In particular, we have

[TABLE]

This tells us that the numbers $Z_{d}(\beta_{i})$ alternate in sign, and therefore that for all $1<i<d$ there exists a root $\alpha_{i}$ of $Z_{d}(t)$ with $\alpha_{i}\in(\beta_{i-1},\beta_{i})$. In addition, we know that $Z_{d}(\beta_{d-1})=Z_{d-1}(q\beta_{d-1})<0$ but $Z_{d}(0)=1$, so there must exist a root $\alpha_{d}$ of $Z_{d}(t)$ with $\beta_{d-1}<\alpha_{d}<0$. Similarly, we know that $(-1)^{d}Z_{d}(\beta_{1})=(-1)^{d}Z_{-1}(q\beta_{1})<0$ but $(-1)^{d}Z_{d}(t)$ is positive for $t$ sufficiently negative, so there must exist a root $\alpha_{1}<\beta_{1}$. This proves that the roots of $Z_{d}(t)$ lie on the negative real axis and $Z_{d}(t)$ strictly interlaces $Z_{d-1}(t)$.

To complete the induction, we still need to prove that $\alpha_{i}<q\alpha_{i+1}$ for all $0<i<d$. For all such $i$, we have

[TABLE]

and

[TABLE]

We know that $\alpha_{i}Z_{d-1}(\alpha_{i})$ and $\alpha_{i+1}Z_{d-1}(\alpha_{i+1})$ have opposite signs, therefore so do $Z_{d-1}(q\alpha_{i})$ and $Z_{d-1}(q\alpha_{i+1})$. It follows there there is a root $\beta_{j_{i}}$ of $Z_{d-1}(t)$ in between $q\alpha_{i}$ and $q\alpha_{i+1}$. Since $\beta_{j_{1}}<\cdots<\beta_{j_{d-1}}$, we must have $j_{i}=i$, and therefore $\alpha_{i}<\beta_{i}<q\alpha_{i+1}$. ∎

Remark 5.6**.**

We have proved Conjectures 5.1 and 5.2 for our third family when $m=1$ (Example 5.3) and for our fourth family (Proposition 5.5). For the first two families, and for the third family when $2\leq m\leq 10$, we have checked the conjectures on a computer for all $d\leq 30$.

6 Equivariant matroids

An equivariant matroid $\Gamma\curvearrowright M$ consists of a finite group $\Gamma$, a matroid $M$ with ground set $\mathcal{I}$, and an action of $\Gamma$ on $\mathcal{I}$ that takes flats of $M$ to flats of $M$. In [GPY17], we defined the Kazhdan-Lusztig polynomial $P_{M}^{\Gamma}(t)$ of an equivariant matroid111In [GPY17], we always denoted our group by $W$. Here we use the letter $\Gamma$ to avoid conflict with our notation for Whitney numbers. $\Gamma\curvearrowright M$. This is a polynomial whose coefficients are virtual representations of $\Gamma$; equivalently, it is a graded virtual representation. If we forget the action of $\Gamma$ and take the graded dimension, we recover the ordinary Kazhdan-Lusztig polynomial of $M$.

All of the material in Sections 2 and 3 generalizes easily to equivariant matroids, starting with the definition of the $Z$-polynomial. Let $L$ denote the lattice of flats of $M$. For any flat $F\in L$, let $\Gamma_{F}\subset\Gamma$ denote the stabilizer of $M$. We may then define

[TABLE]

The generalization of Theorem 3.3 comes from interpreting $r$-Whitney numbers as permutation representations. More precisely, given an equivariant matroid $\Gamma\curvearrowright M$ and a sequence of integers $i_{r},\ldots,i_{1}$, let $W_{M}^{\Gamma}(i_{r},\ldots,i_{1})$ be the representation of $\Gamma$ with basis

[TABLE]

We omit the proof of the following result, as it does not differ significantly from the proof of Theorem 3.3.

Theorem 6.1**.**

For all $i>0$, we have

[TABLE]

Theorem 6.1 takes a particularly nice form for uniform matroids. Let $\operatorname{ch}_{n}$ be the Frobenius characteristic, which takes representations of the symmetric group $S_{n}$ to symmetric functions of degree $n$ in infinitely many variables. Let $s[n]:=\operatorname{ch}_{n}\operatorname{triv}$ be the complete homogeneous symmetric function of degree $n$.

Proposition 6.2**.**

We have

[TABLE]

Proof.

The symmetric group $S_{m+d}$ acts transitively on the set

[TABLE]

with stabilizers conjugate to the Young subgroup $G:=S_{d-i_{r}}\times S_{i_{r}-i_{r-1}}\times\cdots\times S_{i_{2}-i_{1}}\times S_{m+i_{1}}$. It follows that $W_{U_{m,d}}^{S_{m+d}}(i_{r},\ldots,i_{1})$ is isomorphic to $\operatorname{Ind}_{G}^{S_{m+d}}\operatorname{triv}$, and the Frobenius characteristic of the induction of the trivial representation from a Young subgroup is equal to the product of the corresponding complete homogeneous symmetric polynomials. ∎

Corollary 6.3**.**

For all $i>0$, we have

[TABLE]

Proof.

By Theorem 6.1 and Proposition 6.2, we need to show that

[TABLE]

is equal to the summand in the statement of the corollary. First, we note that $a_{0}=0$, so the last factor is equal to $s[m+a_{t_{1}(S)}]$. Next, we note that $d=a_{r+1}+a_{r}=a_{t_{r+1}(S)}+a_{r}$, so the first $r$ factors of the product may be written uniformly as

[TABLE]

For each $j\in[r]$, we have

[TABLE]

therefore the expression $a_{t_{j+1}(S)}+a_{j}-a_{t_{j}(S)}-a_{j-1}$ is equal to $a_{t_{j+1}(S)}-a_{j-1}$ if $j\notin S$ and $a_{j}-a_{j-1}$ if $j\in S$. The result follows. ∎

Remark 6.4**.**

A positive formula for $c_{U_{m,d}}^{S_{m+d}}(i)$ was given in [GPY17, Theorem 3.1]. It would be interesting to see if one could give an alternative proof of that result using Corollary 6.3.

If $V=\oplus V_{i}$ is a graded virtual representation of a group $\Gamma$, we say that $V$ is equivariantly log concave if, for all $i$, $V_{i}^{\otimes 2}-V_{i-1}\otimes V_{i+1}$ is isomorphic to an honest representation. We say that $V$ is strongly equivariantly log concave if, for all $i\leq j\leq k\leq l$ with $i+l=j+k$, $V_{j}\otimes V_{k}-V_{i}\otimes V_{l}$ is isomorphic to an honest representation. If $\Gamma$ is the trivial group, then log concavity and strong log concavity are equivalent, and agree with the usual notion of log concavity for a sequence of integers. For nontrivial $\Gamma$, however, strong equivariant log concavity is a strictly stronger condition with the desirable property of being preserved under tensor product [GPY17, Remark 5.8]. The following conjecture is the $Z$-version of [GPY17, Conjecture 5.3(2)].

Conjecture 6.5**.**

For any equivariant matroid $\Gamma\curvearrowright M$, $Z_{M}^{\Gamma}(t)$ is strongly equivariantly log concave.

Remark 6.6**.**

Polynomials whose roots lie on the negative real axis are log concave in the usual sense, hence if $\Gamma$ is the trivial group, Conjecture 6.5 is a weaker version of Conjecture 5.1.

Proposition 6.7**.**

Fix a natural number $d$ and a prime power $q$. Let $M$ be the matroid represented by all vectors in $\mathbb{F}_{q}^{d}$ and let $\Gamma=\operatorname{GL}_{n}(\mathbb{F}_{q})$. Conjecture 6.5 holds for $\Gamma\curvearrowright M$.

Proof.

As we observed in Remark 5.6, $M$ is modular, so the equivariant Kazhdan-Lusztig polynomial of $M$ (and of all of its contractions) is the trivial representation in degree zero. This means that the coefficient $z_{M}^{\Gamma}(k)$ of $t^{k}$ in $Z_{M}^{\Gamma}(t)$ is equal to $W^{\Gamma}_{M}(d-k)$, the permutation representation on the set $G_{q}(d,k)$ of $k$-dimensional linear subspaces of $\mathbb{F}_{q}^{d}$.

Fix indices $i\leq j\leq k\leq l$ with $i+l=j+k$. Let

[TABLE]

Since $S$ is a $\Gamma$-equivariant subset of $G_{q}(d,j)\times G_{q}(d,k)$, the permutation representation $\mathbb{C}[S]$ is naturally a direct summand of \mathbb{C}\big{[}G_{q}(d,j)\times G_{q}(d,k)\big{]}.

The map $(V_{j},V_{k})\mapsto(V_{j}\cap V_{k},V_{j}+V_{k})$ is a $\Gamma$-equivariant surjection from $S$ to $G_{q}(d,i)\times G_{q}(d,l)$. Pulling back functions, we obtain an injection

[TABLE]

This completes the proof. ∎

Remark 6.8**.**

Propositions 5.5 and 6.7 each strengthen in a different direction the well known fact that the polynomial $\sum_{k=0}^{d}\binom{d}{k}_{\!q}t^{k}$ is log concave in the usual sense.

Remark 6.9**.**

The proof of Proposition 6.7 generalizes to any modular matroid. One only has to replace $G_{q}(d,k)$ with the set of flats of rank $k$, replace intersection with meet, and replace sum with join, and the proof goes through verbatim in the more general setting.

7 Geometric interpretation

Let $k$ be any field, and let $V\subset\mathbb{A}_{k}^{\mathcal{I}}$ be a linear subspace. The matroid $M(V)$ on the ground set $\mathcal{I}$ is characterized by the condition that $F\subset\mathcal{I}$ is a flat if and only if there exists an element $v=(v_{i})_{i\in\mathcal{I}}\in V$ such that $F=\{i\mid v_{i}=0\}$. The Kazhdan-Lusztig polynomial of $M(V)$ has a geometric interpretation [EPW16, Section 3], and a similar interpretation exists for the $Z$-polynomial, as we explain below. This section is independent of the rest of the paper, but Theorem 7.2 provides motivation for the definition of the $Z$-polynomial.

Let $Y(V)$ be the closure of $V$ inside of $(\mathbb{P}^{1}_{k})^{\mathcal{I}}$; this variety was studied in [AB16]222In [AB16], the authors define the matroid associated with $V$ to be the dual of the matroid that we have defined. as well as in [HW, Section 4]. We call $Y(V)$ the Schubert variety of $V$, in analogy with Schubert varieties in the flag variety of a semisimple algebraic group. Let $X(V)\subset Y(V)$ be the locus where no coordinate is equal to zero. This is called the reciprocal plane of $V$. The following theorem appeared in [EPW16, Theorem 3.10 and Proposition 3.12].

Theorem 7.1**.**

If $k$ is a finite field and $\ell$ is a prime not equal to the characteristic of $k$, then the $\ell$-adic étale intersection cohomology of $X(V)$ vanishes in odd degree, and

[TABLE]

If $k=\mathbb{C}$, the same result holds for topological intersection cohomology.

In this section we prove the analogous result for the $Z$-polynomial.

Theorem 7.2**.**

If $k$ is a finite field and $\ell$ is a prime not equal to the characteristic of $k$, then the $\ell$-adic étale intersection cohomology of $Y(V)$ vanishes in odd degree, and

[TABLE]

If $k=\mathbb{C}$, the same result holds for topological intersection cohomology.

Remark 7.3**.**

In light of Theorem 7.2, Proposition 2.3 for $M(V)$ may be interpreted as Poincaré duality for the intersection cohomology of the projective variety $Y(V)$.

Remark 7.4**.**

Any matroid that can be realized over some field can be realized over a finite field, so Theorems 7.1 and 7.2 apply to all realizable matroids.

A nonempty subset $C\subset\mathcal{I}$ is called a circuit if and only if, for every flat $F$, $|C\cap F^{c}|\neq 1$. Conversely, a subset $F\subset\mathcal{I}$ is a flat if and only if, for every circuit $C$, $|C\cap F^{c}|\neq 1$. Given a circuit $C$, there exist elements $(C_{i})_{i\in C}\subset(k^{\times})^{C}$ such that $\sum_{i}C_{i}v_{i}=0$ for all $v\in V$, and these elements are unique up to scale. The homogeneous coordinate ring of $Y(V)\subset(\mathbb{P}^{1}_{k})^{\mathcal{I}}$ has the following description [AB16, Theorem 1.3(a)]:

[TABLE]

where

[TABLE]

Given a point $p\in Y(V)$, let $F_{p}:=\{i\in\mathcal{I}\mid p_{i}\neq\infty\}.$

Lemma 7.5**.**

The set $F_{p}$ is a flat.

Proof.

If $F_{p}$ is not a flat, then there exists a circuit $C$ and an element $i\in\mathcal{I}$ such that $F_{p}^{c}\cap C=\{i\}$. For all $j\in C\smallsetminus\{i\}$, $y_{C\smallsetminus\{j\}}$ is a multiple of $y_{i}$, which vanishes at $p$. But $x_{i}$ does not vanish at $p$, nor does $y_{C\smallsetminus\{i\}}$. This contradicts the fact that $f_{C}$ vanishes at $p$. ∎

For any flat $F$, let $V^{F}\subset\mathbb{A}^{F^{c}}_{k}$ be the intersection of $V$ with $\mathbb{A}^{F^{c}}_{k}$ inside of $\mathbb{A}_{k}^{\mathcal{I}}$, and let $V_{F}\subset\mathbb{A}^{F}_{k}$ be the image of $V$ along the projection from $\mathbb{A}_{k}^{\mathcal{I}}$. Concretely, $V_{F}$ is cut out of $\mathbb{A}^{F}_{k}$ by the linear equations $f_{C}(x,1)$ for all circuits $C\subset F$. Then we have $M(V^{F})=M(V)^{F}$ and $M(V_{F})=M(V)_{F}$. Let $Y(V)_{F}:=\{p\in Y(V)\mid F_{p}=F\}$, so that $Y(V)=\bigsqcup_{F}Y(V)_{F}$.

Lemma 7.6**.**

For any flat $F$, there is a canonical isomorphism $Y(V)_{F}\cong V_{F}$.

Proof.

The affine coordinate ring of $Y(V)_{F}$ is obtained from $k[Y(V)]$ by setting $x_{i}=1$ and $y_{i}=0$ for all $i\in F^{c}$ and $y_{j}=1$ for all $j\in F$. This ring is isomorphic to

[TABLE]

As observed above, these are exactly the equations that define $V_{F}$ inside of $\mathbb{A}^{F}_{k}$. ∎

Fix a prime $\ell$ different from the characteristic of $k$. The $\ell$-adic étale intersection cohomology group of $Y(V)$ is defined as

[TABLE]

For any point $p\in Y(V)$, we define

[TABLE]

to be the cohomology of the stalk of the IC sheaf at $p$.

Lemma 7.7**.**

For any point $p\in Y(V)$, \operatorname{IH}^{*}_{p}\!\big{(}Y(V);\overline{\mathbb{Q}}_{\ell}\big{)} is isomorphic to \operatorname{IH}^{*}\!\big{(}X(V^{F_{p}});\overline{\mathbb{Q}}_{\ell}\big{)}.

Proof.

Since the IC sheaf is locally constant along strata, we may assume that $p_{i}\neq 0$ for all $i$, which means that $p$ lies in the open subscheme $X(V)\subset Y(V)$. The result then follows from the analogous statement for $X(V)$, which is proved in [EPW16, Lemma 3.8]. ∎

Proof of Theorem 7.2: We follow a slightly modified version of the argument in [PWY16, Section 3]. For any flat $F$, let $\iota_{F}:Y(V)_{F}\to Y(V)$ be the inclusion of the stratum indexed by $F$. There is a first quadrant cohomological spectral sequence $E$ with

[TABLE]

By Lemmas 7.6 and 7.7 and Poincaré duality,

[TABLE]

We know that \operatorname{IH}^{p-q}\!\big{(}X(V^{F});\overline{\mathbb{Q}}_{\ell}\big{)} vanishes unless $p-q$ is even [EPW16, Proposition 3.9]. This implies that the spectral sequence degenerates at the $E_{1}$ page, \operatorname{IH}^{m}\!\big{(}Y(V);\overline{\mathbb{Q}}_{\ell}\big{)}=0 unless $m$ is even, and

[TABLE]

We now apply Poincaré duality for \operatorname{IH}^{*}\!\big{(}Y(V);\overline{\mathbb{Q}}_{\ell}\big{)} to see that we can replace $i$ with $\operatorname{rk}M-i$, which has the effect of replacing $\operatorname{crk}F-i$ with $i-\operatorname{rk}F$. Thus

[TABLE]

By Theorem 7.1, \operatorname{dim}\operatorname{IH}^{2(i-\operatorname{rk}F)}\!\big{(}X(V^{F});\overline{\mathbb{Q}}_{\ell}\big{)}=c_{M(V^{F})}(i-\operatorname{rk}F)=c_{M(V)^{F}}(i-\operatorname{rk}F), thus

[TABLE]

The same argument works for topological intersection cohomology when $k=\mathbb{C}$. ∎

Remark 7.8**.**

Theorems 7.1 and 7.2 also hold equivariantly. That is, if $\Gamma$ acts on $\mathcal{I}$ in such a way so that $V\subset k^{\mathcal{I}}$ is a subrepresentation, then $\Gamma$ acts on $M(V)$, $X(V)$, and $Y(V)$, and we have

[TABLE]

as graded representations of $\Gamma$. This holds for $\ell$-adic intersection cohomology when $k$ is a finite field as well as for topological intersection cohomology when $k=\mathbb{C}$.

The first statement for $k=\mathbb{C}$ appears in [GPY17, Corollary 2.12]; see also [PY, Theorem 3.1]. The finite field version can be proved similarly; the only technical point is that in the $k=\mathbb{C}$ case we argue that the maps in a certain spectral sequence333Here we refer to the spectral sequence $\tilde{E}$ that appears in [PWY16, Section 3]. must strictly preserve weights in the mixed Hodge filtration, and in the finite field version we instead use the fact that these maps are equivariant for the action of the Frobenius automorphism.

Once we know the first statement, the proof of Theorem 7.2 extends without modification to the equivariant setting, and the second statement is proved, as well.

Remark 7.9**.**

Consider the category $\mathcal{O}(V)$ of perverse sheaves on $Y(V)$ that are smooth with respect to the stratification described in this section. This category has some very nice properties; see for example [BGS96, 3.3.1] when $k=\mathbb{C}$ and [BGS96, 4.4.4] when $k$ is a finite field. In particular,

[TABLE]

which in turn is given by the (backward) graded dimension of the Ext group from the skyscraper sheaf at the point $\infty$ to the IC sheaf of $Y(V)$. Other Ext groups from standard objects to simple objects are measured by Kazhdan-Lusztig polynomials of localizations of contractions of $M(V)$.