Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity grothendieck group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration-theory internal-categories k-theory kan lie lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorzskoda
    • CommentTimeSep 8th 2010

    A stub (now just recording references and links) graph homology with redirect and section open also for graph cohomology. Related person entry Andrey Lazarev and more references at operad. In operadic literature there is a terminology Feynman transform.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeSep 8th 2010

    Related entry Rozansky-Witten theory with redirects Rozansky-Witten class, Rozansky-Witten invariant and Alastair Hamilton, one of the researchers on graph (co)homology. Graph cohomology Kontsevich used in his approach to obtain Rozansky-Witten invariants. Variants of Kontsevich’s construction is used in papers of Hamilton and Lazarev to obtain certain characteristic classes of infnity algebras, and apply them to moduli spaces, including to obtain some of the “tautological classes” on compactifications of moduli spaces of curves (Kontsevich also had similar applications from the beginning, but tghe other works show some of the systematic theory and further results).

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeSep 10th 2010
    • (edited Sep 10th 2010)

    This sentence here at ribbon graph seems to be broken:

    and with a cyclic ordering of (“on”) each vertex.

    What do we want to say? That there is a cyclic order on all the edges incident on a given vertex, no?

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeSep 10th 2010

    The structure of a graph complex reflects a structure in the Chevalley-Eilenberg complex of a certain Lie algebra; and the graph homology to the relative Lie homology of that Lie algebra as shown by Kontsevich.

    Can you say which Lie algebra that is? It seems natural to wonder how that relates to the Lie algebra of graphs considered by Connes-Kreimer and others (the one used in renormalization).

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeSep 10th 2010
    • (edited Sep 10th 2010)

    They interpret it as certain “Lie algebra of noncommutative Hamiltonians”. I can write more about it later. It does not look directly similar to the Connes-Kreimer business.

    and with a cyclic ordering of (“on”) each vertex.

    Well a vertex is by the definition a set which is element of a partition of the set of all half edges into subsets. One talks about ordering of a set. But regarding the sematics vertex it seems more appropriate to say orientation on each vertex. More descriptive is to say the ordering on the set of half edges incident to a vertex, for all vertices.

    cyclic order on all the edges incident on a given vertex

    Half-edges, Urs. Because one edge can have both half edges incident to the same vertex so if we order edges incident to a vertex there is an ambiguity.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeSep 10th 2010

    Zoran, I understand the definition, but I find it sounds confusing. I think it would be good if you added clarification to the entry.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeSep 10th 2010

    Surely, thanks. Just I need time in managing all. I just got 18 pages letter from my other collaborator and had an appointment with a student :) But I will continue with this circle of entries :)

    • CommentRowNumber8.
    • CommentAuthorzskoda
    • CommentTimeSep 10th 2010

    An interesting paper today: arxiv/1009.1654 "We show that the zeroth cohomology of Kontsevich's graph complex is isomorphic to the Grothendieck-Teichmueller Lie algebra grt."

    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeMay 16th 2011

    Today in the archive

    *Jian Qiu, Maxim Zabzine, _Introduction to graded geometry, Batalin-Vilkovisky formalism and their applications_, arxiv/1105.2680

    I wondered if the characteristic classes like in the articles of Alistair Hamilton with Andrey Lazarev, building on Kontsevich’s original work, can be put in parallel framework with the one used in nnLab, via generalized Chern-Weil theory. One strange point was for example the fact that for an analogue of the Chern character they do not take a trace. The values of the characteristic classes were in the graph complex. I did not notice where a Chevalley-Eilenberg complex connects to the graph complex, but it seems the paper above exposes more clearly some details about Kontsevich’s original procedure, cf. e.g. Theorem 6.1 and the discussion at the bottom of 59. I mean nothing new here but I find it written in a way which is more suggestive.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeMay 16th 2011

    Thanks for alerting me, I’ll try to have a look.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2018

    added brief remark on the relation between graph complexes and the real cohomology of configuration spaces (here), so far really just a pointer to

    diff, v21, current

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2018

    I changed the organization of the first few sections: It used to have a section “Graph homology” which however really was concerned with defining the graph complex, and then “Graph cohomology” which was empty. I removed both these headlines and instead replaced them with “Graph complex”, mentioning in the text now that, of course, the chain homology of the graph complex is referred to as “graph homology”.

    The entry needs much more and more substantial work, of course.

    diff, v22, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2018
    • (edited Oct 30th 2018)

    I removed the very first paragraph of the entry, as follows:

    1. The first lines were about how “we” will or will not split this entry. Even if this weren’t anachronistic by now, this does not seem the right thing to say in the first line of an entry.

    2. There was a vague indication of which version of Kontsevich’s the entry is going to follow. I moved the line about Kontsevich having several versions to around the pointers to his articles in the References-section and suggest that instead of being vague we next try to be precise and actually state the different definitions in the Definition section, as far as they are of interest.

    3. Finally there was a sentence about obtaining graph complexes from Feynman transforms of modular operads. For the moment I moved this to a new Examples-section. If it deserves to be mentioned right at the beginning in an Idea-section, then it needs more explanation.

    diff, v22, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2018
    • (edited Oct 30th 2018)

    added pointer to

    because Campos-Willwacher 16 say that this is the origin of the definition of the graph complex which they are using and recalling in their section 3.

    (Not sure yet if I recognize Campos-Willwacher’s differential on top of p. 8 in Kontsevich’s definition, his Lemma 3.)

    diff, v22, current

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2018

    spelled out (here) the definition of the Graph complex via Poincare-duality pairing from Campos-Willwacher 16., allegedly following Kontsevich 99b.

    Not sure yet how this is supposed to be related to the other definition, via grafting of graphs.

    diff, v22, current

    • CommentRowNumber16.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 30th 2018

    Choose a linear basis {e i} i{1,2,,n}\{e_i\}_{i \in \{1, 2, \cdots, n\}} of VV such that {e 2}\{e_2\} is a linear basis for V¯\overline{V}.

    Is V¯\overline{V} perhaps supposed to have as basis {e i} i{2,,n}\{e_i\}_{i \in \{2, \cdots, n\}}?

    And presumably NN rather than nn.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2018
    • (edited Oct 30th 2018)

    Thanks once more for proof-reading. Yes, it should (have) read:

    Choose a linear basis {e i} i{1,2,,N}\{e_i\}_{i \in \{1, 2, \cdots, N\}} of VV such that {e 2,,e N}\{e_2, \cdots, e_N\} is a linear basis for V¯\overline{V}.

    Fixed it now.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2018

    So what I spelled out so far is maybe the “pre-graph”-complex, or something. Needs to be expanded to the full thing…

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeOct 31st 2018
    • (edited Oct 31st 2018)

    appended to the restatement of the Campos-Willwacher definition (here) the previously missing steps in broad outline (only).

    diff, v24, current

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeNov 4th 2018

    added pointer to

    This is finally a good, clean account of the graph complex.

    diff, v26, current

    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeNov 4th 2018
    • (edited Nov 4th 2018)

    I have removed again my attempted re-statement of the Definition in Campos-Willwacher 16 for compact manifolds, for it just seems too vague and roundabout-way.

    So now the Definition-section is back to what it used to be, being implicitly for the case in d\mathbb{R}^d. But I am not sure if that original definition in our entry is really right or good either.

    A decent account of the plain definition is (only?) in Lambrechts-Volić 14, section 6. I have added prominent pointer to that. But I think eventually we should scratch the definition currently in our entry and (re-)write it the way they do.

    diff, v27, current

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeNov 5th 2018

    added graphics illustrating the “3-term relation” in the graph complex (here)

    diff, v30, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)