Showing 1–14 of 14 results for author: Frühbis-Krüger, A

Determinantal Singularities

Authors: Anne Frühbis-Krüger, Matthias Zach

Abstract: We survey determinantal singularities, their deformations, and their topology. This class of singularities generalizes the well studied case of complete intersections in several different aspects, but exhibits a plethora of new phenomena such as for instance non-isolated singularities which are finitely determined, or smoothings with low connectivity; already the union of the coordinate axes in… ▽ More We survey determinantal singularities, their deformations, and their topology. This class of singularities generalizes the well studied case of complete intersections in several different aspects, but exhibits a plethora of new phenomena such as for instance non-isolated singularities which are finitely determined, or smoothings with low connectivity; already the union of the coordinate axes in $(\mathbb{C}^3,0)$ is determinantal, but not a complete intersection. We start with the algebraic background and then continue by discussing the subtle interplay of unfoldings and deformations in this setting, including a survey of the case of determinantal hypersurfaces, Cohen-Macaulay codimension $2$ and Gorenstein codimension $3$ singularities, and determinantal rational surface singularities. We conclude with a discussion of essential smoothings and provide an appendix listing known classifications of simple determinantal singularities. △ Less

Submitted 9 June, 2021; originally announced June 2021.

Comments: 68 pages, 11 figures

MSC Class: 14-02; 32S05; 32S30; 58K60;

Massively parallel computations in algebraic geometry - not a contradiction

Authors: Janko Boehm, Anne Frühbis-Krüger, Mirko Rahn

Abstract: The design and implementation of parallel algorithms is a fundamental task in computer algebra. Combining the computer algebra system Singular and the workflow management system GPI-Space, we have developed an infrastructure for massively parallel computations in commutative algebra and algebraic geometry. In this note, we give an overview on the current capabilities of this framework by looking i… ▽ More The design and implementation of parallel algorithms is a fundamental task in computer algebra. Combining the computer algebra system Singular and the workflow management system GPI-Space, we have developed an infrastructure for massively parallel computations in commutative algebra and algebraic geometry. In this note, we give an overview on the current capabilities of this framework by looking into three sample applications: determining smoothness of algebraic varieties, computing GIT-fans in geometric invariant theory, and determining tropicalizations. These applications employ algorithmic methods originating from commutative algebra, sheaf structures on manifolds, local geometry, convex geometry, group theory, and combinatorics, illustrating the potential of the framework in further problems in computer algebra. △ Less

Submitted 14 November, 2018; originally announced November 2018.

Comments: 9 pages, 6 figures

MSC Class: 68W10 (Primary); 68W30; 14Q99; 14B05; 14L24; 14T05 (Secondary)

Journal ref: Computeralgebrarundbrief 64 (2019), 8-13

Towards Massively Parallel Computations in Algebraic Geometry

Authors: Janko Boehm, Wolfram Decker, Anne Frühbis-Krüger, Franz-Josef Pfreundt, Mirko Rahn, Lukas Ristau

Abstract: Introducing parallelism and exploring its use is still a fundamental challenge for the computer algebra community. In high performance numerical simulation, on the other hand, transparent environments for distributed computing which follow the principle of separating coordination and computation have been a success story for many years. In this paper, we explore the potential of using this princip… ▽ More Introducing parallelism and exploring its use is still a fundamental challenge for the computer algebra community. In high performance numerical simulation, on the other hand, transparent environments for distributed computing which follow the principle of separating coordination and computation have been a success story for many years. In this paper, we explore the potential of using this principle in the context of computer algebra. More precisely, we combine two well-established systems: The mathematics we are interested in is implemented in the computer algebra system Singular, whose focus is on polynomial computations, while the coordination is left to the workflow management system GPI-Space, which relies on Petri nets as its mathematical modeling language, and has been successfully used for coordinating the parallel execution (autoparallelization) of academic codes as well as for commercial software in application areas such as seismic data processing. The result of our efforts is a major step towards a framework for massively parallel computations in the application areas of Singular, specifically in commutative algebra and algebraic geometry. As a first test case for this framework, we have modeled and implemented a hybrid smoothness test for algebraic varieties which combines ideas from Hironaka's celebrated desingularization proof with the classical Jacobian criterion. Applying our implementation to two examples originating from current research in algebraic geometry, one of which cannot be handled by other means, we illustrate the behavior of the smoothness test within our framework, and investigate how the computations scale up to 256 cores. △ Less

