An algorithm to compute a presentation of pushforward modules

2017/03/09 by Marcelo Escudeiro Hernandes, Hernandes, M. E., Aldício José Miranda +3
Computer Science · Mathematics · #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Commutative Algebra (math.AC) #Commutative Algebra and Its Applications #FOS: Mathematics #Polynomial and algebraic computation

paper · pdf · doi:10.48550/arxiv.1703.03357

openalex publication_date 2017/03/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We describe an algorithm to compute a presentation of the pushforward module f_*\mathcal O_X for a finite map germ f\colon X→ (ℂⁿ⁺¹,0), where X is Cohen-Macaulay of dimension n. The algorithm is an improvement of a method by Mond and Pellikaan. We give applications to problems in singularity theory, computed by means of an implementation in the software Singular.

Citations

• Multiple point spaces of finite holomorphic maps

Related

• Fitting Ideals without a Presentation
• Finite presentation of finitely determined modules
• Maximal Cohen-Macaulay modules over non-isolated surface singularities and matrix problems
• Maximal Cohen-Macaulay modules over surface singularities
• Explicit calculations in an infinitesimal singular block of SL_N