-
Rank three instantons, representations and sutures
Authors:
Aliakbar Daemi,
Nobuo Iida,
Christopher Scaduto
Abstract:
We show that the knot group of any knot in any integer homology sphere admits a non-abelian representation into $SU(3)$ such that meridians are mapped to matrices whose eigenvalues are the three distinct third roots of unity. This answers the $N=3$ case of a question posed by Xie and the first author. We also characterize when a $PU(3)$-bundle admits a flat connection. The key ingredient in the pr…
▽ More
We show that the knot group of any knot in any integer homology sphere admits a non-abelian representation into $SU(3)$ such that meridians are mapped to matrices whose eigenvalues are the three distinct third roots of unity. This answers the $N=3$ case of a question posed by Xie and the first author. We also characterize when a $PU(3)$-bundle admits a flat connection. The key ingredient in the proofs is a study of the ring structure of $U(3)$ instanton Floer homology of $S^1\times Σ_g$. In an earlier paper, Xie and the first author stated the so-called eigenvalue conjecture about this ring, and in this paper we partially resolve this conjecture. This allows us to establish a surface decomposition theorem for $U(3)$ instanton Floer homology of sutured manifolds, and then obtain the mentioned topological applications. Along the way, we prove a structure theorem for $U(3)$ Donaldson invariants, which is the counterpart of Kronheimer and Mrowka's structure theorem for $U(2)$ Donaldson invariants. We also prove a non-vanishing theorem for the $U(3)$ Donaldson invariants of symplectic manifolds.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
Metric stretching and the period map for smooth 4-manifolds
Authors:
Christopher Scaduto
Abstract:
The period map for a smooth closed 4-manifold assigns to a Riemannian metric the space of self-dual harmonic 2-forms. This map is from the space of metrics to the Grassmannian of maximal positive subspaces in the second cohomology, where positivity is defined by cup product. We show that the period map has dense image for every 4-manifold, and that it is surjective if $b^+=1$. Similar results hold…
▽ More
The period map for a smooth closed 4-manifold assigns to a Riemannian metric the space of self-dual harmonic 2-forms. This map is from the space of metrics to the Grassmannian of maximal positive subspaces in the second cohomology, where positivity is defined by cup product. We show that the period map has dense image for every 4-manifold, and that it is surjective if $b^+=1$. Similar results hold for manifolds of dimension a multiple of four. The proofs involve families of metrics constructed by stretching along various hypersurfaces.
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
Instantons, special cycles, and knot concordance
Authors:
Aliakbar Daemi,
Hayato Imori,
Kouki Sato,
Christopher Scaduto,
Masaki Taniguchi
Abstract:
We introduce a framework for defining concordance invariants of knots using equivariant singular instanton Floer theory with Chern-Simons filtration. It is demonstrated that many of the concordance invariants defined using instantons in recent years can be recovered from our framework. This relationship allows us to compute Kronheimer and Mrowka's $s^\sharp$-invariant and fractional ideal invarian…
▽ More
We introduce a framework for defining concordance invariants of knots using equivariant singular instanton Floer theory with Chern-Simons filtration. It is demonstrated that many of the concordance invariants defined using instantons in recent years can be recovered from our framework. This relationship allows us to compute Kronheimer and Mrowka's $s^\sharp$-invariant and fractional ideal invariants for two-bridge knots, and more. In particular, we prove a quasi-additivity property of $s^\sharp$, answering a question of Gong. We also introduce invariants that are formally similar to the Heegaard Floer $τ$-invariant of Oszváth and Szabó and the $\varepsilon$-invariant of Hom. We provide evidence for a precise relationship between these latter two invariants and the $s^\sharp$-invariant.
Some new topological applications that follow from our techniques are as follows. First, we produce a wide class of patterns whose induced satellite maps on the concordance group have the property that their images have infinite rank, giving a partial answer to a conjecture of Hedden and Pinzón-Caicedo. Second, we produce infinitely many two-bridge knots $K$ which are torsion in the algebraic concordance group and yet have the property that the set of positive $1/n$-surgeries on $K$ is a linearly independent set in the homology cobordism group. Finally, for a knot which is quasi-positive and not slice, we prove that any concordance from the knot admits an irreducible $SU(2)$-representation on the fundamental group of the concordance complement.
While much of the paper focuses on constructions using singular instanton theory with the traceless meridional holonomy condition, we also develop an analogous framework for concordance invariants in the case of arbitrary holonomy parameters, and some applications are given in this setting.
△ Less
Submitted 12 September, 2022;
originally announced September 2022.
-
Computing $ν$-invariants of Joyce's compact $G_2$-manifolds
Authors:
Christopher Scaduto
Abstract:
Crowley and Nordström introduced an invariant of $G_2$-structures on the tangent bundle of a closed 7-manifold, taking values in the integers modulo 48. Using the spectral description of this invariant due to Crowley, Goette and Nordström, we compute it for many of the closed torsion-free $G_2$-manifolds defined by Joyce's generalized Kummer construction.
Crowley and Nordström introduced an invariant of $G_2$-structures on the tangent bundle of a closed 7-manifold, taking values in the integers modulo 48. Using the spectral description of this invariant due to Crowley, Goette and Nordström, we compute it for many of the closed torsion-free $G_2$-manifolds defined by Joyce's generalized Kummer construction.
△ Less
Submitted 17 August, 2020;
originally announced August 2020.
-
Chern-Simons functional, singular instantons, and the four-dimensional clasp number
Authors:
Aliakbar Daemi,
Christopher Scaduto
Abstract:
Kronheimer and Mrowka asked whether the difference between the four-dimensional clasp number and the slice genus can be arbitrarily large. This question is answered affirmatively by studying a knot invariant derived from equivariant singular instanton theory, and which is closely related to the Chern--Simons functional. This also answers a conjecture of Livingston about slicing numbers. Also studi…
▽ More
Kronheimer and Mrowka asked whether the difference between the four-dimensional clasp number and the slice genus can be arbitrarily large. This question is answered affirmatively by studying a knot invariant derived from equivariant singular instanton theory, and which is closely related to the Chern--Simons functional. This also answers a conjecture of Livingston about slicing numbers. Also studied is the singular instanton Frøyshov invariant of a knot. If defined with integer coefficients, this gives a lower bound for the unoriented slice genus, and is computed for quasi-alternating and torus knots. In contrast, for certain other coefficient rings, the invariant is identified with a multiple of the knot signature. This result is used to address a conjecture by Poudel and Saveliev about traceless $SU(2)$ representations of torus knots. Further, for a concordance between knots with non-zero signature, it is shown that there is a traceless representation of the concordance complement which restricts to non-trivial representations of the knot groups. Finally, some evidence towards an extension of the slice-ribbon conjecture to torus knots is provided.
△ Less
Submitted 26 July, 2020;
originally announced July 2020.
-
Associative submanifolds and gradient cycles
Authors:
Simon Donaldson,
Christopher Scaduto
Abstract:
We discuss a model for associative submanifolds in $G_{2}$-manifolds with K3 fibrations, in the adiabatic limit. The model involves graphs in a 3-manifold whose edges are locally gradient flow lines. We show that this model produces analogues of known singularity formation phenomena for associative submanifolds.
We discuss a model for associative submanifolds in $G_{2}$-manifolds with K3 fibrations, in the adiabatic limit. The model involves graphs in a 3-manifold whose edges are locally gradient flow lines. We show that this model produces analogues of known singularity formation phenomena for associative submanifolds.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
Framed instanton homology of surgeries on L-space knots
Authors:
Tye Lidman,
Juanita Pinzon-Caicedo,
Christopher Scaduto
Abstract:
An important class of three-manifolds are L-spaces, which are rational homology spheres with the smallest possible Floer homology. For knots with an instanton L-space surgery, we compute the framed instanton Floer homology of all integral surgeries. As a consequence, if a knot has a Heegaard Floer and instanton Floer L-space surgery, then the theories agree for all integral surgeries. In order to…
▽ More
An important class of three-manifolds are L-spaces, which are rational homology spheres with the smallest possible Floer homology. For knots with an instanton L-space surgery, we compute the framed instanton Floer homology of all integral surgeries. As a consequence, if a knot has a Heegaard Floer and instanton Floer L-space surgery, then the theories agree for all integral surgeries. In order to prove the main result, we prove that the Baldwin-Sivek contact invariant in framed instanton Floer homology is homogeneous with respect to the absolute $\mathbb{Z}/2$-grading, but not the $\mathbb{Z}/4$-grading.
△ Less
Submitted 6 March, 2020;
originally announced March 2020.
-
Equivariant aspects of singular instanton Floer homology
Authors:
Aliakbar Daemi,
Christopher Scaduto
Abstract:
We associate several invariants to a knot in an integer homology 3-sphere using $SU(2)$ singular instanton gauge theory. There is a space of framed singular connections for such a knot, equipped with a circle action and an equivariant Chern-Simons functional, and our constructions are morally derived from the associated equivariant Morse chain complexes. In particular, we construct a triad of grou…
▽ More
We associate several invariants to a knot in an integer homology 3-sphere using $SU(2)$ singular instanton gauge theory. There is a space of framed singular connections for such a knot, equipped with a circle action and an equivariant Chern-Simons functional, and our constructions are morally derived from the associated equivariant Morse chain complexes. In particular, we construct a triad of groups analogous to the knot Floer homology package in Heegaard Floer homology, several Frøyshov-type invariants which are concordance invariants, and more. The behavior of our constructions under connected sums are determined. We recover most of Kronheimer and Mrowka's singular instanton homology constructions from our invariants. Finally, the ADHM description of the moduli space of instantons on the 4-sphere can be used to give a concrete characterization of the moduli spaces involved in the invariants of spherical knots, and we demonstrate this point in several examples.
△ Less
Submitted 26 July, 2020; v1 submitted 18 December, 2019;
originally announced December 2019.
-
Niemeier lattices, smooth 4-manifolds and instantons
Authors:
Christopher Scaduto
Abstract:
We show that the set of even positive definite lattices that arise from smooth, simply-connected 4-manifolds bounded by a fixed homology 3-sphere can depend on more than the ranks of the lattices. We provide two homology 3-spheres with distinct sets of such lattices, each containing a distinct nonempty subset of the rank 24 Niemeier lattices.
We show that the set of even positive definite lattices that arise from smooth, simply-connected 4-manifolds bounded by a fixed homology 3-sphere can depend on more than the ranks of the lattices. We provide two homology 3-spheres with distinct sets of such lattices, each containing a distinct nonempty subset of the rank 24 Niemeier lattices.
△ Less
Submitted 30 August, 2018;
originally announced August 2018.
-
On definite lattices bounded by integer surgeries along knots with slice genus at most 2
Authors:
Marco Golla,
Christopher Scaduto
Abstract:
We classify the positive definite intersection forms that arise from smooth 4-manifolds with torsion-free homology bounded by positive integer surgeries on the right-handed trefoil. A similar, slightly less complete classification is given for the (2,5)-torus knot, and analogous results are obtained for integer surgeries on knots of slice genus at most two. The proofs use input from Yang--Mills in…
▽ More
We classify the positive definite intersection forms that arise from smooth 4-manifolds with torsion-free homology bounded by positive integer surgeries on the right-handed trefoil. A similar, slightly less complete classification is given for the (2,5)-torus knot, and analogous results are obtained for integer surgeries on knots of slice genus at most two. The proofs use input from Yang--Mills instanton gauge theory and Heegaard Floer correction terms.
△ Less
Submitted 13 February, 2019; v1 submitted 31 July, 2018;
originally announced July 2018.
-
On definite lattices bounded by a homology 3-sphere and Yang-Mills instanton Floer theory
Authors:
Christopher Scaduto
Abstract:
Using instanton Floer theory, extending methods due to Froyshov, we determine the definite lattices that arise from smooth 4-manifolds bounded by certain homology 3-spheres. For example, we show that for +1 surgery on the (2,5) torus knot, the only non-diagonal lattices that can occur are E8 and the indecomposable unimodular definite lattice of rank 12, up to diagonal summands. We require that our…
▽ More
Using instanton Floer theory, extending methods due to Froyshov, we determine the definite lattices that arise from smooth 4-manifolds bounded by certain homology 3-spheres. For example, we show that for +1 surgery on the (2,5) torus knot, the only non-diagonal lattices that can occur are E8 and the indecomposable unimodular definite lattice of rank 12, up to diagonal summands. We require that our 4-manifolds have no 2-torsion in their homology.
△ Less
Submitted 30 August, 2018; v1 submitted 20 May, 2018;
originally announced May 2018.
-
An odd Khovanov homotopy type
Authors:
Sucharit Sarkar,
Christopher Scaduto,
Matthew Stoffregen
Abstract:
For each link L in S^3 and every quantum grading j, we construct a stable homotopy type X^j_o(L) whose cohomology recovers Ozsvath-Rasmussen-Szabo's odd Khovanov homology, H_i(X^j_o(L)) = Kh^{i,j}_o(L), following a construction of Lawson-Lipshitz-Sarkar of the even Khovanov stable homotopy type. Furthermore, the odd Khovanov homotopy type carries a Z/2 action whose fixed point set is a desuspensio…
▽ More
For each link L in S^3 and every quantum grading j, we construct a stable homotopy type X^j_o(L) whose cohomology recovers Ozsvath-Rasmussen-Szabo's odd Khovanov homology, H_i(X^j_o(L)) = Kh^{i,j}_o(L), following a construction of Lawson-Lipshitz-Sarkar of the even Khovanov stable homotopy type. Furthermore, the odd Khovanov homotopy type carries a Z/2 action whose fixed point set is a desuspension of the even Khovanov homotopy type. We also construct a Z/2 action on an even Khovanov homotopy type, with fixed point set a desuspension of X^j_o(L).
△ Less
Submitted 2 August, 2019; v1 submitted 19 January, 2018;
originally announced January 2018.
-
On Newstead's Mayer-Vietoris argument in characteristic 2
Authors:
Christopher Scaduto,
Matthew Stoffregen
Abstract:
Consider the moduli space of framed flat $U(2)$ connections with fixed odd determinant over a surface. Newstead combined some fundamental facts about this moduli space with the Mayer-Vietoris sequence to compute its betti numbers over any field not of characteristic two. We adapt his method in characteristic two to produce conjectural recursive formulae for the mod two betti numbers of the framed…
▽ More
Consider the moduli space of framed flat $U(2)$ connections with fixed odd determinant over a surface. Newstead combined some fundamental facts about this moduli space with the Mayer-Vietoris sequence to compute its betti numbers over any field not of characteristic two. We adapt his method in characteristic two to produce conjectural recursive formulae for the mod two betti numbers of the framed moduli space which we partially verify. We also discuss the interplay with the mod two cohomology ring structure of the unframed moduli space.
△ Less
Submitted 19 July, 2017;
originally announced July 2017.
-
The cohomology of rank two stable bundle moduli: mod two nilpotency & skew Schur polynomials
Authors:
Christopher Scaduto,
Matthew Stoffregen
Abstract:
We compute cup product pairings in the integral cohomology ring of the moduli space of rank two stable bundles with odd determinant over a Riemann surface using methods of Zagier. The resulting formula is related to a generating function for certain skew Schur polynomials. As an application, we compute the nilpotency degree of a distinguished degree two generator in the mod two cohomology ring. We…
▽ More
We compute cup product pairings in the integral cohomology ring of the moduli space of rank two stable bundles with odd determinant over a Riemann surface using methods of Zagier. The resulting formula is related to a generating function for certain skew Schur polynomials. As an application, we compute the nilpotency degree of a distinguished degree two generator in the mod two cohomology ring. We then give descriptions of the mod two cohomology rings in low genus, and describe the subrings invariant under the map** class group action.
△ Less
Submitted 19 July, 2017;
originally announced July 2017.
-
Nilpotency in instanton homology, and the framed instanton homology of a surface times a circle
Authors:
William Chen,
Christopher Scaduto
Abstract:
In the description of the instanton Floer homology of a surface times a circle due to Muñoz, we compute the nilpotency degree of the endomorphism $u^2-64$. We then compute the framed instanton homology of a surface times a circle with non-trivial bundle, which is closely related to the kernel of $u^2-64$. We discuss these results in the context of the moduli space of stable rank two holomorphic bu…
▽ More
In the description of the instanton Floer homology of a surface times a circle due to Muñoz, we compute the nilpotency degree of the endomorphism $u^2-64$. We then compute the framed instanton homology of a surface times a circle with non-trivial bundle, which is closely related to the kernel of $u^2-64$. We discuss these results in the context of the moduli space of stable rank two holomorphic bundles with fixed odd determinant over a Riemann surface.
△ Less
Submitted 27 December, 2016;
originally announced December 2016.
-
Two-fold quasi-alternating links, Khovanov homology and instanton homology
Authors:
Christopher Scaduto,
Matthew Stoffregen
Abstract:
We introduce a class of links strictly containing quasi-alternating links for which mod 2 reduced Khovanov homology is always thin. We compute the framed instanton homology for double branched covers of such links. Aligning certain dotted markings on a link with bundle data over the branched cover, we also provide many computations of framed instanton homology in the presence of a non-trivial real…
▽ More
We introduce a class of links strictly containing quasi-alternating links for which mod 2 reduced Khovanov homology is always thin. We compute the framed instanton homology for double branched covers of such links. Aligning certain dotted markings on a link with bundle data over the branched cover, we also provide many computations of framed instanton homology in the presence of a non-trivial real 3-plane bundle. We discuss evidence for a spectral sequence from the twisted Khovanov homology of a link with mod 2 coefficients to the framed instanton homology of the double branched cover. We also discuss the relevant mod 4 gradings.
△ Less
Submitted 17 May, 2016;
originally announced May 2016.
-
Klein-four connections and the Casson invariant for non-trivial admissible $U(2)$ bundles
Authors:
Christopher Scaduto,
Matthew Stoffregen
Abstract:
Given a rank 2 hermitian bundle over a 3-manifold that is non-trivial admissible in the sense of Floer, one defines its Casson invariant as half the signed count of its projectively flat connections, suitably perturbed. We show that the 2-divisibility of this integer invariant is controlled in part by a formula involving the mod 2 cohomology ring of the 3-manifold. This formula counts flat connect…
▽ More
Given a rank 2 hermitian bundle over a 3-manifold that is non-trivial admissible in the sense of Floer, one defines its Casson invariant as half the signed count of its projectively flat connections, suitably perturbed. We show that the 2-divisibility of this integer invariant is controlled in part by a formula involving the mod 2 cohomology ring of the 3-manifold. This formula counts flat connections on the induced adjoint bundle with Klein-four holonomy.
△ Less
Submitted 3 May, 2016;
originally announced May 2016.
-
Instantons and odd Khovanov homology
Authors:
Christopher W. Scaduto
Abstract:
We construct a spectral sequence from the reduced odd Khovanov homology of a link converging to the framed instanton homology of the double cover branched over the link, with orientation reversed. Framed instanton homology counts certain instantons on the cylinder of a 3-manifold connect-summed with a 3-torus. En route, we provide a new proof of Floer's surgery exact triangle for instanton homolog…
▽ More
We construct a spectral sequence from the reduced odd Khovanov homology of a link converging to the framed instanton homology of the double cover branched over the link, with orientation reversed. Framed instanton homology counts certain instantons on the cylinder of a 3-manifold connect-summed with a 3-torus. En route, we provide a new proof of Floer's surgery exact triangle for instanton homology using metric stretching maps, and generalize the exact triangle to a link surgeries spectral sequence. Finally, we relate framed instanton homology to Floer's instanton homology for admissible bundles.
△ Less
Submitted 24 March, 2015; v1 submitted 9 January, 2014;
originally announced January 2014.