Submitted 29 August, 2018; originally announced August 2018.

Comments: 39 pages, 5 figures, 2 tables

MSC Class: 68W10 (Primary); 68W30; 14B05; 14Q99 (Secondary)

Embedded desingularization for arithmetic surfaces -- toward a parallel implementation

Authors: Anne Fruehbis-Krueger, Lukas Ristau, Bernd Schober

Abstract: We present an algorithmic embedded desingularization of arithmetic surfaces bearing in mind implementability. Our algorithm is based on work by Cossart-Jannsen-Saito, though our variant uses a refinement of the order instead of the Hilbert-Samuel function as a measure for the complexity of the singularity. We particularly focus on aspects arising when working in mixed characteristics. Furthermore,… ▽ More We present an algorithmic embedded desingularization of arithmetic surfaces bearing in mind implementability. Our algorithm is based on work by Cossart-Jannsen-Saito, though our variant uses a refinement of the order instead of the Hilbert-Samuel function as a measure for the complexity of the singularity. We particularly focus on aspects arising when working in mixed characteristics. Furthermore, we exploit the algorithm's natural parallel structure rephrasing it in terms of Petri nets for use in the parallelization environment GPI-Space with {\sc Singular} as computational back-end. △ Less

Submitted 28 September, 2020; v1 submitted 21 December, 2017; originally announced December 2017.

Comments: 32 pages; reworked the algorithm to determine the interesting primes and made minor changes throughout the preprint

MSC Class: 14B05; 32S25

Desingularization of arithmetic surfaces: algorithmic aspects

Authors: Anne Frühbis-Krüger, Stefan Wewers

Abstract: The quest for regular models of arithmetic surfaces allows different viewpoints and approaches: using valuations or a covering by charts. In this article, we sketch both approaches and then show in a concrete example, how surprisingly beneficial it can be to exploit properties and techniques from both worlds simultaneously. The quest for regular models of arithmetic surfaces allows different viewpoints and approaches: using valuations or a covering by charts. In this article, we sketch both approaches and then show in a concrete example, how surprisingly beneficial it can be to exploit properties and techniques from both worlds simultaneously. △ Less

Submitted 5 January, 2017; originally announced January 2017.

Comments: 21 pages, 2 figures

MSC Class: 14B05; 14E15

On discriminants, Tjurina modifications and the geometry of determinantal singularities

Authors: Anne Frühbis-Krüger

Abstract: We describe a method for computing discriminants for a large class of families of isolated determinantal singularities -- more precisely, for subfamilies of ${\mathcal G}$-versal families. The approach intrinsically provides a decomposition of the discriminant into two parts and allows the computation of the determinantal and the non-determinantal loci of the family without extra effort; only the… ▽ More We describe a method for computing discriminants for a large class of families of isolated determinantal singularities -- more precisely, for subfamilies of ${\mathcal G}$-versal families. The approach intrinsically provides a decomposition of the discriminant into two parts and allows the computation of the determinantal and the non-determinantal loci of the family without extra effort; only the latter manifests itself in the Tjurina transform. This knowledge is then applied to the case of Cohen-Macaulay codimension 2 singularities putting several known, but previously unexplained observations into context and explicitly constructing a counterexample to Wahl's conjecture on the relation of Milnor and Tjurina numbers for surface singularities. △ Less

Submitted 3 May, 2017; v1 submitted 8 November, 2016; originally announced November 2016.

Comments: 26 pages -- added example clarifying the intricacies of the relation between equivalence of germs and G-equivalence

A smoothness test for higher codimensions

Authors: Janko Boehm, Anne Frühbis-Krüger

