2015/12/15 by Rajsekhar Bhattacharyya, Bhattacharyya, Rajsekhar
Mathematics · #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Commutative Algebra (math.AC) #Commutative Algebra and Its Applications #FOS: Mathematics
paper · pdf · doi:10.48550/arxiv.1512.04873
openalex publication_date 2015/12/15 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28
In this article, we study the behaviour of smooth algebra R over local Noetherian local ring A. At first, we observe that for every f∈ R, Rf has finite length in the category of D(R,A)-module if dimension of A is zero. This extends the result of Theorem 2 of \citeLy3. We use this fact to generalize the result of Theorem 4.1 of \citeBBLSZ, from the finiteness of the set of associated primes of local cohomology module to that of Lyubeznik functor. Finally, we introduce the definition of Σ-finite D-modulue for smooth algebra and we extend the result of Theorem 1.3 of \citeNu3 from polynomial and power series algebra to smooth algebra. Theorem 1.3 of \citeNu3 comes out as a partial answer to a question raised by Melvin Hochster. Thus, we extend the partial answer to the above question from polynomial and power series algebra to smooth algebra over an arbitrary Noetherian local ring.