A smoothness test for higher codimensions

DOI10.1016/j.jsc.2017.05.001zbMath1388.14049arXiv1602.04522OpenAlexW2284827226MaRDI QIDQ1680162

Anne Frühbis-Krüger, Janko Böhm

Publication date: 22 November 2017

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.04522

zbMATH Keywords

singularitiesunprojectionalgorithmic smoothness testHironaka resolution of singularitiesparallel computation in algebraic geometry

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational aspects of higher-dimensional varieties (14Q15) Global theory and resolution of singularities (algebro-geometric aspects) (14E15)

Related Items

Desingularization of Arithmetic Surfaces: Algorithmic Aspects ⋮ Hodge numbers and deformations of Fano 3-folds ⋮ On discriminants, Tjurina modifications and the geometry of determinantal singularities ⋮ Towards massively parallel computations in algebraic geometry ⋮ Smoothtst ⋮ Embedded desingularization for arithmetic surfaces – toward a parallel implementation

Uses Software

• Macaulay2
• SINGULAR
• CyclicPolytopeRes
• resolve.lib
• KustinMiller
• GPI-Space

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of Stanley--Reisner rings associated to cyclic polytopes
• Constructing big Gorenstein ideals from small ones
• Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant
• Modular algorithms for computing Gröbner bases.
• Strong resolution of singularities in characteristic zero
• Parallel algorithms for normalization
• Implementing the Kustin-Miller complex construction
• Numerical Campedelli surfaces with fundamental group of order 9
• A simplified proof of desingularization and applications
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• 3D Printing Dimensional Calibration Shape: Clebsch Cubic
• Computer aided Unirationality Proofs of Moduli Spaces
• Desingularization in Computational Applications and Experiments
• A construction of numerical Campedelli surfaces with torsion ℤ/6
• Constructiveness of Hironaka's resolution
• Kustin--Miller unprojection with complexes
• Kustin--Miller unprojection with complexes
• Parallel Kustin-Miller unprojection with an application to Calabi-Yau geometry
• Short Note on Hauser's Kangaroo Phenomena and Weak Maximal Contact in Higher Dimensions
• SINGULAR
• Patching local uniformizations
• The use of bad primes in rational reconstruction