Abstract: Based on an idea in Hironaka's proof of resolution of singularities, we present an algorithmic smoothness test for algebraic varieties. The test is inherently parallel and does not involve the calculation of codimension-sized minors of the Jacobian matrix of the variety. We also describe a hybrid method which combines the new method with the Jacobian criterion, thus making use of the strengths of… ▽ More Based on an idea in Hironaka's proof of resolution of singularities, we present an algorithmic smoothness test for algebraic varieties. The test is inherently parallel and does not involve the calculation of codimension-sized minors of the Jacobian matrix of the variety. We also describe a hybrid method which combines the new method with the Jacobian criterion, thus making use of the strengths of both approaches. We have implemented all algorithms in the computer algebra system Singular, and compare the different approaches with respect to timings and memory usage. The test examples originate from questions in algebraic geometry, where the use of the Jacobian criterion is impractical due to the number and size of the minors involved. △ Less

Submitted 14 February, 2016; originally announced February 2016.

Comments: 12 pages, 4 algorithms

MSC Class: 14B05; 68W10; 13P10; 32S05

Journal ref: Journal of Symbolic Computation 86, 153-165 (2018)

On the Vanishing Topology of Isolated Cohen-Macaulay Codimension 2 Singularities

Authors: Anne Fruehbis-Krueger, Matthias Zach

Abstract: Isolated Cohen-Macaulay codimension 2 singularities share many common features with isolated complete intersection singularities, but they also exhibit some striking new behaviour. One such instance was recently observed by Damon and Pike in their study of the vanishing topology and Euler characteristic, where they took this class of singularities as examples. In this article, we explore their fin… ▽ More Isolated Cohen-Macaulay codimension 2 singularities share many common features with isolated complete intersection singularities, but they also exhibit some striking new behaviour. One such instance was recently observed by Damon and Pike in their study of the vanishing topology and Euler characteristic, where they took this class of singularities as examples. In this article, we explore their findings further by determining the Betti numbers explicitly and explain the new phenomena. An important tool here is the Tjurina modification relating a Cohen-Macaulay codimension 2 singularity to a finite number of complete intersection singularities. △ Less

Submitted 9 November, 2016; v1 submitted 8 January, 2015; originally announced January 2015.

Comments: 30 pages, 2 figures, 2 tables; changes to: section 3 (new exposition of 3.13-3.16), section 5 (minor changes)

MSC Class: 14B05; 32S10; 32S30

Desingularization in Computational Applications and Experiments

Authors: Anne Frühbis-Krüger

Abstract: After briefly recalling some computational aspects of blowing up and of representation of resolution data common to a wide range of desingularization algorithms (in the general case as well as in special cases like surfaces or binomial varieties), we shall proceed to computational applications of resolution of singularities in singularity theory and algebraic geometry, also touching on relations t… ▽ More After briefly recalling some computational aspects of blowing up and of representation of resolution data common to a wide range of desingularization algorithms (in the general case as well as in special cases like surfaces or binomial varieties), we shall proceed to computational applications of resolution of singularities in singularity theory and algebraic geometry, also touching on relations to algebraic statistics and machine learning. Namely, we explain how to compute the intersection form and dual graph of resolution for surfaces, how to determine discrepancies, the log-canoncial threshold and the topological Zeta-function on the basis of desingularization data. We shall also briefly see how resolution data comes into play for Bernstein-Sato polynomials, and we mention some settings in which desingularization algorithms can be used for computational experiments. The latter is simply an invitation to the readers to think themselves about experiments using existing software, whenever it seems suitable for their own work. △ Less

Submitted 16 January, 2013; originally announced January 2013.

Comments: notes of a summer school talk; 16 pages; 1 figure

Desingularization Algorithms: A Comparison from the Practical Point of View

Authors: Rocio Blanco, Anne Frühbis-Krüger

Abstract: Over the last decade, implementations of several desingularization algorithms have appeared in various contexts. These differ as widely in their methods and in their practical efficiency as they differ in the situations in which they may be applied. The purpose of this article is to give a brief overview over a selection of these approaches and the applicability of the respective implementations i… ▽ More Over the last decade, implementations of several desingularization algorithms have appeared in various contexts. These differ as widely in their methods and in their practical efficiency as they differ in the situations in which they may be applied. The purpose of this article is to give a brief overview over a selection of these approaches and the applicability of the respective implementations in Singular. △ Less

Submitted 8 September, 2011; originally announced September 2011.

Comments: 11 pages

MSC Class: 14E15; 14Q99

