Showing 1–25 of 25 results for author: Taniguchi, M

Cables of the figure-eight knot via real Frøyshov invariants

Authors: Sungkyung Kang, JungHwan Park, Masaki Taniguchi

Abstract: We prove that the $(2n,1)$-cable of the figure-eight knot is not smoothly slice when $n$ is odd, by using the real Seiberg-Witten Frøyshov invariant of Konno-Miyazawa-Taniguchi. For the computation, we develop an $O(2)$-equivariant version of the lattice homotopy type, originally introduced by Dai-Sasahira-Stoffregen. This enables us to compute the real Seiberg-Witten Floer homotopy type for a cer… ▽ More We prove that the $(2n,1)$-cable of the figure-eight knot is not smoothly slice when $n$ is odd, by using the real Seiberg-Witten Frøyshov invariant of Konno-Miyazawa-Taniguchi. For the computation, we develop an $O(2)$-equivariant version of the lattice homotopy type, originally introduced by Dai-Sasahira-Stoffregen. This enables us to compute the real Seiberg-Witten Floer homotopy type for a certain class of knots. Additionally, we present some computations of Miyazawa's real framed Seiberg-Witten invariant for 2-knots. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Comments: 31 pages, 1 figure

Report number: RIKEN-iTHEMS-Report-24 MSC Class: 57K10; 57K41

Kirby-Thompson invariants of distant sums of standard surfaces

Authors: Minami Taniguchi

Abstract: Blair, Campisi, Taylor, and Tomova defined the L-invariant L(F) of a knotted surface F, using pants complexes of trisection surfaces of bridge trisections of F. After that, Aranda, Pongtanapaisan, and Zhang introduced the L*-invariant L*(F) using dual curve complexes instead of pants complexes. In this paper, we determine both of L-invariant and L*-invariant of any finite distant sum of standard s… ▽ More Blair, Campisi, Taylor, and Tomova defined the L-invariant L(F) of a knotted surface F, using pants complexes of trisection surfaces of bridge trisections of F. After that, Aranda, Pongtanapaisan, and Zhang introduced the L*-invariant L*(F) using dual curve complexes instead of pants complexes. In this paper, we determine both of L-invariant and L*-invariant of any finite distant sum of standard surfaces, and this is the first example of knotted surfaces whose bridge numbers and these invariants can be arbitrary large. △ Less

Submitted 11 May, 2024; originally announced May 2024.

Comments: 18 pages, 19 figures

MSC Class: Primary 57K10; Secondary 57K20

Monopoles and transverse knots

Authors: Nobuo Iida, Masaki Taniguchi

Abstract: 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)$.… ▽ More 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_τ$ 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. △ Less

Submitted 12 April, 2024; v1 submitted 23 March, 2024; originally announced March 2024.

Comments: 58 pages, typo corrected

Report number: RIKEN-iTHEMS-Report-24

Involutions and the Chern-Simons filtration in instanton Floer homology

Authors: Antonio Alfieri, Irving Dai, Abhishek Mallick, Masaki Taniguchi

Abstract: Building on the work of Nozaki, Sato and Taniguchi, we develop an instanton-theoretic invariant aimed at studying strong corks and equivariant bounding. Our construction utilizes the Chern-Simons filtration and is qualitatively different from previous Floer-theoretic methods used to address these questions. As an application, we give an example of a cork whose boundary involution does not extend o… ▽ More Building on the work of Nozaki, Sato and Taniguchi, we develop an instanton-theoretic invariant aimed at studying strong corks and equivariant bounding. Our construction utilizes the Chern-Simons filtration and is qualitatively different from previous Floer-theoretic methods used to address these questions. As an application, we give an example of a cork whose boundary involution does not extend over any 4-manifold $X$ with $H_1(X, \mathbb{Z}_2) = 0$ and $b_2(X) \leq 1 $, and a strong cork which survives stabilization by either of $n\smash{\mathbb{CP}^2}$ or $n\smash{\overline{\mathbb{CP}}}^2$. We also prove that every nontrivial linear combination of $1/n$-surgeries on the strongly invertible knot $\smash{\overline{9}_{46}}$ constitutes a strong cork. Although Yang-Mills theory has been used to study corks via the Donaldson invariant, this is the first instance where the critical values of the Chern-Simons functional have been utilized to produce such examples. Finally, we discuss the geography question for nonorientable surfaces in the case of extremal normal Euler number. △ Less

