Tensor products of modules and the rigidity of Tor.
We calculate the homology and the cycles in tensor products of algebras of symmetric function over ℤ2
Using syzygies computed via Gröbner bases techniques, we present algorithms for testing some homological properties for submodules of the free module , where A = R[x₁,...,xₙ] and R is a Noetherian commutative ring. We will test if a given submodule M of is flat. We will also check if M is locally free of constant dimension. Moreover, we present an algorithm that computes the rank of a flat submodule M of and also an algorithm that computes the projective dimension of an arbitrary submodule...
The homogeneous ideals of curves in a double plane have been studied by Chiarli, Greco, Nagel. Completing this work we describe the equations of any curve that is contained in some quadric. As a consequence, we classify the Hartshorne-Rao modules of such curves.
Let be a polynomial ring in variables and let be a strictly increasing sequence of integers. Boij and Söderberg conjectured the existence of graded -modules of finite length having pure free resolution of type in the sense that for the -th syzygy module of has generators only in degree .This paper provides a construction, in characteristic zero, of modules with this property that are also -equivariant. Moreover, the construction works over rings of the form where is a polynomial...