ABSTRACT
A new algorithm is given for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities. The essential point of the proposed algorithm involves Poincaré polynomials and weighted degrees. The proposed algorithm gives a suitable decomposition of the parameter space depending on the structure of the parametric local cohomology classes. As an application, an algorithm for computing parametric standard bases of zero-dimensional ideals, is given. These algorithms work for non-parametric cases, too.
- V. I. Arnold, Normal forms of functions in neighbourhoods of degenerate critical points, Russian Math. Survey 29, pp. 10--50, (1974).Google ScholarCross Ref
- G. M. Greuel, Dualität in der localen Kohomologie isolierter Singularitäten, Math. Ann. 250, pp. 157--173, (1980).Google ScholarCross Ref
- G. M. Greuel, Constant Milnor number implies constant multiplicity for quasi-homogeneous singularities, Manuscripta Math. 56, pp. 159--166, (1986).Google ScholarCross Ref
- G. M. Greuel, C. Hertling and G. Pfister, Moduli spaces of semiquasihomogeneous singularities with fixed principal part, J. Alg. Geom. 6, pp. 169--199, (1997).Google Scholar
- A. Grothendieck, Théorèmes de dualité pour les faisceaux algébriques cohérents, Séminaire Bourbaki 149, (1957).Google Scholar
- A. Grothendieck, Local Cohomology, notes by R. Hartshorne, Lecture Notes in Math. 41, Springer, (1967).Google Scholar
- K. Nabeshima, Stability conditions of monomial bases and comprehensive Gröbner systems, Proc. Computer Algebra in Scientific Computing (CASC), Lecture Notes in Computer Science Vol.7442, pages 248--259. Springer, (2012). Google ScholarDigital Library
- K. Nabeshima, Y. Nakamura and S. Tajima, An algorithm to compute parametric standard bases using algebraic local cohomology for zero-dimensional ideals (Extended abstract), Proc. the Joint Conference of ASCM 2009 and MACIS 2009, COE Lecture Notes 22, pp. 123--126, Kyushu Univ. (2009).Google Scholar
- Y. Nakamura and S. Tajima, On weighted-degrees for algebraic local cohomologies associated with semiquasihomogeneous singularities, Advanced Studies in Pure Mathematics, 46, pp. 105--117, (2007).Google ScholarCross Ref
- Y. Nakamura and S. Tajima, Algebraic local cohomologies and local b-functions attached to semiquasihomogeneous singularities with L(f) = 2, IRMA Lectures in Mathematics and Theoretical Physics, 20, pp. 103--116, (2012).Google Scholar
- P. Orlik and P. Wagreichi, Singularities of algebraic surfaces with C* action, Mathematische Annalen, 193, pp. 121--135, (1971).Google ScholarCross Ref
- O. Saeki, Topological invariance of weights for weighted homogeneous isolated singularities in C3, Proc. AMS, 103, pp. 905--909, (1988).Google Scholar
- W. Y. Sit, An algorithm for solving parametric linear systems, J. Symb. Comput., 13, pp. 353--394, (1992). Google ScholarDigital Library
- S. Tajima and Y. Nakamura, Computational aspects of Grothendieck local residues, Séminaires et Congrès 10, Soc. Math. France, pp. 287--305, (2005).Google Scholar
- S. Tajima and Y. Nakamura, Algebraic local cohomology class attached to quasi-homogeneous isolated hypersurface singularities. Publications of the Research Institute for Mathematical Sciences 41, pp. 1--10, (2005).Google ScholarCross Ref
- S. Tajima and Y. Nakamura, Annihilating ideals for an algebraic local cohomology class. J. Symb. Comput. 44, pp. 435--448, (2009). Google ScholarDigital Library
- S. Tajima and Y. Nakamura, Algebraic local cohomology classes attached to unimodal singularities. Publications of the Research Institute for Mathematical Sciences, 48, pp. 21--43. (2012).Google ScholarCross Ref
- S. Tajima, Y. Nakamura and K. Nabeshima, Standard bases and algebraic local cohomology for zero dimensional ideals, Advanced Studies in Pure Mathematics 56, pp. 341--361, (2009).Google ScholarCross Ref
- A. N. Varchenko, A lower bound for the codimension of the stratum μ constant in terms of the mixed Hodge structure, Vest. Mosk. Univ. Mat. 37, pp. 29--31, (1982).Google Scholar
- E. Yoshinaga, Topological principal part of analytic functions, Trans. Amer. Math. Soc. 314, 2, pp. 803--813 (1989).Google ScholarCross Ref
Index Terms
- On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases
Recommendations
Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated Singularities
ISSAC '15: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic ComputationLogarithmic vector fields associated with parametric semi-quasihomogeneous hypersurface isolated singularities are considered in the context of symbolic computation. A new algorithm for computing the logarithmic vector fields is introduced. The keys of ...
Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases
CASC 2015: Proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing - Volume 9301A new effective algorithm for computing a set of algebraic local cohomology classes is presented. The key ingredient of the proposed algorithm is to utilize a standard basis. As the application, an algorithm is given for the conversion of a standard ...
μ-Bases and singularities of rational planar curves
We provide a technique to detect the singularities of rational planar curves and to compute the correct order of each singularity including the infinitely near singularities without resorting to blow ups. Our approach employs the given parametrization ...
Comments