Showing 1–19 of 19 results for author: Celoria, D

Bridging between überhomology and double homology

Authors: Luigi Caputi, Daniele Celoria, Carlo Collari

Abstract: We establish an isomorphism between the 0-degree überhomology and the double homology of finite simplicial complexes, using a Mayer-Vietoris spectral sequence argument. We clarify the correspondence between these theories by providing examples and some consequences; in particular, we show that überhomology groups detect the standard simplex, and that the double homology's diagonal is related to th… ▽ More We establish an isomorphism between the 0-degree überhomology and the double homology of finite simplicial complexes, using a Mayer-Vietoris spectral sequence argument. We clarify the correspondence between these theories by providing examples and some consequences; in particular, we show that überhomology groups detect the standard simplex, and that the double homology's diagonal is related to the connected domination polynomial. △ Less

Submitted 26 June, 2024; originally announced June 2024.

Comments: 10 pages, comments are welcome! arXiv admin note: text overlap with arXiv:2304.10134

From the Mayer-Vietoris spectral sequence to überhomology

Authors: Luigi Caputi, Daniele Celoria, Carlo Collari

Abstract: We prove that the second page of the Mayer-Vietoris spectral sequence, with respect to anti-star covers, can be identified with another homological invariant of simplicial complexes: the $0$-degree überhomology. Consequently, we obtain a combinatorial interpretation of the second page of the Mayer-Vietoris sequence in this context. This interpretation is then used to extend the computations of bol… ▽ More We prove that the second page of the Mayer-Vietoris spectral sequence, with respect to anti-star covers, can be identified with another homological invariant of simplicial complexes: the $0$-degree überhomology. Consequently, we obtain a combinatorial interpretation of the second page of the Mayer-Vietoris sequence in this context. This interpretation is then used to extend the computations of bold homology, which categorifies the connected domination polynomial at $-1$. △ Less

Submitted 5 September, 2023; v1 submitted 20 April, 2023; originally announced April 2023.

Comments: 18 pages, comments are welcome! V2 published version

MSC Class: 18G85; 57Q70; 55N99

Journal ref: Proc. Roy. Soc. Edinburgh Sect. A (2023)

Knot intensity distribution: a local measure of entanglement

Authors: Agnese Barbensi, Daniele Celoria

Abstract: The problem of finding robust and effective methods for locating entanglement in embedded curves is relevant to both applications and theoretical investigations. Rather than focusing on an exact determination, we introduce the knot intensity distribution, a local quantifier for the contribution of a curve's region to global entanglement. The integral of the distribution yields a measure of tightne… ▽ More The problem of finding robust and effective methods for locating entanglement in embedded curves is relevant to both applications and theoretical investigations. Rather than focusing on an exact determination, we introduce the knot intensity distribution, a local quantifier for the contribution of a curve's region to global entanglement. The integral of the distribution yields a measure of tightness for knots. We compute the distribution for ideal knots, and study its behaviour on prime and composite random knots. Intensity distributions provide an effective method to locate entanglement. In particular, they identify regions in knots that accommodate passages leading to topological changes. △ Less

Submitted 22 November, 2022; originally announced November 2022.

Comments: 10 pages, 5 figures. Associated GitHub repository https://github.com/agnesebarbensi/knot_intensity_distribution

MSC Class: 57K10; 82D60

GridPyM: a Python module to handle grid diagrams

Authors: Agnese Barbensi, Daniele Celoria

Abstract: Grid diagrams are a combinatorial version of classical link diagrams, widely used in theoretical, computational and applied knot theory. Motivated by questions from (bio)-physical knot theory, we introduce GridPyM, a Sage compatible Python module that handles grid diagrams. GridPyM focuses on generating and simplifying grids, and on modelling local transformations between them. Grid diagrams are a combinatorial version of classical link diagrams, widely used in theoretical, computational and applied knot theory. Motivated by questions from (bio)-physical knot theory, we introduce GridPyM, a Sage compatible Python module that handles grid diagrams. GridPyM focuses on generating and simplifying grids, and on modelling local transformations between them. △ Less

Submitted 8 January, 2024; v1 submitted 13 October, 2022; originally announced October 2022.

Comments: V2 accepted version. Associated GitHub repository: github.com/agnesedaniele/GridPythonModule

MSC Class: 57K10; 90-04

Journal ref: J. Softw. Alg. Geom. 14 (2024) 31-39

Monotone cohomologies and oriented matchings

