On Algebraic Integrability of Vector Fields with Rational Function Coefficients that Separate Variables
Abstract
We work over a field of characteristic zero - primarily over an algebraic closure of the field of rational numbers. We prove a necessary and sufficient condition for a vector field whose coefficients are rational functions separating variables to be algebraically integrable, that is, the subring of rational functions killed by this vector field, its ring of first integrals, is of maximal possible dimension. We do it arithmetically by reducing the vector field modulo almost all primes. In particular, we verify the generalized Grothendieck--Katz p-curvature conjecture for foliations defined by these vector fields. Finally, we use the outcome of that verification to provide explicit formulas for coefficients of all algebraically integrable vector fields separating variables, and their first integrals.
Related
- The Effect of Omitted Variables on the Sign of Regression Coefficients
- Real rational Herglotz-Nevanlinna functions in two variables and a class of extremals
- Meromorphic order from Taylor coefficients, least singular values of Hankel matrices and rational approximants
- Algebraic Structure and Orthogonality Properties of Rational Polynomial Phase Rings on Discrete Lattices
- Meromorphic solutions of first-order differential equations with rational exponential coefficients
BibTeX
@misc{grabowski2026algebraic,
title = {{On Algebraic Integrability of Vector Fields with Rational Function Coefficients that Separate Variables}},
author = {Przemysław Grabowski},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.00974},
eprint = {2609.00974},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.00974},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - On Algebraic Integrability of Vector Fields with Rational Function Coefficients that Separate Variables
AU - Przemysław Grabowski
PY - 2026
DA - 2026/09/01
PB - arXiv
DO - 10.48550/arxiv.2609.00974
UR - https://arxiv.org/abs/2609.00974
AB - We work over a field of characteristic zero - primarily over an algebraic closure of the field of rational numbers. We prove a necessary and sufficient condition for a vector field whose coefficients are rational functions separating variables to be algebraically integrable, that is, the subring of rational functions killed by this vector field, its ring of first integrals, is of maximal possible dimension. We do it arithmetically by reducing the vector field modulo almost all primes. In particular, we verify the generalized Grothendieck--Katz p-curvature conjecture for foliations defined by these vector fields. Finally, we use the outcome of that verification to provide explicit formulas for coefficients of all algebraically integrable vector fields separating variables, and their first integrals.
ER -