Solving conics over functions fields
Let \(F\) be a field of characteristic other than 2, and \(a,b,c\in F[t] \backslash \{0\}\) with \(abc\) square free. Let \(u\) be a new variable and set \(f_a=bu^2+c\), \(f_b=cu^2+a\), and \(f_c=au^2+b\). For an irreducible polynomial \(p\in F[t]\) we denote \(L_p=F[t]/(p)\). Further, if \(f\in F[t][u]\), then we denote by \(f\) mod \(p\) the image of \(f\) in \(L_p [u]\). Finally, we denote by supp\((a)\) the set of all monic irreducible \(p\in F[t]\) that divide \(a\). A solubility certificate for the equation \[ aX^2+ bY^2+cZ^2=0\tag{1} \] is a list containing the following: \(\bullet\) For every \(p\in\text{supp}(a)\), a root of \(f_a\bmod p\) in \(L_p\); \(\bullet\) For every \(p\in\text{supp}(b)\), a root of \(f_b\) mod \(p\) in \(L_p\); \(\bullet\) For every \(p\in\text{supp}(c)\), a root of \(f_c\) mod \(p\) in \(L_p\); \(\bullet\) If \(\deg(a)\equiv\deg(b)=\equiv\deg(c) \pmod 2\) and \(abc\) has no root in \(F\), then either a solution or a solubility certificate for the equation \[ l_aX^2+l_bY^2+l_xZ^2=0, \] over \(F(t)\), where \(l_a,l_b,l_c\) are the leading coefficients of \(a,b\), and \(c\), respectively. In the paper under review, the authors prove that equation (1) has a solution in the projective plane \(P^2 (F(t))\) if and only if a solubility certificate exists; in this case they give a simple algorithm which determines a such solution. Moreover, they describe an algorithm that reduces an equation \(aX^2+bY^2+cZ^2=0\), where \(a,b,c\in F(t)^*\), to an equation of the same form with \(a,b,c\in F[t]\setminus\{0\}\) and \(abc\) square free.
- Chapters on algebraic surfaces
- Efficient solution of rational conics
- Factoring polynomials with rational coefficients
- scientific article; zbMATH DE number 3937234 (Why is no real title available?)
- scientific article; zbMATH DE number 1262463 (Why is no real title available?)
- Proper parametrization of surfaces with a rational pencil
- Small solutions of the Legendre equation
- Solving quadratic equations using reduced unimodular quadratic forms
- Surface parametrisation without diagonalisation
- The Magma algebra system. I: The user language
- Pell equations for polynomials
- Explicit equivalence of quadratic forms over \(\mathbb{F}_q(t)\)
- New point compression method for elliptic \(\mathbb{F}_{q^2}\)-curves of \(j\)-invariant 0
- Rational solutions of first-order algebraic ordinary difference equations
- A characterization of reduced forms of linear differential systems
- Excellence of function fields of conics
- The anisotropic part of a quadratic form over a number field
- Solving Natural Conic Formulations with Hypatia.jl
- Factorization and root-finding for polynomials over division quaternion algebras
- \textsc{SwiftEC}: Shallue-van de Woestijne indifferentiable function to elliptic curves. Faster indifferentiable hashing to elliptic curves
- \textsc{SwiftEC}: Shallue-van de Woestijne indifferentiable function to elliptic curves
- Isotropic vectors over global fields
- Computational and theoretical aspects of rational parametrization of generalized tubular surfaces
- Solving third order linear difference equations in terms of second order equations
This page was built for publication: Solving conics over functions fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2642775)
