Thanks to a hint from @DileepRajNarayanThumula I have an answer to my own question:

There's a hidden column in external tables called _metadata . This is a STRUCT containing several fields, including the file update date. So to get the update date for each row of my table, I can write something like this:

SELECT *,
       _metadata.file_modification_time
FROM my_external_table