Zeta-Functions for Families of Calabi--Yau n-folds with Singularities

Authors: Anne Frühbis-Krüger, Shabnam Kadir

Abstract: We consider families of Calabi-Yau n-folds containing singular fibres and study relations between the occurring singularity structure and the decomposition of the local Weil zeta-function. For 1-parameter families, this provides new insights into the combinatorial structure of the strong equivalence classes arising in the Candelas - de la Ossa - Rodrigues-Villegas approach for computing the zeta-f… ▽ More We consider families of Calabi-Yau n-folds containing singular fibres and study relations between the occurring singularity structure and the decomposition of the local Weil zeta-function. For 1-parameter families, this provides new insights into the combinatorial structure of the strong equivalence classes arising in the Candelas - de la Ossa - Rodrigues-Villegas approach for computing the zeta-function. This can also be extended to families with more parameters as is explored in several examples, where the singularity analysis provides correct predictions for the changes of degree in the decomposition of the zeta-function when passing to singular fibres. These observations provide first evidence in higher dimensions for Lauder's conjectured analogue of the Clemens-Schmid exact sequence. △ Less

Submitted 2 February, 2011; originally announced February 2011.

Comments: 22 pages, LaTeX, (including 4 tables)

A short note on Hauser's Kangaroo phenomena and weak maximal contact in higher dimensions

Authors: Anne Fruehbis-Krueger

Abstract: Currently there are several approaches to resolution of singularities in positive characteristic all of which have hit some obstruction. One natural idea is to try to construct new meaningful examples at this point to gain a wider range of experience. To produce such examples we mimic the characteristic zero approach and focus on cases where it fails. In particular, this short note deals with an e… ▽ More Currently there are several approaches to resolution of singularities in positive characteristic all of which have hit some obstruction. One natural idea is to try to construct new meaningful examples at this point to gain a wider range of experience. To produce such examples we mimic the characteristic zero approach and focus on cases where it fails. In particular, this short note deals with an example-driven study of failure of maximal contact and the search for an appropriate replacement. △ Less

Submitted 13 July, 2010; originally announced July 2010.

Comments: 17 pages

MSC Class: 14E15; 32S45

A Modified Coefficient Ideal for Use with the Strict Transform

Authors: A. Fruehbis-Krueger

Abstract: Two main algorithmic approaches are known for making Hironaka's proof of resolution of singularities in characteristic zero constructive. Their main difference is the use of different notions of transforms during the resolution process and the use of a stratification by the Hilbert-Samuel function in the one using the strict transform. In this article, a (hybrid-type) algorithmic approach is pro… ▽ More Two main algorithmic approaches are known for making Hironaka's proof of resolution of singularities in characteristic zero constructive. Their main difference is the use of different notions of transforms during the resolution process and the use of a stratification by the Hilbert-Samuel function in the one using the strict transform. In this article, a (hybrid-type) algorithmic approach is proposed which allows the use of the strict transform without the full impact of the complexity of the stratification by the Hilbert-Samuel function at each step of the desingularization process. This new approach is not intended to always be superior to the implemented one which uses the weak transform, instead it has its strengths precisely at the weak point of the other one and is thus a candidate to be joined with it by an appropriate heuristic. △ Less

Submitted 16 March, 2009; v1 submitted 9 December, 2008; originally announced December 2008.

Comments: 15 Pages, revision clarifying details in sections 1-3

MSC Class: 14B05; 14E15

Simple Cohen-Macaulay Codimension 2 Singularities

Authors: Anne Fruehbis-Krueger, Alexander Neumer

Abstract: In this article, we provide a complete list of simple Cohen-Macaulay codimension 2 singularities together with a list of adjacencies which is complete in the case of fat point and space curve singularities. In this article, we provide a complete list of simple Cohen-Macaulay codimension 2 singularities together with a list of adjacencies which is complete in the case of fat point and space curve singularities. △ Less

Submitted 4 September, 2008; v1 submitted 18 August, 2008; originally announced August 2008.

Comments: AMS-LaTeX, changes in 3.3 (corrected omission + added references), 49 pages, 6 PostScript figures, uses longtable, graphicx

MSC Class: 32S05