Table of Contents
Fetching ...

An approach to Martsinkovsky's invariant via Auslander's approximation theory

Yuya Otake

TL;DR

This work defines an approximated sequence $\{\xi_n(M)\}$ that converges to Martsinkovsky's $\xi$-invariant by exploiting Auslander–Bridger AB-approximation theory over two-sided noetherian local rings. It links each $\xi_n(M)$ to concrete invariants derived from $n$-AB approximations, $n$-origin extensions, and $n$-FPD hulls in the subcategories $\mathscr{A}_n(R)$, $\mathscr{E}_n(R)$, and $\mathscr{H}_n(R)$, providing computable formulas and structural insights. The main framework unifies Auslander’s $\delta$-invariant and Martsinkovsky’s $\xi$-invariant and yields elementary proofs that avoid heavier DG-structures. It also studies stabilization and behavior under regular elements, offering practical tools for invariants in Cohen–Macaulay representation theory.

Abstract

Auslander developed a theory of the $δ$-invariant for finitely generated modules over commutative Gorenstein local rings, and Martsinkovsky extended this theory to the $ξ$-invariant for finitely generated modules over general commutative noetherian local rings. In this paper, we approach Martsinkovsky$'$s $ξ$-invariant by considering a non-decreasing sequence of integers that converges to it. We investigate Auslander$'$s approximation theory and provide methods for computing this non-decreasing sequence using the approximation.

An approach to Martsinkovsky's invariant via Auslander's approximation theory

TL;DR

This work defines an approximated sequence that converges to Martsinkovsky's -invariant by exploiting Auslander–Bridger AB-approximation theory over two-sided noetherian local rings. It links each to concrete invariants derived from -AB approximations, -origin extensions, and -FPD hulls in the subcategories , , and , providing computable formulas and structural insights. The main framework unifies Auslander’s -invariant and Martsinkovsky’s -invariant and yields elementary proofs that avoid heavier DG-structures. It also studies stabilization and behavior under regular elements, offering practical tools for invariants in Cohen–Macaulay representation theory.

Abstract

Auslander developed a theory of the -invariant for finitely generated modules over commutative Gorenstein local rings, and Martsinkovsky extended this theory to the -invariant for finitely generated modules over general commutative noetherian local rings. In this paper, we approach Martsinkovskys -invariant by considering a non-decreasing sequence of integers that converges to it. We investigate Auslanders approximation theory and provide methods for computing this non-decreasing sequence using the approximation.

Paper Structure

This paper contains 4 sections, 27 theorems, 36 equations.

Key Result

Theorem 1.1

Let $R$ be a commutative Gorenstein local ring with residue field $k$, and let $M$ be a finitely generated $R$-module.

Theorems & Definitions (63)

  • Theorem 1.1: Auslander
  • Definition 1.2
  • Theorem 1.3: Martsinkovsky
  • Theorem 1.4: Theorems \ref{['ABrank']}, \ref{['orginm']} and Proposition \ref{['FPDxi']}
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • Definition 2.5
  • Definition 3.1
  • ...and 53 more