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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Foundations of computational mathematics Ročník 24; číslo 5; s. 1567 - 1593
Hlavní autoři: Blatter, Andreas, Draisma, Jan, Ventura, Emanuele
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York Springer US 01.10.2024
Springer Nature B.V
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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