Submitted 27 September, 2023; v1 submitted 5 September, 2023; originally announced September 2023.

Comments: 58 pages, 11 figures; added some minor results and references

Report number: RIKEN-iTHEMS-Report-23 MSC Class: 57R58

Exotic Dehn twists on 4-manifolds

Authors: Hokuto Konno, Abhishek Mallick, Masaki Taniguchi

Abstract: We initiate the study of exotic Dehn twists along 3-manifolds $\neq S^3$ inside $4$-manifolds, which produces the first known examples of exotic diffeomorphisms of contractible 4-manifolds, more generally of definite 4-manifolds, and exotic diffeomorphisms of 4-manifolds with $\neq S^3$ boundary that survive after one stabilization. We also construct the smallest closed 4-manifold known to support… ▽ More We initiate the study of exotic Dehn twists along 3-manifolds $\neq S^3$ inside $4$-manifolds, which produces the first known examples of exotic diffeomorphisms of contractible 4-manifolds, more generally of definite 4-manifolds, and exotic diffeomorphisms of 4-manifolds with $\neq S^3$ boundary that survive after one stabilization. We also construct the smallest closed 4-manifold known to support an exotic diffeomorphism. These exotic diffeomorphisms are the Dehn twists along certain Seifert fibered 3-manifolds. As a consequence, we get loops of diffeomorphisms of 3-manifolds that topologically extend to some 4-manifolds $X$ but not smoothly so, implying the non-surjectivity of $π_1(\mathrm{Diff}(X)) \to π_1(\mathrm{Homeo}(X))$. Our method uses $2$-parameter families Seiberg-Witten theory over $\mathbb{RP}^2$, while known methods to detect exotic diffeomorphisms used $1$-parameter families gauge-theoretic invariants. Using a similar strategy, we construct a new kind of exotic diffeomorphisms of 4-manifolds, given as commutators of diffeomorphisms. △ Less

Submitted 30 March, 2024; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: 29 pages, 1 figure. Minor improvements in some of the main theorems. We also thank the anonymous referee for an insightful report

Report number: RIKEN-iTHEMS-Report-23

From diffeomorphisms to exotic phenomena in small 4-manifolds

Authors: Hokuto Konno, Abhishek Mallick, Masaki Taniguchi

Abstract: We provide an approach to study exotic phenomena in relatively small 4-manifolds that captures many different exotic behaviors under one umbrella. These phenomena include exotic smooth structures on 4-manifolds with $b_2=1$, examples of strong corks, and exotic codimension-$1$ embeddings into $\mathbb{C} P^2 \# - \mathbb{C} P^2$ that survive external stabilization. We also give a new way to detect… ▽ More We provide an approach to study exotic phenomena in relatively small 4-manifolds that captures many different exotic behaviors under one umbrella. These phenomena include exotic smooth structures on 4-manifolds with $b_2=1$, examples of strong corks, and exotic codimension-$1$ embeddings into $\mathbb{C} P^2 \# - \mathbb{C} P^2$ that survive external stabilization. We also give a new way to detect a homeomorphism of a 4-manifold that is not topologically isotopic to any diffeomorphism and give lower bounds of relative genera of certain knots. Our primary tools are constraints on diffeomorphisms of 4-manifolds obtained from families Seiberg-Witten theory. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Comments: 50 pages, 16 figures

Report number: RIKEN-iTHEMS-Report-23

Involutions, links, and Floer cohomologies

Authors: Hokuto Konno, Jin Miyazawa, Masaki Taniguchi

