Related papers: Computable, obstructed Morse homology for clean in…
A fundamental problem in computer vision is boundary estimation, where the goal is to delineate the boundary of objects in an image. In this paper, we propose a method which jointly incorporates geometric and topological information within…
Let $\Lambda$ be a closed, connected Legendrian submanifold of the 1-jet space of a smooth $n$-dimensional manifold. Associated to $\Lambda$ there is a Legendrian invariant called Legendrian contact homology, which is defined by counting…
Information transfer between triangle meshes is of great importance in computer graphics and geometry processing. To facilitate this process, a smooth and accurate map is typically required between the two meshes. While such maps can…
We study the structure of the smooth manifold which is defined as the intersection of a stable manifold and an unstable manifold for an invariant Morse-Smale function.
We give diagrammatic algorithms for computing the group trisection, homology groups, and intersection form of a closed, orientable, smooth 4-manifold, presented as a branched cover of a bridge-trisected surface in $\mathbb{S}^{4}$. The…
The detection and classification of intersections between triangles are crucial tasks in a wide range of applications within Computer Graphics and Geometry Processing, including mesh Arrangements, mesh Booleans, and generic mesh processing…
This paper describes a general algorithm for finding the commensurator of a non-arithmetic cusped hyperbolic manifold, and for deciding when two such manifolds are commensurable. The method is based on some elementary observations regarding…
Given a compact manifold with a non-empty boundary and equipped with a generic Morse function (that is, no critical point on the boundary and the restriction to the boundary is a Morse function), we already knew how to construct two Morse…
Floer theory was originally devised to estimate the number of 1-periodic orbits of Hamiltonian systems. In earlier works, we constructed Floer homology for homoclinic orbits on two dimensional manifolds using combinatorial techniques. In…
We use rewriting systems to spell out cup-products in the (twisted) cohomology groups of a product of surface groups. This allows us to detect a non-trivial obstruction bounding from below the effective topological complexity of an…
Motivated by problems arising in the complex analysis of perturbative quantum field theory, we investigate the homology of finite unions of certain non-degenerate quadratic affine hypersurfaces of complex dimension $n$ in general position.…
Hypergraph is a topological model for networks. In order to study the topology of hypergraphs, the homology of the associated simplicial complexes and the embedded homology have been invented. In this paper, we give some algorithms to…
We construct a smooth Deligne-Mumford compactification for the moduli space of curves with an m-tuple of spin structures using line bundles on quasi-stable curves as limiting objects, as opposed to line bundles on stacky curves. For all m,…
Alternating projections and their variants are classical tools for computing points in intersections of sets. Existing analyses for smooth manifolds mainly focus on local convergence rates under transversality or related regularity…
A multisection of a 4-manifold is a decomposition into 1-handlebodies intersecting pairwise along 3-dimensional handlebodies or along a central closed surface; this generalizes the Gay-Kirby trisections. We show how to compute the twisted…
We combine standard persistent homology with image persistent homology to define a novel way of characterizing shapes and interactions between them. In particular, we introduce: (1) a mixup barcode, which captures geometric-topological…
Intersection homology is defined for simplicial, singular and PL chains and it is well known that the three versions are isomorphic for a full filtered simplicial complex. In the literature, the isomorphism, between the singular and the…
In this paper, we develop the theory of constrained motion spaces of robotic arms. We compute their homology groups in two cases: when the constraint is a horizontal line and when it is a smooth curve whose motion space is a smooth…
The homology of Kontsevich's commutative graph complex parameterizes finite type invariants of odd dimensional manifolds. This {\it graph homology} is also the twisted homology of Outer Space modulo its boundary, so gives a nice point of…
We compute the rational homology of the moduli stack $\mathcal{M}$ of objects in the derived category of certain smooth complex projective varieties $X$ including toric varieties, flag varieties, curves, surfaces, and some 3- and 4-folds.…