Related papers: Computationally proving triangulated 4-manifolds t…

We distinguish diffeomorphism types of relative trisections using a ``capping'' operation, which yields a trisection diagram of a closed 4-manifold from a relative trisection diagram. Using this operation, we give various examples of…

The possibility of a complex 4-dimensional space-time manifold is suggested. This may imply the existence of a matter wave.

We introduce the concept of pseudo-trisections of smooth oriented compact 4-manifolds with boundary. The main feature of pseudo-trisections is that they have lower complexity than relative trisections for given 4-manifolds. We prove…

A new topological invariant of closed connected orientable four-dimensional manifolds is proposed. The invariant, constructed via surgery on a special link, is a four-dimensional counterpart of the celebrated SU(2) three-manifold invariant…

This is a survey of known algorithms in algebraic topology with a focus on finite simplicial complexes and, in particular, simplicial manifolds. Wherever possible an elementary approach is chosen. This way the text may also serve as a…

In this paper, we show that a smooth 4-manifold diffeomorphic to a complex hypersurface in $\mathbb{CP}^3 $ of degree $d\geq 5$ can be decomposed as the union of $d(d-4)^2$ copies of 4-dimensional pair-of-pants and certain subsets of K3…

Tight triangulations are exotic, but highly regular objects in combinatorial topology. A triangulation is tight if all its piecewise linear embeddings into a Euclidean space are as convex as allowed by the topology of the underlying…

We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply…

We classify four-dimensional compact solvmanifolds up to diffeomorphism, while determining which of them have complex analytic structures. In particular, we shall see that a four-dimensional compact solvmanifold S can be written, up to…

There are many fundamental algorithmic problems on triangulated 3-manifolds whose complexities are unknown. Here we study the problem of finding a taut angle structure on a 3-manifold triangulation, whose existence has implications for both…

In this paper, a lot of examples of four-dimensional manifolds with an almost hypercomplex pseudo-Hermitian structure are constructed in several explicit ways. The received 4-manifolds are characterized by their linear invariants in the…

New algorithms are devised for finding the maxima of multidimensional point samples, one of the very first problems studied in computational geometry. The algorithms are very simple and easily coded and modified for practical needs. The…

An orientation preserving diffeomorphism over a surface embedded in a 4-manifold is called extendable, if this diffeomorphism is a restriction of an orientation preserving diffeomorphism on this 4-manifold. In this paper, we investigate…

Tightness is a generalisation of the notion of convexity: a space is tight if and only if it is "as convex as possible", given its topological constraints. For a simplicial complex, deciding tightness has a straightforward exponential time…

We review results of papers written on the topic of polynomial amoebas with an emphasis on computational aspects of the topic. The polynomial amoebas have a lot of applications in various domains of science. Computation of the amoeba for a…

We compute the dynamical degrees of certain compositions of reflections in points on a smooth cubic fourfold. Our interest in these computations stems from the irrationality problem for cubic fourfolds. Namely, we hope that they will…

We investigate proper biharmonic hypersurfaces with at most three distinct principal curvatures in space forms. We obtain the full classification of proper biharmonic hypersurfaces in 4-dimensional space forms.

We construct closed, aspherical, smooth 4-manifolds that are homeomorphic but not diffeomorphic. These provide counterexamples to a smooth analog of the Borel conjecture in dimension four. Our technique is to apply the `reflection group…

In this note explicit algorithms for calculating the exponentials of important structured 4 x 4 matrices are provided. These lead to closed form formulae for these exponentials. The techniques rely on one particular Clifford Algebra…

The analysis of manifold-valued data requires efficient tools from Riemannian geometry to cope with the computational complexity at stake. This complexity arises from the always-increasing dimension of the data, and the absence of…