Authors: Luigi Caputi, Daniele Celoria, Carlo Collari

Abstract: In this paper, we extend the definition of cohomology associated to monotone graph properties, to encompass twisted functor coefficients. We introduce oriented matchings on graphs, and focus on their (twisted) cohomology groups. We characterise oriented matchings in terms of induced free-flow pseudoforests, and explicitly determine the homotopy type of the associated simplicial complexes. Furtherm… ▽ More In this paper, we extend the definition of cohomology associated to monotone graph properties, to encompass twisted functor coefficients. We introduce oriented matchings on graphs, and focus on their (twisted) cohomology groups. We characterise oriented matchings in terms of induced free-flow pseudoforests, and explicitly determine the homotopy type of the associated simplicial complexes. Furthermore, we provide a connection between the cohomology of oriented matchings with certain functor coefficients, and the recently defined multipath cohomology. Finally, we define a further oriented homology for graphs and interpret it as a count of free-flow orientations. △ Less

Submitted 7 March, 2022; originally announced March 2022.

Comments: 18 pages, 10 figures, comments are welcome!

MSC Class: 05C70; 18G85

Categorifying connected domination via graph überhomology

Authors: Luigi Caputi, Daniele Celoria, Carlo Collari

Abstract: Überhomology is a recently defined homology theory for simplicial complexes, which yields subtle information on graphs. We prove that bold homology, a certain specialisation of überhomology, is related to dominating sets in graphs. To this end, we interpret überhomology as a poset homology, and investigate its functoriality properties. We then show that the Euler characteristic of the bold homolog… ▽ More Überhomology is a recently defined homology theory for simplicial complexes, which yields subtle information on graphs. We prove that bold homology, a certain specialisation of überhomology, is related to dominating sets in graphs. To this end, we interpret überhomology as a poset homology, and investigate its functoriality properties. We then show that the Euler characteristic of the bold homology of a graph coincides with an evaluation of its connected domination polynomial. Even more, the bold chain complex retracts onto a complex generated by connected dominating sets. We conclude with several computations of this homology on families of graphs; these include a vanishing result for trees, and a characterisation result for complete graphs. △ Less

Submitted 3 January, 2022; originally announced January 2022.

Comments: 20 pages, 11 figures and 1 table. Comments are welcome!

MSC Class: 18G85; 05C69; 57Q70; 18N25

Journal ref: Journal of Pure and Applied Algebra (2023)

A statistical approach to knot confinement via persistent homology

Authors: Daniele Celoria, Barbara I. Mahler

Abstract: In this paper we study how randomly generated knots occupy a volume of space using topological methods. To this end, we consider the evolution of the first homology of an immersed metric neighbourhood of a knot's embedding for growing radii. Specifically, we extract features from the persistent homology of the Vietoris-Rips complexes built from point clouds associated to knots. Statistical analysi… ▽ More In this paper we study how randomly generated knots occupy a volume of space using topological methods. To this end, we consider the evolution of the first homology of an immersed metric neighbourhood of a knot's embedding for growing radii. Specifically, we extract features from the persistent homology of the Vietoris-Rips complexes built from point clouds associated to knots. Statistical analysis of our data shows the existence of increasing correlations between geometric quantities associated to the embedding and persistent homology based features, as a function of the knots' lengths. We further study the variation of these correlations for different knot types. Finally, this framework also allows us to define a simple notion of deviation from ideal configurations of knots. △ Less

Submitted 6 August, 2021; originally announced August 2021.

Comments: 14 pages, 12 figures. Comments are welcome!

MSC Class: 57K10; 55N31; 53Z10

Filtered simplicial homology, graph dissimilarity and überhomology

Authors: Daniele Celoria

Abstract: 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… ▽ More 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 results for this dissimilarity and provide several computations. We further show that, by organising the horizontal homologies of a simplicial complex in the poset of its colourings, we obtain a triply graded homology theory which we call überhomology. This latter homology is not a homotopy invariant, but nonetheless encodes both combinatorial and topological information on X. For example, we prove that if X is a subdivision, the überhomology vanishes in its lowest degree, while for an homology manifold it coincides with the fundamental class in its top degree. We compute the überhomology on several classes of examples and infinite families, and prove some of its properties; namely that, in its extremal degrees, it is well-behaved under coning and taking suspension. We then focus on the case where X is a simple graph, and prove a detection result. Finally, we define some singly-graded homologies for graphs obtained by specialising the überhomology in certain bi-degrees, provide some computations and use computer aided calculations to make some conjectures. △ Less

