Search

We introduce mod $l$ Milnor invariants of a Galois element associated to Ihara's Galois representation on the pro-$l$ fundamental group of a punctured projective line ($l$ being a prime number), as arithmetic analogues of Milnor invariants of a pure braid. We then show that triple quadratic (resp. cubic) residue symbols of primes in the rational (resp. Eisenstein) number field are expressed by mod $2$ (resp. mod $3$) triple Milnor invariants of Frobenius elements. For this, we introduce dilogarithmic mod $l$ Heisenberg ramified covering ${\cal D}^{(l)}$ of $\mathbb{P}^1$, which may be regarded as a higher analog of the dilogarithmic function, for the gerbe associated to the mod $l$ Heisenberg group, and we study the monodromy transformations of certain functions on ${\cal D}^{(l)}$ along the pro-$l$ longitudes of Frobenius elements for $l=2,3$., Comment: 33 pages, 1 figure

We study the twisted knot module for the universal deformation of an SL 2 \textrm {SL}_2 -representation of a knot group and introduce an associated L L -function, which may be seen as an analogue of the algebraic p p -adic L L -function associated to the Selmer module for the universal deformation of a Galois representation. We then investigate two problems proposed by Mazur: Firstly we show the torsion property of the twisted knot module over the universal deformation ring under certain conditions. Secondly we compute the L L -function by some concrete examples for 2 2 -bridge knots.

Based on the analogies between knot theory and number theory, we study a deformation theory for SL_2-representations of knot groups, following after Mazur's deformation theory of Galois representations. Firstly, by employing the pseudo-SL_2-representations, we prove the existence of the universal deformation of a given SL_2-representation of a finitely generated group Pi over a field whose characteristic is not 2. We then show its connection with the character scheme for SL_2-representations of Pi when k is an algebraically closed field. We investigate examples concerning Riley representations of 2-bridge knot groups and give explicit forms of the universal deformations. Finally we discuss the universal deformation of the holonomy representation of a hyperbolic knot group in connection with Thurston's theory on deformations of hyperbolic structures., Comment: 25 pages, to appear in Tohoku Math. J; corrected typos

We introduce a multiple generalization of the tame symbol, called {\em polysymbols}, associated to meromorphic functions on a Riemann surface as the Massey products in Deligne cohomology, and also give a geometric construction of polysymbols using Chen's iterated integrals. We then deduce some basic properties of polysymbols using our holonomy formula, and show that trivializations of polysymbols give variations of mixed Hodge structure.

Ihara initiated to study a certain Galois representation which may be seen as an arithmetic analogue of the Artin representation of a pure braid group. We pursue the analogies in Ihara theory further, following after some issues and their inter-relations in the theory of braids and links such as Milnor invariants, Johnson homomorphisms, Magnus-Gassner cocycles and Alexander invariants, and study relations with arithmetic in Ihara theory., Comment: 66pages, to appear in Publ. Res. Inst. Math. Sci., corrected typos

Following the analogy between primes and knots, we give an arithmetic analogue of a theorem by E. Hironaka on the Alexander stratification in the character variety of a knot group.

Following the analogy between primes and knots, we introduce the refined Milnor invariants for prime numbers and establish their connection with certain Massey products in Galois cohomology. This generalizes the well-known relation between the power residue symbol and cup product and gives a cohomological interpretation of L. Redei's triple symbol.

We introduce mod 3 triple Milnor invariants and triple cubic residue symbols for certain primes of the Eisenstein number field $\mathbb{Q}(\sqrt{-3})$, following the analogies between knots and primes. Our triple symbol generalizes both the cubic residue symbol and R\'{e}dei's triple symbol, and describes the decomposition law of a prime in a mod 3 Heisenberg extension of degree 27 over $\mathbb{Q}(\sqrt{-3})$ with restricted ramification, which we construct concretely in the form similar to R\'{e}dei's dihedral extension over $\mathbb{Q}$. We also give a cohomological interpretation of our symbols by triple Massey products in Galois cohomology., Comment: 42 pages. The previous version entitled "Arithmetic Milnor invariants and multiple power residue symbols in number fields" by F. Amano and M. Morishita contained some mistakes concerning Theorem 2.8. This is a new version for the Eisenstein number field, which revises largely the previous one, with the collaboration of Y. Mizusawa. To appear in Research in Number Theory

