Abelian arithmetic Chern-Simons theory and arithmetic linking numbers
Hee-Joong Chung, Dohyeong Kim, Minhyong Kim, George Pappas, Jeehoon, Park, Hwajong Yoo

TL;DR
This paper develops an arithmetic analogue of linking numbers using duality theorems and residue symbols, providing a new perspective on number theory inspired by knot theory concepts.
Contribution
It introduces a novel formalism connecting arithmetic duality, residue symbols, and linking numbers, bridging knot theory and number theory.
Findings
Defined arithmetic linking numbers and height pairings using duality theorems
Computed arithmetic linking numbers in terms of n-th power residue symbols
Established an arithmetic analogue of the path-integral formula for linking numbers
Abstract
Following the method of Seifert surfaces in knot theory, we define arithmetic linking numbers and height pairings of ideals using arithmetic duality theorems, and compute them in terms of n-th power residue symbols. This formalism leads to a precise arithmetic analogue of a 'path-integral formula' for linking numbers.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Abelian arithmetic Chern-Simons theory and arithmetic linking numbers
Hee-Joong Chung
H.J.C.: Department of Physics, Pohang University of Science and Technology, 77 Cheongam-ro, Nam-gu, Pohang, Gyeongbuk, Republic of Korea 37673, and Korea Institute for Advanced Study, 85 Hoegiro, Dongdaemun-gu, Seoul 02455, Republic of Korea
,
Dohyeong Kim
D.K.: Department of Mathematics, University of Michigan, 2074 East Hall, 530 Church Street, Ann Arbor, MI 48109-1043 , U.S.A.
,
Minhyong Kim
M.K.: Mathematical Institute, University of Oxford, Woodstock Road, Oxford OX2 6GG, U.K., and Korea Institute for Advanced Study, 85 Hoegiro, Dongdaemun-gu, Seoul 02455, Republic of Korea
,
George Pappas
G.P.: Department of Mathematics, Michigan State University, East Lansing, MI 48824, U.S.A.
,
Jeehoon Park
J.P.: Department of Mathematics, Pohang University of Science and Technology, 77 Cheongam-ro, Nam-gu, Pohang, Gyeongbuk, Republic of Korea 37673
and
Hwajong Yoo
H.Y.: IBS Center for Geometry and Physics, Mathematical Science Building, Room 108, Pohang University of Science and Technology, 77 Cheongam-ro, Nam-gu, Pohang, Gyeongbuk, Republic of Korea 37673
Abstract.
Following the method of Seifert surfaces in knot theory, we define arithmetic linking numbers and height pairings of ideals using arithmetic duality theorems, and compute them in terms of -th power residue symbols. This formalism leads to a precise arithmetic analogue of a ‘path-integral formula’ for linking numbers.
2000 Mathematics Subject Classification:
Primary 11R04, 11R23, 11R29 ; Secondary 81T45
1. Introduction
Let be an oriented three-manifold without boundary and and two knots that are homologically equivalent to zero in it. One way of computing the linking number of and uses the formula
[TABLE]
where is a Seifert surface for transversal to and is the oriented intersection number. It is also suggestive to write this equality as
[TABLE]
denoting the exterior derivative of currents. The pairing on the right is independent of the choice of (smooth, transversal) inverse image: because de Rham cohomology computed by forms and currents is the same, the ambiguity can be represented by closed 1-forms, which then integrate to zero on , since the latter is assumed to be homologically equivalent to zero.
We can also define a pairing between two 1-forms and by
[TABLE]
Since
[TABLE]
we see right away that the pairing is symmetric by Stokes’ theorem.
According to [1], the Chern-Simons action
[TABLE]
for a 1-form is related to the helicity of a magnetic field. Indeed, if is a space-like slice of the spacetime and the electromagnetic potential, we have the equality
[TABLE]
where is the magnetic field and the magnetic vector potential.
Here is an aside about the meaning of the integral as ‘helicity’. The choice of a volume form on determines an isomorphism from vector fields to 2-forms. The vector field corresponding to will generate a flow so that we can consider the trajectory that starts from any given point . Arnold and Khesin [1] define an asymptotic linking number and prove a formula of the form
[TABLE]
That is, the helicity is an average asymptotic linking number between pairs of magnetic flows starting from two points in .
Following Polyakov [13] and Schwartz [14], they also discuss the formal ‘Gaussian’ path integral
[TABLE]
where is the Hodge star operator with respect to a metric and the determinant is regularised111In this and the next formula, we will be somewhat vague with the precise definitions and computations, since we will not be using them in this paper except as inspiration. In particular, [14] gives a careful discussion of the metric dependence and the possibility that has non-trivial kernel. Also, we have normalised the constants slightly differently. [1, p. 186]. Adding a linear term pairing the forms with homologically trivial currents , we get (again formally)
[TABLE]
The pairings between currents on the right side are likely to be problematic in general. However, the case of interest is when the are (oriented) knots and the pairing with denotes an integral. The operator acts on currents in a way compatible with boundary maps of singular chains. That is, if are chains with and and are the corresponding currents, then Hence, if is a current corresponding to a homologically trivial knot, then will include a two-chain with boundary equal to . Thus, each term will be a linking number. The integral is thereby viewed as a correlation between the ‘Wilson loop functionals’
[TABLE]
associated to knots with respect to a Chern-Simons measure
[TABLE]
In any case, the Gaussian integral with linear term provides one elementary explanation of how linking numbers come up in Chern-Simons theory.
The goal of this paper is to present some preliminary investigations on arithmetic analogues of the preceding discussion. That is, when for a totally imaginary number field that contains the group of -th roots of unity, we use arithmetic duality theorems to define a two term complex
[TABLE]
as a mod arithmetic analogue of the map . The Ext group is isomorphic to , the ideal class group of mod . Thus, every ideal has a mod class
[TABLE]
and we define to be -homologically trivial if this class is in the image of . On the other hand, there is a duality pairing
[TABLE]
and we define the arithmetic linking number of two prime ideals and that are -homologically trivial by
[TABLE]
Of course one needs to check that this is well-defined and symmetric. We verify this in Section 2. In Section 3, we generalise the definition to arithmetic linking numbers on for a finite set of primes . We will see (Corollary 3.11) that this linking number can be computed in terms of -th power residue symbols in a manner similar to Morishita’s treatment in [10]. (However, we do not carry out a direct comparison.) This pairing can be defined also for non-prime ideals, in which case we call it the arithmetic mod height pairing, denoted by .
Parallel to the pairing on 1-forms, we also define a pairing
[TABLE]
as
[TABLE]
and in such a way that is the abelian arithmetic Chern-Simons function defined in [6, 4].
It is then pleasant to note a precise analogue of the Gaussian path integral in this arithmetic setting.
Theorem 1.1**.**
Let be an odd prime, , , and a finite set of homologically -trivial ideals. Denote by the induced isomorphism
[TABLE]
Then
[TABLE]
The determinant requires some commentary. The map goes from to its dual, since is the exact annihilator of . It is an easy exercise to check that the determinant is then well-defined modulo squares in . (It is just the discriminant of the corresponding quadratic form.) Hence, its Legendre symbol is well-defined. This formula is essentially a formal consequence of the definitions. However, it does give indication that some notion of ‘quantisation’ for arithmetic Chern-Simons theory might not be entirely empty and, furthermore, provide new interpretations of basic arithmetic invariants.
In Section 4, following up on the ideas of [2], we will also show how to realize the arithmetic linking pairing in the compact case by a simple construction that only involves Artin reciprocity and the ‘class invariant homomorphism’, which gives a measure of the Galois structure of unramified Galois extensions. More precisely, we show that under the class field theory isomorphism the map
[TABLE]
giving is identified with the class invariant homomorphism
[TABLE]
By definition, this sends the Artin map of a -unramified extension to the class of the (locally free) -submodule of consisting of such that . Regarding Chern-Simons functionals, the first computation in terms of the Artin map was in [2]. Martin Taylor observed a relation to the class invariant homomorphism when , while Romyar Sharifi pointed out a connection to Bockstein maps.
As mentioned already, many of the ideas of the current paper were explored in various forms and in considerable depth by [10]. What we view as the main contribution here, as in [6, 4], is an attempt to move beyond analogies to a precise correspondence of constructions and techniques used in topology (especially the ideas inspired by topological quantum field theory) and in arithmetic geometry. What is achieved is obviously modest. But we hope it is suggestive.
2. Arithmetic linking numbers in the compact case: proof of Theorem 1.1
Let be a totally imaginary algebraic number field with ring of integers such that , and let . We fix a trivialisation of the -th roots
[TABLE]
We have various isomorphisms
[TABLE]
[TABLE]
Let , where is the geometric point coming from an algebraic closure of . For any natural number , we have the isomorphism
[TABLE]
and a perfect pairing [7]
[TABLE]
for any -torsion sheaf in the étale topology222The pairing usually goes to . But the statement that it is perfect means it induces an isomorphism
But is -torsion, which means that the image of any homomorphism lies in the -torsion subgroup . .
The cup product
[TABLE]
induces a map
[TABLE]
such that
[TABLE]
The Bockstein operator
[TABLE]
comes from the exact sequences of sheaves
[TABLE]
Define the coboundary map as the composition
[TABLE]
We view the two-term complex
[TABLE]
as a mod arithmetic analogue of the complex
[TABLE]
for three-manifolds. The idea that cohomology equipped with the Bockstein operation can have the nature of differential forms occurs in the theory of the de Rham-Witt complex for a variety in characteristic : there, the de Rham-Witt differentials are sheaves of crystalline cohomology [5]. Also, recall that the curvature of a connection is the obstruction to deforming a bundle along a deformation of the space on which it lives. The Bockstein operator is a small piece of the obstruction to deforming it along a deformation of the coefficients.
There is also a Bockstein operator
[TABLE]
associated with the exact sequence
[TABLE]
and a Bockstein in degree 2,
[TABLE]
By choosing an isomorphism compatible with , we see an equality of maps
[TABLE]
The following fact is of course well-known, but it seems to be hard to find a reference for étale cohomology.
Lemma 2.1**.**
The Bockstein operator satisfies
[TABLE]
for all and .
Proof.
Since is affine, the étale cohomology groups are isomorphic to the Čech cohomology groups (cf. [9, Theorem 10.2]). Thus, we can check the above formula using Čech cocycles (cf. [9, §22]).
Choose a sufficiently fine étale covering of . Define , and so on. Typical elements of the index set are denoted by and . Represent and as Čech cocycles and . For any pair of distinct elements in , choose a lifting of to , and similarly a lifting of to . The class of can be represented by the -cocycle whose section over is which takes values in . We represent in a similar way.
The cup product is represented by a family of sections and similarly is represented by On the other hand, we have
[TABLE]
which lifts to with values in . A -valued cocycle representing takes the form
[TABLE]
where the isomorphism sends by viewing an additive group. Since and are cocycles, for some and similarly for some . Using these, the above simplifies to
[TABLE]
[TABLE]
which is equal to via the isomorphisms sending , and sending . Hence we have shown the desired property of . ∎
Define the pairings
[TABLE]
[TABLE]
Lemma 2.2**.**
The pairing is symmetric:
[TABLE]
for all .
Proof.
This follows from examining the second Bockstein operator above.
[TABLE]
For the pro-sheaf , we have an exact sequence
[TABLE]
Because is torsion-free, the boundary map is zero, and the map is surjective. Hence, is surjective, so that the map is zero.
As a consequence, we have
[TABLE]
Therefore,
[TABLE]
[TABLE]
∎
Define .
Corollary 2.3**.**
If , then for all .
Proof.
If , then . ∎
According to duality, we have , where is the ideal class group of . We will say an ideal is -homologically trivial if its class in is in the image of . Even though there is some danger of confusion, when is fixed for the discussion, we will also allow ourselves merely to say that is ‘homologically trivial’. If and are homologically trivial ideals, we define the mod height pairing between and by
[TABLE]
where denotes the class of in . Writing for some , for any such that , we have by Corollary 2.3. This implies that the mod height pairing is well-defined. Using the pairing on , note that we can also write the height pairing as
[TABLE]
rendering the symmetry evident. For two prime ideals and (which are homologically trivial), we will also call their height pairing their linking number, and denote it
[TABLE]
In the papers [6, 4], we fixed a class and defined the arithmetic Chern-Simons action for homomorphisms
[TABLE]
as
[TABLE]
where is the natural map from group cohomology to étale cohomology (cf. [8, Theorem 5.3 of Chap. I]). We can also define the arithmetic Chern-Simons partition function as
[TABLE]
The class is a generator of , where is the identity from to regarded as an element of and is a Bockstein operator induced from the exact sequence
[TABLE]
There is a natural bijection between and (defined by ) and we will simply identify the two. One then checks immediately that for the cocycle we have
[TABLE]
Thus for the partition function, we have
[TABLE]
Proof of Theorem 1.1.
By Corollary 2.3 and the definition , both and depend only on the class of in , which we denote by . So we can write the sum as
[TABLE]
After a choice of basis for and , this becomes a Gaussian integral over a finite field. Now the formula follows from [11, Proposition 3.2 of Chap. 9]. ∎
3. Boundaries
In this section, we fix a natural number and a finite set of places of containing all the places that divide and the Archimedean places. As before, we assume . Put , the spectrum of the ring of -integers in . Let and for each place of . Denote by the complex of continuous cochains of with coefficients in a locally constant torsion -sheaf on and by , the complex of continuous cochains of with coefficients in a sheaf on . As in [4, §2], we will use the ‘inclusion of the boundary’ map
[TABLE]
Let be a sheaf on , a sheaf on , and a map of sheaves. In view of the applications in mind, we will refer to such a map as a boundary pair. Denote by , the two product of complexes defined by the following diagram:
[TABLE]
where refers to the localisation map on cochains. Thus,
[TABLE]
and its elements will be denoted by , where , , and . The differential is defined by
[TABLE]
Hence, a cocycle in consists of such that , and
[TABLE]
Define
[TABLE]
Here are some general properties that follow immediately from the definitions.
(1) When , then , the compact support cohomology of .
(2) Given maps , and a commutative diagram
[TABLE]
we have an induced map of complexes
[TABLE]
and hence, a map of cohomologies
[TABLE]
More precisely, the formation of the complex and the cohomology is functorial in the diagrams in an obvious sense.
(3) Suppose you have two exact sequences
[TABLE]
[TABLE]
and a commutative diagram
[TABLE]
Then you get an exact sequence of complexes
[TABLE]
and hence, a long exact sequence at the level of cohomology.
(4) Cup product is given by
[TABLE]
[TABLE]
Another possibility for the cup product, temporarily denoted by , is
[TABLE]
The difference is
[TABLE]
It will be useful to note that
Lemma 3.1**.**
When the two cochains are cocycles, the difference above is exact.
Proof.
The cocycle condition says
[TABLE]
Hence,
[TABLE]
[TABLE]
[TABLE]
Hence,
[TABLE]
∎
The differential is compatible with the cup product:
Lemma 3.2**.**
If and , then
[TABLE]
Proof.
We have
[TABLE]
[TABLE]
[TABLE]
where the last component is the only thing we need to focus on. On the other hand, we have
[TABLE]
[TABLE]
Also,
[TABLE]
[TABLE]
So the third component of
[TABLE]
is
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
This is easily seen to be the third component of above. ∎
Corollary 3.3**.**
The cup product of cocycles is a cocycle.
Corollary 3.4**.**
The cup product of cocycles induces a graded product map on cohomologies.
Proof.
Of course this is because if is a cocycle, then is a coboundary. ∎
The main case of interest is when , and is the natural reduction followed by the trivialisation . From the exact sequence of pairs
[TABLE]
and (1), (3) above, we get natural boundary maps
[TABLE]
and
[TABLE]
Proposition 3.5**.**
The map is zero.
Proof.
We will show that the previous map
[TABLE]
in the long exact sequence of cohomology is surjective. First we note that the map
[TABLE]
is surjective. To see this, use the map of exact sequences
[TABLE]
from class field theory. The sum map is surjective from the kernel of the middle vertical map to the kernel of the right vertical map. The middle vertical map is trivially surjective. Hence, the left vertical map is surjective by the snake lemma. On the other hand, we also have the map of exact sequences
[TABLE]
where the left vertical map is the natural projection. Since the vertical maps on the left and right are surjective, so is the one in the middle.
Now let . Choose lifting and lifting under the map . Then
[TABLE]
for some . However, is a cocycle, since this is true of all other terms in the equality. Hence,
[TABLE]
is a lift of . ∎
Lemma 3.6**.**
For and , we have
[TABLE]
in
Proof.
Choose cocycle representatives and for and . Then
[TABLE]
and
[TABLE]
Here the last equality follows from Lemma 3.1. Note that we have the map
[TABLE]
that sends to . So, using , the desired commutativity reduces to the commutativity of the following two products:
[TABLE]
[TABLE]
These products are the same as the ones defined in [12, §5.3.3]. Moreover, Nekovar defined the involution
[TABLE]
which are homotopic to the identity, and showed that the following diagram is commutative:
[TABLE]
where is the permutation between and defined similarly as in [12, 3.4.5.4]. This finishes the proof. ∎
The proof of the previous lemma makes use of the natural map
[TABLE]
that sends to . In fact, we have proved:
Lemma 3.7**.**
The cup product
[TABLE]
factors through the product
[TABLE]
via the map . This is also true with the factors switched.
We now use the tools developed above to define a pairing
[TABLE]
given by
[TABLE]
The pairing goes through
[TABLE]
and hence, through
Lemma 3.8**.**
The pairing is symmetric.
Proof.
We have So
[TABLE]
∎
Lemma 3.9**.**
If , then
[TABLE]
for all .
Proof.
[TABLE]
∎
Denote by the classes that locally (at all ) lift to . Equivalently, is the image of . Because the pairing is symmetric and given by the form by Lemma 3.7, it follows that it factors to a pairing
[TABLE]
Let be the maximal abelian quotient of . By the Poitou-Tate duality, we have . Given an ideal coprime to , we can consider its class via class field theory and the previous isomorphism. We will say is -homologically trivial if is in the image of . We can now define the height pairing of two -homologically trivial ideals that are coprime to via
[TABLE]
which is well-defined by the discussion above.
Let be an ideal such that is principal in . Write . Then the Kummer cocycles will be in . For any , denote by its image in . Thus, we get an element
[TABLE]
which is well-defined in cohomology independently of the choice of roots used to define the Kummer cocycles.
Proposition 3.10**.**
We have in In particular, for any ideal such that is principal in , is -homologically trivial.
Proof.
Let be large enough that for , , and such that the support of is still in . Then defines a class in . Similarly, defines a class in . It is clear that the elements and map to and under the pushforward map . Hence, it suffices to prove equality of the elements on . We will prove that the two elements pair the same way with elements of . On , by the exact sequence
[TABLE]
every element of comes from via the Kummer map. For this, we can compute the pairing between , which lifts note that along , and the cocycle representative of
[TABLE]
where is a lift of to . We find
[TABLE]
We note that the cup product takes values in . So we have the cochain whose differential is . Hence, it suffices to compute the invariant of
[TABLE]
which is homologous to .
Let be the support of . Then is the full set of places where the global cocycle with coefficients in is possibly ramified. By global reciprocity, we have
[TABLE]
Let and let be a uniformizer at . Then for a unit , so that . Also, is unramified at . Hence, for , we get
[TABLE]
where the bracket now refers to the -th Hilbert symbol.
Therefore, we conclude that
[TABLE]
where is the local Artin map and is the global Artin map (cf. [3, p. 174–176]), finishing the proof. ∎
Corollary 3.11**.**
Let be ideals in supported outside that are -torsion in the Picard group of . Choose any such that as ideals of . Let be the support of , be a uniformiser at , and . Then
[TABLE]
where the bracket denotes the -th Hilbert symbol.
Proof.
By Proposition 3.10, we have such that and . The pairing is given by the Poitou-Tate pairing , which is equal to by the local-global compatibility of Artin maps. ∎
4. Arithmetic linking, class invariants and the Artin map
We continue with the assumption of a fixed trivialization over the totally imaginary number field .
Let us recall the construction of the class invariant homomorphism
[TABLE]
of Waterhouse [16] and M. Taylor [15]. Suppose is the class of the -torsor given as the spectrum of an étale -algebra with -action. To avoid confusion we will write for the effect of the action of on . We consider the -module consisting of all elements such that
[TABLE]
for all . Using étale descent along the extension we can easily see that is -locally free of rank . Then we set to be the class of in . This homomorphism can also be viewed as follows: The -torsor over that corresponds to induces by a -torsor, i.e. a line bundle whose class is .
This construction plays a central role in the theory of Galois module structure; indeed, is an important invariant of the structure of as an -module. The general form of the class invariant homomorphism for the constant group scheme with Cartier dual is
[TABLE]
(See, for example, [16].) The map above is obtained by composing the above with the restriction along the section given by .
Combining this with class field theory allows us to define the class invariant pairing
[TABLE]
as follows: Take , . By class field theory, and correspond to unramified -extensions and of . Let and be the normalisations of in and respectively; these are étale -algebras with -action. By definition, the class invariant pairing is
[TABLE]
Theorem 4.1**.**
Under the class field theory isomorphism
[TABLE]
the class invariant pairing
[TABLE]
is identified with the pairing
[TABLE]
defined as in Section 2.
Remark 4.2**.**
- a)
It follows that the arithmetic Chern-Simons invariant
[TABLE]
for can be identified under with the quadratic form , , of the class invariant pairing . This statement was first shown in [2] by a different argument. This result of [2] inspired us to obtain the above theorem. 2. b)
Under the additional hypothesis that , the pairing is symmetric and agrees with the pairing defined in Section 2. This follows from Lemma 2.2 and its proof.
Corollary 4.3**.**
Assuming , the class invariant pairing is symmetric.
Proof.
This follows from Lemma 2.2 and its proof and Theorem 4.1. ∎
Proof of Theorem 4.1.
Recall that Artin-Verdier duality [7] gives isomorphisms
[TABLE]
Applying to gives an exact sequence
[TABLE]
where the connecting is given via the Yoneda product
[TABLE]
with the class of . This combined with (4.1) induces a surjective homomorphism
[TABLE]
Similarly, we have
[TABLE]
in other words, an isomorphism
[TABLE]
The composition of with the duality is the dual of the isomorphism
[TABLE]
given by the Artin map of class field theory, i.e. is the Artin reciprocity map for the -torsor given by (see [7, p. 539]).
Taking Yoneda product with the class
[TABLE]
in gives the Bockstein homomorphisms:
[TABLE]
[TABLE]
Under the duality isomorphisms (4.1), the dual is identified with the Bockstein . This easily follows from the fact that the Artin-Verdier duality pairings are also given via Yoneda products.
Proposition 4.4**.**
The dual of the Bockstein homomorphism is equal to the composition
[TABLE]
where the map is induced by the identity on .
Proof.
Consider the composition where is as in (4.2). The connecting is given as Yoneda product
[TABLE]
with the class of . Hence the composition is given by
[TABLE]
But , since . Therefore, factors through the quotient by the image of :
[TABLE]
Combining this with the isomorphism gives a factorization of as a composition
[TABLE]
Since duality identifies with it remains to see that, in the above, is induced by the identity map on :
Write an element as the extension coming from pulling back via . Then is the class of
[TABLE]
concatenating with . On the other hand, corresponds under to the extension
[TABLE]
obtained by concatenating with . Pushing out by gives and so we have a commutative diagram
[TABLE]
which shows the statement. This concludes the proof of the Proposition. ∎
By the definition of the arithmetic linking pairing
[TABLE]
the corresponding homomorphism (i.e. with ) is given as the composition
[TABLE]
of the homomorphism given by cup product and Artin-Verdier duality with the dual of the Bockstein. By combining this with Proposition 4.4 we see that is the composition
[TABLE]
Lemma 4.5**.**
Suppose that the -torsor has generic fiber where is a Kummer generator. Then the fractional ideal of generated by is the -th power of a well-defined fractional ideal of ; the class only depends on , is -torsion, and is equal to the image of the class invariant homomorphism. The image of under the composition of the first two maps above
[TABLE]
is .
Proof.
The first part of the statement is standard. In fact, we have and, by definition, and so .
The rest of the statement of the lemma follows from Artin-Verdier duality, the computation of the group , and of the local duality pairings via Hilbert symbols, in [7], see p. 540–541 and p. 550–551. A more detailed statement appears in [2]. ∎
It now follows that is the map
[TABLE]
where is the Artin (reciprocity) homomorphism associated to the -torsor given by . The statement of the theorem follows. ∎
Remark 4.6**.**
- a)
It follows from the above description of the map
[TABLE]
that the group of -homologically trivial ideal classes in coincides with the image of the class invariant homomorphism in . In the theory of Galois module structure, ideal classes which are in the image of the class invariant homomorphism are often called ‘realisable’. 2. b)
Assuming , the class invariant pairing can be viewed as a canonical symmetric tensor
[TABLE]
It would be interesting to study this tensor and its variation in families of number fields.
Acknowledgments
The authors are very grateful to Kai Behrend, Frauke Bleher, Ted Chinburg, Tudor Dimofte, Ralph Greenberg, Andre Henriques, Mahesh Kakde, Effie Kalfagianni, Mikhail Kapranov, Kobi Kremintzer, Graeme Segal, Romyar Sharifi, Martin Taylor, and Roland van der Veen for conversations and encouragement.
M.K. was supported in part by the EPSRC grant EP/M024830/1.
G.P. was supported in part by NSF Grant No. DMS-1360733.
J.P. was supported in part by the Samsung Science & Technology Foundation (SSTF-BA1502- 03).
H.Y. was supported in part by the Institute for Basic Sciences grant IBS-R003-D1.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Arnold, V.I.; Khesin, B. A., Topological methods in hydrodynamics , Applied Mathematical Sciences, 125, Springer-Verlag, New York (1998).
- 2[2] Bleher, F., Chinburg, T., Greenberg, R., Kakde, M., Pappas, G., Taylor, M., Unramified arithmetic Chern-Simons invariants , preprint, ar Xiv:1705.07110.
- 3[3] Cassels, J.W.S., Fröhlich, A., Algebraic number theory , Proceedings of an instructional conference organized by the LMS, Academic Press Inc (London) LTD (1967).
- 4[4] Chung, H.-J., Kim, D., Kim, M., Park, J., Yoo, H., Arithmetic Chern-Simons theory II , preprint, ar Xiv:1609.03012.
- 5[5] Illusie, L., Raynaud, M., Les suites spectrales associèes au complexe de de Rham-Witt , Publ. IHES, No. 57, 73–212 (1983).
- 6[6] Kim, M., Arithmetic Chern-Simons theory I , preprint, arxiv: 1510.05818.
- 7[7] Mazur, B., Notes on étale cohomology of number fields , Ann. Sci. École Norm. Sup. (4) 6, 521–552 (1973).
- 8[8] Milne, J., Étale cohomology , Princeton Mathematics Series 33, Princeton University Press (1980).