Submitted 1 December, 2022; v1 submitted 9 May, 2021; originally announced May 2021.

Comments: 36 pages, 23 figures; comments are very much welcome. V2 accepted version

MSC Class: 05E45 (Primary) 57Q70; 05C60; 13P20; 57Q15 (Secondary)

Filtered matchings and simplicial complexes

Authors: Daniele Celoria, Naya Yerolemou

Abstract: To any finite simplicial complex X, we associate a natural filtration starting from Chari and Joswig's discrete Morse complex and abutting to the matching complex of X. This construction leads to the definition of several homology theories, which we compute in a number of examples. We also completely determine the graded object associated to this filtration in terms of the homology of simpler comp… ▽ More To any finite simplicial complex X, we associate a natural filtration starting from Chari and Joswig's discrete Morse complex and abutting to the matching complex of X. This construction leads to the definition of several homology theories, which we compute in a number of examples. We also completely determine the graded object associated to this filtration in terms of the homology of simpler complexes. This last result provides some connections to the number of vertex-disjoint cycles of a graph. △ Less

Submitted 10 February, 2022; v1 submitted 3 November, 2020; originally announced November 2020.

Comments: 15 pages, 8 figures, comments welcome. V2 accepted by the Australasian Journal of Combinatorics

MSC Class: 05E45 (Primary) 05C10 (Secondary)

A discrete Morse perspective on knot projections and a generalised clock theorem

Authors: Daniele Celoria, Naya Yerolemou

Abstract: We obtain a simple and complete characterisation of which matchings on the Tait graph of a knot diagram induce a discrete Morse function (dMf) on $S^2$, extending a construction due to Cohen. We show these dMfs are in bijection with certain rooted spanning forests in the Tait graph. We use this to count the number of such dMfs with a closed formula involving the graph Laplacian. We then simultaneo… ▽ More We obtain a simple and complete characterisation of which matchings on the Tait graph of a knot diagram induce a discrete Morse function (dMf) on $S^2$, extending a construction due to Cohen. We show these dMfs are in bijection with certain rooted spanning forests in the Tait graph. We use this to count the number of such dMfs with a closed formula involving the graph Laplacian. We then simultaneously generalise Kauffman's Clock Theorem and Kenyon-Propp-Wilson's correspondence in two different directions; we first prove that the image of the correspondence induces a bijection on perfect dMfs, then we show that all perfect matchings, subject to an admissibility condition, are related by a finite sequence of click and clock moves. Finally, we study and compare the matching and discrete Morse complexes associated to the Tait graph, in terms of partial Kauffman states, and provide some computations. △ Less

Submitted 22 June, 2021; v1 submitted 12 October, 2020; originally announced October 2020.

Comments: 31 pages, 44 figures, comments are welcome! This version accepted by the Electronic Journal of Combinatorics

MSC Class: 57K10 (Primary) 05C10; 57M15 (Secondary)

Grid diagrams as tools to investigate knot spaces and topoisomerase-mediated simplification of DNA topology

Authors: Agnese Barbensi, Daniele Celoria, Heather A. Harrington, Andrzej Stasiak, Dorothy Buck

Abstract: Grid diagrams with their relatively simple mathematical formalism provide a convenient way to generate and model projections of various knots. It has been an open question whether these 2D diagrams can be used to model a complex 3D process such as the topoisomerase-mediated preferential unknotting of DNA molecules. We model here topoisomerase-mediated passages of double-stranded DNA segments throu… ▽ More Grid diagrams with their relatively simple mathematical formalism provide a convenient way to generate and model projections of various knots. It has been an open question whether these 2D diagrams can be used to model a complex 3D process such as the topoisomerase-mediated preferential unknotting of DNA molecules. We model here topoisomerase-mediated passages of double-stranded DNA segments through each other using the formalism of grid diagrams. We show that this grid diagram-based modelling approach captures the essence of the preferential unknotting mechanism, based on topoisomerase selectivity of hooked DNA juxtapositions as the sites of intersegmental passages. We show that grid diagram-based approach provide an important, new and computationally convenient framework for investigating entanglement in biopolymers. △ Less

Submitted 12 September, 2019; originally announced September 2019.

Comments: 22 pages, 9 figures, Supplementary Information at the end

Rational cobordisms and integral homology

Authors: Paolo Aceto, Daniele Celoria, JungHwan Park

