Arithmetic Kei Theory
Abstract
A min\CJKtilde\CJKnospace 圭 (kei), or 2-quandle, is an algebraic structure one can use to produce a numerical invariant of links, known as coloring invariants. Motivated by Mazur’s analogy between prime numbers and knots, we define for every finite kei an analogous coloring invariant of square-free integers. This is achieved by defining a fundamental kei for every such . We conjecture that the asymptotic average order of can be predicted to some extent by the colorings of random braid closures. This conjecture is fleshed out in general, building on previous work, and then proven for several cases.
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/892d969f-cc39-42cd-9411-bb65e48f7253/Escher_Knot_1966.jpg)
M. C. Escher, Knot, 1966
1 Introduction
There is an analogy that likens prime numbers to knots in the sphere . This analogy is the observation of Barry Mazur regarding the embedding
(1) |
of schemes, as seen through the eyes of étale topology and homotopy. Étale topology is a tool in algebraic geometry developed by Grothendieck et al in [BD06]. It enriches the theory of schemes with topological notions such as well-behaved cohomology groups for finite locally-constant sheaves. While the concept was originally conceived with smooth varieties over fields in mind, one can attach an étale topology (or more precisely, an étale site) to any scheme. In the case of spectra of rings of integers in number fields, this provides the framework for Artin-Verdier duality. Through Artin-Verdier duality we are justified in thinking about the geometric objects attached to rings of integers as smooth threefolds - see [AV64] or [Maz73] for details. The étale homotopy type defined by M. Artin and Mazur in [AM06] takes this idea even further, in granting access to a wider array of hompotopical tools by producing for any scheme a profinite approximation of a homotopy type. The homotopy type is simply-connected, and is a profinite circle. Therefore étale homotopy sees (1) as the embedding of a circle into a simply-connected threefold - that is, a knot - and for square-free , the embedding
as a disjoint union of knots - a link. One is motivated to understand how far we can take this analogy. Various notions from knot theory have been interpreted in number theory based on this analogy, many of which can be found in Morishita’s book [Mor12]. One salient example is the linking number of two oriented knots , which corresponds to the homology class
A theorem by Gauss famously states that the linking number is symmetric in . The Jacobi symbol of odd primes is seen as analogous to
and quadratic reciprocity as a manifestation the linking number’s symmetry. A more sophisticated example is the Alexander module of a knot , closely related to the Alexander polynomial of . This has an arithmetic interpretation as the Iwasawa module of a prime . The analogy between knots and primes does not produce de facto links in for individual square-free integers . That is, while certain knot-theoretical notions are emulated in number theory, the values that they take are not recovered knot-theoretically from any knot or link. Indeed if that were the case, we would expect actual symmetry in quadratic reciprocity.
There is however a way in which one can say that random square-free integers resemble random links. Alexander’s theorem states in [Ale23] that every link is obtained as the closure of a braid . For , the set of all braids on strands, together with concatenation, form the Artin braid group - see [Art47]. The naive notion of a random braid on strands is ill-defined because is infinite discrete for . That said, if a function factors through a finite quotient of , then we consider the locally-constant extension of to , the profinite completion of . In this case we interpret “the distribution of ” to mean the distribution of , where has normalized Haar measure. Such is the case with the number of connected components in the closure . For , the number of connected components of equals
This is determined by how permutes the endpoints of the strands. Hence
factors through the symmetric group . As per the above, the closure of a random braid is a knot with probability . For square-free , the connected components of correspond to the prime factors of . A square-free number of magnitude is prime with probability roughly . From here one draws the analogy that
(2) |
Another numerical invariant of links, introduced by Fox in [CF12]111See [Prz06] for a more comprehensive treatment of the subject., is the number of -colorings of a link . A -coloring of a link diagram constitutes a choice of color for each arc in such that at each crossing, the colors as in fig. 1 must satisfy . This condition ensures that the number of -colorings is invariant under Reidemeister moves, and by [Rei48] is therefore an isotopy invariant of the link.
The fact that in fig. 1 is determined by is necessary in order to transport colorings across a Reidemeister move, as depicted in fig. 2b. The concept of -colorings thus generalizes to coloring links using a set of colors equipped with a binary operator
Here a -coloring of a crossing as in fig. 1 is valid if . For -colorings to be transported bijectively across all Reidemeister moves,
this operator must satisfy the following corresponding axioms:
Definition 1.1 ([Tak43]222The terminology and Kanji notation min\CJKtilde\CJKnospace 圭 are taken from [Tak43], where the notion was first defined. See [Joy82] for keis in relation to knot theory, where they are called -quandles.).
A min\CJKtilde\CJKnospace 圭 , or kei, is a set with binary operator
satisfying
-
1.
for all .
-
2.
for all .
-
3.
for all .
Keis are therefore an abstaction of Fox’s three colors, and kei-colorings a generalization of -colorings. For finite kei , the number of -colorings of a link is therefore an isotopy invariant of .
The first goal of this paper is to define a number-theoretical analogue of -colorings. As is turns out, the kei-colorings of a link are goverened by a universal kei associated to . That is, the colorings of are in natural bijection with representations of :
where denotes the category of keis and suitable morphisms. The kei is constructed explicitly with generators and relations extracted from a diagram of : to every arc in there is a corresponding generator, and to every crossing a corresponding relation. It is not difficult to see that -colorings of a diagram correspond to morphisms . The road to -coloring squarefree integers rests on the construction of an analogous for squarefree . For this, a presentation extracted from a diagram is unsuitable. While an instrinsically topological description of is already given in [Joy82], it is the following presentation, based on the work of Winker ([Win84]), that we make the most of (for details see section 3.1). We take to be the unique branched double cover of with ramification locus equal to , and to be the universal cover of . Then as a set,
The arithmetic analogue of follows immediately. For simplicity assume is odd:
Definition 1.2 (definition 3.4).
Let be odd squarefree. By we denote the field
The field is the unique333This assuming is odd. For even there are three such fields. In the body of the paper we extend this definition for even . Of the three quadratic fields that ramify precisely at we choose with s.t. . While one can consider the other options, this is the one we find most suitable to our needs. quadratic number field ramified at precisely . As such, the morphism
is analogous to the branched double cover .
Definition 1.3 (definition 3.7).
Let be squarefree. By we denote the maximal unramified extension of . We then define to be the profinite set
Theorem 1.4 (proposition 3.15 + proposition 3.12 + definition 3.13).
-
1.
The set has a natural structure of a (profinite) kei.
-
2.
For finite , the set of continuous morphisms
is finite.
This allows us to define -colorings of squarefree integers using by mimicking the coloring of links:
Definition 1.5 (definition 3.17).
Let be squarefree and let be a finite kei. We define
Next, it is our goal to understand the behavior of this function. In particular, we wish to understand the average asymptotic order of .
Definition 1.6 (definition 4.5).
Let be a finite kei and let . We denote by
the average of over the set of squarefree integers .
Recall the idea in (2), as pertaining to certain random variables on . In similar fashion we may interpret the distribution of -colorings of closures of random braids as above. In [DS23] we compute the average number of -colorings of braid closures of braids in , and prove the following theorem:
Theorem 1.7 ([DS23, Theorem 1.1]).
Let be a finite kei. There exists an integer-valued polynomial such that for all ,
This, and (2) motivate us to form a conjecture about the growth of as tends to infinity. In simplified form:
Conjecture 1.8 (definition 4.6 + 4.8).
Let be finite. Then there exists such that
as .
The second goal of this paper is to verify the conjecture for several examples of finite keis. In particular we verify the conjecture for all keis of size . One can easily show that every such kei is isomorphic to one of three keis, encoded in the following table by
|
We note that one recovers Fox’s -colorings mentioned above as -colorings of links. We begin by identifying the function for each :
Proposition 1.9.
For squarefree we have:
- 1.
- 2.
- 3.
The polynomials
are computed in [DS23, §7]. Using methods of analytic number theory, we prove 1.8 for these three cases, and for additional related keis - see propositions 6.4, 7.7 and 8.14.
1.1 Structure of the Paper
In section 2 we lay the groundwork for defining . Here you’ll find definitions and statements for the algebraic theory of keis, some old, some new. Then in section 3 we define itself, and -colorings of for finite kei . In section 4 we formulate the main conjecture of this paper. Subsequent sections are devoted to proving the conjecture in for several examples of keis: section 5 contains computations of some preliminary estimations we’ll need for the actual results. Sections 6 through 8 contain concrete examples:
1.2 Relation to Other Works
Our work is grounded in arithmetic statistics, an active field of research with a long, rich history history. For example, our proof of the main conjecture in the case of relies heavily on the Davenport-Heilbronn theorem [DH71] and further refinements [BST13] on counting cubic fields. The Cohen-Lenstra-Martinet heuristics [CL84] on the distribution of class groups is very much an ongoing endeavor [SW23]. In the case where one replaces with , the relation with étale topology has been studied in works such as [EVW16] and [FW18]. Others have considered keis and related structures in a number-theoretical setting, with different motivation ([Tak19]). The notions obtained there are different, and unrelated to arithmetic statistics as far as we know.
1.3 Acknowledgements
We thank Ohad Feldheim, Ofir Gorodetski, Aaron Landesman, Lior Yanovski, David Yetter and Tamar Ziegler for useful discussion. TMS was supported by the US-Israel Binational Science Foundation under grant 2018389. TMS was supported by ISF1588/18 and the ERC under the European Union’s Horizon 2020 research and innovation program (grant agreement No. 101125896).
2 Keis and Profinite Keis
2.1 Keis and Augmented Keis
Definition 2.1.
A kei is a set with a binary operator
satisfying the following three axioms:
-
(K1)
, .
-
(K2)
, .
-
(K3)
, .
A morphism of keis is a map satisfying
Together with morphisms, keis form a category, denoted by .
Example 2.2.
Let be a group. Then the set of involutions in is a kei with structure given by conjugation:
Definition 2.3.
A kei is trivial if for all . For , we denote by the trivial kei with . This is well-defined up to isomorphism.
Definition 2.4.
An augmented kei consists of a set , a group acting on from the left, and an augmentation map - a function
satisfying:
-
1.
For all , .
-
2.
For all ,
-
3.
For all and , .
A morphism of augmented keis consists of a function and group homomorphism satisfying
-
1.
For every , .
-
2.
For every and , .
In other words, the following diagram commutes:
(3) |
Together with morphisms, augmented keis form a category .
Example 2.5.
Let group and let be a union of conjugacy classes in s.t. for all . Let denote the inclusion. Then is an augmented kei, where for all and ,
As the name suggests, for , the set has a canonical kei structure. We omit the proof of the following easily verifiable proposition:
Proposition 2.6.
For every , the operator
defines a kei structure on . This extends to a functor
Definition 2.7.
Let and let . We denote by
By (K2), is a bijection and by (K3), . By we denote the subgroup
and by the map
The following notion of conciseness is not new - see [Joy82, Thm 10.2] for one of several examples of prior usage. We rely heavily on this property, and therefore see fit to give it a name:
Definition 2.8.
An augmented kei is concise if the image of generates , that is,
Proposition 2.9.
Let . Then is a concise augmented kei.
Proof.
Let . Then
and for all ,
Therefore . For we have for all ,
That is,
This equality holds for all . Hence is a concise augmented kei. ∎
Definition 2.10.
Let . By we denote the augmented kei
Proposition 2.11.
Let be concise, and let be a surjective morphism in . Then there is a unique s.t.
is a morphism in . Furthermore, is surjective.
Proof.
The desired must satisfy, for all and :
Let denote the free group on the set . The maps and
extend to respective group homomorphisms
Condition is equivalent to the commuting of the diagram
Since is concise, is surjective, then - should it exist - is unique. Let and let . Then for all ,
If are s.t. , then for all ,
Since is surjective, we have
Hence there exists satisfying condition :
Furthermore, since is concise, for all we have
Therefore satsifies condition as well, hence
is a morphism in . Also, is surjective:
∎
Definition 2.12.
Let be concise and let be a morphism in . For We denote by
the homomorphism from proposition 2.11. If or if , we respectively denote by:
The following proposition is a straightforward consequence of proposition 2.11. The proof, a routine check, is omitted.
Proposition 2.13.
The map
is functorial in surjective morphisms in , mapping to
Accordingly, the map that sends to
is functorial in surjective morphisms.
Proposition 2.14.
Let and let be a morphism. Then
is a sub-augmented kei of .
Proof.
Let and let . Then
and
Therefore is a sub-augmented kei of . ∎
Definition 2.15.
Let and let be a morphism. We define the image of to be the augmented kei
We say is surjective if
that is, if and are both surjective.
Lemma 2.16.
Let be a surjective morphism in . Assume is concise. Then is also concise.
Proof.
Write and . We have the following equality of subgroups of :
∎
Corollary 2.17.
Let be concise and let be a surjective morphism in . Then
Proof.
The statements of proposition 2.11 and proposition 2.13 are interpreted in terms of an adjunction
where is the subcategory of all keis and surjective morphisms, is the subcategory of concise augmented keis and surjective morphisms. The desired square is obtained from the unit of the adjunction:
∎
Proposition 2.18.
Let and let . Let
where is the quotient in . Then is an augmented kei and the quotient map is a morphism in . In particular inherits a well-defined kei structure from , and the quotient map is a morphism in .
Proof.
It suffices to show that is a well-defined function and that the -action on is well-defined. Let , let and let . Then
The aumgented kei axioms on are seen to hold by routine lifting to . Consequently is a kei with structure induced from :
that is, the quotient map is a morphism in . ∎
Definition 2.19.
Let and let . We denote by we denote the augmented kei
Proposition 2.20.
Let and let . Denote by . Then factors through the quotient
Proof.
By proposition 2.18, and is a morphism in . Let , let and let . Then , hence
This suffices to show that factors through . ∎
Proposition 2.21.
Let be concise, let , and let be a morphism in . Let denote the image of . Then factors through
where
Proof.
By proposition 2.11, lifts to a surjective morphism
in . By proposition 2.20, factors through
Forgetting to , we find that factors through
∎
2.2 Profinite Keis and Augmented Keis
In this section we discuss profinite keis, which are formal cofiltered limits of finite keis. Closely related notions were extensively developed in [BCJ+24]. Stone duality is the statement that profinite sets are equivalent to Stone spaces - compact, Hausdorff totally-disconnected topological spaces. More precisely, the fully-faithful embedding
of finite sets as discrete topological spaces lifts to a fully faithful functor
Similarly, the embedding of finite groups into topological groups extends to a fully-faithful functor
Hence for we denote by
Like groups, the algberaic theory of keis consists of finitely-many operations of finite arity. An analogous statement for keis holds as well: the induced functor
is fully-faithful ([Joh82, §VI.2]). In considering topological augmented keis, it is not difficult to see that a similar argument works: the enduced functor
is fully-faithful. We therefore make no distinction between profinite (augmented) keis and their corresponding topological (augmented) keis. For and we denote by
It is perhaps worth mentioning that the forgetful functors
are defined once as naturally extending the finite counterparts
and again as restricted from the topological counterparts
These two definitions in fact coincide. Also worth mentioning is that because and have a well-behaved notion of images (see proposition 2.14 for ), profinite keis and augmented keis can be presented as limits of cofiltered diagrams with surjective maps. This can be done canonically: For , Let denote the category whose objects are
and
Then is cofiltered, and
We set a convention: When we write
(4) |
it is to be understood that is a cofiltered diagram in , and that the morphisms in the diagram are all surjections. Likewise for
Definition 2.22.
Let be a profinite augmented kei. We say is concise if generates topologically:
For finite , this notion of concisesness coincides with definition 2.8.
Lemma 2.23.
Let be a surjective morphism in . Assume is concise. Then so is .
Proof.
Denote and . Because is concise, . Therefore
Hence is concise. ∎
Suppose is concise. Then the projections are all surjective. By lemma 2.23, each is also concise.
Proposition 2.24.
Let be concise. Let be finite and let be a surjective morphism in . Then there is a unique morphism s.t.
is a morphism in .
Proof.
Write as the limit
of a cofiltered diagram in with surjections, so that
Therefore factors through for some . The morphism is surjective, therefore is concise by lemma 2.23. Proposition 2.11 implies the existence of a canonical morphism
in . The composition
is a morphism in lifting . For all there is at most one such map . Moreover the diagram is cofiltered. Therefore , independent of , is uniquely defined by . ∎
The following proposition lists versions of propositions from the previous section for profinite augmented keis. The proofs are fundamentally the same, and are therefore omitted.
Proposition 2.25.
Definition 2.26.
A profinite group is small if for all , has finitely-many open subgroups of index .
Proposition 2.27.
Let . Then is small iff for all ,
Proof.
Let be an open subgroup of index . Then
is open and normal, satisfying
Therefore every open subgroup of index contains an open normal subgroup of index . It follows that is small if and only if for all there are finitely-many normal open subgroups of index . This in turn occurs if and only if for all ,
∎
We therefore give the following analogous definition:
Definition 2.28.
Let . We say min\CJKtilde\CJKnospace 圭 is small if for every ,
Proposition 2.29.
Let be concise. If is a small profinite group and if , then is small.
Proof.
A finite kei has finitely-many sub-keis, therefore min\CJKtilde\CJKnospace 圭 is small iff for all there are finitely-many surjective morphisms . Since is concise, by proposition 2.24 any surjective morphism extends uniquely to a morphism
in . Denote by
Since is finite, and continuous, then is open. We also have
because is small. Therefore is open. By proposition 2.25, every factors through , and therefore through
The quotient is finite because is finite, and the fibers of the map
are transitive -sets - therefore finite. We conclude that for all ,
Hence min\CJKtilde\CJKnospace 圭 is small. ∎
2.3 Disjoint Unions in
In this section we shall discuss disjoint unions of keis. Much like the tensor product of non-commutative rings, this is not the coproduct in . It is however a symmetric monoidal structure on , with the empty kei playing the role of the unit. This discussion can be extended to profinite keis as well. The statements and their proofs are similar enough that we omit them in the profinite case.
Proposition 2.30.
Let . Then the disjoint union is a kei with structure
This puts a symmetric monoidal structure on .
Proof.
The first two kei axioms are easily verified. As for the third, let . If for some , w.l.o.g. , then
otherwise, w.l.o.g. and , then
∎
Let . The disjoint union of copies of the terminal object recovers the trivial kei with underlying set . Hence there is a functor
The functor preserves small limits and filtered colimits, and therefore has a left adjoint
The functor is also fully faithful, therefore can be computed in terms of the unit
We explicitly construct for , making use of an augmentation on :
Proposition 2.31.
Let be trivial, let be concise, and let be a morphism in . For , we denote by and by the subgroup . Then
-
1.
The set is well-defined, and a quotient of in .
-
2.
For all , let denote the disjoint union
Then there is a natural bijection
Proof.
Let . Then for all and all ,
(5) |
Since is concise, it follows that the are -invariant. For all and ,
where . Hence the subgroups
are normal. Next, let and let . Then
Let . If , then . Hence for all ,
Let . Then for all ,
and for all ,
Therefore the set is a kei with structure inherited from . For all with , we have , therefore
Hence is the disjoint union
Finally, let and let be a morphism in . Then for all , for all and all ,
Therefore is well-defined on the quotient , hence factors through
We conclude that
∎
3 Fundamental Arithemtic Keis
In this section we define the fundamental kei of square-free integers by emulating the construction of , the fundamental kei of a link in . In the case of traditional links, is intimately tied to the automorphism group of some infinite branched cover of the sphere. The construction is similar here, and since infinite Galois groups are profinite, will in fact be a profinite kei. We then analogously define -colorings of in terms of said .
3.1 The Fundamental Kei of a link
Our definition of the fundamental arithmetic kei is motivated by a presentation of the fundamental kei found in the introduction. The purpose of this section is to justify this presentation. Neither object discussed here - nor indeed the general notion of a quandle - are needed anywhere else in the paper. If you are comfortable with as presented in the introduction, feel free to skip this part.
Proposition 3.1.
Let be a link. Let denote the branched double cover of with ramification locus and let denote the universal cover of . Then there is an augmented kei
that recovers the fundamental kei that corepresents colorings of :
An augmented quandle , much like an augmented kei, consists of a set , a group acting on , and an augmentation map , satisfying two of the three augmented kei axioms:
The set , together with the binary operator , is an algebraic structure known as a quandle. To be more specific, quandles are a more general notion than keis, obtained by relaxing the second axiom, requiring that each element act merely as a permutation (rather than an involution). Quandles to oriented links are what keis are to unoriented links: much like keis, one can use quandles to color an oriented link , and these colorings are similarly controled by a fundamental quandle attached to . A topological definition of is found in [Joy82, §14], where structure is given by an augmentation with . This boils down to the following presentation555See [Nos17, p.17]:
We take to denote a tubular neighborhood of , to denote the complement , and the boundary of . We fix a base point . Then is defined as the set of paths in - up to homotopy. The structure on is defined by an augmentation with . Here acts on via concatenation, and the augmentation map maps a path to a meridian , looping once around a component of in a manner consistent with the orientation of .
Proof.
(proposition 3.1) Let denote the universal covering of , and let
The pullback in consists of paths in , up to homotopy that fixes both endpoints. Passing to connected components we have an isomorphism
of -sets. We denote by the subgroup
and by
the covering of corresponding to . By [Joy82, Thm. 10.2],
with structure on given by augmentation with the group
For every branched cover that is unramified away from , we denote by . In [Win84, §5], the group sits in an exact sequence
From the proof in [Win84], it is not hard to see that
The pullback is a disjoint union of solid tori that homotopy retracts onto , and has boundary
The same holds for any covering space of . Therefore
∎
3.2 The Fundamental Kei of an Arithmetic Link
Definition 3.2.
We denote by the set of square-free positive integers.
Definition 3.3.
For with odd, we define
It is easily verified that . Thus for we have
Definition 3.4.
Let . By we denote the quadratic number field
The field is ramified at precisely . We define the field to be the maximal unramified extension of :
The extension is Galois. By we denote the Galois group
Proposition 3.5.
Let s.t. . Then
and is the maximal subfield of that is unramified over away from .
Proof.
All primes are doubly-ramified in and in . A short computation of ramification indices shows that the extension
is unramified. Since is unramified, so is the tower , whereby
Finally, the ramification index of any prime in is at most . Therefore any field that contains and is unramified over away from is necessarily unramified over . Therefore is the maximal subfield of that is unramified over away from . ∎
Definition 3.6.
For prime, we denote by
the only non-trivial element in .
Definition 3.7.
Let . We define to be
As a set, comprises all primes in dividing . For every finite, Galois over , is finite discrete. The forgetful functor
preserves cofiltered limits, therefore
The profinite group acts continuously on via .
The goal now is to describe a topological kei structure on .
Definition 3.8.
Let and let be prime. By we denote
For prime, the -action on restricts to a transitive action on . For , the stabilizer of in is the decomposition group of , denoted by
Definition 3.9.
Let and let . By we denote the inertia group
over , the rational prime under . The extension is unramified at and is totally ramified at , therefore
We denote the unique nontrivial element in by
Proposition 3.10.
Let , let and let . Then
-
1.
.
-
2.
.
-
3.
.
Proof.
Claim holds because the inertia group is a subgroup of the decomposition group . In particular stabilizes :
Claim holds because - therefore is an involution. Claim holds because conjugation by maps isomorphically onto . As the sole non-trivial elements in their respective groups, is mapped to :
∎
Proposition 3.11.
Let . Then the function
is continuous.
Proof.
Let be prime. The -action on is continuous and transitive. Fix some . The stabilizer is closed, the quotient map is open, and the map
is a homeomorphism. The composition
is also continuous. It follows that is continuous. Since , we conclude that is continuous. ∎
Proposition 3.12.
Let . Then is a topological augmented kei.
Proof.
Let and let . From proposition 3.10,
It follows that is an augmented kei. The -action on is continuous, and by proposition 3.11 the augmentation map is continuous. We conclude that is a topological augmented kei. ∎
Definition 3.13.
Let . The augmented arithmetic kei of is defined as
The fundamental arithmetic kei of is defined to be the kei , with structure induced from the augmentation with :
Proposition 3.14.
Let . Then is concise.
Proof.
Let denote the closed subgroup
From proposition 3.10, for all and , hence is normal. Since is unramified away from and for all , the quotient corresponds to a nowhere-ramified Galois extension of . By the Hermite-Minkowski theorem this is itself, hence
Hence is concise. ∎
Proposition 3.15.
Let . Then is small.
Proof.
Let . The open subgroups of of index correspond to number fields of degree . Such are unramified away from , therefore satisfy
By the Hermite-Minkowsk theorem, there are finitely many such fields . Hence is small. By proposition 3.14, is concise. For each , the group acts transitively on . Therefore
By proposition 2.29, is small. ∎
Example 3.16.
Following [Yam97], for , we have . In terms of , these are indistinguishable from the unknot, since
3.3 -Coloring Arithmetic Links
Definition 3.17.
Definition 3.18.
Let , let , and let be finite and Galois over . A -coloring of is said to be defined on if is well-defined on the quotient . We say that is defined on if every is defined on .
Lemma 3.19.
Let , let and let be a kei morphism. Denote by , and by
Let . Then factors through
which is to say that is defined on .
Proof.
By proposition 3.14, is concise. The claim therefore follows from proposition 2.25 (proposition 2.21) ∎
Lemma 3.20.
Let . Then the construction assembles to a functor
that preserves finite limits.
Proof.
As is the case for all corepresentable functors, the functor
preserves all limits. The canonical embedding
preserves finite limits. The composition
therefore preserves finite limits. By proposition 3.15, is small, so these finite limits in are in fact computed in . ∎
Proposition 3.21.
Let be s.t. . Let denote the closed subgroup
Then
and
Proof.
The elements are precisely the nontrivial inertia elements for primes in over all . Therefore is the maximal subfield ramified over at most at . By proposition 3.5,
- and accordingly. Let
By proposition 2.25 (proposition 2.20), the canonical morphism
factors through the quotient . The map is an isomorphism because it induces isomorphisms and
By proposition 2.18, the kei structure on is induced by that of , therefore we obtain an isomorphism
∎
Lemma 3.22.
Let . Then is the trivial kei :
Proof.
As a set,
The kei structure on is induced by Galois action on . These act trivially on sets of rational primes. Therefore is trivial:
∎
Proposition 3.23.
Let be trivial. There is a natural isomorphism
Proof.
Let be a kei morphism. Denote by , also trivial. Therefore , and
By lemma 3.19, factors through . By lemma 3.22, is a trivial kei with underlying set . Therefore
∎
Proposition 3.24.
Let be square-free and let . Then
Proof.
Let . By proposition 3.23, there is a natural bijection
for corresponding to , we denote by
By proposition 2.31 and proposition 3.21, there is a bijection
where for all as in proposition 3.21. Therefore
and
∎
4 Main Conjecture
While the analogy of Barry Mazur likens positive square-free integers to links, the fibration of the affine line over , paints a sharper picture, likening a degree- separable polynomial to the closure of a braid on strands. By coarse analogy, should be a braid on strands. The scope of this claim is limited by the lack of a Frobenius map, more so by the fact that . Nevertheless, the claim is bolstered by statistical phenomena about random numbers: A random number of magnitude is prime with probability , mirroring the fact that the closure of a random braids is connected with probability . The aim of this paper is to use asymptotic statistical phenomena of kei-coloring invariants to lend further credence to this notion.
For a finite kei , basic statistical invariants about -coloring of random links admit particularly straightforward description when viewed as closures of braids: Let and let be the Artin braid group on strands. The braid closure of a braid is a link in . The function mapping to extends to a locally constant function on the profinite completion . By [DS23] there exists for every an integer-valued polynomial s.t. for all ,
where is the Haar measure on . We use this to further bolster the notion that a random should be thought of as the closure of a random braid on strands.
4.1 The Hilbert Polynomial of a Finite Kei
Let . Recall in [DS23] that there exists an integer-valued polynomial s.t. for all ,
where is the Haar measure on the profinite braid group . The degree of is explicitly calculated in terms of :
4.2 Statistics of -Coloring Random Arithmetic Links
Definition 4.1.
Let be square-free. By we denote the set of square-free elements coprime to :
Definition 4.2.
Let , let , and let . We say converges to if for all there exists s.t. for all ,
We shall use either of the following notations:
Definition 4.3.
Let be squarefree. By we denote
Remark 4.4.
For square-free , the number of -coprime square-free integers up to is
Therefore the probability of being prime is
In likening a squarefree integer to the closure of a braid, the correct number of strands is purported to be inverse to the probability of primality. In light of this computation, for fixed we should think of as the closure of a braid with strands.
Definition 4.5.
Let and let . For we denote by
and
For , we denote by
Definition 4.6.
Let , let and let . We say has generic summatory type if for every there exists a limit
and if
We denote by the set of all such functions:
In the case of for some , we denote by
Remark 4.7.
In light of remark 4.4, for and ,
In practice, it is the RHS here that we will be computing for every .
We are now ready to state the main conjecture of the paper:
Conjecture 4.8.
Let . Let be the Hilbert polynomial of , as defined in [DS23]. Then there exists s.t.
5 Preliminary Numerical Computations
A few preliminary definitions will be useful. In the following discussion of arithmetic functions, we follow standard notation: For arithmetic functions , the convolution is defined via
By we denote the unit with respect to convolution:
By we respectively denote the constant function and the Möbius function , its inverse with respect to convolution. This is the multiplicative arithmetic function satisfying for all prime powers ,
The function counts distinct prime divisors:
Definition 5.1.
Let . We denote by the functions
We denote by the functions
These are all multiplicative arithmetic functions, and they satisfy
5.1 Divisor Counting
Let . Then for all
where is the -fold divisor counting function. This is the multiplicative function satisfying
For all prime powers . We begin by stating some standard results regarding the counting of divisors:
Lemma 5.2.
Let . Then for all ,
Proof.
There is an equality
The desired inequality immediately follows from the fact that
∎
Lemma 5.3.
Let and let . Then
Proof.
Since is square-free, we have
Hence
∎
Lemma 5.4.
Let . Then there exists s.t. the term
is bounded for all by
In particular, as we have
Proof.
If , then for all ,
If , then there exists with leading term s.t.
Hence
The function
is then bounded not only for , but for all because
Hence there is some s.t. for all ,
∎
We have the following immediate corollary in the same spirit of stating a bound for all :
Lemma 5.5.
Let . Then there is a constant s.t. for all ,
Lemma 5.6.
Let and let . Then for every prime ,
More generally, for every ,
Proof.
From the formal equality of power series
we have
The function is multiplicative, satisfying
Hence
∎
Definition 5.7.
Let and let be multiplicative, s.t.
for all . For every prime we denote by
and we denote by the infinite product
Lemma 5.8.
Let and let be a function s.t. . If the product converges (to nonzero limit), then so does the infinite sum
Proof.
For all prime ,
Hence
The convergence of implies the convergence of
The convergence of the desired sum then follows, as
∎
Lemma 5.9.
Let be a function s.t.
for some and . Then for all , the series
converges.
Proof.
Let . Then for . Convergence is therefore dominated by
∎
Lemma 5.10.
Let and let be multiplicative s.t.
for some and . For and we denote by
Then as ,
Proof.
Let . Then
Therefore
Considering the first summand, it follows from lemma 5.9 that for all ,
Therefore
Turning to the remaining summand, we first address the case . By lemma 5.4 there is a constant s.t.
for all . Therefore
In the case , this summand is bounded, for some constant , by
Thus for any ,
∎
Lemma 5.11.
Let and let for . Then
Proof.
If for some then both sides of the inequality equal . We assume therefore that for all . Then for all , therefore
Thus
∎
Proposition 5.12.
Let , and let be multiplicative s.t.
for all . For we denote by
Then
Proof.
For all we define the function via
Since are multiplicative, then so is , satisfying for all prime powers ,
Therefore for all ,
The function can be written
Note that for . Since , by lemma 5.10 for all , we have
For all and , . Therefore
Should the product diverge, it necessarily diverges to , whereby
as desired. We assume therefore that converges. By lemma 5.11, for all and ,
Summing over we have
By lemma 5.2, the first summand is bounded as follows:
Therefore there exists s.t. for all ,
The second summand is likewise bounded for all by
Hence there is a constant such that for all and ,
The series converges following lemma 5.8 and the assumed convergence of . The series converges as well, therefore
It follows that there is uniform convergence for :
Thus we obtain the desired limit
∎
5.2 Sums of Kronecker Symbols
Recall that the Kronecker symbol , defined for with , satisfies for primes :
Proposition 5.13.
Let be a non-principal character of modulus and let . Then there exists , independent of and , s.t.
for all .
Proof.
Proposition 5.14.
For a non-principal Dirichlet character with modulus , for and , denote by
Then there is a constant s.t. for all such , and ,
Proof.
Let be some parameter to be determined later. Then
(6) |
By proposition 5.13 there is s.t. the first summand in (6) is bounded by
The second summand in (6) is bounded, for some constant , by
Therefore taking ,
(7) |
If , then
Otherwise, take . The modulus of a non-principal Dirichlet character is at least , whereby . Hence
and (7) then reads:
For all , we then have
∎
Definition 5.15.
A function is a bi-character with slopes if
-
•
for all , there exist Dirichlet character of modulus and with s.t.
-
•
for all , there exist Dirichlet character of modulus and with s.t.
We say is non-principal at (resp. at ) if either (resp. ) or (resp. ) is non-principal.
Proposition 5.16.
Let and let be a bi-character with slopes . Assume are such that is non-principal at all and at all . Then there exists a constant , independent of s.t. for all ,
Proof.
The function satisfies whenever , therefore
Let , to be determined later, s.t. . Then
The first summand is bounded by
For all , is non-principal of modulus . By proposition 5.14 there exists , independent of , s.t.
for all . Since , we have , therefore
Therefore
There is a constant s.t. for all
Hence
Likewise,
For the summand , again by proposition 5.14,
We now take and , so that
For we have , and for we have . Then for such we find, taking the above into account, that
However if w.l.o.g. and , then the bounded is obtained in simpler fashion:
and
By lemma 5.5 there exists s.t.
The claim therefore holds for all with . ∎
Proposition 5.17.
The functions ,
are bi-characters with slopes . Moreover, (resp. ; ) is non-principal at and at ( and ; and ).
Proof.
Let denote the function
a Dirichlet character of modulus . For odd , let be
Then (resp. ) is a Dirichlet character of modulus (resp. ). For ,
- trivially for even, by quadratic reciprocity for odd. For all we have
to be interpreted as zero for even. Likewise, for all we have
The function (resp. ) is a Dirichlet character of modulus (resp. ). Moreover, for all . Therefore (resp. ; ) is a bi-character with slopes (resp. ; ). For odd , the function is clearly non-principal of modulus . Since
has modulus (resp. ), coprime to , it follows for all odd that (resp. ; ; ) is non-principal. Moreover, for we have , non-principal. ∎
Lemma 5.18.
Let and let . Then for all ,
Proof.
The proof is by induction on . The claim holds for : since , for all we have
Assume next that the claim holds for some . By lemma 5.3,
By the induction assumption, this is bounded by
Hence the statement holds for all , and . ∎
Lemma 5.19.
Let . Then there exists s.t. for all ,
Proof.
For all we have
By the Cauchy-Schwartz inequality,
Since , and following lemma 5.18, this is bounded by
∎
Proposition 5.20.
Let . For all , denote by
Then there exists a constant s.t. for all ,
6 Trivial Keis
Recall that a kei is trivial if for all . The following assertions about trivial keis are easily shown:
Lemma 6.1.
-
1.
Let be trivial. Then every sub-kei is trivial.
-
2.
Let be trivial. Then any function is a kei morphism.
Recall in [DS23] the computation of the Hilbert polynomial of :
6.1 Interpretation of -colorings
Proposition 6.2.
Let and let . Then
Proof.
6.2 Proof of Main Conjecture for .
Lemma 6.3.
Let . The infinite product
converges.
Proof.
For , the claim is obvious. Assume that . For all prime ,
For , all but finitely many, we have
The convergence of
guarantees the convergence of
∎
Proposition 6.4.
Let . Then has generic summatory type
Proof.
In proposition 6.2 we saw that
for all . Let . The function is multiplicative, and satisfies
for all . By proposition 5.12,
Therefore
By lemma 6.3, this product converges. Moreover, it follows that
Therefore has summatory type . ∎
7 The Joyce kei
In this section we recall the kei that was introduced in [Joy82, §6]. We will address here not only colorings of by , but by where is the trivial kei on elements.
Definition 7.1.
The kei has underlying set and structure
The kei satisfies
For all , iff . The proper sub-quandles of are
all trivial.
Lemma 7.2.
Let be a trivial kei. Then the map
is a kei morphism.
7.1 Interpretation of -colorings
Proposition 7.3.
Let . Then
where is the Kronecker symbol.
Proof.
Consider the kei morphism from lemma 7.2. By lemma 3.20 and proposition 3.23 there is a map
For s.t. , we denote by the fiber
over , and by
s.t.
We show that for all s.t. ,
If , then for all we have , and indeed
If , then vacuously for all , and
Let with . We denote by the map
where is the unique quadratic field in that ramifies at precisely . Any is necessarily surjective, thus by proposition 2.24, lifts uniquely to
in . For all ,
Therefore corresponds to :
It also follows from proposition 2.25 that every factors through the quotient
in . The kei structure on is defined by the induced augmentation with , satisfying for all , where iff . Then for all over respective rational primes ,
Suppose there exists a prime s.t. . Let be s.t. and (). Then on one hand, . On the other hand, for any ,
This is a contradiction, therefore in these conditions:
If on the other hand for all , then is determined by bijections
for all , each independent of the other. Therefore
It follows that for any s.t. ,
In total,
∎
Proposition 7.4.
Let . Then for all ,
Proof.
7.2 Proof of the Main Conjecture for .
Proposition 7.5.
Let , let and let . Then
where for and ,
Proof.
Proposition 7.6.
Let and let . Then
Proof.
By proposition 7.5,
which equals
(9) |
for some to be determined later. By proposition 5.20, there exists s.t. the first summand in (9) is bounded by
Let . Then by lemma 5.18,
For we may take
for which we then have
We turn to , the second summand in (9):
which is bounded by
By lemma 5.5 there exists s.t.
Hence
∎
Proposition 7.7.
Let . Then is of generic summatory type :
Proof.
Let . Following proposition 7.6,
By proposition 6.4, and . For all we therefore have and
Therefore
and
Thus
∎
8 The Dihedral kei
Definition 8.1.
Let denote the dihedral group of a triangle. and let denote the homomorphism
By we denote the set of reflections in :
The set is comprised of involutions and is closed under conjugation. Therefore is a kei with structure given by conjugation: .
Recall in [DS23] the computation of the Hilbert polynomial of :
8.1 Interpretation of -colorings
Lemma 8.2.
Let be such that
-
1.
the map is an injection, and
-
2.
for every proper sub-kei , the set generates a proper subgroup of :
Then for all there is a bijection
Proof.
Let and let . Then by proposition 2.24, extends uniquely to a morphism . The map satisfies
We therefore have a map
Conversely, let be such that . Since is an embedding, there is a unique continuous map s.t.
This is a kei morphism: for all ,
It follows that because is an embedding. This is also surjective: Let . Then
It follows from the assumption on that , that is, is surjective. Hence we obtain a map
These constructions are inverse to one another. ∎
Proposition 8.3.
Let denote the inclusion. Then is an augmented kei, and
Proof.
The set is a conjugacy class of involutions in , hence . This is concise because . By proposition 2.11, lifts to a morphism
Suppose . Then for all . Since generates , it follows that . Hence is a group isomorphism, and
∎
Corollary 8.4.
The kei satisfies the conditions of lemma 8.2
Proof.
Following proposition 8.3, the map is an embedding. Moreover, the non-empty proper sub-keis of are the singletons, and for all ,
∎
An order is an integral domain that is free as a -module. For order , the ring is a number field. As such , where , the ring of integers in a number field , is the maximal order in . The discriminant of an order is the volume of as a lattice with the trace form:
where is a basis for as a -module, and is the trace of multiplication by . The discriminant of a number field is defined to be
A fundamental discriminant is the discriminant of a quadratic number field. A quadratic number field can be written uniquely as with square-free. For such ,
Every square-free integer can be written uniquely as with and . Hence every fundamental discriminant is of the form
Definition 8.5.
Let . By we denote the set of isomorphism classes of cubic orders with discriminant :
and by its cardinality.
The following is a well-known fact about cubic number fields, due to [Has30]:
Lemma 8.6.
Let be a cubic number field. Then , where is a fundamental discriminant, and is such that for every prime , iff is totally ramified in .
Proposition 8.7.
Let be a fundamental discriminant. Then
Proof.
Let . Denote by , a cubic number field. Let be the maximal order in . Then
There exists s.t.
where is a fundamental discriminant. Thus
No two fundamental discriminants differ by a perfect square, hence is the maximal order in , and . Hence
∎
Proposition 8.8.
Let . Then
where is the class group of .
Proof.
Since , . The image of a coloring is therefore a nonempty sub-kei of . The proper nonempty sub-keis of are the three singletons in . Therefore
Let denote the homomorphism
This is the unique morphism that maps for all . Since , then by lemma 8.2 and corollary 8.4, we have
where is the set of surjective lifts
The -action on via conjugation,
is free because has trivial center. Therefore
The quotient classifies -Galois number fields containing s.t. is unramified. Since acts via sign on the class group in its entirety, every unramified -extension is Galois over with
Hence these are precisely the unramified -Galois extensions of , of which there are
Such extensions are classified by cubic fields with discriminant
It follows by proposition 8.7 that
All in all,
∎
8.2 Proof of the Main Conjecture for
Lemma 8.9.
Let be a fundamental discriminant, let be prime, and let be a cubic order with discriminant . Then
Proof.
Since is a fundamental discriminant, then is the maximal order in the non-Galois cubic number field . Since , then is partially ramified in , hence there is some ramified quadratic s.t.
The normal closure of contains . Which is to say that is a sub-quotient of . Therefore is a sub-quotient of
Hence . For all ,
and
∎
Corollary 8.10.
Let be a cubic order s.t. is a fundamental discriminant. Then there exists even s.t. iff
Proof.
The set of fundamental discriminants equals
The proof of the corollary is straightforward under the assumption that since neither nor is étale over . Assuming therefore that , we have
For we have
Hence
|
Having done a comprehensive sweep of all fundamental discriminants, we can verify that there exists even s.t. iff
∎
Definition 8.11.
For prime we define the following sets and of cubic -algerbas up to isomorphism:
- which for equals
where is a quadratic non-residue modulo and denotes the ring of Witt vectors. The set consists of all étale cubic -algebras:
For we also define the set of -algebras:
Let and let be prime. We define the sets and :
We also define for , the following sets of -algebras:
Proposition 8.12.
Let and let be a cubic order. Then
iff for all prime ,
Proof.
Following lemma 8.6 and proposition 8.7, the property that is a fundamental discriminant is completely determined locally: For prime , let
Then for some fundamental discriminant iff for all prime , is a regular ring either isomorphic to the Witt vectors , or of the form for some degree- étale -algebra :
Furthermore, for every prime , iff is étale, which is to say that
(10) |
The set equals the set of odd fundamental discriminants, hence for some odd iff
By corollary 8.10, the set equals the set of fundamental discriminants for which
Following lemma 8.9, for some even iff
By (10), placing further -coprimality conditions on is tantamount to intersecting any prior local conditions on with for all : The cubic order is in for some odd iff for every prime ,
Similarly, is in for some even iff for every prime ,
∎
Proposition 8.13.
Let . Then
where
Proof.
Let . By proposition 8.12, the sum
counts cubic orders for which for all primes , and
Likewise, the sum
counts cubic orders for which for all primes , and
By Theorem 8 in [BST13],
where for a set of isomorphism classes of cubic -algebras, is a local density factor defined as
and for a set of cubic -algebras,
Hence
For all every prime , and
Hence
For the case at ,
For , we compute . If is even, then
if is odd, then
Hence regardless of parity of , we have
∎
Proposition 8.14.
The function has generic summatory type
Proof.
Let . For we have , therefore
For all we have
Therefore
We find that
for all , and subseuqently
Hence
∎
References
- [Ale23] James W Alexander. A lemma on systems of knotted curves. Proceedings of the National Academy of Sciences, 9(3):93–95, 1923.
- [AM06] Michael Artin and Barry Mazur. Etale homotopy, volume 100. Springer, 2006.
- [Art47] Emil Artin. Theory of braids. Annals of Mathematics, 48(1):101–126, 1947.
- [AV64] Michael Artin and Jean-Louis Verdier. Seminar on étale cohomology of number fields. Woods hole, 1964.
- [BCJ+24] On Profinite Quandles Alexander W Byard, Brian Cai, Nathan P Jones, Lucy H Vuong, and David N Yetter. On profinite quandles. arXiv preprint arXiv:2406.15387, 2024.
- [BD06] Nicolas Bourbaki and Pierre Deligne. Theorie des Topos et Cohomologie Etale des Schemas. Seminaire de Geometrie Algebrique du Bois-Marie 1963-1964 (SGA 4): Tome 1, volume 269. Springer, 2006.
- [BST13] Manjul Bhargava, Arul Shankar, and Jacob Tsimerman. On the davenport–heilbronn theorems and second order terms. Inventiones mathematicae, 193:439–499, 2013.
- [CF12] Richard H Crowell and Ralph Hartzler Fox. Introduction to knot theory, volume 57. Springer Science & Business Media, 2012.
- [CL84] Henri Cohen and Hendrik W. Lenstra, Jr. Heuristics on class groups of number fields. In Number Theory Noordwijkerhout 1983: Proceedings of the Journées Arithmétiques held at Noordwijkerhout, The Netherlands July 11–15, 1983, pages 33–62. Springer, 1984.
- [DH71] Harold Davenport and Hans Arnold Heilbronn. On the density of discriminants of cubic fields. ii. Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 322(1551):405–420, 1971.
- [DS23] Ariel Davis and Tomer M Schlank. The hilbert polynomial of quandles and colorings of random links. arXiv preprint arXiv:2304.08314, 2023.
- [EVW16] Jordan S Ellenberg, Akshay Venkatesh, and Craig Westerland. Homological stability for hurwitz spaces and the cohen-lenstra conjecture over function fields. annals of Mathematics, pages 729–786, 2016.
- [FW18] Benson Farb and Jesse Wolfson. Étale homological stability and arithmetic statistics. Quarterly Journal of Mathematics, 69(3):951–974, 2018.
- [Has30] Helmut Hasse. Arithmetische theorie der kubischen zahlkörper auf klassenkörpertheoretischer grundlage. Mathematische Zeitschrift, 31(1):565–582, 1930.
- [Hil88] Adolf Hildebrand. Large values of character sums. Journal of Number Theory, 29(3):271–296, 1988.
- [Joh82] Peter T Johnstone. Stone spaces, volume 3. Cambridge university press, 1982.
- [Joy82] David Joyce. A classifying invariant of knots, the knot quandle. Journal of Pure and Applied Algebra, 23(1):37–65, 1982.
- [Maz63] Barry Mazur. Remarks on the alexander polynomial. (No Title), 1963.
- [Maz73] Barry Mazur. Notes on étale cohomology of number fields. In Annales scientifiques de l’École Normale Supérieure, volume 6, pages 521–552, 1973.
- [Mor12] Masanori Morishita. Knots and primes. In Universitext. Springer, 2012.
- [MV07] Hugh L Montgomery and Robert C Vaughan. Multiplicative number theory I: Classical theory. Number 97. Cambridge university press, 2007.
- [Nos17] Takefumi Nosaka. Quandles and topological pairs: Symmetry, knots, and cohomology. Springer, 2017.
- [Pól18] George Pólya. Über die verteilung der quadratischen reste und nichtreste. Göttingen Nachrichten, 1:21–29, 1918.
- [Prz06] Józef H Przytycki. 3-coloring and other elementary invariants of knots. arXiv preprint math/0608172, 2006.
- [Rei48] Kurt Reidemeister. Knotentheorie. Springer, 1948.
- [SW23] Will Sawin and Melanie Matchett Wood. Conjectures for distributions of class groups of extensions of number fields containing roots of unity. arXiv preprint arXiv:2301.00791, 2023.
- [Tak43] Mituhisa Takasaki. Abstraction of symmetric transformations. Tohoku Mathematical Journal, First Series, 49:145–207, 1943.
- [Tak19] Nobuyoshi Takahashi. Quandles associated to galois covers of arithmetic schemes. Kyushu Journal of Mathematics, 73(1):145–164, 2019.
- [THB86] Edward Charles Titchmarsh and David Rodney Heath-Brown. The theory of the Riemann zeta-function. Oxford university press, 1986.
- [Win84] Steven Karl Winker. Quandles, knot invariants, and the n-fold branched cover. University of Illinois at Chicago, 1984.
- [Yam97] Ken Yamamura. Maximal unramified extensions of imaginary quadratic number fields of small conductors. Journal de théorie des nombres de Bordeaux, 9(2):405–448, 1997.