Related papers: Discrete Stratified Morse Theory: Algorithms and A…
In this paper, we mainly build up the theory of sheaf-correspondence filtered spaces and stratified de Rham complexes for studying singular spaces. We prove the finiteness of a stratified de Rham cohomology and obtain its isomorphism to…
Connection matrices are a generalization of Morse boundary operators from the classical Morse theory for gradient vector fields. Developing an efficient computational framework for connection matrices is particularly important in the…
We construct Morse-Smale-Witten complex for an effective orientable orbifold. For a global quotient orbifold, we also construct a Morse-Bott complex. We show that certain type of critical points of a Morse function has to be discarded to…
We introduce a novel combinatorial method to study $Q^{**}$-transformations of group presentations or, equivalently, 3-deformations of CW-complexes of dimension 2. Our procedure is based on a refinement of discrete Morse theory that gives a…
The Stratified Foundations are a restriction of naive set theory where the comprehension scheme is restricted to stratifiable propositions. It is known that this theory is consistent and that proofs strongly normalize in this theory.…
We present a simple direct discretization for functionals used in the variational mesh generation and adaptation. Meshing functionals are discretized on simplicial meshes and the Jacobian matrix of the continuous coordinate transformation…
We describe and study geometric properties of discrete circular and spherical means of directional derivatives of functions, as well as discrete approximations of higher order differential operators. For an arbitrary dimension we present a…
We introduce a notion of discrete topological complexity in the setting of simplicial complexes, using only the combinatorial structure of the complex by means of the concept of contiguous simplicial maps. We study the links of this new…
We describe locally the representation varieties of fundamental groups for smooth complex varieties at representations coming from the monodromy of a variation of mixed Hodge structure. Given such a manifold $X$ and such a linear…
We construct Morse homology groups associated with any regular function on a smooth complex algebraic variety, allowing singular and non-compact critical loci. These groups are generated by critical points of a certain large pertubation of…
We find an explicit combinatorial gradient vector field on the well known complex S (Salvetti complex) which models the complement to an arrangement of complexified hyperplanes. The argument uses a total ordering on the facets of the…
The Dowker theorem is a classical result in the topology of finite spaces, claiming that any binary relation between two finite spaces defines two homotopy-equivalent complexes (the Dowker complexes). Recently, Barmak strengthened this to a…
Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of topological properties of smooth manifolds. Round fold maps were introduced as stable fold…
We study the problem of computing the homology of the configuration spaces of a finite cell complex $X$. We proceed by viewing $X$, together with its subdivisions, as a subdivisional space--a kind of diagram object in a category of cell…
We study the presence of abelian discrete symmetries in globally consistent orientifold compactifications based on rational conformal field theory. We extend previous work [1] by allowing the discrete symmetries to be a linear combination…
In this paper, we define a relative Morse complex for manifold with boundary using the handlebody decomposition of the manifold. We prove that the homology of the relative Morse complex is isomorphic to the relative singular homology.…
Fix a d-minimal expansion of an ordered field. We consider the space $\mathcal D^p(M)$ of definable $\mathcal C^p$ functions defined on a definable $\mathcal C^p$ submanifold $M$ equipped with definable $\mathcal C^p$ topology. The set of…
We provide a novel framework to compute a discrete vector potential of a given discrete vector field on arbitrary polyhedral meshes. The framework exploits the concept of acyclic matching, a combinatorial tool at the core of discrete Morse…
Implementing an idea due to John Baez and James Dolan we define new invariants of Whitney stratified manifolds by considering the homotopy theory of smooth transversal maps. To each Whitney stratified manifold we assign transversal homotopy…
We show how to construct homology bases for certain CW complexes in terms of discrete Morse theory and cellular homology. We apply this technique to study certain subcomplexes of the half cube polytope studied in previous works. This…