-
From Persistence to Resilience: New Betti Numbers for Analyzing Robustness in Simplicial Complex Networks
Authors:
Pablo Hernández-García,
Daniel Hernández Serrano,
Darío Sánchez Gómez
Abstract:
Persistent homology is a fundamental tool in topological data analysis; however, it lacks methods to quantify the fragility or fineness of cycles, anticipate their formation or disappearance, or evaluate their stability beyond persistence. Furthermore, classical Betti numbers fail to capture key structural properties such as simplicial dimensions and higher-order adjacencies. In this work, we inve…
▽ More
Persistent homology is a fundamental tool in topological data analysis; however, it lacks methods to quantify the fragility or fineness of cycles, anticipate their formation or disappearance, or evaluate their stability beyond persistence. Furthermore, classical Betti numbers fail to capture key structural properties such as simplicial dimensions and higher-order adjacencies. In this work, we investigate the robustness of simplicial networks by analyzing cycle thickness and their resilience to failures or attacks. To address these limitations, we draw inspiration from persistent homology to introduce filtrations that model distinct simplicial elimination rules, leading to the definition of two novel Betti number families: thick and cohesive Betti numbers. These improved invariants capture richer structural information, enabling the measurement of the thickness of the links in the homology cycle and the assessment of the strength of their connections. This enhances and refines classical topological descriptors and our approach provides deeper insights into the structural dynamics of simplicial complexes and establishes a theoretical framework for assessing robustness in higher-order networks. Finally, we establish that the resilience of topological features to simplicial attacks can be systematically examined through biparameter persistence modules, wherein one parameter encodes the progression of the attack, and the other captures structural refinements informed by thickness or cohesiveness.
△ Less
Submitted 15 May, 2025;
originally announced May 2025.
-
On Koszul complex of a supermodule
Authors:
Darío Sánchez Gómez,
Fernando Sancho de Salas
Abstract:
This paper is devoted to an exposition of the Koszul complex of a supermodule and its Berezinian from an intrinsic and as general as possible point of view. As an application, an analogue to Bott's formula in the supercommutative setting computing the cohomology of twisted differential p-forms sheaves on the projective superspaces is given.
This paper is devoted to an exposition of the Koszul complex of a supermodule and its Berezinian from an intrinsic and as general as possible point of view. As an application, an analogue to Bott's formula in the supercommutative setting computing the cohomology of twisted differential p-forms sheaves on the projective superspaces is given.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
Centrality measures in simplicial complexes: applications of Topological Data Analysis to Network Science
Authors:
Daniel Hernández Serrano,
Darío Sánchez Gómez
Abstract:
Many real networks in social sciences, biological and biomedical sciences or computer science have an inherent structure of simplicial complexes reflecting many-body interactions. Therefore, to analyse topological and dynamical properties of simplicial complex networks centrality measures for simplices need to be proposed. Many of the classical complex networks centralities are based on the degree…
▽ More
Many real networks in social sciences, biological and biomedical sciences or computer science have an inherent structure of simplicial complexes reflecting many-body interactions. Therefore, to analyse topological and dynamical properties of simplicial complex networks centrality measures for simplices need to be proposed. Many of the classical complex networks centralities are based on the degree of a node, so in order to define degree centrality measures for simplices (which would characterise the relevance of a simplicial community in a simplicial network), a different definition of adjacency between simplices is required. The aim of these notes is threefold: first we will use the recently introduced notions of higher order simplicial degrees to propose new degree based centrality measures in simplicial complexes. These theoretical centrality measures, such as the simplicial degree centrality or the eigenvector centrality would allow not only to study the relevance of a simplicial community and the quality of its higher-order connections in a simplicial network, but also they might help to elucidate topological and dynamical properties of simplicial networks; sencond, we define notions of walks and distances in simplicial complexes in order to study connectivity of simplicial networks and to generalise, to the simplicial case, the well known closeness and betweenness centralities (needed for instance to study the relevance of a simplicial community in terms of its ability of transmitting information); third, we propose a new clustering coefficient for simplices in a simplicial network, different from the one knows so far and which generalises the standard graph clustering of a vertex. This measure should be essential to know the density of a simplicial network in terms of its simplicial communities.
△ Less
Submitted 15 April, 2020; v1 submitted 8 August, 2019;
originally announced August 2019.
-
Simplicial degree in complex networks. Applications of Topological Data Analysis to Network Science
Authors:
Daniel Hernández Serrano,
Juan Hernández Serrano,
Darío Sánchez Gómez
Abstract:
Network Science provides a universal formalism for modelling and studying complex systems based on pairwise interactions between agents. However, many real networks in the social, biological or computer sciences involve interactions among more than two agents, having thus an inherent structure of a simplicial complex. We propose new notions of higher-order degrees of adjacency for simplices in a s…
▽ More
Network Science provides a universal formalism for modelling and studying complex systems based on pairwise interactions between agents. However, many real networks in the social, biological or computer sciences involve interactions among more than two agents, having thus an inherent structure of a simplicial complex. We propose new notions of higher-order degrees of adjacency for simplices in a simplicial complex, allowing any dimensional comparison among them and their faces, which as far as we know were lacked in the literature. We introduce multi-parameter boundary and coboundary operators in an oriented simplicial complex and also a novel multi-combinatorial Laplacian is defined, which generalises the graph and combinatorial Laplacian. To illustrate the potential applications of these theoretical results, we perform a structural analysis of higher-order connectivity in simplicial-complex networks by studying the associated distributions with these simplicial degrees in 17 real-world datasets coming from different domains such as coauthor networks, cosponsoring Congress bills, contacts in schools, drug abuse warning networks, e-mail networks or publications and users in online forums. We find rich and diverse higher-order connectivity structures and observe that datasets of the same type reflect similar higher-order collaboration patterns. Furthermore, we show that if we use what we have called the maximal simplicial degree (which counts the distinct maximal communities in which our simplex and all its strict sub-communities are contained), then its degree distribution is, in general, surprisingly different from the classical node degree distribution.
△ Less
Submitted 14 April, 2020; v1 submitted 2 August, 2019;
originally announced August 2019.
-
Euler Sequence and Koszul complex of a module
Authors:
Bjorn Andreas,
Darío Sánchez Gómez,
Fernando Sancho de Salas
Abstract:
We construct relative and global Euler sequences of a module. We apply it to prove some acyclicity results of the Koszul complex of a module and to compute the cohomology of the sheaves of (relative and absolute) differential $p$-forms of a projective bundle. In particular we generalize Bott's formula for the projective space to a projective bundle over a scheme of characteristic zero.
We construct relative and global Euler sequences of a module. We apply it to prove some acyclicity results of the Koszul complex of a module and to compute the cohomology of the sheaves of (relative and absolute) differential $p$-forms of a projective bundle. In particular we generalize Bott's formula for the projective space to a projective bundle over a scheme of characteristic zero.
△ Less
Submitted 23 September, 2015;
originally announced September 2015.
-
Relative Fourier-Mukai transforms for Weierstrass fibrations, abelian schemes and Fano fibrations
Authors:
Ana Cristina López Martín,
Darío Sánchez Gómez,
Carlos Tejero Prieto
Abstract:
We study the group of relative Fourier-Mukai transforms for Weierstrass fibrations, abelian schemes and Fano or anti-Fano fibrations. For Weierstrass and Fano or anti-Fano fibrations we are able to describe this group completely. For abelian schemes over an arbitrary base we prove that if two of them are relative Fourier-Mukai partners then there is an isometric isomorphism between the fibre produ…
▽ More
We study the group of relative Fourier-Mukai transforms for Weierstrass fibrations, abelian schemes and Fano or anti-Fano fibrations. For Weierstrass and Fano or anti-Fano fibrations we are able to describe this group completely. For abelian schemes over an arbitrary base we prove that if two of them are relative Fourier-Mukai partners then there is an isometric isomorphism between the fibre products of each of them and its dual abelian scheme. If the base is normal and the slope map is surjective we show that these two conditions are equivalent. Moreover in this situation we completely determine the group of relative Fourier-Mukai transforms and we prove that the number of relative Fourier-Mukai partners of a given abelian scheme over a normal base is finite.
△ Less
Submitted 22 November, 2012; v1 submitted 8 November, 2010;
originally announced November 2010.
-
Moduli Spaces of Semistable Sheaves on Singular Genus One Curves
Authors:
Daniel Hernández Ruipérez,
Ana Cristina López Martín,
Darío Sánchez Gómez,
Carlos Tejero Prieto
Abstract:
We find some equivalences of the derived category of coherent sheaves on a Gorenstein genus one curve that preserve the (semi)-stability of pure dimensional sheaves. Using them we establish new identifications between certain Simpson moduli spaces of semistable sheaves on the curve. For rank zero, the moduli spaces are symmetric powers of the curve whilst for a fixed positive rank there are only…
▽ More
We find some equivalences of the derived category of coherent sheaves on a Gorenstein genus one curve that preserve the (semi)-stability of pure dimensional sheaves. Using them we establish new identifications between certain Simpson moduli spaces of semistable sheaves on the curve. For rank zero, the moduli spaces are symmetric powers of the curve whilst for a fixed positive rank there are only a finite number of non-isomorphic spaces. We prove similar results for the relative semistable moduli spaces on an arbitrary genus one fibration with no conditions either on the base or on the total space. For a cycle $E_N$ of projective lines, we show that the unique degree 0 stable sheaves are the line bundles having degree 0 on every irreducible component and the sheaves $\mathcal{O}(-1)$ supported on one irreducible component. We also prove that the connected component of the moduli space that contains vector bundles of rank $r$ is isomorphic to the $r$-th symmetric product of the rational curve with one node.
△ Less
Submitted 3 June, 2009; v1 submitted 12 June, 2008;
originally announced June 2008.
-
A Characterization of Jacobians by the Existence of Picard Bundles
Authors:
Ana Cristina López Martín,
Ernesto Carlo Mistretta,
Darío Sánchez Gómez
Abstract:
Based on the Matsusaka-Ran criterion we give a criterion to characterize when a principal polarized abelian variety is a Jacobian by the existence of Picard bundles.
Based on the Matsusaka-Ran criterion we give a criterion to characterize when a principal polarized abelian variety is a Jacobian by the existence of Picard bundles.
△ Less
Submitted 25 February, 2008;
originally announced February 2008.
-
Stable Sheaves Over K3 Fibrations
Authors:
Bjorn Andreas,
Daniel Hernandez Ruiperez,
Dario Sanchez Gomez
Abstract:
We construct stable sheaves over K3 fibrations using a relative Fourier-Mukai transform which describes the sheaves in terms of spectral data similar to the construction for elliptic fibrations. On K3 fibered Calabi-Yau threefolds we show that the Fourier-Mukai transform induces an embedding ion of the relative Jacobian of spectral line bundles on spectral covers into the moduli space of sheaves…
▽ More
We construct stable sheaves over K3 fibrations using a relative Fourier-Mukai transform which describes the sheaves in terms of spectral data similar to the construction for elliptic fibrations. On K3 fibered Calabi-Yau threefolds we show that the Fourier-Mukai transform induces an embedding ion of the relative Jacobian of spectral line bundles on spectral covers into the moduli space of sheaves of given invariants. This makes the moduli space of spectral sheaves to a generic torus fibration over the moduli space of curves of given arithmetic genus on the Calabi-Yau manifold.
△ Less
Submitted 25 November, 2008; v1 submitted 20 February, 2008;
originally announced February 2008.