{
  "id": "1301.0425",
  "version": "v3",
  "published": "2013-01-03T11:37:32.000Z",
  "updated": "2015-06-08T22:00:46.000Z",
  "title": "Operational K-theory",
  "authors": [
    "Dave Anderson",
    "Sam Payne"
  ],
  "comment": "38 pages; v2: new exampes in Sections 5 and 7, and an new application (Theorem 1.4), showing that the natural map from K-theory of perfect complexes to the dual of the Grothendieck group of coherent sheaves is surjective for complete toric threefolds; v3: final version published in Documenta Math",
  "journal": "Documenta Math. 20 (2015), 357--399",
  "categories": [
    "math.AG",
    "math.KT"
  ],
  "abstract": "We study the operational bivariant theory associated to the covariant theory of Grothendieck groups of coherent sheaves, and prove that it has many geometric properties analogous to those of operational Chow theory. This operational K-theory agrees with Grothendieck groups of vector bundles on smooth varieties, admits a natural map from the Grothendieck group of perfect complexes on general varieties, satisfies descent for Chow envelopes, and is A^1-homotopy invariant. Furthermore, we show that the operational K-theory of a complete linear variety is dual to the Grothendieck group of coherent sheaves. As an application, we show that the K-theory of perfect complexes on any complete toric threefold surjects onto this group. Finally, we identify the equivariant operational K-theory of an arbitrary toric variety with the ring of integral piecewise exponential functions on the associated fan.",
  "revisions": [
    {
      "version": "v2",
      "updated": "2014-02-16T00:41:29.000Z",
      "abstract": "We study the operational bivariant theory associated to the covariant theory of Grothendieck groups of coherent sheaves, and prove that it has many geometric properties analogous to those of operational Chow theory. This operational K-theory agrees with Grothendieck groups of vector bundles on smooth varieties, admits a natural map from the Grothendieck group of perfect complexes on general varieties, satisfies descent for Chow envelopes, and is A^1-homotopy invariant. Furthermore, we show that the operational K-theory of a complete linear variety is dual to the Grothendieck group of coherent sheaves. As an application, we show that the K-theory of perfect complexes on any complete toric threefold surjects onto this group. Finally we identify the equivariant operational K-theory of an arbitrary toric variety with the ring of integral piecewise exponential functions on the associated fan.",
      "comment": "38 pages; v2: new exampes in Sections 5 and 7, and an new application (Theorem 1.4), showing that the natural map from K-theory of perfect complexes to the dual of the Grothendieck group of coherent sheaves is surjective for complete toric threefolds. Other minor edits and improvements throughout",
      "journal": null,
      "doi": null
    },
    {
      "version": "v3",
      "updated": "2015-06-08T22:00:46.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "14C35",
      "13D15",
      "14C15",
      "14C17",
      "14M25",
      "19D10"
    ],
    "keywords": [
      "grothendieck group",
      "perfect complexes",
      "coherent sheaves",
      "complete toric threefold surjects",
      "operational bivariant theory"
    ],
    "tags": [
      "journal article"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 38,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2013arXiv1301.0425A"
    }
  }
}