Combinatorial intersection cohomology for fans.

*(English)*Zbl 1055.14024Summary: We investigate minimal extension sheaves on arbitrary (possibly non-rational) fans as an approach toward a combinatorial “virtual” intersection cohomology. These are flabby sheaves of graded modules over a sheaf of polynomial rings, satisfying three relatively simple axioms that characterize the equivariant intersection cohomology sheaves on toric varieties. As in “classical” intersection cohomology, minimal extension sheaves are models for the pure objects of a “perverse category”: a decomposition theorem holds. The analysis of the step from equivariant to non-equivariant intersection cohomology of toric varieties leads us to investigate “quasi-convex” fans (generalizing fans with convex or “co-convex” support), where our approach yields a meaningful virtual intersection cohomology. We characterize such fans by a topological condition and prove a version of Stanley’s “Local-Global” formula relating the global intersection Poincaré polynomial to local data. Virtual intersection cohomology of quasi-convex fans is shown to satisfy Poincaré duality. To describe the local data in terms of the global data for lower-dimensional complete polytopal fans as in the rational case, one needs a “Hard Lefschetz” type result. It requires a vanishing condition that is valid for rational cones, but has not yet been proven in the general case.

##### MSC:

14F43 | Other algebro-geometric (co)homologies (e.g., intersection, equivariant, Lawson, Deligne (co)homologies) |

14M25 | Toric varieties, Newton polyhedra, Okounkov bodies |

32S60 | Stratifications; constructible sheaves; intersection cohomology (complex-analytic aspects) |

52B20 | Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) |

PDF
BibTeX
XML
Cite

\textit{G. Barthel} et al., Tohoku Math. J. (2) 54, No. 1, 1--41 (2002; Zbl 1055.14024)

Full Text:
DOI

**OpenURL**

##### References:

[1] | A. Beilinson, J. Bernstein and P. Deligne, Faisceaux pervers, Analysis and Topology on singular spaces I, 5–171, Astérisque 100, Soc. Math. France, Paris, 1982. |

[2] | G. Barthel, J.-P. Brasselet, K.-H. Fieseler and L. Kaup, Equivariant intersection cohomology of toric varieties, Algebraic Geometry, Hirzebruch 70, 45–68, Contemp. Math. 241, Amer. Math. Soc., Providence, R.I., 1999. · Zbl 0970.14028 |

[3] | J. Bernstein and V. Lunts, Equivariant sheaves and functors, Lecture Notes in Math. 1578, Springer-Verlag, Berlin, 1994. · Zbl 0808.14038 |

[4] | A. Borel et al ., Intersection cohomology, Progress in Math. 50, Birkhäuser, Boston, 1983. · Zbl 0541.14015 |

[5] | T. Braden and R. MacPherson, Intersection homology of toric varieties and a conjecture of Kalai, Comment. Math. Helv. 74 (1999), 442–455. · Zbl 0962.14015 |

[6] | P. Bressler and V. Lunts, Toric Varieties and Minimal Complexes, (pr)e-print alg-geom/9712007, 1997. |

[7] | P. Bressler and V. Lunts, Intersection cohomology on non-rational polytopes, (pr)e-print math. AG/0002006, 2000. |

[8] | M. Brion, Equivariant Chow Groups for Torus Actions, Transform. Groups 2 (1997), 225–267. · Zbl 0916.14003 |

[9] | M. Brion, The structure of the polytope algebra, Tôhoku Math. J. 49 (1997), 1–32. · Zbl 0881.52008 |

[10] | J.-L. Brylinski, Equivariant intersection cohomology, Kazhdan-Lusztig theory and related topics, 5–32, Contemp. Math. 139, Amer. Math. Soc., Providence, R.I., 1992. · Zbl 0803.55002 |

[11] | K.-H. Fieseler, Rational intersection cohomology of projective toric varieties, J. Reine Angew. Math. (Crelle) 413 (1991), 88–98. · Zbl 0716.14006 |

[12] | K.-H. Fieseler, Towards a combinatorial intersection cohomology for fans, C. R. Acad. Sci. Paris, Sér. I Math. 330 (2000), 291–296. · Zbl 0992.14003 |

[13] | W. Fulton, Introduction to toric varieties, Ann. of Math. Stud. 131, Princeton Univ. Press, Princeton, NJ, 1993. · Zbl 0813.14039 |

[14] | M. Goresky, R. Kottwitz and R. MacPherson, Equivariant Cohomology, Koszul Duality, and the Localization Theorem, Invent. Math. 131 (1998), 25–83. · Zbl 0897.22009 |

[15] | M.-N. Ishida, Torus Embeddings and Algebraic Intersection Complexes I, II, (pr)e-print alg-geom/9403008, alg-geom/9403009, 1993. Revised Version: Combinatorial and Algebraic Intersection Complexes of Toric Varieties, available from the author’s web site, http: //www.math.tohoku.ac.jp/ ishida/. |

[16] | R. Joshua, Vanishing of Odd-Dimensional Intersection Cohomology, Math. Z. 195 (1987), 239–253. · Zbl 0637.14014 |

[17] | M. McConnell, Intersection Cohomology of Toric Varieties, preprint (available on the author’s web site, http://www.math.okstate.edu/ mmcconn/), 1997. |

[18] | T. Oda, The intersection cohomology and toric varieties, Modern aspects of combinatorial structure on convex polytopes (Ed. T. Hibi), RIMS Kokyuroku 857 (1994), 99–112. · Zbl 1034.14025 |

[19] | E. H. Spanier, Algebraic Topology, McGraw-Hill, New York, 1966. · Zbl 0145.43303 |

[20] | R. Stanley, Generalized \(h\)-vectors, intersection cohomology of toric varieties and related results, Commutative algebra and combinatorics, Eds. M. Nagata, H. Matsumura, 187–213, Adv. Stud. Pure Math. 11, Kinokunia, Tokyo, and North Holland, Amsterdam-New York, 1987. · Zbl 0652.52007 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.