English

Ext and Tor on two-dimensional cyclic quotient singularities

Algebraic Geometry 2016-05-09 v2 Commutative Algebra Combinatorics

Abstract

Given two torus invariant Weil divisors DD and DD' on a two-dimensional cyclic quotient singularity XX, the groups ExtXi(O(D),O(D))\mathop{Ext}\nolimits^i_{X}(\mathcal{O}(D),\mathcal{O}(D')), i>0i>0, are naturally Z2\mathbb{Z}^2-graded. We interpret these groups via certain combinatorial objects using methods from toric geometry. In particular, it is enough to give a combinatorial description of the Ext1\mathop{Ext}\nolimits^1-groups in the polyhedra of global sections of the Weil divisors involved. Higher Exti\mathop{Ext}\nolimits^i-groups are then reduced to the case of Ext1\mathop{Ext}\nolimits^1 via a quiver. We use this description to show that ExtX1(O(D),O(KD))=ExtX1(O(D),O(KD))\mathop{Ext}\nolimits^1_{X}(\mathcal{O}(D),\mathcal{O}(K-D')) = \mathop{Ext}\nolimits^1_{X}(\mathcal{O}(D'),\mathcal{O}(K-D)), where KK denotes the canonical divisor on XX. Furthermore, we show that ExtXi+2(O(D),O(D))\mathop{Ext}\nolimits^{i+2}_{X}(\mathcal{O}(D),\mathcal{O}(D')) is the Matlis dual of ToriX(O(D),O(D))\mathop{Tor}\nolimits_{i}^{X}(\mathcal{O}(D),\mathcal{O}(D')).

Keywords

Cite

@article{arxiv.1601.05673,
  title  = {Ext and Tor on two-dimensional cyclic quotient singularities},
  author = {Lars Kastner},
  journal= {arXiv preprint arXiv:1601.05673},
  year   = {2016}
}

Comments

16 pages

R2 v1 2026-06-22T12:34:13.549Z