Abstract: We develop a version of Seiberg--Witten Floer cohomology/homotopy type for a spin$^c$ 4-manifold with boundary and with an involution which reverses the spin$^c$ structure, as well as a version of Floer cohomology/homotopy type for oriented links with non-zero determinant. This framework generalizes the previous work of the authors regarding Floer homotopy type for spin 3-manifolds with involution… ▽ More We develop a version of Seiberg--Witten Floer cohomology/homotopy type for a spin$^c$ 4-manifold with boundary and with an involution which reverses the spin$^c$ structure, as well as a version of Floer cohomology/homotopy type for oriented links with non-zero determinant. This framework generalizes the previous work of the authors regarding Floer homotopy type for spin 3-manifolds with involutions and for knots. Based on this Floer cohomological setting, we prove Frøyshov-type inequalities which relate topological quantities of 4-manifolds with certain equivariant homology cobordism invariants. The inequalities and homology cobordism invariants have applications to the topology of unoriented surfaces, Nielsen realization problem for non-spin 4-manifolds, and non-smoothable unoriented surfaces in 4-manifolds. △ Less

Submitted 16 April, 2023; v1 submitted 3 April, 2023; originally announced April 2023.

Comments: 43 pages, Added Remark 1.19 to mention upcoming work by Arabadji and Baykur on the Nielsen realization problem for non-spin 4-manifolds. Fixed typo in Theorem 1.6

Report number: RIKEN-iTHEMS-Report-23

Exotic codimension-1 submanifolds in 4-manifolds and stabilizations

Authors: Hokuto Konno, Anubhav Mukherjee, Masaki Taniguchi

Abstract: In a small simply-connected closed 4-manifold, we construct infinitely many pairs of exotic codimension-$1$ submanifolds with diffeomorphic complements that remain exotic after any number of stabilizations by $ S^2 \times S^2$. We also give new constructions of exotic embeddings of 3-spheres in 4-manifolds with diffeomorphic complements. In a small simply-connected closed 4-manifold, we construct infinitely many pairs of exotic codimension-$1$ submanifolds with diffeomorphic complements that remain exotic after any number of stabilizations by $ S^2 \times S^2$. We also give new constructions of exotic embeddings of 3-spheres in 4-manifolds with diffeomorphic complements. △ Less

Submitted 29 November, 2022; v1 submitted 10 October, 2022; originally announced October 2022.

Comments: 10 pages, 1 figure, An error in one of main results (Theorem 1.4, corresponding to Theorem 1.3 of v1) was corrected by restricting a class of 3-manifolds in the statement. The authors are grateful to Inanc Baykur for pointing out the mistake in v1. We changed the introduction accordingly and added a few new questions and remarks

Report number: RIKEN-iTHEMS-Report-22

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.

Comments: 112 pages, 11 figures, 1 table

Report number: RIKEN-iTHEMS-Report-22 MSC Class: 57R58 57K18

A note on generalized Thurston--Bennequin inequalities

Authors: Nobuo Iida, Hokuto Konno, Masaki Taniguchi

Abstract: 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. 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. △ Less

Submitted 1 July, 2022; originally announced July 2022.

Comments: 7 pages

Report number: RIKEN-iTHEMS-Report-22

Diffeomorphisms of 4-manifolds with boundary and exotic embeddings

Authors: Nobuo Iida, Hokuto Konno, Anubhav Mukherjee, Masaki Taniguchi

Abstract: We define family versions of the invariant of 4-manifolds with contact boundary due to Kronheimer and Mrowka and using these to detect exotic diffeomorphisms of 4-manifolds with boundary. Further we develop some techniques that have been used to show the existence of exotic codimension-2 submanifolds and exotic codimension-1 submanifolds in 4-manifolds. We define family versions of the invariant of 4-manifolds with contact boundary due to Kronheimer and Mrowka and using these to detect exotic diffeomorphisms of 4-manifolds with boundary. Further we develop some techniques that have been used to show the existence of exotic codimension-2 submanifolds and exotic codimension-1 submanifolds in 4-manifolds. △ Less

Submitted 28 March, 2022; originally announced March 2022.

Comments: 45 pages, 2 figures

Report number: RIKEN-iTHEMS-Report-22

Involutions, knots, and Floer K-theory

