Implicitisation and Parameterisation in Polynomial Functors

In earlier work, the second author showed that a closed subset of a polynomial functor can always be defined by finitely many polynomial equations. In follow-up work on GL ∞ -varieties, Bik–Draisma–Eggermont–Snowden showed, among other things, that in characteristic zero every such closed subset is...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Foundations of computational mathematics Jg. 24; H. 5; S. 1567 - 1593
Hauptverfasser: Blatter, Andreas, Draisma, Jan, Ventura, Emanuele
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York Springer US 01.10.2024
Springer Nature B.V
Schlagworte:
Algorithms
Applications of Mathematics
Computer Science
Economics
Linear and Multilinear Algebras
Math Applications in Computer Science
Mathematics
Mathematics and Statistics
Matrix Theory
Numerical Analysis
Parameterization
Polynomials
14M99
13P99
Polynomial functor
Elimination
Parameterisation
20G05
15A69
Schur functors
ISSN:1615-3375, 1615-3383
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In earlier work, the second author showed that a closed subset of a polynomial functor can always be defined by finitely many polynomial equations. In follow-up work on GL ∞ -varieties, Bik–Draisma–Eggermont–Snowden showed, among other things, that in characteristic zero every such closed subset is the image of a morphism whose domain is the product of a finite-dimensional affine variety and a polynomial functor. In this paper, we show that both results can be made algorithmic: there exists an algorithm implicitise that takes as input a morphism into a polynomial functor and outputs finitely many equations defining the closure of the image; and an algorithm parameterise that takes as input a finite set of equations defining a closed subset of a polynomial functor and outputs a morphism whose image is that closed subset.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1615-3375
1615-3383
DOI:10.1007/s10208-023-09619-6