arXiv subjects

Carlo Collari

Publications and source records attributed to Carlo Collari.

At least 19 recordsLinked to original sources

arXiv2026

A Polynomial Invariant of Strongly Involutive Links

We introduce a new two-variable polynomial invariant $P^e$ of strongly involutive links, uniquely characterised by equivariant skein relations and naturally viewed as an equivariant analogue of the HOMFLY--PT polynomial. We prove that a specialisation of $P^e$ recovers the graded Euler characteristic of the third page of the Lobb--Watson $\mathcal{G}$-filtration spectral sequence, generalising Couture's polynomial invariant. We further show that, after a change of variables, $P^e$ reduces modulo $2$ to the HOMFLY--PT polynomial, up to an explicit power of the skein variable, thereby answering a generalized form of a question of Couture. We use the resulting skein relations to distinguish infinitely many pairs of alternating mutant knots, and show that $P^e$ is strictly stronger than the refined Lobb--Watson invariants on infinitely many strongly invertible knots.

math.GT↗

arXiv2026

Multipath complexes of bidirectional polygonal digraphs

In this work we study the homotopy type of multipath complexes of bidirectional path graphs and polygons, motivated by works of Vre\'cica and \v{Z}ivaljevi\'c on cycle-free chessboard complexes (that is, multipath complexes of complete digraphs). In particular, we show that bidirectional path graphs are homotopic to spheres and that, in analogy with cycle-free chessboard complexes, multipath complexes of bidirectional polygonal digraphs are highly connected. Using a Mayer-Vietoris spectral sequence, we provide a computation of the associated homology groups. We study T-operations on graphs, and show that this corresponds to taking suspensions of multipath complexes. We further discuss (non) shellability properties of such complexes, and present new open questions.

math.CO↗

arXiv2024

Multipath matroids, digraph colourings, and the Tutte polynomial

We characterise the digraphs for which the multipaths, that is disjoint unions of directed paths, yield a matroid. For such graphs, called MP-digraphs, we prove that the Tutte polynomial of the multipath matroid is related to counting certain digraph colourings. Finally, we prove that, for MP-forests, the decategorification of the multipath cohomology yields a specialisation of the Tutte polynomial.

math.CO↗

arXiv2024

Bridging between \"uberhomology and double homology

We establish an isomorphism between the 0-degree \"uberhomology 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 \"uberhomology groups detect the standard simplex, and that the double homology's diagonal is related to the connected domination polynomial.

math.AT↗

arXiv2024

The weak categorical quiver minor theorem and its applications: matchings, multipaths, and magnitude cohomology

Building upon previous works of Proudfoot and Ramos, and using the categorical framework of Sam and Snowden, we extend the weak categorical minor theorem from undirected graphs to quivers. As case of study, we investigate the consequences on the homology of multipath complexes; eg. on its torsion. Further, we prove a comparison result: we show that, when restricted to directed graphs without oriented cycles, multipath complexes and matching complexes yield functors which commute up to a blow-up operation on directed graphs. We use this fact to compute the homotopy type of matching complexes for a certain class of bipartite graphs also known as half-graphs or ladders. We complement the work with a study of the (representation) category of cones, and with analysing related consequences on magnitude cohomology of quivers.

math.AT↗

arXiv2023

Strongly Invertible Legendrian Links

