In [1] we introduced the notion of 'structured space', i.e. a space which locally resembles various algebraic structures. In [2] and [3] we studied some cohomology theories related to these space. In this paper we continue in this direction: while in [2] we mainly focused on cohomologies arising from $f_s$ and $h$, and in [3] we considered cohomologies for generalisations of objects which involved structured spaces, here we deal with (co)homologies coming from the poset associated to a structured space via an equivalence relation defined at the end of Section 4 in [1]. More precisely, we will show that various (co)homologies for posets can also be applied (under some assumptions) to structured spaces.
We study homology groups of posets with functor coefficients and apply our results to give a novel approach to study Khovanov homology of knots and related homology theories.
The aim of this short note is to develop a (co)homology theory for topological spaces together with the specialisation preorder. A known way to construct such a (co)homology is to define a partial order on the topological space starting from the preorder, and then to consider some (co)homology for the obtained poset; however, we will prove that every topological space with the above preorder consists of two disjoint parts (one called 'poset part', and the other one called 'complementary part', which is not a poset in general): this suggests an improvement of the previous method that also takes…
We define a poset of partitions associated to an operad. We prove that the operad is Koszul if and only if the poset is Cohen-Macaulay. In one hand, this characterisation allows us to compute the homology of the poset. This homology is given by the Koszul dual operad. On the other hand, we get new methods for proving that an operad is Koszul.
We consider partitions of a set with $r$ elements ordered by refinement. We consider the simplicial complex $\bar{K}(r)$ formed by chains of partitions which starts at the smallest element and ends at the largest element of the partition poset. A classical theorem asserts that $\bar{K}(r)$ is equivalent to a wedge of $r-1$-dimensional spheres. In addition, the poset of partitions is equipped with a natural action of the symmetric group in $r$ letters. Consequently, the associated homology modules are representations of the symmetric groups. One observes that the $r-1$th homology modules of $\b…
The decorated hypercube found in the construction of Khovanov homology for links is an example of a Boolean lattice equipped with a presheaf of modules. One can place this in a wider setting as an example of a coloured poset, that is to say a poset with a unique maximal element equipped with a presheaf of modules. In this paper we initiate the study of a bundle theory for coloured posets, producing for a certain class of base posets a Leray-Serre type spectral sequence. We then show how this theory finds application in Khovanov homology by producing a new spectral sequence converging to the Kh…
We describe some open problems related to homology representations of subposets of the partition lattice, beginning with questions first raised in Stanley's work on group actions on posets.
The set of hypertrees on $n$ vertices can be endowed with a poset structure. J. McCammond and J. Meier computed the dimension of the unique non zero homology group of the hypertree poset. We give another proof of their result and use the theory of species to determine the action of the symmetric group on this homology group, which is linked with the anti-cyclic structure of the $\operatorname{Prelie}$ operad. We also compute the action on the Whitney homology of the poset. ----- L'ensemble des hyperarbres à $n$ sommets peut être muni d'un ordre partiel. J. McCammond et J. Meier ont calculé la …
Hepworth, Willerton, Leinster and Shulman introduced the magnitude homology groups for enriched categories, in particular, for metric spaces. The purpose of this paper is to describe the magnitude homology group of a metric space in terms of order complexes of posets. In a metric space, an interval (the set of points between two chosen points) has a natural poset structure, which is called the interval poset. Under additional assumptions on sizes of $4$-cuts, we show that the magnitude chain complex can be constructed using tensor products, direct sums and degree shifts from order complexes of…
We investigate the (co)homological properties of two classes of Lie algebras that are constructed from any finite poset: the solvable class $\frak{gl}^\preceq$ and the nilpotent class $\frak{gl}^\prec$. We confirm the conjecture of Jollenbeck that says: every prime power $p^r\!\leq\!n\!-\!2$ appears as torsion in $H_\ast(\frak{nil}_n;\mathbb{Z})$, and every prime power $p^r\!\leq\!n\!-\!1$ appears as torsion in $H_\ast(\frak{sol}_n;\mathbb{Z})$. If $\preceq$ is a bounded poset, then the (co)homology of $\frak{gl}^\preceq$ is \emph{torsion-convex}, i.e. if it contains $p$-torsion, then it also …
We introduce and study additive posets. We show that the top homology group (with coefficients in Z/2Z) of a finite dimensional CW-complex carries a structure of an additive poset invariant under subdivisions. Applications to CW-complexes and graphs are discussed.
Decomposing zero-dimensional persistent homology over rooted tree quivers
Indian Institute of Technology Delhi（印度理工学院德里分校）；Bishop’s University（主教大学；舍布鲁克大学）；Université de Sherbrooke（数学研究中心与数学科学研究所；蒙特利尔魁北克大学组合与数学信息学实验室；舍布鲁克大学）；Centre de Recherches Mathématiques et Institut des sciences mathématiques；Laboratoire de combinatoire et d’informatique mathématique de l’Université du Québec à Montréal；Université de Sherbrooke
We define semi-pointed partition posets, which are a generalisation of partition posets and show that they are Cohen-Macaulay. We then use multichains to compute the dimension and the character for the action of the symmetric groups on their homology. We finally study the associated incidence Hopf algebra, which is similar to the Fa{à} di Bruno Hopf algebra.
The homological information about a filtered simplicial complex over the poset of positive real numbers is often presented by a barcode which depicts the evolution of the associated Betti numbers. However, there is a wonderfully complex combinatorics associated with the homology classes of a filtered complex, and one can do more than just counting them over the index poset. Here, we show that this combinatorial information can be encoded by filtered matroids, or even better, by rooted forests. We also show that these rooted forests can be realized as cobordisms.
We classify flag complexes on at most 12 vertices with torsion in the first homology group. The result is moderately computer-aided. As a consequence we confirm a folklore conjecture that the smallest poset whose order complex is homotopy equivalent to the real projective plane (and also the smallest poset with torsion in the first homology group) has exactly 13 elements.
We extend the existing idea of "cellular poset", introduce a collection of "cellular methods" for the computation of homology of intersection lattice of a complicated subspace arrangement, and for the computation of multiplicative structure induced by intersection. As an application, we give a presentation of cohomology ring of orbit configuration space of standard action by cellular methods and a spectral sequence associated with Grothendieck fibration of poset.
We propose some conditions on a poset that produce a small chain complex for its homology. This allows to compare simplicial complexes and Quillen's complexes under the same prism. It turns out they differ in the existence or not of free faces in an acyclic complex.
We extend the construction of moment-angle complexes to simplicial posets by associating a certain T^m-space Z_S to an arbitrary simplicial poset S on m vertices. Face rings Z[S] of simplicial posets generalise those of simplicial complexes, and give rise to new classes of Gorenstein and Cohen--Macaulay rings. Our primary motivation is to study the face rings Z[S] by topological methods. The space Z_S has many important topological properties of the original moment-angle complex Z_K associated to a simplicial complex K. In particular, we prove that the integral cohomology algebra of Z_S is iso…
Let $P$ be a finite poset. We will show that for any reasonable $P$-persistent object $X$ in the category of finite topological spaces, there is a $P-$ weighted graph, whose clique complex has the same $P$-persistent homology as $X$.
We introduce a version of discrete Morse theory for posets. This theory studies the topology of the order complexes K(X) of h-regular posets X from the critical points of admissible matchings on X. Our approach is related to R. Forman's discrete Morse theory for CW-complexes and generalizes Forman and Chari's results on the face posets of regular CW-complexes. We also introduce a homological variant of the theory that can be used to study the topology of triangulable homology manifolds by means of their order triangulations.
Let $X$ be 2n-dimensional compact manifold with a locally standard action of a compact torus. The orbit space $X/T$ is a manifold with corners. Suppose that all proper faces of $X/T$ are acyclic. In the paper we study the homological spectral sequence $E^*_{*,*}\Rightarrow H_*(X)$ corresponding to the filtration of $X$ by orbit types. When the free part of the action is not twisted, we describe the whole spectral sequence in terms of homology and combinatorial structure of $X/T$. In this case we describe the kernel and the cokernel of the natural map $k[X/T]/(l.s.o.p.) \to H_*(X)$, where $k[X/…
We show that hypernetworks can be regarded as posets which, in their turn, have a natural interpretation as simplicial complexes and, as such, are endowed with an intrinsic notion of curvature, namely the Forman Ricci curvature, that strongly correlates with the Euler characteristic of the simplicial complex. This approach, inspired by the work of E. Bloch, allows us to canonically associate a simplicial complex structure to a hypernetwork, directed or undirected. In particular, this greatly simplifying the geometric Persistent Homology method we previously proposed.
In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree which have no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces P^{cΘ}_d of real monic univariate polynomials of degree d whose real divisors avoid given sequences of root multiplicities. These forbidden sequences are taken from an arbitrary poset Θof compositions that are closed under certain natural combinatorial operations. We reduce the computation of the homology H_*(P^{cΘ}_d) to the computati…
We construct an algebra of non-trivial homological operations on Khovanov homology with coefficients in $\mathbb Z_2$ generated by two Bockstein operations. We use the unified Khovanov homology theory developed by the first author to lift this algebra to integral Khovanov homology. We conjecture that these two algebras are infinite and present evidence in support of our conjectures. Finally, we list examples of knots that have the same even and odd Khovanov homology, but different actions of these homological operations. This confirms that the unified theory is a finer knot invariant than the …
Associated to any subspace arrangement is a "De Concini-Procesi model", a certain smooth compactification of its complement, which in the case of the braid arrangement produces the Deligne-Mumford compactification of the moduli space of genus 0 curves with marked points. In the present work, we calculate the integral homology of real De Concini-Procesi models, extending earlier work of Etingof, Henriques, Kamnitzer and the author on the (2-adic) integral cohomology of the real locus of the moduli space. To be precise, we show that the integral homology of a real De Concini-Procesi model is iso…
The mod p homology of E-infinity spaces is a classical topic in algebraic topology traditionally approached in terms of Dyer--Lashof operations. In this paper, we offer a new perspective on the subject by providing a detailed investigation of an alternative family of homology operations equivalent to, but distinct from, the Dyer--Lashof operations. Among other things, we will relate these operations to the Dyer--Lashof operations, describe the algebra generated by them, and use them to describe the homology of free E-infinity spaces. We will also investigate the relationship between the operat…
The commutative and homological algebra of modules over posets is developed, as closely parallel as possible to the algebra of finitely generated modules over noetherian commutative rings, in the direction of finite presentations, primary decompositions, and resolutions. Interpreting this finiteness in the language of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning sheaves with microsupport in a given cone. The motivating case is persistent homology of arbitrary filtered topological spaces, especially the case of multi…
We study the mod-$\ell$ homotopy type of classifying spaces for commutativity, $B(\mathbb{Z}, G)$, at a prime $\ell$. We show that the mod-$\ell$ homology of $B(\mathbb{Z}, G)$ depends on the mod-$\ell$ homotopy type of $BG$ when $G$ is a compact connected Lie group, in the sense that a mod-$\ell$ homology isomorphism $BG \to BH$ for such groups induces a mod-$\ell$ homology isomorphism $B(\mathbb{Z}, G) \to B(\mathbb{Z}, H)$. In order to prove this result, we study a presentation of $B(\mathbb{Z}, G)$ as a homotopy colimit over a topological poset of closed abelian subgroups, expanding on an …
We develop a new method to compute the homology groups of finite topological spaces (or equivalently of finite partially ordered sets) by means of spectral sequences giving a complete and simple description of the corresponding differentials. Our method proves to be powerful and involves far fewer computations than the standard one. We derive many applications of our technique which include a generalization of Hurewicz theorem for regular CW-complexes, results in homological Morse theory and formulas to compute the Möbius function of posets.
We study the homology of free loop spaces via techniques arising from the theory of topological coHochschild homology (coTHH). Topological coHochschild homology is a topological analogue of the classical theory of coHochschild homology for coalgebras. We produce new spectrum-level structure on coTHH of suspension spectra as well as new algebraic structure in the coBökstedt spectral sequence for computing coTHH. These new techniques allow us to compute the homology of free loop spaces in several new cases, extending known calculations.
A collection C of subgroups of a finite group G can give rise to three different standard formulas for the cohomology of G in terms of either: the subgroups in C; or their centralizers; or their normalizers. We give a short but systematic study of the relationship among such formulas for nine standard collections C of p-subgroups, obtaining some new formulas in the process. To do this, we exhibit some sufficient conditions on the poset C which imply comparison results.
A poset-stratified space is a pair $(S, S \xrightarrow πP)$ of a topological space $S$ and a continuous map $π: S \to P$ with a poset $P$ considered as a topological space with its associated Alexandroff topology. In this paper we show that one can impose such a poset-stratified space structure on the homotopy set $[X, Y]$ of homotopy classes of continuous maps by considering a canonical but non-trivial order (preorder) on it, namely we can capture the homotopy set $[X, Y]$ as an object of the category of poset-stratified spaces. The order we consider is related to the notion of \emph{dependen…
In this paper, we deal with stable homology computations with twisted coefficients for mapping class groups of surfaces and of 3-manifolds, automorphism groups of free groups with boundaries and automorphism groups of certain right-angled Artin groups. On the one hand, the computations are led using semidirect product structures arising naturally from these groups. On the other hand, we compute the stable homology with twisted coefficients by FI-modules. This notably uses a decomposition result of the stable homology with twisted coefficients for pre-braided monoidal categories proved in this …
We develop a novel technique, which we call poset splitting, that allows us to solve two open problems regarding minimality of finite models of spaces: the nonexistence of a finite model of the real projective plane with fewer than 13 points and the nonexistence of a finite model of the torus with fewer than 16 points. Indeed, we prove much stronger results from which we also obtain that there does not exist a finite model of the Klein bottle with fewer than 16 points and that the integral homology groups of finite spaces with fewer than 13 points are torsion-free, settling a conjecture of Har…
We develop a framework to construct geometric representations of finite groups $G$ through the correspondence between real toric spaces $X^{\mathbb R}$ and simplicial complexes with characteristic matrices. We give a combinatorial description of the $G$-module structure of the homology of $X^{\mathbb R}$. As applications, we make explicit computations of the Weyl group representations on the homology of real toric varieties associated to the Weyl chambers of type $A$ and $B$, which show an interesting connection to the topology of posets. We also realize a certain kind of Foulkes representatio…
Computing Betti tables and minimal presentations of zero-dimensional persistent homology
University of California, Davis（加州大学戴维斯分校）；Lawrence Berkeley National Laboratory（劳伦斯伯克利国家实验室）；International Computer Science Institute（国际计算机科学研究所）；Centre de Recherches Mathématiques（数学研究中心）；Institut des sciences mathématiques（数学科学研究所）；Laboratoire de combinatoire et d’informatique mathématique de l’Université du Québec à Montréal（蒙特利尔大学组合与数学计算实验室）；Université de Sherbrooke（舍布鲁克大学）
We introduce a filtration on the simplicial homology of a finite simplicial complex X using bi-colourings of its vertices. This yields two dual homology theories closely related to discrete Morse matchings on X. We give an explicit expression for the associated graded object of these homologies when X is the matching complex of the Tait graph of a plane graph $G$, in terms of subgraphs determined by certain matchings on the dual of G. We then use one of these homologies, in the case where X is a graph, to define a conjecturally optimal dissimilarity pseudometric for graphs; we prove various re…