Authors: Hokuto Konno, Jin Miyazawa, Masaki Taniguchi

Abstract: We establish a version of Seiberg--Witten Floer $K$-theory for knots, as well as a version of Seiberg-Witten Floer $K$-theory for 3-manifolds with involution. The main theorems are 10/8-type inequalities for knots and for involutions. The 10/8-inequality for knots yields numerous applications to knots, such as lower bounds on stabilizing numbers and relative genera. We also give obstructions to ex… ▽ More We establish a version of Seiberg--Witten Floer $K$-theory for knots, as well as a version of Seiberg-Witten Floer $K$-theory for 3-manifolds with involution. The main theorems are 10/8-type inequalities for knots and for involutions. The 10/8-inequality for knots yields numerous applications to knots, such as lower bounds on stabilizing numbers and relative genera. We also give obstructions to extending involutions on 3-manifolds to 4-manifolds, and detect non-smoothable involutions on 4-manifolds with boundary. △ Less

Submitted 23 December, 2021; v1 submitted 18 October, 2021; originally announced October 2021.

Comments: 69 pages, 1 figure, 5 tables. Many applications and calculations were added. Some properties of the kappa invariant were added

Report number: RIKEN-iTHEMS-Report-21

Sparse principal component analysis for high-dimensional stationary time series

Authors: Kou Fujimori, Yuichi Goto, Yan Liu, Masanobu Taniguchi

Abstract: We consider the sparse principal component analysis for high-dimensional stationary processes. The standard principal component analysis performs poorly when the dimension of the process is large. We establish the oracle inequalities for penalized principal component estimators for the processes including heavy-tailed time series. The rate of convergence of the estimators is established. We also e… ▽ More We consider the sparse principal component analysis for high-dimensional stationary processes. The standard principal component analysis performs poorly when the dimension of the process is large. We establish the oracle inequalities for penalized principal component estimators for the processes including heavy-tailed time series. The rate of convergence of the estimators is established. We also elucidate the theoretical rate for choosing the tuning parameter in penalized estimators. The performance of the sparse principal component analysis is demonstrated by numerical simulations. The utility of the sparse principal component analysis for time series data is exemplified by the application to average temperature data. △ Less

Submitted 16 September, 2021; v1 submitted 1 September, 2021; originally announced September 2021.

Comments: 29 pages, 5 figures

MSC Class: 62M10; 62F30

Positive scalar curvature and homology cobordism invariants

Authors: Hokuto Konno, Masaki Taniguchi

Abstract: We determine the local equivalence class of the Seiberg-Witten Floer stable homotopy type of a spin rational homology 3-sphere $Y$ embedded into a spin rational homology $S^{1} \times S^{3}$ with a positive scalar curvature metric so that $Y$ generates the third homology. The main tool of the proof is a relative Bauer-Furuta-type invariant on a periodic-end 4-manifold. As a consequence, we give ob… ▽ More We determine the local equivalence class of the Seiberg-Witten Floer stable homotopy type of a spin rational homology 3-sphere $Y$ embedded into a spin rational homology $S^{1} \times S^{3}$ with a positive scalar curvature metric so that $Y$ generates the third homology. The main tool of the proof is a relative Bauer-Furuta-type invariant on a periodic-end 4-manifold. As a consequence, we give obstructions to positive scalar curvature metrics on spin rational homology $S^{1} \times S^{3}$, typically described as the coincidence of various Frøyshov-type invariants. This coincidence also yields alternative proofs of two known obstructions by Jianfeng Lin and by the authors for the same class of 4-manifolds. △ Less

Submitted 25 May, 2021; v1 submitted 22 April, 2021; originally announced April 2021.

Comments: 35 pages. Section 7 has been added. Some minor changes were also made

Report number: RIKEN-iTHEMS-Report-21

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

Authors: Nobuo Iida, Anubhav Mukherjee, Masaki Taniguchi

Abstract: 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 kno… ▽ More 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,ξ_{std})$. We also show that any weakly symplectically fillable $3$-manifold bounds a $4$-manifold with at least two smooth structures. △ Less

