Related papers: Certifying a compact topological 4-manifold

This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we…

We prove that a set of finite perimeter is indecomposable if and only if it is, up to a choice of suitable representative, connected in the 1-fine topology. This gives a topological characterization of indecomposability which is new even in…

We introduce a representation via (n+1)-colored graphs of compact n-manifolds with (possibly empty) boundary, which appears to be very convenient for computer aided study and tabulation. Our construction is ageneralization to arbitrary…

For a closed 4-manifold X and closed 3-manifold M we investigate the smallest integer n (perhaps infinity) such that M embeds in the connected sum of n copies of X. It is proven that any lens space (or homology lens space) embeds…

We extend Deligne's original argument showing that locally coherent topoi have enough points, clarified using collage diagrams. We show that our refinement of Deligne's technique can be adapted to recover every existing result of this kind,…

It is shown how solutions to the Tzitz\'eica equation can be used to construct a family of (pseudo) hyper-complex metrics in four dimensions.

Perron and Quinn gave independent proofs in 1986 that every topological pseudo-isotopy of a simply-connected, compact topological 4-manifold is isotopic to the identity. Another result of Quinn is that every smooth pseudo-isotopy of a…

The goal of this paper is to study the geometry of cusped complex hyperbolic manifolds through their compactifications. We characterize toroidal compactifications with non-nef canonical divisor. We derive effective very ampleness results…

In the paper \cite{wall_1}, C.T.C. Wall proved that two smooth closed simply connected 4-manifolds which are homeomorphic are in fact stably diffeomorphic. We prove a similar result which states that two smooth closed 4-manifolds satisfying…

Compact pseudo-Riemannian manifolds that have parallel Weyl tensor without being conformally flat or locally symmetric are known to exist in infinitely many dimensions greater than 4. We prove some general topological properties of such…

For Hamiltonian circle actions on compact, connected, four-dimensional manifolds, we give a generators and relations description for the even part of the equivariant cohomology, as an algebra over the equivariant cohomology of a point. This…

We show that extended graph 4-manifolds with positive Euler characteristic cannot support a complex structure. This result stems from a new proof of the fact that a closed real-hyperbolic 4-manifold cannot support a complex structure.…

We construct explicit maximal symplectic packings of minimal rational and ruled symplectic 4-manifolds by few balls in a very simple way.

We prove that 1) There exist infinitely many non-trivial codimension one "thick" knots in $\mathbb{R}^5$; 2) For each closed four-dimensional smooth manifold $M$ and for each sufficiently small positive $\epsilon$ the set of isometry…

This expository note, written for the proceedings of ICCM 2023, presents recent work [arXiv:2004.13894]. We particularly prove an Carleman estimate on conic manifolds, using a multiple-weight Carleman argument.

For a complete noncompact connected Riemannian manifold with bounded geometry, we prove a compactness result for sequences of finite perimeter sets with uniformly bounded volume and perimeter in a larger space obtained by adding limit…

We prove the long-standing Montesinos conjecture that any closed oriented PL 4-manifold M is a simple covering of S^4 branched over a locally flat surface (cf [J M Montesinos, 4-manifolds, 3-fold covering spaces and ribbons, Trans. Amer.…

We prove that for any weakly convergent sequence of finite graphs with bounded vertex degrees, there exists a topological limit graphing.

We introduce a new stable range invariant for the classification of closed, oriented topological $4$-manifolds (up to $s$-cobordism), after stabilization by connected sum with a uniformly bounded number of copies of $S^2\times S^2$.

We discuss closed symplectic 4-manifolds which admit full symplectic packings by $N$ equal balls for large $N$'s. We give a homological criterion for recognizing such manifolds. As a corollary we prove that ${\Bbb C}P^2$ can be fully packed…