Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2014
    • (edited Aug 28th 2014)

    What is an Artin L-function, conceptually? It must be something really obvious:

    The Frobenius homomorphism is to be thought of as a element of the fundamental group and its action via a Galois representation as a holonomy/monodromy around that element.

    Hence Artin L-functions are simply (products of) characteristic polynomials of monodromies.

    Googling “monodromy characteristic polynomial ” yields… the Alexander polynomial.

    Check out this sentence from the introduction of Stallings 87, it is about knots but reads just like the definition of the Artin L-function:

    For a fiber surface TT, the translation of the fibre around the base-space circle determines an element in the mapping-class group of TT, a homeomorphism h:TTh\colon T \to T well defined up to isotopy; this element is called the holonomy of the fiber surface; the Alexander polynomial is the characteristic polynomial of the map the holonomy induces on H 1(T)H_1(T).

    This relation/analogy must be know, however Google doesn’t give further hints.

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 28th 2014

    Does this relate to the ’MKR dictionary’ between 3-dimensional topology and number theory? Item (10) on p. 6 of this relates the Alexander polynomial to some character polynomial in pp.

    • CommentRowNumber3.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 28th 2014

    Mazur’s note Remarks on the Alexander Polynomial might be worth reading too.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2014

    Thank you, David, these are really useful links for that general idea of relating knots to primes. I have added pointers to these to the entry Alexander polynomial.

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 28th 2014

    I think the place to go is section 7, ’Alexander-Fox, torsion theory and Iwasawa theory’ of Masanori Morishita, Analogies between knots and primes, 3-manifolds and number fields.

    We have a warning at Iwasawa-Tate theory that this dffers from but is related to Iwasawa theory. So I’ll start a stub for the latter: Iwasawa theory. It seems a main conjecture there involves p-adic L-functions.

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 28th 2014

    Re #1, if the Artin L-function is a product over primes, I wonder how close the analogy is. From what I’ve seen Alexander-Fox and Iwasawa sound like they’re working with generic primes.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeAug 28th 2014
    • (edited Aug 28th 2014)

    I am in a deadline problem so I can not get into your references, but as my student MS explained me few times, the holonomy and the polynomial geometrically come about from the study of the Seifert surface of the knot. Tim will know details. See also Fox derivative where I explained the connection of the Alexander polynomial to the Jacobian..

    • CommentRowNumber8.
    • CommentAuthorzskoda
    • CommentTimeAug 28th 2014

    Another MO question: prime-numbers-as-knots-alexander-polynomial. Minhyong Kim says “I would have given a substantial answer to this question if I were not so lazy.”, maybe he should be asked…

    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeAug 28th 2014
    • (edited Aug 28th 2014)

    The analogies between Alexander polynomial and L-functions and touched upon geometrically in

    • Ken-ichi Sugiyama, The properties of an L-function from a geometric point of view, 2007 pdf; A topological L\mathrm{L} -function for a threefold, 2004 pdf; An analog of the Iwasawa conjecture for a compact hyperbolic threefold, J. Reine Angew. Math., 613 (2007), pp. 35–50, math.GT/0606010

    The same author has other relevant references

    • Ken-ichi Sugiyama, The Taylor expansion of Ruelle L-function at the origin and the Borel regulator, arxiv/0804.2715
    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeAug 28th 2014

    It seems in this context, people talk of Iwasawa polynomial instead and the definition is completely analogous (by the way is there a case or an analogue of an Alexander quandle there as well?).

    • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 28th 2014

    If we can find someone knowledgeable enough, that should be linked with the stub which needs to be expanded for Iwasawa theory.

    • CommentRowNumber12.
    • CommentAuthorzskoda
    • CommentTimeAug 28th 2014
    • (edited Aug 28th 2014)

    Alexander quandle and polynomial are defined from finite rank modules over the integral Laurent polynomial ring [t,t 1]\mathbb{Z}[t,t^{-1}]. For Iwasawa polynomial one uses torsion modules over ring of the formal power series p[[t]]\mathbb{Z}_p[[t]] in one variable over p\mathbb{Z}_p, cf. Wikipedia, Iwasawa_algebra and our Fox derivative, toward the end. In both cases one looks at the generator of the characteristic ideal. I started Iwasawa algebra just to record a reference.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2014

    David,

    re #6, the primes: if the analogy with the Selberg zeta here is anything to go by, then the product is supposed to be over generators of the fundamental group. For suitable arithmetic schemes the Frobenius morphisms at the primes provide just that. So this seems to make good sense to me, at this rough level.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2014

    Zoran,

    re#9, the references: thanks, that’s excellent! Just what I would have hoped for. Will try to look at these references a little later today. Thanks again.

    • CommentRowNumber15.
    • CommentAuthorTim_Porter
    • CommentTimeAug 28th 2014

    Don’t forget the link between the Jacobian (Alexander matrix) and the ‘abelianised’ form of the crossed complex / chains on the universal cover as that may be what is giving the link to the geometric topology (knot theory).

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2014
    • (edited Aug 28th 2014)

    The first four pages of

    • Ken-ichi Sugiyama, A topological L\mathrm{L} -function for a threefold, 2004 pdf;

    (which Zoran had kindly mentiond in #9) nicely present the analogy.

    I notice (just for the record, since this relates to previous discussion) that by this analogy – if one were to extent it in qq to q1q \to 1 – would not say that Spec()Spec(\mathbb{Z}) is (real-) 3-dimensional and containing knots, but would say instead that Spec()Spec(\mathbb{Z}) is analogous to a (real-) 2-dimensional Seifert surface of a knot.

    For interpreting what’s going on it seems crucial that the actual Seifert surfaces of course have boundary – the given knot, after all –, which is a rather drastic generalization of the “function field analogy”-story, compared at least what we have discussed so far (and what is usually discussed, unless I am missing something).

    Right now I am quite unsure how to best think about what this analogy is supposed to be telling me.

    • CommentRowNumber17.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 28th 2014

    There were variations on the MKR dictionary proposed, e.g., one by Reznikov in Embedded incompressible surfaces and homology of ramified coverings of three-manifolds, Selecta Math. 6(2000) 1–39 where a number field is associated with what he calls a 3123\frac{1}{2}-manifold, that is a closed three-manifold MM, bounding a four-manifold NN, such that the map of fundamental groups π 1(M)π 1(N)\pi_1(M) \to \pi_1(N) is surjective.

    • CommentRowNumber18.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 29th 2014

    Urs

    Re #13, yes, but my point was that the Alexander polynomial is not a product.

    I think I’m pointing to the difference between local zeta function and global zeta function. Wikipedia says the former is also known as ’congruent’, and global ones are products of these, e.g. at Hasse–Weil zeta function.

    Sugiyama in remark 3.3 recasts the Alexander polynomial as a certain congruent zeta function, that’s local.

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeAug 29th 2014

    David,

    okay, right. And thanks for all the further pointers.

    I am beginning to lag behind now with reading. If you haven’t already, could you add a pointer to that remark 3.3 to the entry? I’ll get back to it then as soon as a find the time. This all looks very good.

    • CommentRowNumber20.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 29th 2014

    Okay, began, but quickly ran out of time.