Source author record

James Conant

James Conant appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

21works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2016arXiv

Addendum to "The Johnson cokernel and the Enomoto-Satoh invariant": The ES-trace detects all top-level partitions

The degree $d$ part of the cokernel $\mathsf C_d$ of the Johnson homomorphism decomposes into irreducible $\mathrm{SP}$-modules indexed by partitions of $d-2r$ for $r\geq 0$: $$\mathsf C_d\cong \mathsf C_d(d)\oplus \mathsf C_d(d-2)\oplus\cdots.$$ In this addendum we calculate $\mathsf{C}_d(d)$ precisely: it is isomorphic to the $\mathrm{GL}(V)$-decomposition of a space of coinvariants $(V^{\otimes d})_{D_{2d}}$, and the isomorphism is induced by Enomoto and Satoh's trace map. This establishes Conjecture 7.2 of the paper "The Johnson Cokernel and the Enomoto-Satoh invariant."

preprint2016arXiv

The Conway Polynomial and Amphicheiral Knots

According to work of Hartley and Kawauchi in 1979 and 1980, the Conway Polynomial of all negative amphicheiral knots and strongly positive amphicheiral knots factors as $ϕ(z)ϕ(-z)$ for some $ϕ(z)\in\mathbb Z[z]$. Moreover, a 2012 example due to Ermotti, Hongler and Weber shows that this is not true for general amphicheiral knots. On the other hand, in 2006 the first author made a conjecture equivalent to saying that the Conway polynomial of all amphicheiral knots splits as $ϕ(z)ϕ(-z)$ in the ring $\mathbb Z_4[z]$. In this paper, we establish this conjecture for all periodically amphicheiral knots built from braids, where the period preserves the braid structure. We also give counterexamples to conjectures on the leading coefficient of the Conway polynomial of an amphicheiral knot due to Stoimenow.

preprint2016arXiv

The Lie Lie algebra

We study the abelianization of Kontsevich's Lie algebra associated with the Lie operad and some related problems. Calculating the abelianization is a long-standing unsolved problem, which is important in at least two different contexts: constructing cohomology classes in $H^k(\mathrm{Out}(F_r);\mathbb Q)$ and related groups as well as studying the higher order Johnson homomorphism of surfaces with boundary. The abelianization carries a grading by "rank," with previous work of Morita and Conant-Kassabov-Vogtmann computing it up to rank $2$. This paper presents a partial computation of the rank $3$ part of the abelianization, finding lots of irreducible $\mathrm{SP}$-representations with multiplicities given by spaces of modular forms. Existing conjectures in the literature on the twisted homology of $\mathrm{SL}_3(\mathbb Z)$ imply that this gives a full account of the rank $3$ part of the abelianization in even degrees.

preprint2015arXiv

Milnor Invariants and Twisted Whitney Towers

