Graph homology: Koszul and Verdier duality (Q936536): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Equivariant sheaves and functors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dual Feynman transform for modular operads / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a theorem of Kontsevich / rank
 
Normal rank
Property / cites work
 
Property / cites work: Moduli of graphs and automorphisms of free groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5688876 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modular operads / rank
 
Normal rank
Property / cites work
 
Property / cites work: Koszul duality for operads / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sur quelques points d'algèbre homologique / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mapping Class Groups and Moduli Spaces of Curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3999005 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intersection theory on the moduli space of curves and the matrix Airy function / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4279791 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cellular decompositions of compactified moduli spaces of pointed curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4654789 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The moduli space of a punctured surface and perturbative series / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compactifications of moduli spaces and cellular decompositions / rank
 
Normal rank

Revision as of 13:35, 28 June 2024

scientific article
Language Label Description Also known as
English
Graph homology: Koszul and Verdier duality
scientific article

    Statements

    Graph homology: Koszul and Verdier duality (English)
    0 references
    0 references
    14 August 2008
    0 references
    Recall that a cyclic operad is a structure that models a category of algebras in vector spaces (or chain complexes) for wich the notion of an invariant inner product makes sense. To each cyclic operad \(\mathcal O\) is associated a combinatorial complex \(C^{\Gamma\mathcal O}_*\) defined by graphs whose vertices are labelled by elements of \(\mathcal O\). The graph homology of \(\mathcal O\) is the homology of the graph complex \(C^{\Gamma\mathcal O}_*\) associated to \(\mathcal O\). The authors associate to any cyclic operad \(\mathcal O\) a sheaf \(\mathcal F^{\mathcal O}\) on a simplicial complex formed by graphs whose edges are equipped with a metric. The graph homology of \(\mathcal O\) is isomorphic to the cohomology of the sheaf \(\mathcal F^{\text{Comm}}\) associated to the commutative operad \(\text{Comm}\) on the space of metric graphs. The authors prove that Verdier's dual of \(\mathcal F^{\mathcal O}\) is (up to an orientation twist) isomorphic in the derived category of sheaves to a sheaf \(\mathcal F^{D\mathcal O}\), where \(D\mathcal O\) refers to the cobar dual operad of \(\mathcal O\). In the case where \(\mathcal O\) is a Koszul operad, this sheaf \(\mathcal F^{D\mathcal O}\) is also quasi-isomorphic to the sheaf \(\mathcal F^{\mathcal O^!}\) associated to the Koszul dual operad of \(\mathcal O\). They apply this result to the commutative and Lie operads in order to give an interpretation of dual representations, in terms of graph homology, of the homology of outer automorphism groups. They give a variant of their results for ribbon graphs. In this contex, the construction gives an interpretation of duality results for the homology of moduli spaces of Riemann surfaces.
    0 references
    graph homology
    0 references
    cyclic operad
    0 references
    Koszul duality
    0 references
    constructible sheaf
    0 references
    Verdier duality
    0 references
    simplicial complex
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references