We study the asymptotic distribution of S-integral points on affine homogeneous spaces in the light of the Hardy–Littlewood property introduced by Borovoi and Rudnick. We introduce the S-Hardy–Littlewood property for affine homogeneous spaces defined over an algebraic number field and a finite set S of places of the base field. We work with the adelic harmonic analysis on affine algebraic groups over a number field to determine the asymptotic density of S-integral points under congruence conditions. We give some new examples of strongly or relatively S-Hardy–Littlewood homogeneous spaces over number fields. As an application, we prove certain asymptotically uniform distribution property of integral points on an ellipsoid defined by a totally positive definite tenary quadratic form over a totally real number field.

In 1939, L. Rédei introduced a certain triple symbol in order to generalize the Legendre symbol and Gauss' genus theory. Rédei's triple symbol $[a_1,a_2, p]$ describes the decomposition law of a prime number $p$ in a certain dihedral extension over $\mathbb{Q}$ of degree 8 determined by $a_1$ and $a_2$. In this paper, we show that the triple symbol $[-p_1,p_2, p_3]$ for certain prime numbers $p_1, p_2$ and $p_3$ can be expressed as a Fourier coefficient of a modular form of weight one. For this, we employ Hecke's theory on theta series associated to binary quadratic forms and realize an explicit version of the theorem by Weil-Langlands and Deligne-Serre for Rédei's dihedral extensions. A reciprocity law for the Rédei triple symbols yields certain reciprocal relations among Fourier coefficients.

Let G be a connected linear algebraic group and X an algebraic variety, both defined over Q, the field of rational numbers. Suppose that G acts on X transitively and the action is defined over Q. Suppose that the set of rational points X(Q) is non-empty. Choosing x ∈ X(Q) allows us to identify G/Gx and X as varieties over Q, there Gx is the stabilizer of x.

We introduce a nilpotent Hurewicz homomorphism for a topological manifold, following the Lie algebra method in nilpotent class field theory for local and number fields by H. Koch et al. Using Labute-Anick’s results on the determination of the Lie algebra attached to the lower central series of a group, we present explicitly nilpotent class field theory for some two and three dimensional manifolds.

We propose an approach to study non-Abelian Iwasawa theory, using the idea of Johnson homomorphisms in low dimensional topology. We introduce arithmetic analogues of Johnson homomorphisms/maps, called the p-Johnson homomorphisms/maps, associated to the Zassenhaus filtration of a pro-p Galois group over a Z_p-extension of a number field. We give their cohomological interpretation in terms of Massey products in Galois cohomology., Comment: 38 pages, to appear in J. of Algebra, changed title from "p-Johnson homomorphisms in non-Abelian Iwasawa theory", added references in section 5, corrected typos

In this chapter we recollect the preliminary materials from topology and number theory. In particular, we give a summary about fundamental groups and Galois theory for topological spaces and arithmetic rings, together with the basic concepts and examples in 3-dimensional topology and number fields. We also review class field theory as arithmetic duality theorems in Galois, etale cohomology groups.

In this chapter we discuss close parallels between Alexander-Fox theory and Iwasawa theory such as the Alexander polynomial and the Iwasawa polynomial, based on the analogy between the infinite cyclic covering of a knot exterior and the cyclotomic ℤ p -extension of a number field. In particular, we give asymptotic formulas on the orders of the 1st homology groups (p-ideal class groups) of cyclic ramified coverings (extensions).

In this chapter we review Hilbert theory which deals with, in a group-theoretic manner, the decomposition of a prime in a finite Galois extension of number fields. Based on the analogies in Chap. 3, we give a topological analogue of Hilbert theory for a finite Galois covering of 3-manifolds.

In this chapter we introduce the differential module for a group homomorphism and show the Crowell exact sequence associated to a short exact sequence of groups. Applying these constructions to the Abelianization map of a link group, we obtain the Alexander module of a link and the exact sequence relating the Alexander module with the link module. We then discuss analogous constructions for pro-finite (pro-l) groups to obtain the complete differential module and the complete Crowell exact sequence. Applying these constructions to a homomorphism from a Galois group with restricted ramification, we obtain the complete Alexander module for primes and the exact sequence relationg the complete Alexander module with a Galois (Iwasawa) module.

