Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
Javascript must be enabled to continue!

When are Morse resolutions polyhedral?

View through CrossRef
It is known that the chain complex of a simplex on $r$ vertices can be used to construct a free resolution of any ideal generated by $r$ monomials, and as a direct result, the Betti numbers always have binomial upper bounds, given by the number of faces of a simplex in each dimension. It is also known that for most monomials the resolution provided by the simplex is far from minimal. Discrete Morse theory provides an algorithm by which faces of the simplex can be removed so that the chain complex on the remaining faces is still a free resolution of the same ideal. An immediate positive effect is an often considerable improvement on the bounds on Betti numbers. A caveat is the loss of the combinatorial structure of the simplex we started with: the output of the Morse matching process is a cell complex with no obvious structure besides an \say{address} for each cell. The main question in this paper is: which Morse matchings lead to Morse complexes that are polyhedral cell complexes? We prove that if a monomial ideal is minimally generated by up to four generators, then there is a maximal Morse matching of the simplex such that the resulting cell complex is a polyhedral cell complex. We then give an example of a monomial ideal minimally generated by six generators whose minimal free resolution is supported on a Morse complex and the Morse complex cannot be polyhedral no matter what Morse matching is chosen, and we go further to show that this ideal cannot have any polyhedral minimal free resolution.
Title: When are Morse resolutions polyhedral?
Description:
It is known that the chain complex of a simplex on $r$ vertices can be used to construct a free resolution of any ideal generated by $r$ monomials, and as a direct result, the Betti numbers always have binomial upper bounds, given by the number of faces of a simplex in each dimension.
It is also known that for most monomials the resolution provided by the simplex is far from minimal.
Discrete Morse theory provides an algorithm by which faces of the simplex can be removed so that the chain complex on the remaining faces is still a free resolution of the same ideal.
An immediate positive effect is an often considerable improvement on the bounds on Betti numbers.
A caveat is the loss of the combinatorial structure of the simplex we started with: the output of the Morse matching process is a cell complex with no obvious structure besides an \say{address} for each cell.
The main question in this paper is: which Morse matchings lead to Morse complexes that are polyhedral cell complexes? We prove that if a monomial ideal is minimally generated by up to four generators, then there is a maximal Morse matching of the simplex such that the resulting cell complex is a polyhedral cell complex.
We then give an example of a monomial ideal minimally generated by six generators whose minimal free resolution is supported on a Morse complex and the Morse complex cannot be polyhedral no matter what Morse matching is chosen, and we go further to show that this ideal cannot have any polyhedral minimal free resolution.

Related Results

Aplikasi Konversi Code Morse Berbasis Android
Aplikasi Konversi Code Morse Berbasis Android
Code Morse merupakan sebuah tulisan yang dibuat oleh manusia dalam bentuk simbol-simbol yang dapat dipecahkan dengan cara-cara tertentu. Code ini biasanya digunakan oleh anggota pr...
UN Resolutions as 'Hard-Law' in Armed Conflict
UN Resolutions as 'Hard-Law' in Armed Conflict
The sources of international law, as codified in Article 38 of the Statute of the International Court of Justice (ICJ) – international conventions; international custom; the genera...
Solving polyhedral d.c. optimization problems via concave minimization
Solving polyhedral d.c. optimization problems via concave minimization
AbstractThe problem of minimizing the difference of two convex functions is called polyhedral d.c. optimization problem if at least one of the two component functions is polyhedral...
Groupe fondamental de Morse stable
Groupe fondamental de Morse stable
Cette thèse propose de donner une présentation du groupe fondamental d'une variété exclusivement en à partir de la dynamique du gradient d'une fonction de Morse stable. En général,...
Topological characterizations of Morse-Smale flows on surfaces and generic non-Morse-Smale flows
Topological characterizations of Morse-Smale flows on surfaces and generic non-Morse-Smale flows
<p style='text-indent:20px;'>It is known that <inline-formula><tex-math id="M1">\begin{document}$ C^r $\end{document}</tex-math></inline-formula> Mors...
Morse complexes for shape segmentation and homological analysis: discrete models and algorithms
Morse complexes for shape segmentation and homological analysis: discrete models and algorithms
AbstractMorse theory offers a natural and mathematically‐sound tool for shape analysis and understanding. It allows studying the behavior of a scalar function defined on a manifold...
Image of the World on polyhedral maps and globes
Image of the World on polyhedral maps and globes
AbstractApplication of polyhedrons as image surface in cartographic projections has a tradition of more than 200 years. The first maps relying on polyhedrons appeared in the 19th c...
Pengembangan Sistem Deteksi Hand Gesture untuk Mempermudah Menghafal Sandi Morse dengan Metode KNN
Pengembangan Sistem Deteksi Hand Gesture untuk Mempermudah Menghafal Sandi Morse dengan Metode KNN
Sandi morse adalah teknik komunikasi unik yang masih digunakan dalam berbagai konteks, seperti komunikasi darurat dan amatir radio. Pengendali frekuensi radio di Indonesia sering m...

Back to Top