Explicit Hilbert-Kunz functions of 2 x 2 determinantal rings
Let k[X]=k[xi,j:i=1,...,m;j=1,...,n] be the polynomial ring in mn variables xi,j over a field k of arbitrary characteristic. Denote by I2(X) the ideal generated by the 2×2 minors of the generic m×n matrix [xi,j]. We give a closed formulation for the dimensions of the k-vector space k[X]/(I2(X)+(x1,1q,...,xm,nq)) as q varies over all positive integers, i.e., we give a closed form for the generalized Hilbert-Kunz function of the determinantal ring k[X]/I2[X]. We also give a closed formulation of dimensions of related quotients of k[X]/I2[X]. In the process we establish a formula for the numbers of some compositions (ordered partitions of integers), and we give a proof of a new binomial identity.