Return to Question

Let $M$ be a module over a local ring $(R,m)$, everything is finitely generated/presented. The fitting ideals, $I_j(M)$ carry a lot of information about the module. When do they actually determine the module?

For example, there is no hope for a positive answer unless the ring is local or graded. And the fitting ideals do determine the module over PID.

What is known about other cases? (at least, for regular local rings, for Gorenstein rings of low dimensions, for Cohen-Macaulay modules...)

Any strengthening of such "fitting type" invariants that determines the module?

upd. In view of W.Sawin's example, probably one should assume the module to be Cohen-Macaulay. Or, at least, some "purity" conditions on the support of $M$. For me the most interesting case is a Cohen-Macaulay module over hypersurface singularity. (alternatively, a module over a local ring, whose minimal presentation is a square matrix)

upd2. Well, the simplest example is: given $M$, let $A$ be its presentation matrix, i.e. $M=coker(A)$. Then $coker(A)$ and $coker(A^T)$ have the same fitting ideals, though the modules are non-isomorphic in general

Let $M$ be a module over a local ring $(R,m)$, everything is finitely generated/presented. The fitting ideals, $I_j(M)$ carry a lot of information about the module. When do they actually determine the module?

For example, there is no hope for a positive answer unless the ring is local or graded. And the fitting ideals do determine the module over PID.

What is known about other cases? (at least, for regular local rings, for Gorenstein rings of low dimensions, for Cohen-Macaulay modules...)

Any strengthening of such "fitting type" invariants that determines the module?

upd. In view of W.Sawin's example, probably one should assume the module to be Cohen-Macaulay. Or, at least, some "purity" conditions on the support of $M$. For me the most interesting case is a Cohen-Macaulay module over hypersurface singularity. (alternatively, a module over a local ring, whose minimal presentation is a square matrix)

upd2. Well, the simplest example is: given $M$, let $A$ be its presentation matrix, i.e. $M=coker(A)$. Then $coker(A)$ and $coker(A^T)$ have the same fitting ideals, though the modules are non-isomorphic in general

Let $M$ be a module over a local ring $(R,m)$, everything is finitely generated/presented. The fitting ideals, $I_j(M)$ carry a lot of information about the module. When do they actually determine the module?

For example, there is no hope for a positive answer unless the ring is local or graded. And the fitting ideals do determine the module over PID.

What is known about other cases? (at least, for regular local rings, for Gorenstein rings of low dimensions, for Cohen-Macaulay modules...)

Any strengthening of such "fitting type" invariants that determines the module?

upd. In view of W.Sawin's example, probably one should assume the module to be Cohen-Macaulay. Or, at least, some "purity" conditions on the support of $M$. For me the most interesting case is a Cohen-Macaulay module over hypersurface singularity. (alternatively, a module over a local ring, whose minimal presentation is a square matrix)

Let $M$ be a module over a local ring $(R,m)$, everything is finitely generated/presented. The fitting ideals, $I_j(M)$ carry a lot of information about the module. When do they actually determine the module?

For example, there is no hope for a positive answer unless the ring is local or graded. And the fitting ideals do determine the module over PID.

What is known about other cases? (at least, for regular local rings, for Gorenstein rings of low dimensions, for Cohen-Macaulay modules...)

Any strengthening of such "fitting type" invariants that determines the module?

upd. In view of W.Sawin's example, probably one should assume the module to be Cohen-Macaulay. Or, at least, some "purity" conditions on the support of $M$. For me the most interesting case is a Cohen-Macaulay module over hypersurface singularity. (alternatively, a module over a local ring, whose minimal presentation is a square matrix)

upd2. Well, the simplest example is: given $M$, let $A$ be its presentation matrix, i.e. $M=coker(A)$. Then $coker(A)$ and $coker(A^T)$ have the same fitting ideals, though the modules are non-isomorphic in general

Let $M$ be a module over a local ring $(R,m)$, everything is finitely generated/presented. The fitting ideals, $I_j(M)$ carry a lot of information about the module. When do they actually determine the module?

For example, there is no hope for a positive answer unless the ring is local or graded. And the fitting ideals do determine the module over PID.

What is known about other cases? (at least, for regular local rings, for Gorenstein rings of low dimensions, for Cohen-Macaulay modules...)

Any strengthening of such "fitting type" invariants that determines the module?

Let $M$ be a module over a local ring $(R,m)$, everything is finitely generated/presented. The fitting ideals, $I_j(M)$ carry a lot of information about the module. When do they actually determine the module?

For example, there is no hope for a positive answer unless the ring is local or graded. And the fitting ideals do determine the module over PID.

What is known about other cases? (at least, for regular local rings, for Gorenstein rings of low dimensions, for Cohen-Macaulay modules...)

Any strengthening of such "fitting type" invariants that determines the module?

upd. In view of W.Sawin's example, probably one should assume the module to be Cohen-Macaulay. Or, at least, some "purity" conditions on the support of $M$. For me the most interesting case is a Cohen-Macaulay module over hypersurface singularity. (alternatively, a module over a local ring, whose minimal presentation is a square matrix)