Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

For a Seifert matrix $V$ of a knot $K$, the Alexander module has presentation matrix $V-tV^T$. The determinant of this matrix is the Alexander polynomial, which is the order of the Alexander module. In particular, the Alexander module is a torsion module, and has a linking form, called the Blanchfield pairing. The S-equivalence class of the Seifert matrix is an invariant of the knot, and uniquely characterizes the Blanchfield pairing. There is a bijective correspondence between S-equivalence classes of Seifert matrices and Blanchfield pairings.
Trotter gave examples of knots with the same Alexander polynomial but non-S-equivalent Seifert matrices. My question is what additional information we need to reconstruct the Blanchfield pairing (Seifert matrix up to S-equivalence) from the Alexander polynomial.

share|improve this question
add comment

2 Answers

The Blanchfield pairing has many formulations, I like to think of it as a sesquilinear form:

$$ A \otimes A \to \Lambda / \mathbb Z[t^\pm] $$

where $A$ is the Alexander module and $\Lambda$ is the field of fractions of $\mathbb Z[t^\pm]$. This pairing has to be a duality isomorphism, ie: the adjoint

$$ \overline{A} \to Hom_{\mathbb Z[t^\pm]} (A, \Lambda/\mathbb Z[t^\pm]) $$

is an isomorphism of $\mathbb Z[t^\pm]$-modules. $\overline{A}$ is $A$ but given the opposite action of $\mathbb Z[t^\pm]$ (you substitute $t \longmapsto t^{-1}$ before multiplication by a polynomial)

The Blanchfield pairing can be anything of that form. So you take the Alexander module, and soup it up with such an isomorphism between $\overline{A}$ and its ``Ext dual'' $Hom_{\mathbb Z[t^\pm]} (A, \Lambda/\mathbb Z[t^\pm]) $. That is the extra information in the S-equivalence class.

edit: the pairing has a nice geometric interpretation. $A$ is $H_1(\tilde C)$ where $\tilde C \to C$ is the universal abelian cover of the knot complement. Since $A$ is $\mathbb Z[t^\pm]$-torsion, given any $[x] \in A$ let $p$ be such that $px = \partial X$. Then you define the pairing $\langle x, y\rangle = (\sum_i (X \cap t^{i}y)t^i)/p$ provided $X$ and $y$ are transverse representatives when projected to $C$ (in any way that that makes sense). Here $\cap$ is the standard algebraic intersection number of transverse chains.

share|improve this answer
    
Is there a good reference for the statement in your last paragraph? –  Alison Miller Jun 12 '11 at 20:04
1  
There's a bunch. Hillman's "Algebraic invariants of links" is a good one. Usually the transversality is expressed by representing one of $X$ and $Y$ in simplicial and the dual polyhedral coordinates (like in Poincare's proof of Poincare duality). But the basic idea of representing Poincare duality torsion pairings like that goes back at least as far as Seifert and Threlfall's textbook. And it falls out of the mathematics of Poincare duality and the Universal Coefficient Theorem very naturally. –  Ryan Budney Jun 12 '11 at 20:46
    
Thanks! I have Hillman's book already; I'll read the section on the Blanchfield pairing more carefully. –  Alison Miller Jun 13 '11 at 2:37
add comment

Clearly the signature, and more generally the Tristram-Levine signatures, would be needed.

share|improve this answer
1  
I think it was Trotter that showed the T-L signatures (equivalently the Milnor signatures) determine the blanchfield pairing rationally. But integrally I doubt the answer is that clean. –  Ryan Budney Dec 30 '09 at 22:53
    
Can you give a reference for that? Integrally, I expect some sort of Minkowski units would be needed, but I don't know whether even that is enough. –  Daniel Moskovich Dec 31 '09 at 0:46
1  
Trotters's "On S-equivalence of Seifert Matrices" (1973) shows S-equivalence is the same as isometry of the Blanchfield pairing. In the same paper he composes the Blanchfield pairing with what's now called the "Trotter trace" to show that rationally Blanchfield pairing classification reduces to the classification of a skew-symmetric rational-valued bilinear form on the Alexander module. From here the reference is Milnor's "On Isometries of inner product spaces". Scanning through the paper I think you might need real coefficients for the classification. –  Ryan Budney Jan 1 '10 at 22:05
    
Why was this downvoted? –  Daniel Moskovich Apr 29 '11 at 12:27
    
I just noticed via the moderation tools that someone had flagged this as spam. Since we just had a disagreement about voting to close, I want to emphasize that I had nothing to do with this (it should go without saying, but I want to make sure there is no confusion). As to why someone (not me) downvoted it, my only guess is that it is considered a bit gauche to answer your own questions. –  Andy Putman Apr 29 '11 at 15:35
show 1 more comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.