Primary decomposition of modules: a computational differential approach

Justin Chen,Yairon Cid-Ruiz

DOI: https://doi.org/10.48550/arXiv.2104.03385

2022-02-13

Abstract:We study primary submodules and primary decompositions from a differential and computational point of view. Our main theoretical contribution is a general structure theory and a representation theorem for primary submodules of an arbitrary finitely generated module over a polynomial ring. We characterize primary submodules in terms of differential operators and punctual Quot schemes. Moreover, we introduce and implement an algorithm that computes a minimal differential primary decomposition for a module.

Commutative Algebra,Algebraic Geometry

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to study the elementary sub - modules and elementary decomposition of modules from the perspectives of differentiation and computation. Specifically, the main goal of the authors is to use differential operators and punctual Quot schemes to characterize elementary \(R\)-sub - modules over polynomial rings. They achieved this goal through a representation theorem (Theorem 3.2), which can be regarded as an extension of the representation theorem from ideals to \(R\)-modules. In addition, the authors also introduced an algorithm for computing the minimal differential primary decomposition of any finitely - generated module.

### Main contributions:
1. **Theoretical contributions**:
- Proposed a general structural theory and a representation theorem for characterizing elementary \(R\)-sub - modules over polynomial rings.
- Used differential operators and punctual Quot schemes to characterize elementary \(R\)-sub - modules.
- Introduced the concept of Noetherian operators and proved the correspondence between these operators and elementary sub - modules.

2. **Algorithmic contributions**:
- Developed an algorithm for computing the minimal differential primary decomposition of any finitely - generated module.
- These algorithms have been implemented in the computer algebra system Macaulay2.

### Background and motivation:
- The existence of elementary decomposition has been known since the classical work of Lasker and Noether. On a Noetherian commutative ring, every proper sub - module of a finitely - generated module can be expressed as the intersection of a finite number of elementary sub - modules.
- The authors re - examined this classical problem from the perspectives of differentiation and computation, aiming to provide new theoretical tools and computational methods.

### Key concepts:
- **Primary Submodule**: A sub - module of a module whose annihilator is a power of a prime ideal.
- **Differential Operator**: An operator acting on a module and satisfying certain differential properties.
- **Noetherian Operator**: A set of differential operators used to characterize elementary sub - modules.
- **Punctual Quot Scheme**: A space that parameterizes quotient modules of a specific length.

### Conclusion:
Through these theoretical and algorithmic contributions, the authors provided new perspectives and tools for understanding and computing elementary decomposition, especially in terms of differentiation and computation. This not only extends the existing theoretical framework but also provides effective computational methods for practical applications.