In this chapter we discuss the analogy between Galois groups with restricted ramification and link groups. In particular, we shall see the close analogy between Milnor’s theorem on the structure of a link group and a theorem by H. Koch on the structure of a pro-l Galois group over the rational number field with restricted ramification.

In this chapter we take up the Milnor invariants, higher order linking numbers, of a link in the 3-sphere, together with the Fox free differential calculus as a basic tool. By the analogy between a link group and a Galois group with restricted ramification in Chap. 7, we introduce arithmetic analogues of the Milnor invariants for prime numbers by using the pro-l Fox differential calculus, and show that they may be regarded as multiple generalization of the power residue symbol and the Redei triple symbol.

In this final chapter, as an extension of the analogies in Chap. 13 to 2-dimensional representations, we discuss intriguing analogies between the family of holonomy representations associated to deformations of hyperbolic structures (due to W. Thurston) and the family of Galois representations associated to deformations of p-adic ordinary modular forms (due to H. Hida and B. Mazur).

In this chapter, in view of the analogy between a knot group and a prime group, we discuss some analogies between the moduli spaces of 1-dimensional representations of knot and prime groups, and the associated higher Alexander and Iwasawa invariants.

In this chapter we first study the 2-part of the 1st homology group of a double covering of the 3-sphere ramified over a link, introducing the higher order linking matrices which are defined by using the Milnor numbers of the link in Chap. 8. Imitating the method for a link, we study the 2-part of the narrow ideal class group of a quadratic extension of the rationals, using the arithmetic Milnor numbers introduced in Chap. 8. Our theorem may be regarded as a higher order generalization of Gauss’ and Redei’s theorems on the 2-rank and 4-rank of the ideal class group.

In this chapter we explain the basic analogies between knots and primes, 3-manifolds and number rings and present a dictionary of these analogies, which will be fundamental and used throughout subsequent chapters.

In this chapter we discuss the close analogy between the linking number and the Legendre symbol, based on the analogies between knots and primes in Chap. 3. An analogy between Gauss’ linking integral and Gauss sum is also pointed out.

In this chapter we review Gauss’ genus theory from the link-theoretic point of view. We shall see that the notion of genera is defined by using the idea analogous to the linking number. We also present, vice versa, a topological analogue of genus theory.

Following the analogies between knots and primes, we introduce arithmetic analogues of higher linking matrices for prime numbers by using the arithmetic Milnor numbers. As an application, we describe the Galois module structure of the l-class group of a cyclic extension of ℚ of degree l (l being a prime number) in terms of the arithmetic higher linking matrices. In particular, our formula generalizes the classical formula of Redei on the 4 and 8 ranks of the 2-class group of a quadratic field.

The purpose of this paper is to investigate analogues for 3-manifolds after the model of capitulation theorems for number fields. This will give one of the foundational analogies between 3-dimensional topology and algebraic number theory.

Following the conceptual analogies between knots and primes, 3-manifolds and number fields, we discuss an analogue in knot theory after the model of the arithmetical theory of genera initiated by Gauss. We present an analog for cyclic coverings of links following along the line of Iyanaga-Tamagawa's genus theory for cyclic extentions over the rational number field. We also give examples of $\mathbf{Z} / 2\mathbf{Z} \times \mathbf{Z} / 2\mathbf{Z}$-coverings of links for which the principal genus theorem does not hold.

This is a résumé of the author's recent work on certain analogies between primes and links. The purpose of this article is to introduce a new invariant, called Milnor invariant, in algebraic number theory, based on an analogy between the structure of a certain Galois group over the rational number field and that of the group of a link in three dimensional Euclidean space. It then turns out that the Legendre, Rédei symbols are interpreted as our link invariants. We expect that this is a tip of an arithmetical theory after the model of link theory which may give a new insight in algebraic number theory. The details will be published elsewhere.

As an interpretation and a generalization of Gauss’ genus theory on binary quadratic forms in the language of arithmetic of algebraic tori, Ono [02] established an equality between a kind of “Euler number E(K/k)” for a finite Galois extension K/k of algebraic number fields and other arithmetical invariants associated to K/k. His proof depended on his Tamagawa number formula [01] and Shyr’s formula [Sh] which follows from the analytic class number formula of a torus. Later, two direct proofs were given by Katayama [K] and Sasaki [Sa].