Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper investigates radical parametrizations of algebraic varieties by focusing on the underlying radical tower structure, proving that the tower variety is independent of the specific parametrization and the incidence variety is always irreducible. The authors introduce universal radical parametrizations and develop algorithms to compute minimal parametrizations via radical subtowers forming a lattice, settling an open case in differential equation transformation. The work establishes a connection between dominance of towers and rational maps between their tower varieties, facilitating unirationality transfer, and analyzes towers over subfields, relating real points to parametrization domains.
Radical towers, not individual parametrizations, dictate algebraic variety structure, enabling computation without polynomial elimination and providing algorithms for minimal parametrizations.
Radical parametrizations describe algebraic varieties by means of nested radicals of polynomials, and their theory relies on three varieties associated with a parametrization, namely, the incidence, tower and radical varieties. In this paper we revisit this framework from a computational point of view and show that it is governed by the radical tower rather than by the particular parametrization. We prove that the tower variety depends only on the tower and that the incidence variety is always irreducible, so that no prime decomposition is needed. Moreover, we show how to replace a tower by an isomorphic one whose tower variety is defined by the equations of the tower, so that it can be computed without elimination. We introduce universal radical parametrizations and we use them to settle, under a natural hypothesis on the coefficients, an open case in the transformation of differential equations with radical coefficients into equations with rational coefficients. We show that radical subtowers form a lattice, which yields minimal radical parametrizations, and we give algorithms to compute them. We also prove that dominance between towers induces a unique dominant rational map between their tower varieties, through which unirationality is transferred. Finally, we study towers over subfields of $\mathbb{C}$ and, in the real case, relate the real points of the tower variety to the real domains of the associated parametrizations.