Hartog's phenomenon for polyregular functions and projective dimension of related modules over a polynomial ring
In this paper we prove that the projective dimension of is , where is the ring of polynomials in variables with complex coefficients, and is the module generated by the columns of a matrix which arises as the Fourier transform of the matrix of differential operators associated with the regularity condition for a function of quaternionic variables. As a corollary we show that the sheaf of regular functions has flabby dimension , and we prove a cohomology vanishing theorem for open...