4,162 research outputs found
More Torsion in the Homology of the Matching Complex
A matching on a set is a collection of pairwise disjoint subsets of
of size two. Using computers, we analyze the integral homology of the matching
complex , which is the simplicial complex of matchings on the set . The main result is the detection of elements of order in the
homology for . Specifically, we show that there are
elements of order 5 in the homology of for and for . The only previously known value was , and in this particular
case we have a new computer-free proof. Moreover, we show that there are
elements of order 7 in the homology of for all odd between 23 and 41
and for . In addition, there are elements of order 11 in the homology of
and elements of order 13 in the homology of . Finally, we
compute the ranks of the Sylow 3- and 5-subgroups of the torsion part of
for ; a complete description of the homology
already exists for . To prove the results, we use a
representation-theoretic approach, examining subcomplexes of the chain complex
of obtained by letting certain groups act on the chain complex.Comment: 35 pages, 10 figure
Five-Torsion in the Homology of the Matching Complex on 14 Vertices
J. L. Andersen proved that there is 5-torsion in the bottom nonvanishing
homology group of the simplicial complex of graphs of degree at most two on
seven vertices. We use this result to demonstrate that there is 5-torsion also
in the bottom nonvanishing homology group of the matching complex on
14 vertices. Combining our observation with results due to Bouc and to
Shareshian and Wachs, we conclude that the case is exceptional; for all
other , the torsion subgroup of the bottom nonvanishing homology group has
exponent three or is zero. The possibility remains that there is other torsion
than 3-torsion in higher-degree homology groups of when and .Comment: 11 page
Exact Sequences for the Homology of the Matching Complex
Building on work by Bouc and by Shareshian and Wachs, we provide a toolbox of
long exact sequences for the reduced simplicial homology of the matching
complex , which is the simplicial complex of matchings in the complete
graph . Combining these sequences in different ways, we prove several
results about the 3-torsion part of the homology of . First, we
demonstrate that there is nonvanishing 3-torsion in whenever
\nu_n \le d \le (n-6}/2, where . By results due
to Bouc and to Shareshian and Wachs, is a nontrivial
elementary 3-group for almost all and the bottom nonvanishing homology
group of for all . Second, we prove that is a
nontrivial 3-group whenever . Third, for each , we show that there is a polynomial of degree 3k such that the
dimension of , viewed as a vector space over ,
is at most for all .Comment: 31 page
Complexes of not -connected graphs
Complexes of (not) connected graphs, hypergraphs and their homology appear in
the construction of knot invariants given by V. Vassiliev. In this paper we
study the complexes of not -connected -hypergraphs on vertices. We
show that the complex of not -connected graphs has the homotopy type of a
wedge of spheres of dimension . This answers one of the
questions raised by Vassiliev in connection with knot invariants. For this case
the -action on the homology of the complex is also determined. For
complexes of not -connected -hypergraphs we provide a formula for the
generating function of the Euler characteristic, and we introduce certain
lattices of graphs that encode their topology. We also present partial results
for some other cases. In particular, we show that the complex of not
-connected graphs is Alexander dual to the complex of partial matchings
of the complete graph. For not -connected graphs we provide a formula
for the generating function of the Euler characteristic
- …