We introduce and study strongly invertible Legendrian links in the standard contact three-dimensional space. We establish the equivariant analogs of basic results separately well-known for strongly invertible and Legendrian links, i.e. the existence of transvergent front diagrams, an equivariant Legendrian Reidemeister theorem, and an equivariant stabilization theorem \`a la Fuch-Tabachnikov. We also introduce a maximal equivariant Thurston-Bennequin number for strongly invertible links and we exhibit infinitely many such links for which the invariant coincides with the usual maximal Thurston-Bennequin number. We conjecture that such a coincidence does not hold general and that there exist strongly invertible knots having Legendrian representatives isotopic to their reversed Legendrian mirrors but not isotopic to any strongly invertible Legendrian knot.

math.GT↗

arXiv2023

From the Mayer-Vietoris spectral sequence to \"uberhomology

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 \"uberhomology. 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$.

math.GT↗

arXiv2023

On finite generation in magnitude (co)homology, and its torsion

The aim of this paper is to apply the framework, which was developed by Sam and Snowden, to study structural properties of graph homologies, in the spirit of Ramos, Miyata and Proudfoot. Our main results concern the magnitude homology of graphs introduced by Hepworth and Willerton. More precisely, for graphs of bounded genus, we prove that magnitude cohomology, in each homological degree, has rank which grows at most polynomially in the number of vertices, and that its torsion is bounded. As a consequence, we obtain analogous results for path homology of (undirected) graphs. We complement the work with a proof that the category of planar graphs of bounded genus and marked edges, with contractions, is quasi-Gr\"obner.

math.AT↗

arXiv2022

A note on weight systems which are quantum states

A result of Corfield, Sati, and Schreiber asserts that $\mathfrak{gl}_n$-weight systems associated to the defining representation are quantum states. In this short note we extend this result to all $\mathfrak{gl}_n$-weight systems corresponding to labeling by symmetric and exterior powers of the defining representation.

math.GT↗

arXiv2022

On the homotopy type of multipath complexes

A multipath in a directed graph is a disjoint union of paths. The multipath complex of a directed graph ${\tt G}$ is the simplicial complex whose faces are the multipaths of ${\tt G}$. We compute the Euler characteristic, and associated generating function, of the multipath complex for some families of graphs, including transitive tournaments and complete bipartite graphs. Then, we compute the homotopy type of multipath complexes of linear graphs, polygons, small grids and transitive tournaments. We show that they are all contractible or wedges of spheres. We introduce a new technique for decomposing directed graphs into dynamical regions, which allows us to simplify the homotopy computations.

math.CO↗

arXiv2022

Monotone cohomologies and oriented matchings

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.

math.CO↗

arXiv2022

Categorifying connected domination via graph \"uberhomology

\"Uberhomology is a recently defined homology theory for simplicial complexes, which yields subtle information on graphs. We prove that bold homology, a certain specialisation of \"uberhomology, is related to dominating sets in graphs. To this end, we interpret \"uberhomology 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.

math.AT↗

arXiv2021

Combinatorial and Topological Aspects of Path Posets, and Multipath Cohomology

Multipath cohomology is a cohomology theory for directed graphs, which is defined using the path poset. The aim of this paper is to investigate combinatorial properties of path posets, and to provide computational tools for multipath cohomology. In particular, we develop acyclicity criteria, and provide computations of multipath cohomology groups of oriented linear graphs. We further interpret the path poset as the face poset of a simplicial complex, and we investigate realisability problems.

math.CO↗

arXiv2021

Multipath cohomology of directed graphs

This work is part of a series of papers focusing on multipath cohomology of directed graphs. Multipath cohomology is defined as the (poset) homology of the path poset -- i.e., the poset of disjoint simple paths in a graph -- with respect to a certain functor. This construction is essentially equivalent, albeit more computable, to taking the higher limits of said functor on (a certain modification of) the path poset. We investigate the functorial properties of multipath cohomology. We provide a number of sample computations, show that the multipath cohomology does not vanish on trees, and that, when evaluated at the coherently oriented polygon, it recovers Hochschild homology. Finally, we use the same techniques employed to study the functoriality to investigate the connection with the chromatic homology of (undirected) graphs introduced by L. Helme-Guizon and Y. Rong.

math.AT↗

arXiv2020

Slice-torus link invariants, combinatorial invariants, and positivity conditions

We prove some necessary conditions for a link to be either concordant to a quasi-positive link, quasi-positive, positive, or the closure of a positive braid. The main applications of our results are a characterisation of positive links with unlinking number $1$ and $2$, and a combinatorial criterion to test if a positive link is the closure of a positive braid. Finally, we compile a table of all positive and positive-braid prime links with less than $8$ crossings.

math.GT↗

arXiv2019

A note on the weak splitting number

The weak splitting number $wsp(L)$ of a link $L$ is the minimal number of crossing changes needed to turn $L$ into a split union of knots. We describe conditions under which certain $\mathbb{R}$-valued link invariants give lower bounds on $wsp(L)$. This result is used both to obtain new bounds on $wsp(L)$ in terms of the multivariable signature and to recover known lower bounds in terms of the $\tau$ and $s$-invariants. We also establish new obstructions using link Floer homology and apply all these methods to compute $wsp$ for all but two of the $130$ prime links with $9$ or fewer crossings.

math.GT↗

arXiv2019

On symmetric equivalence of symmetric union diagrams

Eisermann and Lamm introduced a notion of symmetric equivalence among symmetric union diagrams and studied it using a refined form of the Jones polynomial. We introduced invariants of symmetric equivalence via refined versions of topological spin models and provided a partial answer to a question left open by Eisermann and Lamm. In this paper we adopt a new approach to the symmetric equivalence problem and give a complete answer to the original question left open by Eisermann and Lamm.

math.GT↗

arXiv2018

Slice-torus concordance invariants and Whitehead doubles of links

In the present paper we extend the definition of slice-torus invariant to links. We prove a few properties of the newly-defined slice-torus link invariants: the behaviour under crossing change, a slice genus bound, an obstruction to strong sliceness, and a combinatorial bound. Furthermore, we provide an application to the computation of the splitting number. Finally, we use the slice-torus link invariants, and the Whitehead doubling to define new strong concordance invariants for links, which are proven to be independent from the corresponding slice-torus link invariant.

math.GT↗