相关论文: Id\`elic class field theory for 3-manifolds and ve…

Following the analogies between 3-dimensional topology and number theory, we study an id\`elic form of class field theory for 3-manifolds. For a certain set $\mathcal{K}$ of knots in a 3-manifold $M$, we first present a local theory for…

Based on our homological idelic class field theory, we formulate an analogue of the Hilbert reciprocity law on a rational homology 3-sphere endowed with an infinite link, in the spirit of arithmetic topology; We regard the intersection form…

Mazur, Kapranov, Reznikov, and others developed ``Arithmetic Topology,'' a theory describing some surprising analogies between 3-dimensional topology and number theory, which can be summarized by saying that knots are like prime numbers. We…

This paper studies the function field of an algebraic curve over an arbitrary perfect field by using the Weil reciprocity law and topologies on the adele ring. A topological subgroup of the idele class group is introduced and it is shown…

The ring of ad\`eles of a global field and its group of units, the group of id\`eles, are fundamental objects in modern number theory. We discuss a formalization of their definitions in the Lean 3 theorem prover. As a prerequisite, we…

In this paper we state and prove the analogous of the principal ideal theorem of algebraic number theory for the case of 3-manifolds from the point of view of arithmetic topology.

In this paper we explore the topological properties of self-replicating, 3-dimensional manifolds, which are modeled by idempotents in the (2+1)-cobordism category. We give a classification theorem for all such idempotents. Additionally, we…

Clausen predicted that Chevalley's id\`{e}le class group of a number field $F$ appears as the first $K$-group of the category of locally compact $F$-vector spaces. This has turned out to be true, and even generalizes to the higher…

We discuss the fundamental (relative) 3-classes of knots (or hyperbolic links), and provide diagrammatic descriptions of the push-forwards with respect to every link-group representation. The point is an observation of a bridge between the…

Let K be a number field. A finite group G is called K-admissible if there exists a G-crossed product K-division algebra. K-admissibility has a necessary condition called K-preadmissibility that is known to be sufficient in many cases. It is…

Theory for open curves over a local field. After introducing the reciprocity map, we determine the kernel and the cokernel of this map. In addition to this, the Pontrjagin dual of the reciprocity map is also investigated. This gives the one…

We develop a theory of link projections to trivalent spines of 3-manifolds. We prove a Reidemeister Theorem providing a set of combinatorial moves sufficient to relate the projections of isotopic links. We also show that any link admits a…

We show that for an associative algebra A and its ideal I such that the I-adic topology on A coincides with the p-adic topology, the relative continuous K-theory pro-spectrum "lim"K(A_i, IA_i), where A_i :=A/p^i A, is naturally isogenous to…

The classical Neukirch-Uchida theorem states that the absolute Galois group determines a number field up to isomorphism. We prove an analogue of this theorem for 3-manifolds in the framework of arithmetic topology. We study infinite links…

Ideles and adeles can be viewed as a generalization of Minkowski theory, in which embedding of a number field to the Cartesian product of its completions at the archimedean valuation is generalized to an embedding of the Cartesian product…

Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$…

We present an axiomatic approach to finite- and infinite-dimensional differential calculus over arbitrary infinite fields (and, more generally, suitable rings). The corresponding basic theory of manifolds and Lie groups is developed.…

Let A be an abelian threefold defined over a number field K with potential multiplication by an imaginary quadratic field M. If A has signature (2,1) and the multiplication by M is defined over an at most quadratic extension, we attach to A…

We consider the moduli spaces $\mathcal{M}_d(\ell)$ of a closed linkage with $n$ links and prescribed lengths $\ell\in \mathbb{R}^n$ in $d$-dimensional Euclidean space. For $d>3$ these spaces are no longer manifolds generically, but they…

We discuss the relationship between two analogues in a 3-manifold of the set of prime ideals in a number field. We prove that if $(K_i)_{i\in \mathbb{N}_{>0}}$ is a sequence of knots obeying the Chebotarev law in the sense of Mazur and…