%0 Generic %1 Speyer2006 %A Speyer, David E %D 2006 %K Grassmannian Hacking K-theory Kapranov Keel Lie Plücker Speyer Tevelev characteristic closure combinatorics complex face group line matroid orbit plane point scheme sheaf space stratum torus tropics %T A matroid invariant via the K-theory of the Grassmannian %U http://arxiv.org/abs/math/0603551 %X Let G(d,n) denote the Grassmannian of d-planes in C^n and let T be the torus (C^*)^n/diag(C^*) which acts on G(d,n). Let x be a point of G(d,n) and let Tx be the closure of the T-orbit through x. Then the class of the structure sheaf of Tx in the K-theory of G(d,n) depends only on which Pl"ucker coordinates of x are nonzero -- combinatorial data known as the matroid of x. In this paper, we will define a certain map of additive groups from the K-theory of G(d,n) to Zt. Letting g_x(t) denote the image of (-1)^n-dim Tx O_Tx, g_x behaves nicely under the standard constructions of matroid theory. Specifically, g_x_1 x_2(t)=g_x_1(t) g_x_2(t), g_x_1 +_2 x_2(t)=g_x_1(t) g_x_2(t)/t, g_x(t) = g_x^\perp(t) and g_x is unaltered by series and parallel extensions. Furthermore, the coefficients of g_x are nonnegative. The existence of this map implies bounds on (essentially equivalently) the complexity of Kapranov's Lie complexes, Hacking, Keel and Tevelev's very stable pairs and the author's tropical linear spaces when they are realizable in characteristic zero. Namely, in characteristic zero, a Lie complex or the underlying d-1 dimensional scheme of a very stable pair can have at most (n-i-1)! / (d-i)!(n-d-i)!(i-1)! strata of dimensions n-i and d-i respectively and a tropical linear space realizable in characteristic zero can have at most this many i-dimensional bounded faces.

@misc{Speyer2006, abstract = { Let G(d,n) denote the Grassmannian of d-planes in C^n and let T be the torus (C^*)^n/diag(C^*) which acts on G(d,n). Let x be a point of G(d,n) and let \bar{Tx} be the closure of the T-orbit through x. Then the class of the structure sheaf of \bar{Tx} in the K-theory of G(d,n) depends only on which Pl\"ucker coordinates of x are nonzero -- combinatorial data known as the matroid of x. In this paper, we will define a certain map of additive groups from the K-theory of G(d,n) to Z[t]. Letting g_x(t) denote the image of (-1)^{n-dim Tx} [ O_{\bar{Tx}}], g_x behaves nicely under the standard constructions of matroid theory. Specifically, g_{x_1 \oplus x_2}(t)=g_{x_1}(t) g_{x_2}(t), g_{x_1 +_2 x_2}(t)=g_{x_1}(t) g_{x_2}(t)/t, g_x(t) = g_{x^{\perp}}(t) and g_x is unaltered by series and parallel extensions. Furthermore, the coefficients of g_x are nonnegative. The existence of this map implies bounds on (essentially equivalently) the complexity of Kapranov's Lie complexes, Hacking, Keel and Tevelev's very stable pairs and the author's tropical linear spaces when they are realizable in characteristic zero. Namely, in characteristic zero, a Lie complex or the underlying d-1 dimensional scheme of a very stable pair can have at most (n-i-1)! / (d-i)!(n-d-i)!(i-1)! strata of dimensions n-i and d-i respectively and a tropical linear space realizable in characteristic zero can have at most this many i-dimensional bounded faces. }, added-at = {2008-12-23T17:08:43.000+0100}, author = {Speyer, David E}, biburl = {https://www.bibsonomy.org/bibtex/2de3f488f0cec69f28b56e7b94de474c1/fwd13}, description = {A matroid invariant via the K-theory of the Grassmannian}, interhash = {4f19ccd4e530ba36e59da9ea3446e061}, intrahash = {de3f488f0cec69f28b56e7b94de474c1}, keywords = {Grassmannian Hacking K-theory Kapranov Keel Lie Plücker Speyer Tevelev characteristic closure combinatorics complex face group line matroid orbit plane point scheme sheaf space stratum torus tropics}, note = {cite arxiv:math/0603551 }, timestamp = {2008-12-23T19:18:41.000+0100}, title = {A matroid invariant via the K-theory of the Grassmannian}, url = {http://arxiv.org/abs/math/0603551}, year = 2006 }