Related papers: An algorithm to find vertical tori in small Seifer…

In [arXiv:1405.6274, Question 5.2 & Question 5.3] Aschenbrenner, Friedl and Wilton ask: (1) Is the equation problem solvable for the fundamental group of any $3$-manifold? and (2) Is the first-order theory of the fundamental group of any…

We give an algorithm to compute the integer cohomology groups of any real partial flag manifold, by computing the incidence coefficients of the Schubert cells. For even flag manifolds we determine the integer cohomology groups, by proving…

A covariant functor from the category of mapping tori to a category of AF-algebras is constructed; the functor takes continuous maps between such manifolds to stable homomorphisms between the corresponding AF-algebras. We use this functor…

Using recently developed Seifert fibering operators for 3D $\mathcal{N} = 2$ gauge theories, we formulate the necessary ingredients for a state-integral model of the topological quantum field theory dual to a given Seifert manifold under…

Fuzzy tori are finite dimensional C*-algebras endowed with an appropriate notion of noncommutative geometry inherited from an ergodic action of a finite closed subgroup of the torus, which are meant as finite dimensional approximations of…

We consider supersymmetric gauge theories on Riemannian three-manifolds with the topology of a three-sphere. The three-manifold is always equipped with an almost contact structure and an associated Reeb vector field. We show that the…

Vinberg's algorithm is the main method for finding fundamental domains for reflection groups acting on hyperbolic space. Experience shows that it can be slow. We explain why this should be expected, and prove this slowness in some cases.…

In this note, we compute the virtual first Betti numbers of 4-manifolds fibering over $S^1$ with prime fiber. As an application, we show that if such a manifold is symplectic with nonpositive Kodaira dimension, then the fiber itself is a…

Haken showed that the Heegaard splittings of reducible 3-manifolds are reducible, that is, a reducing 2-sphere can be found which intersects the Heegaard surface in a single simple closed curve. When the genus of the "interesting" surface…

We classify the $3$-manifolds obtained as the preimages of arcs on the plane for simplified $(2, 0)$-trisection maps, which we call vertical $3$-manifolds. Such a $3$-manifold is a connected sum of a $6$-tuple of vertical $3$-manifolds over…

We consider the natural problem of counting isotopy classes of essential surfaces in 3-manifolds, focusing on closed essential surfaces in a broad class of hyperbolic 3-manifolds. Our main result is that the count of (possibly disconnected)…

The second author and Hara introduced the notion of an essential tribranched surface that is a generalisation of the notion of an essential embedded surface in a 3-manifold. We show that any 3-manifold for which the fundamental group has at…

Special class of surfaces in five-dimensional sphere in $C^3$ is considered. Immersion equations for minimal tori of that class are shown to be reducible to the equation $u_{z\bar z}=e^u-e^{-2u}$ which is integrable by means of inverse…

We present some theorems and algorithms for calculating perpendicular categories and locally semi-simple decompositions. We implemented a computer program {\sc TETIVA} based on these algorithms and we offer this program for everybody's use.

This is the second of a series of two papers where we construct embedded Willmore tori with small area constraint in Riemannian three-manifolds. In both papers the construction relies on a Lyapunov-Schmidt reduction, the difficulty being…

Computing topological invariants of 3-manifolds is generally intractable, yet specialized algebraic structures can enable efficient algorithms. For Witten-Reshetikhin-Turaev (WRT) invariants of torus bundles, we exploit the non-commutative…

This paper concerns the problem of existence of taut foliations among 3-manifolds. Since the contribution of David Gabai, we know that closed 3-manifolds with non-trivial second homology group admit a taut foliations. The essential part of…

We prove that the fundamental group of any Seifert 3-manifold is conjugacy separable. That is, conjugates may be distinguished in finite quotients or, equivalently, conjugacy classes are closed in the pro-finite topology.

We investigate when the fundamental group of the smooth part of a K3 surface or Enriques surface with Du Val singularities, is finite. As a corollary we give an effective upper bound for the order of the fundamental group of the smooth part…

Our main problem is to find finite topological spaces to within homeomorphism, given (also to within homeomorphism) the quotient-spaces obtained by identifying one point of the space with each one of the other points. In a previous version…