Persistent Intersection Homology

The theory of intersection homology was developed to study the singularities of a topologically stratified space. This paper incorporates this theory into the already developed framework of persistent homology. We demonstrate that persistent intersection homology gives useful information about the relationship between an embedded stratified space and its singularities. We give an algorithm for the computation of the persistent intersection homology groups of a filtered simplicial complex equipped with a stratification by subcomplexes, and we prove its correctness. We also derive, from Poincaré Duality, some structural results about persistent intersection homology.     

Categorification of Persistent Homology

We redevelop persistent homology (topological persistence) from a categorical point of view. The main objects of study are $\mathbf {(\mathbb {R},\leq)}$ -indexed diagrams in some target category. A set of such diagrams has an interleaving distance, which we show generalizes the previously studied bottleneck distance. To illustrate the utility of this approach, we generalize previous stability results for persistence, extended persistence, and kernel, image, and cokernel persistence. We give a natural construction of a category of ε-interleavings of $\mathbf {(\mathbb {R},\leq)}$ -indexed diagrams in some target category and show that if the target category is abelian, so is this category of interleavings.     

Computing the Homology of Real Projective Sets

We describe and analyze a numerical algorithm for computing the homology (Betti numbers and torsion coefficients) of real projective varieties. Here numerical means that the algorithm is numerically stable (in a sense to be made precise). Its cost depends on the condition of the input as well as on its size and is singly exponential in the number of variables (the dimension of the ambient space) and polynomial in the condition and the degrees of the defining polynomials. In addition, we show that outside of an exceptional set of measure exponentially small in the size of the data, the algorithm takes exponential time.     

Stable Comparison of Multidimensional Persistent Homology Groups with Torsion

The present lack of a stable method to compare persistent homology groups with torsion is a relevant problem in current research about Persistent Homology and its applications in Pattern Recognition. In this paper we introduce a pseudo-distance d _T that represents a possible solution to this problem. Indeed, d _T is a pseudo-distance between multidimensional persistent homology groups with coefficients in an Abelian group, hence possibly having torsion. Our main theorem proves the stability of the new pseudo-distance with respect to the change of the filtering function, expressed both with respect to the max-norm and to the natural pseudo-distance between topological spaces endowed with ? ⁿ -valued filtering functions. Furthermore, we prove a result showing the relationship between d _T and the matching distance in the 1-dimensional case, when the homology coefficients are taken in a field and hence the comparison can be made.     

Morse Theory for Filtrations and Efficient Computation of Persistent Homology

We introduce an efficient preprocessing algorithm to reduce the number of cells in a filtered cell complex while preserving its persistent homology groups. The technique is based on an extension of combinatorial Morse theory from complexes to filtrations.     

Computing the Homology of Semialgebraic Sets. II: General Formulas

Foundations of Computational Mathematics - We describe and analyze a numerical algorithm for computing the homology (Betti numbers and torsion coefficients) of semialgebraic sets given by Boolean...     

Alexandroff Homology and Path Homology

Mathematical Notes -     

Robust Statistics,Hypothesis Testing,and Confidence Intervals for Persistent Homology on Metric Measure Spaces

We study distributions of persistent homology barcodes associated to taking subsamples of a fixed size from metric measure spaces. We show that such distributions provide robust invariants of metric measure spaces and illustrate their use in hypothesis testing and providing confidence intervals for topological data analysis.     

From Leibniz Homology to Cyclic Homology

For an algebra R over a commutative ring k, a natural homomorphism _*: HL_*+1(R) HH_* (R) from Leibniz to Hochschild homology is constructed that is induced by an antisymmetrization map on the chain level. The map _* is surjective when R = gl(A), A an algebra over a characteristic zero field. If f: A B is an algebra homomorophism, the relative groups HL_* (gl(f)) are studied, where gl(f): gl(A) gl(B) is the induced map on matrices. Letting HC_* denote cyclic homology, if f is surjective with nilpotent kernel, there is a natural surjection HL_*+1(gl(f)) HC_* (f) in the characteristic zero setting.     

Hopf-Cyclic Homology and Relative Cyclic Homology of Hopf-Galois Extensions

Let H be a Hopf algebra and let M_s (H) be the category of allleft H-modules and right H-comodules satisfying appropriatecompatibility relations. An object in M_s (H) will be calleda stable anti-Yetter–Drinfeld module (over H) or a SAYDmodule, for short. To each M M_s (H) we associate, in a functorialway, a cyclic object Z_* (H, M). We show that our constructioncan be used to compute the cyclic homology of the underlyingalgebra structure of H and the relative cyclic homology of H-Galoisextensions. Let K be a Hopf subalgebra of H. For an arbitrary M M_s (K)we define a right H-comodule structure on so that becomes an object in M_s (H). Under some assumptions on K and M we computethe cyclic homology of . As a direct application of this result, we describe the relativecyclic homology of strongly graded algebras. In particular,we calculate the cyclic homology of group algebras and quantumtori. Finally, when H is the enveloping algebra of a Lie algebra g,we construct a spectral sequence that converges to the cyclichomology of H with coefficients in a given SAYD module M. Wealso show that the cyclic homology of almost symmetric algebrasis isomorphic to the cyclic homology of H with coefficientsin a certain SAYD module. 2000 Mathematics Subject Classification16E40 (primary), 16W30 (secondary).     

一个Cluster-Tilted代数的Hochschild同调与循环同调

基于Furuya构造的一个Cluster-Tilted代数的极小投射双模分解,用组合的方法计算了Cluster-Tilted代数的Hochschild同调空间的维数与基.当基础域的特征为零时,也计算了代数的循环同调群的维数.     

Topological Homology Semi-Biplanes

 Coherent, topological, tactical semi-biplanes are homology semi-biplanes. In particular, semi-biplanes constructed from pairs of non-collinear points in compact antiregular quadrangles are homology semi-biplanes. (Received 7 March 2000; in final form 12 October 2000)     

Topological Hochschild Homology

In the appendix to [20] Waldhausen discussed a trace map tr:K(R)HH(R),from the algebraic K-theory of a ring to its Hochschild homology,which can be used to obtain information about K(R) from HH(R).In [1] Bökstedt described a factorization of this tracemap. The intermediate functor THH(HR) is called the topologicalHochschild homology of the Eilenberg–MacLane spectrumHR associated with R, because it is constructed similarly toHochschild homology with the tensor product replaced by thesmash product of spectra.     

Homology of Digraphs

Mathematical Notes - A theory of singular cubic homology of digraphs is developed; the obtained homology groups are proved to be functorial and homotopy invariant. Commutative diagrams of exact...     

Homology of Centralizers

Given a group Π, we study the group homology of centralizers Π _g , g ? Π, and of their central quotients Π _g /〈 g〉. This study is motivated by the structure of the Hochschild and the cyclic homology of group algebras, and is based on Quillen's approach to the cyclic homology of algebras via algebra extensions. A method of computing the de Rham complex of a group algebra by means of a Gruenberg resolution is also developed.