Submitted 3 February, 2022; v1 submitted 3 February, 2021; originally announced February 2021.

Comments: 31 pages, 2 figures, the introduction is changed

Report number: RIKEN-iTHEMS-Report-21

Seiberg-Witten Floer homotopy contact invariant

Authors: Nobuo Iida, Masaki Taniguchi

Abstract: We introduce a Floer homotopy version of the contact invariant introduced by Kronheimer-Mrowka-Ozváth-Szabó. 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 equivar… ▽ More We introduce a Floer homotopy version of the contact invariant introduced by Kronheimer-Mrowka-Ozváth-Szabó. 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. △ Less

Submitted 3 July, 2021; v1 submitted 5 October, 2020; originally announced October 2020.

Comments: 53 pages, Theorem 1.5, 1.6, 1.7, 1.8, 1.9 are deleted, Theorem 1.5 and 1.6 have no new concrete examples, Theorem 1.7-1.9 contain some essential mistakes in the previous version

Report number: RIKEN-iTHEMS-Report-20

The groups of diffeomorphisms and homeomorphisms of 4-manifolds with boundary

Authors: Hokuto Konno, Masaki Taniguchi

Abstract: We give constraints on smooth families of 4-manifolds with boundary using Manolescu's Seiberg-Witten Floer stable homotopy type, provided that the fiberwise restrictions of the families to the boundaries are trivial families of 3-manifolds. As an application, we show that, for a simply-connected oriented compact smooth 4-manifold $X$ with boundary with an assumption on the Frøyshov invariant or th… ▽ More We give constraints on smooth families of 4-manifolds with boundary using Manolescu's Seiberg-Witten Floer stable homotopy type, provided that the fiberwise restrictions of the families to the boundaries are trivial families of 3-manifolds. As an application, we show that, for a simply-connected oriented compact smooth 4-manifold $X$ with boundary with an assumption on the Frøyshov invariant or the Manolescu invariants $α, β, γ$ of $\partial X$, the inclusion map $\mathrm{Diff}(X,\partial) \hookrightarrow \mathrm{Homeo}(X,\partial)$ between the groups of diffeomorphisms and homeomorphisms which fix the boundary pointwise is not a weak homotopy equivalence. This combined with a classical result in dimension 3 implies that the inclusion map $\mathrm{Diff}(X) \hookrightarrow \mathrm{Homeo}(X)$ is also not a weak homotopy equivalence under the same assumption on $\partial X$. Our constraints generalize both of constraints on smooth families of closed 4-manifolds proven by Baraglia and a Donaldson-type theorem for smooth 4-manifolds with boundary originally due to Frøyshov. △ Less

Submitted 3 February, 2021; v1 submitted 1 October, 2020; originally announced October 2020.

Comments: 46 pages Subsection 4.1 is added. Examples are added

Report number: RIKEN-iTHEMS-Report-20

Seifert hypersurfaces of 2-knots and Chern-Simons functional

Authors: Masaki Taniguchi

Abstract: For a given smooth $2$-knot in $S^4$, we relate the existence of a smooth Seifert hypersurface of a certain class to the existence of irreducible $ SU(2)$-representations of its knot group. For example, we see that any smooth $2$-knot having the Poincaré homology $3$-sphere as a Seifert hypersurface has at least four irreducible $SU(2)$-representations of its knot group. This result is false in th… ▽ More For a given smooth $2$-knot in $S^4$, we relate the existence of a smooth Seifert hypersurface of a certain class to the existence of irreducible $ SU(2)$-representations of its knot group. For example, we see that any smooth $2$-knot having the Poincaré homology $3$-sphere as a Seifert hypersurface has at least four irreducible $SU(2)$-representations of its knot group. This result is false in the topological category. The proof uses a quantitative formulation of instanton Floer homology. Using similar techniques, we also obtain similar results about codimension-$1$ embeddings of homology $3$-spheres into closed definite $4$-manifolds and a fixed point type theorem for instanton Floer homology. △ Less

Submitted 26 January, 2022; v1 submitted 5 October, 2019; originally announced October 2019.

