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 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 foundation foundations functional-analysis functor galois-theory 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 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 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.
    • CommentAuthorTim_van_Beek
    • CommentTimeJun 9th 2010

    After Urs’ post at the café about “Tricategory of conformal nets” at Oberwolfach I took a look at the paper Conformal nets and local field theory and noted that I would have to ask some trivial and boring questions about nomenclature before I could even try to get to the content.

    One example is about “Haag duality”: It seems to me that we need a generalization of net index sets on the nLab that includes the bounded open sets used for the Haag-Kastler vacuum representation and the index sets used in the mentioned paper. One of the concept needed would be “causal index set”:

    A relation \perp on an index set (poset) II is called a causal disjointness relation (and a,bIa, b \in I are called causally disjoint if aba \perp b) if the following properties are satisfied:

    (i) \perp is symmetric

    (ii) aba \perp b and c<bc \lt b implies aca \perp c

    (iii) if MIM \subset I is bounded from above, then aba \perp b for all aMa \in M implies supMbsup M \perp b.

    (iv) for every aIa \in I there is a bIb \in I with aba \perp b

    A poset with such a relation is called a causal index set.

    Well, that’s not completly true, because in the literature that I know there is the additionally assumtion that II contains an infinite unbounded sequence and hence is not finite (that whould be a poset that is ? what? unbounded?), that is not a condition imposed on posets on the nLab.

    After this definition one can go on and define “causal complement”, the “causality condition” for a net and then several notions of duality with respect to causal complements etc. all without reference to Minkowski space or any Lorentzian manifolds.

    Should I create a page causal index set or is there something similar on the nLab already that I overlooked?

    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 9th 2010
    • (edited Jun 9th 2010)

    There’s causet, which is a bit different, but could contain what you have written (I’m not delighted with the name, but it can be renamed if need be). There doesn’t seem to be anything specific, if I just go from the page names that a search for ’causal’ on the lab gives me.

    Note that it actually requires finiteness, but you could reinterpret that as having a bounded region that is both influenced by x and influences y (the over-under category) and let finiteness arise from the discrete case as usual.

    • CommentRowNumber3.
    • CommentAuthorTim_van_Beek
    • CommentTimeJun 9th 2010

    Had a quick look at that page, too, after I did a search for causal…

    The definition seems to contradict the idea section; for posets associated to Lorentzian manifolds the invervalls [x, y] are not finite, correct?

    • CommentRowNumber4.
    • CommentAuthorTim_van_Beek
    • CommentTimeJun 9th 2010

    Another concept is the “split property”, for which I created the stubs spatial tensor product and split inclusion of von Neumann algebras.

    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 10th 2010

    The intervals aren’t finite, but presumably they are compact or at least bounded (true in Minkowski, but maybe not for more complicated spacetimes). In the discrete case (as at causet this would give finite intervals. If the intervals aren’t bounded, we could say that all causal paths in the interval are bounded (=finite length) as a relaxation. This may not always be the case, but seems a useful condition.

    If you add causal index set and the material above, we can edit the page name later.

    • CommentRowNumber6.
    • CommentAuthorTim_van_Beek
    • CommentTimeJun 10th 2010
    • (edited Jun 10th 2010)

    Created causal index set and causal complement. The next concepts should be dual and essentially dual nets with a causal index set… I prefer having the concept of causal index set on its own page and maybe make causet refer to it.

    • CommentRowNumber7.
    • CommentAuthorTim_van_Beek
    • CommentTimeJun 10th 2010

    dual net of von Neumann algebras contains the definition of Haag duality and related concepts for a Haag-Kastler vacuum representation, the next step would be to introduce the link to the Haag duality in the “Conformal nets and local field theory ” paper.

    (In the long run I would like to connect the concepts derived from AQFT there to the more “traditional” setting of the vacuum representation).

    • CommentRowNumber8.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 11th 2010

    re #6 - that’s cool. I just thought that such a structure might be used for more than just an index set, so the title is a little specific to my ears - but as titles are malleable, it’s not a problem.

    • CommentRowNumber9.
    • CommentAuthorTim_van_Beek
    • CommentTimeJun 11th 2010

    Ah, ok, I think I get your point now. I did not take that into account, because I think of this structure in the context of index sets for causal nets only. The concept that I was after is Haag duality, because that is used in the paper that caused me to start this thread in a different sense than usual.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJul 9th 2011

    I have added some references on classification of CFTs to conformal net

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeDec 12th 2018

    added pointer to

    (more on the recently and finally established equivalence between the two axiomatizations of 2d conformal field theory: a) vertex operator algebras and b) conformal nets of observables)

    diff, v21, current