Abstract:Generalizing the concept of the Macaulay inverse system, we introduce a way to describe localizations of an ideal in a polynomial ring. This leads to an approach to the differential primary decomposition as a description of the affine scheme defined by the ideal.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to describe the localization of an ideal \(I\) in a polynomial ring by introducing the concept of local dual spaces, and further explore how to use these local dual spaces for differential primary decomposition. Specifically, the authors hope to provide a method that can describe the localization \(I_p\) of the ideal \(I\) at each associated prime ideal \(p\) through local dual spaces, thereby achieving the decomposition of the affine scheme defined by the ideal \(I\). This method not only provides an in - depth understanding of the ideal structure but also provides a new tool for solving practical problems in algebraic geometry.
The methods proposed in the paper are based on the following points:
1. **Definition of local dual spaces**: For an ideal \(I\) on a polynomial ring \(R = K[x_1,\ldots,x_n]\) and a maximal ideal \(m\) of the ring \(R\), the local dual space \(D_m[I]\) is defined, that is, the set of all differential operators that vanish at \(m\), and when these operators act on any polynomial in \(I\), the result is still in \(m\).
2. **Connection between local dual spaces and localizations**: By studying the truncated form of local dual spaces, the paper shows how to capture the localization \(I_m\) of the ideal \(I\) at the maximal ideal \(m\) through local dual spaces.
3. **Differential primary decomposition**: The paper introduces the concept of excess dual space, defined as \(E_m[I]=D_m[I]/D_m[I:m^{\infty}]\), and proves that the dimension of this space is finite. This provides a basis for further understanding the primary decomposition of the ideal \(I\).
4. **Algorithm implementation**: The paper proposes an algorithmic framework. By choosing appropriate free variables and differential operators, the ideal \(I\) itself can be recovered from the associated prime ideals of the ideal \(I\) and their corresponding local dual space data. This framework is not only applicable to theoretical analysis but also makes practical calculations possible.
In summary, the main contribution of this paper lies in providing a new theoretical framework and computational method for understanding and dealing with the localization and primary decomposition of ideals in polynomial rings, which is of great significance for the development of algebraic geometry and computer algebra systems.