Comments: 46 pages, v3, to appear in Quantum Topology

Report number: RIKEN-iTHEMS-Report-22

Filtered instanton Floer homology and the homology cobordism group

Authors: Yuta Nozaki, Kouki Sato, Masaki Taniguchi

Abstract: For any $s \in [-\infty, 0] $ and oriented homology 3-sphere $Y$, we introduce a homology cobordism invariant $r_s(Y)\in (0,\infty]$. The values $\{r_s(Y)\}$ are included in the critical values of the $SU(2)$-Chern-Simons functional of $Y$, and we show a negative definite cobordism inequality and a connected sum formula for $r_s$. As applications, we obtain several new results on the homology cobo… ▽ More For any $s \in [-\infty, 0] $ and oriented homology 3-sphere $Y$, we introduce a homology cobordism invariant $r_s(Y)\in (0,\infty]$. The values $\{r_s(Y)\}$ are included in the critical values of the $SU(2)$-Chern-Simons functional of $Y$, and we show a negative definite cobordism inequality and a connected sum formula for $r_s$. As applications, we obtain several new results on the homology cobordism group. First, we give infinitely many homology 3-spheres which cannot bound any definite 4-manifold. Next, we show that if the 1-surgery of $S^3$ along a knot has the Frøyshov invariant negative, then all positive $1/n$-surgeries along the knot are linearly independent in the homology cobordism group. In another direction, we use $\{r_s\}$ to define a filtration on the homology cobordism group which is parametrized by $[0,\infty]$. Moreover, we compute an approximate value of $r_s$ for the hyperbolic 3-manifold obtained by $1/2$-surgery along the mirror of the knot $5_2$. △ Less

Submitted 26 January, 2022; v1 submitted 10 May, 2019; originally announced May 2019.

Comments: 58 pages, 14 figures, to appear in J. Eur. Math. Soc

Report number: RIKEN-iTHEMS-Report-22

Positive scalar curvature and $10/8$-type inequalities on $4$-manifolds with periodic ends

Authors: Hokuto Konno, Masaki Taniguchi

Abstract: We show $ 10/8$-type inequalities for some end-periodic $4$-manifolds which have positive scalar curvature metrics on the ends. As an application, we construct a new family of closed $4$-manifolds which do not admit positive scalar curvature metrics. We show $ 10/8$-type inequalities for some end-periodic $4$-manifolds which have positive scalar curvature metrics on the ends. As an application, we construct a new family of closed $4$-manifolds which do not admit positive scalar curvature metrics. △ Less

Submitted 27 June, 2021; v1 submitted 3 September, 2018; originally announced September 2018.

Comments: 36 pages, 1 figure

Journal ref: Invent. math. (2020)

Rational homology 3-spheres and simply connected definite bounding

Authors: Kouki Sato, Masaki Taniguchi

Abstract: For each rational homology 3-sphere $Y$ which bounds simply connected definite 4-manifolds of both signs, we construct an infinite family of irreducible rational homology 3-spheres which are homology cobordant to $Y$ but cannot bound any simply connected definite 4-manifold. As a corollary, for any coprime integers $p,q$, we obtain an infinite family of irreducible rational homology 3-spheres whic… ▽ More For each rational homology 3-sphere $Y$ which bounds simply connected definite 4-manifolds of both signs, we construct an infinite family of irreducible rational homology 3-spheres which are homology cobordant to $Y$ but cannot bound any simply connected definite 4-manifold. As a corollary, for any coprime integers $p,q$, we obtain an infinite family of irreducible rational homology 3-spheres which are homology cobordant to the lens space $L(p,q)$ but cannot obtained by a knot surgery. △ Less

Submitted 28 August, 2018; originally announced August 2018.

Comments: 13 pages, 3 figures

MSC Class: 57M27 and 57M25

Journal ref: Algebr. Geom. Topol. 20 (2020) 865-882

Instantons for 4-manifolds with periodic ends and an obstruction to embeddings of 3-manifolds

Authors: Masaki Taniguchi

