Local to global algorithms for the Gorenstein adjoint ideal of a curve
From MaRDI portal
Publication:4556565
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Singularities of curves, local rings (14H20) Plane and space curves (14H50) Parallel algorithms in computer science (68W10) Computational aspects of algebraic curves (14Q05) Software, source code, etc. for problems pertaining to algebraic geometry (14-04)
Abstract: We present new algorithms for computing adjoint ideals of curves and thus, in the planar case, adjoint curves. With regard to terminology, we follow Gorenstein who states the adjoint condition in terms of conductors. Our main algorithm yields the Gorenstein adjoint ideal G of a given curve as the intersection of what we call local Gorenstein adjoint ideals. Since the respective local computations do not depend on each other, our approach is inherently parallel. Over the rationals, further parallelization is achieved by a modular version of the algorithm which first computes a number of the characteristic p counterparts of G and then lifts these to characteristic zero. As a key ingredient, we establish an efficient criterion to verify the correctness of the lift. Well-known applications are the computation of Riemann-Roch spaces, the construction of points in moduli spaces, and the parametrization of rational curves. We have implemented different variants of our algorithms together with Mnuk's approach in the computer algebra system Singular and give timings to compare the performance of the algorithms.
Recommendations
- An algorithm to compute the adjoint ideal of an affine plane algebraic curve
- An algebraic approach to computing adjoint curves
- scientific article; zbMATH DE number 5121566
- Computing integral bases via localization and Hensel lifting
- Efficient algorithms for the Riemann-Roch problem and for addition in the Jacobian of a curve
Cites work
- scientific article; zbMATH DE number 459002 (Why is no real title available?)
- scientific article; zbMATH DE number 3867496 (Why is no real title available?)
- scientific article; zbMATH DE number 3891516 (Why is no real title available?)
- scientific article; zbMATH DE number 3815844 (Why is no real title available?)
- scientific article; zbMATH DE number 3944020 (Why is no real title available?)
- scientific article; zbMATH DE number 3674235 (Why is no real title available?)
- scientific article; zbMATH DE number 3457046 (Why is no real title available?)
- scientific article; zbMATH DE number 3489250 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 3634396 (Why is no real title available?)
- scientific article; zbMATH DE number 1361357 (Why is no real title available?)
- scientific article; zbMATH DE number 621806 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- scientific article; zbMATH DE number 1514318 (Why is no real title available?)
- scientific article; zbMATH DE number 1748084 (Why is no real title available?)
- scientific article; zbMATH DE number 3803631 (Why is no real title available?)
- scientific article; zbMATH DE number 3306596 (Why is no real title available?)
- scientific article; zbMATH DE number 3365583 (Why is no real title available?)
- scientific article; zbMATH DE number 3041895 (Why is no real title available?)
- 1-dimensional Cohen-Macaulay rings
- A numerical criterion for simultaneous normalization
- Algorithme de Brill-Noether et codes de Goppa
- An Arithmetic Theory of Adjoint Plane Curves
- An algebraic approach to computing adjoint curves
- An algorithm for computing an integral basis in an algebraic function field
- An algorithm for computing the integral closure
- An algorithm to compute the adjoint ideal of an affine plane algebraic curve
- Deficiency of linear series on the normalization of a space curve
- Die verschiedenen Definitionen des adjungierten Ideals einer ebenen algebraischen Kurve
- Integral closure of ideals, rings, and modules
- Introduction to Singularities and Deformations
- LOCAL ANALYSIS OF GRAUERT–REMMERT-TYPE NORMALIZATION ALGORITHMS
- Modular algorithms for computing Gröbner bases.
- Normalization of rings
- On the arithmetic genera and the effective genera of algebraic curves
- On the theory of adjoints. II
- Parallel algorithms for normalization
- Parallelization of modular algorithms
- Parametrization of algebraic curves over optimal field extensions
- Rational algebraic curves. A computer algebra approach
- Singular Points of Complex Hypersurfaces. (AM-61)
- The Milnor number and deformations of complex curve singularities
- The use of bad primes in rational reconstruction
Cited in
(9)- Bad Primes in Computational Algebraic Geometry
- Computing integral bases via localization and Hensel lifting
- Towards massively parallel computations in algebraic geometry
- An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class
- Modular computations of standard bases for subalgebras
- An algorithm to compute the adjoint ideal of an affine plane algebraic curve
- Extending the GVW Algorithm to Local Ring
- How to reconstruct a planar map from its branching curve
- The use of bad primes in rational reconstruction
Describes a project that uses
Uses Software
This page was built for publication: Local to global algorithms for the Gorenstein adjoint ideal of a curve
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4556565)