Abstract: We consider the question of when a rational homology 3-sphere is rational homology cobordant to a connected sum of lens spaces. We prove that every rational homology cobordism class in the subgroup generated by lens spaces is represented by a unique connected sum of lens spaces whose first homology embeds in any other element in the same class. As a first consequence, we show that several natural… ▽ More We consider the question of when a rational homology 3-sphere is rational homology cobordant to a connected sum of lens spaces. We prove that every rational homology cobordism class in the subgroup generated by lens spaces is represented by a unique connected sum of lens spaces whose first homology embeds in any other element in the same class. As a first consequence, we show that several natural maps to the rational homology cobordism group have infinite rank cokernels. Further consequences include a divisibility condition between the determinants of a connected sum of 2-bridge knots and any other knot in the same concordance class. Lastly, we use knot Floer homology combined with our main result to obstruct Dehn surgeries on knots from being rationally cobordant to lens spaces. △ Less

Submitted 25 January, 2020; v1 submitted 4 November, 2018; originally announced November 2018.

Comments: 19 pages, final version to appear in Compositio Mathematica

MSC Class: 57N13; 57M27; 57N70; 57M25

Journal ref: Compositio Math. 156 (2020) 1825-1845

Upsilon invariants from cyclic branched covers

Authors: Antonio Alfieri, Daniele Celoria, Andras Stipsicz

Abstract: We extend the construction of upsilon-type invariants to null-homologous knots in rational homology three-spheres. By considering $m$-fold cyclic branched covers with $m$ a prime power, this extension provides new knot concordance invariants $Υ_m^C (K)$ of knots in $S^3$. We give computations of these invariants for some families of alternating knots and reprove some independence results in the sm… ▽ More We extend the construction of upsilon-type invariants to null-homologous knots in rational homology three-spheres. By considering $m$-fold cyclic branched covers with $m$ a prime power, this extension provides new knot concordance invariants $Υ_m^C (K)$ of knots in $S^3$. We give computations of these invariants for some families of alternating knots and reprove some independence results in the smooth concordance group. △ Less

Submitted 14 January, 2021; v1 submitted 21 September, 2018; originally announced September 2018.

Comments: 26 pages, 13 figures. New version fixes typos, minor mistakes and improves readability. Comments are welcome!

MSC Class: 57K18; 57N70

Heegaard Floer homology and concordance bounds on the Thurston norm

Authors: Daniele Celoria, Marco Golla

Abstract: We prove that twisted correction terms in Heegaard Floer homology provide lower bounds on the Thurston norm of certain cohomology classes determined by the strong concordance class of a 2-component link $L$ in $S^3$. We then specialise this procedure to knots in $S^2\times S^1$, and obtain a lower bound on their geometric winding number. Furthermore we produce an obstruction for a knot in $S^3$ to… ▽ More We prove that twisted correction terms in Heegaard Floer homology provide lower bounds on the Thurston norm of certain cohomology classes determined by the strong concordance class of a 2-component link $L$ in $S^3$. We then specialise this procedure to knots in $S^2\times S^1$, and obtain a lower bound on their geometric winding number. Furthermore we produce an obstruction for a knot in $S^3$ to have untwisting number 1. We then provide an infinite family of null-homologous knots with increasing geometric winding number, on which the bound is sharp. △ Less

Submitted 10 August, 2019; v1 submitted 27 June, 2018; originally announced June 2018.

Comments: With an appendix with Adam Simon Levine; 24 pages, 8 figures; comments welcome! V2: Fixed a few typos, wrong citations and figures, removed a proposition. This version to appear in Transactions of the AMS

The Reidemeister graph is a complete knot invariant

Authors: Agnese Barbensi, Daniele Celoria

Abstract: We describe two locally finite graphs naturally associated to each knot type K, called Reidemeister graphs. We determine several local and global properties of these graphs and prove that in one case the graph-isomorphism type is a complete knot invariant up to mirroring. Lastly, we introduce another object, relating the Reidemeister and Gordian graphs, and determine some of its properties. We describe two locally finite graphs naturally associated to each knot type K, called Reidemeister graphs. We determine several local and global properties of these graphs and prove that in one case the graph-isomorphism type is a complete knot invariant up to mirroring. Lastly, we introduce another object, relating the Reidemeister and Gordian graphs, and determine some of its properties. △ Less

Submitted 10 January, 2018; originally announced January 2018.

Comments: 49 pages, 51 figures. Comments are welcome!

