Hasse--Schmidt modules versus integrable connections
arXiv:1903.08985 · doi:10.1007/s13163-019-00340-z
Abstract
We prove that, in characteristic 0, any Hasse-Schmidt module structure can be recovered from its underlying integrable connection, and consequently Hasse--Schmidt modules and modules endowed with an integrable connection coincide.
20 pages; comments are welcome. arXiv admin note: text overlap with arXiv:1810.08075, arXiv:1807.10193