In this paper we show that periodic Takahashi 3-manifolds are cyclic coverings of the connected sum of two lens spaces (possibly cyclic coverings of the 3-sphere), branched over knots. When the base space is a 3-sphere, we prove that the associated branching set is a two-bridge knot of genus one, and we determine its type. Moreover, a geometric cyclic presentation for the fundamental groups of these manifolds is obtained in several interesting cases, including the ones corresponding to the branched cyclic coverings of the 3-sphere.
We introduce a family of closed 3-dimensional manifolds, which are a generalization of certain manifolds studied by M. Takahashi. The manifolds are represented by Dehn surgery with rational coefficients on the 3-sphere, along an n-periodic 2n-component link. A presentation of their fundamental group is obtained, and covering properties of these manifolds are studied. In particular, this family of manifolds includes the whole class of cyclic branched coverings of two-bridge knots. As a consequence we obtain a simple explicit surgery presentation for this important class of manifolds.
A p-periodic 3-manifold is a 3-manifold that admits a Z_{p}-action whose fixed point set is a circle. We give a congruence relates the quantum invariant of a p-periodic 3-manifold associated to any modular category over an integrally closed ground ring and the corresponding quantum invariant of its orbit space.
Let $p$ be an odd prime and $G$ the finite cyclic group of order $p$. We use the Casson-Walker-Lescop invariant to find a necessary condition for a three-manifold to have an action of $G$ with a circle as the set of fixed points.
By studying the Seiberg-Witten equations on end-periodic manifolds, we give an obstruction on the existence of positive scalar curvature metric on compact $4$-manifolds with the same homology as $S^{1}\times S^{3}$. This obstruction is given in terms of the relation between the Frøyshov invariant of the generator of $H_{3}(X;Z)$ with the $4$-dimensional Casson invariant $λ_{SW}(X)$ defined by Mrowka-Ruberman-Saveliev. Along the way, we develop a framework that can be useful in further study of the Seiberg-Witten theory on general end-periodic manifolds.
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.
The possibilities for new or unusual kinds of topological, locally linear periodic maps of non-prime order on closed, simply connected 4-manifolds with positive definite intersection pairings are explored. On the one hand, certain permutation representations on homology are ruled out under appropriate hypotheses. On the other hand, an interesting homologically nontrivial, pseudofree, action of the cyclic group of order 25 on a connected sum of ten copies of the complex projective plane is constructed.
On the isotopies of tangles in periodic 3-manifolds using finite covers
Hiroshima University（广岛大学）；International Institute for Sustainability with Knotted Chiral Meta Matter (WPI-SKCM 2 ), Hiroshima University（广岛大学扭链手性超物质可持续国际研究所（WPI-SKCM 2））；RIKEN, interdisciplinary Theoretical and Mathematical Sciences Program（理化学研究所跨学科理论与数学科学项目）；Advanced Institute for Materials Research (WPI-AIMR), Tohoku University（东北大学先进材料研究所（WPI-AIMR））；Georgia Institute of Technology（佐治亚理工学院）
Let $G$ be a finite group acting on a connected compact surface $Σ$, and $M$ be an integer homology 3-sphere. We show that if each element of $G$ is extendable over $M$ with respect to a fixed embedding $Σ\rightarrow M$, then $G$ is extendable over some $M'$ which is 1-dominated by $M$. From this result, in the orientable category we classify all periodic automorphisms of closed surfaces that are extendable over the 3-sphere. The corresponding embedded surface of such an automorphism can always be a Heegaard surface.
A 3-manifold $M$ is said to be $p$-periodic ($p\geq 2$ an integer) if and only if the finite cyclic group of order $p$ acts on $M$ with a circle as the set of fixed points. This paper provides a criterion for periodicity of rational homology three-spheres. Namely, we give a necessary condition for a rational homology three-sphere to be periodic with a prime period. This condition is given in terms of the quantum SU(3) invariant. We also discuss similar results for the Murakami-Ohtsuki-Okada invariant.
We give criteria for framed links and 3-manifolds to be periodic of prime order. As applications we show that the Poincare sphere is of periodicity 2, 3, 5 only and the Brieskorn sphere (2,3,7) is of periodicity 2, 3, 7 only.
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.
This paper studies Dirac operators on end-periodic spin manifolds of dimension at least 4. We provide a sufficient condition for such an operator to be Fredholm for a generic end-periodic metric; this condition is shown to be necessary in dimension 4. We make use of end-periodic Dirac operators to give an analytical interpretation of an invariant of non-orientable smooth 4-manifolds due to Cappell and Shaneson. From this interpretation we show that some exotic non-orientable 4-manifolds do not admit a metric of positive scalar curvature.
We show how the periodicity of a homology sphere is reflected in the Reshetikhin-Turaev-Witten invariants of the manifold. These yield a criterion for the periodicity of a homology sphere.
We show that a closed orientable 3-manifold M admits an action of Z_p with fixed point set S^1 iff M can be obtained as the result of surgery on a p-periodic framed link L and Z_p acts freely on the components of L. We prove a similar theorem for free Z_p-actions. As an interesting application, we prove the following, rather unexpected result: for any M as above and for any odd prime p, H_1(M, Z_p)\ne Z_p. We also prove a similar criterion of 2-periodicity for rational homology 3-spheres.
We deduce an index jump formula for first order elliptic complexes over end-periodic manifolds, which generalizes the corresponding result for the DeRham complex. In the case of the anti-self-dual DeRham complex, we define the periodic rho invariant for a class of $4$-manifolds, and identify it with the periodic spectral flow of this complex. As an application, we prove the equivalence (under a mild homological assumption) of two signatures invariants defined by means of Yang-Mills theory and geometric topology respectively for essentially embedded tori in homology $S^1 \times S^3$. We also pr…
For a closed oriented 3-manifold $Y$ we define $n(Y)$ to be the minimal non-negative number such that in each homotopy class of non-singular vector fields of $Y$ there is a Morse-Smale vector field with less or equal to $n(Y)$ periodic orbits. We combine the construction process of Morse-Smale flows given in [2] with handle decompositions of compact orientable surfaces to provide an upper bound to the number $n(Y)$ for oriented Seifert manifolds and oriented graph manifolds prime to $\stwo\times\sone$.
This paper initiated an investigation on the following question: Suppose a smooth 4-manifold does not admit any smooth circle actions. Does there exist a constant $C>0$ such that the manifold support no smooth $\Z_p$-actions of prime order for $p>C$? We gave affirmative results to this question for the case of holomorphic and symplectic actions, with an interesting finding that the constant $C$ in the holomorphic case is topological in nature while in the symplectic case it involves also the smooth structure of the manifold.
We address the problem of counting periodic orbits of vector fields on smooth closed manifolds. The space of non-constant periodic orbits is enlarged to a complete space by adding the ghost orbits, which are decorations of the zeros of vector fields. Associated with any compact and open subset $Γ$ of the moduli space of periodic and ghost orbits, we define an integer weight. When the vector field moves along a path, and $Γ$ deforms in a compact and open family, we show that the weight function stays constant. We also give a number of examples and computations, which illustrate the applications…
In this article we analyze totally periodic pseudo-Anosov flows in graph three manifolds. This means that in each Seifert fibered piece of the torus decomposition, the free homotopy class of regular fibers has a finite power which is also a finite power of the free homotopy class of a closed orbit of the flow. We show that each such flow is topologically equivalent to one of the model pseudo-Anosov flows which we constructed in a previous article. A model pseudo-Anosov flow is obtained by glueing standard neighborhoods of Birkhoff annuli and perhaps doing Dehn surgery on certain orbits. We als…
We study the de Rham complex on a smooth manifold with a periodic end modeled on an infinite cyclic cover X' \to X. The completion of this complex in exponentially weighted L^2-norms is Fredholm for all but finitely many exceptional weights determined by the eigenvalues of the covering translation map H_*(X') \to H_*(X'). We calculate the index of this weighted de Rham complex for all weights away from the exceptional ones.
Let p be an odd prime and r be relatively prime to p. Let G be a finite p-group. Suppose an oriented 3-manifold M-tilde has a free G-action with orbit space M. We consider certain Witten-Reshetikhin-Turaev SU(2) invariants w_r(M). We will give a fomula for w_r(M) in terms of the defect of M-tilde --> M and the number of elements in G. We also give a version of this result if M and M-tilde contain framed links or colored fat graphs. We give similar formulas for non-free actions which hold for a specified finite set of values for r.
We show that the periodic $η$-invariants introduced by Mrowka--Ruberman--Saveliev~\cite{MRS3} provide obstructions to the existence of cobordisms with positive scalar curvature metrics between manifolds of dimensions $4$ and $6$. The proof combines a relative version of the Schoen--Yau minimal surface technique with an end-periodic index theorem for the Dirac operator. As a result, we show that the bordism groups $Ω^{spin,+}_{n+1}(S^1 \times BG)$ are infinite for any non-trivial group $G$ which is the fundamental group of a spin spherical space form of dimension $n=3$ or $5$.
Given a three-manifold with b_1=1 and a nontorsion spin^c structure, we use finite dimensional approximation to construct from the Seiberg-Witten equations two invariants in the form of a periodic pro-spectra. Various functors applied to these invariants give different flavors of Seiberg-Witten Floer homology. We also construct stable homotopy versions of the relative Seiberg-Witten invariants for certain four-manifolds with boundary.
We prove that every non-positively curved locally symmetric manifold M of finite volume contains a compact set K such that no periodic maximal flat can be homotoped out of K.
We investigate periodic diffeomorphisms of non-compact aspherical manifolds (and orbifolds) and describe a class of spaces that have no homotopically trivial periodic diffeomorphisms. Prominent examples are moduli spaces of curves and aspherical locally symmetric spaces with non-vanishing Euler characteristic. In the irreducible locally symmetric case, we show that no complete metric has more symmetry than the locally symmetric metric. In the moduli space case, we build on work of Farb and Weinberger and prove an analogue of Royden's theorem for complete finite volume metrics.
Let K \subset Y be a knot in a three manifold which admits a longitude-framed surgery such that the surgered manifold has first Betti number greater than that of Y. We find a formula which computes the twisted Floer homology of the surgered manifold, in terms of twisted knot Floer homology. Using this, we compute the twisted Heegaard Floer homology \underline{HF}^+ of the mapping torus of a diffeomorphism of a closed Riemann surface whose mapping class is periodic, giving an almost complete description of the structure of these groups. When the mapping class is nontrivial, we find in particula…
Periodic geodesics on the modular surface correspond to periodic orbits of the geodesic flow in its unit tangent bundle $\mathrm{PSL}_2(\mathbb{Z})\backslash\mathrm{PSL}_2(\mathbb{R})$. The complement of any finite number of orbits is a hyperbolic $3$-manifold, which thus has a well-defined volume. We present strong numerical evidence that, in the case of the set of geodesics corresponding to the ideal class group of a real quadratic field, the volume has linear asymptotics in terms of the total length of the geodesics. This is not the case for general sets of geodesics
