（arithmetic topology）是结合了代数数论与拓扑学的数学领域。它在代数数域和封闭可定向的三维流形之间建立起类比。
类比.以下是数域和三维流形之间的一些类比：
历史.在1960年代，约翰·泰特基于伽罗瓦上同调给出了类域论的拓扑解释，迈克尔·阿廷与让-路易·韦迪耶基于平展上同调也给出了类似解释。之后戴维·芒福德与尤里·马宁各自独立地提出素理想与扭结的类比，Barry Mazur作了进一步的研究。在1990年代Reznikov与Kapranov