This paper describes the relationship between the first non-vanishing Milnor invariants of a classical link and the intersection invariant of a twisted Whitney tower. This is a certain 2-complex in the 4-ball, built from immersed disks bounded by the given link in the 3-sphere together with finitely many `layers' of Whitney disks. The intersection invariant is a higher-order generalization of the intersection number between two immersed disks in the 4-ball, well known to give the linking number of the link on the boundary, which measures intersections among the Whitney disks and the disks bounding the given link, together with information that measures the twists (framing obstructions) of the Whitney disks. This interpretation of Milnor invariants as higher-order intersection invariants plays a key role in the classifications of both the framed and twisted Whitney tower filtrations on link concordance (as sketched in this paper). Here we show how to realize the higher-order Arf invariants, which also play a role in the classifications, and derive new geometric characterizations of links with vanishing Milnor invariants of length less than or equal to 2k.

preprint2012arXiv

Chirality and the Conway polynomial

In recent work with J.Mostovoy and T.Stanford,the author found that for every natural number n, a certain polynomial in the coefficients of the Conway polynomial is a primitive integer-valued degree n Vassiliev invariant, but that modulo 2, it becomes degree n-1. The conjecture then naturally suggests itself that these primitive invariants are congruent to integer-valued degree n-1 invariants. In this note, the consequences of this conjecture are explored. Under an additional assumption, it is shown that this conjecture implies that the Conway polynomial of an amphicheiral knot has the property that C(z)C(iz)C(z^2) is a perfect square inside the ring of power series with integer coefficients, or, equivalently, the image of C(z)C(iz)C(z^2) is a perfect square inside the ring of polynomials with Z_4 coefficients. In fact, it is probably the case that the Conway polynomial of an amphicheiral knot always can be written as f(z)f(-z) for some polynomial f(z) with integer coefficients, and this actually implies the above "perfect squares" conditions. Indeed, by work of Kawauchi and Hartley, this is known for all negative amphicheiral knots and for all strongly positive amphicheiral knots. In general it remains unsolved, and this paper can be seen as some evidence that it is indeed true in general. [Added 2/22/12: Of note is the recent paper arXiv:1106.5634v1 [math.GT] by Ermotti, Hongler and Weber, which finds a counterexample to the conjecture that all Conway polynomials of amphicheiral knots are of the form f(z)f(-z). Intriguingly, their main example still satisfies C(z)C(iz)C(z^2)=f(z)^2 for a power series f(z), making the main conjecture of the present paper that much more compelling, in the author's opinion.]

preprint2012arXiv

Geometric Filtrations of Classical Link Concordance

This paper describes grope and Whitney tower filtrations on the set of concordance classes of classical links in terms of class and order respectively. Using the tree-valued intersection theory of Whitney towers, the associated graded quotients are shown to be finitely generated abelian groups under a (surprisingly) well-defined connected sum operation. Twisted Whitney towers are also introduced, along with a corresponding quadratic enhancement of the intersection theory for framed Whitney towers that measures Whitney-disk framing obstructions. The obstruction theory in the framed setting is strengthened, and the relationships between the twisted and framed filtrations are described in terms of exact sequences which show how higher-order Sato-Levine and higher-order Arf invariants are obstructions to framing a twisted Whitney tower. The results from this paper combine with those in \cite{CST2,CST3,CST4} to give a classifications of the filtrations; see our survey \cite{CST0} as well as the end of the introduction. UPDATE: This paper has been completely subsumed into the paper "Whitney tower concordance of classical links" \cite{WTCCL}.

preprint2012arXiv

Geometric filtrations of string links and homology cylinders

We show that the Artin representation on concordance classes of string links induces a well-defined epimorphism modulo order n twisted Whitney tower concordance, and that the kernel of this map is generated by band sums of iterated Bing-doubles of any string knot with nonzero Arf invariant. We also continue J. Levine's work [20, 21, 22] comparing two filtrations of the group of homology cobordism classes of 3-dimensional homology cylinders, one defined in terms of an Artin-type representation (the Johnson filtration) and one defined using clasper surgery (the Goussarov-Habiro filtration). In particular, the associated graded groups are completely classified up to an unknown 2-torsion summand for the Goussarov-Habiro filtration, for which we obtain an upper bound, in a precisely analogous fashion to the classification of the Whitney tower filtration of link concordance.

preprint2012arXiv

Hairy graphs and the unstable homology of Mod(g,s), Out(F_n) and Aut(F_n)

We study a family of Lie algebras {hO} which are defined for cyclic operads O. Using his graph homology theory, Kontsevich identified the homology of two of these Lie algebras (corresponding to the Lie and associative operads) with the cohomology of outer automorphism groups of free groups and mapping class groups of punctured surfaces, respectively. In this paper we introduce a hairy graph homology theory for O. We show that the homology of hO embeds in hairy graph homology via a trace map which generalizes the trace map defined by S. Morita. For the Lie operad we use the trace map to find large new summands of the abelianization of hO which are related to classical modular forms for SL(2,Z). Using cusp forms we construct new cycles for the unstable homology of Out(F_n), and using Eisenstein series we find new cycles for Aut(F_n). For the associative operad we compute the first homology of the hairy graph complex by adapting an argument of Morita, Sakasai and Suzuki, who determined the complete abelianization of hO in the associative case.

preprint2012arXiv

Jacobi identities in low-dimensional topology

The Jacobi identity is the key relation in the definition of a Lie algebra. In the last decade, it also appeared at the heart of the theory of finite type invariants of knots, links and 3-manifolds (and is there called the IHX-relation). In addition, this relation was recently found to arise naturally in a theory of embedding obstructions for 2-spheres in 4-manifolds. We expose the underlying topological unity between the 3- and 4-dimensional IHX-relations, deriving from a picture of the Borromean rings embedded on the boundary of an unknotted genus three handlebody in 3-space. This is most naturally related to knot and 3-manifold invariants via the theory of grope cobordisms.

preprint2012arXiv

Universal Quadratic Forms and Untwisting Whitney Towers

The first part of this paper completes the classification of Whitney towers in the 4-ball that was started in three related papers. We provide an algebraic framework allowing the computations of the graded groups associated to geometric filtrations of classical link concordance by order n (twisted) Whitney towers in the 4-ball. Higher-order Sato-Levine invariants and higher-order Arf invariants are defined and shown to be the obstructions to framing a twisted Whitney tower. In the second part of this paper, a general theory of quadratic forms is developed and then specialized from the non-commutative to the commutative to finally, the symmetric settings. The intersection invariant for twisted Whitney towers is shown to be the universal symmetric refinement of the framed intersection invariant. UPDATE: The results of the first six sections of this paper have been subsumed into the paper "Whitney tower concordance of classical links."

preprint2012arXiv

Universal quadratic forms and Whitney tower intersection invariants

The first part of this paper exposits a simple geometric description of the Kirby-Siebenmann invariant of a 4--manifold in terms of a quadratic refinement of its intersection form. This is the first in a sequence of higher-order intersection invariants of Whitney towers studied by the authors, particularly for the 4--ball. In the second part of this paper, a general theory of quadratic forms is developed and then specialized from the non-commutative to the commutative to finally, the symmetric settings. The intersection invariant for twisted Whitney towers is shown to be the universal symmetric refinement of the framed intersection invariant. As a corollary we obtain a short exact sequence that has been essential in the understanding of Whitney towers in the 4--ball.

preprint2012arXiv

Whitney tower concordance of classical links

This paper computes Whitney tower filtrations of classical links. Whitney towers consist of iterated stages of Whitney disks and allow a tree-valued intersection theory, showing that the associated graded quotients of the filtration are finitely generated abelian groups. Twisted Whitney towers are studied and a new quadratic refinement of the intersection theory is introduced, measuring Whitney disk framing obstructions. It is shown that the filtrations are completely classified by Milnor invariants together with new higher-order Sato-Levine and higher-order Arf invariants, which are obstructions to framing a twisted Whitney tower in the 4-ball bounded by a link in the 3-sphere. Applications include computation of the grope filtration, and new geometric characterizations of Milnor's link invariants.

preprint2010arXiv

Boolean formulae, hypergraphs and combinatorial topology

With a view toward studying the homotopy type of spaces of Boolean formulae, we introduce a simplicial complex, called the theta complex, associated to any hypergraph, which is the Alexander dual of the more well-known independence complex. In particular, the set of satisfiable formulae in k-conjunctive normal form with less than or equal to n variables has the homotopy type of Theta(Cube(n,n-k)), where Cube(n,n-k) is a hypergraph associated to the (n-k)-skeleton of an n-cube. We make partial progress in calculating the homotopy type of theta for these cubical hypergraphs, and we also give calculations and examples for other hypergraphs as well. Indeed studying the theta complex of hypergraphs is an interesting problem in its own right.

preprint2010arXiv

Homotopy approximations to the space of knots, Feynman diagrams, and a conjecture of Scannell and Sinha

Scannell and Sinha considered a spectral sequence to calculate the rational homotopy groups of spaces of long knots in n-dimensional Euclidean space, for n greater than or equal to 4. At the end of their paper they conjecture that when n is odd, the terms on the antidiagonal on the second page precisely give the space of primitive Feynman diagrams related to the theory of Vassiliev invariants. In this paper we prove that conjecture. This has the application that the path components of the terms of the Taylor tower for the space of classical long knots are in one-to-one correspondence with quotients of the module of Feynman diagrams, even though the Taylor tower does not actually converge. This provides strong evidence that the stages of the Taylor tower give rise to universal Vassiliev knot invariants in each degree.

preprint2010arXiv

Tree homology and a conjecture of Levine

In his study of the group of homology cylinders, J. Levine made the conjecture that a certain homomorphism eta': T -> D' is an isomorphism. Here T is an abelian group on labeled oriented trees, and D' is the kernel of a bracketing map on a quasi-Lie algebra. Both T and D' have strong connections to a variety of topological settings, including the mapping class group, homology cylinders, finite type invariants, Whitney tower intersection theory, and the homology of the group of automorphisms of the free group. In this paper, we confirm Levine's conjecture. This is a central step in classifying the structure of links up to grope and Whitney tower concordance, as explained in other papers of this series. We also confirm and improve upon Levine's conjectured relation between two filtrations of the group of homology cylinders.

preprint2006arXiv

Ornate necklaces and the homology of the genus one mapping class group

According to seminal work of Kontsevich, the unstable homology of the mapping class group of a surface can be computed via the homology of a certain lie algebra. In a recent paper, S. Morita analyzed the abelianization of this lie algebra, thereby constructing a series of candidates for unstable classes in the homology of the mapping class group. In the current paper, we show that these cycles are all nontrivial, representing degree 4k+1 homology classes in the homology of the mapping class group of a genus one surface with 4k+1 punctures.

preprint2004arXiv

Cut vertices in commutative graphs

The homology of Kontsevich's commutative graph complex parameterizes finite type invariants of odd dimensional manifolds. This {\it graph homology} is also the twisted homology of Outer Space modulo its boundary, so gives a nice point of contact between geometric group theory and quantum topology. In this paper we give two different proofs (one algebraic, one geometric) that the commutative graph complex is quasi-isomorphic to the quotient complex obtained by modding out by graphs with cut vertices. This quotient complex has the advantage of being smaller and hence more practical for computations. In addition, it supports a Lie bialgebra structure coming from a bracket and cobracket we defined in a previous paper. As an application, we compute the rational homology groups of the commutative graph complex up to rank 7.

preprint2004arXiv

Gropes and the rational lift of the Kontsevich integral

In this note, we calculate the leading term of the rational lift of the Kontsevich integral, introduced by Garoufalidis and Kricker, on the boundary of an embedded grope of class 2n. We observe that it lies in the subspace spanned by connected diagrams of Euler degree 2n-2 which have a bead t-1 on a single edge. This places severe algebraic restrictions on the sort of knots that can bound gropes, and in particular implies the two main results of the author's thesis, at least over the rationals.

preprint2004arXiv

Morita classes in the homology of automorphism groups of free groups

Using Kontsevich's identification of the homology of the Lie algebra l_infty with the cohomology of Out(F_r), Morita defined a sequence of 4k-dimensional classes mu_k in the unstable rational homology of Out(F_{2k+2}). He showed by a computer calculation that the first of these is non-trivial, so coincides with the unique non-trivial rational homology class for Out(F_4). Using the "forested graph complex" introduced in [Algebr. Geom. Topol. 3 (2003) 1167--1224], we reinterpret and generalize Morita's cycles, obtaining an unstable cycle for every connected odd-valent graph. (Morita has independently found similar generalizations of these cycles.) The description of Morita's original cycles becomes quite simple in this interpretation, and we are able to show that the second Morita cycle also gives a nontrivial homology class. Finally, we view things from the point of view of a different chain complex, one which is associated to Bestvina and Feighn's bordification of outer space. We construct cycles which appear to be the same as the Morita cycles constructed in the first part of the paper. In this setting, a further generalization becomes apparent, giving cycles for objects more general than odd-valent graphs. Some of these cycles lie in the stable range. We also observe that these cycles lift to cycles for Aut(F_r).

preprint2003arXiv

On a theorem of Kontsevich

In two seminal papers M. Kontsevich introduced graph homology as a tool to compute the homology of three infinite dimensional Lie algebras, associated to the three operads `commutative,' `associative' and `Lie.' We generalize his theorem to all cyclic operads, in the process giving a more careful treatment of the construction than in Kontsevich's original papers. We also give a more explicit treatment of the isomorphisms of graph homologies with the homology of moduli space and Out(F_r) outlined by Kontsevich. In [`Infinitesimal operations on chain complexes of graphs', Mathematische Annalen, 327 (2003) 545-573] we defined a Lie bracket and cobracket on the commutative graph complex, which was extended in [James Conant, `Fusion and fission in graph complexes', Pac. J. 209 (2003), 219-230] to the case of all cyclic operads. These operations form a Lie bi-algebra on a natural subcomplex. We show that in the associative and Lie cases the subcomplex on which the bi-algebra structure exists carries all of the homology, and we explain why the subcomplex in the commutative case does not.

preprint2002arXiv

Grope Cobordism and Feynman Diagrams

We explain how the usual algebras of Feynman diagrams behave under the grope degree introduced in "Grope cobordism of classical knots." We show that the Kontsevich integral rationally classifies grope cobordisms of knots in 3-space when the ``class'' is used to organize gropes. This implies that the grope cobordism equivalence relations are highly nontrivial in dimension three. We also show that the class is not a useful organizing complexity in four dimensions since only the Arf invariant survives. In contrast, measuring gropes according to ``height'' does lead to very interesting four-dimensional information (Cochran-Orr-Teichner). Finally, several low degree calculations are explained, in particular we show that S-equivalence is the same relation as grope cobordism based on the smallest tree with an internal vertex.