Kähler Differentials for Fat Point Schemes in ℙ1×ℙ1

Abstract

Let 𝕏 be a set of K-rational points in ℙ1×ℙ1 over a field K of characteristic zero, let 𝕐 be a fat point scheme supported at 𝕏, and let R𝕐 be the bihomogeneous coordinate ring of 𝕐. In this paper we investigate the module of Kahler differentials ΩR𝕐∕K1. We describe this bigraded R𝕐-module explicitly via a homogeneous short exact sequence and compute its Hilbert function in a number of special cases, in particular when the support 𝕏 is a complete intersection or an almost complete intersection in ℙ1×ℙ1. Moreover, we introduce a Kahler different for 𝕐 and use it to characterize ACM reduced schemes in ℙ1×ℙ1 having the Cayley–Bacharach property.