Not signed in (Sign In)

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 book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma 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 finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics 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 stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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.
    • CommentAuthorUrs
    • CommentTimeJan 13th 2020
    • (edited Jan 13th 2020)

    finally added the actual definition, !include-ed from Knizhnik-Zamolodchikov-Kontsevich construction – definition (as per the discussion here)

    diff, v13, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeDec 22nd 2021
    • (edited Dec 22nd 2021)

    added pointer to:

    diff, v17, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 11th 2022

    I am finally adding a section with references on the “hypergeometric” construction of conformal blocks/KZ-solutions, via twisted de Rham cohomology of configuration spaces of points.

    A start is now here, but I will put this into a stand-alone entry, to be !include-ed here and in other related entries

    diff, v18, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJun 6th 2022
    • (edited Jun 6th 2022)

    [ removed, sorry for the noise]

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJun 9th 2022

    The entry used to claim (am removing it for the moment) that:

    The interpretation of [[ the KZ-equation ]] in terms of a flat connection on the moduli space of conformal structures is due to:

    • Graeme Segal, Conformal field theory, Oxford preprint and lecture at the IAMP Congress, Swansea July 1988.

    Is that really the case?

    (I forget who added this reference. There is a good chance that it was me, my apologies.)

    If so, where exactly inside the following three items should we be pointing for the KZ-equation:

    • Graeme Segal, The definition of conformal field theory, in: K. Bleuler, M. Werner (eds.), Differential geometrical methods in theoretical physics (Proceedings of Research Workshop, Como 1987), NATO Adv. Sci. Inst., Ser. C: Math. Phys. Sci. 250 Kluwer Acad. Publ., Dordrecht (1988) 165-171 [[doi:10.1007/978-94-015-7809-7]]

    • Graeme Segal, Two-dimensional conformal field theories and modular functors, in: Proceedings of the IXth International Congress on Mathematical Physics, Swansea, 1988, Hilger, Bristol (1989) 22-37.

    • Graeme Segal, The definition of conformal field theory, in: Ulrike Tillmann (ed.), Topology, geometry and quantum field theory , London Math. Soc. Lect. Note Ser. 308, Cambridge University Press (2004) 421-577 [[doi:10.1017/CBO9780511526398.019, pdf]]

    ?

    diff, v23, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJun 9th 2022

    added pointer to these surveys:

    • Ivan Cherednik, Lectures on Knizhnik-Zamolodchikov equations and Hecke algebras, Mathematical Society of Japan Memoirs 1998 (1998) 1-96 [[doi:10.2969/msjmemoirs/00101C010]]

    • Toshitake Kohno, Section1 1.5 and 2.1 in: Conformal field theory and topology, transl. from the 1998 Japanese original by the author. Translations of Mathematical Monographs 210. Iwanami Series in Modern Mathematics. Amer. Math. Soc. 2002 [[AMS:mmono-210]]

    diff, v23, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJun 18th 2022

    I have come to think that the main part of the main theorem in the hypergeometric-integral construction of KZ solutions becomes a triviality when looked at from a HoTT point of view:

    Namely, the main theorem says that the twisted cohomology groups of Conf n+N()| NConf_{n+N}(\mathbb{C})\vert_{N} for fixed positions of NN of the points form a local system over Conf N()Conf_N(\mathbb{C}).

    But since the twisted cohomology depends only on the shape of Conf n+N()Conf_{n+N}(\mathbb{C}), and since it is represented by a classifying space, the system of cohomology groups is given by an internal hom out of ʃConf n+N()ʃ Conf_{n + N}(\mathbb{C}) in the slice over ʃConf N()ʃ Conf_N(\mathbb{C}). Such a slice hom is again a fibration over ʃConf N()ʃ Conf_N(\mathbb{C}), and its fibers are the desired fiberwise cohomology groups. Upon fiberwise truncation, this is the statement of that main theorem.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJun 20th 2022
    • (edited Jun 20th 2022)

    I should add that this proof uses that fiberwise 0-truncation preserves fiber products (which it does) combined with the assumption that any point inclusion into the base type is already 0-truncated. So this works over configuration spaces of points (since these are K(G,1)K(G,1)s) as needed here for the KZ-equation, but not for Gauss-Manin connections over higher truncated base spaces.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJun 20th 2022

    I have now typed out the argument in point-set model presentation. Unsure where this should go, for the moment I put it into the entry on Gauss-Manin connections: here.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJun 21st 2022

    I have strengthened statement and proof (here) to say that on a locally trivial fibration, the local system of cohomology groups has a compatible local trivialization.

    This will serve to prove that, when applied to fibrations of configuration spaces, this abstract argument really reproduces the hypergeometric solutions to the KZ-equation.

    The only further lemma for this conclusion is that the statement also works for fiberwise twisted cohomology. Will type this out next.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeSep 3rd 2022

    added pointer to:

    diff, v29, current

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeSep 3rd 2022

    also pointer to:

    diff, v30, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeSep 3rd 2022

    and this one:

    diff, v30, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeDec 17th 2022

    added pointer to:

    diff, v32, current

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJan 8th 2024

    added these pointers on

    KZ-equations controlling codimension=2=2 defects in D=4 super Yang-Mills theory:

    diff, v37, current

    • CommentRowNumber16.
    • CommentAuthorperezl.alonso
    • CommentTimeMar 1st 2024

    pointer

    diff, v38, current