Computational Invariant Theory

ISBN-13: 9783642077968 / Angielski / Miękka / 2010 / 268 str.

Harm Derksen; Gregor Kemper

Opis

Invariant theory is a subject with a long tradition and an astounding abil ity to rejuvenate itself whenever it reappears on the mathematical stage. Throughout the history of invariant theory, two features of it have always been at the center of attention: computation and applications. This book is about the computational aspects of invariant theory. We present algorithms for calculating the invariant ring of a group that is linearly reductive or fi nite, including the modular case. These algorithms form the central pillars around which the book is built. To prepare the ground for the algorithms, we present Grabner basis methods and some general theory of invariants. Moreover, the algorithms and their behavior depend heavily on structural properties of the invariant ring to be computed. Large parts of the book are devoted to studying such properties. Finally, most of the applications of in variant theory depend on the ability to calculate invariant rings. The last chapter of this book provides a sample of applications inside and outside of mathematics."

Recenzje

From the reviews:

"... I found this book to be very impressive in its scope, accessibility and the quality of writing. ... There can be few readers, even amongst those with some prior knowledge of invariant theory, for whom several of these applications will not be new and impressive. ...

In summary, this beautifully produced book is highly recommended both for experts in invariant theory and newcomers to the field."

J.E.Cremona, Nieuw Archief voor Wiskunde 5/4 (2003), Issue 4

"... Ein besonderer Vorteil dieses Buches ist das reichhaltige Kapitel über Anwendungen. ...

Wie die Autoren formulieren, wendet sich das Buch an Forscher im Gebiet der Geometrie, Computeralgebra und der Invariantentheorie. Es kann aber sicherlich auch für ein Seminar verwendet werden, das auf eine einführende Vorlesung zur Computeralgebra aufbaut.

Da die Algorithmen zur Berechnung von fundamentalen Invarianten Gröbnerbasen und algorithmische kommutative Algebra verwenden, behandelt das erste Kapitel dieses Thema. Schon hier kann man bewundern, wie knapp, präzise und auf den Punkt genau die Autoren formulieren. ...

Insgesamt gesehen ist dies ein sehr schönes Buch. Einige der Resultate sind nie zuvor in Buchform erschienen. ...

Den einzigen Nachteil, den ich an diesem Buch finden kann, ist folgender: Ich hätte das Buch gern einige Jahre früher zum Lesen gehabt."

Karin Gaterman, Computeralgebra Rundbrief, März 2004

"... Dieses in wissenschaftlicher und didaktischer Hinsicht vorzügliche, übersichtlich gestaltete, gehaltvolle Werk über ein "wie der Phönix aus der Asche emporgestiegenes", zu neuer Blüte erwachtes, klassisches Gebiet mit faszinierenden Aspekten für Anwender, "Rechner", Theoretiker verschiedensten Niveaus, aber auch für nur am Rande Interessierte ... bietet einen direkten Zugang (auch fortschrittenen StudentInnen) zu aktuellen Forschungsgebieten in der Infariantentheorie, Computer-Algebra, Geometrie u.a.  Viele Leser, verstärkt sogar jene mit gewissen Vorkenntnissen, werden sich über die vielen Vorzüge der Darstellung, einer gelungenen Mischung aus Theorie und Praxis, freuen: Der direkte, ballastfreie Zugang zu den verschiedenen Algorithmen (und Computerprogrammen) profitiert wesentlich von einer vollkommenen theoretischen Durchdringung der Materiak, die erst den Blick für Wesentliches schärft. Umgekehrt werden dargestellte theoretische Aspekte durch erhellende Beispiele und Tabellen, die oft erst mit Hilfe des Computers und intelligenter Algorithmen gefunden werden konnten, rasch mit Leben erfüllt. Das Wechselspiel dieser beiden Aspekte ermöglicht ein schrittweise tieferes Verständnis auch von Resultaten, die man vielleicht schon früher gut verstanden zu haben glaubte. (Ich meine, daß sich sogar manchen Fachdidaktikern - sofern ihnen die Mathematik wirklich ein Anliegen ist - hier eine Chance für ein gewisses Umdenken eröffen würde. Die Reflexion über die Erfahung bei der Lektüre bringt dazu allerdings nichts, außer sie bewirkt ein konkretes Arbeiten im Sinne dieses Buchs.) ...

Fünf kurze Appendizes über algebraische Gruppen, ihre Lie Algebra, reduktive und halbeinfache Gruppen, Wurzeln und Darstellungstheorie, ein ausführliches Literaturverzeichnis und ein guter, hilfreicher Index ... runden dieses empfehlenswerte Buch ab."

H.Rindler, Monatshefte für Mathematik 141/3 (2004), p. 260-261

"I found this book to be very impressive in its scope, accessibility and the quality of writing. Prerequisites are minimal ... . this beautifully produced book is highly recommended both for experts in invariant theory and newcomers to the field." (J. E. Cremona, Nieuw Archief voor Wiskunde, Vol. 5/4 (4), 2003)

"The paper under review is the first volume of the subseries 'Invariant Theory and Algebraic Transformation Groups' of the Encyclopaedia of Mathematical Sciences. The main aims of the book are centered around algorithmic methods of invariant theory, mainly with invariants of finite and linearly reductive groups. ... The text covers a lot of illustrating and instructing examples." (Peter Schenzel, Zentralblatt MATH, Vol. 1011, 2003)   

Spis treści

1 Constructive Ideal Theory.- 2 Invariant Theory.- 3 Invariant Theory of Finite Groups.- 4 Invariant Theory of Reductive Groups.- 5 Applications of Invariant Theory.- A Linear Algebraic Groups.- References.- Notation.    

Blurb

This book is about the computational aspects of invariant theory. Of central interest is the question how the invariant ring of a given group action can be calculated. Algorithms for this purpose form the main pillars around which the book is built. There are two introductory chapters, one on Gröbner basis methods and one on the basic concepts of invariant theory, which prepare the ground for the algorithms. Then algorithms for computing invariants of finite and reductive groups are discussed. Particular emphasis lies on interrelations between structural properties of invariant rings and computational methods. Finally, the book contains a chapter on applications of invariant theory, covering fields as disparate as graph theory, coding theory, dynamical systems, and computer vision. The book is intended for postgraduate students as well as researchers in geometry, computer algebra, and, of course, invariant theory. The text is enriched with numerous explicit examples which illustrate the theory and should be of more than passing interest.