Abstract: We construct an obstruction for the existence of embeddings of homology $3$-sphere into homology $S^3\times S^1$ under some cohomological condition. The obstruction is defined as an element in the filtered version of the instanton Floer cohomology due to R.Fintushel-R.Stern. We make use of the $\mathbb{Z}$-fold covering space of homology $S^3\times S^1$ and the instantons on it. We construct an obstruction for the existence of embeddings of homology $3$-sphere into homology $S^3\times S^1$ under some cohomological condition. The obstruction is defined as an element in the filtered version of the instanton Floer cohomology due to R.Fintushel-R.Stern. We make use of the $\mathbb{Z}$-fold covering space of homology $S^3\times S^1$ and the instantons on it. △ Less

Submitted 16 December, 2017; v1 submitted 26 July, 2017; originally announced July 2017.

Comments: 34 pages

Journal ref: Topology and its Applications (2018) 243 pp. 1-32

Rational functions with nodes

Authors: Masayo Fujimura, Masahiko Taniguchi

Abstract: A natural kind of compactification of the virtual moduli spaces of rational functions of one complex variable is given. To describe the boundary points geometrically, the authors introduce the concept of rational functions with nodes, defined on partially crushed punctured Riemann spheres with nodes. A natural kind of compactification of the virtual moduli spaces of rational functions of one complex variable is given. To describe the boundary points geometrically, the authors introduce the concept of rational functions with nodes, defined on partially crushed punctured Riemann spheres with nodes. △ Less

Submitted 7 October, 2014; originally announced October 2014.

Comments: 17 pages

MSC Class: 30F60; 32G15; 37F30

Journal ref: Journal of Analysis, Special Volume dedicated to Professor Matti Vuorinen, (2015) 85-100

An empirical likelihood approach for symmetric $α$-stable processes

Authors: Fumiya Akashi, Yan Liu, Masanobu Taniguchi

Abstract: Empirical likelihood approach is one of non-parametric statistical methods, which is applied to the hypothesis testing or construction of confidence regions for pivotal unknown quantities. This method has been applied to the case of independent identically distributed random variables and second order stationary processes. In recent years, we observe heavy-tailed data in many fields. To model such… ▽ More Empirical likelihood approach is one of non-parametric statistical methods, which is applied to the hypothesis testing or construction of confidence regions for pivotal unknown quantities. This method has been applied to the case of independent identically distributed random variables and second order stationary processes. In recent years, we observe heavy-tailed data in many fields. To model such data suitably, we consider symmetric scalar and multivariate $α$-stable linear processes generated by infinite variance innovation sequence. We use a Whittle likelihood type estimating function in the empirical likelihood ratio function and derive the asymptotic distribution of the empirical likelihood ratio statistic for $α$-stable linear processes. With the empirical likelihood statistic approach, the theory of estimation and testing for second order stationary processes is nicely extended to heavy-tailed data analyses, not straightforward, and applicable to a lot of financial statistical analyses. △ Less

Submitted 18 September, 2015; v1 submitted 24 July, 2014; originally announced July 2014.

Comments: Published at http://dx.doi.org/10.3150/14-BEJ636 in the Bernoulli (http://isi.cbs.nl/bernoulli/) by the International Statistical Institute/Bernoulli Society (http://isi.cbs.nl/BS/bshome.htm)

Report number: IMS-BEJ-BEJ636

Journal ref: Bernoulli 2015, Vol. 21, No. 4, 2093-2119

Stratification and coordinate systems for the moduli space of rational functions

Authors: Masayo Fujimura, Masahiko Taniguchi

Abstract: In this note, we give a new simple system of global parameters on the moduli space of rational functions, and clarify the relation to the parameters indicating location of fixed points and the indices at them. As a byproduct, we solve a conjecture of Milnor affirmatively. In this note, we give a new simple system of global parameters on the moduli space of rational functions, and clarify the relation to the parameters indicating location of fixed points and the indices at them. As a byproduct, we solve a conjecture of Milnor affirmatively. △ Less

Submitted 2 August, 2009; originally announced August 2009.

Comments: 14 pages

Journal ref: Conform. Geom. Dyn. 14 (2010) 141--153