Journal ref: Algebr. Geom. Topol. 20 (2020) 643-698

On concordances in 3-manifolds

Authors: Daniele Celoria

Abstract: We describe an action of the concordance group of knots in the three-sphere on concordances of knots in arbitrary 3-manifolds. As an application we define the notion of almost-concordance between knots. After some basic results, we prove the existence of non-trivial almost-concordance classes in all non-abelian 3-manifolds. Afterwards, we focus the attention on the case of lens spaces, and use a m… ▽ More We describe an action of the concordance group of knots in the three-sphere on concordances of knots in arbitrary 3-manifolds. As an application we define the notion of almost-concordance between knots. After some basic results, we prove the existence of non-trivial almost-concordance classes in all non-abelian 3-manifolds. Afterwards, we focus the attention on the case of lens spaces, and use a modified version of the Ozsvath-Szabo-Rasmussen's tau-invariant to obstruct almost-concordances and prove that each L(p,1) admits infinitely many nullhomologous non almost-concordant knots. Finally we prove an inequality involving the cobordism PL-genus of a knot and its tau-invariants. △ Less

Submitted 10 January, 2018; v1 submitted 17 February, 2016; originally announced February 2016.

Comments: 29 pages, 9 figures. Accepted for publication by the Journal of Topology

A note on Grid Homology in lens spaces: $\mathbb{Z}$ coefficients and computations

Authors: Daniele Celoria

Abstract: We present a combinatorial proof for the existence of the sign refined grid homology in lens spaces, and a self contained proof that $\partial_{\mathbb{Z}}^2 = 0$. We also present a Sage program that computes $\widehat{\mathrm{GH}} (L(p,q),K;\mathbb{Z})$, and provide empirical evidence supporting the absence of torsion in these groups. We present a combinatorial proof for the existence of the sign refined grid homology in lens spaces, and a self contained proof that $\partial_{\mathbb{Z}}^2 = 0$. We also present a Sage program that computes $\widehat{\mathrm{GH}} (L(p,q),K;\mathbb{Z})$, and provide empirical evidence supporting the absence of torsion in these groups. △ Less

Submitted 14 March, 2023; v1 submitted 24 October, 2015; originally announced October 2015.

Comments: 25 pages, 23 figures. This version accepted by Glasgow Mathematical Journal

A note on cobordisms of algebraic knots

Authors: József Bodnár, Daniele Celoria, Marco Golla

Abstract: In this note we use Heegaard Floer homology to study smooth cobordisms of algebraic knots and complex deformations of cusp singularities of curves. The main tool will be the concordance invariant $ν^+$: we study its behaviour with respect to connected sums, providing an explicit formula in the case of L-space knots and proving subadditivity in general. In this note we use Heegaard Floer homology to study smooth cobordisms of algebraic knots and complex deformations of cusp singularities of curves. The main tool will be the concordance invariant $ν^+$: we study its behaviour with respect to connected sums, providing an explicit formula in the case of L-space knots and proving subadditivity in general. △ Less

Submitted 28 June, 2016; v1 submitted 29 September, 2015; originally announced September 2015.

Comments: 17 pages, 5 figures. Improved exposition and organisation, fixed a gap in the proof of Proposition 6.1

Journal ref: Algebr. Geom. Topol. 17 (2017) 2543-2564

Cuspidal curves and Heegaard Floer homology

Authors: József Bodnár, Daniele Celoria, Marco Golla

Abstract: We give bounds on the gap functions of the singularities of a cuspidal plane curve of arbitrary genus, generalising recent work of Borodzik and Livingston. We apply these inequalities to unicuspidal curves whose singularity has one Puiseux pair: we prove two identities tying the parameters of the singularity, the genus, and the degree of the curve; we improve on some degree-multiplicity asymptotic… ▽ More We give bounds on the gap functions of the singularities of a cuspidal plane curve of arbitrary genus, generalising recent work of Borodzik and Livingston. We apply these inequalities to unicuspidal curves whose singularity has one Puiseux pair: we prove two identities tying the parameters of the singularity, the genus, and the degree of the curve; we improve on some degree-multiplicity asymptotic inequalities; finally, we prove some finiteness results, we construct infinite families of examples, and in some cases we give an almost complete classification. △ Less

Submitted 1 December, 2015; v1 submitted 10 September, 2014; originally announced September 2014.

Comments: 39 pages, 4 figures. Exposition improved. This preprint version differs from the final version which is to appear in the Proceedings of the London Mathematical Society