Gerhard Pfister - Ricam · Gerhard Pfister [email protected] Departement of...
Transcript of Gerhard Pfister - Ricam · Gerhard Pfister [email protected] Departement of...
![Page 1: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/1.jpg)
SINGULAR and Applications
Gerhard Pfister
Departement of Mathematics
University of Kaiserslautern
SINGULAR and Applications – p. 1
![Page 2: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/2.jpg)
SINGULAR
A Computer Algebra System for Polynomial Computationswith special emphasize on the needs of algebraic geometry, commutative algebra, and
singularity theory
G.-M. Greuel, G. Pfister, H. SchönemannTechnische Universität Kaiserslautern
Fachbereich Mathematik; Zentrum für Computer AlgebraD-67663 Kaiserslautern
The computer is not the philosopher’s stone but the philosopher’swhetstone
Hugo Battus, Rekenen op taal 1983
SINGULAR and Applications – p. 2
![Page 3: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/3.jpg)
SINGULAR
A Computer Algebra System for Polynomial Computationswith special emphasize on the needs of algebraic geometry, commutative algebra, and
singularity theory
G.-M. Greuel, G. Pfister, H. SchönemannTechnische Universität Kaiserslautern
Fachbereich Mathematik; Zentrum für Computer AlgebraD-67663 Kaiserslautern
The computer is not the philosopher’s stone but the philosopher’swhetstone
Hugo Battus, Rekenen op taal 1983
SINGULAR and Applications – p. 2
![Page 4: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/4.jpg)
SINGULAR
A Computer Algebra System for Polynomial Computationswith special emphasize on the needs of algebraic geometry, commutative algebra, and
singularity theory
G.-M. Greuel, G. Pfister, H. SchönemannTechnische Universität Kaiserslautern
Fachbereich Mathematik; Zentrum für Computer AlgebraD-67663 Kaiserslautern
The computer is not the philosopher’s stone but the philosopher’swhetstone
Hugo Battus, Rekenen op taal 1983
SINGULAR and Applications – p. 2
![Page 5: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/5.jpg)
Birth of SINGULAR
1984
SINGULAR and Applications – p. 3
![Page 6: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/6.jpg)
Fields
rational numbers Q (charakteristic 0)
finite fields Z/pZ(p < = 2147483629)
finite fields Fpn(pn < 215)
trancendental extensions of Q or Z/pZ
algebraic extensions of Q or Z/pZ
K[t]/MinPoly
floating point real and complex numbers
SINGULAR and Applications – p. 4
![Page 7: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/7.jpg)
Fields
rational numbers Q (charakteristic 0)
finite fields Z/pZ(p < = 2147483629)
finite fields Fpn(pn < 215)
trancendental extensions of Q or Z/pZ
algebraic extensions of Q or Z/pZ
K[t]/MinPoly
floating point real and complex numbers
SINGULAR and Applications – p. 4
![Page 8: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/8.jpg)
Fields
rational numbers Q (charakteristic 0)
finite fields Z/pZ(p < = 2147483629)
finite fields Fpn(pn < 215)
trancendental extensions of Q or Z/pZ
algebraic extensions of Q or Z/pZ
K[t]/MinPoly
floating point real and complex numbers
SINGULAR and Applications – p. 4
![Page 9: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/9.jpg)
Rings
polynomial rings K[x1, . . . , xn]
localizations K[x1, . . . , xn]MM maximal ideal
factor rings K[x1, . . . , xn]/J oder K[x1, . . . , xn]M/J
non-commutative G–algebrasK〈x1, . . . , xn | xjxi = Cijxixj + Dij〉Cij ∈ K , LM(Dij) < xixj
factor algebras of G–algebras by two-sided ideals
tensor products of the rings above
SINGULAR and Applications – p. 5
![Page 10: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/10.jpg)
Rings
polynomial rings K[x1, . . . , xn]
localizations K[x1, . . . , xn]MM maximal ideal
factor rings K[x1, . . . , xn]/J oder K[x1, . . . , xn]M/J
non-commutative G–algebrasK〈x1, . . . , xn | xjxi = Cijxixj + Dij〉Cij ∈ K , LM(Dij) < xixj
factor algebras of G–algebras by two-sided ideals
tensor products of the rings above
SINGULAR and Applications – p. 5
![Page 11: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/11.jpg)
Rings
polynomial rings K[x1, . . . , xn]
localizations K[x1, . . . , xn]MM maximal ideal
factor rings K[x1, . . . , xn]/J oder K[x1, . . . , xn]M/J
non-commutative G–algebrasK〈x1, . . . , xn | xjxi = Cijxixj + Dij〉Cij ∈ K , LM(Dij) < xixj
factor algebras of G–algebras by two-sided ideals
tensor products of the rings above
SINGULAR and Applications – p. 5
![Page 12: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/12.jpg)
Algorithms in the Kernel (C/C++)
Standard basis algorithms (Buchberger, SlimGB, factorizingBuchberger, FGLM, Hilbert–driven Buchberger, ...)
Syzygies, free resolutions (Schreyer, La Scala, ...)
Multivariate polynomial factorization
absolute factorization (factorization over algebraically closedfields)
Ideal theorie (intersection, quotient, elimination, saturation)
combinatorics (dimension, Hilbert polynomial, multiplicity, ...)
Characteritstic sets (Wu)
SINGULAR and Applications – p. 6
![Page 13: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/13.jpg)
Algorithms in the Kernel (C/C++)
Standard basis algorithms (Buchberger, SlimGB, factorizingBuchberger, FGLM, Hilbert–driven Buchberger, ...)
Syzygies, free resolutions (Schreyer, La Scala, ...)
Multivariate polynomial factorization
absolute factorization (factorization over algebraically closedfields)
Ideal theorie (intersection, quotient, elimination, saturation)
combinatorics (dimension, Hilbert polynomial, multiplicity, ...)
Characteritstic sets (Wu)
SINGULAR and Applications – p. 6
![Page 14: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/14.jpg)
Algorithms in the Kernel (C/C++)
Standard basis algorithms (Buchberger, SlimGB, factorizingBuchberger, FGLM, Hilbert–driven Buchberger, ...)
Syzygies, free resolutions (Schreyer, La Scala, ...)
Multivariate polynomial factorization
absolute factorization (factorization over algebraically closedfields)
Ideal theorie (intersection, quotient, elimination, saturation)
combinatorics (dimension, Hilbert polynomial, multiplicity, ...)
Characteritstic sets (Wu)
SINGULAR and Applications – p. 6
![Page 15: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/15.jpg)
Algorithms in the Kernel (C/C++)
Standard basis algorithms (Buchberger, SlimGB, factorizingBuchberger, FGLM, Hilbert–driven Buchberger, ...)
Syzygies, free resolutions (Schreyer, La Scala, ...)
Multivariate polynomial factorization
absolute factorization (factorization over algebraically closedfields)
Ideal theorie (intersection, quotient, elimination, saturation)
combinatorics (dimension, Hilbert polynomial, multiplicity, ...)
Characteritstic sets (Wu)
SINGULAR and Applications – p. 6
![Page 16: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/16.jpg)
Algorithms in the Kernel (C/C++)
Standard basis algorithms (Buchberger, SlimGB, factorizingBuchberger, FGLM, Hilbert–driven Buchberger, ...)
Syzygies, free resolutions (Schreyer, La Scala, ...)
Multivariate polynomial factorization
absolute factorization (factorization over algebraically closedfields)
Ideal theorie (intersection, quotient, elimination, saturation)
combinatorics (dimension, Hilbert polynomial, multiplicity, ...)
Characteritstic sets (Wu)
SINGULAR and Applications – p. 6
![Page 17: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/17.jpg)
Algorithms in the Kernel (C/C++)
Standard basis algorithms (Buchberger, SlimGB, factorizingBuchberger, FGLM, Hilbert–driven Buchberger, ...)
Syzygies, free resolutions (Schreyer, La Scala, ...)
Multivariate polynomial factorization
absolute factorization (factorization over algebraically closedfields)
Ideal theorie (intersection, quotient, elimination, saturation)
combinatorics (dimension, Hilbert polynomial, multiplicity, ...)
Characteritstic sets (Wu)
SINGULAR and Applications – p. 6
![Page 18: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/18.jpg)
Examples for libraries
primdec.lib
absfact.lib
normal.lib
resol.lib
homolog.lib
solve.lib
surf.lib
control.lib
dynamic modules
SINGULAR and Applications – p. 7
![Page 19: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/19.jpg)
Examples for libraries
primdec.lib
absfact.lib
normal.lib
resol.lib
homolog.lib
solve.lib
surf.lib
control.lib
dynamic modules
SINGULAR and Applications – p. 7
![Page 20: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/20.jpg)
Examples for libraries
primdec.lib
absfact.lib
normal.lib
resol.lib
homolog.lib
solve.lib
surf.lib
control.lib
dynamic modules
SINGULAR and Applications – p. 7
![Page 21: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/21.jpg)
Examples for libraries
primdec.lib
absfact.lib
normal.lib
resol.lib
homolog.lib
solve.lib
surf.lib
control.lib
dynamic modules
SINGULAR and Applications – p. 7
![Page 22: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/22.jpg)
Examples for libraries
primdec.lib
absfact.lib
normal.lib
resol.lib
homolog.lib
solve.lib
surf.lib
control.lib
dynamic modules
SINGULAR and Applications – p. 7
![Page 23: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/23.jpg)
Examples for libraries
primdec.lib
absfact.lib
normal.lib
resol.lib
homolog.lib
solve.lib
surf.lib
control.lib
dynamic modules
SINGULAR and Applications – p. 7
![Page 24: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/24.jpg)
Examples for libraries
primdec.lib
absfact.lib
normal.lib
resol.lib
homolog.lib
solve.lib
surf.lib
control.lib
dynamic modules
SINGULAR and Applications – p. 7
![Page 25: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/25.jpg)
Examples for libraries
primdec.lib
absfact.lib
normal.lib
resol.lib
homolog.lib
solve.lib
surf.lib
control.lib
dynamic modules
SINGULAR and Applications – p. 7
![Page 26: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/26.jpg)
Examples for libraries
primdec.lib
absfact.lib
normal.lib
resol.lib
homolog.lib
solve.lib
surf.lib
control.lib
dynamic modules
SINGULAR and Applications – p. 7
![Page 27: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/27.jpg)
History
1983Greuel/Pfister: Exist singularities (not quasi-homogeneous andcomplete intersection) with exact Poincaré-complex?1984Neuendorf/Pfister: Implementation of the Gröbner basis algo-rithm in basic at ZX-Spectrum
2002
Book: A SINGULAR Introduction to Commutative Algebra
(G.-M. Greuel and G. Pfister, with contributions by O. Bachmann,
C. Lossen and H. Schönemann).
SINGULAR and Applications – p. 8
![Page 28: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/28.jpg)
History
1983Greuel/Pfister: Exist singularities (not quasi-homogeneous andcomplete intersection) with exact Poincaré-complex?1984Neuendorf/Pfister: Implementation of the Gröbner basis algo-rithm in basic at ZX-Spectrum
2002
Book: A SINGULAR Introduction to Commutative Algebra
(G.-M. Greuel and G. Pfister, with contributions by O. Bachmann,
C. Lossen and H. Schönemann).
SINGULAR and Applications – p. 8
![Page 29: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/29.jpg)
History
1983Greuel/Pfister: Exist singularities (not quasi-homogeneous andcomplete intersection) with exact Poincaré-complex?1984Neuendorf/Pfister: Implementation of the Gröbner basis algo-rithm in basic at ZX-Spectrum
2002
Book: A SINGULAR Introduction to Commutative Algebra
(G.-M. Greuel and G. Pfister, with contributions by O. Bachmann,
C. Lossen and H. Schönemann).
SINGULAR and Applications – p. 8
![Page 30: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/30.jpg)
History
2004
Jenks Price
for:
Excellence in Software Engineering
awarded at ISSAC in Santander
http://www.singular.uni-kl.de
Supported by: Deutsche Forschungsgemeinschaft, Stiftung Rheinland-Pfalz fürInnovation, Volkswagen Stiftung
SINGULAR is free software (Gnu Public Licence)
SINGULAR and Applications – p. 9
![Page 31: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/31.jpg)
History
2004
Jenks Price
for:
Excellence in Software Engineering
awarded at ISSAC in Santander
http://www.singular.uni-kl.de
Supported by: Deutsche Forschungsgemeinschaft, Stiftung Rheinland-Pfalz fürInnovation, Volkswagen Stiftung
SINGULAR is free software (Gnu Public Licence)
SINGULAR and Applications – p. 9
![Page 32: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/32.jpg)
History
2004
Jenks Price
for:
Excellence in Software Engineering
awarded at ISSAC in Santander
http://www.singular.uni-kl.de
Supported by: Deutsche Forschungsgemeinschaft, Stiftung Rheinland-Pfalz fürInnovation, Volkswagen Stiftung
SINGULAR is free software (Gnu Public Licence)
SINGULAR and Applications – p. 9
![Page 33: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/33.jpg)
Team
T. Wichmann, C. Lossen, G.-M. Greuel, H. Schönemann,
W. Pohl, G. Pfister, V. Levandovskyy, E. Westenberger,
A. Frühbis-Krüger, Oscar, K. Krüger
Kaiserslautern
Saarbrücken
Cottbus
Berlin
Mainz
Dortmund
Valladolid
La Laguna
Buenos Aires
SINGULAR and Applications – p. 10
![Page 34: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/34.jpg)
Team
T. Wichmann, C. Lossen, G.-M. Greuel, H. Schönemann,
W. Pohl, G. Pfister, V. Levandovskyy, E. Westenberger,
A. Frühbis-Krüger, Oscar, K. Krüger
Kaiserslautern
Saarbrücken
Cottbus
Berlin
Mainz
Dortmund
Valladolid
La Laguna
Buenos Aires
SINGULAR and Applications – p. 10
![Page 35: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/35.jpg)
Saito’s result
Theorem (K. Saito 1971): Let (X, 0) be the germ of an isolatedhypersurface singularity. The following conditions are equivalent:
(X, 0) is quasi-homogeneous.
µ(X, 0) = τ(X, 0).
The Poincaré complex of (X, 0) is exact.
We wanted to generalize this theorem to the case ofisolated complete intersection singularities.
SINGULAR and Applications – p. 11
![Page 36: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/36.jpg)
Saito’s result
Theorem (K. Saito 1971): Let (X, 0) be the germ of an isolatedhypersurface singularity. The following conditions are equivalent:
(X, 0) is quasi-homogeneous.
µ(X, 0) = τ(X, 0).
The Poincaré complex of (X, 0) is exact.
We wanted to generalize this theorem to the case ofisolated complete intersection singularities.
SINGULAR and Applications – p. 11
![Page 37: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/37.jpg)
Poincaré complex
Let (Xl,k, 0) be the germ of the unimodal space curve singularityFTk,l of the classification of Terry Wall defined by the equations
xy + zl−1 = 0
xz + yz2 + yk−1 = 0
4 ≤ l ≤ k, 5 ≤ k.
The Poincaré complex
0 −→ C −→ OXl,k,0 −→ Ω1Xl,k,0 −→ Ω2
Xl,k,0 −→ Ω3Xl,k,0 −→ 0
is exact.But (Xl,k, 0) is not quasi-homogeneous:
µ(X, 0) = τ(X, 0) + 1 = k + l + 2.
SINGULAR and Applications – p. 12
![Page 38: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/38.jpg)
Poincaré complex
Let (Xl,k, 0) be the germ of the unimodal space curve singularityFTk,l of the classification of Terry Wall defined by the equations
xy + zl−1 = 0
xz + yz2 + yk−1 = 0
4 ≤ l ≤ k, 5 ≤ k.The Poincaré complex
0 −→ C −→ OXl,k,0 −→ Ω1Xl,k,0 −→ Ω2
Xl,k,0 −→ Ω3Xl,k,0 −→ 0
is exact.But (Xl,k, 0) is not quasi-homogeneous:
µ(X, 0) = τ(X, 0) + 1 = k + l + 2.
SINGULAR and Applications – p. 12
![Page 39: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/39.jpg)
µ and τ
Let (X, 0) be a germ of a space curve singularity defined byf = g = 0, with f, g ∈ Cx, y, z
µ(X, 0) = dimC(Ω1X,0/dO(X,0))
τ(X, 0) = dimC(Cx, y, z/ < f, g, M1, M2, M3 >)
here the Mi are the 2-minors of the Jacobian matrix of f, g.
Reiffen: The Poincaré complex is exact if and only if
< f, g > Ω3C3,0 ⊂ d(< f, g > Ω2
C3,0)
andµ(X, 0) = dimC(Ω2
X,0) − dimC(Ω3X,0)
SINGULAR and Applications – p. 13
![Page 40: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/40.jpg)
µ and τ
Let (X, 0) be a germ of a space curve singularity defined byf = g = 0, with f, g ∈ Cx, y, z
µ(X, 0) = dimC(Ω1X,0/dO(X,0))
τ(X, 0) = dimC(Cx, y, z/ < f, g, M1, M2, M3 >)
here the Mi are the 2-minors of the Jacobian matrix of f, g.
Reiffen: The Poincaré complex is exact if and only if
< f, g > Ω3C3,0 ⊂ d(< f, g > Ω2
C3,0)
andµ(X, 0) = dimC(Ω2
X,0) − dimC(Ω3X,0)
SINGULAR and Applications – p. 13
![Page 41: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/41.jpg)
µ and τ
Let (X, 0) be a germ of a space curve singularity defined byf = g = 0, with f, g ∈ Cx, y, z
µ(X, 0) = dimC(Ω1X,0/dO(X,0))
τ(X, 0) = dimC(Cx, y, z/ < f, g, M1, M2, M3 >)
here the Mi are the 2-minors of the Jacobian matrix of f, g.
Reiffen: The Poincaré complex is exact if and only if
< f, g > Ω3C3,0 ⊂ d(< f, g > Ω2
C3,0)
andµ(X, 0) = dimC(Ω2
X,0) − dimC(Ω3X,0)
SINGULAR and Applications – p. 13
![Page 42: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/42.jpg)
Zariski’s conjecture
Conjecture (Zariski 1971) :A µ–constant deformation of an iso-lated hypersurface singularity is a de-formation with constant multiplicity.
SINGULAR and Applications – p. 14
![Page 43: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/43.jpg)
Zariski’s conjecture
Conjecture (Zariski 1971) :A µ–constant deformation of an iso-lated hypersurface singularity is a de-formation with constant multiplicity.
SINGULAR and Applications – p. 14
![Page 44: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/44.jpg)
Zariski’s conjecture
Ft = xa + yb + z3c + xc+2yc−1 + xc−1yc−1z3 + xc−2yc(y2 + tx)2
(a, b, c) = (40, 30, 8)µ(F0) = 10661µ(Ft) = 10655
SINGULAR and Applications – p. 15
![Page 45: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/45.jpg)
Zariski’s conjecture
Ft = xa + yb + z3c + xc+2yc−1 + xc−1yc−1z3 + xc−2yc(y2 + tx)2
(a, b, c) = (40, 30, 8)µ(F0) = 10661µ(Ft) = 10655
SINGULAR and Applications – p. 15
![Page 46: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/46.jpg)
Applications
mathematicalexperimental toolproving theorems
non–mathematicalengineering (glas melting, robotics, chemical models,analog and digital microelectronics)equilibrian problems in economicstheoretical physics
SINGULAR and Applications – p. 16
![Page 47: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/47.jpg)
Applications
mathematicalexperimental toolproving theorems
non–mathematicalengineering (glas melting, robotics, chemical models,analog and digital microelectronics)equilibrian problems in economicstheoretical physics
SINGULAR and Applications – p. 16
![Page 48: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/48.jpg)
Computeralgebra and finite Groups
Problem: Characterize the class of finite solvable groups G by2–variable identities.
Example:
G is abelian ⇔ xy = yx ∀ x, y ∈ G
(Zorn, 1930) A finite group G is nilpotent ⇔ ∃ n ≥ 1, such thatvn(x, y) = 1 ∀ x, y ∈ G
(Engel Identity)
v1 := [x, y] = xyx−1y−1 (commutator)vn+1 := [vn, y]
SINGULAR and Applications – p. 17
![Page 49: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/49.jpg)
Computeralgebra and finite Groups
Problem: Characterize the class of finite solvable groups G by2–variable identities.
Example:
G is abelian ⇔ xy = yx ∀ x, y ∈ G
(Zorn, 1930) A finite group G is nilpotent ⇔ ∃ n ≥ 1, such thatvn(x, y) = 1 ∀ x, y ∈ G
(Engel Identity)
v1 := [x, y] = xyx−1y−1 (commutator)vn+1 := [vn, y]
SINGULAR and Applications – p. 17
![Page 50: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/50.jpg)
nilpotent groups
Let G be a finite group
G(1) := [G, G] = 〈aba−1b−1 | a, b ∈ G〉 .
Let G(i) := [G(i−1), G], then G is called nilpotent, if G(m) = e for asuitable m.
abelian groups are nilpotent.
if the order of the group is a power of a prime it is nilpotent.
G ist nilpotent ⇔ it is the direct product of its Sylow groups.
S3 is not nilpotent.
SINGULAR and Applications – p. 18
![Page 51: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/51.jpg)
nilpotent groups
Let G be a finite group
G(1) := [G, G] = 〈aba−1b−1 | a, b ∈ G〉 .
Let G(i) := [G(i−1), G], then G is called nilpotent, if G(m) = e for asuitable m.
abelian groups are nilpotent.
if the order of the group is a power of a prime it is nilpotent.
G ist nilpotent ⇔ it is the direct product of its Sylow groups.
S3 is not nilpotent.
SINGULAR and Applications – p. 18
![Page 52: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/52.jpg)
solvable groups
Let
G(i) := [G(i−1), G(i−1)],
then G is called solvable, if G(m) = e for a suitable m.
nilpotente groups are solvable.
S3, S4 are solvable.
groups of odd order are solvable.
S5, A5 are not solvable.
SINGULAR and Applications – p. 19
![Page 53: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/53.jpg)
solvable groups
Let
G(i) := [G(i−1), G(i−1)],
then G is called solvable, if G(m) = e for a suitable m.
nilpotente groups are solvable.
S3, S4 are solvable.
groups of odd order are solvable.
S5, A5 are not solvable.
SINGULAR and Applications – p. 19
![Page 54: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/54.jpg)
Main result
Theorem (T. Bandman, G.-M. Greuel, F. Grunewald, B. Kunyavsky,G. Pfister, E. Plotkin)
U1 = U1(x, y) := x2y−1x,
Un+1 = Un+1(x, y) = [xUnx−1, yUny−1].
A finite group G is solvable ⇔ ∃ n, such that Un(x, y) = 1 ∀ x, y ∈ G.
U1(x, y) = 1 ⇔ y = x−1
U1(x, y) = U2(x, y)
⇔ x−1yx−1y−1x2 = yx−2y−1xy−1
Let x, y ∈ G such that y 6= x−1 andU1(x, y) = U2(x, y) ⇒ Un(x, y) 6= 1 ∀ n ∈ N.
SINGULAR and Applications – p. 20
![Page 55: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/55.jpg)
Main result
Theorem (T. Bandman, G.-M. Greuel, F. Grunewald, B. Kunyavsky,G. Pfister, E. Plotkin)
U1 = U1(x, y) := x2y−1x,
Un+1 = Un+1(x, y) = [xUnx−1, yUny−1].
A finite group G is solvable ⇔ ∃ n, such that Un(x, y) = 1 ∀ x, y ∈ G.
U1(x, y) = 1 ⇔ y = x−1
U1(x, y) = U2(x, y)
⇔ x−1yx−1y−1x2 = yx−2y−1xy−1
Let x, y ∈ G such that y 6= x−1 andU1(x, y) = U2(x, y) ⇒ Un(x, y) 6= 1 ∀ n ∈ N.
SINGULAR and Applications – p. 20
![Page 56: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/56.jpg)
Proof
G solvable ⇒ Identity is true (by definition).
Idea of ⇐
Theorem (Thompson, 1968)Let G minimally not solvable. Then G is one of the following groups:
PSL(2, Fp), p a prime number ≥ 5
PSL(2, F2p), p a prime number
PSL(2, F3p), p a prime number
PSL(3, F3)
Sz(2p) p a prime number.
If is enough to prove (for G in Thompson’s list): ∃ x, y ∈ G, such thaty 6= x−1 and U1(x, y) = U2(x, y).
SINGULAR and Applications – p. 21
![Page 57: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/57.jpg)
Proof
G solvable ⇒ Identity is true (by definition).Idea of ⇐
Theorem (Thompson, 1968)Let G minimally not solvable. Then G is one of the following groups:
PSL(2, Fp), p a prime number ≥ 5
PSL(2, F2p), p a prime number
PSL(2, F3p), p a prime number
PSL(3, F3)
Sz(2p) p a prime number.
If is enough to prove (for G in Thompson’s list): ∃ x, y ∈ G, such thaty 6= x−1 and U1(x, y) = U2(x, y).
SINGULAR and Applications – p. 21
![Page 58: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/58.jpg)
Proof
G solvable ⇒ Identity is true (by definition).Idea of ⇐
Theorem (Thompson, 1968)Let G minimally not solvable. Then G is one of the following groups:
PSL(2, Fp), p a prime number ≥ 5
PSL(2, F2p), p a prime number
PSL(2, F3p), p a prime number
PSL(3, F3)
Sz(2p) p a prime number.
If is enough to prove (for G in Thompson’s list): ∃ x, y ∈ G, such thaty 6= x−1 and U1(x, y) = U2(x, y).
SINGULAR and Applications – p. 21
![Page 59: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/59.jpg)
Proof
G solvable ⇒ Identity is true (by definition).Idea of ⇐
Theorem (Thompson, 1968)Let G minimally not solvable. Then G is one of the following groups:
PSL(2, Fp), p a prime number ≥ 5
PSL(2, F2p), p a prime number
PSL(2, F3p), p a prime number
PSL(3, F3)
Sz(2p) p a prime number.
If is enough to prove (for G in Thompson’s list): ∃ x, y ∈ G, such thaty 6= x−1 and U1(x, y) = U2(x, y).
SINGULAR and Applications – p. 21
![Page 60: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/60.jpg)
Proof
G solvable ⇒ Identity is true (by definition).Idea of ⇐
Theorem (Thompson, 1968)Let G minimally not solvable. Then G is one of the following groups:
PSL(2, Fp), p a prime number ≥ 5
PSL(2, F2p), p a prime number
PSL(2, F3p), p a prime number
PSL(3, F3)
Sz(2p) p a prime number.
If is enough to prove (for G in Thompson’s list): ∃ x, y ∈ G, such thaty 6= x−1 and U1(x, y) = U2(x, y).
SINGULAR and Applications – p. 21
![Page 61: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/61.jpg)
Proof
G solvable ⇒ Identity is true (by definition).Idea of ⇐
Theorem (Thompson, 1968)Let G minimally not solvable. Then G is one of the following groups:
PSL(2, Fp), p a prime number ≥ 5
PSL(2, F2p), p a prime number
PSL(2, F3p), p a prime number
PSL(3, F3)
Sz(2p) p a prime number.
If is enough to prove (for G in Thompson’s list): ∃ x, y ∈ G, such thaty 6= x−1 and U1(x, y) = U2(x, y).
SINGULAR and Applications – p. 21
![Page 62: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/62.jpg)
Proof
G solvable ⇒ Identity is true (by definition).Idea of ⇐
Theorem (Thompson, 1968)Let G minimally not solvable. Then G is one of the following groups:
PSL(2, Fp), p a prime number ≥ 5
PSL(2, F2p), p a prime number
PSL(2, F3p), p a prime number
PSL(3, F3)
Sz(2p) p a prime number.
If is enough to prove (for G in Thompson’s list): ∃ x, y ∈ G, such thaty 6= x−1 and U1(x, y) = U2(x, y).
SINGULAR and Applications – p. 21
![Page 63: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/63.jpg)
Motivation of the choice of the word
Let w be a word in X, Y, X−1, Y −1 and
U1 = w
Un+1 = [XUnX−1, Y UnY −1].
A Computer–search through the 10,000 shortest words inX, X−1, Y, Y −1 found the following four words such that the equationU1 = U2 has a non-trivial solution in PSL(2, p) for all p < 1000:
w1 = X−2Y −1X
w2 = X−1Y XY −1X
w3 = Y −2X−1
w4 = XY −2X−1Y X−1
SINGULAR and Applications – p. 22
![Page 64: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/64.jpg)
Motivation of the choice of the word
Let w be a word in X, Y, X−1, Y −1 and
U1 = w
Un+1 = [XUnX−1, Y UnY −1].
A Computer–search through the 10,000 shortest words inX, X−1, Y, Y −1 found the following four words such that the equationU1 = U2 has a non-trivial solution in PSL(2, p) for all p < 1000:
w1 = X−2Y −1X
w2 = X−1Y XY −1X
w3 = Y −2X−1
w4 = XY −2X−1Y X−1
SINGULAR and Applications – p. 22
![Page 65: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/65.jpg)
PSL
PSL(2, K) = SL(2, K)/( a 0
0 a )∣∣ a2 = 1
especially
PSL(2, F5) = [( a11 a12
a21 a22)] , a11a22 − a21a12 = 1
[( a11 a12
a21 a22)] =
( a11 a12
a21 a22) ,(
4a11 4a12
4a21 4a22
).
It holds:
PSL(2, F5) ∼= PSL(2, F4) ∼= A5
SINGULAR and Applications – p. 23
![Page 66: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/66.jpg)
PSL
PSL(2, K) = SL(2, K)/( a 0
0 a )∣∣ a2 = 1
especially
PSL(2, F5) = [( a11 a12
a21 a22)] , a11a22 − a21a12 = 1
[( a11 a12
a21 a22)] =
( a11 a12
a21 a22) ,(
4a11 4a12
4a21 4a22
).
It holds:
PSL(2, F5) ∼= PSL(2, F4) ∼= A5
SINGULAR and Applications – p. 23
![Page 67: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/67.jpg)
PSL
PSL(2, K) = SL(2, K)/( a 0
0 a )∣∣ a2 = 1
especially
PSL(2, F5) = [( a11 a12
a21 a22)] , a11a22 − a21a12 = 1
[( a11 a12
a21 a22)] =
( a11 a12
a21 a22) ,(
4a11 4a12
4a21 4a22
).
It holds:
PSL(2, F5) ∼= PSL(2, F4) ∼= A5
SINGULAR and Applications – p. 23
![Page 68: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/68.jpg)
Translation to algebraic Geometry
Let us consider G = PSL(2,FpFpFp), p ≥ 5
Consider the matrices
x =
(t 1
−1 0
)y =
(1 b
c 1 + bc
)
x−1 =(
0 −11 t
)implies y 6= x−1 for all (b, c, t) ∈ F3
p.It is enough to prove that the equation
U1(x, y) = U2(x, y), i.e.x−1yx−1y−1x2 = yx−2y−1xy−1
has a solution (b, c, t) ∈ F3p.
SINGULAR and Applications – p. 24
![Page 69: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/69.jpg)
Translation to algebraic Geometry
Let us consider G = PSL(2,FpFpFp), p ≥ 5
Consider the matrices
x =
(t 1
−1 0
)y =
(1 b
c 1 + bc
)
x−1 =(
0 −11 t
)implies y 6= x−1 for all (b, c, t) ∈ F3
p.
It is enough to prove that the equationU1(x, y) = U2(x, y), i.e.
x−1yx−1y−1x2 = yx−2y−1xy−1
has a solution (b, c, t) ∈ F3p.
SINGULAR and Applications – p. 24
![Page 70: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/70.jpg)
Translation to algebraic Geometry
Let us consider G = PSL(2,FpFpFp), p ≥ 5
Consider the matrices
x =
(t 1
−1 0
)y =
(1 b
c 1 + bc
)
x−1 =(
0 −11 t
)implies y 6= x−1 for all (b, c, t) ∈ F3
p.It is enough to prove that the equation
U1(x, y) = U2(x, y), i.e.x−1yx−1y−1x2 = yx−2y−1xy−1
has a solution (b, c, t) ∈ F3p.
SINGULAR and Applications – p. 24
![Page 71: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/71.jpg)
The equations
The entries of U1(x, y) − U2(x, y) are the following polynomials inZ[b, c, t] Let I =< p1, . . . , p4 > and I(p) the induced ideal over Z/p:
p1 = b3c2t2 + b2c2t3 − b2c2t2 − bc2t3 − b3ct + b2c2t + b2ct2 + 2bc2t2
+bct3 + b2c2 + b2ct + bc2t − bct2 − c2t2 − ct3 − b2t + bct + c2t
+ct2 + 2bc + c2 + bt +2 ct + c + 1
p2 = −b3ct2 − b2ct3 + b2c2t + bc2t2 + b3t − b2ct − 2bct2 − b2c + bct
+c2t + ct2 − bt − ct − b − c − 1
p3 = b3c3t2 + b2c3t3 − b2c2t3 − bc2t4 − b3c2t + b2c3t +2 b2c2t2
+2bc3t2 +2 bc2t3 + b2c2t +2 b2ct2 + bc2t2 − c2t3 − ct4 − 2b2ct
+bc2t + c3t + bct2 + 2c2t2 + ct3 − b2c − b2t + bct + c2t + bt2
+3ct2 + bc − bt − b − c + 1
p4 = −b3c2t2 − b2c2t3 + b2c2t2 + bc2t3 + b3ct − b2c2t − b2ct2 − 2bc2t2
−bct3 − 2b2ct + c2t2 + ct3 + b2t − bct − c2t − ct2 + b2 − bt
−2ct − b − t + 1
SINGULAR and Applications – p. 25
![Page 72: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/72.jpg)
Hasse–Weil–Theorem
Theorem von Hasse–Weil (generalized by Aubry and Perret forsingulare curves):
Let C ⊆ An be an absolutely irreducible affine curve defined overthe finite field Fq and C ⊂ Pn its projective closure ⇒
#C(Fq) ≥ q + 1 − 2pa√
q − d
(d = degree, pa = arithmetic genus of C).
The Hilbert–polynomial of C, H(t) = d · t − pa + 1, can be computedusing the ideal Ih of C:We obtain H(t) = 10t − 11 ⇒ d = 10, pa = 12.Since p + 1 − 24
√p − 10 > 0 if p > 593, we obtain the result.
SINGULAR and Applications – p. 26
![Page 73: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/73.jpg)
Hasse–Weil–Theorem
Theorem von Hasse–Weil (generalized by Aubry and Perret forsingulare curves):Let C ⊆ An be an absolutely irreducible affine curve defined overthe finite field Fq and C ⊂ Pn its projective closure ⇒
#C(Fq) ≥ q + 1 − 2pa√
q − d
(d = degree, pa = arithmetic genus of C).
The Hilbert–polynomial of C, H(t) = d · t − pa + 1, can be computedusing the ideal Ih of C:We obtain H(t) = 10t − 11 ⇒ d = 10, pa = 12.Since p + 1 − 24
√p − 10 > 0 if p > 593, we obtain the result.
SINGULAR and Applications – p. 26
![Page 74: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/74.jpg)
Hasse–Weil–Theorem
Theorem von Hasse–Weil (generalized by Aubry and Perret forsingulare curves):Let C ⊆ An be an absolutely irreducible affine curve defined overthe finite field Fq and C ⊂ Pn its projective closure ⇒
#C(Fq) ≥ q + 1 − 2pa√
q − d
(d = degree, pa = arithmetic genus of C).
The Hilbert–polynomial of C, H(t) = d · t − pa + 1, can be computedusing the ideal Ih of C:We obtain H(t) = 10t − 11 ⇒ d = 10, pa = 12.
Since p + 1 − 24√
p − 10 > 0 if p > 593, we obtain the result.
SINGULAR and Applications – p. 26
![Page 75: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/75.jpg)
Hasse–Weil–Theorem
Theorem von Hasse–Weil (generalized by Aubry and Perret forsingulare curves):Let C ⊆ An be an absolutely irreducible affine curve defined overthe finite field Fq and C ⊂ Pn its projective closure ⇒
#C(Fq) ≥ q + 1 − 2pa√
q − d
(d = degree, pa = arithmetic genus of C).
The Hilbert–polynomial of C, H(t) = d · t − pa + 1, can be computedusing the ideal Ih of C:We obtain H(t) = 10t − 11 ⇒ d = 10, pa = 12.Since p + 1 − 24
√p − 10 > 0 if p > 593, we obtain the result.
SINGULAR and Applications – p. 26
![Page 76: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/76.jpg)
absolute irreduciblity
Proposition: V (I(p)) is absolutely irreducibel for all primes p ≥ 5.
proof:
Using SINGULAR we show:
〈f1, f2〉 : h2 = I.
f1 = t2b4 + (t4 − 2t3 − 2t2)b3 − (t5 − 2t4 − t2 − 2t − 1)b2
−(t5 − 4t4 + t3 + 6t2 + 2t)b + (t4 − 4t3 + 2t2 + 4t + 1)
f2 = (t3 − 2t2 − t)c + t2b3 + (t4 − 2t3 − 2t2)b2
−(t5 − 2t4 − t2 − 2t − 1)b − (t5 − 4t4 + t3 + 6t2 + 2t)
h = t3 − 2t2 − t
SINGULAR and Applications – p. 27
![Page 77: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/77.jpg)
absolute irreduciblity
Proposition: V (I(p)) is absolutely irreducibel for all primes p ≥ 5.proof:
Using SINGULAR we show:
〈f1, f2〉 : h2 = I.
f1 = t2b4 + (t4 − 2t3 − 2t2)b3 − (t5 − 2t4 − t2 − 2t − 1)b2
−(t5 − 4t4 + t3 + 6t2 + 2t)b + (t4 − 4t3 + 2t2 + 4t + 1)
f2 = (t3 − 2t2 − t)c + t2b3 + (t4 − 2t3 − 2t2)b2
−(t5 − 2t4 − t2 − 2t − 1)b − (t5 − 4t4 + t3 + 6t2 + 2t)
h = t3 − 2t2 − t
SINGULAR and Applications – p. 27
![Page 78: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/78.jpg)
absolute irreduciblity
Proposition: V (I(p)) is absolutely irreducibel for all primes p ≥ 5.proof:
Using SINGULAR we show:
〈f1, f2〉 : h2 = I.
f1 = t2b4 + (t4 − 2t3 − 2t2)b3 − (t5 − 2t4 − t2 − 2t − 1)b2
−(t5 − 4t4 + t3 + 6t2 + 2t)b + (t4 − 4t3 + 2t2 + 4t + 1)
f2 = (t3 − 2t2 − t)c + t2b3 + (t4 − 2t3 − 2t2)b2
−(t5 − 2t4 − t2 − 2t − 1)b − (t5 − 4t4 + t3 + 6t2 + 2t)
h = t3 − 2t2 − t
SINGULAR and Applications – p. 27
![Page 79: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/79.jpg)
We give explicitely matrices M and N with entries in Z[b, c, t] such
thatM
p1
...p4
=
(f1
f2
)and
N
(f1
f2
)=
h2p1
...h2p4
We obtain for all fields K
IK[b, c, t] =(〈f1, f2〉K[b, c, t]
): h2 .
SINGULAR and Applications – p. 28
![Page 80: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/80.jpg)
We give explicitely matrices M and N with entries in Z[b, c, t] such
thatM
p1
...p4
=
(f1
f2
)and
N
(f1
f2
)=
h2p1
...h2p4
We obtain for all fields K
IK[b, c, t] =(〈f1, f2〉K[b, c, t]
): h2 .
SINGULAR and Applications – p. 28
![Page 81: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/81.jpg)
Schritt 2
f2 is linear in c , it is enough to show, that f1 is absolutelyirreducibel.
algebraically the following is equivalent:
IK[b, c, t] is prime
〈f1, f2〉K(t)[b, c] prime
f1 irreducibel in K(t)[b] resp. in K[t, b].
geometrically:Curve V (I) is irreducibel, if the projection to the b, t–plane isirreducibel.
SINGULAR and Applications – p. 29
![Page 82: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/82.jpg)
Schritt 2
f2 is linear in c , it is enough to show, that f1 is absolutelyirreducibel.
algebraically the following is equivalent:
IK[b, c, t] is prime
〈f1, f2〉K(t)[b, c] prime
f1 irreducibel in K(t)[b] resp. in K[t, b].
geometrically:Curve V (I) is irreducibel, if the projection to the b, t–plane isirreducibel.
SINGULAR and Applications – p. 29
![Page 83: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/83.jpg)
Schritt 2
f2 is linear in c , it is enough to show, that f1 is absolutelyirreducibel.
algebraically the following is equivalent:
IK[b, c, t] is prime
〈f1, f2〉K(t)[b, c] prime
f1 irreducibel in K(t)[b] resp. in K[t, b].
geometrically:Curve V (I) is irreducibel, if the projection to the b, t–plane isirreducibel.
SINGULAR and Applications – p. 29
![Page 84: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/84.jpg)
Let P (x) := t2J [1]|b=x/t then P is monic of degree 4.
x4 + (t3 − 2t2 − 2t)x3 − (t5 − 2t4 − t2 − 2t − 1)x2−(t6 − 4t5 + t4 + 6t3 + 2t2)x + (t6 − 4t5 + 2t4 + 4t3 + t2).
We prove, that the induced polynomial P ∈ Fp[t, x] is absolutelyirreducibel for all primes p ≥ 2.(Using the lemma of Gauß this is equivalent to P being irreducibel inFp(t)[x].)
SINGULAR and Applications – p. 30
![Page 85: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/85.jpg)
Let P (x) := t2J [1]|b=x/t then P is monic of degree 4.
x4 + (t3 − 2t2 − 2t)x3 − (t5 − 2t4 − t2 − 2t − 1)x2−(t6 − 4t5 + t4 + 6t3 + 2t2)x + (t6 − 4t5 + 2t4 + 4t3 + t2).
We prove, that the induced polynomial P ∈ Fp[t, x] is absolutelyirreducibel for all primes p ≥ 2.(Using the lemma of Gauß this is equivalent to P being irreducibel inFp(t)[x].)
SINGULAR and Applications – p. 30
![Page 86: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/86.jpg)
Ansatz
(∗) P = (x2 + ax + b)(x2 + gx + d)
a, b, g, d polynomials in t with variable coefficients
a(i), b(i), g(i), d(i) .
The decomposition (∗) with a(i), b(i), g(i), d(i) ∈ Fp doesnot exist iff the ideal C generated by the coefficients with respect tox, t of P − (x2 + ax + b)(x2 + gx + d) has no solution in Fp . This isequivalent to the fact that 1 ∈ C.
SINGULAR and Applications – p. 31
![Page 87: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/87.jpg)
Ansatz
(∗) P = (x2 + ax + b)(x2 + gx + d)
a, b, g, d polynomials in t with variable coefficients
a(i), b(i), g(i), d(i) .
The decomposition (∗) with a(i), b(i), g(i), d(i) ∈ Fp doesnot exist iff the ideal C generated by the coefficients with respect tox, t of P − (x2 + ax + b)(x2 + gx + d) has no solution in Fp . This isequivalent to the fact that 1 ∈ C.
SINGULAR and Applications – p. 31
![Page 88: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/88.jpg)
The ideal of the coefficients of C:
SINGULAR and Applications – p. 32
![Page 89: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/89.jpg)
Using SINGULAR, one shows that overZ[a(i), b(i), g(i), d(i)
]
4 =
24∑
i=1
Mi C[i] .
SINGULAR and Applications – p. 33
![Page 90: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/90.jpg)
Suzuki groups
This case is much more complicated.We have to prove that on a surface U any odd power of a certainendomorphism θ has fixed points.
Here we use the Lefschetz–Weil–Grothendieck trace formulaegeneralized by Deligne–Lusztig, Th. Zink, Pink, Katz andAdolphson–Sperber:
2n − b1(U) · 234n − b2(U) · 2
12n ≤ # Fix (θn, U)
for n sufficientely large.
SINGULAR and Applications – p. 34
![Page 91: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/91.jpg)
Suzuki groups
This case is much more complicated.We have to prove that on a surface U any odd power of a certainendomorphism θ has fixed points.Here we use the Lefschetz–Weil–Grothendieck trace formulaegeneralized by Deligne–Lusztig, Th. Zink, Pink, Katz andAdolphson–Sperber:
2n − b1(U) · 234n − b2(U) · 2
12n ≤ # Fix (θn, U)
for n sufficientely large.
SINGULAR and Applications – p. 34
![Page 92: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/92.jpg)
Model for a national economy
F. Kubler (Mannheim)K. Schmedders (Kellogg School of Mathematics)
General problem:
Study a computer model of a national economy
especially study equilibria
Mathematical problem:Find the positive real roots of a given system of polynomialequations
SINGULAR and Applications – p. 35
![Page 93: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/93.jpg)
Model for a national economy
F. Kubler (Mannheim)K. Schmedders (Kellogg School of Mathematics)
General problem:
Study a computer model of a national economy
especially study equilibria
Mathematical problem:Find the positive real roots of a given system of polynomialequations
SINGULAR and Applications – p. 35
![Page 94: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/94.jpg)
A small example
This example could be solved by the economists themselves
!
" !
"
! !
!
# $ %
& ' #
( ( % ) * + $
$ % , $ + & #- $ * ,
( ( % ) * + $ $ '
SINGULAR and Applications – p. 36
![Page 95: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/95.jpg)
A hard example
SINGULAR and Applications – p. 37
![Page 96: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/96.jpg)
A hard example
Problem:
a purely numerical approach was not sucessful
automatical symbolical preprocessing was not sucessful
Computer-Human solution:
using factorization to split the problem
Subsitution of variables
choose suitable field extensions to simplify the problem
SINGULAR and Applications – p. 38
![Page 97: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/97.jpg)
A hard example
Problem:
a purely numerical approach was not sucessful
automatical symbolical preprocessing was not sucessful
Computer-Human solution:
using factorization to split the problem
Subsitution of variables
choose suitable field extensions to simplify the problem
SINGULAR and Applications – p. 38
![Page 98: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/98.jpg)
A degenerate example
SINGULAR and Applications – p. 39
![Page 99: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/99.jpg)
Resolution of X = V (z2 − x2y2) ⊂ K3
resolve.lib
SINGULAR and Applications – p. 40
![Page 100: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/100.jpg)
Resolution of X = V (z2 − x2y2) ⊂ K3
resolve.lib
SINGULAR and Applications – p. 40
![Page 101: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/101.jpg)
Sheaf cohomology
Let S = K[x0, . . . , xn] and M be a finitely generated gradedS–module.We want to compute
Hj(M(k))
Using non-commutative methods will be 50 times faster thenthe direct (commutative) approach.
SINGULAR and Applications – p. 41
![Page 102: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/102.jpg)
Sheaf cohomology
Let S = K[x0, . . . , xn] and M be a finitely generated gradedS–module.We want to compute
Hj(M(k))
Using non-commutative methods will be 50 times faster thenthe direct (commutative) approach.
SINGULAR and Applications – p. 41
![Page 103: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/103.jpg)
Robotics and the Cycloheptane Molecule
A.H.M. Levelt
SINGULAR and Applications – p. 42
![Page 104: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/104.jpg)
Robotics and the Cycloheptane Molecule
A.H.M. Levelt
SINGULAR and Applications – p. 42
![Page 105: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/105.jpg)
Robotics and the Cycloheptane Molecule
A.H.M. Levelt
SINGULAR and Applications – p. 42
![Page 106: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/106.jpg)
The Heptagon
Equations for the vectors:
(a1, a2) = (a2, a3) = . . . =
(a7, a1) = c
(a1, a1) = (a2, a2) = . . . =
(a7, a7) = 1
a1 + a2 + . . . + a7 = 0
c = cos(α) and (, ) is the scalar product.
For c = 0: equations for the configuration space of a robot
For c = 1
3: equations for the configurations space of a molecule
SINGULAR and Applications – p. 43
![Page 107: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/107.jpg)
The Heptagon
Equations for the vectors:
(a1, a2) = (a2, a3) = . . . =
(a7, a1) = c
(a1, a1) = (a2, a2) = . . . =
(a7, a7) = 1
a1 + a2 + . . . + a7 = 0
c = cos(α) and (, ) is the scalar product.
For c = 0: equations for the configuration space of a robot
For c = 1
3: equations for the configurations space of a molecule
SINGULAR and Applications – p. 43
![Page 108: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/108.jpg)
The Heptagon
Equations for the vectors:
(a1, a2) = (a2, a3) = . . . =
(a7, a1) = c
(a1, a1) = (a2, a2) = . . . =
(a7, a7) = 1
a1 + a2 + . . . + a7 = 0
c = cos(α) and (, ) is the scalar product.
For c = 0: equations for the configuration space of a robot
For c = 1
3: equations for the configurations space of a molecule
SINGULAR and Applications – p. 43
![Page 109: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/109.jpg)
The Molecule
Equations for the configuration space (in SINGULAR ):
& *
* * * * ! ! * * ! * *
* ! ! * * ! * *
& & & & * * & " ! " &
" & * " * " * & * !
& & & & ! & & ! & ! &
SINGULAR and Applications – p. 44
![Page 110: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/110.jpg)
The Projection
The equations describe a curve in R5. The projection to the w, x–plane is difficult tocompute:
13343098629642274643741505w20x16+18458805154059402163602552w20x15
+12528539096440613433050772w19x16-307469543636682571308498792w20x14-308745089273555811810514188w19x15-335770469789305978523636514w18x16
.
.
.
-57603722394732542788396875000w2x-56209703485755917382271875000wx2-29459059311819369252628125000x3-3456386878638867977468750000w2-388065077492910629437500000wx-3500955605594366547468750000x2+1264097844032306972500000000w+1126578705265908772500000000x+240658492841196850000000000
SINGULAR and Applications – p. 45
![Page 111: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/111.jpg)
The Projection
The equations describe a curve in R5. The projection to the w, x–plane is difficult tocompute:
13343098629642274643741505w20x16+18458805154059402163602552w20x15+12528539096440613433050772w19x16-307469543636682571308498792w20x14-308745089273555811810514188w19x15-335770469789305978523636514w18x16
.
.
.
-57603722394732542788396875000w2x-56209703485755917382271875000wx2-29459059311819369252628125000x3-3456386878638867977468750000w2-388065077492910629437500000wx-3500955605594366547468750000x2+1264097844032306972500000000w+1126578705265908772500000000x+240658492841196850000000000
SINGULAR and Applications – p. 45
![Page 112: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/112.jpg)
Projection of the curve to the w, x–plane
ideal K = eliminate(I,vyz);
LIB’’surf.lib’’;
plot(K[1]);
The curve shows the possible w, x–coordinates of the molecule.
SINGULAR and Applications – p. 46
![Page 113: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/113.jpg)
Projection of the curve to the w, x–plane
ideal K = eliminate(I,vyz);
LIB’’surf.lib’’;
plot(K[1]);
The curve shows the possible w, x–coordinates of the molecule.
SINGULAR and Applications – p. 46
![Page 114: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/114.jpg)
Electronics: Analog circuits
The sizing leads to the following system of equations:
SINGULAR and Applications – p. 47
![Page 115: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/115.jpg)
Electronics
Elimination of variables: The resistors R1, . . . , R8 and the capacitiesC3 in terms of currents and voltages:.
+ % +
# $ %
# #
$ ' #
& , & , & & ( & ,
& , & , & , & , & ,
& ,
" (
" ( " "
SINGULAR and Applications – p. 48
![Page 116: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/116.jpg)
Control theory
D = K[∂1, . . . , ∂n] R ∈ Dg×q A = C∞(Rn, K)
B = Ker(R) = ω ∈ Aq | Rω = 0
B controllable ⇐⇒ B = im(M) for some M ∈ Dq×l
system module M = Dq/DgR , N = Dg/RDq
the transposed one
B controllable ⇐⇒ M torsion free
⇐⇒ Ext1D
(N ,D) = 0
SINGULAR and Applications – p. 49
![Page 117: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/117.jpg)
Control theory
D = K[∂1, . . . , ∂n] R ∈ Dg×q A = C∞(Rn, K)
B = Ker(R) = ω ∈ Aq | Rω = 0
B controllable ⇐⇒ B = im(M) for some M ∈ Dq×l
system module M = Dq/DgR , N = Dg/RDq
the transposed one
B controllable ⇐⇒ M torsion free
⇐⇒ Ext1D
(N ,D) = 0
SINGULAR and Applications – p. 49
![Page 118: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/118.jpg)
Genus of a Curve
Let C be a projective curve, and let HC(t) = d(C)t − pa(C) + 1be its Hilbert polynomial, then
d(C) =: degree of the curve C
pa(C) =: arithmetic genus of the curve.
The geometric genus g(C) is the arithmetic genus of thenormalization Cn of C:
g(C) := pa(Cn)
If we are able to compute the normalization, we can computethe geometric genus. But this is very time consuming.
SINGULAR and Applications – p. 50
![Page 119: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/119.jpg)
Genus of a Curve
Let C be a projective curve, and let HC(t) = d(C)t − pa(C) + 1be its Hilbert polynomial, then
d(C) =: degree of the curve C
pa(C) =: arithmetic genus of the curve.
The geometric genus g(C) is the arithmetic genus of thenormalization Cn of C:
g(C) := pa(Cn)
If we are able to compute the normalization, we can computethe geometric genus. But this is very time consuming.
SINGULAR and Applications – p. 50
![Page 120: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/120.jpg)
Genus of a Curve
The procedure we implemented is based on the followingknowledge:
pa(C) = g(C) + δ(C), where δ(C) is the sum over the local δ-invariants in the singular points.
There exist a projection C −→ D to a plane curve D withdegree d(D) = d(C), such that Cn = Dn. Then
g(C) = pa(Cn) = pa(Dn) = g(D).Almost every projection has this property.
Let C be a plane projective curve. We compute the geometricgenus by a local analysis of the singularities.
SINGULAR and Applications – p. 51
![Page 121: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/121.jpg)
Genus of a Curve
The procedure we implemented is based on the followingknowledge:
pa(C) = g(C) + δ(C), where δ(C) is the sum over the local δ-invariants in the singular points.
There exist a projection C −→ D to a plane curve D withdegree d(D) = d(C), such that Cn = Dn. Then
g(C) = pa(Cn) = pa(Dn) = g(D).Almost every projection has this property.
Let C be a plane projective curve. We compute the geometricgenus by a local analysis of the singularities.
SINGULAR and Applications – p. 51
![Page 122: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/122.jpg)
Genus of a Curve
Assume the plane curve C is defined by f=0.We know:
the ideal Sing(f) :=< f, fx, fy > defines the singular locus
the ideal Sing(Sing(f)) :=< f, fx, fy, det(Hess(f)) > defines thenon-nodal locus
the ideal S := Sing(Sing(Sing(f))) defines thenon-nodal-cuspidal locus
δ(C, x) = 1 in nodal or cuspidal singularities, so we just have tocount them.
the singular points different from cusps and nodes are obtainedby a primary decomposition of S.
The primary decomposition is done over Q. To obtain thepoints, we have to extend the field.
SINGULAR and Applications – p. 52
![Page 123: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/123.jpg)
Genus of a Curve
Assume the plane curve C is defined by f=0.We know:
the ideal Sing(f) :=< f, fx, fy > defines the singular locus
the ideal Sing(Sing(f)) :=< f, fx, fy, det(Hess(f)) > defines thenon-nodal locus
the ideal S := Sing(Sing(Sing(f))) defines thenon-nodal-cuspidal locus
δ(C, x) = 1 in nodal or cuspidal singularities, so we just have tocount them.
the singular points different from cusps and nodes are obtainedby a primary decomposition of S.
The primary decomposition is done over Q. To obtain thepoints, we have to extend the field.
SINGULAR and Applications – p. 52
![Page 124: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/124.jpg)
Genus of a Curve
We know:
µ(f) = dim(C[[x, y]]/ < fx, fy >) = 2δ - number of branches + 1,
To compute the number of (local) branches, we proceed as follows:
Test for Ak- and Dk-singularities.
Compute the Newton Polygon.
If the Newton Polygon is non-degenerate, then the number of branches canbe computed combinatorically from the faces.
If the Newton Polygon is degenerate and has more than one face, then f canbe splitted (modulo analytic equivalence) into a product.
If the Newton Polygon is degenerate and has only one face, then we use thePuiseux expansion to compute the number of branches.
Needs:
Puiseux expansion
Primary decomposition
Field extensions
Newton polygon.
SINGULAR and Applications – p. 53
![Page 125: Gerhard Pfister - Ricam · Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern SINGULAR and Applications – p. 1. SINGULAR A Computer](https://reader030.fdocuments.us/reader030/viewer/2022040306/5ecac8b07417927d6d740b45/html5/thumbnails/125.jpg)
Genus of a Curve
We know:
µ(f) = dim(C[[x, y]]/ < fx, fy >) = 2δ - number of branches + 1,
To compute the number of (local) branches, we proceed as follows:
Test for Ak- and Dk-singularities.
Compute the Newton Polygon.
If the Newton Polygon is non-degenerate, then the number of branches canbe computed combinatorically from the faces.
If the Newton Polygon is degenerate and has more than one face, then f canbe splitted (modulo analytic equivalence) into a product.
If the Newton Polygon is degenerate and has only one face, then we use thePuiseux expansion to compute the number of branches.
Needs:
Puiseux expansion
Primary decomposition
Field extensions
Newton polygon.
SINGULAR and Applications – p. 53