Embedded desingularization for arithmetic surfaces: toward a parallel implementation

Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

Autoren

  • Anne Frühbis-Krüger
  • Lukas Ristau
  • Bernd Schober

Organisationseinheiten

Externe Organisationen

  • Fraunhofer-Institut für Techno- und Wirtschaftsmathematik (ITWM)
Forschungs-netzwerk anzeigen

Details

OriginalspracheEnglisch
Seiten (von - bis)1957-1997
Seitenumfang41
FachzeitschriftMathematics of Computation
Jahrgang90
Ausgabenummer330
Frühes Online-Datum22 März 2021
PublikationsstatusVeröffentlicht - Juli 2021

Abstract

We present an algorithmic embedded desingularization of arithmetic surfaces bearing in mind implementability. Our algorithm is based onwork by Cossart-Jannsen-Saito, though our variant uses a refinement of theorder instead of the Hilbert-Samuel function as a measure for the complexityof the singularity. We particularly focus on aspects arising when working inmixed characteristics. Furthermore, we exploit the algorithm’s natural parallel structure rephrasing it in terms of Petri nets for use in the parallelizationenvironment GPI-Space with SINGULAR as computational back-end.

ASJC Scopus Sachgebiete

Zitieren

Embedded desingularization for arithmetic surfaces: toward a parallel implementation. / Frühbis-Krüger, Anne; Ristau, Lukas; Schober, Bernd.
in: Mathematics of Computation, Jahrgang 90, Nr. 330, 07.2021, S. 1957-1997.

Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

Frühbis-Krüger A, Ristau L, Schober B. Embedded desingularization for arithmetic surfaces: toward a parallel implementation. Mathematics of Computation. 2021 Jul;90(330):1957-1997. Epub 2021 Mär 22. doi: 10.1090/mcom/3624
Frühbis-Krüger, Anne ; Ristau, Lukas ; Schober, Bernd. / Embedded desingularization for arithmetic surfaces : toward a parallel implementation. in: Mathematics of Computation. 2021 ; Jahrgang 90, Nr. 330. S. 1957-1997.
Download
@article{7fb656d3e31d4fd9bbe7630e1bad48ac,
title = "Embedded desingularization for arithmetic surfaces: toward a parallel implementation",
abstract = "We present an algorithmic embedded desingularization of arithmetic surfaces bearing in mind implementability. Our algorithm is based onwork by Cossart-Jannsen-Saito, though our variant uses a refinement of theorder instead of the Hilbert-Samuel function as a measure for the complexityof the singularity. We particularly focus on aspects arising when working inmixed characteristics. Furthermore, we exploit the algorithm{\textquoteright}s natural parallel structure rephrasing it in terms of Petri nets for use in the parallelizationenvironment GPI-Space with SINGULAR as computational back-end.",
keywords = "math.AG, 14B05, 32S25",
author = "Anne Fr{\"u}hbis-Kr{\"u}ger and Lukas Ristau and Bernd Schober",
note = "Funding Information: Received by the editor February 12, 2020, and, in revised form, September 28, 2020, and November 30, 2020. 2020 Mathematics Subject Classification. Primary 14E15; Secondary 14B05, 14J17, 13P99. The second author was partially supported by DFG-grant SFB-TRR 195 “Symbolic Tools in Mathematics and their Application”, project II.5 “Singular: A new level of abstraction and performance”.",
year = "2021",
month = jul,
doi = "10.1090/mcom/3624",
language = "English",
volume = "90",
pages = "1957--1997",
journal = "Mathematics of Computation",
issn = "0025-5718",
publisher = "American Mathematical Society",
number = "330",

}

Download

TY - JOUR

T1 - Embedded desingularization for arithmetic surfaces

T2 - toward a parallel implementation

AU - Frühbis-Krüger, Anne

AU - Ristau, Lukas

AU - Schober, Bernd

N1 - Funding Information: Received by the editor February 12, 2020, and, in revised form, September 28, 2020, and November 30, 2020. 2020 Mathematics Subject Classification. Primary 14E15; Secondary 14B05, 14J17, 13P99. The second author was partially supported by DFG-grant SFB-TRR 195 “Symbolic Tools in Mathematics and their Application”, project II.5 “Singular: A new level of abstraction and performance”.

PY - 2021/7

Y1 - 2021/7

N2 - We present an algorithmic embedded desingularization of arithmetic surfaces bearing in mind implementability. Our algorithm is based onwork by Cossart-Jannsen-Saito, though our variant uses a refinement of theorder instead of the Hilbert-Samuel function as a measure for the complexityof the singularity. We particularly focus on aspects arising when working inmixed characteristics. Furthermore, we exploit the algorithm’s natural parallel structure rephrasing it in terms of Petri nets for use in the parallelizationenvironment GPI-Space with SINGULAR as computational back-end.

AB - We present an algorithmic embedded desingularization of arithmetic surfaces bearing in mind implementability. Our algorithm is based onwork by Cossart-Jannsen-Saito, though our variant uses a refinement of theorder instead of the Hilbert-Samuel function as a measure for the complexityof the singularity. We particularly focus on aspects arising when working inmixed characteristics. Furthermore, we exploit the algorithm’s natural parallel structure rephrasing it in terms of Petri nets for use in the parallelizationenvironment GPI-Space with SINGULAR as computational back-end.

KW - math.AG

KW - 14B05, 32S25

UR - http://www.scopus.com/inward/record.url?scp=85107625561&partnerID=8YFLogxK

U2 - 10.1090/mcom/3624

DO - 10.1090/mcom/3624

M3 - Article

VL - 90

SP - 1957

EP - 1997

JO - Mathematics of Computation

JF - Mathematics of Computation

SN - 0025-5718

IS - 330

ER -