Behavior of the fiber and the base points of parametrizations under projections (Q2254062)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Behavior of the fiber and the base points of parametrizations under projections |
scientific article |
Statements
Behavior of the fiber and the base points of parametrizations under projections (English)
0 references
4 February 2015
0 references
For a given rational parametrization \({\mathcal P}(\bar{t})\), \(\bar{t}=(t_1,\ldots,t_r)\), of a variety in \({\mathbb K}^n\), the base points are the values of \(\bar{t}\) such that all the numerators and denominators in the parametrization simultaneously vanish. The presence of base points is typically a source of difficulties in a number of geometric problems usually attacked by means of elimination methods; therefore, understanding their behavior is important. Additionally, the \textit{fibre} of a point \(P\in {\mathbb K}^n\) is the set of \(\bar{t}\)'s such that \({\mathcal P}(\bar{t})=P\). Studying the cardinality of the fibre of a generic point is also important, because it is related to the number of times that \({\mathcal P}(\bar{t})\) covers the variety, and therefore with whether or not the parametrization is ``redundant'', i.e. with the optimality, in a certain sense, of the parametrization. Both base points and fibres are addressed in the paper. The content itself is very well described in the abstract of the paper: Given a rational parametrization \({\mathcal P}(\bar{t})\), \(\bar{t}=(t_1,\ldots,t_r)\), of an \(r\)-dimensional unirational variety, we analyze the behavior of the variety of the base points of \({\mathcal P}(\bar{t})\) in connection to its generic fibre, when successively eliminating the parameters \(t_i\). For this purpose, we introduce a sequence of of generalized resultants whose primitive and content parts contain the different components of the projected variety of the base points and the fibre. In addition, when the dimension of the base points is strictly smaller than one (as in the well-known cases of curves and surfaces), we show that the last element in the sequence of resultants is the univariate polynomial in the corresponding Gröbner basis of the ideal associated to the fibre; assuming that the ideal is in \(t_1\)-general position and radical.
0 references
rational parametrization
0 references
unirational variety
0 references
degree of a rational map
0 references
fiber of a rational map
0 references
base points
0 references
generalized resultants
0 references
0 references
0 references