SearcharxivSearch

arXiv subjects

Nobuo Iida

Publications and source records attributed to Nobuo Iida.

12 recordsLinked to original sources

The three-dimensional symplectization question for overtwisted contact structures

We consider closed connected oriented three-manifolds equipped with positive cooriented contact structures. We prove that a symplectomorphism between their symplectizations forces the existence of an orientation-preserving diffeomorphism between the underlying three-manifolds under which the two contact structures are homotopic as oriented plane fields. Combining this formal rigidity with the classification of overtwisted contact structures, we show that two closed overtwisted contact three-manifolds have symplectomorphic symplectizations if and only if they are contactomorphic. Thus, we resolve the three-dimensional symplectization question when both contact structures are overtwisted.

math.GT

Stein structures not determined by the contact boundary

We construct two Stein structures on the same compact smooth four-manifold whose boundary contact forms are strictly identified and whose first Chern classes agree, but whose exact symplectic forms are not symplectomorphic. Moreover, no diffeomorphism makes the associated Weinstein structures homotopic. The examples are obtained by removing a tubular neighborhood of a smooth bicanonical curve from a fake projective plane and comparing the induced Stein structure with its conjugate. Their canonical Spinc structures differ by a nonzero class of order two. After the boundary forms are normalized using a common Boothby-Wang connection form, a hypothetical symplectomorphism preserves the oriented circle fiber and extends over the divisor cap, contradicting canonical-class rigidity. For the Weinstein statement, the required fiber-preservation is obtained from a monopole Floer grading asymmetry, using the Nelson-Weiler computation and Taubes's ECH-Seiberg-Witten correspondence. This gives an affirmative solution to a normalized version of the relative filling problem following Problem 4.96 in the K3 problem list.

math.SG

The pretzel knot $P(4, -3, 5)$ is not squeezed

We prove that an infinite family of three-strand pretzel knots is not squeezed. In particular, we show that $P(4, -3, 5)$ is not squeezed. This answers a question posed by Lewark (2024). Our proof is obtained by comparing the Rasmussen invariant with the $q_M$-invariant introduced by Iida and Taniguchi.

math.GT

On the slice-torus invariant $q_M$ from $\mathbb{Z}_2$-equivariant Seiberg--Witten Floer cohomology

We show that Iida--Taniguchi's $\mathbb{Z}$-valued slice-torus invariant $q_M$ cannot be realized as a linear combination of Rasmussen's $s$-invariant, Ozsv\'ath--Szab\'o's $\tau$-invariant, all of the $\mathfrak{sl}_N$-concordance invariants ($N \geq 2$), Baldwin--Sivek's instanton $\tau$-invariant, Daemi--Imori--Sato--Scaduto--Taniguchi's instanton $\tilde{s}$-invariant and Sano--Sato's Rasmussen type invariants $\tilde{ss}_c$.

math.GT

Monopoles and transverse knots

We present a framework for studying transverse knots and symplectic surfaces utilizing the Seiberg-Witten monopole equation. Our primary approach involves investigating an equivariant Seiberg-Witten theory introduced by Baraglia-Hekmati on branched covers, incorporating invariant contact/symplectic structures. Within this framework, we introduce a novel slice-torus invariant denoted as $q_M(K)$. This invariant can be viewed as the Seiberg-Witten analog of Hendricks-Lipshitz-Sarker's $q_\tau$ invariant, with a signature correction term. One property of the invariant $q_M(K)$ is an adjunction equality for properly embedded connected symplectic surfaces in the symplectic filling $D^4\# m \overline{\mathbb{C}P}^2$. The proof of this equality utilizes the equivariant version of the homotopical contact invariant introduced by the authors, leading to a transverse knot invariant. Another ingredient of the proof involves constructing invariant symplectic structures on branched covering spaces branched along properly embedded symplectic surfaces in symplectic fillings. As an application of the invariant $q_M(K)$, we determine the value of any slice-torus invariant within a permissible deviation of $2$ for squeezed knots concordant to certain Montesinos knots. Additionally, we provide an obstruction to realizing second homology classes of $D^4 \#m \overline{\mathbb{C}P}^2$ as connected embedded symplectic surfaces with transverse knot boundary or connected embedded Lagrangian surfaces with collarable Legendrian knot boundary. Moreover, we introduce a new obstruction to certain Montesinos knots being quasipositive, which is described only in terms of slice genera and their signatures.

math.GT

Rank three instantons, representations and sutures

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 \Sigma_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.

math.GT

A note on generalized Thurston--Bennequin inequalities

We give a generalized Thurston--Bennequin-type inequality for links in $S^3$ using a Bauer--Furuta-type invariant for 4-manifolds with contact boundary. As a special case, we also give an adjunction inequality for smoothly embedded orientable surfaces with negative intersection in a closed oriented smooth 4-manifold whose non-equivariant Bauer--Furuta invariant is non-zero.

math.GT

Diffeomorphisms of 4-manifolds with boundary and exotic embeddings

We define family versions of the invariant of 4-manifolds with contact boundary due to Kronheimer and Mrowka and use these to detect exotic diffeomorphisms of 4-manifolds with boundary. Further, we show the existence of the first example of exotic 3-spheres in a smooth closed 4-manifold with diffeomorphic complements.

math.GT

An adjunction inequality for the Bauer-Furuta type invariants, with applications to sliceness and 4-manifold topology

Our main result gives an adjunction inequality for embedded surfaces in certain $4$-manifolds with contact boundary under a non-vanishing assumption on the Bauer--Furuta type invariants. Using this, we give infinitely many knots in $S^3$ that are not smoothly H-slice (that is, bounding a null-homologous disk) in many $4$-manifolds but they are topologically H-slice. In particular, we give such knots in the boundaries of the punctured elliptic surfaces $E(2n)$. In addition, we give obstructions to codimension-0 orientation-reversing embedding of weak symplectic fillings with $b_3=0$ into closed symplectic 4-manifolds with $b_1=0$ and $b_2^+\equiv 3$ mod $4$. From here we prove a Bennequin type inequality for symplectic caps of $(S^3,\xi_{std})$. We also show that any weakly symplectically fillable $3$-manifold bounds a $4$-manifold with at least two smooth structures.

math.GT

Seiberg-Witten Floer homotopy contact invariant

We introduce a Floer homotopy version of the contact invariant introduced by Kronheimer-Mrowka-Ozv\'ath-Szab\'o. Moreover, we prove a gluing formula relating our invariant with the first author's Bauer-Furuta type invariant, which refines Kronheimer-Mrowka's invariant for 4-manifolds with contact boundary. As an application, we give a constraint for a certain class of symplectic fillings using equivariant KO-cohomology.

math.GT