Arithmetic BF theory and the Cassels-Tate pairing
arXiv:2602.19621
Abstract
We give a systematic treatment of the arithmetic BF theory, introduced by Carlson and Kim. We observe that the Cassels-Tate pairing can be naturally interpreted as an arithmetic BF functional.
To appear in Mathematika (Minhyong Kim's 61st birthday conference volume)